MAYBE 240.97/62.75 MAYBE 240.97/62.77 240.97/62.77 Problem: 240.97/62.77 0(0(0(0(0(0(0(0(1(0(1(0(1(1(1(1(1(1(0(1(x1)))))))))))))))))))) -> 240.97/62.77 0(0(1(0(1(1(0(0(1(1(0(1(0(0(1(0(1(0(1(1(x1)))))))))))))))))))) 240.97/62.77 0(0(0(0(0(1(0(1(0(0(0(1(1(0(1(1(0(1(0(1(x1)))))))))))))))))))) -> 240.97/62.77 0(1(0(0(1(1(1(0(0(1(0(1(1(0(1(1(0(1(1(1(x1)))))))))))))))))))) 240.97/62.77 0(0(0(0(1(0(0(1(0(1(0(1(0(0(0(1(0(0(0(1(x1)))))))))))))))))))) -> 240.97/62.77 1(0(0(1(1(1(0(0(0(0(0(1(1(0(0(0(1(1(1(1(x1)))))))))))))))))))) 240.97/62.77 0(0(0(0(1(0(1(0(1(1(1(1(0(1(1(0(1(0(1(0(x1)))))))))))))))))))) -> 240.97/62.77 1(1(0(1(0(1(1(0(1(1(0(0(1(1(1(1(1(1(1(0(x1)))))))))))))))))))) 240.97/62.77 0(0(0(1(0(0(0(0(0(1(1(0(0(0(1(0(0(1(0(1(x1)))))))))))))))))))) -> 240.97/62.77 0(1(1(0(1(0(1(0(1(0(0(0(1(0(0(0(1(1(1(0(x1)))))))))))))))))))) 240.97/62.77 0(0(0(1(0(0(1(0(1(0(0(1(0(0(0(0(1(1(0(1(x1)))))))))))))))))))) -> 240.97/62.77 0(0(1(0(1(1(0(1(1(1(0(0(1(1(0(0(1(1(0(0(x1)))))))))))))))))))) 240.97/62.77 0(0(0(1(1(1(1(0(1(1(1(0(1(0(1(1(0(1(1(1(x1)))))))))))))))))))) -> 240.97/62.77 0(1(0(0(1(1(1(0(1(0(1(0(1(0(1(1(1(0(1(1(x1)))))))))))))))))))) 240.97/62.77 0(0(1(0(0(1(1(0(0(1(0(1(1(1(0(0(1(1(0(1(x1)))))))))))))))))))) -> 240.97/62.77 1(0(1(1(0(1(1(1(0(0(0(1(0(0(1(0(0(1(1(1(x1)))))))))))))))))))) 240.97/62.77 0(0(1(0(1(0(0(0(1(1(1(0(0(1(1(1(0(1(1(1(x1)))))))))))))))))))) -> 240.97/62.77 1(1(0(0(1(1(1(1(1(0(0(0(1(1(1(1(1(0(0(1(x1)))))))))))))))))))) 240.97/62.77 0(0(1(0(1(0(1(1(0(0(1(1(0(1(0(1(0(1(0(0(x1)))))))))))))))))))) -> 240.97/62.77 0(0(1(1(0(1(1(0(1(1(1(1(0(0(1(0(1(1(1(1(x1)))))))))))))))))))) 240.97/62.77 0(0(1(0(1(0(1(1(1(1(1(1(0(0(1(1(0(0(0(1(x1)))))))))))))))))))) -> 240.97/62.77 0(1(1(1(0(1(1(0(1(0(1(0(1(1(1(0(0(1(1(1(x1)))))))))))))))))))) 240.97/62.77 0(0(1(0(1(1(0(1(1(0(0(0(1(0(0(0(1(1(1(0(x1)))))))))))))))))))) -> 240.97/62.77 0(1(1(0(0(1(0(1(1(0(0(1(1(1(1(0(1(1(1(0(x1)))))))))))))))))))) 240.97/62.77 0(0(1(0(1(1(1(1(0(0(1(0(0(1(1(0(1(1(0(1(x1)))))))))))))))))))) -> 240.97/62.77 1(1(0(1(0(1(0(1(0(1(1(1(0(1(1(0(0(1(0(0(x1)))))))))))))))))))) 240.97/62.77 0(0(1(1(0(0(1(1(0(0(0(0(0(1(1(0(1(0(1(0(x1)))))))))))))))))))) -> 240.97/62.77 0(1(1(1(0(1(0(1(1(1(1(0(0(0(0(0(1(1(1(0(x1)))))))))))))))))))) 240.97/62.77 0(0(1(1(0(1(1(0(1(0(0(1(1(0(1(0(1(1(1(1(x1)))))))))))))))))))) -> 240.97/62.77 0(1(1(1(1(0(1(0(1(0(0(0(1(1(1(1(1(1(1(1(x1)))))))))))))))))))) 240.97/62.77 0(0(1(1(1(0(0(0(0(0(1(1(1(1(0(1(0(0(0(1(x1)))))))))))))))))))) -> 240.97/62.77 1(1(0(0(1(0(1(0(1(0(0(1(0(1(0(1(1(1(0(0(x1)))))))))))))))))))) 240.97/62.77 0(0(1(1(1(0(0(0(0(1(1(1(1(0(1(1(1(0(1(0(x1)))))))))))))))))))) -> 240.97/62.77 1(1(0(1(1(1(0(0(0(0(0(1(1(0(1(0(1(1(1(0(x1)))))))))))))))))))) 240.97/62.77 0(0(1(1(1(1(1(1(0(1(1(1(1(0(0(0(0(1(0(1(x1)))))))))))))))))))) -> 240.97/62.77 0(0(1(1(0(1(1(1(0(1(0(1(1(1(1(0(1(0(0(1(x1)))))))))))))))))))) 240.97/62.77 0(1(0(0(0(0(0(0(1(0(0(1(0(0(0(1(0(1(0(1(x1)))))))))))))))))))) -> 240.97/62.77 0(0(1(1(0(1(1(1(1(1(0(0(0(0(1(0(0(1(1(1(x1)))))))))))))))))))) 240.97/62.77 0(1(0(0(0(0(1(0(0(0(1(0(1(0(1(0(0(0(0(0(x1)))))))))))))))))))) -> 240.97/62.77 1(1(0(1(1(0(1(0(1(0(0(0(1(1(0(0(1(0(0(1(x1)))))))))))))))))))) 240.97/62.77 0(1(0(0(0(0(1(0(1(0(0(1(1(0(1(1(0(1(0(1(x1)))))))))))))))))))) -> 240.97/62.77 1(0(1(0(0(0(0(1(1(0(1(1(1(1(1(1(1(1(1(1(x1)))))))))))))))))))) 240.97/62.77 0(1(0(0(0(0(1(1(0(0(1(0(0(1(0(1(0(1(0(1(x1)))))))))))))))))))) -> 240.97/62.77 1(0(1(0(0(1(0(1(0(0(1(0(1(0(0(0(1(1(0(1(x1)))))))))))))))))))) 240.97/62.77 0(1(0(0(0(1(0(0(0(0(0(0(1(1(0(1(0(0(1(0(x1)))))))))))))))))))) -> 240.97/62.77 1(0(1(0(1(1(0(0(0(1(1(0(0(1(1(1(0(0(0(1(x1)))))))))))))))))))) 240.97/62.77 0(1(0(0(1(0(0(1(0(0(0(1(1(0(1(1(0(0(1(0(x1)))))))))))))))))))) -> 240.97/62.77 1(1(1(0(1(1(0(0(0(0(1(0(0(0(0(1(1(1(1(0(x1)))))))))))))))))))) 240.97/62.77 0(1(0(0(1(0(0(1(1(1(1(1(1(0(0(1(0(0(1(0(x1)))))))))))))))))))) -> 240.97/62.77 1(1(0(0(1(1(0(1(1(0(1(1(1(0(1(0(1(1(0(0(x1)))))))))))))))))))) 240.97/62.77 0(1(0(0(1(0(1(0(0(0(0(0(0(1(1(0(0(1(1(0(x1)))))))))))))))))))) -> 240.97/62.77 0(0(1(1(1(1(0(0(0(0(0(0(1(1(1(0(0(1(1(0(x1)))))))))))))))))))) 240.97/62.77 0(1(0(0(1(0(1(0(0(0(0(0(0(1(1(0(1(0(1(0(x1)))))))))))))))))))) -> 240.97/62.77 0(0(0(1(0(1(0(0(1(0(0(1(1(1(0(1(0(1(1(0(x1)))))))))))))))))))) 240.97/62.77 0(1(0(0(1(0(1(1(0(1(0(0(1(0(0(1(1(1(1(0(x1)))))))))))))))))))) -> 240.97/62.77 1(1(1(1(1(0(0(0(0(1(1(0(1(1(1(0(0(1(1(0(x1)))))))))))))))))))) 240.97/62.77 0(1(0(0(1(1(1(1(0(0(0(1(0(0(1(0(1(1(0(1(x1)))))))))))))))))))) -> 240.97/62.77 1(1(1(1(1(1(0(0(0(0(1(1(0(0(1(0(1(1(0(1(x1)))))))))))))))))))) 240.97/62.77 0(1(0(0(1(1(1(1(0(0(1(0(0(0(0(1(0(0(1(0(x1)))))))))))))))))))) -> 240.97/62.77 0(0(1(1(0(1(0(1(1(0(1(1(0(0(0(0(1(0(1(1(x1)))))))))))))))))))) 240.97/62.77 0(1(0(1(0(0(1(1(1(0(0(0(0(0(0(1(1(1(0(1(x1)))))))))))))))))))) -> 240.97/62.77 1(1(1(1(0(1(0(0(0(1(1(1(0(0(0(0(1(1(1(1(x1)))))))))))))))))))) 240.97/62.77 0(1(0(1(0(1(0(1(0(1(1(0(1(0(0(1(1(1(0(1(x1)))))))))))))))))))) -> 240.97/62.78 1(1(1(1(1(1(1(1(1(0(1(0(1(1(0(1(1(1(1(1(x1)))))))))))))))))))) 240.97/62.78 0(1(0(1(0(1(1(0(0(0(0(0(0(0(1(1(1(0(0(1(x1)))))))))))))))))))) -> 240.97/62.78 0(1(1(1(0(1(0(0(0(1(1(0(1(0(1(1(0(1(1(1(x1)))))))))))))))))))) 240.97/62.78 0(1(0(1(1(0(0(1(1(0(1(0(0(0(1(1(0(1(0(0(x1)))))))))))))))))))) -> 240.97/62.78 1(0(1(1(1(1(1(1(0(1(0(1(1(0(1(0(0(1(0(0(x1)))))))))))))))))))) 240.97/62.78 0(1(0(1(1(0(1(1(0(1(1(0(0(0(0(1(0(0(1(0(x1)))))))))))))))))))) -> 240.97/62.78 0(0(0(1(1(1(0(0(1(0(0(1(1(0(1(0(1(1(1(0(x1)))))))))))))))))))) 240.97/62.78 0(1(0(1(1(1(0(1(0(0(0(0(0(0(1(0(1(0(0(0(x1)))))))))))))))))))) -> 240.97/62.78 1(1(1(0(0(0(1(1(1(1(1(0(0(1(0(1(1(1(1(1(x1)))))))))))))))))))) 240.97/62.78 0(1(0(1(1(1(0(1(1(0(0(0(0(1(0(1(0(1(0(1(x1)))))))))))))))))))) -> 240.97/62.78 0(0(0(1(0(1(0(1(1(1(1(1(0(0(1(1(0(1(0(1(x1)))))))))))))))))))) 240.97/62.78 0(1(1(0(0(0(1(1(1(0(1(1(0(1(1(0(1(1(0(1(x1)))))))))))))))))))) -> 240.97/62.78 0(1(1(1(0(1(1(1(1(0(1(0(1(1(0(1(1(0(1(1(x1)))))))))))))))))))) 240.97/62.78 0(1(1(0(1(0(0(0(1(1(1(0(0(0(0(1(1(1(1(0(x1)))))))))))))))))))) -> 240.97/62.78 0(1(1(1(0(1(0(1(1(0(0(0(1(1(1(0(1(1(0(1(x1)))))))))))))))))))) 240.97/62.78 0(1(1(0(1(0(0(1(0(0(0(1(1(0(0(0(0(1(0(1(x1)))))))))))))))))))) -> 240.97/62.78 1(1(0(0(1(1(0(0(0(1(0(1(1(0(0(0(1(0(1(1(x1)))))))))))))))))))) 240.97/62.78 0(1(1(0(1(0(1(1(0(0(0(1(1(0(1(0(0(1(1(1(x1)))))))))))))))))))) -> 240.97/62.78 0(1(1(0(0(1(0(1(1(1(1(1(1(1(1(0(0(0(1(1(x1)))))))))))))))))))) 240.97/62.78 0(1(1(0(1(1(1(0(0(0(1(1(0(1(0(0(0(1(1(0(x1)))))))))))))))))))) -> 240.97/62.78 1(1(1(0(1(1(1(0(0(0(1(0(1(0(1(0(0(1(1(0(x1)))))))))))))))))))) 240.97/62.78 0(1(1(1(0(1(1(0(1(0(0(0(0(1(0(0(1(1(1(1(x1)))))))))))))))))))) -> 240.97/62.78 0(1(0(0(0(0(1(0(1(1(1(0(1(0(0(1(1(1(1(1(x1)))))))))))))))))))) 240.97/62.78 0(1(1(1(0(1(1(1(1(1(1(0(0(0(0(0(1(0(1(0(x1)))))))))))))))))))) -> 240.97/62.78 0(1(1(1(0(0(1(1(0(1(0(0(1(1(1(0(1(0(1(0(x1)))))))))))))))))))) 240.97/62.78 0(1(1(1(1(0(0(0(1(0(0(1(0(1(0(0(0(1(0(1(x1)))))))))))))))))))) -> 240.97/62.78 1(1(1(1(1(1(1(0(1(1(0(0(1(0(0(1(1(1(1(1(x1)))))))))))))))))))) 240.97/62.78 0(1(1(1(1(0(0(1(1(0(0(0(0(0(1(1(0(0(1(0(x1)))))))))))))))))))) -> 240.97/62.78 0(0(0(1(1(1(0(1(1(0(0(0(1(1(1(0(1(1(0(1(x1)))))))))))))))))))) 240.97/62.78 0(1(1(1(1(0(1(0(0(1(0(1(1(0(1(1(0(0(1(1(x1)))))))))))))))))))) -> 240.97/62.78 0(0(0(1(1(1(1(1(1(1(1(0(1(1(0(0(0(1(1(1(x1)))))))))))))))))))) 240.97/62.78 1(0(0(0(0(0(0(0(1(1(0(1(1(0(1(1(1(1(1(1(x1)))))))))))))))))))) -> 240.97/62.78 1(1(1(1(0(0(1(1(1(1(0(1(0(0(0(1(1(1(0(0(x1)))))))))))))))))))) 240.97/62.78 1(0(0(0(0(0(0(1(1(1(0(0(0(1(0(1(1(1(0(1(x1)))))))))))))))))))) -> 240.97/62.78 0(1(1(1(0(1(0(1(0(0(1(0(0(1(1(1(1(0(1(1(x1)))))))))))))))))))) 240.97/62.78 1(0(0(0(0(0(1(1(1(1(1(0(1(1(0(1(1(0(1(1(x1)))))))))))))))))))) -> 240.97/62.78 0(1(1(1(1(1(0(1(1(1(1(1(1(0(1(1(0(0(1(1(x1)))))))))))))))))))) 240.97/62.78 1(0(0(0(0(1(1(1(0(0(0(1(1(0(1(1(1(1(0(0(x1)))))))))))))))))))) -> 240.97/62.78 0(1(1(1(1(0(1(1(1(0(0(1(1(0(0(1(1(1(0(0(x1)))))))))))))))))))) 240.97/62.78 1(0(0(0(1(0(0(1(0(1(1(0(0(0(1(1(0(1(1(1(x1)))))))))))))))))))) -> 240.97/62.78 1(0(0(0(1(0(1(1(0(1(1(1(1(0(1(0(0(0(0(1(x1)))))))))))))))))))) 240.97/62.78 1(0(0(0(1(1(0(0(0(0(1(1(1(0(1(1(0(0(0(1(x1)))))))))))))))))))) -> 240.97/62.78 0(0(0(1(0(0(0(1(0(1(0(1(0(1(1(0(1(0(1(1(x1)))))))))))))))))))) 240.97/62.78 1(0(0(0(1(1(0(1(1(0(1(0(0(0(0(1(0(1(1(0(x1)))))))))))))))))))) -> 240.97/62.78 0(1(0(0(1(1(0(1(0(1(0(0(0(1(0(1(0(1(1(0(x1)))))))))))))))))))) 240.97/62.78 1(0(0(1(0(0(0(0(0(1(0(0(1(1(1(1(1(1(0(1(x1)))))))))))))))))))) -> 240.97/62.78 0(1(1(1(1(0(0(0(1(0(0(0(1(1(1(0(1(1(1(1(x1)))))))))))))))))))) 240.97/62.78 1(0(0(1(0(0(0(0(0(1(1(1(1(1(0(1(0(0(1(1(x1)))))))))))))))))))) -> 240.97/62.78 1(0(0(0(0(0(0(1(1(0(1(1(1(0(0(1(0(1(1(1(x1)))))))))))))))))))) 240.97/62.78 1(0(0(1(0(0(0(1(1(1(0(1(0(1(0(1(1(0(1(1(x1)))))))))))))))))))) -> 240.97/62.78 1(1(0(0(1(1(0(1(1(0(1(0(1(1(0(0(1(1(1(1(x1)))))))))))))))))))) 240.97/62.78 1(0(0(1(0(0(1(1(0(1(1(1(0(0(1(1(1(0(0(0(x1)))))))))))))))))))) -> 240.97/62.78 0(1(0(1(1(0(1(0(0(1(0(1(0(1(1(1(1(1(0(1(x1)))))))))))))))))))) 240.97/62.78 1(0(0(1(0(1(1(0(0(0(0(1(1(1(1(0(0(1(0(1(x1)))))))))))))))))))) -> 240.97/62.78 0(0(0(1(0(1(0(1(0(1(0(0(1(1(1(1(0(1(1(1(x1)))))))))))))))))))) 240.97/62.78 1(0(0(1(1(0(0(0(0(0(1(1(0(1(1(0(1(1(1(0(x1)))))))))))))))))))) -> 240.97/62.78 1(1(1(0(1(0(1(0(0(0(0(1(1(0(1(1(1(0(0(0(x1)))))))))))))))))))) 240.97/62.78 1(0(0(1(1(0(0(1(0(1(1(0(0(0(1(1(0(1(0(1(x1)))))))))))))))))))) -> 240.97/62.78 0(1(0(1(0(1(0(1(1(1(1(0(1(1(1(0(0(1(1(1(x1)))))))))))))))))))) 240.97/62.78 1(0(0(1(1(0(1(0(1(0(1(0(1(1(0(1(1(1(0(1(x1)))))))))))))))))))) -> 240.97/62.78 1(1(1(0(1(1(1(0(0(1(1(1(0(1(1(1(0(1(0(1(x1)))))))))))))))))))) 240.97/62.78 1(0(0(1(1(1(0(0(0(1(1(0(0(1(1(0(0(1(0(1(x1)))))))))))))))))))) -> 240.97/62.80 1(0(1(0(0(1(1(0(1(1(1(1(0(0(1(0(0(0(1(1(x1)))))))))))))))))))) 240.97/62.80 1(0(1(0(0(0(0(0(1(1(1(0(1(1(0(0(0(1(0(1(x1)))))))))))))))))))) -> 240.97/62.80 0(0(1(1(0(1(0(1(1(0(1(0(1(1(1(1(0(0(1(1(x1)))))))))))))))))))) 240.97/62.80 1(0(1(0(0(0(0(0(1(1(1(1(0(0(1(0(0(0(0(1(x1)))))))))))))))))))) -> 240.97/62.80 0(1(1(0(1(1(0(1(0(1(0(1(1(0(1(0(0(1(1(0(x1)))))))))))))))))))) 240.97/62.80 1(0(1(0(0(0(1(1(1(0(0(1(0(1(0(1(1(1(0(1(x1)))))))))))))))))))) -> 240.97/62.80 1(1(1(1(1(1(0(1(0(1(0(1(1(1(1(0(0(1(1(1(x1)))))))))))))))))))) 240.97/62.80 1(0(1(0(0(1(0(0(0(0(1(1(1(1(0(1(0(1(1(0(x1)))))))))))))))))))) -> 240.97/62.80 1(1(1(0(1(1(1(0(0(1(1(1(0(0(1(0(0(1(1(0(x1)))))))))))))))))))) 240.97/62.80 1(0(1(0(0(1(1(0(0(1(1(1(1(1(0(1(0(1(0(0(x1)))))))))))))))))))) -> 240.97/62.80 1(1(0(1(0(0(0(1(1(0(0(1(1(0(1(1(0(1(1(1(x1)))))))))))))))))))) 240.97/62.80 1(0(1(0(0(1(1(1(1(0(0(0(1(0(0(0(0(0(1(1(x1)))))))))))))))))))) -> 240.97/62.80 1(0(0(0(1(0(0(0(0(1(1(1(0(0(0(1(0(1(1(1(x1)))))))))))))))))))) 240.97/62.80 1(0(1(0(1(0(0(1(1(0(0(0(0(1(0(0(0(0(0(1(x1)))))))))))))))))))) -> 240.97/62.80 1(1(1(1(1(0(0(0(0(1(1(1(1(0(1(1(1(1(1(0(x1)))))))))))))))))))) 240.97/62.80 1(0(1(0(1(0(1(0(1(0(0(1(0(1(1(0(1(0(0(1(x1)))))))))))))))))))) -> 240.97/62.80 0(1(1(1(1(1(0(1(1(1(1(1(1(1(1(0(0(1(1(1(x1)))))))))))))))))))) 240.97/62.80 1(0(1(0(1(1(0(0(1(1(0(0(0(1(0(0(0(0(0(1(x1)))))))))))))))))))) -> 240.97/62.80 0(1(1(1(1(0(0(1(0(0(1(0(1(1(0(1(0(1(1(1(x1)))))))))))))))))))) 240.97/62.80 1(0(1(0(1(1(1(0(0(0(1(1(1(0(1(1(0(0(1(1(x1)))))))))))))))))))) -> 240.97/62.80 1(1(1(1(1(1(0(1(1(1(1(1(0(0(1(0(0(1(1(1(x1)))))))))))))))))))) 240.97/62.80 1(0(1(1(0(0(0(1(0(0(0(1(1(0(1(1(0(1(0(1(x1)))))))))))))))))))) -> 240.97/62.80 1(0(1(1(1(0(0(1(0(1(0(1(1(1(1(0(1(1(1(1(x1)))))))))))))))))))) 240.97/62.80 1(0(1(1(0(0(1(0(1(0(1(0(0(1(1(0(0(0(1(0(x1)))))))))))))))))))) -> 240.97/62.80 1(0(1(1(1(0(1(1(0(0(0(1(0(0(0(1(0(1(1(0(x1)))))))))))))))))))) 240.97/62.80 1(0(1(1(0(0(1(0(1(1(1(1(0(0(1(1(0(1(0(1(x1)))))))))))))))))))) -> 240.97/62.80 1(0(0(0(1(0(1(0(1(1(1(1(1(1(0(1(1(1(0(1(x1)))))))))))))))))))) 240.97/62.80 1(0(1(1(0(1(1(0(0(1(0(1(0(1(0(0(0(0(0(1(x1)))))))))))))))))))) -> 240.97/62.80 0(1(1(1(1(1(1(0(1(1(1(0(1(1(0(0(1(0(1(1(x1)))))))))))))))))))) 240.97/62.80 1(0(1(1(1(0(1(0(0(1(0(1(1(0(0(1(0(1(0(1(x1)))))))))))))))))))) -> 240.97/62.80 1(0(1(1(1(1(0(1(1(1(1(0(1(0(0(1(1(0(1(1(x1)))))))))))))))))))) 240.97/62.80 1(0(1(1(1(1(0(1(1(0(0(1(1(1(0(1(0(0(0(1(x1)))))))))))))))))))) -> 240.97/62.80 1(1(1(0(0(1(1(1(1(0(1(1(0(1(1(0(1(1(0(1(x1)))))))))))))))))))) 240.97/62.80 1(1(0(0(1(0(0(0(1(0(0(0(1(1(1(1(0(0(1(0(x1)))))))))))))))))))) -> 240.97/62.80 1(0(0(1(0(0(0(0(1(1(1(1(1(0(0(1(0(1(1(0(x1)))))))))))))))))))) 240.97/62.80 1(1(0(0(1(1(0(0(1(0(0(0(0(0(0(0(1(1(0(1(x1)))))))))))))))))))) -> 240.97/62.80 1(1(1(0(0(0(0(0(1(1(0(0(0(1(1(0(0(0(1(1(x1)))))))))))))))))))) 240.97/62.80 1(1(0(0(1(1(0(1(0(0(0(1(1(1(1(1(1(1(0(1(x1)))))))))))))))))))) -> 240.97/62.80 1(1(1(1(1(1(1(0(1(0(0(1(1(1(1(0(0(1(0(1(x1)))))))))))))))))))) 240.97/62.80 1(1(0(1(0(0(0(1(0(0(1(1(0(1(1(1(0(0(0(1(x1)))))))))))))))))))) -> 240.97/62.80 1(1(0(1(1(0(1(0(1(0(1(1(1(1(1(1(0(1(1(0(x1)))))))))))))))))))) 240.97/62.80 1(1(0(1(0(0(1(0(0(0(1(0(0(1(1(1(0(0(1(1(x1)))))))))))))))))))) -> 240.97/62.80 1(1(0(1(1(1(0(0(1(0(1(0(0(0(0(1(1(0(0(1(x1)))))))))))))))))))) 240.97/62.80 1(1(0(1(0(0(1(0(0(0(1(0(1(0(1(1(0(0(0(1(x1)))))))))))))))))))) -> 240.97/62.80 0(0(0(1(1(0(1(1(0(0(1(0(1(0(1(1(1(1(0(1(x1)))))))))))))))))))) 240.97/62.80 1(1(0(1(0(0(1(0(1(1(1(1(1(1(0(0(1(1(0(1(x1)))))))))))))))))))) -> 240.97/62.80 1(0(0(1(1(1(1(0(1(1(0(1(1(0(1(1(0(1(1(1(x1)))))))))))))))))))) 240.97/62.80 1(1(0(1(0(0(1(1(0(1(1(0(1(1(1(0(1(1(0(1(x1)))))))))))))))))))) -> 240.97/62.80 1(1(1(0(0(0(1(1(1(1(1(1(1(1(1(1(1(1(0(1(x1)))))))))))))))))))) 240.97/62.80 1(1(0(1(0(1(1(1(0(0(0(1(1(1(0(0(0(0(0(0(x1)))))))))))))))))))) -> 240.97/62.80 1(1(1(0(1(0(1(1(1(0(0(0(1(0(1(1(0(0(1(0(x1)))))))))))))))))))) 240.97/62.80 1(1(0(1(0(1(1(1(1(1(0(1(1(1(0(0(1(0(1(0(x1)))))))))))))))))))) -> 240.97/62.80 1(0(1(1(1(1(1(0(1(1(0(1(1(0(1(1(1(1(1(0(x1)))))))))))))))))))) 240.97/62.80 1(1(0(1(1(0(0(0(0(0(1(1(0(0(0(1(1(1(1(1(x1)))))))))))))))))))) -> 240.97/62.80 1(0(0(0(1(1(0(0(1(1(0(1(0(0(0(1(0(1(1(1(x1)))))))))))))))))))) 240.97/62.80 1(1(0(1(1(0(0(1(0(0(0(1(0(1(1(0(1(1(1(1(x1)))))))))))))))))))) -> 240.97/62.80 1(1(0(1(1(1(1(1(1(1(0(0(0(1(1(0(1(0(0(1(x1)))))))))))))))))))) 240.97/62.80 1(1(0(1(1(0(1(0(0(0(1(0(1(1(0(1(1(0(0(1(x1)))))))))))))))))))) -> 240.97/62.80 1(1(1(1(1(0(0(0(1(1(1(1(1(0(1(0(0(0(1(1(x1)))))))))))))))))))) 240.97/62.80 1(1(0(1(1(1(0(0(1(0(1(0(1(1(0(0(0(1(1(1(x1)))))))))))))))))))) -> 240.97/62.80 1(1(1(0(1(1(0(0(1(0(1(1(1(0(0(0(1(1(1(1(x1)))))))))))))))))))) 240.97/62.80 1(1(0(1(1(1(1(1(0(1(1(0(1(0(1(0(0(1(0(1(x1)))))))))))))))))))) -> 240.97/62.80 1(1(1(1(1(1(1(0(1(1(1(0(1(1(0(0(1(1(0(1(x1)))))))))))))))))))) 240.97/62.80 1(1(1(0(1(0(1(0(0(1(0(1(1(0(0(0(1(1(1(1(x1)))))))))))))))))))) -> 240.97/62.80 1(1(1(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(0(1(x1)))))))))))))))))))) 240.97/62.80 1(1(1(0(1(0(1(1(0(0(1(0(0(1(1(1(1(1(0(1(x1)))))))))))))))))))) -> 240.97/62.80 1(1(0(0(1(1(1(1(1(0(1(0(1(1(1(1(1(1(1(1(x1)))))))))))))))))))) 240.97/62.80 1(1(1(0(1(0(1(1(1(0(1(1(1(0(1(0(0(0(1(1(x1)))))))))))))))))))) -> 240.97/62.80 0(1(1(1(0(1(1(1(1(0(1(1(1(1(1(1(1(1(1(1(x1)))))))))))))))))))) 240.97/62.80 1(1(1(1(0(1(0(0(1(0(0(1(0(0(1(1(0(0(1(0(x1)))))))))))))))))))) -> 240.97/62.80 1(0(1(1(0(1(0(1(1(0(0(1(0(1(0(1(0(0(0(1(x1)))))))))))))))))))) 240.97/62.80 1(1(1(1(1(0(0(0(0(0(1(0(1(0(0(1(1(1(1(0(x1)))))))))))))))))))) -> 240.97/62.80 1(0(1(1(0(1(0(0(1(0(1(1(1(0(1(1(1(1(0(1(x1)))))))))))))))))))) 240.97/62.80 240.97/62.80 Proof: 240.97/62.80 Open 240.97/62.80 EOF