MAYBE 241.39/62.76 MAYBE 241.39/62.78 241.39/62.78 Problem: 241.39/62.78 0(0(0(0(0(0(0(0(1(0(0(0(0(0(1(1(1(0(1(0(x1)))))))))))))))))))) -> 241.39/62.78 0(0(0(1(0(1(0(0(1(0(0(1(0(0(0(1(0(0(0(0(x1)))))))))))))))))))) 241.39/62.78 0(0(0(0(0(0(0(0(1(0(0(1(0(1(0(1(1(1(1(1(x1)))))))))))))))))))) -> 241.39/62.78 1(1(0(0(0(0(0(0(0(0(0(0(1(0(0(0(1(0(1(0(x1)))))))))))))))))))) 241.39/62.78 0(0(0(0(0(0(0(1(1(1(1(0(0(0(0(1(0(1(0(0(x1)))))))))))))))))))) -> 241.39/62.78 0(1(0(0(0(0(0(0(1(0(0(1(0(0(0(0(0(0(0(1(x1)))))))))))))))))))) 241.39/62.78 0(0(0(0(0(0(1(0(0(0(0(1(1(1(1(1(0(0(0(1(x1)))))))))))))))))))) -> 241.39/62.78 0(0(1(0(0(0(0(0(1(1(0(0(0(0(0(0(1(0(0(1(x1)))))))))))))))))))) 241.39/62.78 0(0(0(0(0(0(1(0(0(1(0(1(0(1(1(1(1(0(1(1(x1)))))))))))))))))))) -> 241.39/62.78 0(1(1(0(1(0(1(0(0(1(1(0(0(0(0(0(0(1(1(1(x1)))))))))))))))))))) 241.39/62.78 0(0(0(0(0(0(1(0(0(1(0(1(1(0(1(1(1(0(0(1(x1)))))))))))))))))))) -> 241.39/62.78 0(1(0(0(1(0(1(0(1(0(0(1(0(1(0(0(0(1(1(0(x1)))))))))))))))))))) 241.39/62.78 0(0(0(0(0(0(1(1(0(1(1(0(0(0(0(0(1(1(0(1(x1)))))))))))))))))))) -> 241.39/62.78 0(0(1(0(1(1(0(0(0(1(0(1(0(1(0(0(0(1(0(0(x1)))))))))))))))))))) 241.39/62.78 0(0(0(0(0(1(1(1(0(0(0(1(0(0(1(1(1(0(1(0(x1)))))))))))))))))))) -> 241.39/62.78 1(1(1(0(0(1(0(0(0(1(0(0(0(0(1(0(0(0(0(1(x1)))))))))))))))))))) 241.39/62.78 0(0(0(0(1(0(0(0(1(1(0(0(1(0(1(1(0(1(1(1(x1)))))))))))))))))))) -> 241.39/62.78 0(0(1(0(1(0(0(0(1(0(0(1(1(1(1(0(1(0(0(0(x1)))))))))))))))))))) 241.39/62.78 0(0(0(0(1(1(1(0(0(0(0(1(0(0(0(1(0(1(1(1(x1)))))))))))))))))))) -> 241.39/62.78 0(1(0(0(1(1(0(1(0(1(1(0(0(0(0(0(0(0(1(1(x1)))))))))))))))))))) 241.39/62.78 0(0(0(1(0(0(0(0(0(0(1(0(1(0(1(1(1(1(0(0(x1)))))))))))))))))))) -> 241.39/62.78 1(1(0(0(0(1(0(1(0(0(0(0(0(1(0(0(1(0(0(0(x1)))))))))))))))))))) 241.39/62.78 0(0(0(1(0(0(0(1(0(1(1(1(0(0(1(0(1(0(1(1(x1)))))))))))))))))))) -> 241.39/62.78 0(0(0(0(0(1(1(1(0(0(0(0(1(1(1(0(0(1(0(0(x1)))))))))))))))))))) 241.39/62.78 0(0(0(1(0(1(1(1(0(1(0(0(0(1(1(0(0(1(0(1(x1)))))))))))))))))))) -> 241.39/62.78 1(0(0(0(1(0(1(1(0(0(0(0(0(0(0(1(1(1(0(0(x1)))))))))))))))))))) 241.39/62.78 0(0(0(1(1(0(0(0(1(1(0(0(1(1(0(0(0(1(0(1(x1)))))))))))))))))))) -> 241.39/62.78 0(0(0(1(0(0(1(1(0(0(0(0(1(0(0(0(1(0(0(0(x1)))))))))))))))))))) 241.39/62.78 0(0(0(1(1(0(1(0(1(1(0(0(1(0(1(0(1(0(0(1(x1)))))))))))))))))))) -> 241.39/62.78 1(0(0(0(1(1(0(1(0(1(0(0(0(0(0(1(0(1(0(0(x1)))))))))))))))))))) 241.39/62.78 0(0(0(1(1(1(1(1(0(0(0(1(0(0(0(0(1(0(0(0(x1)))))))))))))))))))) -> 241.39/62.78 0(1(1(0(0(0(1(0(0(0(1(0(0(1(0(1(1(0(0(0(x1)))))))))))))))))))) 241.39/62.78 0(0(1(0(0(0(0(1(0(0(0(1(0(0(0(1(0(1(1(1(x1)))))))))))))))))))) -> 241.39/62.78 0(1(0(1(0(0(0(0(0(0(0(0(1(1(0(0(0(0(1(1(x1)))))))))))))))))))) 241.39/62.78 0(0(1(0(0(0(0(1(0(0(0(1(1(1(0(1(1(0(0(0(x1)))))))))))))))))))) -> 241.39/62.78 0(1(0(0(0(1(0(1(1(0(0(1(0(0(0(1(0(0(1(0(x1)))))))))))))))))))) 241.39/62.78 0(0(1(0(0(0(1(0(0(1(0(1(1(1(0(0(1(0(0(1(x1)))))))))))))))))))) -> 241.39/62.78 0(0(0(1(0(0(1(0(0(0(0(0(1(0(0(0(0(1(0(0(x1)))))))))))))))))))) 241.39/62.78 0(0(1(0(0(1(0(1(1(1(0(0(0(0(1(1(0(0(0(1(x1)))))))))))))))))))) -> 241.39/62.78 1(0(0(1(0(0(1(1(0(1(0(0(1(0(0(1(0(0(0(1(x1)))))))))))))))))))) 241.39/62.78 0(0(1(0(0(1(1(0(0(0(0(1(0(1(1(0(0(1(0(1(x1)))))))))))))))))))) -> 241.39/62.78 1(0(0(0(0(0(0(0(0(0(0(1(0(1(0(0(0(0(0(1(x1)))))))))))))))))))) 241.39/62.78 0(0(1(0(0(1(1(0(0(1(0(0(0(1(1(0(1(0(0(1(x1)))))))))))))))))))) -> 241.39/62.78 0(1(0(1(0(1(0(0(0(0(0(1(0(0(1(0(1(0(1(0(x1)))))))))))))))))))) 241.39/62.78 0(0(1(0(1(0(0(1(1(0(1(0(1(0(0(0(1(1(1(0(x1)))))))))))))))))))) -> 241.39/62.78 0(1(0(0(0(0(1(1(0(1(1(0(1(0(0(1(1(0(1(0(x1)))))))))))))))))))) 241.39/62.78 0(0(1(0(1(0(1(0(0(0(1(0(1(1(1(0(1(1(0(0(x1)))))))))))))))))))) -> 241.39/62.78 1(0(0(0(1(1(1(0(0(1(0(0(0(0(0(1(1(0(1(0(x1)))))))))))))))))))) 241.39/62.78 0(0(1(0(1(0(1(0(1(1(0(0(1(0(1(0(0(0(1(1(x1)))))))))))))))))))) -> 241.39/62.78 1(0(0(0(0(0(0(0(0(1(1(0(0(0(0(0(0(0(0(1(x1)))))))))))))))))))) 241.39/62.78 0(0(1(0(1(1(0(0(0(0(0(1(1(0(0(0(1(0(1(1(x1)))))))))))))))))))) -> 241.39/62.78 0(0(0(1(0(0(0(0(1(0(0(0(0(0(1(0(0(0(0(1(x1)))))))))))))))))))) 241.39/62.78 0(0(1(0(1(1(0(0(1(1(1(1(0(0(0(0(0(0(0(1(x1)))))))))))))))))))) -> 241.39/62.78 0(1(0(0(1(0(1(1(1(0(0(0(1(0(1(1(0(0(0(0(x1)))))))))))))))))))) 241.39/62.78 0(0(1(0(1(1(1(0(0(0(0(0(0(1(1(0(0(1(0(1(x1)))))))))))))))))))) -> 241.39/62.78 1(0(1(0(0(0(0(1(0(0(1(1(0(1(0(1(0(0(0(1(x1)))))))))))))))))))) 241.39/62.78 0(0(1(0(1(1(1(0(0(1(1(1(0(0(1(0(0(1(0(1(x1)))))))))))))))))))) -> 241.39/62.78 1(0(1(0(1(1(0(0(0(1(1(0(1(0(1(1(0(0(0(1(x1)))))))))))))))))))) 241.39/62.78 0(0(1(0(1(1(1(1(0(1(0(0(0(0(0(0(0(0(0(1(x1)))))))))))))))))))) -> 241.39/62.78 1(0(0(1(0(0(0(0(0(0(1(0(1(0(1(1(0(0(0(1(x1)))))))))))))))))))) 241.39/62.78 0(0(1(1(0(0(0(1(0(0(1(1(1(1(0(0(0(0(1(0(x1)))))))))))))))))))) -> 241.39/62.78 1(1(0(0(0(0(0(0(1(0(1(0(1(0(1(0(1(1(0(0(x1)))))))))))))))))))) 241.39/62.78 0(0(1(1(0(0(1(0(0(1(0(0(1(0(1(0(0(0(1(1(x1)))))))))))))))))))) -> 241.39/62.80 1(0(1(0(0(0(0(1(0(0(0(0(1(1(0(0(0(0(1(0(x1)))))))))))))))))))) 241.39/62.80 0(0(1(1(0(0(1(0(0(1(0(1(0(0(1(1(0(1(0(0(x1)))))))))))))))))))) -> 241.39/62.80 0(1(1(0(0(1(0(1(0(1(1(0(1(0(1(0(0(0(0(0(x1)))))))))))))))))))) 241.39/62.80 0(0(1(1(0(1(1(1(0(0(0(0(1(1(0(0(0(1(0(0(x1)))))))))))))))))))) -> 241.39/62.80 0(0(1(1(0(0(0(0(0(1(1(1(0(1(1(0(1(0(0(0(x1)))))))))))))))))))) 241.39/62.80 0(0(1(1(1(0(1(0(1(0(1(0(0(0(1(0(0(0(1(0(x1)))))))))))))))))))) -> 241.39/62.80 0(0(1(1(0(1(0(0(1(0(1(0(0(1(1(0(0(1(0(0(x1)))))))))))))))))))) 241.39/62.80 0(0(1(1(1(1(0(0(0(0(0(0(0(1(0(0(1(1(0(1(x1)))))))))))))))))))) -> 241.39/62.80 0(1(0(0(0(1(0(0(1(1(1(1(0(0(0(1(0(0(0(0(x1)))))))))))))))))))) 241.39/62.80 0(1(0(0(0(0(0(0(0(1(0(1(0(1(0(1(1(1(0(1(x1)))))))))))))))))))) -> 241.39/62.80 0(0(0(1(0(0(0(1(0(1(0(0(1(0(0(1(0(0(1(0(x1)))))))))))))))))))) 241.39/62.80 0(1(0(0(0(0(0(0(1(0(1(1(1(0(0(1(0(0(1(1(x1)))))))))))))))))))) -> 241.39/62.80 0(1(0(1(0(0(0(1(0(0(0(0(1(1(0(0(0(0(1(0(x1)))))))))))))))))))) 241.39/62.80 0(1(0(0(0(0(1(0(0(1(0(0(1(0(1(1(0(1(1(0(x1)))))))))))))))))))) -> 241.39/62.80 1(0(0(0(1(1(0(0(0(1(0(1(0(0(0(0(0(0(0(0(x1)))))))))))))))))))) 241.39/62.80 0(1(0(0(0(0(1(1(1(0(1(0(1(0(1(0(1(0(0(1(x1)))))))))))))))))))) -> 241.39/62.80 1(0(1(0(0(1(0(0(1(0(0(0(0(1(0(1(0(1(0(1(x1)))))))))))))))))))) 241.39/62.80 0(1(0(0(0(1(1(0(0(1(1(0(0(0(1(1(0(1(0(1(x1)))))))))))))))))))) -> 241.39/62.80 1(0(0(1(0(0(0(1(1(0(1(1(0(0(1(0(0(0(1(0(x1)))))))))))))))))))) 241.39/62.80 0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(0(0(1(1(x1)))))))))))))))))))) -> 241.39/62.80 0(0(0(0(1(0(0(0(0(0(1(0(0(1(1(0(1(0(1(0(x1)))))))))))))))))))) 241.39/62.80 0(1(0(0(1(0(0(0(0(0(1(1(0(0(0(1(0(1(1(1(x1)))))))))))))))))))) -> 241.39/62.80 0(0(0(1(0(0(0(0(0(0(0(0(0(1(0(1(0(1(1(1(x1)))))))))))))))))))) 241.39/62.80 0(1(0(0(1(0(0(0(1(0(1(0(0(0(1(1(1(0(1(0(x1)))))))))))))))))))) -> 241.39/62.80 1(1(0(0(0(0(0(0(1(1(0(0(0(0(0(0(0(1(1(0(x1)))))))))))))))))))) 241.39/62.80 0(1(0(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(0(1(x1)))))))))))))))))))) -> 241.39/62.80 1(0(0(0(0(0(1(0(1(0(0(0(0(1(0(0(0(0(1(1(x1)))))))))))))))))))) 241.39/62.80 0(1(0(0(1(0(0(1(0(1(0(1(1(0(1(0(0(0(1(1(x1)))))))))))))))))))) -> 241.39/62.80 0(0(0(0(0(1(1(1(0(0(0(0(1(0(0(0(1(0(0(0(x1)))))))))))))))))))) 241.39/62.80 0(1(0(0(1(0(1(0(0(0(1(0(0(1(1(1(0(0(1(0(x1)))))))))))))))))))) -> 241.39/62.80 1(0(1(1(0(0(0(0(0(0(1(1(0(0(1(0(0(0(1(0(x1)))))))))))))))))))) 241.39/62.80 0(1(0(0(1(0(1(0(0(1(0(0(0(0(1(1(1(0(1(1(x1)))))))))))))))))))) -> 241.39/62.80 1(1(0(0(1(0(0(1(0(0(0(0(1(0(1(0(0(1(0(0(x1)))))))))))))))))))) 241.39/62.80 0(1(0(0(1(0(1(0(0(1(0(1(0(1(1(0(0(1(0(1(x1)))))))))))))))))))) -> 241.39/62.80 0(0(1(0(1(1(0(0(0(1(0(0(0(1(0(0(0(0(0(1(x1)))))))))))))))))))) 241.39/62.80 0(1(0(0(1(0(1(0(1(1(0(1(0(0(0(0(0(0(0(1(x1)))))))))))))))))))) -> 241.39/62.80 0(0(1(0(0(0(0(1(0(0(1(0(0(1(0(0(1(0(0(0(x1)))))))))))))))))))) 241.39/62.80 0(1(0(0(1(0(1(1(0(0(0(0(0(0(1(0(1(1(0(0(x1)))))))))))))))))))) -> 241.39/62.80 0(0(1(0(1(0(0(1(0(0(0(1(0(1(1(0(0(0(0(0(x1)))))))))))))))))))) 241.39/62.80 0(1(0(0(1(1(0(1(0(0(0(1(1(0(1(0(1(0(0(1(x1)))))))))))))))))))) -> 241.39/62.80 0(1(0(1(0(0(1(0(0(0(1(1(1(0(0(1(0(1(0(0(x1)))))))))))))))))))) 241.39/62.80 0(1(0(1(0(0(0(1(1(0(0(0(0(1(1(0(1(0(0(1(x1)))))))))))))))))))) -> 241.39/62.80 0(0(0(1(0(1(0(0(0(0(0(1(0(0(0(0(1(1(0(1(x1)))))))))))))))))))) 241.39/62.80 0(1(0(1(0(0(1(0(1(1(0(0(1(0(0(0(1(0(1(1(x1)))))))))))))))))))) -> 241.39/62.80 1(0(0(0(0(0(0(0(0(0(0(0(1(0(1(0(1(1(1(1(x1)))))))))))))))))))) 241.39/62.80 0(1(0(1(0(1(1(1(0(0(0(1(1(0(0(0(0(0(0(1(x1)))))))))))))))))))) -> 241.39/62.80 1(1(1(0(1(0(1(0(0(0(0(0(0(0(1(0(0(0(0(0(x1)))))))))))))))))))) 241.39/62.80 0(1(0(1(1(0(0(0(0(0(1(0(1(1(1(0(0(1(0(1(x1)))))))))))))))))))) -> 241.39/62.80 1(0(0(0(0(0(1(0(1(0(0(1(0(1(1(1(0(1(0(0(x1)))))))))))))))))))) 241.39/62.80 0(1(0(1(1(0(0(1(0(1(1(0(0(1(0(0(0(1(0(1(x1)))))))))))))))))))) -> 241.39/62.80 0(0(0(0(0(1(1(0(0(1(0(1(0(0(1(0(1(1(0(0(x1)))))))))))))))))))) 241.39/62.80 0(1(0(1(1(1(0(1(0(0(0(0(0(1(0(0(0(0(1(1(x1)))))))))))))))))))) -> 241.39/62.80 0(0(1(0(0(0(0(0(1(0(0(1(0(0(0(1(1(1(0(1(x1)))))))))))))))))))) 241.39/62.80 0(1(1(0(0(0(0(0(0(1(1(0(0(1(1(1(0(0(0(1(x1)))))))))))))))))))) -> 241.39/62.80 1(0(0(0(0(1(0(0(0(1(1(0(0(0(0(0(1(0(1(0(x1)))))))))))))))))))) 241.39/62.80 0(1(1(0(0(0(0(1(0(0(0(0(0(0(1(1(1(0(1(0(x1)))))))))))))))))))) -> 241.39/62.80 0(1(1(0(0(0(0(0(1(0(0(1(0(0(0(0(1(0(1(0(x1)))))))))))))))))))) 241.39/62.80 0(1(1(0(0(0(0(1(0(0(0(0(1(0(0(1(0(0(1(0(x1)))))))))))))))))))) -> 241.39/62.80 1(0(1(0(0(0(0(0(0(0(0(0(0(1(0(0(0(0(0(1(x1)))))))))))))))))))) 241.39/62.80 0(1(1(0(0(0(0(1(1(1(0(0(0(0(0(1(1(0(0(1(x1)))))))))))))))))))) -> 241.39/62.80 1(0(0(0(0(1(1(1(0(1(0(1(0(0(0(1(0(0(0(1(x1)))))))))))))))))))) 241.39/62.80 0(1(1(0(0(0(1(0(0(1(0(0(0(0(1(1(1(0(1(1(x1)))))))))))))))))))) -> 241.79/62.81 1(0(0(0(1(0(1(0(1(0(1(0(0(0(0(1(1(0(1(1(x1)))))))))))))))))))) 241.79/62.81 0(1(1(0(0(0(1(1(0(1(0(0(1(0(0(0(1(0(0(1(x1)))))))))))))))))))) -> 241.79/62.81 0(1(0(0(1(0(0(0(0(0(0(0(1(0(1(1(0(0(0(0(x1)))))))))))))))))))) 241.79/62.81 0(1(1(0(0(0(1(1(1(0(0(1(1(0(0(0(0(0(0(1(x1)))))))))))))))))))) -> 241.79/62.81 0(1(0(1(1(0(1(0(0(0(0(1(1(0(1(0(0(0(0(1(x1)))))))))))))))))))) 241.79/62.81 0(1(1(0(1(0(0(1(0(1(1(0(0(0(0(0(1(0(1(1(x1)))))))))))))))))))) -> 241.79/62.81 1(0(1(0(1(0(1(0(0(1(0(0(0(0(1(0(0(1(0(0(x1)))))))))))))))))))) 241.79/62.81 0(1(1(1(0(0(1(0(0(0(1(0(1(0(0(0(0(1(0(1(x1)))))))))))))))))))) -> 241.79/62.81 0(1(1(0(1(0(1(0(0(0(0(1(0(1(1(0(0(0(0(1(x1)))))))))))))))))))) 241.79/62.81 0(1(1(1(0(1(0(0(1(0(0(0(1(0(0(0(1(0(1(1(x1)))))))))))))))))))) -> 241.79/62.81 1(0(1(1(0(0(1(0(0(0(1(0(0(0(0(1(0(1(0(1(x1)))))))))))))))))))) 241.79/62.81 0(1(1(1(0(1(1(0(0(0(0(0(0(1(1(0(1(0(1(1(x1)))))))))))))))))))) -> 241.79/62.81 1(1(0(0(0(1(0(0(0(1(0(1(1(0(1(0(0(1(1(0(x1)))))))))))))))))))) 241.79/62.81 1(0(0(0(0(0(0(1(1(0(1(0(0(1(1(0(1(0(0(0(x1)))))))))))))))))))) -> 241.79/62.81 0(1(0(1(0(0(1(0(1(0(0(1(0(0(0(0(0(1(0(0(x1)))))))))))))))))))) 241.79/62.81 1(0(0(0(0(0(1(0(1(0(1(0(0(1(0(1(0(1(1(1(x1)))))))))))))))))))) -> 241.79/62.81 0(0(0(0(0(0(1(1(0(0(1(0(1(1(1(0(0(0(0(0(x1)))))))))))))))))))) 241.79/62.81 1(0(0(0(0(0(1(1(1(0(1(0(0(0(0(0(0(1(1(1(x1)))))))))))))))))))) -> 241.79/62.81 0(0(0(0(0(1(0(1(1(1(0(0(1(0(1(0(0(0(1(1(x1)))))))))))))))))))) 241.79/62.81 1(0(0(0(0(1(0(0(0(1(0(0(1(1(0(1(0(1(0(1(x1)))))))))))))))))))) -> 241.79/62.81 0(0(0(0(0(0(1(0(0(0(0(0(1(1(0(1(0(1(0(0(x1)))))))))))))))))))) 241.79/62.81 1(0(0(0(0(1(1(0(0(0(1(1(1(0(0(0(0(1(0(0(x1)))))))))))))))))))) -> 241.79/62.81 0(0(1(0(0(0(0(0(0(0(1(0(0(0(0(1(1(0(1(0(x1)))))))))))))))))))) 241.79/62.81 1(0(0(0(0(1(1(0(1(0(1(0(1(0(0(1(0(0(1(1(x1)))))))))))))))))))) -> 241.79/62.81 0(1(0(1(0(0(0(0(1(1(0(0(1(0(0(0(0(1(1(0(x1)))))))))))))))))))) 241.79/62.81 1(0(0(0(1(0(0(0(1(0(1(1(1(0(0(1(0(0(0(1(x1)))))))))))))))))))) -> 241.79/62.81 1(0(1(1(0(0(0(0(0(1(0(0(0(1(0(0(0(1(1(0(x1)))))))))))))))))))) 241.79/62.81 1(0(0(0(1(0(0(1(0(0(1(0(1(0(1(0(0(0(1(1(x1)))))))))))))))))))) -> 241.79/62.81 1(0(0(1(0(0(0(1(0(0(0(0(0(1(0(0(0(1(1(1(x1)))))))))))))))))))) 241.79/62.81 1(0(0(0(1(1(0(0(0(1(0(1(0(1(1(0(0(0(0(0(x1)))))))))))))))))))) -> 241.79/62.81 0(1(0(1(0(1(0(0(0(0(0(0(0(1(0(1(0(0(0(1(x1)))))))))))))))))))) 241.79/62.81 1(0(0(0(1(1(0(1(1(0(1(0(1(0(0(0(1(0(1(0(x1)))))))))))))))))))) -> 241.79/62.81 0(0(0(0(0(0(0(0(0(0(1(1(1(0(1(1(1(0(1(0(x1)))))))))))))))))))) 241.79/62.81 1(0(0(0(1(1(1(0(0(1(0(0(1(0(0(1(0(0(0(0(x1)))))))))))))))))))) -> 241.79/62.81 1(0(0(1(0(0(1(0(1(0(0(0(1(0(1(0(0(0(0(0(x1)))))))))))))))))))) 241.79/62.81 1(0(1(0(0(0(1(1(0(0(1(1(0(0(0(1(0(0(0(0(x1)))))))))))))))))))) -> 241.79/62.81 0(0(0(1(0(1(1(0(0(1(1(0(0(0(0(1(0(0(0(0(x1)))))))))))))))))))) 241.79/62.81 1(0(1(0(0(1(1(0(1(1(1(1(1(0(1(0(0(1(1(1(x1)))))))))))))))))))) -> 241.79/62.81 1(0(1(0(0(1(1(1(0(1(0(1(1(0(0(1(1(0(0(1(x1)))))))))))))))))))) 241.79/62.81 1(0(1(0(0(1(1(1(0(0(0(0(0(0(1(0(0(0(1(1(x1)))))))))))))))))))) -> 241.79/62.81 0(0(1(1(0(0(0(0(1(0(1(0(0(0(0(1(1(0(1(0(x1)))))))))))))))))))) 241.79/62.81 1(0(1(1(0(0(0(0(0(0(1(1(1(0(0(0(1(1(0(0(x1)))))))))))))))))))) -> 241.79/62.81 1(1(0(1(0(0(1(0(1(1(0(1(0(0(1(0(1(0(0(0(x1)))))))))))))))))))) 241.79/62.81 1(0(1(1(0(0(0(1(1(0(0(1(0(0(0(1(0(0(0(1(x1)))))))))))))))))))) -> 241.79/62.81 1(0(0(0(0(0(0(0(0(1(1(1(0(0(0(0(1(0(0(0(x1)))))))))))))))))))) 241.79/62.81 1(0(1(1(0(0(1(1(1(0(0(1(0(0(0(0(0(0(0(1(x1)))))))))))))))))))) -> 241.79/62.81 1(0(1(0(1(1(0(0(1(0(0(0(0(1(1(0(0(0(1(0(x1)))))))))))))))))))) 241.79/62.81 1(0(1(1(1(0(0(0(0(1(0(0(0(1(0(0(1(0(0(1(x1)))))))))))))))))))) -> 241.79/62.81 1(1(0(0(0(0(0(1(0(0(0(0(1(0(0(0(1(1(0(0(x1)))))))))))))))))))) 241.79/62.81 1(0(1(1(1(0(0(0(1(0(0(0(1(0(0(1(0(0(0(0(x1)))))))))))))))))))) -> 241.79/62.81 0(0(0(1(0(0(0(0(0(1(0(1(0(0(0(0(1(1(1(0(x1)))))))))))))))))))) 241.79/62.81 1(1(0(0(0(0(0(1(0(0(0(0(0(0(0(1(1(1(0(1(x1)))))))))))))))))))) -> 241.79/62.81 1(0(1(0(0(1(0(0(0(0(1(1(0(0(0(0(0(0(1(1(x1)))))))))))))))))))) 241.79/62.81 1(1(0(0(1(0(1(0(0(0(0(0(1(0(0(1(0(0(1(1(x1)))))))))))))))))))) -> 241.79/62.81 0(0(1(0(0(1(1(0(0(1(0(0(1(0(0(0(1(0(0(0(x1)))))))))))))))))))) 241.79/62.81 1(1(0(0(1(0(1(0(0(0(1(0(0(1(1(0(1(0(0(1(x1)))))))))))))))))))) -> 241.79/62.81 1(1(1(1(0(0(0(1(0(0(0(1(1(0(0(0(0(0(0(0(x1)))))))))))))))))))) 241.79/62.81 1(1(0(0(1(0(1(1(0(0(0(0(0(1(0(0(1(0(0(1(x1)))))))))))))))))))) -> 241.79/62.81 0(0(1(0(0(0(1(0(0(0(0(0(0(1(1(1(0(0(0(1(x1)))))))))))))))))))) 241.79/62.81 1(1(0(0(1(1(0(0(1(0(0(1(0(1(0(0(0(0(1(0(x1)))))))))))))))))))) -> 241.79/62.81 0(1(0(1(0(0(0(1(1(0(1(1(0(0(0(0(1(0(0(0(x1)))))))))))))))))))) 241.79/62.81 1(1(0(0(1(1(0(0(1(1(0(0(1(0(0(0(0(0(0(0(x1)))))))))))))))))))) -> 241.79/62.81 1(0(1(0(0(0(0(0(0(0(0(0(1(0(1(0(1(1(0(0(x1)))))))))))))))))))) 241.79/62.81 1(1(1(0(0(0(0(0(0(0(0(0(0(0(1(1(1(1(1(0(x1)))))))))))))))))))) -> 241.79/62.81 1(1(0(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(0(x1)))))))))))))))))))) 241.79/62.81 1(1(1(0(0(0(0(0(1(0(0(1(1(0(0(0(1(0(0(0(x1)))))))))))))))))))) -> 241.79/62.81 0(1(1(0(0(0(1(0(0(1(0(0(1(0(0(0(0(0(1(0(x1)))))))))))))))))))) 241.79/62.81 1(1(1(0(0(0(0(1(0(0(1(1(1(0(0(1(0(0(0(0(x1)))))))))))))))))))) -> 241.79/62.81 1(1(1(1(0(0(0(0(1(0(1(0(0(1(1(0(0(0(0(0(x1)))))))))))))))))))) 241.79/62.81 1(1(1(0(0(1(1(0(1(0(0(0(0(0(1(0(0(1(0(1(x1)))))))))))))))))))) -> 241.79/62.81 1(0(1(0(1(0(0(1(1(1(0(0(0(0(0(1(0(1(0(1(x1)))))))))))))))))))) 241.79/62.81 1(1(1(1(1(0(0(0(0(0(1(0(1(0(0(0(0(0(0(1(x1)))))))))))))))))))) -> 241.79/62.81 0(1(0(1(1(1(1(0(1(0(0(1(0(0(0(0(0(0(0(0(x1)))))))))))))))))))) 241.79/62.81 241.79/62.81 Proof: 241.79/62.81 Open 241.79/62.81 EOF