178.33/51.68 MAYBE 178.33/51.69 178.33/51.69 Problem: 178.33/51.69 0(0(0(0(0(0(1(1(0(1(1(1(1(0(1(0(0(1(0(0(x1)))))))))))))))))))) -> 178.33/51.69 0(0(1(1(1(0(1(1(0(1(0(1(1(0(0(0(0(0(0(0(x1)))))))))))))))))))) 178.33/51.69 0(0(0(0(1(0(1(1(1(0(1(0(0(0(1(0(1(0(0(1(x1)))))))))))))))))))) -> 178.33/51.69 0(1(1(1(0(1(0(1(1(0(0(0(0(0(0(0(0(0(1(1(x1)))))))))))))))))))) 178.33/51.69 0(0(0(0(1(0(1(1(1(0(1(0(0(1(1(1(1(0(1(0(x1)))))))))))))))))))) -> 178.33/51.69 0(0(0(0(1(1(0(1(0(1(1(0(0(1(1(0(1(1(1(0(x1)))))))))))))))))))) 178.33/51.69 0(0(0(1(0(0(1(1(1(0(1(1(0(1(1(0(1(0(1(1(x1)))))))))))))))))))) -> 178.33/51.69 0(1(0(1(1(1(1(1(0(1(0(0(0(1(1(1(0(0(0(1(x1)))))))))))))))))))) 178.33/51.69 0(0(0(1(0(1(1(1(0(0(0(1(0(1(1(0(1(0(1(1(x1)))))))))))))))))))) -> 178.33/51.69 0(0(0(1(1(1(0(0(1(0(1(1(0(1(1(1(0(0(0(1(x1)))))))))))))))))))) 178.33/51.69 0(0(0(1(0(1(1(1(0(0(0(1(1(1(1(1(0(1(0(0(x1)))))))))))))))))))) -> 178.33/51.69 0(0(1(0(0(0(1(1(1(1(0(0(0(1(0(1(0(1(0(1(x1)))))))))))))))))))) 178.33/51.69 0(0(0(1(1(0(0(1(0(0(1(0(0(0(0(1(0(0(1(0(x1)))))))))))))))))))) -> 178.33/51.69 0(0(0(0(0(0(1(0(0(0(1(1(0(0(1(0(0(0(1(0(x1)))))))))))))))))))) 178.33/51.69 0(0(0(1(1(0(1(1(1(0(1(1(1(0(1(0(0(0(0(0(x1)))))))))))))))))))) -> 178.33/51.69 0(0(1(0(0(1(1(1(0(0(0(0(1(1(1(1(1(0(0(0(x1)))))))))))))))))))) 178.33/51.69 0(0(1(0(0(0(0(1(0(0(1(0(1(0(0(1(1(1(0(1(x1)))))))))))))))))))) -> 178.33/51.69 0(0(1(1(1(0(0(1(1(1(0(1(0(0(1(0(0(0(0(0(x1)))))))))))))))))))) 178.33/51.69 0(0(1(0(0(0(1(0(0(1(1(1(1(0(0(1(0(1(0(1(x1)))))))))))))))))))) -> 178.33/51.69 0(0(1(1(1(0(0(0(1(1(0(0(0(1(0(1(0(1(0(1(x1)))))))))))))))))))) 178.33/51.69 0(0(1(0(0(0(1(0(1(0(1(1(0(1(0(0(0(0(1(0(x1)))))))))))))))))))) -> 178.33/51.69 0(0(0(0(0(0(1(1(0(0(0(0(1(1(1(1(0(0(1(0(x1)))))))))))))))))))) 178.33/51.69 0(0(1(0(0(0(1(1(1(0(1(0(1(0(0(0(0(1(1(0(x1)))))))))))))))))))) -> 178.33/51.69 1(0(0(1(0(0(1(1(0(0(1(0(0(0(0(0(1(0(0(1(x1)))))))))))))))))))) 178.33/51.69 0(0(1(0(0(1(0(1(0(1(1(0(1(0(0(1(0(0(0(1(x1)))))))))))))))))))) -> 178.33/51.69 0(0(1(1(0(1(0(0(1(0(1(0(0(0(0(1(1(0(0(1(x1)))))))))))))))))))) 178.33/51.69 0(0(1(0(0(1(1(0(1(1(0(1(1(0(0(0(0(0(1(1(x1)))))))))))))))))))) -> 178.33/51.69 1(1(1(0(1(1(1(1(0(0(0(0(0(0(0(0(0(0(1(1(x1)))))))))))))))))))) 178.33/51.69 0(0(1(0(0(1(1(1(0(0(1(1(1(0(1(0(1(1(0(1(x1)))))))))))))))))))) -> 178.33/51.69 0(1(1(1(0(0(1(1(0(0(1(0(1(1(0(0(0(1(1(1(x1)))))))))))))))))))) 178.33/51.69 0(0(1(0(1(0(1(0(0(1(1(1(0(0(1(1(1(0(1(0(x1)))))))))))))))))))) -> 178.33/51.69 0(1(0(0(1(1(1(0(1(1(0(0(1(0(0(1(1(1(0(0(x1)))))))))))))))))))) 178.33/51.69 0(0(1(1(0(0(1(0(1(0(1(0(1(0(0(1(1(0(0(0(x1)))))))))))))))))))) -> 178.33/51.69 0(0(0(0(1(0(0(1(0(1(0(0(1(0(0(0(1(0(1(1(x1)))))))))))))))))))) 178.33/51.69 0(0(1(1(0(0(1(1(1(1(1(0(0(1(0(0(0(0(0(1(x1)))))))))))))))))))) -> 178.33/51.69 0(0(1(1(1(1(1(0(0(0(0(0(0(0(1(0(1(1(1(0(x1)))))))))))))))))))) 178.33/51.69 0(0(1(1(0(1(0(1(1(1(1(0(1(1(0(1(0(1(0(0(x1)))))))))))))))))))) -> 178.33/51.69 0(1(0(1(0(0(1(0(0(1(1(1(1(1(0(1(1(1(0(0(x1)))))))))))))))))))) 178.33/51.69 0(0(1(1(1(0(1(0(1(0(0(1(1(0(0(0(1(0(0(1(x1)))))))))))))))))))) -> 178.33/51.69 1(1(0(0(0(0(0(0(0(0(0(0(1(1(1(0(1(1(1(1(x1)))))))))))))))))))) 178.33/51.69 0(0(1(1(1(0(1(0(1(1(0(0(1(0(1(1(0(1(0(1(x1)))))))))))))))))))) -> 178.33/51.69 0(1(0(0(1(0(0(0(1(1(0(1(1(1(0(1(1(1(1(0(x1)))))))))))))))))))) 178.33/51.69 0(1(0(0(0(0(0(0(1(1(0(1(0(1(0(1(1(0(0(0(x1)))))))))))))))))))) -> 178.33/51.69 0(0(1(0(0(0(0(1(0(0(1(0(1(0(0(0(1(0(1(0(x1)))))))))))))))))))) 178.33/51.69 0(1(0(0(0(1(0(0(0(0(0(1(0(0(1(0(1(0(1(0(x1)))))))))))))))))))) -> 178.33/51.69 1(0(0(0(0(1(0(0(0(0(0(0(1(0(1(0(0(0(0(1(x1)))))))))))))))))))) 178.33/51.69 0(1(0(0(1(0(1(1(0(0(1(0(1(1(1(1(0(1(0(0(x1)))))))))))))))))))) -> 178.33/51.69 1(1(1(0(0(1(0(0(1(1(0(1(0(0(0(0(1(0(0(1(x1)))))))))))))))))))) 178.33/51.69 0(1(0(1(0(0(0(1(0(0(1(0(0(1(0(1(1(0(1(1(x1)))))))))))))))))))) -> 178.33/51.69 0(1(1(1(0(0(0(0(0(0(1(0(1(0(1(1(0(1(0(1(x1)))))))))))))))))))) 178.33/51.69 0(1(0(1(0(0(1(0(0(0(0(1(0(1(0(1(0(1(1(0(x1)))))))))))))))))))) -> 178.33/51.69 0(0(1(0(0(0(1(0(0(0(0(1(1(0(0(1(0(1(0(1(x1)))))))))))))))))))) 178.33/51.69 0(1(0(1(1(0(1(1(0(1(0(1(0(0(0(0(1(0(1(0(x1)))))))))))))))))))) -> 178.33/51.69 0(0(0(1(0(0(1(0(0(1(0(1(0(1(0(0(1(1(0(1(x1)))))))))))))))))))) 178.33/51.69 0(1(0(1(1(1(0(1(0(0(1(1(0(1(0(0(1(1(0(0(x1)))))))))))))))))))) -> 178.33/51.69 0(0(0(1(0(0(0(0(0(1(1(0(0(1(1(0(1(1(1(1(x1)))))))))))))))))))) 178.33/51.69 0(1(1(0(1(0(0(1(0(0(0(0(1(0(1(0(1(0(1(0(x1)))))))))))))))))))) -> 178.33/51.69 0(0(1(0(0(1(0(0(1(1(0(1(0(1(0(0(0(0(0(1(x1)))))))))))))))))))) 178.33/51.69 0(1(1(0(1(0(1(0(1(0(0(0(1(0(1(1(0(1(0(0(x1)))))))))))))))))))) -> 178.33/51.69 0(0(0(1(0(1(0(1(0(0(1(1(0(1(1(0(0(0(0(1(x1)))))))))))))))))))) 178.33/51.69 0(1(1(1(0(1(0(0(1(1(1(1(0(0(1(1(1(0(1(0(x1)))))))))))))))))))) -> 178.33/51.69 0(0(1(0(1(1(1(0(1(0(1(0(1(0(0(1(0(1(1(1(x1)))))))))))))))))))) 178.33/51.69 0(1(1(1(1(1(1(0(0(0(0(0(0(0(1(0(1(1(1(0(x1)))))))))))))))))))) -> 178.33/51.70 0(1(0(1(0(1(0(0(1(1(1(1(0(0(0(0(1(0(0(1(x1)))))))))))))))))))) 178.33/51.70 1(0(0(0(0(0(0(0(1(1(1(0(0(1(1(1(0(1(0(1(x1)))))))))))))))))))) -> 178.33/51.70 1(0(0(0(0(1(0(0(0(1(1(1(0(0(0(0(1(1(1(1(x1)))))))))))))))))))) 178.33/51.70 1(0(0(0(0(0(0(1(1(1(1(0(1(0(1(0(0(0(1(0(x1)))))))))))))))))))) -> 178.33/51.70 1(1(1(0(0(0(0(0(1(0(0(1(0(1(0(0(0(0(0(1(x1)))))))))))))))))))) 178.33/51.70 1(0(0(0(0(1(0(1(1(0(0(1(0(0(1(0(1(1(0(0(x1)))))))))))))))))))) -> 178.33/51.70 1(0(0(1(0(0(0(0(0(1(0(1(0(0(1(1(1(1(0(0(x1)))))))))))))))))))) 178.33/51.70 1(0(0(0(1(0(0(0(1(0(1(0(0(1(1(1(0(1(1(0(x1)))))))))))))))))))) -> 178.33/51.70 1(1(0(0(0(0(0(0(1(1(0(1(0(0(1(1(0(0(1(0(x1)))))))))))))))))))) 178.33/51.70 1(0(0(0(1(1(1(1(0(1(0(0(0(1(0(0(0(1(0(0(x1)))))))))))))))))))) -> 178.33/51.70 1(1(0(0(0(1(1(0(0(0(0(0(0(0(0(1(1(0(1(0(x1)))))))))))))))))))) 178.33/51.70 1(0(0(0(1(1(1(1(0(1(0(1(1(0(0(0(1(1(0(0(x1)))))))))))))))))))) -> 178.33/51.70 1(0(0(0(1(1(0(0(0(0(0(1(1(1(1(1(1(1(0(0(x1)))))))))))))))))))) 178.33/51.70 1(0(0(0(1(1(1(1(0(1(0(1(1(1(0(0(0(0(0(0(x1)))))))))))))))))))) -> 178.33/51.70 0(0(0(1(0(0(1(0(0(0(1(0(0(0(0(1(0(0(0(1(x1)))))))))))))))))))) 178.33/51.70 1(0(0(1(0(0(0(0(0(1(1(1(1(1(1(0(1(0(0(0(x1)))))))))))))))))))) -> 178.33/51.70 1(0(0(0(0(0(0(1(0(1(0(1(1(0(0(0(1(1(0(1(x1)))))))))))))))))))) 178.33/51.70 1(0(0(1(0(0(0(1(1(0(1(0(0(1(0(0(1(1(0(1(x1)))))))))))))))))))) -> 178.33/51.70 1(1(0(1(1(0(1(0(1(0(0(0(0(0(1(1(0(0(0(1(x1)))))))))))))))))))) 178.33/51.70 1(0(0(1(0(1(0(0(0(1(1(1(1(0(0(0(1(0(0(1(x1)))))))))))))))))))) -> 178.33/51.70 0(0(1(1(0(0(0(0(0(1(1(0(1(0(0(0(0(0(0(1(x1)))))))))))))))))))) 178.33/51.70 1(0(0(1(1(0(0(0(0(0(0(1(1(1(1(1(1(0(1(0(x1)))))))))))))))))))) -> 178.33/51.70 0(1(1(1(1(0(0(0(0(0(0(0(1(1(0(0(0(0(1(0(x1)))))))))))))))))))) 178.33/51.70 1(0(0(1(1(0(0(0(0(1(1(1(0(1(1(0(0(0(0(0(x1)))))))))))))))))))) -> 178.33/51.70 1(0(0(0(0(1(1(0(0(1(0(0(0(1(1(0(0(0(0(0(x1)))))))))))))))))))) 178.33/51.70 1(0(0(1(1(0(0(0(1(0(1(0(0(0(0(1(1(1(0(0(x1)))))))))))))))))))) -> 178.33/51.70 0(0(0(0(0(0(0(1(0(0(0(0(0(1(0(1(0(1(0(0(x1)))))))))))))))))))) 178.33/51.70 1(0(0(1(1(0(0(1(1(1(0(0(1(0(0(0(0(1(0(0(x1)))))))))))))))))))) -> 178.33/51.70 1(0(0(0(0(0(0(1(1(0(0(0(0(0(1(1(1(0(0(0(x1)))))))))))))))))))) 178.33/51.70 1(0(0(1(1(0(1(1(0(0(1(0(1(1(0(1(1(0(1(1(x1)))))))))))))))))))) -> 178.33/51.70 1(0(1(1(1(1(0(0(1(0(0(0(1(1(0(1(0(1(1(1(x1)))))))))))))))))))) 178.33/51.70 1(0(0(1(1(0(1(1(1(1(0(1(1(0(0(1(1(0(0(0(x1)))))))))))))))))))) -> 178.33/51.70 0(0(0(1(0(0(1(1(1(0(0(1(0(1(0(1(0(1(0(0(x1)))))))))))))))))))) 178.33/51.70 1(0(0(1(1(1(0(0(0(0(0(1(1(1(0(1(1(1(0(0(x1)))))))))))))))))))) -> 178.33/51.70 1(0(1(0(0(1(1(1(0(0(0(0(0(0(1(1(1(0(0(1(x1)))))))))))))))))))) 178.33/51.70 1(0(0(1(1(1(1(0(1(0(0(1(1(1(0(0(1(0(1(0(x1)))))))))))))))))))) -> 178.33/51.70 1(0(0(1(0(0(1(0(0(1(1(0(1(1(1(0(1(1(1(0(x1)))))))))))))))))))) 178.33/51.70 1(0(1(0(0(0(0(1(1(1(1(0(1(0(0(1(0(0(0(0(x1)))))))))))))))))))) -> 178.33/51.70 1(0(0(0(0(0(0(1(1(0(0(0(0(0(1(0(0(1(0(0(x1)))))))))))))))))))) 178.33/51.70 1(0(1(0(0(0(1(0(0(1(0(1(1(0(0(0(0(1(0(0(x1)))))))))))))))))))) -> 178.33/51.70 1(0(1(0(0(0(0(1(0(1(0(1(1(0(0(0(0(0(0(0(x1)))))))))))))))))))) 178.33/51.70 1(0(1(0(0(0(1(0(1(0(0(1(1(1(1(0(0(1(0(1(x1)))))))))))))))))))) -> 178.33/51.70 1(0(0(0(1(0(1(0(0(1(0(1(1(1(1(0(0(0(1(1(x1)))))))))))))))))))) 178.33/51.70 1(0(1(0(0(0(1(0(1(0(1(0(0(1(1(0(1(1(0(0(x1)))))))))))))))))))) -> 178.33/51.70 1(0(0(0(0(1(1(0(1(1(0(0(1(0(1(0(0(1(0(0(x1)))))))))))))))))))) 178.33/51.70 1(0(1(0(0(0(1(1(1(1(1(0(0(1(0(0(1(1(0(0(x1)))))))))))))))))))) -> 178.33/51.70 0(0(0(0(0(0(1(1(0(0(0(1(1(1(0(1(1(0(0(0(x1)))))))))))))))))))) 178.33/51.71 1(0(1(0(0(1(0(1(1(0(1(0(0(1(1(1(0(1(0(0(x1)))))))))))))))))))) -> 178.33/51.71 1(0(0(1(0(1(0(1(0(0(1(0(0(0(1(1(0(0(1(1(x1)))))))))))))))))))) 178.33/51.71 1(0(1(0(0(1(1(1(0(1(1(1(1(0(0(1(0(1(1(0(x1)))))))))))))))))))) -> 178.33/51.71 1(0(1(1(1(0(1(0(1(1(0(0(1(1(1(0(0(1(1(0(x1)))))))))))))))))))) 178.33/51.71 1(0(1(0(0(1(1(1(1(0(0(0(1(0(0(1(1(1(0(0(x1)))))))))))))))))))) -> 178.33/51.71 1(1(1(0(1(0(0(0(0(1(0(1(0(1(0(0(0(0(1(1(x1)))))))))))))))))))) 178.33/51.71 1(0(1(0(1(0(0(0(0(0(1(1(0(1(0(1(0(0(0(1(x1)))))))))))))))))))) -> 178.33/51.71 0(0(0(0(0(1(0(0(1(0(0(1(0(0(1(0(0(1(0(0(x1)))))))))))))))))))) 178.33/51.71 1(0(1(0(1(0(1(0(1(0(1(1(1(0(1(0(0(1(0(0(x1)))))))))))))))))))) -> 178.33/51.71 1(1(1(0(1(0(0(0(0(1(1(0(1(0(0(0(0(0(1(1(x1)))))))))))))))))))) 178.33/51.71 1(0(1(0(1(0(1(0(1(1(1(0(1(1(1(0(0(1(0(0(x1)))))))))))))))))))) -> 178.33/51.71 1(0(1(0(1(0(1(0(1(0(0(0(1(1(1(1(1(1(0(0(x1)))))))))))))))))))) 178.33/51.71 1(0(1(0(1(1(0(0(0(0(0(0(0(1(0(0(0(1(1(0(x1)))))))))))))))))))) -> 178.33/51.71 0(1(0(0(0(0(0(0(0(0(1(1(0(0(0(0(0(0(1(0(x1)))))))))))))))))))) 178.33/51.71 1(0(1(0(1(1(1(0(0(0(0(0(1(0(1(1(0(1(1(0(x1)))))))))))))))))))) -> 178.52/51.72 0(1(0(1(0(0(0(0(0(1(1(0(0(0(1(0(1(0(1(0(x1)))))))))))))))))))) 178.52/51.72 1(0(1(0(1(1(1(0(1(0(1(1(1(0(0(0(1(0(0(0(x1)))))))))))))))))))) -> 178.52/51.72 0(0(0(1(1(1(0(0(0(0(0(1(0(0(1(1(1(0(0(0(x1)))))))))))))))))))) 178.52/51.72 1(0(1(1(0(0(0(0(0(0(1(0(0(1(0(0(0(1(1(1(x1)))))))))))))))))))) -> 178.52/51.72 1(1(0(0(0(0(0(1(0(0(1(0(0(0(1(1(0(0(0(1(x1)))))))))))))))))))) 178.52/51.72 1(0(1(1(0(0(0(0(0(1(0(1(0(1(1(1(0(1(0(1(x1)))))))))))))))))))) -> 178.52/51.72 1(1(1(1(0(0(0(1(0(0(0(0(0(0(1(0(1(1(1(1(x1)))))))))))))))))))) 178.52/51.72 1(0(1(1(0(0(0(0(1(0(1(0(1(0(1(0(0(0(0(0(x1)))))))))))))))))))) -> 178.52/51.72 1(0(0(0(1(0(0(0(0(0(0(1(1(0(0(1(0(0(0(1(x1)))))))))))))))))))) 178.52/51.72 1(0(1(1(0(0(1(0(0(0(1(1(1(0(0(0(0(1(0(1(x1)))))))))))))))))))) -> 178.52/51.72 0(0(0(0(1(1(1(0(1(0(0(0(1(0(0(0(0(0(0(1(x1)))))))))))))))))))) 178.52/51.72 1(0(1(1(0(1(0(0(0(0(1(0(1(0(1(0(1(1(1(0(x1)))))))))))))))))))) -> 178.52/51.72 1(0(0(1(1(1(1(1(0(1(0(0(1(0(1(0(0(1(0(0(x1)))))))))))))))))))) 178.52/51.72 1(0(1(1(0(1(1(0(0(1(1(0(0(1(1(0(0(0(1(0(x1)))))))))))))))))))) -> 178.52/51.72 0(1(0(0(0(1(1(0(0(0(0(1(0(1(0(0(0(0(1(1(x1)))))))))))))))))))) 178.52/51.72 1(0(1(1(0(1(1(0(0(1(1(0(1(0(1(0(1(0(1(0(x1)))))))))))))))))))) -> 178.52/51.72 1(0(1(1(0(1(1(1(0(0(1(0(1(1(0(0(0(1(1(0(x1)))))))))))))))))))) 178.52/51.72 1(0(1(1(1(0(0(0(0(1(0(1(0(0(1(1(1(1(0(0(x1)))))))))))))))))))) -> 178.52/51.72 1(0(1(0(1(0(0(0(1(1(0(0(0(1(0(1(0(1(0(1(x1)))))))))))))))))))) 178.52/51.72 1(0(1(1(1(1(0(0(0(1(0(0(0(1(1(1(0(1(0(1(x1)))))))))))))))))))) -> 178.52/51.72 1(1(0(0(1(1(1(1(0(1(0(1(0(0(0(0(0(1(1(1(x1)))))))))))))))))))) 178.52/51.72 1(1(0(0(0(0(0(1(1(1(1(0(1(0(0(0(0(0(0(0(x1)))))))))))))))))))) -> 178.52/51.72 0(0(1(0(0(0(1(0(0(0(0(0(0(0(0(1(0(0(0(0(x1)))))))))))))))))))) 178.52/51.72 1(1(0(0(0(1(0(0(0(1(0(1(1(1(0(1(1(0(0(0(x1)))))))))))))))))))) -> 178.52/51.72 1(0(1(0(1(0(0(0(1(0(1(0(0(0(1(1(0(0(0(1(x1)))))))))))))))))))) 178.52/51.72 1(1(0(0(0(1(0(0(1(0(1(1(0(0(1(1(1(0(1(0(x1)))))))))))))))))))) -> 178.52/51.72 1(0(0(0(1(1(0(0(0(1(1(1(1(1(1(0(0(0(1(0(x1)))))))))))))))))))) 178.52/51.72 1(1(0(0(0(1(0(0(1(0(1(1(1(0(1(0(0(1(0(0(x1)))))))))))))))))))) -> 178.52/51.72 1(1(0(1(0(0(0(0(0(0(1(1(0(1(0(1(1(0(0(0(x1)))))))))))))))))))) 178.52/51.72 1(1(0(0(0(1(1(0(1(0(1(0(1(1(0(1(0(0(0(0(x1)))))))))))))))))))) -> 178.52/51.72 1(0(0(0(0(0(0(1(1(0(1(0(0(1(1(0(1(0(1(0(x1)))))))))))))))))))) 178.52/51.72 1(1(0(0(1(0(1(0(0(1(0(0(1(0(0(0(1(1(1(0(x1)))))))))))))))))))) -> 178.52/51.72 0(1(0(0(1(0(0(0(1(0(0(0(1(1(0(0(0(1(0(0(x1)))))))))))))))))))) 178.52/51.72 1(1(0(1(0(0(1(0(0(0(1(0(0(0(1(1(1(1(1(1(x1)))))))))))))))))))) -> 178.52/51.72 1(0(0(0(0(1(1(0(0(1(1(1(1(0(0(0(1(1(1(1(x1)))))))))))))))))))) 178.52/51.72 1(1(0(1(0(1(0(0(0(0(0(0(1(0(1(1(1(0(0(1(x1)))))))))))))))))))) -> 178.52/51.72 1(0(0(0(0(0(0(1(1(0(0(0(0(1(1(1(1(0(1(1(x1)))))))))))))))))))) 178.52/51.72 1(1(0(1(0(1(0(1(1(0(0(0(1(0(0(1(1(0(1(1(x1)))))))))))))))))))) -> 178.52/51.72 1(1(1(0(1(1(0(1(0(0(1(1(0(1(1(0(0(0(0(1(x1)))))))))))))))))))) 178.52/51.72 1(1(0(1(0(1(1(1(0(1(1(1(0(0(1(0(1(0(0(0(x1)))))))))))))))))))) -> 178.52/51.72 1(0(1(0(0(1(0(0(0(1(1(1(0(1(1(1(1(1(0(0(x1)))))))))))))))))))) 178.52/51.72 1(1(0(1(0(1(1(1(1(1(1(0(0(0(0(0(0(0(1(0(x1)))))))))))))))))))) -> 178.52/51.72 1(0(1(0(1(1(0(1(0(1(0(1(0(0(0(0(1(0(0(1(x1)))))))))))))))))))) 178.52/51.72 1(1(0(1(1(1(0(0(0(0(1(1(1(0(1(1(1(0(1(0(x1)))))))))))))))))))) -> 178.52/51.72 0(1(0(1(1(1(0(0(0(0(1(1(0(0(1(0(0(0(1(1(x1)))))))))))))))))))) 178.52/51.72 1(1(0(1(1(1(0(1(0(1(0(0(1(0(1(0(0(0(0(0(x1)))))))))))))))))))) -> 178.52/51.72 1(0(0(0(0(0(0(1(1(0(1(0(0(1(0(1(0(0(1(1(x1)))))))))))))))))))) 178.52/51.72 1(1(1(0(0(0(1(0(1(1(0(1(0(0(0(1(0(1(0(1(x1)))))))))))))))))))) -> 178.52/51.72 1(0(1(1(0(1(1(1(0(0(1(0(0(0(0(1(1(0(0(1(x1)))))))))))))))))))) 178.52/51.72 1(1(1(0(0(0(1(1(0(0(1(1(0(1(0(0(1(0(0(0(x1)))))))))))))))))))) -> 178.52/51.72 1(1(0(0(1(1(1(1(0(0(0(1(0(0(0(0(0(0(0(1(x1)))))))))))))))))))) 178.52/51.72 1(1(1(0(0(1(0(1(1(0(0(1(0(0(1(0(1(1(0(1(x1)))))))))))))))))))) -> 178.52/51.72 1(1(0(0(0(1(1(0(1(0(1(1(1(1(0(1(0(0(0(1(x1)))))))))))))))))))) 178.52/51.72 1(1(1(0(0(1(1(0(0(1(0(1(1(1(0(0(1(1(0(0(x1)))))))))))))))))))) -> 178.52/51.72 1(0(1(1(0(1(0(0(0(1(0(1(0(0(0(1(0(1(1(1(x1)))))))))))))))))))) 178.52/51.72 1(1(1(0(1(0(0(1(0(0(1(0(1(1(1(0(0(1(1(0(x1)))))))))))))))))))) -> 178.52/51.72 0(0(1(0(1(0(1(0(1(0(0(1(0(0(0(1(1(0(1(0(x1)))))))))))))))))))) 178.52/51.72 1(1(1(0(1(0(0(1(1(1(0(0(0(1(0(0(0(1(0(0(x1)))))))))))))))))))) -> 178.52/51.72 1(0(0(1(1(1(0(0(1(1(0(1(1(0(0(0(0(1(0(0(x1)))))))))))))))))))) 178.52/51.72 1(1(1(0(1(0(1(1(1(0(1(0(0(1(1(0(0(1(1(0(x1)))))))))))))))))))) -> 178.52/51.72 0(1(0(1(1(1(0(1(0(0(1(0(0(0(0(1(1(0(0(1(x1)))))))))))))))))))) 178.52/51.72 1(1(1(1(0(1(1(0(0(0(1(0(0(0(0(1(0(0(0(0(x1)))))))))))))))))))) -> 178.52/51.72 1(0(0(0(0(0(0(1(1(0(0(1(0(0(0(1(0(1(0(0(x1)))))))))))))))))))) 178.52/51.72 1(1(1(1(1(0(0(0(0(1(0(0(1(0(0(0(0(0(1(1(x1)))))))))))))))))))) -> 178.52/51.72 0(0(0(1(0(0(0(0(1(0(1(0(1(1(0(0(0(0(0(1(x1)))))))))))))))))))) 178.52/51.72 1(1(1(1(1(0(0(1(0(1(0(0(1(0(0(1(1(0(1(0(x1)))))))))))))))))))) -> 178.52/51.72 1(1(1(0(0(0(0(1(1(0(0(1(0(1(1(0(1(1(1(0(x1)))))))))))))))))))) 178.52/51.72 1(1(1(1(1(0(0(1(0(1(0(1(0(1(1(1(0(0(0(0(x1)))))))))))))))))))) -> 178.52/51.72 1(0(1(0(0(1(0(1(0(0(0(1(1(0(0(1(1(0(1(1(x1)))))))))))))))))))) 178.52/51.72 1(1(1(1(1(0(0(1(1(1(1(1(1(0(0(0(1(1(1(1(x1)))))))))))))))))))) -> 178.52/51.72 1(0(1(1(0(1(1(0(0(0(1(1(0(0(0(1(0(0(1(0(x1)))))))))))))))))))) 178.52/51.72 1(1(1(1(1(0(1(1(1(0(0(1(1(0(0(0(0(0(0(0(x1)))))))))))))))))))) -> 178.52/51.72 1(1(1(0(0(0(1(0(0(0(1(1(0(1(1(0(0(0(1(0(x1)))))))))))))))))))) 178.52/51.72 178.52/51.72 Proof: 178.52/51.72 Open 178.52/51.73 EOF