MAYBE 241.09/62.65 MAYBE 241.09/62.66 241.09/62.66 Problem: 241.09/62.66 0(0(0(0(0(0(1(0(1(0(1(0(1(1(0(1(1(0(1(0(x1)))))))))))))))))))) -> 241.09/62.66 0(0(1(1(1(0(0(1(1(0(0(1(0(1(0(1(0(0(1(0(x1)))))))))))))))))))) 241.09/62.66 0(0(0(0(0(0(1(0(1(1(0(0(1(1(1(1(0(1(1(1(x1)))))))))))))))))))) -> 241.09/62.66 0(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(x1)))))))))))))))))))) 241.09/62.66 0(0(0(0(0(1(0(0(0(0(1(1(0(0(0(1(0(0(1(1(x1)))))))))))))))))))) -> 241.09/62.66 0(1(0(0(1(0(0(0(0(1(1(1(0(1(0(0(1(1(1(1(x1)))))))))))))))))))) 241.09/62.66 0(0(0(0(0(1(1(0(0(1(1(0(0(1(1(1(0(1(0(1(x1)))))))))))))))))))) -> 241.09/62.66 0(1(0(0(0(0(1(0(0(0(0(1(0(1(0(0(0(1(1(1(x1)))))))))))))))))))) 241.09/62.66 0(0(0(0(0(1(1(0(0(1(1(1(0(1(0(0(0(0(1(0(x1)))))))))))))))))))) -> 241.09/62.66 0(0(0(1(1(1(0(0(0(1(1(0(0(0(0(1(0(0(1(0(x1)))))))))))))))))))) 241.09/62.66 0(0(0(0(1(0(0(0(1(0(0(1(1(1(0(0(0(1(0(0(x1)))))))))))))))))))) -> 241.09/62.66 0(1(0(1(1(0(0(0(1(1(1(1(0(1(1(1(0(1(0(0(x1)))))))))))))))))))) 241.09/62.66 0(0(0(1(0(0(1(0(1(1(1(1(1(1(1(0(0(0(1(1(x1)))))))))))))))))))) -> 241.09/62.66 0(0(0(1(1(0(1(1(1(1(0(0(1(0(1(1(0(1(1(1(x1)))))))))))))))))))) 241.09/62.66 0(0(0(1(0(0(1(1(1(0(1(0(1(1(0(1(1(0(1(1(x1)))))))))))))))))))) -> 241.09/62.66 0(1(1(0(0(0(1(1(1(0(0(0(1(0(1(0(1(0(1(1(x1)))))))))))))))))))) 241.09/62.66 0(0(0(1(0(1(0(0(0(0(1(0(1(0(1(1(1(0(1(0(x1)))))))))))))))))))) -> 241.09/62.66 0(1(1(0(0(1(0(0(1(0(0(1(0(1(1(0(0(0(1(0(x1)))))))))))))))))))) 241.09/62.66 0(0(0(1(0(1(0(0(1(0(1(0(1(0(0(1(1(1(1(0(x1)))))))))))))))))))) -> 241.09/62.66 0(0(1(0(0(1(0(0(1(1(0(0(1(0(0(1(0(1(1(0(x1)))))))))))))))))))) 241.09/62.66 0(0(0(1(0(1(0(0(1(1(0(0(1(1(1(0(0(0(1(1(x1)))))))))))))))))))) -> 241.09/62.66 0(0(0(1(0(1(1(1(1(0(0(1(0(1(0(0(0(0(1(1(x1)))))))))))))))))))) 241.09/62.66 0(0(0(1(1(0(0(1(0(0(0(0(1(1(0(1(0(0(1(0(x1)))))))))))))))))))) -> 241.09/62.66 0(0(0(1(0(0(1(1(1(1(0(0(0(1(0(1(0(0(1(0(x1)))))))))))))))))))) 241.09/62.66 0(0(0(1(1(0(1(1(0(0(0(0(0(0(1(1(1(1(0(1(x1)))))))))))))))))))) -> 241.09/62.66 0(0(1(0(0(0(1(1(0(0(1(0(0(0(1(1(1(1(1(1(x1)))))))))))))))))))) 241.09/62.66 0(0(0(1(1(0(1(1(0(1(0(0(1(1(1(1(1(1(0(1(x1)))))))))))))))))))) -> 241.09/62.66 0(0(1(1(1(1(0(0(1(0(1(1(0(0(0(0(1(1(0(1(x1)))))))))))))))))))) 241.09/62.66 0(0(0(1(1(0(1(1(1(1(1(0(1(0(1(0(1(0(0(1(x1)))))))))))))))))))) -> 241.09/62.66 0(1(0(0(0(1(0(1(1(1(0(0(1(0(1(1(1(0(0(1(x1)))))))))))))))))))) 241.09/62.66 0(0(1(0(0(0(0(0(0(0(0(1(0(0(0(1(1(1(0(0(x1)))))))))))))))))))) -> 241.09/62.66 0(0(0(0(1(1(0(1(0(1(1(0(1(1(1(0(1(1(1(0(x1)))))))))))))))))))) 241.09/62.66 0(0(1(0(0(0(1(1(1(1(1(0(1(1(1(0(1(1(0(0(x1)))))))))))))))))))) -> 241.09/62.66 0(1(1(0(0(0(1(1(1(0(0(1(0(0(1(1(1(1(0(0(x1)))))))))))))))))))) 241.09/62.66 0(0(1(0(0(1(0(0(0(0(1(1(0(1(1(0(1(1(1(1(x1)))))))))))))))))))) -> 241.09/62.66 0(1(1(0(1(0(1(0(0(0(0(0(1(1(0(0(0(1(0(1(x1)))))))))))))))))))) 241.09/62.66 0(0(1(0(0(1(0(0(0(1(1(1(0(0(0(1(0(0(0(0(x1)))))))))))))))))))) -> 241.09/62.66 0(0(1(0(0(0(0(0(1(0(0(0(0(0(1(0(1(0(0(0(x1)))))))))))))))))))) 241.09/62.66 0(0(1(0(0(1(0(1(1(1(0(0(1(0(1(0(0(0(1(1(x1)))))))))))))))))))) -> 241.09/62.66 0(0(1(0(0(1(0(1(0(0(1(0(1(0(0(0(0(0(1(1(x1)))))))))))))))))))) 241.09/62.66 0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(0(0(0(0(1(x1)))))))))))))))))))) -> 241.09/62.66 0(1(0(1(1(0(0(0(1(1(1(0(1(0(1(1(1(1(1(1(x1)))))))))))))))))))) 241.09/62.66 0(0(1(0(1(1(0(0(0(0(1(0(0(1(1(0(0(0(1(0(x1)))))))))))))))))))) -> 241.09/62.66 0(0(1(1(1(0(1(0(1(0(1(0(1(1(0(0(1(1(1(0(x1)))))))))))))))))))) 241.09/62.66 0(0(1(1(0(0(1(0(1(1(0(0(0(0(1(0(1(1(0(1(x1)))))))))))))))))))) -> 241.09/62.66 0(0(1(1(0(0(1(0(1(0(0(0(0(1(0(0(1(0(0(1(x1)))))))))))))))))))) 241.09/62.66 0(0(1(1(0(0(1(1(0(1(0(1(1(1(0(0(0(0(0(0(x1)))))))))))))))))))) -> 241.09/62.66 0(0(1(0(1(1(1(0(1(1(1(1(0(0(1(0(0(0(0(0(x1)))))))))))))))))))) 241.09/62.66 0(0(1(1(0(1(0(0(0(1(0(1(1(0(0(1(0(1(1(0(x1)))))))))))))))))))) -> 241.09/62.66 0(0(1(0(0(1(0(0(0(1(0(1(0(1(1(0(1(1(1(0(x1)))))))))))))))))))) 241.09/62.66 0(0(1(1(0(1(1(0(0(0(0(0(0(0(1(1(0(0(1(0(x1)))))))))))))))))))) -> 241.09/62.66 0(0(1(1(0(0(0(0(1(1(1(0(1(0(0(0(0(0(1(0(x1)))))))))))))))))))) 241.09/62.66 0(0(1(1(0(1(1(0(0(0(1(1(0(0(0(1(0(1(1(1(x1)))))))))))))))))))) -> 241.09/62.66 0(0(1(1(0(1(0(0(0(1(0(1(1(1(0(0(0(1(1(1(x1)))))))))))))))))))) 241.09/62.66 0(0(1(1(0(1(1(0(0(1(1(1(0(0(1(1(0(1(1(1(x1)))))))))))))))))))) -> 241.09/62.66 0(0(1(1(0(0(1(0(1(1(1(0(1(1(0(0(1(0(0(1(x1)))))))))))))))))))) 241.09/62.66 0(0(1(1(1(1(0(0(0(1(1(0(0(1(1(1(1(0(1(0(x1)))))))))))))))))))) -> 241.09/62.66 0(1(0(0(0(1(0(0(1(1(1(0(0(0(1(1(1(1(1(0(x1)))))))))))))))))))) 241.09/62.66 0(0(1(1(1(1(0(0(1(1(0(0(1(1(1(0(1(0(1(1(x1)))))))))))))))))))) -> 241.09/62.66 0(1(0(0(0(0(0(1(1(1(1(1(0(1(0(1(0(0(1(1(x1)))))))))))))))))))) 241.09/62.66 0(0(1(1(1(1(0(1(0(0(1(0(1(1(0(1(1(1(0(0(x1)))))))))))))))))))) -> 241.09/62.66 0(1(0(0(1(0(0(0(0(0(1(1(1(1(0(1(0(1(0(0(x1)))))))))))))))))))) 241.09/62.66 0(1(0(0(0(0(0(0(0(1(1(1(1(0(1(1(0(1(0(0(x1)))))))))))))))))))) -> 241.09/62.68 0(1(1(1(0(1(0(1(1(1(1(1(1(1(0(1(0(1(0(0(x1)))))))))))))))))))) 241.09/62.68 0(1(0(0(0(1(0(1(1(1(0(0(0(0(0(0(1(1(1(1(x1)))))))))))))))))))) -> 241.09/62.68 0(1(1(0(0(0(1(0(1(1(1(0(0(1(1(0(0(1(1(1(x1)))))))))))))))))))) 241.09/62.68 0(1(0(0(1(0(1(0(0(0(0(1(1(0(1(1(1(1(1(1(x1)))))))))))))))))))) -> 241.09/62.68 0(1(0(0(1(0(0(0(1(1(1(0(1(1(0(0(0(1(1(1(x1)))))))))))))))))))) 241.09/62.68 0(1(0(0(1(0(1(1(1(1(1(0(1(0(0(1(1(1(0(0(x1)))))))))))))))))))) -> 241.09/62.68 0(1(0(1(0(0(0(1(1(0(1(1(1(0(0(0(0(1(0(0(x1)))))))))))))))))))) 241.09/62.68 0(1(0(0(1(1(0(1(0(0(0(0(0(0(0(0(1(0(0(0(x1)))))))))))))))))))) -> 241.09/62.68 0(0(1(0(0(1(0(1(1(1(0(1(1(0(1(1(0(0(1(0(x1)))))))))))))))))))) 241.09/62.68 0(1(0(0(1(1(1(1(1(1(1(0(1(0(1(0(0(1(1(1(x1)))))))))))))))))))) -> 241.09/62.68 0(1(0(0(1(0(1(1(1(0(0(1(1(1(1(1(0(0(1(1(x1)))))))))))))))))))) 241.09/62.68 0(1(0(1(1(0(1(1(0(1(0(0(0(0(0(0(0(1(1(0(x1)))))))))))))))))))) -> 241.09/62.68 0(1(1(1(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(0(x1)))))))))))))))))))) 241.09/62.68 0(1(0(1(1(0(1(1(1(0(0(0(1(1(0(0(0(0(1(0(x1)))))))))))))))))))) -> 241.09/62.68 0(0(1(0(1(0(0(0(0(1(0(1(0(1(0(0(0(1(1(0(x1)))))))))))))))))))) 241.09/62.68 0(1(0(1(1(1(1(1(0(0(0(0(0(1(0(0(1(1(1(1(x1)))))))))))))))))))) -> 241.09/62.68 0(1(1(1(0(1(1(1(0(0(1(0(1(1(0(0(1(1(1(1(x1)))))))))))))))))))) 241.09/62.68 0(1(1(0(0(0(0(0(0(1(1(1(0(1(0(1(1(1(0(0(x1)))))))))))))))))))) -> 241.09/62.68 0(1(0(0(0(1(1(0(1(1(0(1(1(0(0(1(1(0(0(0(x1)))))))))))))))))))) 241.09/62.68 0(1(1(0(0(0(0(0(1(0(1(0(1(1(1(1(1(1(0(1(x1)))))))))))))))))))) -> 241.09/62.68 0(0(1(0(0(0(1(0(0(0(0(1(0(0(0(0(1(0(0(1(x1)))))))))))))))))))) 241.09/62.68 0(1(1(0(0(0(0(1(1(0(0(0(1(1(0(1(0(1(1(0(x1)))))))))))))))))))) -> 241.09/62.68 0(1(0(1(0(0(1(1(1(0(0(1(0(0(0(0(1(1(1(0(x1)))))))))))))))))))) 241.09/62.68 0(1(1(0(0(1(0(0(0(0(0(0(0(0(0(1(0(1(1(1(x1)))))))))))))))))))) -> 241.09/62.68 0(0(1(1(0(1(0(1(1(0(0(1(0(0(0(0(0(0(1(1(x1)))))))))))))))))))) 241.09/62.68 0(1(1(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(1(1(x1)))))))))))))))))))) -> 241.09/62.68 0(1(0(0(0(1(0(0(1(0(1(1(0(1(0(0(0(1(1(1(x1)))))))))))))))))))) 241.09/62.68 0(1(1(1(0(1(1(0(1(1(0(0(0(0(0(0(0(1(0(1(x1)))))))))))))))))))) -> 241.09/62.68 0(1(1(0(0(1(1(0(0(1(1(1(1(1(1(0(0(1(0(1(x1)))))))))))))))))))) 241.09/62.68 0(1(1(1(0(1(1(1(0(1(0(0(1(0(1(1(1(0(0(1(x1)))))))))))))))))))) -> 241.09/62.68 0(0(1(0(1(0(1(1(0(1(0(1(1(1(0(1(1(1(0(1(x1)))))))))))))))))))) 241.09/62.68 0(1(1(1(0(1(1(1(0(1(1(0(0(1(0(0(1(1(1(0(x1)))))))))))))))))))) -> 241.09/62.68 0(1(1(0(0(1(0(0(0(1(0(1(1(1(1(1(1(0(1(0(x1)))))))))))))))))))) 241.09/62.68 0(1(1(1(1(0(1(1(1(0(0(0(1(0(0(1(0(0(1(0(x1)))))))))))))))))))) -> 241.09/62.68 0(0(1(1(0(0(1(0(1(1(1(1(0(1(0(1(0(0(1(0(x1)))))))))))))))))))) 241.09/62.68 0(1(1(1(1(1(0(0(1(1(1(0(1(1(1(1(0(0(1(1(x1)))))))))))))))))))) -> 241.09/62.68 0(1(1(1(1(1(1(0(1(1(1(1(1(0(0(0(1(0(1(1(x1)))))))))))))))))))) 241.09/62.68 0(1(1(1(1(1(1(1(1(0(1(0(1(0(0(0(1(1(1(1(x1)))))))))))))))))))) -> 241.09/62.68 0(1(1(1(0(0(0(1(0(1(1(1(1(0(0(0(1(1(1(1(x1)))))))))))))))))))) 241.09/62.68 1(0(0(0(0(0(0(1(0(0(1(0(1(1(0(1(0(0(0(0(x1)))))))))))))))))))) -> 241.09/62.68 1(0(0(0(0(0(1(0(1(0(0(0(1(0(0(1(1(0(0(0(x1)))))))))))))))))))) 241.09/62.68 1(0(0(0(0(0(1(1(0(1(1(0(0(0(0(0(1(0(1(1(x1)))))))))))))))))))) -> 241.09/62.68 1(0(1(0(1(0(0(1(1(1(1(1(0(1(1(0(1(1(0(1(x1)))))))))))))))))))) 241.09/62.68 1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(1(0(1(0(x1)))))))))))))))))))) -> 241.09/62.68 1(0(0(0(1(0(0(1(1(0(0(1(1(0(0(1(0(0(1(0(x1)))))))))))))))))))) 241.09/62.68 1(0(0(0(0(1(1(1(0(1(1(1(0(0(0(1(0(1(0(0(x1)))))))))))))))))))) -> 241.09/62.68 1(1(0(1(1(0(1(1(0(1(0(1(0(1(0(1(0(1(1(0(x1)))))))))))))))))))) 241.09/62.68 1(0(0(0(0(1(1(1(1(0(1(0(1(0(0(1(0(1(0(0(x1)))))))))))))))))))) -> 241.09/62.68 1(0(0(0(1(1(1(0(1(0(1(0(1(0(0(0(0(1(0(0(x1)))))))))))))))))))) 241.09/62.68 1(0(0(0(1(0(1(1(1(1(1(1(0(1(0(1(0(1(0(0(x1)))))))))))))))))))) -> 241.09/62.68 1(0(0(1(0(0(1(0(0(0(1(0(1(1(1(1(0(1(0(0(x1)))))))))))))))))))) 241.09/62.68 1(0(0(0(1(1(1(1(0(0(1(0(0(1(0(1(0(0(0(1(x1)))))))))))))))))))) -> 241.09/62.68 1(0(0(0(0(0(1(0(0(1(1(0(1(0(0(1(0(0(0(1(x1)))))))))))))))))))) 241.09/62.68 1(0(0(0(1(1(1(1(0(1(0(0(1(1(0(1(1(1(1(0(x1)))))))))))))))))))) -> 241.09/62.68 1(1(0(0(1(1(0(0(1(0(1(0(1(0(1(0(1(1(1(0(x1)))))))))))))))))))) 241.09/62.68 1(0(0(0(1(1(1(1(0(1(1(0(0(0(1(1(1(0(1(1(x1)))))))))))))))))))) -> 241.09/62.68 1(0(0(0(0(1(1(1(0(0(0(0(0(1(0(1(0(1(0(1(x1)))))))))))))))))))) 241.09/62.68 1(0(0(0(1(1(1(1(1(0(1(1(0(0(0(1(0(1(1(1(x1)))))))))))))))))))) -> 241.09/62.68 1(0(1(1(0(1(0(0(0(0(0(0(1(0(0(0(0(0(1(1(x1)))))))))))))))))))) 241.09/62.68 1(0(0(1(0(0(1(0(1(0(1(0(0(0(0(0(0(0(0(1(x1)))))))))))))))))))) -> 241.09/62.68 1(0(1(1(1(0(1(0(0(1(0(0(1(0(0(0(1(1(0(1(x1)))))))))))))))))))) 241.09/62.68 1(0(0(1(1(0(1(0(0(1(0(1(0(1(0(1(0(1(1(1(x1)))))))))))))))))))) -> 241.09/62.69 1(0(0(0(1(0(1(1(0(0(1(0(1(0(1(0(1(0(1(1(x1)))))))))))))))))))) 241.09/62.69 1(0(0(1(1(0(1(1(1(0(0(0(0(1(0(0(0(0(1(0(x1)))))))))))))))))))) -> 241.09/62.69 1(0(1(0(1(1(0(1(1(1(1(1(1(0(1(1(0(1(1(0(x1)))))))))))))))))))) 241.09/62.69 1(0(0(1(1(0(1(1(1(0(1(0(1(0(0(0(1(1(1(0(x1)))))))))))))))))))) -> 241.09/62.69 1(0(0(1(0(1(1(1(0(1(0(0(0(1(1(0(1(1(1(0(x1)))))))))))))))))))) 241.09/62.69 1(0(0(1(1(1(0(1(1(0(1(0(0(0(0(1(1(0(0(1(x1)))))))))))))))))))) -> 241.09/62.69 1(0(1(0(0(0(0(1(0(0(0(0(1(1(0(1(1(0(0(1(x1)))))))))))))))))))) 241.09/62.69 1(0(0(1(1(1(1(0(0(0(1(1(1(1(1(0(0(0(0(1(x1)))))))))))))))))))) -> 241.09/62.69 1(1(0(1(0(1(0(0(0(1(0(1(1(0(0(0(0(0(0(1(x1)))))))))))))))))))) 241.09/62.69 1(0(0(1(1(1(1(0(0(0(1(1(1(1(1(1(0(0(0(1(x1)))))))))))))))))))) -> 241.09/62.69 1(1(1(0(1(0(1(0(0(1(0(1(1(1(1(1(0(0(0(1(x1)))))))))))))))))))) 241.09/62.69 1(0(0(1(1(1(1(0(0(1(1(0(1(1(1(1(0(1(0(1(x1)))))))))))))))))))) -> 241.09/62.69 1(0(1(0(1(0(1(1(0(0(0(0(0(0(0(0(0(1(0(1(x1)))))))))))))))))))) 241.09/62.69 1(0(1(0(1(0(0(1(1(0(0(1(1(0(0(1(0(0(1(1(x1)))))))))))))))))))) -> 241.09/62.69 1(0(1(0(1(0(0(1(0(1(1(1(0(0(1(0(0(0(1(1(x1)))))))))))))))))))) 241.09/62.69 1(0(1(0(1(1(1(0(1(1(0(0(1(1(0(0(0(0(1(1(x1)))))))))))))))))))) -> 241.09/62.69 1(0(0(0(0(1(0(1(1(0(1(0(1(1(1(1(0(0(1(1(x1)))))))))))))))))))) 241.09/62.69 1(0(1(1(0(0(0(0(0(0(0(0(0(0(1(1(1(0(0(0(x1)))))))))))))))))))) -> 241.09/62.69 1(0(1(1(1(0(1(1(0(1(1(1(1(1(0(0(0(0(0(0(x1)))))))))))))))))))) 241.09/62.69 1(0(1(1(0(0(0(0(0(0(1(1(1(1(1(0(1(1(1(1(x1)))))))))))))))))))) -> 241.09/62.69 1(1(0(1(0(1(1(1(1(0(0(0(1(1(0(1(0(0(1(1(x1)))))))))))))))))))) 241.09/62.69 1(0(1(1(0(0(0(0(1(1(0(1(0(1(1(0(1(0(0(1(x1)))))))))))))))))))) -> 241.09/62.69 1(0(1(0(1(1(1(0(1(0(0(0(1(1(0(0(1(0(0(1(x1)))))))))))))))))))) 241.09/62.69 1(0(1(1(0(1(0(0(0(0(1(1(1(0(0(1(1(0(1(1(x1)))))))))))))))))))) -> 241.09/62.69 1(0(1(0(0(1(0(1(0(0(0(1(0(0(1(1(1(1(1(1(x1)))))))))))))))))))) 241.09/62.69 1(0(1(1(0(1(0(1(1(1(1(1(1(0(0(0(1(0(0(1(x1)))))))))))))))))))) -> 241.09/62.69 1(0(0(0(0(0(0(0(1(0(1(1(0(1(1(0(1(0(0(1(x1)))))))))))))))))))) 241.09/62.69 1(0(1(1(1(0(0(0(0(1(1(1(1(0(0(0(0(1(0(1(x1)))))))))))))))))))) -> 241.09/62.69 1(1(1(0(1(0(0(1(0(1(0(0(0(1(0(0(1(0(1(1(x1)))))))))))))))))))) 241.09/62.69 1(0(1(1(1(0(1(1(1(1(1(1(1(0(0(1(0(1(1(0(x1)))))))))))))))))))) -> 241.09/62.69 1(0(0(0(1(1(0(0(1(1(0(1(1(1(0(0(1(1(1(0(x1)))))))))))))))))))) 241.09/62.69 1(0(1(1(1(0(1(1(1(1(1(1(1(0(1(1(1(0(1(0(x1)))))))))))))))))))) -> 241.09/62.69 1(1(1(0(1(1(0(1(1(0(1(0(1(0(1(0(1(1(1(0(x1)))))))))))))))))))) 241.09/62.69 1(0(1(1(1(1(0(0(0(0(0(1(1(0(0(1(0(0(1(1(x1)))))))))))))))))))) -> 241.09/62.69 1(0(0(1(0(1(1(1(0(0(0(0(1(1(1(0(0(0(1(1(x1)))))))))))))))))))) 241.09/62.69 1(0(1(1(1(1(1(0(1(1(0(0(0(1(0(0(1(0(1(0(x1)))))))))))))))))))) -> 241.09/62.69 1(0(0(0(1(0(1(1(1(1(0(1(0(0(1(1(0(0(1(0(x1)))))))))))))))))))) 241.09/62.69 1(1(0(0(0(0(0(1(0(0(0(1(1(1(1(1(0(1(1(0(x1)))))))))))))))))))) -> 241.09/62.69 0(1(0(1(0(0(0(0(1(1(1(0(1(0(0(0(1(0(1(0(x1)))))))))))))))))))) 241.09/62.69 1(1(0(0(0(0(0(1(1(1(0(1(0(0(0(1(0(1(1(0(x1)))))))))))))))))))) -> 241.09/62.69 0(0(1(0(1(0(1(0(1(0(1(0(0(1(0(1(0(1(1(0(x1)))))))))))))))))))) 241.09/62.69 1(1(0(0(0(0(1(1(1(1(0(1(0(1(1(0(1(0(0(0(x1)))))))))))))))))))) -> 241.09/62.69 1(1(0(1(0(0(1(0(0(1(1(0(0(1(1(1(1(0(0(0(x1)))))))))))))))))))) 241.09/62.69 1(1(0(0(0(1(0(0(1(1(0(1(1(1(0(0(0(0(1(0(x1)))))))))))))))))))) -> 241.09/62.69 1(1(0(0(0(1(0(0(1(0(0(0(1(1(1(1(0(0(1(0(x1)))))))))))))))))))) 241.09/62.69 1(1(0(0(1(0(0(1(1(1(1(0(1(1(1(0(0(1(1(0(x1)))))))))))))))))))) -> 241.09/62.69 1(1(0(0(0(1(1(1(1(1(0(0(0(1(0(1(0(1(1(0(x1)))))))))))))))))))) 241.09/62.69 1(1(0(0(1(0(1(1(0(1(1(0(1(0(1(1(0(1(1(1(x1)))))))))))))))))))) -> 241.09/62.69 1(1(1(0(0(1(1(0(1(1(0(1(0(1(0(1(0(1(1(1(x1)))))))))))))))))))) 241.09/62.69 1(1(0(0(1(1(1(0(0(0(0(0(1(0(0(0(0(1(1(0(x1)))))))))))))))))))) -> 241.09/62.69 0(1(0(1(0(1(0(0(0(1(1(1(0(1(0(0(0(0(1(0(x1)))))))))))))))))))) 241.09/62.69 1(1(0(0(1(1(1(1(0(1(0(1(0(1(1(0(0(1(1(1(x1)))))))))))))))))))) -> 241.09/62.69 1(1(0(1(1(0(0(0(0(1(0(1(0(1(1(1(0(1(0(1(x1)))))))))))))))))))) 241.09/62.69 1(1(0(0(1(1(1(1(1(0(0(1(0(1(1(0(1(1(0(1(x1)))))))))))))))))))) -> 241.09/62.69 1(0(0(1(0(0(1(0(0(1(1(1(0(0(0(1(0(0(0(1(x1)))))))))))))))))))) 241.09/62.69 1(1(0(1(0(0(0(1(1(0(1(1(0(1(1(0(0(0(1(1(x1)))))))))))))))))))) -> 241.09/62.69 1(1(0(1(0(0(1(0(1(1(1(0(0(0(0(0(1(0(1(1(x1)))))))))))))))))))) 241.09/62.69 1(1(0(1(0(0(1(1(1(0(0(1(1(0(0(0(1(0(0(0(x1)))))))))))))))))))) -> 241.09/62.69 1(0(1(1(0(0(0(0(0(0(1(1(1(0(1(0(1(0(1(0(x1)))))))))))))))))))) 241.09/62.69 1(1(0(1(0(0(1(1(1(1(1(1(0(0(1(1(0(0(0(0(x1)))))))))))))))))))) -> 241.09/62.69 1(0(0(0(0(1(0(1(1(1(0(1(1(1(0(1(1(1(1(0(x1)))))))))))))))))))) 241.09/62.69 1(1(0(1(1(0(1(0(0(0(1(1(1(1(0(0(1(1(1(1(x1)))))))))))))))))))) -> 241.09/62.69 1(1(0(1(1(0(0(0(0(1(1(1(0(1(0(0(1(1(0(1(x1)))))))))))))))))))) 241.09/62.69 1(1(0(1(1(1(0(0(0(0(0(0(0(1(1(1(0(0(1(0(x1)))))))))))))))))))) -> 241.09/62.69 1(1(1(0(0(1(0(1(1(1(1(1(1(1(1(1(0(0(1(0(x1)))))))))))))))))))) 241.09/62.69 1(1(1(0(0(0(1(1(0(0(1(1(0(0(0(1(1(0(0(1(x1)))))))))))))))))))) -> 241.09/62.69 1(0(1(1(1(0(1(1(1(1(1(1(0(1(0(1(1(1(0(1(x1)))))))))))))))))))) 241.09/62.69 1(1(1(0(0(1(1(1(1(0(1(0(0(1(1(0(0(0(1(1(x1)))))))))))))))))))) -> 241.09/62.69 1(1(0(1(0(0(1(1(1(1(1(1(0(0(0(1(0(0(1(1(x1)))))))))))))))))))) 241.09/62.69 1(1(1(0(1(1(0(0(1(1(1(0(1(0(1(1(0(0(0(1(x1)))))))))))))))))))) -> 241.09/62.69 1(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(0(0(0(1(x1)))))))))))))))))))) 241.09/62.69 1(1(1(0(1(1(1(0(1(0(1(1(0(0(0(0(1(1(1(0(x1)))))))))))))))))))) -> 241.09/62.69 1(1(0(1(0(1(0(0(0(1(0(1(0(0(1(0(1(1(0(0(x1)))))))))))))))))))) 241.09/62.69 241.09/62.69 Proof: 241.09/62.69 Open 241.09/62.70 EOF