178.42/51.56 MAYBE 178.48/51.58 178.48/51.58 Problem: 178.48/51.58 0(0(0(0(0(0(0(0(1(0(0(0(0(0(1(1(1(0(1(0(x1)))))))))))))))))))) -> 178.48/51.58 0(0(0(1(0(1(0(0(1(0(0(1(0(0(0(1(0(0(0(0(x1)))))))))))))))))))) 178.48/51.58 0(0(0(0(0(0(0(0(1(0(0(1(0(1(0(1(1(1(1(1(x1)))))))))))))))))))) -> 178.48/51.58 1(1(0(0(0(0(0(0(0(0(0(0(1(0(0(0(1(0(1(0(x1)))))))))))))))))))) 178.48/51.58 0(0(0(0(0(0(0(1(1(1(1(0(0(0(0(1(0(1(0(0(x1)))))))))))))))))))) -> 178.48/51.58 0(1(0(0(0(0(0(0(1(0(0(1(0(0(0(0(0(0(0(1(x1)))))))))))))))))))) 178.48/51.58 0(0(0(0(0(0(1(0(0(0(0(1(1(1(1(1(0(0(0(1(x1)))))))))))))))))))) -> 178.48/51.58 0(0(1(0(0(0(0(0(1(1(0(0(0(0(0(0(1(0(0(1(x1)))))))))))))))))))) 178.48/51.58 0(0(0(0(0(0(1(0(0(1(0(1(0(1(1(1(1(0(1(1(x1)))))))))))))))))))) -> 178.48/51.58 0(1(1(0(1(0(1(0(0(1(1(0(0(0(0(0(0(1(1(1(x1)))))))))))))))))))) 178.48/51.58 0(0(0(0(0(0(1(0(0(1(0(1(1(0(1(1(1(0(0(1(x1)))))))))))))))))))) -> 178.48/51.58 0(1(0(0(1(0(1(0(1(0(0(1(0(1(0(0(0(1(1(0(x1)))))))))))))))))))) 178.48/51.58 0(0(0(0(0(0(1(1(0(1(1(0(0(0(0(0(1(1(0(1(x1)))))))))))))))))))) -> 178.48/51.58 0(0(1(0(1(1(0(0(0(1(0(1(0(1(0(0(0(1(0(0(x1)))))))))))))))))))) 178.48/51.58 0(0(0(0(0(1(1(1(0(0(0(1(0(0(1(1(1(0(1(0(x1)))))))))))))))))))) -> 178.48/51.58 1(1(1(0(0(1(0(0(0(1(0(0(0(0(1(0(0(0(0(1(x1)))))))))))))))))))) 178.48/51.58 0(0(0(0(1(0(0(0(1(1(0(0(1(0(1(1(0(1(1(1(x1)))))))))))))))))))) -> 178.48/51.58 0(0(1(0(1(0(0(0(1(0(0(1(1(1(1(0(1(0(0(0(x1)))))))))))))))))))) 178.48/51.58 0(0(0(0(1(1(1(0(0(0(0(1(0(0(0(1(0(1(1(1(x1)))))))))))))))))))) -> 178.48/51.58 0(1(0(0(1(1(0(1(0(1(1(0(0(0(0(0(0(0(1(1(x1)))))))))))))))))))) 178.48/51.58 0(0(0(1(0(0(0(0(0(0(1(0(1(0(1(1(1(1(0(0(x1)))))))))))))))))))) -> 178.48/51.58 1(1(0(0(0(1(0(1(0(0(0(0(0(1(0(0(1(0(0(0(x1)))))))))))))))))))) 178.48/51.58 0(0(0(1(0(0(0(1(0(1(1(1(0(0(1(0(1(0(1(1(x1)))))))))))))))))))) -> 178.48/51.58 0(0(0(0(0(1(1(1(0(0(0(0(1(1(1(0(0(1(0(0(x1)))))))))))))))))))) 178.48/51.58 0(0(0(1(0(1(1(1(0(1(0(0(0(1(1(0(0(1(0(1(x1)))))))))))))))))))) -> 178.48/51.58 1(0(0(0(1(0(1(1(0(0(0(0(0(0(0(1(1(1(0(0(x1)))))))))))))))))))) 178.48/51.58 0(0(0(1(1(0(0(0(1(1(0(0(1(1(0(0(0(1(0(1(x1)))))))))))))))))))) -> 178.48/51.58 0(0(0(1(0(0(1(1(0(0(0(0(1(0(0(0(1(0(0(0(x1)))))))))))))))))))) 178.48/51.58 0(0(0(1(1(0(1(0(1(1(0(0(1(0(1(0(1(0(0(1(x1)))))))))))))))))))) -> 178.48/51.58 1(0(0(0(1(1(0(1(0(1(0(0(0(0(0(1(0(1(0(0(x1)))))))))))))))))))) 178.48/51.58 0(0(0(1(1(1(1(1(0(0(0(1(0(0(0(0(1(0(0(0(x1)))))))))))))))))))) -> 178.48/51.58 0(1(1(0(0(0(1(0(0(0(1(0(0(1(0(1(1(0(0(0(x1)))))))))))))))))))) 178.48/51.58 0(0(1(0(0(0(0(1(0(0(0(1(0(0(0(1(0(1(1(1(x1)))))))))))))))))))) -> 178.48/51.58 0(1(0(1(0(0(0(0(0(0(0(0(1(1(0(0(0(0(1(1(x1)))))))))))))))))))) 178.48/51.58 0(0(1(0(0(0(0(1(0(0(0(1(1(1(0(1(1(0(0(0(x1)))))))))))))))))))) -> 178.48/51.58 0(1(0(0(0(1(0(1(1(0(0(1(0(0(0(1(0(0(1(0(x1)))))))))))))))))))) 178.48/51.58 0(0(1(0(0(0(1(0(0(1(0(1(1(1(0(0(1(0(0(1(x1)))))))))))))))))))) -> 178.48/51.58 0(0(0(1(0(0(1(0(0(0(0(0(1(0(0(0(0(1(0(0(x1)))))))))))))))))))) 178.48/51.58 0(0(1(0(0(1(0(1(1(1(0(0(0(0(1(1(0(0(0(1(x1)))))))))))))))))))) -> 178.48/51.58 1(0(0(1(0(0(1(1(0(1(0(0(1(0(0(1(0(0(0(1(x1)))))))))))))))))))) 178.48/51.58 0(0(1(0(0(1(1(0(0(0(0(1(0(1(1(0(0(1(0(1(x1)))))))))))))))))))) -> 178.48/51.58 1(0(0(0(0(0(0(0(0(0(0(1(0(1(0(0(0(0(0(1(x1)))))))))))))))))))) 178.48/51.58 0(0(1(0(0(1(1(0(0(1(0(0(0(1(1(0(1(0(0(1(x1)))))))))))))))))))) -> 178.48/51.58 0(1(0(1(0(1(0(0(0(0(0(1(0(0(1(0(1(0(1(0(x1)))))))))))))))))))) 178.48/51.58 0(0(1(0(1(0(0(1(1(0(1(0(1(0(0(0(1(1(1(0(x1)))))))))))))))))))) -> 178.48/51.58 0(1(0(0(0(0(1(1(0(1(1(0(1(0(0(1(1(0(1(0(x1)))))))))))))))))))) 178.48/51.58 0(0(1(0(1(0(1(0(0(0(1(0(1(1(1(0(1(1(0(0(x1)))))))))))))))))))) -> 178.48/51.58 1(0(0(0(1(1(1(0(0(1(0(0(0(0(0(1(1(0(1(0(x1)))))))))))))))))))) 178.48/51.58 0(0(1(0(1(0(1(0(1(1(0(0(1(0(1(0(0(0(1(1(x1)))))))))))))))))))) -> 178.48/51.58 1(0(0(0(0(0(0(0(0(1(1(0(0(0(0(0(0(0(0(1(x1)))))))))))))))))))) 178.48/51.58 0(0(1(0(1(1(0(0(0(0(0(1(1(0(0(0(1(0(1(1(x1)))))))))))))))))))) -> 178.48/51.58 0(0(0(1(0(0(0(0(1(0(0(0(0(0(1(0(0(0(0(1(x1)))))))))))))))))))) 178.48/51.58 0(0(1(0(1(1(0(0(1(1(1(1(0(0(0(0(0(0(0(1(x1)))))))))))))))))))) -> 178.48/51.58 0(1(0(0(1(0(1(1(1(0(0(0(1(0(1(1(0(0(0(0(x1)))))))))))))))))))) 178.48/51.58 0(0(1(0(1(1(1(0(0(0(0(0(0(1(1(0(0(1(0(1(x1)))))))))))))))))))) -> 178.48/51.58 1(0(1(0(0(0(0(1(0(0(1(1(0(1(0(1(0(0(0(1(x1)))))))))))))))))))) 178.48/51.58 0(0(1(0(1(1(1(0(0(1(1(1(0(0(1(0(0(1(0(1(x1)))))))))))))))))))) -> 178.48/51.58 1(0(1(0(1(1(0(0(0(1(1(0(1(0(1(1(0(0(0(1(x1)))))))))))))))))))) 178.48/51.58 0(0(1(0(1(1(1(1(0(1(0(0(0(0(0(0(0(0(0(1(x1)))))))))))))))))))) -> 178.48/51.58 1(0(0(1(0(0(0(0(0(0(1(0(1(0(1(1(0(0(0(1(x1)))))))))))))))))))) 178.48/51.58 0(0(1(1(0(0(0(1(0(0(1(1(1(1(0(0(0(0(1(0(x1)))))))))))))))))))) -> 178.48/51.58 1(1(0(0(0(0(0(0(1(0(1(0(1(0(1(0(1(1(0(0(x1)))))))))))))))))))) 178.48/51.58 0(0(1(1(0(0(1(0(0(1(0(0(1(0(1(0(0(0(1(1(x1)))))))))))))))))))) -> 178.48/51.59 1(0(1(0(0(0(0(1(0(0(0(0(1(1(0(0(0(0(1(0(x1)))))))))))))))))))) 178.48/51.59 0(0(1(1(0(0(1(0(0(1(0(1(0(0(1(1(0(1(0(0(x1)))))))))))))))))))) -> 178.48/51.59 0(1(1(0(0(1(0(1(0(1(1(0(1(0(1(0(0(0(0(0(x1)))))))))))))))))))) 178.48/51.59 0(0(1(1(0(1(1(1(0(0(0(0(1(1(0(0(0(1(0(0(x1)))))))))))))))))))) -> 178.48/51.59 0(0(1(1(0(0(0(0(0(1(1(1(0(1(1(0(1(0(0(0(x1)))))))))))))))))))) 178.48/51.59 0(0(1(1(1(0(1(0(1(0(1(0(0(0(1(0(0(0(1(0(x1)))))))))))))))))))) -> 178.48/51.59 0(0(1(1(0(1(0(0(1(0(1(0(0(1(1(0(0(1(0(0(x1)))))))))))))))))))) 178.48/51.59 0(0(1(1(1(1(0(0(0(0(0(0(0(1(0(0(1(1(0(1(x1)))))))))))))))))))) -> 178.48/51.59 0(1(0(0(0(1(0(0(1(1(1(1(0(0(0(1(0(0(0(0(x1)))))))))))))))))))) 178.48/51.59 0(1(0(0(0(0(0(0(0(1(0(1(0(1(0(1(1(1(0(1(x1)))))))))))))))))))) -> 178.48/51.59 0(0(0(1(0(0(0(1(0(1(0(0(1(0(0(1(0(0(1(0(x1)))))))))))))))))))) 178.48/51.59 0(1(0(0(0(0(0(0(1(0(1(1(1(0(0(1(0(0(1(1(x1)))))))))))))))))))) -> 178.48/51.59 0(1(0(1(0(0(0(1(0(0(0(0(1(1(0(0(0(0(1(0(x1)))))))))))))))))))) 178.48/51.59 0(1(0(0(0(0(1(0(0(1(0(0(1(0(1(1(0(1(1(0(x1)))))))))))))))))))) -> 178.48/51.59 1(0(0(0(1(1(0(0(0(1(0(1(0(0(0(0(0(0(0(0(x1)))))))))))))))))))) 178.48/51.59 0(1(0(0(0(0(1(1(1(0(1(0(1(0(1(0(1(0(0(1(x1)))))))))))))))))))) -> 178.48/51.59 1(0(1(0(0(1(0(0(1(0(0(0(0(1(0(1(0(1(0(1(x1)))))))))))))))))))) 178.48/51.59 0(1(0(0(0(1(1(0(0(1(1(0(0(0(1(1(0(1(0(1(x1)))))))))))))))))))) -> 178.48/51.59 1(0(0(1(0(0(0(1(1(0(1(1(0(0(1(0(0(0(1(0(x1)))))))))))))))))))) 178.48/51.59 0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(1(0(0(1(1(x1)))))))))))))))))))) -> 178.48/51.59 0(0(0(0(1(0(0(0(0(0(1(0(0(1(1(0(1(0(1(0(x1)))))))))))))))))))) 178.48/51.59 0(1(0(0(1(0(0(0(0(0(1(1(0(0(0(1(0(1(1(1(x1)))))))))))))))))))) -> 178.48/51.59 0(0(0(1(0(0(0(0(0(0(0(0(0(1(0(1(0(1(1(1(x1)))))))))))))))))))) 178.48/51.59 0(1(0(0(1(0(0(0(1(0(1(0(0(0(1(1(1(0(1(0(x1)))))))))))))))))))) -> 178.48/51.59 1(1(0(0(0(0(0(0(1(1(0(0(0(0(0(0(0(1(1(0(x1)))))))))))))))))))) 178.48/51.59 0(1(0(0(1(0(0(1(0(0(0(0(0(0(1(1(1(0(0(1(x1)))))))))))))))))))) -> 178.48/51.59 1(0(0(0(0(0(1(0(1(0(0(0(0(1(0(0(0(0(1(1(x1)))))))))))))))))))) 178.48/51.59 0(1(0(0(1(0(0(1(0(1(0(1(1(0(1(0(0(0(1(1(x1)))))))))))))))))))) -> 178.48/51.59 0(0(0(0(0(1(1(1(0(0(0(0(1(0(0(0(1(0(0(0(x1)))))))))))))))))))) 178.48/51.59 0(1(0(0(1(0(1(0(0(0(1(0(0(1(1(1(0(0(1(0(x1)))))))))))))))))))) -> 178.48/51.59 1(0(1(1(0(0(0(0(0(0(1(1(0(0(1(0(0(0(1(0(x1)))))))))))))))))))) 178.48/51.59 0(1(0(0(1(0(1(0(0(1(0(0(0(0(1(1(1(0(1(1(x1)))))))))))))))))))) -> 178.48/51.59 1(1(0(0(1(0(0(1(0(0(0(0(1(0(1(0(0(1(0(0(x1)))))))))))))))))))) 178.48/51.59 0(1(0(0(1(0(1(0(0(1(0(1(0(1(1(0(0(1(0(1(x1)))))))))))))))))))) -> 178.48/51.59 0(0(1(0(1(1(0(0(0(1(0(0(0(1(0(0(0(0(0(1(x1)))))))))))))))))))) 178.48/51.59 0(1(0(0(1(0(1(0(1(1(0(1(0(0(0(0(0(0(0(1(x1)))))))))))))))))))) -> 178.48/51.59 0(0(1(0(0(0(0(1(0(0(1(0(0(1(0(0(1(0(0(0(x1)))))))))))))))))))) 178.48/51.59 0(1(0(0(1(0(1(1(0(0(0(0(0(0(1(0(1(1(0(0(x1)))))))))))))))))))) -> 178.48/51.59 0(0(1(0(1(0(0(1(0(0(0(1(0(1(1(0(0(0(0(0(x1)))))))))))))))))))) 178.48/51.59 0(1(0(0(1(1(0(1(0(0(0(1(1(0(1(0(1(0(0(1(x1)))))))))))))))))))) -> 178.48/51.59 0(1(0(1(0(0(1(0(0(0(1(1(1(0(0(1(0(1(0(0(x1)))))))))))))))))))) 178.48/51.59 0(1(0(1(0(0(0(1(1(0(0(0(0(1(1(0(1(0(0(1(x1)))))))))))))))))))) -> 178.48/51.59 0(0(0(1(0(1(0(0(0(0(0(1(0(0(0(0(1(1(0(1(x1)))))))))))))))))))) 178.48/51.59 0(1(0(1(0(0(1(0(1(1(0(0(1(0(0(0(1(0(1(1(x1)))))))))))))))))))) -> 178.48/51.59 1(0(0(0(0(0(0(0(0(0(0(0(1(0(1(0(1(1(1(1(x1)))))))))))))))))))) 178.48/51.59 0(1(0(1(0(1(1(1(0(0(0(1(1(0(0(0(0(0(0(1(x1)))))))))))))))))))) -> 178.48/51.59 1(1(1(0(1(0(1(0(0(0(0(0(0(0(1(0(0(0(0(0(x1)))))))))))))))))))) 178.48/51.59 0(1(0(1(1(0(0(0(0(0(1(0(1(1(1(0(0(1(0(1(x1)))))))))))))))))))) -> 178.48/51.59 1(0(0(0(0(0(1(0(1(0(0(1(0(1(1(1(0(1(0(0(x1)))))))))))))))))))) 178.48/51.59 0(1(0(1(1(0(0(1(0(1(1(0(0(1(0(0(0(1(0(1(x1)))))))))))))))))))) -> 178.48/51.59 0(0(0(0(0(1(1(0(0(1(0(1(0(0(1(0(1(1(0(0(x1)))))))))))))))))))) 178.48/51.59 0(1(0(1(1(1(0(1(0(0(0(0(0(1(0(0(0(0(1(1(x1)))))))))))))))))))) -> 178.48/51.59 0(0(1(0(0(0(0(0(1(0(0(1(0(0(0(1(1(1(0(1(x1)))))))))))))))))))) 178.48/51.59 0(1(1(0(0(0(0(0(0(1(1(0(0(1(1(1(0(0(0(1(x1)))))))))))))))))))) -> 178.48/51.59 1(0(0(0(0(1(0(0(0(1(1(0(0(0(0(0(1(0(1(0(x1)))))))))))))))))))) 178.48/51.59 0(1(1(0(0(0(0(1(0(0(0(0(0(0(1(1(1(0(1(0(x1)))))))))))))))))))) -> 178.48/51.59 0(1(1(0(0(0(0(0(1(0(0(1(0(0(0(0(1(0(1(0(x1)))))))))))))))))))) 178.48/51.59 0(1(1(0(0(0(0(1(0(0(0(0(1(0(0(1(0(0(1(0(x1)))))))))))))))))))) -> 178.48/51.59 1(0(1(0(0(0(0(0(0(0(0(0(0(1(0(0(0(0(0(1(x1)))))))))))))))))))) 178.48/51.59 0(1(1(0(0(0(0(1(1(1(0(0(0(0(0(1(1(0(0(1(x1)))))))))))))))))))) -> 178.48/51.59 1(0(0(0(0(1(1(1(0(1(0(1(0(0(0(1(0(0(0(1(x1)))))))))))))))))))) 178.48/51.59 0(1(1(0(0(0(1(0(0(1(0(0(0(0(1(1(1(0(1(1(x1)))))))))))))))))))) -> 178.48/51.60 1(0(0(0(1(0(1(0(1(0(1(0(0(0(0(1(1(0(1(1(x1)))))))))))))))))))) 178.48/51.60 0(1(1(0(0(0(1(1(0(1(0(0(1(0(0(0(1(0(0(1(x1)))))))))))))))))))) -> 178.48/51.60 0(1(0(0(1(0(0(0(0(0(0(0(1(0(1(1(0(0(0(0(x1)))))))))))))))))))) 178.48/51.60 0(1(1(0(0(0(1(1(1(0(0(1(1(0(0(0(0(0(0(1(x1)))))))))))))))))))) -> 178.48/51.60 0(1(0(1(1(0(1(0(0(0(0(1(1(0(1(0(0(0(0(1(x1)))))))))))))))))))) 178.48/51.60 0(1(1(0(1(0(0(1(0(1(1(0(0(0(0(0(1(0(1(1(x1)))))))))))))))))))) -> 178.48/51.60 1(0(1(0(1(0(1(0(0(1(0(0(0(0(1(0(0(1(0(0(x1)))))))))))))))))))) 178.48/51.60 0(1(1(1(0(0(1(0(0(0(1(0(1(0(0(0(0(1(0(1(x1)))))))))))))))))))) -> 178.48/51.60 0(1(1(0(1(0(1(0(0(0(0(1(0(1(1(0(0(0(0(1(x1)))))))))))))))))))) 178.48/51.60 0(1(1(1(0(1(0(0(1(0(0(0(1(0(0(0(1(0(1(1(x1)))))))))))))))))))) -> 178.48/51.60 1(0(1(1(0(0(1(0(0(0(1(0(0(0(0(1(0(1(0(1(x1)))))))))))))))))))) 178.48/51.60 0(1(1(1(0(1(1(0(0(0(0(0(0(1(1(0(1(0(1(1(x1)))))))))))))))))))) -> 178.48/51.60 1(1(0(0(0(1(0(0(0(1(0(1(1(0(1(0(0(1(1(0(x1)))))))))))))))))))) 178.48/51.60 1(0(0(0(0(0(0(1(1(0(1(0(0(1(1(0(1(0(0(0(x1)))))))))))))))))))) -> 178.48/51.60 0(1(0(1(0(0(1(0(1(0(0(1(0(0(0(0(0(1(0(0(x1)))))))))))))))))))) 178.48/51.60 1(0(0(0(0(0(1(0(1(0(1(0(0(1(0(1(0(1(1(1(x1)))))))))))))))))))) -> 178.48/51.60 0(0(0(0(0(0(1(1(0(0(1(0(1(1(1(0(0(0(0(0(x1)))))))))))))))))))) 178.48/51.60 1(0(0(0(0(0(1(1(1(0(1(0(0(0(0(0(0(1(1(1(x1)))))))))))))))))))) -> 178.48/51.60 0(0(0(0(0(1(0(1(1(1(0(0(1(0(1(0(0(0(1(1(x1)))))))))))))))))))) 178.48/51.60 1(0(0(0(0(1(0(0(0(1(0(0(1(1(0(1(0(1(0(1(x1)))))))))))))))))))) -> 178.48/51.60 0(0(0(0(0(0(1(0(0(0(0(0(1(1(0(1(0(1(0(0(x1)))))))))))))))))))) 178.48/51.60 1(0(0(0(0(1(1(0(0(0(1(1(1(0(0(0(0(1(0(0(x1)))))))))))))))))))) -> 178.48/51.60 0(0(1(0(0(0(0(0(0(0(1(0(0(0(0(1(1(0(1(0(x1)))))))))))))))))))) 178.48/51.60 1(0(0(0(0(1(1(0(1(0(1(0(1(0(0(1(0(0(1(1(x1)))))))))))))))))))) -> 178.48/51.60 0(1(0(1(0(0(0(0(1(1(0(0(1(0(0(0(0(1(1(0(x1)))))))))))))))))))) 178.48/51.60 1(0(0(0(1(0(0(0(1(0(1(1(1(0(0(1(0(0(0(1(x1)))))))))))))))))))) -> 178.48/51.60 1(0(1(1(0(0(0(0(0(1(0(0(0(1(0(0(0(1(1(0(x1)))))))))))))))))))) 178.48/51.60 1(0(0(0(1(0(0(1(0(0(1(0(1(0(1(0(0(0(1(1(x1)))))))))))))))))))) -> 178.48/51.60 1(0(0(1(0(0(0(1(0(0(0(0(0(1(0(0(0(1(1(1(x1)))))))))))))))))))) 178.48/51.60 1(0(0(0(1(1(0(0(0(1(0(1(0(1(1(0(0(0(0(0(x1)))))))))))))))))))) -> 178.48/51.60 0(1(0(1(0(1(0(0(0(0(0(0(0(1(0(1(0(0(0(1(x1)))))))))))))))))))) 178.48/51.60 1(0(0(0(1(1(0(1(1(0(1(0(1(0(0(0(1(0(1(0(x1)))))))))))))))))))) -> 178.48/51.60 0(0(0(0(0(0(0(0(0(0(1(1(1(0(1(1(1(0(1(0(x1)))))))))))))))))))) 178.48/51.60 1(0(0(0(1(1(1(0(0(1(0(0(1(0(0(1(0(0(0(0(x1)))))))))))))))))))) -> 178.48/51.60 1(0(0(1(0(0(1(0(1(0(0(0(1(0(1(0(0(0(0(0(x1)))))))))))))))))))) 178.48/51.60 1(0(1(0(0(0(1(1(0(0(1(1(0(0(0(1(0(0(0(0(x1)))))))))))))))))))) -> 178.48/51.60 0(0(0(1(0(1(1(0(0(1(1(0(0(0(0(1(0(0(0(0(x1)))))))))))))))))))) 178.48/51.60 1(0(1(0(0(1(1(0(1(1(1(1(1(0(1(0(0(1(1(1(x1)))))))))))))))))))) -> 178.48/51.60 1(0(1(0(0(1(1(1(0(1(0(1(1(0(0(1(1(0(0(1(x1)))))))))))))))))))) 178.48/51.60 1(0(1(0(0(1(1(1(0(0(0(0(0(0(1(0(0(0(1(1(x1)))))))))))))))))))) -> 178.48/51.60 0(0(1(1(0(0(0(0(1(0(1(0(0(0(0(1(1(0(1(0(x1)))))))))))))))))))) 178.48/51.60 1(0(1(1(0(0(0(0(0(0(1(1(1(0(0(0(1(1(0(0(x1)))))))))))))))))))) -> 178.48/51.60 1(1(0(1(0(0(1(0(1(1(0(1(0(0(1(0(1(0(0(0(x1)))))))))))))))))))) 178.48/51.60 1(0(1(1(0(0(0(1(1(0(0(1(0(0(0(1(0(0(0(1(x1)))))))))))))))))))) -> 178.48/51.60 1(0(0(0(0(0(0(0(0(1(1(1(0(0(0(0(1(0(0(0(x1)))))))))))))))))))) 178.48/51.60 1(0(1(1(0(0(1(1(1(0(0(1(0(0(0(0(0(0(0(1(x1)))))))))))))))))))) -> 178.48/51.60 1(0(1(0(1(1(0(0(1(0(0(0(0(1(1(0(0(0(1(0(x1)))))))))))))))))))) 178.48/51.60 1(0(1(1(1(0(0(0(0(1(0(0(0(1(0(0(1(0(0(1(x1)))))))))))))))))))) -> 178.48/51.60 1(1(0(0(0(0(0(1(0(0(0(0(1(0(0(0(1(1(0(0(x1)))))))))))))))))))) 178.48/51.60 1(0(1(1(1(0(0(0(1(0(0(0(1(0(0(1(0(0(0(0(x1)))))))))))))))))))) -> 178.48/51.60 0(0(0(1(0(0(0(0(0(1(0(1(0(0(0(0(1(1(1(0(x1)))))))))))))))))))) 178.48/51.60 1(1(0(0(0(0(0(1(0(0(0(0(0(0(0(1(1(1(0(1(x1)))))))))))))))))))) -> 178.48/51.60 1(0(1(0(0(1(0(0(0(0(1(1(0(0(0(0(0(0(1(1(x1)))))))))))))))))))) 178.48/51.60 1(1(0(0(1(0(1(0(0(0(0(0(1(0(0(1(0(0(1(1(x1)))))))))))))))))))) -> 178.48/51.60 0(0(1(0(0(1(1(0(0(1(0(0(1(0(0(0(1(0(0(0(x1)))))))))))))))))))) 178.48/51.60 1(1(0(0(1(0(1(0(0(0(1(0(0(1(1(0(1(0(0(1(x1)))))))))))))))))))) -> 178.48/51.60 1(1(1(1(0(0(0(1(0(0(0(1(1(0(0(0(0(0(0(0(x1)))))))))))))))))))) 178.48/51.60 1(1(0(0(1(0(1(1(0(0(0(0(0(1(0(0(1(0(0(1(x1)))))))))))))))))))) -> 178.48/51.60 0(0(1(0(0(0(1(0(0(0(0(0(0(1(1(1(0(0(0(1(x1)))))))))))))))))))) 178.48/51.60 1(1(0(0(1(1(0(0(1(0(0(1(0(1(0(0(0(0(1(0(x1)))))))))))))))))))) -> 178.48/51.60 0(1(0(1(0(0(0(1(1(0(1(1(0(0(0(0(1(0(0(0(x1)))))))))))))))))))) 178.48/51.60 1(1(0(0(1(1(0(0(1(1(0(0(1(0(0(0(0(0(0(0(x1)))))))))))))))))))) -> 178.48/51.60 1(0(1(0(0(0(0(0(0(0(0(0(1(0(1(0(1(1(0(0(x1)))))))))))))))))))) 178.48/51.61 1(1(1(0(0(0(0(0(0(0(0(0(0(0(1(1(1(1(1(0(x1)))))))))))))))))))) -> 178.48/51.61 1(1(0(0(1(0(0(1(1(0(0(1(0(1(1(0(1(0(1(0(x1)))))))))))))))))))) 178.48/51.61 1(1(1(0(0(0(0(0(1(0(0(1(1(0(0(0(1(0(0(0(x1)))))))))))))))))))) -> 178.48/51.61 0(1(1(0(0(0(1(0(0(1(0(0(1(0(0(0(0(0(1(0(x1)))))))))))))))))))) 178.48/51.61 1(1(1(0(0(0(0(1(0(0(1(1(1(0(0(1(0(0(0(0(x1)))))))))))))))))))) -> 178.48/51.61 1(1(1(1(0(0(0(0(1(0(1(0(0(1(1(0(0(0(0(0(x1)))))))))))))))))))) 178.48/51.61 1(1(1(0(0(1(1(0(1(0(0(0(0(0(1(0(0(1(0(1(x1)))))))))))))))))))) -> 178.48/51.61 1(0(1(0(1(0(0(1(1(1(0(0(0(0(0(1(0(1(0(1(x1)))))))))))))))))))) 178.48/51.61 1(1(1(1(1(0(0(0(0(0(1(0(1(0(0(0(0(0(0(1(x1)))))))))))))))))))) -> 178.48/51.61 0(1(0(1(1(1(1(0(1(0(0(1(0(0(0(0(0(0(0(0(x1)))))))))))))))))))) 178.48/51.61 178.48/51.61 Proof: 178.48/51.61 Open 178.48/51.61 EOF