178.69/51.52 MAYBE 178.85/51.53 178.85/51.53 Problem: 178.85/51.53 0(0(0(0(0(0(1(0(1(1(0(0(1(1(1(1(1(1(1(1(x1)))))))))))))))))))) -> 178.85/51.53 0(0(1(1(1(1(0(0(1(0(0(0(1(0(0(0(1(0(1(1(x1)))))))))))))))))))) 178.85/51.53 0(0(0(0(0(1(0(1(1(0(1(1(1(1(0(1(0(0(0(0(x1)))))))))))))))))))) -> 178.85/51.53 0(0(0(1(0(1(0(0(1(1(0(0(0(0(0(1(1(0(1(0(x1)))))))))))))))))))) 178.85/51.53 0(0(0(0(1(0(1(0(0(0(0(0(1(1(0(1(1(1(0(1(x1)))))))))))))))))))) -> 178.85/51.53 0(0(1(0(0(0(1(0(0(0(1(1(0(0(0(0(1(1(1(1(x1)))))))))))))))))))) 178.85/51.53 0(0(0(0(1(1(0(1(0(0(1(1(1(1(1(1(0(0(1(1(x1)))))))))))))))))))) -> 178.85/51.53 0(0(0(1(1(0(1(1(0(0(0(0(1(0(1(1(0(0(0(1(x1)))))))))))))))))))) 178.85/51.53 0(0(0(0(1(1(0(1(1(0(0(0(1(0(0(0(0(0(1(1(x1)))))))))))))))))))) -> 178.85/51.53 0(0(0(1(0(1(0(0(0(0(0(0(1(0(0(0(1(1(1(1(x1)))))))))))))))))))) 178.85/51.53 0(0(0(1(0(0(0(0(1(1(1(1(0(0(1(1(0(0(1(0(x1)))))))))))))))))))) -> 178.85/51.53 1(0(0(0(0(0(1(1(1(0(1(1(0(0(0(0(0(0(0(0(x1)))))))))))))))))))) 178.85/51.53 0(0(0(1(0(0(1(1(0(0(1(0(0(1(1(1(0(0(1(1(x1)))))))))))))))))))) -> 178.85/51.53 0(1(0(0(0(0(0(0(0(0(0(1(1(0(1(0(1(0(1(1(x1)))))))))))))))))))) 178.85/51.53 0(0(0(1(0(1(0(1(0(0(1(0(1(0(1(1(0(1(1(1(x1)))))))))))))))))))) -> 178.85/51.53 0(0(0(1(1(0(0(1(0(1(0(0(1(0(0(1(1(0(1(1(x1)))))))))))))))))))) 178.85/51.53 0(0(0(1(0(1(1(0(0(1(1(0(1(1(1(0(1(1(1(0(x1)))))))))))))))))))) -> 178.85/51.53 0(0(0(0(1(1(1(0(1(1(1(1(0(0(0(1(1(1(0(1(x1)))))))))))))))))))) 178.85/51.53 0(0(0(1(0(1(1(1(1(0(1(1(0(0(0(1(1(1(1(1(x1)))))))))))))))))))) -> 178.85/51.53 0(1(0(1(0(0(1(1(0(0(1(0(1(1(1(0(0(0(1(1(x1)))))))))))))))))))) 178.85/51.53 0(0(0(1(0(1(1(1(1(1(1(1(0(0(0(1(0(0(0(1(x1)))))))))))))))))))) -> 178.85/51.53 0(1(1(0(1(0(0(1(0(1(0(0(0(1(0(1(0(0(0(1(x1)))))))))))))))))))) 178.85/51.53 0(0(0(1(1(0(0(1(0(1(0(0(1(0(0(0(1(1(1(0(x1)))))))))))))))))))) -> 178.85/51.53 0(0(0(0(0(1(1(1(1(1(1(1(0(0(1(0(0(0(1(0(x1)))))))))))))))))))) 178.85/51.53 0(0(0(1(1(0(0(1(1(0(1(0(0(1(1(0(0(0(0(1(x1)))))))))))))))))))) -> 178.85/51.53 1(1(0(1(1(0(1(0(0(0(0(0(0(0(1(0(0(0(0(1(x1)))))))))))))))))))) 178.85/51.53 0(0(0(1(1(0(0(1(1(1(1(1(0(0(0(1(0(0(1(1(x1)))))))))))))))))))) -> 178.85/51.53 1(0(1(0(0(1(0(0(0(0(1(0(1(0(0(0(0(0(1(1(x1)))))))))))))))))))) 178.85/51.53 0(0(0(1(1(0(1(0(0(0(0(1(0(0(1(1(1(0(1(0(x1)))))))))))))))))))) -> 178.85/51.53 0(1(1(1(0(0(0(0(0(1(0(0(0(1(1(1(0(0(1(0(x1)))))))))))))))))))) 178.85/51.53 0(0(0(1(1(0(1(0(0(0(0(1(0(0(1(1(1(1(1(0(x1)))))))))))))))))))) -> 178.85/51.53 0(1(1(1(0(0(1(0(0(1(0(0(0(0(1(0(1(0(1(0(x1)))))))))))))))))))) 178.85/51.53 0(0(1(0(0(0(0(1(0(1(0(1(1(1(1(0(0(0(0(0(x1)))))))))))))))))))) -> 178.85/51.53 0(0(0(0(0(0(1(0(1(0(1(0(1(0(1(0(1(0(0(0(x1)))))))))))))))))))) 178.85/51.53 0(0(1(0(0(1(1(0(1(1(0(0(0(1(1(0(0(0(0(1(x1)))))))))))))))))))) -> 178.85/51.53 0(0(0(0(0(1(0(0(0(0(0(1(0(1(0(0(0(1(0(0(x1)))))))))))))))))))) 178.85/51.53 0(0(1(0(1(0(0(1(0(1(1(0(1(1(0(1(0(0(1(0(x1)))))))))))))))))))) -> 178.85/51.53 1(1(1(1(0(1(1(0(1(0(0(0(1(0(0(0(0(0(0(0(x1)))))))))))))))))))) 178.85/51.53 0(0(1(0(1(0(1(0(0(0(1(0(0(1(1(0(1(1(1(1(x1)))))))))))))))))))) -> 178.85/51.53 0(0(0(0(1(0(0(1(0(0(1(0(0(1(1(0(1(1(1(1(x1)))))))))))))))))))) 178.85/51.53 0(0(1(0(1(1(0(0(0(1(0(1(0(0(0(1(0(1(0(1(x1)))))))))))))))))))) -> 178.85/51.53 0(0(0(1(1(0(0(0(0(0(0(1(1(1(0(1(1(0(0(1(x1)))))))))))))))))))) 178.85/51.53 0(0(1(0(1(1(0(0(1(1(1(0(1(1(0(0(0(1(1(1(x1)))))))))))))))))))) -> 178.85/51.53 0(0(0(1(0(1(0(1(0(0(1(0(0(0(0(0(1(0(0(0(x1)))))))))))))))))))) 178.85/51.53 0(0(1(1(0(0(0(0(1(1(0(1(0(0(1(0(0(1(1(1(x1)))))))))))))))))))) -> 178.85/51.53 1(0(1(0(0(0(0(0(1(0(0(0(0(0(0(1(0(1(1(1(x1)))))))))))))))))))) 178.85/51.53 0(0(1(1(0(0(1(0(0(0(0(0(0(1(1(1(1(0(1(1(x1)))))))))))))))))))) -> 178.85/51.53 0(0(0(0(0(0(1(1(1(0(0(1(0(0(1(1(0(0(1(1(x1)))))))))))))))))))) 178.85/51.53 0(0(1(1(0(1(1(0(0(1(0(1(0(1(0(1(1(1(1(0(x1)))))))))))))))))))) -> 178.85/51.53 1(1(1(0(0(0(0(0(0(0(1(1(0(0(1(0(1(1(1(1(x1)))))))))))))))))))) 178.85/51.53 0(0(1(1(1(0(0(1(1(0(0(0(0(0(1(1(0(0(0(1(x1)))))))))))))))))))) -> 178.85/51.53 1(0(0(1(0(0(0(0(1(0(0(1(1(0(0(0(0(0(0(1(x1)))))))))))))))))))) 178.85/51.53 0(0(1(1(1(0(0(1(1(1(1(0(0(1(0(0(1(1(0(1(x1)))))))))))))))))))) -> 178.85/51.53 1(0(0(1(0(0(1(0(0(0(1(1(1(0(0(0(0(0(0(0(x1)))))))))))))))))))) 178.85/51.53 0(0(1(1(1(0(1(1(0(1(1(1(1(1(1(0(1(0(0(0(x1)))))))))))))))))))) -> 178.85/51.53 0(1(0(0(0(1(0(0(1(0(1(0(0(0(1(1(0(0(0(0(x1)))))))))))))))))))) 178.85/51.53 0(0(1(1(1(1(0(1(0(0(0(0(1(0(0(1(1(0(1(0(x1)))))))))))))))))))) -> 178.85/51.53 0(0(0(0(1(1(0(0(0(0(1(0(1(0(0(1(1(0(1(1(x1)))))))))))))))))))) 178.85/51.53 0(0(1(1(1(1(1(1(0(0(1(1(0(1(1(0(1(0(1(1(x1)))))))))))))))))))) -> 178.85/51.53 0(1(0(0(0(0(1(0(1(1(1(0(1(0(0(1(0(0(0(0(x1)))))))))))))))))))) 178.85/51.53 0(1(0(0(0(0(0(0(1(0(1(0(0(0(1(1(1(1(1(1(x1)))))))))))))))))))) -> 178.85/51.53 0(0(0(1(0(0(0(0(0(1(0(0(1(0(1(0(1(0(1(1(x1)))))))))))))))))))) 178.85/51.53 0(1(0(0(0(0(0(0(1(1(1(0(1(0(0(1(0(0(0(1(x1)))))))))))))))))))) -> 178.85/51.54 0(0(1(1(1(0(1(0(0(0(0(1(0(0(0(0(0(0(0(1(x1)))))))))))))))))))) 178.85/51.54 0(1(0(0(0(0(0(1(0(1(0(1(0(1(0(1(1(1(1(1(x1)))))))))))))))))))) -> 178.85/51.54 0(0(0(1(0(1(0(1(0(0(0(0(0(1(0(0(0(1(0(1(x1)))))))))))))))))))) 178.85/51.54 0(1(0(0(0(0(0(1(1(0(0(0(1(0(0(1(1(0(1(1(x1)))))))))))))))))))) -> 178.85/51.54 0(0(0(0(0(1(0(0(0(0(0(1(0(0(0(1(0(1(1(1(x1)))))))))))))))))))) 178.85/51.54 0(1(0(0(0(0(1(0(1(1(0(1(0(1(0(1(1(0(1(1(x1)))))))))))))))))))) -> 178.85/51.54 0(0(1(0(0(0(0(0(1(0(0(0(0(0(0(0(1(1(1(0(x1)))))))))))))))))))) 178.85/51.54 0(1(0(0(0(1(0(1(0(0(0(1(1(1(1(1(1(0(1(1(x1)))))))))))))))))))) -> 178.85/51.54 0(1(0(0(0(1(1(1(1(0(0(0(0(1(0(1(1(0(1(1(x1)))))))))))))))))))) 178.85/51.54 0(1(0(0(0(1(1(0(0(1(1(1(0(0(0(0(0(1(0(0(x1)))))))))))))))))))) -> 178.85/51.54 0(0(1(0(0(1(1(1(0(0(1(0(0(0(0(0(0(0(1(0(x1)))))))))))))))))))) 178.85/51.54 0(1(0(0(0(1(1(1(1(0(1(1(1(1(1(1(0(1(1(1(x1)))))))))))))))))))) -> 178.85/51.54 1(0(1(0(0(1(1(0(0(0(1(1(0(0(1(1(1(1(1(1(x1)))))))))))))))))))) 178.85/51.54 0(1(0(0(1(0(1(1(0(0(0(0(0(0(0(1(0(1(0(1(x1)))))))))))))))))))) -> 178.85/51.54 1(0(0(0(1(0(0(0(1(0(0(0(0(0(1(0(0(0(0(1(x1)))))))))))))))))))) 178.85/51.54 0(1(0(0(1(1(0(0(0(1(1(1(0(0(0(1(1(1(1(1(x1)))))))))))))))))))) -> 178.85/51.54 0(0(1(0(1(0(1(0(0(1(1(0(1(0(1(0(0(0(1(1(x1)))))))))))))))))))) 178.85/51.54 0(1(0(0(1(1(1(0(0(0(1(0(0(1(0(1(1(0(0(0(x1)))))))))))))))))))) -> 178.85/51.54 1(0(0(0(0(0(1(1(1(0(0(0(0(1(1(0(1(0(0(0(x1)))))))))))))))))))) 178.85/51.54 0(1(0(0(1(1(1(0(1(1(1(0(1(1(1(0(0(0(1(1(x1)))))))))))))))))))) -> 178.85/51.54 1(0(1(1(0(0(0(1(0(1(1(0(0(1(1(0(0(0(1(1(x1)))))))))))))))))))) 178.85/51.54 0(1(0(0(1(1(1(1(1(1(1(1(0(1(1(0(1(0(1(0(x1)))))))))))))))))))) -> 178.85/51.54 0(1(0(0(1(1(1(0(1(1(0(0(1(1(0(1(1(1(0(0(x1)))))))))))))))))))) 178.85/51.54 0(1(0(1(0(0(0(0(1(0(1(0(1(1(0(0(1(1(1(1(x1)))))))))))))))))))) -> 178.85/51.54 1(0(1(0(0(0(0(0(0(0(1(0(1(0(0(1(1(1(1(1(x1)))))))))))))))))))) 178.85/51.54 0(1(0(1(0(0(0(1(1(1(1(0(1(1(1(0(0(0(0(1(x1)))))))))))))))))))) -> 178.85/51.54 0(0(0(1(0(0(1(0(0(1(0(0(0(0(0(0(1(1(0(0(x1)))))))))))))))))))) 178.85/51.54 0(1(0(1(0(0(1(0(0(1(1(0(0(1(0(0(0(0(1(0(x1)))))))))))))))))))) -> 178.85/51.54 0(1(1(0(0(0(0(0(0(1(0(0(0(1(1(1(0(0(0(1(x1)))))))))))))))))))) 178.85/51.54 0(1(0(1(0(0(1(1(1(0(1(0(0(0(1(1(0(1(1(1(x1)))))))))))))))))))) -> 178.85/51.54 1(0(0(1(0(0(1(1(0(0(0(0(1(0(0(1(1(1(1(1(x1)))))))))))))))))))) 178.85/51.54 0(1(0(1(0(0(1(1(1(1(0(1(1(0(1(1(1(1(0(0(x1)))))))))))))))))))) -> 178.85/51.54 1(1(1(0(1(0(0(0(1(1(1(0(1(0(0(0(0(0(1(1(x1)))))))))))))))))))) 178.85/51.54 0(1(0(1(0(1(0(1(0(0(1(1(1(1(0(0(1(0(0(1(x1)))))))))))))))))))) -> 178.85/51.54 0(0(1(1(0(1(0(0(1(1(1(0(1(1(1(0(0(0(0(1(x1)))))))))))))))))))) 178.85/51.54 0(1(0(1(0(1(0(1(1(1(1(1(0(1(0(0(1(1(0(0(x1)))))))))))))))))))) -> 178.85/51.54 1(0(1(0(1(0(1(1(1(1(0(0(0(0(0(0(1(0(0(1(x1)))))))))))))))))))) 178.85/51.54 0(1(0(1(0(1(1(1(0(1(0(0(1(0(0(1(0(0(0(0(x1)))))))))))))))))))) -> 178.85/51.54 0(1(0(0(0(1(1(0(1(1(0(1(0(1(1(0(0(0(0(0(x1)))))))))))))))))))) 178.85/51.54 0(1(0(1(1(0(0(0(1(1(0(0(1(0(0(0(1(0(1(0(x1)))))))))))))))))))) -> 178.85/51.54 0(0(0(0(1(1(1(1(1(1(1(0(0(0(1(0(0(0(1(0(x1)))))))))))))))))))) 178.85/51.54 0(1(0(1(1(0(0(1(0(0(1(1(0(1(0(0(1(0(1(0(x1)))))))))))))))))))) -> 178.85/51.54 0(1(1(0(0(0(1(1(1(1(1(0(0(0(1(0(0(1(1(0(x1)))))))))))))))))))) 178.85/51.54 0(1(0(1(1(1(1(1(0(0(0(1(0(0(0(1(0(0(0(1(x1)))))))))))))))))))) -> 178.85/51.54 0(0(0(0(0(1(0(1(1(0(0(0(1(1(0(0(0(1(0(1(x1)))))))))))))))))))) 178.85/51.54 0(1(1(0(0(0(0(0(1(0(1(1(1(0(1(0(1(0(0(1(x1)))))))))))))))))))) -> 178.85/51.54 0(0(0(0(1(0(0(1(1(1(0(0(1(0(1(1(1(0(0(1(x1)))))))))))))))))))) 178.85/51.54 0(1(1(0(0(0(0(1(0(1(1(0(1(1(0(0(0(0(1(1(x1)))))))))))))))))))) -> 178.85/51.54 0(0(0(0(0(0(0(0(1(0(1(0(1(0(1(1(1(1(1(1(x1)))))))))))))))))))) 178.85/51.54 0(1(1(0(0(1(0(1(0(1(1(1(0(0(0(0(0(1(1(1(x1)))))))))))))))))))) -> 178.85/51.54 0(0(0(0(1(1(0(0(0(1(0(0(0(0(1(0(1(1(0(1(x1)))))))))))))))))))) 178.85/51.54 0(1(1(0(0(1(1(1(0(0(0(1(1(1(1(1(0(1(1(0(x1)))))))))))))))))))) -> 178.85/51.54 0(0(1(1(1(0(0(1(0(0(1(1(1(1(1(0(0(1(0(1(x1)))))))))))))))))))) 178.85/51.54 0(1(1(0(1(0(1(0(0(1(1(0(0(1(1(1(1(1(1(1(x1)))))))))))))))))))) -> 178.85/51.54 1(0(0(0(0(1(0(1(0(0(1(1(1(0(1(1(0(1(1(1(x1)))))))))))))))))))) 178.85/51.54 0(1(1(0(1(0(1(1(0(1(0(0(1(0(0(0(1(1(0(0(x1)))))))))))))))))))) -> 178.85/51.54 0(0(1(0(0(0(0(1(1(0(1(0(1(0(1(0(0(1(0(1(x1)))))))))))))))))))) 178.85/51.54 0(1(1(0(1(1(0(0(0(1(0(1(0(0(1(1(1(1(1(1(x1)))))))))))))))))))) -> 178.85/51.54 1(0(0(0(1(1(1(0(1(1(0(0(1(0(0(0(0(0(0(1(x1)))))))))))))))))))) 178.85/51.54 0(1(1(0(1(1(0(0(1(0(1(1(0(0(0(0(0(1(1(1(x1)))))))))))))))))))) -> 178.85/51.54 0(0(1(1(0(1(0(0(0(1(0(1(0(0(1(0(0(0(1(1(x1)))))))))))))))))))) 178.85/51.54 0(1(1(0(1(1(1(0(0(1(0(0(0(0(1(1(1(0(1(1(x1)))))))))))))))))))) -> 178.88/51.56 1(0(0(1(0(1(0(0(1(1(0(0(0(0(1(0(1(0(1(1(x1)))))))))))))))))))) 178.88/51.56 0(1(1(0(1(1(1(0(0(1(1(0(0(0(0(0(0(1(0(0(x1)))))))))))))))))))) -> 178.88/51.56 0(1(0(1(0(1(1(0(1(1(0(0(0(0(0(0(0(0(1(0(x1)))))))))))))))))))) 178.88/51.56 0(1(1(0(1(1(1(1(0(0(0(0(0(1(1(0(0(0(1(1(x1)))))))))))))))))))) -> 178.88/51.56 1(0(1(0(0(0(1(0(0(1(0(0(0(0(1(1(0(0(1(1(x1)))))))))))))))))))) 178.88/51.56 0(1(1(1(0(0(0(0(1(0(1(1(1(1(0(1(1(0(1(1(x1)))))))))))))))))))) -> 178.88/51.56 0(0(1(1(1(0(0(0(0(0(1(1(1(0(0(0(1(0(0(0(x1)))))))))))))))))))) 178.88/51.56 0(1(1(1(0(0(0(1(1(0(1(0(0(1(1(0(0(0(1(0(x1)))))))))))))))))))) -> 178.88/51.56 0(1(0(1(0(0(0(1(1(0(1(0(0(0(0(1(1(1(1(0(x1)))))))))))))))))))) 178.88/51.56 0(1(1(1(0(0(1(0(0(0(0(0(0(0(1(1(0(1(1(0(x1)))))))))))))))))))) -> 178.88/51.56 0(0(0(0(0(1(1(1(1(1(0(0(1(0(1(0(0(0(0(0(x1)))))))))))))))))))) 178.88/51.56 0(1(1(1(0(0(1(1(1(1(1(0(0(1(1(1(0(0(0(0(x1)))))))))))))))))))) -> 178.88/51.56 0(0(0(0(0(1(1(0(0(1(1(0(1(1(1(1(1(0(1(0(x1)))))))))))))))))))) 178.88/51.56 0(1(1(1(0(1(1(0(1(0(0(0(1(0(1(0(0(1(1(1(x1)))))))))))))))))))) -> 178.88/51.56 0(0(0(0(1(0(1(0(1(1(1(1(0(0(0(0(0(0(0(0(x1)))))))))))))))))))) 178.88/51.56 0(1(1(1(0(1(1(1(0(0(0(0(0(0(1(1(0(0(1(1(x1)))))))))))))))))))) -> 178.88/51.56 0(0(1(0(0(0(1(1(0(0(1(1(0(0(0(0(0(1(0(1(x1)))))))))))))))))))) 178.88/51.56 0(1(1(1(1(0(0(0(0(1(0(0(0(0(1(1(0(0(1(1(x1)))))))))))))))))))) -> 178.88/51.56 0(0(0(0(0(0(1(1(0(0(0(1(0(0(1(1(0(0(0(1(x1)))))))))))))))))))) 178.88/51.56 0(1(1(1(1(0(0(0(1(1(0(0(1(1(0(1(1(1(1(1(x1)))))))))))))))))))) -> 178.88/51.56 1(0(1(1(0(1(1(0(0(1(1(0(0(0(0(0(1(1(1(1(x1)))))))))))))))))))) 178.88/51.56 0(1(1(1(1(0(1(0(1(1(0(0(0(1(1(1(0(0(1(1(x1)))))))))))))))))))) -> 178.88/51.56 0(0(1(0(0(1(0(0(0(0(0(1(0(1(1(0(1(0(0(0(x1)))))))))))))))))))) 178.88/51.56 0(1(1(1(1(1(0(1(0(0(1(1(1(1(0(0(0(0(0(1(x1)))))))))))))))))))) -> 178.88/51.56 0(1(0(1(0(1(0(0(1(0(1(0(1(0(1(0(1(0(0(1(x1)))))))))))))))))))) 178.88/51.56 0(1(1(1(1(1(1(0(1(1(0(0(1(0(1(1(1(1(1(0(x1)))))))))))))))))))) -> 178.88/51.56 1(1(1(0(1(0(1(1(0(1(1(1(1(0(0(0(1(0(1(0(x1)))))))))))))))))))) 178.88/51.56 1(0(0(0(1(1(0(0(1(0(1(0(0(1(1(1(0(0(1(0(x1)))))))))))))))))))) -> 178.88/51.56 1(1(1(1(0(1(0(1(0(0(1(0(0(1(0(0(0(0(0(0(x1)))))))))))))))))))) 178.88/51.56 1(0(0(1(0(0(1(0(0(1(0(1(1(1(0(0(1(1(1(1(x1)))))))))))))))))))) -> 178.88/51.56 1(1(0(1(0(0(0(1(0(0(0(1(0(0(1(1(1(0(1(1(x1)))))))))))))))))))) 178.88/51.56 1(0(0(1(0(0(1(1(0(1(0(1(1(0(0(0(0(1(0(0(x1)))))))))))))))))))) -> 178.88/51.56 0(1(1(0(0(0(1(0(0(0(1(0(1(0(0(0(1(0(0(1(x1)))))))))))))))))))) 178.88/51.56 1(0(0(1(0(1(1(1(0(1(0(1(1(1(0(0(1(1(1(1(x1)))))))))))))))))))) -> 178.88/51.56 1(0(1(0(0(1(0(1(1(1(1(0(0(1(1(0(1(0(1(1(x1)))))))))))))))))))) 178.88/51.56 1(0(0(1(1(0(0(1(0(1(1(0(0(0(1(0(0(1(1(0(x1)))))))))))))))))))) -> 178.88/51.56 0(1(1(1(0(0(1(1(0(1(0(1(0(0(1(0(0(0(0(0(x1)))))))))))))))))))) 178.88/51.56 1(0(0(1(1(0(1(1(1(1(0(0(0(1(0(1(0(1(1(1(x1)))))))))))))))))))) -> 178.88/51.56 1(0(0(0(0(1(0(0(1(1(0(0(0(0(0(0(0(1(1(0(x1)))))))))))))))))))) 178.88/51.56 1(0(0(1(1(1(1(0(1(0(0(0(0(1(0(1(0(0(1(1(x1)))))))))))))))))))) -> 178.88/51.56 1(1(0(0(0(0(1(0(0(1(0(0(1(0(0(0(0(1(0(1(x1)))))))))))))))))))) 178.88/51.56 1(0(1(0(0(0(0(0(1(0(1(1(0(0(1(0(1(0(0(0(x1)))))))))))))))))))) -> 178.88/51.56 1(0(0(0(1(0(0(0(0(0(0(1(1(1(1(0(0(0(0(1(x1)))))))))))))))))))) 178.88/51.56 1(0(1(0(0(0(0(1(0(0(1(1(0(0(0(1(0(0(1(1(x1)))))))))))))))))))) -> 178.88/51.56 1(0(0(1(0(1(1(1(0(0(0(1(0(0(0(0(0(0(1(1(x1)))))))))))))))))))) 178.88/51.56 1(0(1(0(0(1(0(0(0(0(0(1(0(0(0(1(1(1(0(1(x1)))))))))))))))))))) -> 178.88/51.56 1(0(0(0(1(1(1(0(0(1(0(0(0(1(1(0(0(0(0(1(x1)))))))))))))))))))) 178.88/51.56 1(0(1(1(0(0(0(0(0(0(1(0(0(1(1(0(1(0(1(0(x1)))))))))))))))))))) -> 178.88/51.56 1(0(1(1(0(0(0(0(1(1(0(0(1(0(0(0(0(1(1(0(x1)))))))))))))))))))) 178.88/51.56 1(0(1(1(1(0(0(0(1(0(0(0(1(0(0(1(1(1(1(0(x1)))))))))))))))))))) -> 178.88/51.56 1(0(0(1(0(0(1(0(0(0(0(1(0(0(1(1(1(1(0(1(x1)))))))))))))))))))) 178.88/51.56 1(1(0(0(1(0(1(0(1(0(0(1(1(1(0(1(1(0(0(1(x1)))))))))))))))))))) -> 178.88/51.56 1(0(0(0(0(0(1(0(1(0(0(0(1(0(1(1(0(1(0(0(x1)))))))))))))))))))) 178.88/51.56 1(1(0(0(1(1(0(1(1(0(1(0(1(0(0(1(1(1(1(0(x1)))))))))))))))))))) -> 178.88/51.56 1(0(1(0(1(0(1(0(1(0(0(0(1(0(1(1(1(1(0(1(x1)))))))))))))))))))) 178.88/51.56 1(1(0(1(0(0(1(0(0(1(0(1(0(0(0(1(1(1(0(0(x1)))))))))))))))))))) -> 178.88/51.56 0(0(0(1(0(1(0(0(0(0(1(0(0(0(1(1(0(1(1(1(x1)))))))))))))))))))) 178.88/51.56 1(1(0(1(1(0(0(1(0(1(1(1(1(1(0(1(0(0(1(1(x1)))))))))))))))))))) -> 178.88/51.56 0(0(1(0(1(0(1(0(0(1(1(1(1(1(1(1(1(0(1(1(x1)))))))))))))))))))) 178.88/51.56 1(1(0(1(1(1(0(0(0(0(1(0(0(0(1(1(1(1(1(0(x1)))))))))))))))))))) -> 178.88/51.56 1(0(1(1(1(0(0(1(0(1(1(1(0(0(1(0(0(0(1(0(x1)))))))))))))))))))) 178.88/51.56 1(1(1(0(0(0(0(0(1(1(0(0(0(0(1(1(0(0(0(1(x1)))))))))))))))))))) -> 178.88/51.56 1(0(0(0(1(0(0(1(1(0(0(0(1(0(0(1(0(0(0(1(x1)))))))))))))))))))) 178.88/51.56 1(1(1(0(0(0(0(1(0(0(1(1(1(0(1(0(0(0(0(0(x1)))))))))))))))))))) -> 178.88/51.56 0(1(1(0(1(0(1(1(0(1(0(1(0(0(0(0(0(0(0(0(x1)))))))))))))))))))) 178.88/51.56 1(1(1(0(1(0(1(0(0(0(1(1(0(1(1(0(0(0(0(1(x1)))))))))))))))))))) -> 178.88/51.56 1(0(1(0(0(1(1(1(0(0(1(0(0(0(0(0(0(0(0(0(x1)))))))))))))))))))) 178.88/51.56 1(1(1(0(1(0(1(0(1(1(1(0(0(1(1(1(0(0(0(1(x1)))))))))))))))))))) -> 178.88/51.56 0(0(0(0(0(1(1(1(0(1(1(1(1(0(0(1(0(0(0(0(x1)))))))))))))))))))) 178.88/51.56 1(1(1(0(1(1(1(1(0(0(1(1(0(0(1(0(0(0(1(1(x1)))))))))))))))))))) -> 178.88/51.56 1(1(0(0(1(1(0(1(1(0(0(1(0(1(0(0(1(0(1(1(x1)))))))))))))))))))) 178.88/51.56 1(1(1(1(1(0(0(1(1(1(1(0(0(1(0(0(1(1(0(1(x1)))))))))))))))))))) -> 178.88/51.56 1(1(0(0(1(0(0(0(0(1(1(0(0(0(1(1(0(0(1(0(x1)))))))))))))))))))) 178.88/51.56 178.88/51.56 Proof: 178.88/51.56 Open 178.88/51.56 EOF