178.55/51.57 MAYBE 178.55/51.59 178.55/51.59 Problem: 178.55/51.59 0(0(0(0(0(0(1(0(1(0(1(0(1(1(0(1(1(0(1(0(x1)))))))))))))))))))) -> 178.55/51.59 0(0(1(1(1(0(0(1(1(0(0(1(0(1(0(1(0(0(1(0(x1)))))))))))))))))))) 178.55/51.59 0(0(0(0(0(0(1(0(1(1(0(0(1(1(1(1(0(1(1(1(x1)))))))))))))))))))) -> 178.55/51.59 0(0(0(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(1(x1)))))))))))))))))))) 178.55/51.59 0(0(0(0(0(1(0(0(0(0(1(1(0(0(0(1(0(0(1(1(x1)))))))))))))))))))) -> 178.55/51.59 0(1(0(0(1(0(0(0(0(1(1(1(0(1(0(0(1(1(1(1(x1)))))))))))))))))))) 178.55/51.59 0(0(0(0(0(1(1(0(0(1(1(0(0(1(1(1(0(1(0(1(x1)))))))))))))))))))) -> 178.55/51.59 0(1(0(0(0(0(1(0(0(0(0(1(0(1(0(0(0(1(1(1(x1)))))))))))))))))))) 178.55/51.59 0(0(0(0(0(1(1(0(0(1(1(1(0(1(0(0(0(0(1(0(x1)))))))))))))))))))) -> 178.55/51.59 0(0(0(1(1(1(0(0(0(1(1(0(0(0(0(1(0(0(1(0(x1)))))))))))))))))))) 178.55/51.59 0(0(0(0(1(0(0(0(1(0(0(1(1(1(0(0(0(1(0(0(x1)))))))))))))))))))) -> 178.55/51.59 0(1(0(1(1(0(0(0(1(1(1(1(0(1(1(1(0(1(0(0(x1)))))))))))))))))))) 178.55/51.59 0(0(0(1(0(0(1(0(1(1(1(1(1(1(1(0(0(0(1(1(x1)))))))))))))))))))) -> 178.55/51.59 0(0(0(1(1(0(1(1(1(1(0(0(1(0(1(1(0(1(1(1(x1)))))))))))))))))))) 178.55/51.59 0(0(0(1(0(0(1(1(1(0(1(0(1(1(0(1(1(0(1(1(x1)))))))))))))))))))) -> 178.55/51.59 0(1(1(0(0(0(1(1(1(0(0(0(1(0(1(0(1(0(1(1(x1)))))))))))))))))))) 178.55/51.59 0(0(0(1(0(1(0(0(0(0(1(0(1(0(1(1(1(0(1(0(x1)))))))))))))))))))) -> 178.55/51.59 0(1(1(0(0(1(0(0(1(0(0(1(0(1(1(0(0(0(1(0(x1)))))))))))))))))))) 178.55/51.59 0(0(0(1(0(1(0(0(1(0(1(0(1(0(0(1(1(1(1(0(x1)))))))))))))))))))) -> 178.55/51.59 0(0(1(0(0(1(0(0(1(1(0(0(1(0(0(1(0(1(1(0(x1)))))))))))))))))))) 178.55/51.59 0(0(0(1(0(1(0(0(1(1(0(0(1(1(1(0(0(0(1(1(x1)))))))))))))))))))) -> 178.55/51.59 0(0(0(1(0(1(1(1(1(0(0(1(0(1(0(0(0(0(1(1(x1)))))))))))))))))))) 178.55/51.59 0(0(0(1(1(0(0(1(0(0(0(0(1(1(0(1(0(0(1(0(x1)))))))))))))))))))) -> 178.55/51.59 0(0(0(1(0(0(1(1(1(1(0(0(0(1(0(1(0(0(1(0(x1)))))))))))))))))))) 178.55/51.59 0(0(0(1(1(0(1(1(0(0(0(0(0(0(1(1(1(1(0(1(x1)))))))))))))))))))) -> 178.55/51.59 0(0(1(0(0(0(1(1(0(0(1(0(0(0(1(1(1(1(1(1(x1)))))))))))))))))))) 178.55/51.59 0(0(0(1(1(0(1(1(0(1(0(0(1(1(1(1(1(1(0(1(x1)))))))))))))))))))) -> 178.55/51.59 0(0(1(1(1(1(0(0(1(0(1(1(0(0(0(0(1(1(0(1(x1)))))))))))))))))))) 178.55/51.59 0(0(0(1(1(0(1(1(1(1(1(0(1(0(1(0(1(0(0(1(x1)))))))))))))))))))) -> 178.55/51.59 0(1(0(0(0(1(0(1(1(1(0(0(1(0(1(1(1(0(0(1(x1)))))))))))))))))))) 178.55/51.59 0(0(1(0(0(0(0(0(0(0(0(1(0(0(0(1(1(1(0(0(x1)))))))))))))))))))) -> 178.55/51.59 0(0(0(0(1(1(0(1(0(1(1(0(1(1(1(0(1(1(1(0(x1)))))))))))))))))))) 178.55/51.59 0(0(1(0(0(0(1(1(1(1(1(0(1(1(1(0(1(1(0(0(x1)))))))))))))))))))) -> 178.55/51.59 0(1(1(0(0(0(1(1(1(0(0(1(0(0(1(1(1(1(0(0(x1)))))))))))))))))))) 178.55/51.59 0(0(1(0(0(1(0(0(0(0(1(1(0(1(1(0(1(1(1(1(x1)))))))))))))))))))) -> 178.55/51.59 0(1(1(0(1(0(1(0(0(0(0(0(1(1(0(0(0(1(0(1(x1)))))))))))))))))))) 178.55/51.59 0(0(1(0(0(1(0(0(0(1(1(1(0(0(0(1(0(0(0(0(x1)))))))))))))))))))) -> 178.55/51.59 0(0(1(0(0(0(0(0(1(0(0(0(0(0(1(0(1(0(0(0(x1)))))))))))))))))))) 178.55/51.59 0(0(1(0(0(1(0(1(1(1(0(0(1(0(1(0(0(0(1(1(x1)))))))))))))))))))) -> 178.55/51.59 0(0(1(0(0(1(0(1(0(0(1(0(1(0(0(0(0(0(1(1(x1)))))))))))))))))))) 178.55/51.59 0(0(1(0(0(1(1(0(0(0(0(1(1(0(0(0(0(0(0(1(x1)))))))))))))))))))) -> 178.55/51.59 0(1(0(1(1(0(0(0(1(1(1(0(1(0(1(1(1(1(1(1(x1)))))))))))))))))))) 178.55/51.59 0(0(1(0(1(1(0(0(0(0(1(0(0(1(1(0(0(0(1(0(x1)))))))))))))))))))) -> 178.55/51.59 0(0(1(1(1(0(1(0(1(0(1(0(1(1(0(0(1(1(1(0(x1)))))))))))))))))))) 178.55/51.59 0(0(1(1(0(0(1(0(1(1(0(0(0(0(1(0(1(1(0(1(x1)))))))))))))))))))) -> 178.55/51.59 0(0(1(1(0(0(1(0(1(0(0(0(0(1(0(0(1(0(0(1(x1)))))))))))))))))))) 178.55/51.59 0(0(1(1(0(0(1(1(0(1(0(1(1(1(0(0(0(0(0(0(x1)))))))))))))))))))) -> 178.55/51.59 0(0(1(0(1(1(1(0(1(1(1(1(0(0(1(0(0(0(0(0(x1)))))))))))))))))))) 178.55/51.59 0(0(1(1(0(1(0(0(0(1(0(1(1(0(0(1(0(1(1(0(x1)))))))))))))))))))) -> 178.55/51.59 0(0(1(0(0(1(0(0(0(1(0(1(0(1(1(0(1(1(1(0(x1)))))))))))))))))))) 178.55/51.59 0(0(1(1(0(1(1(0(0(0(0(0(0(0(1(1(0(0(1(0(x1)))))))))))))))))))) -> 178.55/51.59 0(0(1(1(0(0(0(0(1(1(1(0(1(0(0(0(0(0(1(0(x1)))))))))))))))))))) 178.55/51.59 0(0(1(1(0(1(1(0(0(0(1(1(0(0(0(1(0(1(1(1(x1)))))))))))))))))))) -> 178.55/51.59 0(0(1(1(0(1(0(0(0(1(0(1(1(1(0(0(0(1(1(1(x1)))))))))))))))))))) 178.55/51.59 0(0(1(1(0(1(1(0(0(1(1(1(0(0(1(1(0(1(1(1(x1)))))))))))))))))))) -> 178.55/51.59 0(0(1(1(0(0(1(0(1(1(1(0(1(1(0(0(1(0(0(1(x1)))))))))))))))))))) 178.55/51.59 0(0(1(1(1(1(0(0(0(1(1(0(0(1(1(1(1(0(1(0(x1)))))))))))))))))))) -> 178.55/51.59 0(1(0(0(0(1(0(0(1(1(1(0(0(0(1(1(1(1(1(0(x1)))))))))))))))))))) 178.55/51.59 0(0(1(1(1(1(0(0(1(1(0(0(1(1(1(0(1(0(1(1(x1)))))))))))))))))))) -> 178.55/51.59 0(1(0(0(0(0(0(1(1(1(1(1(0(1(0(1(0(0(1(1(x1)))))))))))))))))))) 178.55/51.59 0(0(1(1(1(1(0(1(0(0(1(0(1(1(0(1(1(1(0(0(x1)))))))))))))))))))) -> 178.55/51.59 0(1(0(0(1(0(0(0(0(0(1(1(1(1(0(1(0(1(0(0(x1)))))))))))))))))))) 178.55/51.59 0(1(0(0(0(0(0(0(0(1(1(1(1(0(1(1(0(1(0(0(x1)))))))))))))))))))) -> 178.55/51.60 0(1(1(1(0(1(0(1(1(1(1(1(1(1(0(1(0(1(0(0(x1)))))))))))))))))))) 178.55/51.60 0(1(0(0(0(1(0(1(1(1(0(0(0(0(0(0(1(1(1(1(x1)))))))))))))))))))) -> 178.55/51.60 0(1(1(0(0(0(1(0(1(1(1(0(0(1(1(0(0(1(1(1(x1)))))))))))))))))))) 178.55/51.60 0(1(0(0(1(0(1(0(0(0(0(1(1(0(1(1(1(1(1(1(x1)))))))))))))))))))) -> 178.55/51.60 0(1(0(0(1(0(0(0(1(1(1(0(1(1(0(0(0(1(1(1(x1)))))))))))))))))))) 178.55/51.60 0(1(0(0(1(0(1(1(1(1(1(0(1(0(0(1(1(1(0(0(x1)))))))))))))))))))) -> 178.55/51.60 0(1(0(1(0(0(0(1(1(0(1(1(1(0(0(0(0(1(0(0(x1)))))))))))))))))))) 178.55/51.60 0(1(0(0(1(1(0(1(0(0(0(0(0(0(0(0(1(0(0(0(x1)))))))))))))))))))) -> 178.55/51.60 0(0(1(0(0(1(0(1(1(1(0(1(1(0(1(1(0(0(1(0(x1)))))))))))))))))))) 178.55/51.60 0(1(0(0(1(1(1(1(1(1(1(0(1(0(1(0(0(1(1(1(x1)))))))))))))))))))) -> 178.55/51.60 0(1(0(0(1(0(1(1(1(0(0(1(1(1(1(1(0(0(1(1(x1)))))))))))))))))))) 178.55/51.60 0(1(0(1(1(0(1(1(0(1(0(0(0(0(0(0(0(1(1(0(x1)))))))))))))))))))) -> 178.55/51.60 0(1(1(1(0(1(0(1(1(0(1(1(0(1(1(0(0(0(1(0(x1)))))))))))))))))))) 178.55/51.60 0(1(0(1(1(0(1(1(1(0(0(0(1(1(0(0(0(0(1(0(x1)))))))))))))))))))) -> 178.55/51.60 0(0(1(0(1(0(0(0(0(1(0(1(0(1(0(0(0(1(1(0(x1)))))))))))))))))))) 178.55/51.60 0(1(0(1(1(1(1(1(0(0(0(0(0(1(0(0(1(1(1(1(x1)))))))))))))))))))) -> 178.55/51.60 0(1(1(1(0(1(1(1(0(0(1(0(1(1(0(0(1(1(1(1(x1)))))))))))))))))))) 178.55/51.60 0(1(1(0(0(0(0(0(0(1(1(1(0(1(0(1(1(1(0(0(x1)))))))))))))))))))) -> 178.55/51.60 0(1(0(0(0(1(1(0(1(1(0(1(1(0(0(1(1(0(0(0(x1)))))))))))))))))))) 178.55/51.60 0(1(1(0(0(0(0(0(1(0(1(0(1(1(1(1(1(1(0(1(x1)))))))))))))))))))) -> 178.55/51.60 0(0(1(0(0(0(1(0(0(0(0(1(0(0(0(0(1(0(0(1(x1)))))))))))))))))))) 178.55/51.60 0(1(1(0(0(0(0(1(1(0(0(0(1(1(0(1(0(1(1(0(x1)))))))))))))))))))) -> 178.55/51.60 0(1(0(1(0(0(1(1(1(0(0(1(0(0(0(0(1(1(1(0(x1)))))))))))))))))))) 178.55/51.60 0(1(1(0(0(1(0(0(0(0(0(0(0(0(0(1(0(1(1(1(x1)))))))))))))))))))) -> 178.55/51.60 0(0(1(1(0(1(0(1(1(0(0(1(0(0(0(0(0(0(1(1(x1)))))))))))))))))))) 178.55/51.60 0(1(1(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(1(1(x1)))))))))))))))))))) -> 178.55/51.60 0(1(0(0(0(1(0(0(1(0(1(1(0(1(0(0(0(1(1(1(x1)))))))))))))))))))) 178.55/51.60 0(1(1(1(0(1(1(0(1(1(0(0(0(0(0(0(0(1(0(1(x1)))))))))))))))))))) -> 178.55/51.60 0(1(1(0(0(1(1(0(0(1(1(1(1(1(1(0(0(1(0(1(x1)))))))))))))))))))) 178.55/51.60 0(1(1(1(0(1(1(1(0(1(0(0(1(0(1(1(1(0(0(1(x1)))))))))))))))))))) -> 178.55/51.60 0(0(1(0(1(0(1(1(0(1(0(1(1(1(0(1(1(1(0(1(x1)))))))))))))))))))) 178.55/51.60 0(1(1(1(0(1(1(1(0(1(1(0(0(1(0(0(1(1(1(0(x1)))))))))))))))))))) -> 178.55/51.60 0(1(1(0(0(1(0(0(0(1(0(1(1(1(1(1(1(0(1(0(x1)))))))))))))))))))) 178.55/51.60 0(1(1(1(1(0(1(1(1(0(0(0(1(0(0(1(0(0(1(0(x1)))))))))))))))))))) -> 178.55/51.60 0(0(1(1(0(0(1(0(1(1(1(1(0(1(0(1(0(0(1(0(x1)))))))))))))))))))) 178.55/51.60 0(1(1(1(1(1(0(0(1(1(1(0(1(1(1(1(0(0(1(1(x1)))))))))))))))))))) -> 178.55/51.60 0(1(1(1(1(1(1(0(1(1(1(1(1(0(0(0(1(0(1(1(x1)))))))))))))))))))) 178.55/51.60 0(1(1(1(1(1(1(1(1(0(1(0(1(0(0(0(1(1(1(1(x1)))))))))))))))))))) -> 178.55/51.60 0(1(1(1(0(0(0(1(0(1(1(1(1(0(0(0(1(1(1(1(x1)))))))))))))))))))) 178.55/51.60 1(0(0(0(0(0(0(1(0(0(1(0(1(1(0(1(0(0(0(0(x1)))))))))))))))))))) -> 178.55/51.60 1(0(0(0(0(0(1(0(1(0(0(0(1(0(0(1(1(0(0(0(x1)))))))))))))))))))) 178.55/51.60 1(0(0(0(0(0(1(1(0(1(1(0(0(0(0(0(1(0(1(1(x1)))))))))))))))))))) -> 178.55/51.60 1(0(1(0(1(0(0(1(1(1(1(1(0(1(1(0(1(1(0(1(x1)))))))))))))))))))) 178.55/51.60 1(0(0(0(0(1(0(1(1(1(1(1(0(0(1(0(1(0(1(0(x1)))))))))))))))))))) -> 178.55/51.60 1(0(0(0(1(0(0(1(1(0(0(1(1(0(0(1(0(0(1(0(x1)))))))))))))))))))) 178.55/51.60 1(0(0(0(0(1(1(1(0(1(1(1(0(0(0(1(0(1(0(0(x1)))))))))))))))))))) -> 178.55/51.60 1(1(0(1(1(0(1(1(0(1(0(1(0(1(0(1(0(1(1(0(x1)))))))))))))))))))) 178.55/51.60 1(0(0(0(0(1(1(1(1(0(1(0(1(0(0(1(0(1(0(0(x1)))))))))))))))))))) -> 178.55/51.60 1(0(0(0(1(1(1(0(1(0(1(0(1(0(0(0(0(1(0(0(x1)))))))))))))))))))) 178.55/51.60 1(0(0(0(1(0(1(1(1(1(1(1(0(1(0(1(0(1(0(0(x1)))))))))))))))))))) -> 178.55/51.60 1(0(0(1(0(0(1(0(0(0(1(0(1(1(1(1(0(1(0(0(x1)))))))))))))))))))) 178.55/51.60 1(0(0(0(1(1(1(1(0(0(1(0(0(1(0(1(0(0(0(1(x1)))))))))))))))))))) -> 178.55/51.60 1(0(0(0(0(0(1(0(0(1(1(0(1(0(0(1(0(0(0(1(x1)))))))))))))))))))) 178.55/51.60 1(0(0(0(1(1(1(1(0(1(0(0(1(1(0(1(1(1(1(0(x1)))))))))))))))))))) -> 178.55/51.60 1(1(0(0(1(1(0(0(1(0(1(0(1(0(1(0(1(1(1(0(x1)))))))))))))))))))) 178.55/51.60 1(0(0(0(1(1(1(1(0(1(1(0(0(0(1(1(1(0(1(1(x1)))))))))))))))))))) -> 178.55/51.60 1(0(0(0(0(1(1(1(0(0(0(0(0(1(0(1(0(1(0(1(x1)))))))))))))))))))) 178.55/51.60 1(0(0(0(1(1(1(1(1(0(1(1(0(0(0(1(0(1(1(1(x1)))))))))))))))))))) -> 178.55/51.60 1(0(1(1(0(1(0(0(0(0(0(0(1(0(0(0(0(0(1(1(x1)))))))))))))))))))) 178.55/51.60 1(0(0(1(0(0(1(0(1(0(1(0(0(0(0(0(0(0(0(1(x1)))))))))))))))))))) -> 178.55/51.60 1(0(1(1(1(0(1(0(0(1(0(0(1(0(0(0(1(1(0(1(x1)))))))))))))))))))) 178.55/51.60 1(0(0(1(1(0(1(0(0(1(0(1(0(1(0(1(0(1(1(1(x1)))))))))))))))))))) -> 178.55/51.61 1(0(0(0(1(0(1(1(0(0(1(0(1(0(1(0(1(0(1(1(x1)))))))))))))))))))) 178.55/51.61 1(0(0(1(1(0(1(1(1(0(0(0(0(1(0(0(0(0(1(0(x1)))))))))))))))))))) -> 178.55/51.61 1(0(1(0(1(1(0(1(1(1(1(1(1(0(1(1(0(1(1(0(x1)))))))))))))))))))) 178.55/51.61 1(0(0(1(1(0(1(1(1(0(1(0(1(0(0(0(1(1(1(0(x1)))))))))))))))))))) -> 178.55/51.61 1(0(0(1(0(1(1(1(0(1(0(0(0(1(1(0(1(1(1(0(x1)))))))))))))))))))) 178.55/51.61 1(0(0(1(1(1(0(1(1(0(1(0(0(0(0(1(1(0(0(1(x1)))))))))))))))))))) -> 178.55/51.61 1(0(1(0(0(0(0(1(0(0(0(0(1(1(0(1(1(0(0(1(x1)))))))))))))))))))) 178.55/51.61 1(0(0(1(1(1(1(0(0(0(1(1(1(1(1(0(0(0(0(1(x1)))))))))))))))))))) -> 178.55/51.61 1(1(0(1(0(1(0(0(0(1(0(1(1(0(0(0(0(0(0(1(x1)))))))))))))))))))) 178.55/51.61 1(0(0(1(1(1(1(0(0(0(1(1(1(1(1(1(0(0(0(1(x1)))))))))))))))))))) -> 178.55/51.61 1(1(1(0(1(0(1(0(0(1(0(1(1(1(1(1(0(0(0(1(x1)))))))))))))))))))) 178.55/51.61 1(0(0(1(1(1(1(0(0(1(1(0(1(1(1(1(0(1(0(1(x1)))))))))))))))))))) -> 178.55/51.61 1(0(1(0(1(0(1(1(0(0(0(0(0(0(0(0(0(1(0(1(x1)))))))))))))))))))) 178.55/51.61 1(0(1(0(1(0(0(1(1(0(0(1(1(0(0(1(0(0(1(1(x1)))))))))))))))))))) -> 178.55/51.61 1(0(1(0(1(0(0(1(0(1(1(1(0(0(1(0(0(0(1(1(x1)))))))))))))))))))) 178.55/51.61 1(0(1(0(1(1(1(0(1(1(0(0(1(1(0(0(0(0(1(1(x1)))))))))))))))))))) -> 178.55/51.61 1(0(0(0(0(1(0(1(1(0(1(0(1(1(1(1(0(0(1(1(x1)))))))))))))))))))) 178.55/51.61 1(0(1(1(0(0(0(0(0(0(0(0(0(0(1(1(1(0(0(0(x1)))))))))))))))))))) -> 178.55/51.61 1(0(1(1(1(0(1(1(0(1(1(1(1(1(0(0(0(0(0(0(x1)))))))))))))))))))) 178.55/51.61 1(0(1(1(0(0(0(0(0(0(1(1(1(1(1(0(1(1(1(1(x1)))))))))))))))))))) -> 178.55/51.61 1(1(0(1(0(1(1(1(1(0(0(0(1(1(0(1(0(0(1(1(x1)))))))))))))))))))) 178.55/51.61 1(0(1(1(0(0(0(0(1(1(0(1(0(1(1(0(1(0(0(1(x1)))))))))))))))))))) -> 178.55/51.61 1(0(1(0(1(1(1(0(1(0(0(0(1(1(0(0(1(0(0(1(x1)))))))))))))))))))) 178.55/51.61 1(0(1(1(0(1(0(0(0(0(1(1(1(0(0(1(1(0(1(1(x1)))))))))))))))))))) -> 178.55/51.61 1(0(1(0(0(1(0(1(0(0(0(1(0(0(1(1(1(1(1(1(x1)))))))))))))))))))) 178.55/51.61 1(0(1(1(0(1(0(1(1(1(1(1(1(0(0(0(1(0(0(1(x1)))))))))))))))))))) -> 178.55/51.61 1(0(0(0(0(0(0(0(1(0(1(1(0(1(1(0(1(0(0(1(x1)))))))))))))))))))) 178.55/51.61 1(0(1(1(1(0(0(0(0(1(1(1(1(0(0(0(0(1(0(1(x1)))))))))))))))))))) -> 178.55/51.61 1(1(1(0(1(0(0(1(0(1(0(0(0(1(0(0(1(0(1(1(x1)))))))))))))))))))) 178.55/51.61 1(0(1(1(1(0(1(1(1(1(1(1(1(0(0(1(0(1(1(0(x1)))))))))))))))))))) -> 178.55/51.61 1(0(0(0(1(1(0(0(1(1(0(1(1(1(0(0(1(1(1(0(x1)))))))))))))))))))) 178.55/51.61 1(0(1(1(1(0(1(1(1(1(1(1(1(0(1(1(1(0(1(0(x1)))))))))))))))))))) -> 178.55/51.62 1(1(1(0(1(1(0(1(1(0(1(0(1(0(1(0(1(1(1(0(x1)))))))))))))))))))) 178.55/51.62 1(0(1(1(1(1(0(0(0(0(0(1(1(0(0(1(0(0(1(1(x1)))))))))))))))))))) -> 178.55/51.62 1(0(0(1(0(1(1(1(0(0(0(0(1(1(1(0(0(0(1(1(x1)))))))))))))))))))) 178.55/51.62 1(0(1(1(1(1(1(0(1(1(0(0(0(1(0(0(1(0(1(0(x1)))))))))))))))))))) -> 178.55/51.62 1(0(0(0(1(0(1(1(1(1(0(1(0(0(1(1(0(0(1(0(x1)))))))))))))))))))) 178.55/51.62 1(1(0(0(0(0(0(1(0(0(0(1(1(1(1(1(0(1(1(0(x1)))))))))))))))))))) -> 178.55/51.62 0(1(0(1(0(0(0(0(1(1(1(0(1(0(0(0(1(0(1(0(x1)))))))))))))))))))) 178.55/51.62 1(1(0(0(0(0(0(1(1(1(0(1(0(0(0(1(0(1(1(0(x1)))))))))))))))))))) -> 178.55/51.62 0(0(1(0(1(0(1(0(1(0(1(0(0(1(0(1(0(1(1(0(x1)))))))))))))))))))) 178.55/51.62 1(1(0(0(0(0(1(1(1(1(0(1(0(1(1(0(1(0(0(0(x1)))))))))))))))))))) -> 178.55/51.62 1(1(0(1(0(0(1(0(0(1(1(0(0(1(1(1(1(0(0(0(x1)))))))))))))))))))) 178.55/51.62 1(1(0(0(0(1(0(0(1(1(0(1(1(1(0(0(0(0(1(0(x1)))))))))))))))))))) -> 178.55/51.62 1(1(0(0(0(1(0(0(1(0(0(0(1(1(1(1(0(0(1(0(x1)))))))))))))))))))) 178.55/51.62 1(1(0(0(1(0(0(1(1(1(1(0(1(1(1(0(0(1(1(0(x1)))))))))))))))))))) -> 178.55/51.62 1(1(0(0(0(1(1(1(1(1(0(0(0(1(0(1(0(1(1(0(x1)))))))))))))))))))) 178.55/51.62 1(1(0(0(1(0(1(1(0(1(1(0(1(0(1(1(0(1(1(1(x1)))))))))))))))))))) -> 178.55/51.62 1(1(1(0(0(1(1(0(1(1(0(1(0(1(0(1(0(1(1(1(x1)))))))))))))))))))) 178.55/51.62 1(1(0(0(1(1(1(0(0(0(0(0(1(0(0(0(0(1(1(0(x1)))))))))))))))))))) -> 178.55/51.62 0(1(0(1(0(1(0(0(0(1(1(1(0(1(0(0(0(0(1(0(x1)))))))))))))))))))) 178.55/51.62 1(1(0(0(1(1(1(1(0(1(0(1(0(1(1(0(0(1(1(1(x1)))))))))))))))))))) -> 178.55/51.62 1(1(0(1(1(0(0(0(0(1(0(1(0(1(1(1(0(1(0(1(x1)))))))))))))))))))) 178.55/51.62 1(1(0(0(1(1(1(1(1(0(0(1(0(1(1(0(1(1(0(1(x1)))))))))))))))))))) -> 178.55/51.62 1(0(0(1(0(0(1(0(0(1(1(1(0(0(0(1(0(0(0(1(x1)))))))))))))))))))) 178.55/51.62 1(1(0(1(0(0(0(1(1(0(1(1(0(1(1(0(0(0(1(1(x1)))))))))))))))))))) -> 178.55/51.62 1(1(0(1(0(0(1(0(1(1(1(0(0(0(0(0(1(0(1(1(x1)))))))))))))))))))) 178.55/51.62 1(1(0(1(0(0(1(1(1(0(0(1(1(0(0(0(1(0(0(0(x1)))))))))))))))))))) -> 178.55/51.62 1(0(1(1(0(0(0(0(0(0(1(1(1(0(1(0(1(0(1(0(x1)))))))))))))))))))) 178.55/51.62 1(1(0(1(0(0(1(1(1(1(1(1(0(0(1(1(0(0(0(0(x1)))))))))))))))))))) -> 178.55/51.62 1(0(0(0(0(1(0(1(1(1(0(1(1(1(0(1(1(1(1(0(x1)))))))))))))))))))) 178.55/51.62 1(1(0(1(1(0(1(0(0(0(1(1(1(1(0(0(1(1(1(1(x1)))))))))))))))))))) -> 178.55/51.62 1(1(0(1(1(0(0(0(0(1(1(1(0(1(0(0(1(1(0(1(x1)))))))))))))))))))) 178.55/51.62 1(1(0(1(1(1(0(0(0(0(0(0(0(1(1(1(0(0(1(0(x1)))))))))))))))))))) -> 178.55/51.62 1(1(1(0(0(1(0(1(1(1(1(1(1(1(1(1(0(0(1(0(x1)))))))))))))))))))) 178.55/51.62 1(1(1(0(0(0(1(1(0(0(1(1(0(0(0(1(1(0(0(1(x1)))))))))))))))))))) -> 178.55/51.62 1(0(1(1(1(0(1(1(1(1(1(1(0(1(0(1(1(1(0(1(x1)))))))))))))))))))) 178.55/51.62 1(1(1(0(0(1(1(1(1(0(1(0(0(1(1(0(0(0(1(1(x1)))))))))))))))))))) -> 178.55/51.62 1(1(0(1(0(0(1(1(1(1(1(1(0(0(0(1(0(0(1(1(x1)))))))))))))))))))) 178.55/51.62 1(1(1(0(1(1(0(0(1(1(1(0(1(0(1(1(0(0(0(1(x1)))))))))))))))))))) -> 178.55/51.62 1(1(1(0(0(1(0(1(1(0(1(0(1(1(1(0(0(0(0(1(x1)))))))))))))))))))) 178.55/51.62 1(1(1(0(1(1(1(0(1(0(1(1(0(0(0(0(1(1(1(0(x1)))))))))))))))))))) -> 178.55/51.62 1(1(0(1(0(1(0(0(0(1(0(1(0(0(1(0(1(1(0(0(x1)))))))))))))))))))) 178.55/51.62 178.55/51.62 Proof: 178.55/51.62 Open 178.63/51.63 EOF