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