178.44/51.55 MAYBE 178.46/51.57 178.46/51.57 Problem: 178.46/51.57 0(0(0(0(0(0(0(0(1(0(1(0(1(1(1(1(1(1(0(1(x1)))))))))))))))))))) -> 178.46/51.57 0(0(1(0(1(1(0(0(1(1(0(1(0(0(1(0(1(0(1(1(x1)))))))))))))))))))) 178.46/51.57 0(0(0(0(0(1(0(1(0(0(0(1(1(0(1(1(0(1(0(1(x1)))))))))))))))))))) -> 178.46/51.57 0(1(0(0(1(1(1(0(0(1(0(1(1(0(1(1(0(1(1(1(x1)))))))))))))))))))) 178.46/51.57 0(0(0(0(1(0(0(1(0(1(0(1(0(0(0(1(0(0(0(1(x1)))))))))))))))))))) -> 178.46/51.57 1(0(0(1(1(1(0(0(0(0(0(1(1(0(0(0(1(1(1(1(x1)))))))))))))))))))) 178.46/51.57 0(0(0(0(1(0(1(0(1(1(1(1(0(1(1(0(1(0(1(0(x1)))))))))))))))))))) -> 178.46/51.57 1(1(0(1(0(1(1(0(1(1(0(0(1(1(1(1(1(1(1(0(x1)))))))))))))))))))) 178.46/51.57 0(0(0(1(0(0(0(0(0(1(1(0(0(0(1(0(0(1(0(1(x1)))))))))))))))))))) -> 178.46/51.57 0(1(1(0(1(0(1(0(1(0(0(0(1(0(0(0(1(1(1(0(x1)))))))))))))))))))) 178.46/51.57 0(0(0(1(0(0(1(0(1(0(0(1(0(0(0(0(1(1(0(1(x1)))))))))))))))))))) -> 178.46/51.57 0(0(1(0(1(1(0(1(1(1(0(0(1(1(0(0(1(1(0(0(x1)))))))))))))))))))) 178.46/51.57 0(0(0(1(1(1(1(0(1(1(1(0(1(0(1(1(0(1(1(1(x1)))))))))))))))))))) -> 178.46/51.57 0(1(0(0(1(1(1(0(1(0(1(0(1(0(1(1(1(0(1(1(x1)))))))))))))))))))) 178.46/51.57 0(0(1(0(0(1(1(0(0(1(0(1(1(1(0(0(1(1(0(1(x1)))))))))))))))))))) -> 178.46/51.57 1(0(1(1(0(1(1(1(0(0(0(1(0(0(1(0(0(1(1(1(x1)))))))))))))))))))) 178.46/51.57 0(0(1(0(1(0(0(0(1(1(1(0(0(1(1(1(0(1(1(1(x1)))))))))))))))))))) -> 178.46/51.57 1(1(0(0(1(1(1(1(1(0(0(0(1(1(1(1(1(0(0(1(x1)))))))))))))))))))) 178.46/51.57 0(0(1(0(1(0(1(1(0(0(1(1(0(1(0(1(0(1(0(0(x1)))))))))))))))))))) -> 178.46/51.57 0(0(1(1(0(1(1(0(1(1(1(1(0(0(1(0(1(1(1(1(x1)))))))))))))))))))) 178.46/51.57 0(0(1(0(1(0(1(1(1(1(1(1(0(0(1(1(0(0(0(1(x1)))))))))))))))))))) -> 178.46/51.57 0(1(1(1(0(1(1(0(1(0(1(0(1(1(1(0(0(1(1(1(x1)))))))))))))))))))) 178.46/51.57 0(0(1(0(1(1(0(1(1(0(0(0(1(0(0(0(1(1(1(0(x1)))))))))))))))))))) -> 178.46/51.57 0(1(1(0(0(1(0(1(1(0(0(1(1(1(1(0(1(1(1(0(x1)))))))))))))))))))) 178.46/51.57 0(0(1(0(1(1(1(1(0(0(1(0(0(1(1(0(1(1(0(1(x1)))))))))))))))))))) -> 178.46/51.57 1(1(0(1(0(1(0(1(0(1(1(1(0(1(1(0(0(1(0(0(x1)))))))))))))))))))) 178.46/51.57 0(0(1(1(0(0(1(1(0(0(0(0(0(1(1(0(1(0(1(0(x1)))))))))))))))))))) -> 178.46/51.57 0(1(1(1(0(1(0(1(1(1(1(0(0(0(0(0(1(1(1(0(x1)))))))))))))))))))) 178.46/51.57 0(0(1(1(0(1(1(0(1(0(0(1(1(0(1(0(1(1(1(1(x1)))))))))))))))))))) -> 178.46/51.57 0(1(1(1(1(0(1(0(1(0(0(0(1(1(1(1(1(1(1(1(x1)))))))))))))))))))) 178.46/51.57 0(0(1(1(1(0(0(0(0(0(1(1(1(1(0(1(0(0(0(1(x1)))))))))))))))))))) -> 178.46/51.57 1(1(0(0(1(0(1(0(1(0(0(1(0(1(0(1(1(1(0(0(x1)))))))))))))))))))) 178.46/51.57 0(0(1(1(1(0(0(0(0(1(1(1(1(0(1(1(1(0(1(0(x1)))))))))))))))))))) -> 178.46/51.57 1(1(0(1(1(1(0(0(0(0(0(1(1(0(1(0(1(1(1(0(x1)))))))))))))))))))) 178.46/51.57 0(0(1(1(1(1(1(1(0(1(1(1(1(0(0(0(0(1(0(1(x1)))))))))))))))))))) -> 178.46/51.57 0(0(1(1(0(1(1(1(0(1(0(1(1(1(1(0(1(0(0(1(x1)))))))))))))))))))) 178.46/51.57 0(1(0(0(0(0(0(0(1(0(0(1(0(0(0(1(0(1(0(1(x1)))))))))))))))))))) -> 178.46/51.57 0(0(1(1(0(1(1(1(1(1(0(0(0(0(1(0(0(1(1(1(x1)))))))))))))))))))) 178.46/51.57 0(1(0(0(0(0(1(0(0(0(1(0(1(0(1(0(0(0(0(0(x1)))))))))))))))))))) -> 178.46/51.57 1(1(0(1(1(0(1(0(1(0(0(0(1(1(0(0(1(0(0(1(x1)))))))))))))))))))) 178.46/51.57 0(1(0(0(0(0(1(0(1(0(0(1(1(0(1(1(0(1(0(1(x1)))))))))))))))))))) -> 178.46/51.57 1(0(1(0(0(0(0(1(1(0(1(1(1(1(1(1(1(1(1(1(x1)))))))))))))))))))) 178.46/51.57 0(1(0(0(0(0(1(1(0(0(1(0(0(1(0(1(0(1(0(1(x1)))))))))))))))))))) -> 178.46/51.57 1(0(1(0(0(1(0(1(0(0(1(0(1(0(0(0(1(1(0(1(x1)))))))))))))))))))) 178.46/51.57 0(1(0(0(0(1(0(0(0(0(0(0(1(1(0(1(0(0(1(0(x1)))))))))))))))))))) -> 178.46/51.57 1(0(1(0(1(1(0(0(0(1(1(0(0(1(1(1(0(0(0(1(x1)))))))))))))))))))) 178.46/51.57 0(1(0(0(1(0(0(1(0(0(0(1(1(0(1(1(0(0(1(0(x1)))))))))))))))))))) -> 178.46/51.57 1(1(1(0(1(1(0(0(0(0(1(0(0(0(0(1(1(1(1(0(x1)))))))))))))))))))) 178.46/51.57 0(1(0(0(1(0(0(1(1(1(1(1(1(0(0(1(0(0(1(0(x1)))))))))))))))))))) -> 178.46/51.57 1(1(0(0(1(1(0(1(1(0(1(1(1(0(1(0(1(1(0(0(x1)))))))))))))))))))) 178.46/51.57 0(1(0(0(1(0(1(0(0(0(0(0(0(1(1(0(0(1(1(0(x1)))))))))))))))))))) -> 178.46/51.57 0(0(1(1(1(1(0(0(0(0(0(0(1(1(1(0(0(1(1(0(x1)))))))))))))))))))) 178.46/51.57 0(1(0(0(1(0(1(0(0(0(0(0(0(1(1(0(1(0(1(0(x1)))))))))))))))))))) -> 178.46/51.57 0(0(0(1(0(1(0(0(1(0(0(1(1(1(0(1(0(1(1(0(x1)))))))))))))))))))) 178.46/51.57 0(1(0(0(1(0(1(1(0(1(0(0(1(0(0(1(1(1(1(0(x1)))))))))))))))))))) -> 178.46/51.57 1(1(1(1(1(0(0(0(0(1(1(0(1(1(1(0(0(1(1(0(x1)))))))))))))))))))) 178.46/51.57 0(1(0(0(1(1(1(1(0(0(0(1(0(0(1(0(1(1(0(1(x1)))))))))))))))))))) -> 178.46/51.57 1(1(1(1(1(1(0(0(0(0(1(1(0(0(1(0(1(1(0(1(x1)))))))))))))))))))) 178.46/51.57 0(1(0(0(1(1(1(1(0(0(1(0(0(0(0(1(0(0(1(0(x1)))))))))))))))))))) -> 178.46/51.57 0(0(1(1(0(1(0(1(1(0(1(1(0(0(0(0(1(0(1(1(x1)))))))))))))))))))) 178.46/51.57 0(1(0(1(0(0(1(1(1(0(0(0(0(0(0(1(1(1(0(1(x1)))))))))))))))))))) -> 178.46/51.57 1(1(1(1(0(1(0(0(0(1(1(1(0(0(0(0(1(1(1(1(x1)))))))))))))))))))) 178.46/51.57 0(1(0(1(0(1(0(1(0(1(1(0(1(0(0(1(1(1(0(1(x1)))))))))))))))))))) -> 178.46/51.58 1(1(1(1(1(1(1(1(1(0(1(0(1(1(0(1(1(1(1(1(x1)))))))))))))))))))) 178.46/51.58 0(1(0(1(0(1(1(0(0(0(0(0(0(0(1(1(1(0(0(1(x1)))))))))))))))))))) -> 178.46/51.58 0(1(1(1(0(1(0(0(0(1(1(0(1(0(1(1(0(1(1(1(x1)))))))))))))))))))) 178.46/51.58 0(1(0(1(1(0(0(1(1(0(1(0(0(0(1(1(0(1(0(0(x1)))))))))))))))))))) -> 178.46/51.58 1(0(1(1(1(1(1(1(0(1(0(1(1(0(1(0(0(1(0(0(x1)))))))))))))))))))) 178.46/51.58 0(1(0(1(1(0(1(1(0(1(1(0(0(0(0(1(0(0(1(0(x1)))))))))))))))))))) -> 178.46/51.58 0(0(0(1(1(1(0(0(1(0(0(1(1(0(1(0(1(1(1(0(x1)))))))))))))))))))) 178.46/51.58 0(1(0(1(1(1(0(1(0(0(0(0(0(0(1(0(1(0(0(0(x1)))))))))))))))))))) -> 178.46/51.58 1(1(1(0(0(0(1(1(1(1(1(0(0(1(0(1(1(1(1(1(x1)))))))))))))))))))) 178.46/51.58 0(1(0(1(1(1(0(1(1(0(0(0(0(1(0(1(0(1(0(1(x1)))))))))))))))))))) -> 178.46/51.58 0(0(0(1(0(1(0(1(1(1(1(1(0(0(1(1(0(1(0(1(x1)))))))))))))))))))) 178.46/51.58 0(1(1(0(0(0(1(1(1(0(1(1(0(1(1(0(1(1(0(1(x1)))))))))))))))))))) -> 178.46/51.58 0(1(1(1(0(1(1(1(1(0(1(0(1(1(0(1(1(0(1(1(x1)))))))))))))))))))) 178.46/51.58 0(1(1(0(1(0(0(0(1(1(1(0(0(0(0(1(1(1(1(0(x1)))))))))))))))))))) -> 178.46/51.58 0(1(1(1(0(1(0(1(1(0(0(0(1(1(1(0(1(1(0(1(x1)))))))))))))))))))) 178.46/51.58 0(1(1(0(1(0(0(1(0(0(0(1(1(0(0(0(0(1(0(1(x1)))))))))))))))))))) -> 178.46/51.58 1(1(0(0(1(1(0(0(0(1(0(1(1(0(0(0(1(0(1(1(x1)))))))))))))))))))) 178.46/51.58 0(1(1(0(1(0(1(1(0(0(0(1(1(0(1(0(0(1(1(1(x1)))))))))))))))))))) -> 178.46/51.58 0(1(1(0(0(1(0(1(1(1(1(1(1(1(1(0(0(0(1(1(x1)))))))))))))))))))) 178.46/51.58 0(1(1(0(1(1(1(0(0(0(1(1(0(1(0(0(0(1(1(0(x1)))))))))))))))))))) -> 178.46/51.58 1(1(1(0(1(1(1(0(0(0(1(0(1(0(1(0(0(1(1(0(x1)))))))))))))))))))) 178.46/51.58 0(1(1(1(0(1(1(0(1(0(0(0(0(1(0(0(1(1(1(1(x1)))))))))))))))))))) -> 178.46/51.58 0(1(0(0(0(0(1(0(1(1(1(0(1(0(0(1(1(1(1(1(x1)))))))))))))))))))) 178.46/51.58 0(1(1(1(0(1(1(1(1(1(1(0(0(0(0(0(1(0(1(0(x1)))))))))))))))))))) -> 178.46/51.58 0(1(1(1(0(0(1(1(0(1(0(0(1(1(1(0(1(0(1(0(x1)))))))))))))))))))) 178.46/51.58 0(1(1(1(1(0(0(0(1(0(0(1(0(1(0(0(0(1(0(1(x1)))))))))))))))))))) -> 178.46/51.58 1(1(1(1(1(1(1(0(1(1(0(0(1(0(0(1(1(1(1(1(x1)))))))))))))))))))) 178.46/51.58 0(1(1(1(1(0(0(1(1(0(0(0(0(0(1(1(0(0(1(0(x1)))))))))))))))))))) -> 178.46/51.58 0(0(0(1(1(1(0(1(1(0(0(0(1(1(1(0(1(1(0(1(x1)))))))))))))))))))) 178.46/51.58 0(1(1(1(1(0(1(0(0(1(0(1(1(0(1(1(0(0(1(1(x1)))))))))))))))))))) -> 178.46/51.58 0(0(0(1(1(1(1(1(1(1(1(0(1(1(0(0(0(1(1(1(x1)))))))))))))))))))) 178.46/51.58 1(0(0(0(0(0(0(0(1(1(0(1(1(0(1(1(1(1(1(1(x1)))))))))))))))))))) -> 178.46/51.58 1(1(1(1(0(0(1(1(1(1(0(1(0(0(0(1(1(1(0(0(x1)))))))))))))))))))) 178.46/51.58 1(0(0(0(0(0(0(1(1(1(0(0(0(1(0(1(1(1(0(1(x1)))))))))))))))))))) -> 178.46/51.58 0(1(1(1(0(1(0(1(0(0(1(0(0(1(1(1(1(0(1(1(x1)))))))))))))))))))) 178.46/51.58 1(0(0(0(0(0(1(1(1(1(1(0(1(1(0(1(1(0(1(1(x1)))))))))))))))))))) -> 178.46/51.58 0(1(1(1(1(1(0(1(1(1(1(1(1(0(1(1(0(0(1(1(x1)))))))))))))))))))) 178.46/51.58 1(0(0(0(0(1(1(1(0(0(0(1(1(0(1(1(1(1(0(0(x1)))))))))))))))))))) -> 178.46/51.58 0(1(1(1(1(0(1(1(1(0(0(1(1(0(0(1(1(1(0(0(x1)))))))))))))))))))) 178.46/51.58 1(0(0(0(1(0(0(1(0(1(1(0(0(0(1(1(0(1(1(1(x1)))))))))))))))))))) -> 178.46/51.58 1(0(0(0(1(0(1(1(0(1(1(1(1(0(1(0(0(0(0(1(x1)))))))))))))))))))) 178.46/51.58 1(0(0(0(1(1(0(0(0(0(1(1(1(0(1(1(0(0(0(1(x1)))))))))))))))))))) -> 178.46/51.58 0(0(0(1(0(0(0(1(0(1(0(1(0(1(1(0(1(0(1(1(x1)))))))))))))))))))) 178.46/51.58 1(0(0(0(1(1(0(1(1(0(1(0(0(0(0(1(0(1(1(0(x1)))))))))))))))))))) -> 178.46/51.58 0(1(0(0(1(1(0(1(0(1(0(0(0(1(0(1(0(1(1(0(x1)))))))))))))))))))) 178.46/51.58 1(0(0(1(0(0(0(0(0(1(0(0(1(1(1(1(1(1(0(1(x1)))))))))))))))))))) -> 178.46/51.58 0(1(1(1(1(0(0(0(1(0(0(0(1(1(1(0(1(1(1(1(x1)))))))))))))))))))) 178.46/51.58 1(0(0(1(0(0(0(0(0(1(1(1(1(1(0(1(0(0(1(1(x1)))))))))))))))))))) -> 178.46/51.58 1(0(0(0(0(0(0(1(1(0(1(1(1(0(0(1(0(1(1(1(x1)))))))))))))))))))) 178.46/51.58 1(0(0(1(0(0(0(1(1(1(0(1(0(1(0(1(1(0(1(1(x1)))))))))))))))))))) -> 178.46/51.58 1(1(0(0(1(1(0(1(1(0(1(0(1(1(0(0(1(1(1(1(x1)))))))))))))))))))) 178.46/51.58 1(0(0(1(0(0(1(1(0(1(1(1(0(0(1(1(1(0(0(0(x1)))))))))))))))))))) -> 178.46/51.58 0(1(0(1(1(0(1(0(0(1(0(1(0(1(1(1(1(1(0(1(x1)))))))))))))))))))) 178.46/51.58 1(0(0(1(0(1(1(0(0(0(0(1(1(1(1(0(0(1(0(1(x1)))))))))))))))))))) -> 178.46/51.58 0(0(0(1(0(1(0(1(0(1(0(0(1(1(1(1(0(1(1(1(x1)))))))))))))))))))) 178.46/51.58 1(0(0(1(1(0(0(0(0(0(1(1(0(1(1(0(1(1(1(0(x1)))))))))))))))))))) -> 178.46/51.58 1(1(1(0(1(0(1(0(0(0(0(1(1(0(1(1(1(0(0(0(x1)))))))))))))))))))) 178.46/51.58 1(0(0(1(1(0(0(1(0(1(1(0(0(0(1(1(0(1(0(1(x1)))))))))))))))))))) -> 178.46/51.58 0(1(0(1(0(1(0(1(1(1(1(0(1(1(1(0(0(1(1(1(x1)))))))))))))))))))) 178.46/51.58 1(0(0(1(1(0(1(0(1(0(1(0(1(1(0(1(1(1(0(1(x1)))))))))))))))))))) -> 178.46/51.58 1(1(1(0(1(1(1(0(0(1(1(1(0(1(1(1(0(1(0(1(x1)))))))))))))))))))) 178.46/51.58 1(0(0(1(1(1(0(0(0(1(1(0(0(1(1(0(0(1(0(1(x1)))))))))))))))))))) -> 178.46/51.59 1(0(1(0(0(1(1(0(1(1(1(1(0(0(1(0(0(0(1(1(x1)))))))))))))))))))) 178.46/51.59 1(0(1(0(0(0(0(0(1(1(1(0(1(1(0(0(0(1(0(1(x1)))))))))))))))))))) -> 178.46/51.59 0(0(1(1(0(1(0(1(1(0(1(0(1(1(1(1(0(0(1(1(x1)))))))))))))))))))) 178.46/51.59 1(0(1(0(0(0(0(0(1(1(1(1(0(0(1(0(0(0(0(1(x1)))))))))))))))))))) -> 178.46/51.59 0(1(1(0(1(1(0(1(0(1(0(1(1(0(1(0(0(1(1(0(x1)))))))))))))))))))) 178.46/51.59 1(0(1(0(0(0(1(1(1(0(0(1(0(1(0(1(1(1(0(1(x1)))))))))))))))))))) -> 178.46/51.59 1(1(1(1(1(1(0(1(0(1(0(1(1(1(1(0(0(1(1(1(x1)))))))))))))))))))) 178.46/51.59 1(0(1(0(0(1(0(0(0(0(1(1(1(1(0(1(0(1(1(0(x1)))))))))))))))))))) -> 178.46/51.59 1(1(1(0(1(1(1(0(0(1(1(1(0(0(1(0(0(1(1(0(x1)))))))))))))))))))) 178.46/51.59 1(0(1(0(0(1(1(0(0(1(1(1(1(1(0(1(0(1(0(0(x1)))))))))))))))))))) -> 178.46/51.59 1(1(0(1(0(0(0(1(1(0(0(1(1(0(1(1(0(1(1(1(x1)))))))))))))))))))) 178.46/51.59 1(0(1(0(0(1(1(1(1(0(0(0(1(0(0(0(0(0(1(1(x1)))))))))))))))))))) -> 178.46/51.59 1(0(0(0(1(0(0(0(0(1(1(1(0(0(0(1(0(1(1(1(x1)))))))))))))))))))) 178.46/51.59 1(0(1(0(1(0(0(1(1(0(0(0(0(1(0(0(0(0(0(1(x1)))))))))))))))))))) -> 178.46/51.59 1(1(1(1(1(0(0(0(0(1(1(1(1(0(1(1(1(1(1(0(x1)))))))))))))))))))) 178.46/51.59 1(0(1(0(1(0(1(0(1(0(0(1(0(1(1(0(1(0(0(1(x1)))))))))))))))))))) -> 178.46/51.59 0(1(1(1(1(1(0(1(1(1(1(1(1(1(1(0(0(1(1(1(x1)))))))))))))))))))) 178.46/51.59 1(0(1(0(1(1(0(0(1(1(0(0(0(1(0(0(0(0(0(1(x1)))))))))))))))))))) -> 178.46/51.59 0(1(1(1(1(0(0(1(0(0(1(0(1(1(0(1(0(1(1(1(x1)))))))))))))))))))) 178.46/51.59 1(0(1(0(1(1(1(0(0(0(1(1(1(0(1(1(0(0(1(1(x1)))))))))))))))))))) -> 178.46/51.59 1(1(1(1(1(1(0(1(1(1(1(1(0(0(1(0(0(1(1(1(x1)))))))))))))))))))) 178.46/51.59 1(0(1(1(0(0(0(1(0(0(0(1(1(0(1(1(0(1(0(1(x1)))))))))))))))))))) -> 178.46/51.59 1(0(1(1(1(0(0(1(0(1(0(1(1(1(1(0(1(1(1(1(x1)))))))))))))))))))) 178.46/51.59 1(0(1(1(0(0(1(0(1(0(1(0(0(1(1(0(0(0(1(0(x1)))))))))))))))))))) -> 178.46/51.59 1(0(1(1(1(0(1(1(0(0(0(1(0(0(0(1(0(1(1(0(x1)))))))))))))))))))) 178.46/51.59 1(0(1(1(0(0(1(0(1(1(1(1(0(0(1(1(0(1(0(1(x1)))))))))))))))))))) -> 178.46/51.59 1(0(0(0(1(0(1(0(1(1(1(1(1(1(0(1(1(1(0(1(x1)))))))))))))))))))) 178.46/51.59 1(0(1(1(0(1(1(0(0(1(0(1(0(1(0(0(0(0(0(1(x1)))))))))))))))))))) -> 178.46/51.59 0(1(1(1(1(1(1(0(1(1(1(0(1(1(0(0(1(0(1(1(x1)))))))))))))))))))) 178.46/51.59 1(0(1(1(1(0(1(0(0(1(0(1(1(0(0(1(0(1(0(1(x1)))))))))))))))))))) -> 178.46/51.59 1(0(1(1(1(1(0(1(1(1(1(0(1(0(0(1(1(0(1(1(x1)))))))))))))))))))) 178.46/51.59 1(0(1(1(1(1(0(1(1(0(0(1(1(1(0(1(0(0(0(1(x1)))))))))))))))))))) -> 178.46/51.59 1(1(1(0(0(1(1(1(1(0(1(1(0(1(1(0(1(1(0(1(x1)))))))))))))))))))) 178.46/51.59 1(1(0(0(1(0(0(0(1(0(0(0(1(1(1(1(0(0(1(0(x1)))))))))))))))))))) -> 178.46/51.59 1(0(0(1(0(0(0(0(1(1(1(1(1(0(0(1(0(1(1(0(x1)))))))))))))))))))) 178.46/51.59 1(1(0(0(1(1(0(0(1(0(0(0(0(0(0(0(1(1(0(1(x1)))))))))))))))))))) -> 178.46/51.59 1(1(1(0(0(0(0(0(1(1(0(0(0(1(1(0(0(0(1(1(x1)))))))))))))))))))) 178.46/51.59 1(1(0(0(1(1(0(1(0(0(0(1(1(1(1(1(1(1(0(1(x1)))))))))))))))))))) -> 178.46/51.59 1(1(1(1(1(1(1(0(1(0(0(1(1(1(1(0(0(1(0(1(x1)))))))))))))))))))) 178.46/51.59 1(1(0(1(0(0(0(1(0(0(1(1(0(1(1(1(0(0(0(1(x1)))))))))))))))))))) -> 178.46/51.59 1(1(0(1(1(0(1(0(1(0(1(1(1(1(1(1(0(1(1(0(x1)))))))))))))))))))) 178.46/51.59 1(1(0(1(0(0(1(0(0(0(1(0(0(1(1(1(0(0(1(1(x1)))))))))))))))))))) -> 178.46/51.59 1(1(0(1(1(1(0(0(1(0(1(0(0(0(0(1(1(0(0(1(x1)))))))))))))))))))) 178.46/51.59 1(1(0(1(0(0(1(0(0(0(1(0(1(0(1(1(0(0(0(1(x1)))))))))))))))))))) -> 178.46/51.59 0(0(0(1(1(0(1(1(0(0(1(0(1(0(1(1(1(1(0(1(x1)))))))))))))))))))) 178.46/51.59 1(1(0(1(0(0(1(0(1(1(1(1(1(1(0(0(1(1(0(1(x1)))))))))))))))))))) -> 178.46/51.59 1(0(0(1(1(1(1(0(1(1(0(1(1(0(1(1(0(1(1(1(x1)))))))))))))))))))) 178.46/51.59 1(1(0(1(0(0(1(1(0(1(1(0(1(1(1(0(1(1(0(1(x1)))))))))))))))))))) -> 178.46/51.59 1(1(1(0(0(0(1(1(1(1(1(1(1(1(1(1(1(1(0(1(x1)))))))))))))))))))) 178.46/51.59 1(1(0(1(0(1(1(1(0(0(0(1(1(1(0(0(0(0(0(0(x1)))))))))))))))))))) -> 178.46/51.59 1(1(1(0(1(0(1(1(1(0(0(0(1(0(1(1(0(0(1(0(x1)))))))))))))))))))) 178.46/51.59 1(1(0(1(0(1(1(1(1(1(0(1(1(1(0(0(1(0(1(0(x1)))))))))))))))))))) -> 178.46/51.59 1(0(1(1(1(1(1(0(1(1(0(1(1(0(1(1(1(1(1(0(x1)))))))))))))))))))) 178.46/51.59 1(1(0(1(1(0(0(0(0(0(1(1(0(0(0(1(1(1(1(1(x1)))))))))))))))))))) -> 178.46/51.59 1(0(0(0(1(1(0(0(1(1(0(1(0(0(0(1(0(1(1(1(x1)))))))))))))))))))) 178.46/51.59 1(1(0(1(1(0(0(1(0(0(0(1(0(1(1(0(1(1(1(1(x1)))))))))))))))))))) -> 178.46/51.59 1(1(0(1(1(1(1(1(1(1(0(0(0(1(1(0(1(0(0(1(x1)))))))))))))))))))) 178.46/51.59 1(1(0(1(1(0(1(0(0(0(1(0(1(1(0(1(1(0(0(1(x1)))))))))))))))))))) -> 178.46/51.59 1(1(1(1(1(0(0(0(1(1(1(1(1(0(1(0(0(0(1(1(x1)))))))))))))))))))) 178.46/51.59 1(1(0(1(1(1(0(0(1(0(1(0(1(1(0(0(0(1(1(1(x1)))))))))))))))))))) -> 178.46/51.59 1(1(1(0(1(1(0(0(1(0(1(1(1(0(0(0(1(1(1(1(x1)))))))))))))))))))) 178.46/51.59 1(1(0(1(1(1(1(1(0(1(1(0(1(0(1(0(0(1(0(1(x1)))))))))))))))))))) -> 178.46/51.59 1(1(1(1(1(1(1(0(1(1(1(0(1(1(0(0(1(1(0(1(x1)))))))))))))))))))) 178.46/51.59 1(1(1(0(1(0(1(0(0(1(0(1(1(0(0(0(1(1(1(1(x1)))))))))))))))))))) -> 178.46/51.59 1(1(1(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(0(1(x1)))))))))))))))))))) 178.46/51.59 1(1(1(0(1(0(1(1(0(0(1(0(0(1(1(1(1(1(0(1(x1)))))))))))))))))))) -> 178.46/51.59 1(1(0(0(1(1(1(1(1(0(1(0(1(1(1(1(1(1(1(1(x1)))))))))))))))))))) 178.46/51.59 1(1(1(0(1(0(1(1(1(0(1(1(1(0(1(0(0(0(1(1(x1)))))))))))))))))))) -> 178.46/51.59 0(1(1(1(0(1(1(1(1(0(1(1(1(1(1(1(1(1(1(1(x1)))))))))))))))))))) 178.46/51.59 1(1(1(1(0(1(0(0(1(0(0(1(0(0(1(1(0(0(1(0(x1)))))))))))))))))))) -> 178.46/51.59 1(0(1(1(0(1(0(1(1(0(0(1(0(1(0(1(0(0(0(1(x1)))))))))))))))))))) 178.46/51.59 1(1(1(1(1(0(0(0(0(0(1(0(1(0(0(1(1(1(1(0(x1)))))))))))))))))))) -> 178.46/51.59 1(0(1(1(0(1(0(0(1(0(1(1(1(0(1(1(1(1(0(1(x1)))))))))))))))))))) 178.46/51.59 178.46/51.59 Proof: 178.46/51.59 Open 178.46/51.60 EOF