178.37/51.55 MAYBE 178.60/51.57 178.60/51.57 Problem: 178.60/51.57 0(0(0(0(0(0(0(0(0(1(0(1(1(1(0(0(1(1(1(0(x1)))))))))))))))))))) -> 178.60/51.57 1(0(0(0(0(0(0(0(1(0(0(0(1(1(0(0(1(1(0(0(x1)))))))))))))))))))) 178.60/51.57 0(0(0(0(0(0(0(1(1(1(1(0(0(1(0(1(0(0(1(0(x1)))))))))))))))))))) -> 178.60/51.57 0(1(0(0(0(0(1(0(1(0(0(0(0(0(0(0(0(0(0(1(x1)))))))))))))))))))) 178.60/51.57 0(0(0(0(0(0(1(1(0(1(1(0(1(0(0(1(1(1(0(0(x1)))))))))))))))))))) -> 178.60/51.57 0(0(1(0(1(0(1(0(0(1(0(0(0(0(1(0(0(1(0(1(x1)))))))))))))))))))) 178.60/51.57 0(0(0(0(0(0(1(1(1(0(1(0(0(1(0(1(1(0(1(0(x1)))))))))))))))))))) -> 178.60/51.57 0(0(0(0(1(0(1(1(0(0(0(1(0(1(0(0(0(1(0(0(x1)))))))))))))))))))) 178.60/51.57 0(0(0(0(0(1(0(0(1(0(1(0(1(1(1(1(1(1(1(0(x1)))))))))))))))))))) -> 178.60/51.57 0(0(1(1(1(1(0(1(0(0(0(1(1(1(0(0(0(1(1(0(x1)))))))))))))))))))) 178.60/51.57 0(0(0(0(0(1(0(1(1(1(0(1(0(0(0(1(1(1(0(0(x1)))))))))))))))))))) -> 178.60/51.57 1(0(1(0(0(0(0(1(0(1(0(0(1(0(0(0(1(0(0(1(x1)))))))))))))))))))) 178.60/51.57 0(0(0(0(1(0(0(0(1(1(1(1(1(0(1(1(0(0(0(1(x1)))))))))))))))))))) -> 178.60/51.57 0(1(1(1(1(0(1(0(0(1(0(1(0(0(0(0(1(0(0(1(x1)))))))))))))))))))) 178.60/51.57 0(0(0(0(1(1(0(0(0(1(0(1(1(0(0(0(1(0(1(0(x1)))))))))))))))))))) -> 178.60/51.57 0(0(0(0(0(1(0(0(0(1(0(0(1(0(0(0(0(1(0(1(x1)))))))))))))))))))) 178.60/51.57 0(0(0(0(1(1(0(1(0(1(0(0(1(1(0(0(1(1(0(1(x1)))))))))))))))))))) -> 178.60/51.57 0(0(0(1(1(0(0(0(0(1(0(1(0(1(1(0(1(1(0(1(x1)))))))))))))))))))) 178.60/51.57 0(0(0(0(1(1(0(1(0(1(0(1(1(0(1(0(0(1(0(0(x1)))))))))))))))))))) -> 178.60/51.57 0(0(0(0(0(0(0(0(1(1(0(0(1(0(1(1(1(1(0(0(x1)))))))))))))))))))) 178.60/51.57 0(0(0(0(1(1(0(1(0(1(1(1(1(0(0(0(0(0(1(0(x1)))))))))))))))))))) -> 178.60/51.57 1(0(1(0(0(0(1(0(1(1(0(0(0(1(0(0(0(0(1(0(x1)))))))))))))))))))) 178.60/51.57 0(0(0(0(1(1(1(0(0(1(1(1(1(0(1(0(1(0(0(0(x1)))))))))))))))))))) -> 178.60/51.57 0(1(1(0(1(0(0(1(1(0(0(1(0(0(1(1(0(1(0(0(x1)))))))))))))))))))) 178.60/51.57 0(0(0(1(0(0(0(0(0(0(0(1(1(1(0(1(1(1(0(1(x1)))))))))))))))))))) -> 178.60/51.57 0(1(0(0(1(1(0(0(0(1(1(0(0(1(0(0(1(0(0(1(x1)))))))))))))))))))) 178.60/51.57 0(0(0(1(0(0(0(0(0(1(0(0(0(1(1(1(0(0(1(1(x1)))))))))))))))))))) -> 178.60/51.57 0(1(1(0(0(0(1(0(0(1(0(1(0(0(0(0(0(0(1(0(x1)))))))))))))))))))) 178.60/51.57 0(0(0(1(0(0(0(1(0(1(0(0(1(1(1(1(0(1(0(0(x1)))))))))))))))))))) -> 178.60/51.57 0(1(1(1(0(1(1(0(0(0(0(0(1(0(0(0(0(0(0(1(x1)))))))))))))))))))) 178.60/51.57 0(0(0(1(0(1(0(0(1(0(1(0(1(0(0(0(1(0(1(0(x1)))))))))))))))))))) -> 178.60/51.57 0(0(0(0(0(1(0(0(0(0(1(1(0(0(0(0(0(0(1(0(x1)))))))))))))))))))) 178.60/51.57 0(0(0(1(0(1(1(0(1(1(0(0(0(1(1(0(1(0(0(0(x1)))))))))))))))))))) -> 178.60/51.57 1(0(0(0(1(0(0(1(1(0(0(0(1(0(0(0(1(0(0(1(x1)))))))))))))))))))) 178.60/51.57 0(0(0(1(1(0(0(0(0(1(0(1(1(1(0(1(1(0(0(0(x1)))))))))))))))))))) -> 178.60/51.57 0(1(0(1(0(1(0(1(0(0(1(1(0(0(1(0(0(0(0(0(x1)))))))))))))))))))) 178.60/51.57 0(0(0(1(1(0(0(1(1(0(1(1(1(1(1(0(0(0(0(0(x1)))))))))))))))))))) -> 178.60/51.57 0(0(1(0(0(0(1(1(0(1(1(0(1(1(1(0(1(0(0(0(x1)))))))))))))))))))) 178.60/51.57 0(0(0(1(1(0(1(0(1(1(0(1(0(0(0(0(0(0(0(1(x1)))))))))))))))))))) -> 178.60/51.57 0(1(0(0(0(0(1(0(0(1(0(1(0(0(1(0(1(0(0(0(x1)))))))))))))))))))) 178.60/51.57 0(0(0(1(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(0(x1)))))))))))))))))))) -> 178.60/51.57 0(1(0(0(1(0(0(0(1(0(1(0(0(1(0(1(0(0(0(0(x1)))))))))))))))))))) 178.60/51.57 0(0(1(0(0(0(0(0(1(1(1(1(1(1(0(1(0(0(0(1(x1)))))))))))))))))))) -> 178.60/51.57 0(1(0(1(1(0(1(1(0(0(0(0(1(0(1(1(0(0(0(1(x1)))))))))))))))))))) 178.60/51.57 0(0(1(0(0(0(0(1(0(0(1(1(1(0(1(0(1(0(1(0(x1)))))))))))))))))))) -> 178.60/51.57 0(1(0(1(1(0(0(0(0(0(1(0(0(1(0(0(0(1(0(1(x1)))))))))))))))))))) 178.60/51.57 0(0(1(0(0(0(1(0(0(1(0(1(0(1(1(1(0(0(1(0(x1)))))))))))))))))))) -> 178.60/51.57 0(1(1(0(0(1(0(1(0(1(0(0(0(0(0(1(0(0(0(1(x1)))))))))))))))))))) 178.60/51.57 0(0(1(0(0(0(1(1(0(0(1(0(0(0(1(1(0(1(0(0(x1)))))))))))))))))))) -> 178.60/51.57 0(0(0(1(0(0(1(0(0(0(0(0(0(0(0(0(0(1(0(0(x1)))))))))))))))))))) 178.60/51.57 0(0(1(0(0(0(1(1(1(0(0(0(1(1(0(0(1(0(1(0(x1)))))))))))))))))))) -> 178.60/51.57 1(0(0(1(0(0(1(0(0(0(0(0(0(0(1(0(1(1(0(0(x1)))))))))))))))))))) 178.60/51.57 0(0(1(0(1(0(0(0(1(1(0(0(1(1(1(0(0(0(1(0(x1)))))))))))))))))))) -> 178.60/51.57 1(0(1(0(0(1(0(0(0(0(1(1(0(0(1(1(0(0(0(0(x1)))))))))))))))))))) 178.60/51.57 0(0(1(0(1(0(0(1(0(0(1(1(1(0(0(0(0(1(1(1(x1)))))))))))))))))))) -> 178.60/51.57 0(1(1(0(1(1(0(1(0(0(1(0(0(0(0(0(1(1(0(1(x1)))))))))))))))))))) 178.60/51.57 0(0(1(0(1(0(0(1(0(1(0(1(0(0(0(0(1(1(1(0(x1)))))))))))))))))))) -> 178.60/51.57 0(0(0(1(0(0(0(0(0(1(1(0(0(0(0(0(1(1(1(0(x1)))))))))))))))))))) 178.60/51.57 0(0(1(0(1(1(0(0(0(1(1(1(1(0(0(0(0(0(0(0(x1)))))))))))))))))))) -> 178.60/51.57 0(0(1(0(0(0(1(0(0(0(0(1(0(1(1(0(0(0(1(0(x1)))))))))))))))))))) 178.60/51.57 0(0(1(0(1(1(1(0(0(0(1(1(0(1(0(1(0(0(0(0(x1)))))))))))))))))))) -> 178.60/51.57 0(0(1(1(0(1(0(1(1(0(0(0(0(0(0(0(0(1(1(0(x1)))))))))))))))))))) 178.60/51.57 0(0(1(0(1(1(1(1(0(0(0(0(0(0(1(1(0(1(0(0(x1)))))))))))))))))))) -> 178.63/51.58 0(0(1(0(0(0(1(0(1(1(1(0(0(0(1(0(0(0(0(1(x1)))))))))))))))))))) 178.63/51.58 0(0(1(0(1(1(1(1(0(0(0(1(0(0(0(1(1(0(0(0(x1)))))))))))))))))))) -> 178.63/51.58 0(1(0(0(1(0(0(1(0(0(0(1(0(1(0(0(1(0(0(1(x1)))))))))))))))))))) 178.63/51.58 0(0(1(1(0(0(1(1(0(1(0(0(0(1(0(0(1(0(1(0(x1)))))))))))))))))))) -> 178.63/51.58 1(0(0(0(0(1(0(0(0(0(0(0(0(0(0(1(0(0(0(0(x1)))))))))))))))))))) 178.63/51.58 0(0(1(1(0(1(0(0(0(0(1(1(0(0(1(0(0(1(0(0(x1)))))))))))))))))))) -> 178.63/51.58 1(0(1(0(0(0(0(0(0(1(0(1(0(0(1(0(0(0(0(0(x1)))))))))))))))))))) 178.63/51.58 0(0(1(1(0(1(1(1(0(0(0(0(1(0(0(1(0(1(0(0(x1)))))))))))))))))))) -> 178.63/51.58 1(1(1(0(0(0(0(1(1(0(0(0(0(0(0(0(1(0(0(1(x1)))))))))))))))))))) 178.63/51.58 0(0(1(1(0(1(1(1(1(0(0(1(0(0(1(0(0(0(1(0(x1)))))))))))))))))))) -> 178.63/51.58 0(1(1(0(0(0(1(0(0(0(0(1(1(0(1(0(1(1(1(0(x1)))))))))))))))))))) 178.63/51.58 0(0(1(1(0(1(1(1(1(1(0(1(0(1(0(0(0(0(0(0(x1)))))))))))))))))))) -> 178.63/51.58 0(0(1(0(0(0(0(1(1(0(1(0(1(1(0(1(1(0(1(0(x1)))))))))))))))))))) 178.63/51.58 0(0(1(1(1(0(0(0(0(0(1(1(1(0(0(0(0(1(1(0(x1)))))))))))))))))))) -> 178.63/51.58 0(0(0(0(0(1(1(1(0(0(0(0(0(0(1(0(0(1(1(1(x1)))))))))))))))))))) 178.63/51.58 0(0(1(1(1(0(1(0(1(0(1(0(1(0(0(0(0(0(0(0(x1)))))))))))))))))))) -> 178.63/51.58 0(0(1(0(1(0(0(0(0(1(0(1(0(0(0(1(0(1(1(0(x1)))))))))))))))))))) 178.63/51.58 0(1(0(0(0(0(0(1(0(0(0(1(0(1(1(1(0(0(0(0(x1)))))))))))))))))))) -> 178.63/51.58 0(0(0(0(0(0(1(0(1(0(0(1(0(0(1(0(1(1(0(0(x1)))))))))))))))))))) 178.63/51.58 0(1(0(0(0(0(0(1(1(1(0(1(0(1(0(0(0(1(1(0(x1)))))))))))))))))))) -> 178.63/51.58 0(0(0(1(0(0(0(0(1(1(0(0(0(1(0(1(1(0(0(1(x1)))))))))))))))))))) 178.63/51.58 0(1(0(0(0(1(0(1(0(1(0(1(0(0(0(1(0(1(0(0(x1)))))))))))))))))))) -> 178.63/51.58 0(0(0(0(0(0(0(0(0(1(0(1(1(0(0(0(1(0(1(1(x1)))))))))))))))))))) 178.63/51.58 0(1(0(1(0(0(0(0(1(1(1(0(1(0(1(0(0(0(1(0(x1)))))))))))))))))))) -> 178.63/51.58 0(0(0(1(0(0(1(0(0(1(1(0(1(0(0(1(0(0(0(0(x1)))))))))))))))))))) 178.63/51.58 0(1(0(1(0(0(0(1(0(1(0(1(1(0(1(0(1(0(0(0(x1)))))))))))))))))))) -> 178.63/51.58 0(0(1(0(0(1(1(0(0(1(1(0(0(0(0(0(1(0(1(0(x1)))))))))))))))))))) 178.63/51.58 0(1(0(1(0(0(1(1(1(0(0(1(1(1(1(1(0(0(1(0(x1)))))))))))))))))))) -> 178.63/51.58 0(1(0(1(0(1(0(0(0(1(1(1(1(1(1(0(0(1(1(0(x1)))))))))))))))))))) 178.63/51.58 0(1(0(1(0(1(1(1(1(0(0(0(0(1(0(0(1(0(0(0(x1)))))))))))))))))))) -> 178.63/51.58 1(1(0(1(1(0(0(1(0(0(0(0(0(0(1(1(0(0(0(0(x1)))))))))))))))))))) 178.63/51.58 0(1(0(1(1(1(0(0(1(0(0(0(0(0(0(0(1(1(0(1(x1)))))))))))))))))))) -> 178.63/51.58 0(0(0(0(0(1(0(1(0(1(1(1(0(1(0(0(0(1(0(1(x1)))))))))))))))))))) 178.63/51.58 0(1(0(1(1(1(0(1(1(0(0(0(0(0(1(0(0(1(0(0(x1)))))))))))))))))))) -> 178.63/51.58 0(0(0(0(0(1(1(0(0(1(0(1(0(1(0(0(0(0(1(1(x1)))))))))))))))))))) 178.63/51.58 0(1(1(0(0(1(1(0(0(0(1(0(0(0(1(1(0(1(0(0(x1)))))))))))))))))))) -> 178.63/51.58 1(1(0(0(0(0(0(0(1(0(0(1(0(1(1(0(0(1(0(0(x1)))))))))))))))))))) 178.63/51.58 0(1(1(0(0(1(1(1(1(0(0(0(1(0(0(0(0(0(1(0(x1)))))))))))))))))))) -> 178.63/51.58 1(0(0(0(1(1(0(1(1(0(1(0(0(0(0(0(0(0(1(0(x1)))))))))))))))))))) 178.63/51.58 0(1(1(0(1(1(0(0(0(0(0(0(0(1(0(0(1(0(1(0(x1)))))))))))))))))))) -> 178.63/51.58 0(0(0(0(1(1(1(0(0(0(0(0(1(0(0(0(1(0(0(0(x1)))))))))))))))))))) 178.63/51.58 0(1(1(1(1(0(0(0(0(1(0(0(1(0(0(1(0(0(1(0(x1)))))))))))))))))))) -> 178.63/51.58 1(1(0(0(1(1(1(0(1(0(0(0(0(0(0(0(1(0(0(0(x1)))))))))))))))))))) 178.63/51.58 0(1(1(1(1(0(0(0(0(1(0(1(0(0(0(1(0(0(0(0(x1)))))))))))))))))))) -> 178.63/51.58 0(0(0(1(1(0(0(1(1(1(0(0(0(0(0(0(1(0(0(0(x1)))))))))))))))))))) 178.63/51.58 1(0(0(0(0(0(0(1(0(1(1(1(1(0(0(0(0(1(0(0(x1)))))))))))))))))))) -> 178.63/51.58 0(1(0(1(0(0(0(1(0(0(1(1(0(0(0(1(0(0(1(0(x1)))))))))))))))))))) 178.63/51.58 1(0(0(0(0(0(0(1(1(0(0(1(0(1(0(0(0(1(1(0(x1)))))))))))))))))))) -> 178.63/51.58 0(1(1(0(0(0(0(0(0(1(0(0(1(1(0(0(0(1(0(0(x1)))))))))))))))))))) 178.63/51.58 1(0(0(0(0(0(1(1(1(0(0(1(1(0(1(1(0(0(0(0(x1)))))))))))))))))))) -> 178.63/51.58 1(0(0(0(0(0(0(0(0(0(1(1(0(0(0(0(1(0(1(1(x1)))))))))))))))))))) 178.63/51.58 1(0(0(0(0(1(1(0(1(1(0(0(1(0(0(0(1(0(1(0(x1)))))))))))))))))))) -> 178.63/51.58 0(0(0(1(0(0(1(1(0(0(0(0(1(1(1(0(0(0(0(1(x1)))))))))))))))))))) 178.63/51.58 1(0(0(0(0(1(1(1(1(0(0(1(0(0(0(0(0(0(1(1(x1)))))))))))))))))))) -> 178.63/51.58 1(0(0(0(0(0(1(1(0(1(0(0(0(0(1(1(0(1(0(1(x1)))))))))))))))))))) 178.63/51.58 1(0(0(0(1(0(0(0(1(0(0(1(0(1(0(0(1(1(1(0(x1)))))))))))))))))))) -> 178.63/51.58 0(0(0(0(1(0(0(0(0(0(0(1(0(0(0(1(1(1(0(0(x1)))))))))))))))))))) 178.63/51.58 1(0(0(0(1(0(1(1(0(1(1(1(0(0(0(0(0(1(0(0(x1)))))))))))))))))))) -> 178.63/51.58 0(0(0(1(0(0(0(1(0(1(0(0(0(1(1(0(1(0(0(1(x1)))))))))))))))))))) 178.63/51.58 1(0(0(0(1(1(0(0(0(1(0(1(0(0(0(1(0(1(1(0(x1)))))))))))))))))))) -> 178.63/51.58 1(0(0(0(0(1(1(0(0(0(0(1(1(0(0(1(0(1(0(0(x1)))))))))))))))))))) 178.63/51.58 1(0(0(0(1(1(0(0(1(0(1(1(0(0(1(1(0(0(0(0(x1)))))))))))))))))))) -> 178.63/51.59 1(1(0(0(1(0(0(0(0(0(0(1(1(0(0(1(1(0(0(0(x1)))))))))))))))))))) 178.63/51.59 1(0(0(0(1(1(1(0(0(1(0(0(0(0(0(1(1(0(1(0(x1)))))))))))))))))))) -> 178.63/51.59 1(0(1(0(0(0(0(0(0(0(0(0(0(0(0(1(1(0(1(1(x1)))))))))))))))))))) 178.63/51.59 1(0(0(1(0(0(1(0(0(0(0(1(0(0(1(1(0(0(1(0(x1)))))))))))))))))))) -> 178.63/51.59 1(0(1(0(0(0(1(0(0(0(0(0(1(0(1(0(0(1(0(0(x1)))))))))))))))))))) 178.63/51.59 1(0(0(1(0(0(1(1(1(0(0(0(1(0(0(0(1(0(1(0(x1)))))))))))))))))))) -> 178.63/51.59 0(1(0(1(1(1(0(0(0(1(0(1(0(0(0(0(1(0(0(0(x1)))))))))))))))))))) 178.63/51.59 1(0(0(1(0(1(0(0(0(0(1(1(1(0(0(0(1(0(1(0(x1)))))))))))))))))))) -> 178.63/51.59 0(0(0(0(1(0(0(0(0(1(0(1(0(0(0(1(1(0(0(0(x1)))))))))))))))))))) 178.63/51.59 1(0(0(1(0(1(0(1(0(0(0(1(1(1(0(0(1(0(0(1(x1)))))))))))))))))))) -> 178.63/51.59 1(0(1(0(0(1(0(0(0(0(0(1(0(1(1(1(0(1(0(1(x1)))))))))))))))))))) 178.63/51.59 1(0(0(1(0(1(1(0(0(1(0(0(1(1(0(0(1(0(0(0(x1)))))))))))))))))))) -> 178.63/51.59 1(0(0(1(0(0(1(0(1(1(1(0(0(0(0(0(0(0(0(1(x1)))))))))))))))))))) 178.63/51.59 1(0(0(1(0(1(1(1(0(0(0(0(1(0(0(1(1(0(0(0(x1)))))))))))))))))))) -> 178.63/51.59 0(0(1(0(0(1(1(0(0(0(0(0(1(0(1(0(1(0(1(0(x1)))))))))))))))))))) 178.63/51.59 1(0(0(1(0(1(1(1(0(0(1(0(1(1(0(1(1(0(1(1(x1)))))))))))))))))))) -> 178.63/51.59 1(0(1(0(0(1(0(1(1(0(1(1(1(0(0(1(0(1(0(1(x1)))))))))))))))))))) 178.63/51.59 1(0(0(1(1(0(0(0(1(1(0(1(0(0(1(1(0(0(0(0(x1)))))))))))))))))))) -> 178.63/51.59 1(0(1(0(0(1(0(1(0(0(0(1(0(0(0(0(1(0(1(0(x1)))))))))))))))))))) 178.63/51.59 1(0(0(1(1(0(0(1(0(1(0(0(0(0(1(0(0(1(0(0(x1)))))))))))))))))))) -> 178.63/51.59 0(0(0(1(0(1(0(0(1(1(0(0(0(0(0(0(1(0(0(1(x1)))))))))))))))))))) 178.63/51.59 1(0(0(1(1(1(1(0(0(0(0(1(0(1(0(1(1(0(0(0(x1)))))))))))))))))))) -> 178.63/51.59 1(1(1(0(0(1(0(1(0(0(0(1(1(0(0(0(1(0(1(0(x1)))))))))))))))))))) 178.63/51.59 1(0(1(0(0(0(1(0(1(1(0(1(0(0(0(0(0(1(0(0(x1)))))))))))))))))))) -> 178.63/51.59 0(0(1(0(0(0(1(1(0(0(0(0(1(0(0(1(0(0(0(0(x1)))))))))))))))))))) 178.63/51.59 1(0(1(0(0(1(1(0(1(0(0(1(1(0(1(0(0(0(0(0(x1)))))))))))))))))))) -> 178.63/51.59 1(0(1(0(0(0(1(0(0(0(0(0(0(1(0(0(1(0(1(1(x1)))))))))))))))))))) 178.63/51.59 1(0(1(1(1(0(0(0(0(0(0(1(0(1(1(1(0(0(1(0(x1)))))))))))))))))))) -> 178.63/51.59 1(0(0(1(0(1(0(1(1(1(0(0(0(0(1(0(1(0(1(0(x1)))))))))))))))))))) 178.63/51.59 1(0(1(1(1(0(0(1(0(1(1(0(0(0(0(0(1(0(0(0(x1)))))))))))))))))))) -> 178.63/51.59 1(1(0(0(1(1(1(0(0(0(0(0(0(0(0(1(0(0(0(0(x1)))))))))))))))))))) 178.63/51.59 1(1(0(0(0(0(0(1(0(1(1(0(1(1(0(0(0(0(0(0(x1)))))))))))))))))))) -> 178.63/51.59 1(1(0(1(0(0(0(0(1(0(0(0(0(0(0(0(0(1(0(0(x1)))))))))))))))))))) 178.63/51.59 1(1(0(0(0(0(0(1(1(0(0(1(0(0(1(0(0(1(0(0(x1)))))))))))))))))))) -> 178.63/51.59 0(1(1(0(0(0(1(0(0(0(0(0(0(0(0(0(0(0(0(1(x1)))))))))))))))))))) 178.63/51.59 1(1(0(0(0(0(1(1(0(1(1(0(1(0(0(0(0(0(1(0(x1)))))))))))))))))))) -> 178.63/51.59 0(0(1(0(0(0(0(0(1(0(0(0(0(0(0(1(1(0(1(1(x1)))))))))))))))))))) 178.63/51.59 1(1(0(0(0(1(0(0(1(0(0(1(0(0(1(0(0(0(1(0(x1)))))))))))))))))))) -> 178.63/51.59 0(0(0(0(0(0(0(0(0(1(0(1(0(0(0(1(1(1(1(0(x1)))))))))))))))))))) 178.63/51.59 1(1(0(0(0(1(0(1(1(0(0(0(1(1(0(0(0(1(0(0(x1)))))))))))))))))))) -> 178.63/51.59 0(0(0(1(0(1(1(1(0(0(0(0(1(0(1(0(1(0(0(0(x1)))))))))))))))))))) 178.63/51.59 1(1(0(0(0(1(1(0(1(0(0(0(0(1(1(1(0(0(0(1(x1)))))))))))))))))))) -> 178.63/51.59 1(1(0(0(0(1(1(0(1(0(0(1(0(1(0(0(0(1(0(1(x1)))))))))))))))))))) 178.63/51.59 1(1(0(0(1(0(0(0(0(0(1(0(0(1(0(0(0(1(1(0(x1)))))))))))))))))))) -> 178.63/51.59 0(1(0(0(0(0(0(0(0(1(1(1(0(0(0(1(1(0(0(0(x1)))))))))))))))))))) 178.63/51.59 1(1(0(0(1(1(0(0(1(0(0(0(0(0(1(1(1(0(0(0(x1)))))))))))))))))))) -> 178.63/51.59 0(0(1(0(1(1(1(0(1(0(0(1(0(0(0(1(0(0(0(0(x1)))))))))))))))))))) 178.63/51.59 1(1(0(0(1(1(1(0(0(0(0(0(0(1(1(0(0(0(1(0(x1)))))))))))))))))))) -> 178.63/51.59 1(0(1(0(0(0(0(0(0(0(1(0(1(1(0(0(1(0(0(1(x1)))))))))))))))))))) 178.63/51.59 1(1(0(1(0(0(0(0(0(1(0(0(0(1(1(1(0(1(0(0(x1)))))))))))))))))))) -> 178.63/51.59 0(0(0(0(0(0(0(1(0(0(0(0(1(0(1(1(1(0(1(1(x1)))))))))))))))))))) 178.63/51.59 1(1(0(1(0(0(1(1(1(1(0(1(0(1(1(0(1(0(1(0(x1)))))))))))))))))))) -> 178.63/51.59 1(1(0(1(1(1(0(1(0(0(1(0(1(1(1(0(1(0(1(0(x1)))))))))))))))))))) 178.63/51.59 1(1(0(1(0(1(0(0(0(0(1(0(0(1(0(0(0(0(1(0(x1)))))))))))))))))))) -> 178.63/51.59 0(0(0(0(0(1(1(0(1(0(0(0(0(0(0(0(0(0(0(1(x1)))))))))))))))))))) 178.63/51.59 1(1(0(1(0(1(0(0(0(1(1(1(0(0(0(0(1(0(0(0(x1)))))))))))))))))))) -> 178.63/51.59 0(0(0(0(0(1(0(1(0(1(0(0(1(0(0(1(0(0(0(0(x1)))))))))))))))))))) 178.63/51.59 1(1(1(0(0(0(0(0(0(0(1(0(0(0(0(0(1(0(0(0(x1)))))))))))))))))))) -> 178.63/51.59 0(0(0(1(0(0(0(0(0(0(0(0(0(0(0(0(1(0(0(1(x1)))))))))))))))))))) 178.63/51.59 1(1(1(0(0(1(0(0(0(0(1(0(0(1(1(0(0(1(1(0(x1)))))))))))))))))))) -> 178.63/51.59 1(0(1(1(0(0(1(1(0(1(0(0(0(1(0(1(0(1(0(0(x1)))))))))))))))))))) 178.63/51.59 1(1(1(0(1(0(0(1(0(0(0(1(1(1(0(0(0(0(0(0(x1)))))))))))))))))))) -> 178.63/51.59 0(0(0(0(0(1(0(0(1(0(1(0(1(0(0(1(0(1(1(0(x1)))))))))))))))))))) 178.63/51.60 1(1(1(0(1(1(0(0(0(1(0(0(0(0(0(1(0(0(0(0(x1)))))))))))))))))))) -> 178.63/51.60 1(0(1(0(1(0(0(0(0(0(0(0(0(1(0(0(1(0(0(1(x1)))))))))))))))))))) 178.63/51.60 1(1(1(0(1(1(1(1(0(0(0(1(0(0(0(0(0(0(0(0(x1)))))))))))))))))))) -> 178.63/51.60 0(1(0(0(1(1(0(0(0(0(1(0(0(1(0(1(1(0(1(0(x1)))))))))))))))))))) 178.63/51.60 1(1(1(1(1(0(0(0(0(0(0(1(1(1(0(0(0(1(0(0(x1)))))))))))))))))))) -> 178.63/51.60 1(1(0(1(0(0(1(0(1(0(1(0(0(1(0(0(0(1(1(0(x1)))))))))))))))))))) 178.63/51.60 1(1(1(1(1(0(1(0(0(1(1(0(1(0(0(0(1(0(0(0(x1)))))))))))))))))))) -> 178.63/51.60 1(1(1(1(0(1(0(1(1(0(1(1(0(0(0(1(0(0(0(0(x1)))))))))))))))))))) 178.63/51.60 1(1(1(1(1(1(0(0(0(1(0(0(0(0(1(0(0(0(0(0(x1)))))))))))))))))))) -> 178.63/51.60 1(0(0(1(0(0(0(0(0(0(1(1(0(0(1(0(0(0(1(1(x1)))))))))))))))))))) 178.63/51.60 178.63/51.60 Proof: 178.63/51.60 Open 178.63/51.61 EOF