一个非空的 元素的序列称作一个二进制单词。一个单词等式是一个形式为 的等式， 和 是二进制数字（ 或 ）或者为变量的英文大写字母。对于每个变量代替一个固定长度的二进制单词，这个长度称作变量的长度。为了解决一个单词等式我们必须给所有的变量分配适当长度的二进制单词（分配给变量 的单词长度必须等于这个变量的长度）。采用这种方式，如果用变量代替单词，那么等式的两边（替换后的二进制单词）相等。
对于一个给定的等式，计算它有多少种不同的方法使等式成立。
例如： 是变量，它们的长度分别是 ，（即 的长度是 ， 的长度是 ， ）。
考虑等式：
这个等式有 种不同的方法能使等式成立。
你需要编写一个程序，寻找对于每个等式最多有多少种不同方法使等式成立。
