MAYBE 249.22/62.70 MAYBE 249.78/62.72 249.78/62.72 Problem: 249.78/62.72 0(0(0(0(0(1(0(2(0(2(1(2(2(2(2(1(0(0(1(0(x1)))))))))))))))))))) -> 249.78/62.72 0(0(2(0(1(0(1(2(2(0(2(0(0(1(2(0(1(1(1(2(x1)))))))))))))))))))) 249.78/62.72 0(0(0(0(2(0(0(1(0(0(1(0(1(0(0(1(1(1(1(2(x1)))))))))))))))))))) -> 249.78/62.72 0(0(0(1(0(1(0(1(1(2(2(2(0(1(2(0(0(2(0(1(x1)))))))))))))))))))) 249.78/62.72 0(0(0(1(1(1(2(2(2(2(2(1(1(2(1(1(0(1(2(0(x1)))))))))))))))))))) -> 249.78/62.72 0(2(2(1(1(2(0(1(0(2(1(1(0(1(0(2(0(0(1(0(x1)))))))))))))))))))) 249.78/62.72 0(0(1(0(1(0(2(1(0(2(0(2(2(0(1(0(1(0(1(1(x1)))))))))))))))))))) -> 249.78/62.72 0(1(0(0(1(0(1(2(2(2(0(0(1(2(2(0(2(2(2(1(x1)))))))))))))))))))) 249.78/62.72 0(0(2(0(0(0(1(1(0(2(1(1(2(0(2(0(0(0(0(2(x1)))))))))))))))))))) -> 249.78/62.72 2(0(0(1(1(0(1(2(0(2(0(0(0(0(1(2(1(2(1(2(x1)))))))))))))))))))) 249.78/62.72 0(0(2(2(2(1(0(0(0(0(1(0(2(0(1(0(1(1(0(0(x1)))))))))))))))))))) -> 249.78/62.72 1(2(0(1(2(0(0(0(1(0(0(1(1(1(2(1(0(0(1(0(x1)))))))))))))))))))) 249.78/62.72 0(1(1(0(0(1(0(0(0(0(2(2(0(2(2(2(1(2(2(1(x1)))))))))))))))))))) -> 249.78/62.72 2(2(0(1(1(2(2(2(1(0(1(1(1(2(2(0(1(0(0(1(x1)))))))))))))))))))) 249.78/62.72 0(1(1(0(1(0(2(2(2(0(2(0(2(0(0(0(0(1(0(2(x1)))))))))))))))))))) -> 249.78/62.72 0(0(2(1(0(1(1(2(0(1(0(1(2(2(0(0(0(1(2(0(x1)))))))))))))))))))) 249.78/62.72 0(1(1(2(1(0(1(2(2(1(0(0(1(0(2(2(1(0(0(0(x1)))))))))))))))))))) -> 249.78/62.72 1(0(1(0(0(1(0(1(1(2(2(0(2(2(2(2(0(1(0(0(x1)))))))))))))))))))) 249.78/62.72 0(1(2(0(1(0(2(2(0(1(1(0(0(2(0(0(0(0(2(0(x1)))))))))))))))))))) -> 249.78/62.72 0(2(2(1(0(1(1(2(0(1(0(1(0(1(0(1(1(2(1(0(x1)))))))))))))))))))) 249.78/62.72 0(1(2(0(1(2(0(2(2(1(0(2(2(0(0(1(1(1(2(0(x1)))))))))))))))))))) -> 249.78/62.72 2(0(0(0(2(2(1(2(0(0(0(0(0(0(0(2(0(0(0(1(x1)))))))))))))))))))) 249.78/62.72 0(2(0(0(1(2(2(2(2(2(2(0(1(0(1(2(1(1(2(0(x1)))))))))))))))))))) -> 249.78/62.72 0(0(1(2(0(2(1(1(0(0(0(0(0(1(1(0(1(2(0(0(x1)))))))))))))))))))) 249.78/62.72 0(2(0(1(0(1(2(0(0(1(2(2(0(0(0(2(2(2(1(0(x1)))))))))))))))))))) -> 249.78/62.72 0(0(0(0(0(1(1(1(2(0(0(1(0(1(1(2(1(2(2(0(x1)))))))))))))))))))) 249.78/62.72 0(2(1(0(0(0(1(0(1(2(1(0(0(1(0(1(2(1(0(1(x1)))))))))))))))))))) -> 249.78/62.72 2(0(0(0(1(0(1(0(0(1(1(2(1(0(0(1(2(0(1(2(x1)))))))))))))))))))) 249.78/62.72 0(2(1(1(2(2(0(0(0(0(0(1(2(1(0(1(2(2(0(2(x1)))))))))))))))))))) -> 249.78/62.72 0(0(1(0(0(0(0(1(1(2(1(2(0(2(0(0(0(2(0(0(x1)))))))))))))))))))) 249.78/62.72 0(2(2(0(0(1(1(0(0(0(0(1(2(1(1(0(1(0(2(0(x1)))))))))))))))))))) -> 249.78/62.72 0(1(0(1(2(0(0(0(0(1(1(2(0(2(0(1(0(1(2(1(x1)))))))))))))))))))) 249.78/62.72 0(2(2(1(0(1(2(2(0(1(2(1(1(1(2(0(0(0(0(0(x1)))))))))))))))))))) -> 249.78/62.72 2(2(0(1(0(0(0(1(1(2(0(0(1(0(1(0(2(2(2(2(x1)))))))))))))))))))) 249.78/62.72 0(2(2(1(2(2(0(1(2(2(0(0(0(0(2(1(1(2(2(0(x1)))))))))))))))))))) -> 249.78/62.72 0(0(0(0(2(0(2(2(1(2(2(2(0(0(1(0(2(0(1(2(x1)))))))))))))))))))) 249.78/62.72 0(2(2(1(2(2(1(1(1(0(1(0(1(0(0(2(2(2(0(0(x1)))))))))))))))))))) -> 249.78/62.72 0(1(2(0(0(1(1(0(1(0(0(2(0(2(2(1(1(2(1(2(x1)))))))))))))))))))) 249.78/62.72 0(2(2(2(1(0(2(2(2(0(1(1(0(0(1(0(1(1(2(0(x1)))))))))))))))))))) -> 249.78/62.72 2(0(1(1(0(0(1(2(1(0(0(0(1(2(1(0(2(2(0(0(x1)))))))))))))))))))) 249.78/62.72 0(2(2(2(2(2(2(1(2(2(2(2(2(0(2(0(1(1(2(1(x1)))))))))))))))))))) -> 249.78/62.72 0(1(0(1(0(1(0(1(2(1(1(1(0(2(2(2(2(1(1(2(x1)))))))))))))))))))) 249.78/62.72 1(0(0(0(0(2(0(1(0(1(1(0(0(0(1(1(1(0(2(2(x1)))))))))))))))))))) -> 249.78/62.72 1(0(1(2(1(2(2(0(1(1(1(0(1(0(1(0(1(0(1(2(x1)))))))))))))))))))) 249.78/62.72 1(0(0(0(2(1(2(0(0(2(2(1(1(1(0(0(0(2(0(2(x1)))))))))))))))))))) -> 249.78/62.72 1(2(1(0(1(2(0(1(0(1(1(1(0(1(1(0(2(0(0(1(x1)))))))))))))))))))) 249.78/62.72 1(0(0(1(1(0(1(1(2(2(1(0(2(0(2(2(2(0(0(0(x1)))))))))))))))))))) -> 249.78/62.72 0(0(1(0(1(0(2(0(1(0(1(2(1(2(1(0(0(1(2(0(x1)))))))))))))))))))) 249.78/62.72 1(0(0(1(1(2(0(0(1(1(2(0(2(2(0(1(2(2(2(1(x1)))))))))))))))))))) -> 249.78/62.72 1(0(0(0(1(2(2(0(0(2(2(0(1(0(0(1(2(2(0(1(x1)))))))))))))))))))) 249.78/62.72 1(0(0(2(1(2(2(0(0(0(0(0(1(1(2(2(2(2(2(0(x1)))))))))))))))))))) -> 249.78/62.72 1(2(0(1(0(1(1(0(1(2(0(2(0(0(0(1(2(1(0(0(x1)))))))))))))))))))) 249.78/62.72 1(0(0(2(2(1(0(0(1(2(2(1(0(2(2(2(0(0(2(0(x1)))))))))))))))))))) -> 249.78/62.72 1(2(0(0(0(0(1(0(0(1(1(0(1(0(1(0(2(2(0(0(x1)))))))))))))))))))) 249.78/62.72 1(0(1(0(0(1(0(0(1(1(0(2(1(2(0(1(2(2(0(2(x1)))))))))))))))))))) -> 249.78/62.72 1(0(1(2(2(0(2(1(0(1(0(0(0(2(0(1(0(1(0(1(x1)))))))))))))))))))) 249.78/62.72 1(0(1(0(0(1(2(0(0(1(1(1(2(1(1(0(2(1(0(2(x1)))))))))))))))))))) -> 249.78/62.72 2(0(1(2(0(1(1(0(1(0(0(1(1(2(0(2(2(0(0(2(x1)))))))))))))))))))) 249.78/62.72 1(0(1(0(1(0(2(1(1(2(2(0(1(0(1(2(0(0(2(1(x1)))))))))))))))))))) -> 249.78/62.72 0(2(0(0(1(0(0(2(0(1(0(1(0(1(0(1(0(1(2(2(x1)))))))))))))))))))) 249.78/62.72 1(0(1(0(1(1(2(0(2(0(0(2(1(2(1(1(2(0(0(0(x1)))))))))))))))))))) -> 249.78/62.72 1(0(0(0(1(1(2(1(0(0(2(0(0(0(0(0(1(1(2(1(x1)))))))))))))))))))) 249.78/62.72 1(0(1(1(0(1(0(2(2(0(1(1(0(2(1(1(0(0(1(0(x1)))))))))))))))))))) -> 249.78/62.74 1(0(0(0(0(0(2(0(1(2(0(0(2(0(0(1(0(0(2(2(x1)))))))))))))))))))) 249.78/62.74 1(0(1(1(0(2(1(2(1(2(2(0(0(1(2(0(2(0(2(0(x1)))))))))))))))))))) -> 249.78/62.74 0(0(0(2(0(1(1(0(1(2(1(0(0(2(2(2(1(0(0(0(x1)))))))))))))))))))) 249.78/62.74 1(0(1(1(2(1(0(0(0(2(2(1(2(2(0(2(0(0(2(0(x1)))))))))))))))))))) -> 249.78/62.74 0(2(1(0(0(1(2(1(0(1(0(1(0(1(1(2(0(1(0(1(x1)))))))))))))))))))) 249.78/62.74 1(0(1(2(0(1(0(0(2(1(2(2(0(1(2(1(1(0(1(1(x1)))))))))))))))))))) -> 249.78/62.74 1(0(1(0(0(1(0(1(2(2(0(1(2(1(2(1(1(0(0(0(x1)))))))))))))))))))) 249.78/62.74 1(0(1(2(2(0(0(2(2(1(1(0(1(0(2(0(0(2(0(2(x1)))))))))))))))))))) -> 249.78/62.74 0(0(0(1(0(1(0(2(2(0(0(2(2(0(1(1(2(1(0(1(x1)))))))))))))))))))) 249.78/62.74 1(0(1(2(2(1(1(0(2(2(2(0(1(0(0(0(2(0(1(2(x1)))))))))))))))))))) -> 249.78/62.74 2(2(0(0(0(2(0(1(0(1(2(2(0(1(0(0(0(1(2(1(x1)))))))))))))))))))) 249.78/62.74 1(0(1(2(2(1(1(2(1(2(0(0(2(2(2(0(0(1(0(0(x1)))))))))))))))))))) -> 249.78/62.74 1(0(1(0(1(0(1(2(2(0(1(0(0(2(0(1(1(1(2(2(x1)))))))))))))))))))) 249.78/62.74 1(0(2(0(0(1(2(1(1(0(0(1(1(2(2(0(0(2(2(2(x1)))))))))))))))))))) -> 249.78/62.74 1(2(0(2(2(0(1(2(1(2(0(1(1(0(1(1(2(0(0(1(x1)))))))))))))))))))) 249.78/62.74 1(0(2(0(0(2(0(0(2(1(0(0(1(0(1(1(0(1(1(0(x1)))))))))))))))))))) -> 249.78/62.74 1(0(1(2(0(1(2(0(1(0(1(1(2(1(0(1(0(1(0(2(x1)))))))))))))))))))) 249.78/62.74 1(0(2(0(0(2(1(1(2(1(2(0(2(0(0(2(2(1(0(2(x1)))))))))))))))))))) -> 249.78/62.74 0(1(2(2(1(1(0(0(1(2(2(0(1(2(0(1(2(0(2(1(x1)))))))))))))))))))) 249.78/62.74 1(0(2(0(1(0(0(2(0(0(1(0(0(2(1(0(1(1(1(1(x1)))))))))))))))))))) -> 249.78/62.74 1(0(0(2(0(0(2(1(1(0(1(2(0(2(0(0(1(0(0(1(x1)))))))))))))))))))) 249.78/62.74 1(0(2(0(2(0(2(2(0(2(2(1(1(2(2(0(1(0(1(2(x1)))))))))))))))))))) -> 249.78/62.74 0(0(1(0(1(1(0(0(0(2(2(0(0(1(0(2(2(1(2(0(x1)))))))))))))))))))) 249.78/62.74 1(0(2(1(2(2(0(1(1(1(0(0(0(2(2(1(2(1(2(0(x1)))))))))))))))))))) -> 249.78/62.74 1(2(2(0(2(1(0(0(1(2(2(2(0(1(0(1(0(1(1(2(x1)))))))))))))))))))) 249.78/62.74 1(0(2(2(2(0(0(0(0(0(1(0(2(1(0(0(1(1(1(2(x1)))))))))))))))))))) -> 249.78/62.74 0(2(2(0(1(0(2(0(1(2(0(0(0(0(1(2(0(1(1(2(x1)))))))))))))))))))) 249.78/62.74 1(1(0(0(2(1(0(1(1(0(1(2(2(0(2(1(2(1(2(2(x1)))))))))))))))))))) -> 249.78/62.74 1(2(0(1(1(0(0(0(0(0(1(0(1(2(2(1(0(0(1(1(x1)))))))))))))))))))) 249.78/62.74 1(1(0(0(2(2(1(0(1(1(2(2(1(1(0(1(2(1(0(2(x1)))))))))))))))))))) -> 249.78/62.74 1(1(1(1(2(1(2(0(0(0(0(2(2(0(2(2(1(0(0(1(x1)))))))))))))))))))) 249.78/62.74 1(1(0(0(2(2(2(2(2(2(0(0(1(0(2(1(0(2(2(1(x1)))))))))))))))))))) -> 249.78/62.74 1(1(0(0(0(0(2(1(0(2(0(0(0(1(1(0(0(1(2(0(x1)))))))))))))))))))) 249.78/62.74 1(1(0(1(0(2(1(0(1(0(0(2(1(1(2(0(2(2(0(1(x1)))))))))))))))))))) -> 249.78/62.74 1(1(0(2(1(1(1(2(0(0(0(1(0(0(0(0(0(0(0(0(x1)))))))))))))))))))) 249.78/62.74 1(1(0(2(1(0(0(0(0(2(1(1(0(2(1(0(0(1(2(0(x1)))))))))))))))))))) -> 249.78/62.74 1(1(2(0(0(1(1(1(0(2(2(2(2(1(2(2(0(0(0(0(x1)))))))))))))))))))) 249.78/62.74 1(1(0(2(2(0(2(2(0(0(2(0(2(1(0(0(1(2(2(2(x1)))))))))))))))))))) -> 249.78/62.74 1(0(0(2(2(0(1(0(2(2(0(0(2(2(0(1(0(0(0(0(x1)))))))))))))))))))) 249.78/62.74 1(1(0(2(2(1(1(0(2(2(0(1(1(0(0(2(1(2(1(1(x1)))))))))))))))))))) -> 249.78/62.74 1(1(2(2(1(1(0(2(0(0(1(2(2(1(2(0(2(0(0(1(x1)))))))))))))))))))) 249.78/62.74 1(1(0(2(2(2(1(0(0(2(2(1(2(2(1(1(1(2(0(0(x1)))))))))))))))))))) -> 249.78/62.74 1(2(2(0(0(1(0(2(1(2(0(0(0(0(0(0(0(2(2(0(x1)))))))))))))))))))) 249.78/62.74 1(1(1(0(1(2(0(2(2(2(0(2(1(1(0(2(2(0(2(1(x1)))))))))))))))))))) -> 249.78/62.74 1(1(0(0(1(1(2(1(2(0(0(1(0(1(2(1(2(1(1(2(x1)))))))))))))))))))) 249.78/62.74 1(1(1(0(1(2(1(0(2(0(2(1(1(0(2(0(2(0(0(0(x1)))))))))))))))))))) -> 249.78/62.74 1(1(1(0(0(0(1(2(2(2(0(1(0(0(2(1(0(2(0(1(x1)))))))))))))))))))) 249.78/62.74 1(1(1(0(1(2(1(1(0(2(1(0(2(1(0(2(2(1(0(0(x1)))))))))))))))))))) -> 249.78/62.74 1(1(0(2(1(0(1(0(1(0(0(2(2(2(0(1(2(2(1(0(x1)))))))))))))))))))) 249.78/62.74 1(1(1(2(0(0(2(1(0(2(2(0(0(2(2(1(1(1(1(0(x1)))))))))))))))))))) -> 249.78/62.74 1(0(2(2(0(1(1(0(0(1(1(2(0(1(2(0(1(2(0(0(x1)))))))))))))))))))) 249.78/62.74 1(1(1(2(1(2(2(0(2(0(0(2(1(2(1(2(0(0(2(2(x1)))))))))))))))))))) -> 249.78/62.74 1(1(1(2(1(0(0(0(0(2(0(1(0(0(2(0(1(2(1(2(x1)))))))))))))))))))) 249.78/62.74 1(1(1(2(2(1(0(2(1(0(1(2(1(1(1(0(1(0(2(1(x1)))))))))))))))))))) -> 249.78/62.74 1(1(0(0(2(0(0(1(0(1(1(1(0(2(0(1(2(1(1(1(x1)))))))))))))))))))) 249.78/62.74 1(1(1(2(2(1(1(2(0(2(1(2(2(2(1(1(1(0(2(2(x1)))))))))))))))))))) -> 249.78/62.74 1(1(2(2(2(1(0(1(1(0(0(0(2(0(0(1(1(1(0(1(x1)))))))))))))))))))) 249.78/62.74 1(1(1(2(2(2(2(1(1(1(1(2(2(0(0(2(2(1(2(2(x1)))))))))))))))))))) -> 249.78/62.74 1(1(1(1(0(0(2(2(1(0(0(0(2(0(0(2(2(0(2(1(x1)))))))))))))))))))) 249.78/62.74 1(1(2(0(1(2(1(0(1(1(1(1(2(2(2(0(0(1(1(1(x1)))))))))))))))))))) -> 249.78/62.74 0(0(1(0(1(0(1(1(2(2(0(0(2(2(0(0(0(0(0(1(x1)))))))))))))))))))) 249.78/62.74 1(1(2(0(1(2(2(2(2(2(2(2(1(2(1(0(1(1(2(2(x1)))))))))))))))))))) -> 249.78/62.75 1(1(1(1(2(0(1(2(2(2(0(1(1(2(1(0(1(0(1(2(x1)))))))))))))))))))) 249.78/62.75 1(1(2(0(2(0(0(0(1(0(0(2(1(0(1(1(1(1(1(0(x1)))))))))))))))))))) -> 249.78/62.75 1(1(2(0(1(2(2(1(0(0(1(0(2(1(0(0(2(0(1(0(x1)))))))))))))))))))) 249.78/62.75 1(1(2(1(0(1(2(0(1(2(1(0(2(1(0(2(1(2(2(0(x1)))))))))))))))))))) -> 249.78/62.75 1(1(2(0(2(2(0(1(1(1(1(2(0(0(0(2(0(0(1(1(x1)))))))))))))))))))) 249.78/62.75 1(1(2(1(1(0(1(2(2(0(1(1(2(2(0(0(2(1(0(1(x1)))))))))))))))))))) -> 249.78/62.75 0(1(1(2(1(1(2(0(0(0(0(1(2(0(1(0(0(0(1(2(x1)))))))))))))))))))) 249.78/62.75 1(1(2(1(2(2(1(0(2(1(2(0(1(0(0(2(1(0(0(0(x1)))))))))))))))))))) -> 249.78/62.75 1(0(0(1(2(2(0(1(1(0(1(1(2(0(0(2(0(1(1(0(x1)))))))))))))))))))) 249.78/62.75 1(1(2(2(0(1(2(1(2(2(1(0(0(1(1(0(2(2(0(1(x1)))))))))))))))))))) -> 249.78/62.75 1(1(0(2(0(1(2(0(0(0(1(1(0(2(2(0(0(0(0(0(x1)))))))))))))))))))) 249.78/62.75 1(1(2(2(1(0(2(1(2(1(2(0(1(1(2(1(2(2(1(1(x1)))))))))))))))))))) -> 249.78/62.75 1(1(2(1(1(0(0(1(1(1(2(0(0(1(1(0(0(1(1(1(x1)))))))))))))))))))) 249.78/62.75 1(1(2(2(1(1(2(2(2(2(1(1(2(2(0(0(1(2(1(2(x1)))))))))))))))))))) -> 249.78/62.75 1(1(1(0(1(1(2(1(2(2(1(0(0(2(0(1(2(1(1(2(x1)))))))))))))))))))) 249.78/62.75 1(1(2(2(1(2(1(0(0(0(0(1(1(0(2(1(2(0(1(2(x1)))))))))))))))))))) -> 249.78/62.75 1(2(2(0(1(0(1(2(2(0(1(0(2(2(1(0(0(0(0(1(x1)))))))))))))))))))) 249.78/62.75 1(1(2(2(2(0(0(0(1(1(2(1(0(2(0(1(2(2(1(1(x1)))))))))))))))))))) -> 249.78/62.75 1(2(0(1(2(0(0(0(1(0(1(1(2(1(0(1(2(0(0(0(x1)))))))))))))))))))) 249.78/62.75 1(1(2(2(2(1(2(1(2(1(0(0(2(1(0(2(1(0(1(0(x1)))))))))))))))))))) -> 249.78/62.75 1(0(2(2(2(2(1(2(1(0(2(0(1(1(1(2(0(1(0(0(x1)))))))))))))))))))) 249.78/62.75 1(2(0(0(1(0(0(2(1(0(2(0(0(2(0(1(0(1(0(1(x1)))))))))))))))))))) -> 249.78/62.75 1(2(2(2(2(0(1(2(2(2(0(1(0(0(0(0(1(0(2(2(x1)))))))))))))))))))) 249.78/62.75 1(2(0(0(1(2(2(2(2(0(2(2(2(1(2(0(1(2(0(2(x1)))))))))))))))))))) -> 249.78/62.75 0(0(1(2(1(0(2(2(0(0(0(2(0(1(2(0(1(1(2(1(x1)))))))))))))))))))) 249.78/62.75 1(2(0(1(1(1(0(2(1(1(0(2(2(2(1(2(1(2(0(2(x1)))))))))))))))))))) -> 249.78/62.75 0(2(0(1(2(0(1(0(2(1(1(2(1(1(0(0(2(0(1(0(x1)))))))))))))))))))) 249.78/62.75 1(2(0(2(2(1(2(1(0(1(2(2(2(0(0(1(0(2(1(0(x1)))))))))))))))))))) -> 249.78/62.75 1(2(1(0(1(2(1(0(0(1(0(1(0(1(2(1(0(1(2(1(x1)))))))))))))))))))) 249.78/62.75 1(2(1(0(1(0(2(2(0(2(0(1(2(2(1(1(1(2(0(2(x1)))))))))))))))))))) -> 249.78/62.75 0(0(1(2(1(0(0(1(0(1(1(1(1(0(0(0(2(1(2(2(x1)))))))))))))))))))) 249.78/62.75 1(2(1(1(2(1(2(0(2(2(0(2(1(0(1(2(0(1(1(1(x1)))))))))))))))))))) -> 249.78/62.75 2(2(1(2(0(1(0(1(2(1(1(1(2(2(2(1(2(0(0(2(x1)))))))))))))))))))) 249.78/62.75 1(2(1(1(2(2(1(0(1(1(0(0(2(1(0(2(1(0(0(2(x1)))))))))))))))))))) -> 249.78/62.75 2(2(0(2(0(1(0(1(0(2(0(0(1(1(1(0(1(1(1(0(x1)))))))))))))))))))) 249.78/62.75 1(2(1(2(0(1(2(2(0(0(1(0(1(1(0(1(0(2(2(1(x1)))))))))))))))))))) -> 249.78/62.75 0(1(0(1(0(0(0(0(0(0(2(0(1(2(0(0(0(0(1(1(x1)))))))))))))))))))) 249.78/62.75 1(2(1(2(2(0(2(1(0(1(0(2(0(1(0(0(2(0(1(0(x1)))))))))))))))))))) -> 249.78/62.75 0(1(0(1(2(1(2(0(0(2(2(0(1(0(0(1(1(2(2(2(x1)))))))))))))))))))) 249.78/62.75 1(2(2(0(0(0(0(2(1(2(1(2(1(2(0(1(0(1(1(1(x1)))))))))))))))))))) -> 249.78/62.75 1(2(2(0(1(2(0(2(2(0(0(1(2(2(2(2(1(2(0(1(x1)))))))))))))))))))) 249.78/62.75 1(2(2(1(0(1(2(0(1(0(0(0(2(2(0(0(1(1(1(2(x1)))))))))))))))))))) -> 249.78/62.75 1(0(1(0(1(2(0(0(1(1(2(0(0(1(0(1(0(0(1(0(x1)))))))))))))))))))) 249.78/62.75 1(2(2(1(0(2(2(1(0(0(0(2(0(1(1(1(0(1(0(1(x1)))))))))))))))))))) -> 249.78/62.75 1(0(1(2(2(1(0(0(0(1(1(2(0(2(2(0(0(0(2(2(x1)))))))))))))))))))) 249.78/62.75 1(2(2(2(1(0(0(2(0(0(2(2(2(2(0(1(2(1(1(0(x1)))))))))))))))))))) -> 249.78/62.75 2(0(0(0(1(2(2(0(1(2(2(2(1(0(0(0(0(2(0(1(x1)))))))))))))))))))) 249.78/62.75 2(0(0(1(0(1(2(2(2(2(1(2(0(2(2(0(2(1(2(0(x1)))))))))))))))))))) -> 249.78/62.75 2(2(0(1(2(2(2(2(2(0(0(1(2(2(0(0(0(2(0(1(x1)))))))))))))))))))) 249.78/62.75 2(0(0(2(2(0(1(1(2(0(0(2(2(0(2(2(0(1(1(0(x1)))))))))))))))))))) -> 249.78/62.75 2(0(0(2(2(0(0(1(0(1(0(0(0(1(2(0(0(2(2(2(x1)))))))))))))))))))) 249.78/62.75 2(0(0(2(2(1(1(1(0(2(0(2(2(2(0(1(0(2(0(0(x1)))))))))))))))))))) -> 249.78/62.75 0(1(2(1(2(2(1(1(1(0(0(1(2(1(0(1(1(0(0(1(x1)))))))))))))))))))) 249.78/62.75 2(0(1(1(1(2(2(1(0(1(2(1(1(0(1(1(0(0(1(2(x1)))))))))))))))))))) -> 249.78/62.75 2(0(0(2(0(1(0(1(1(1(0(1(2(0(1(2(1(1(1(2(x1)))))))))))))))))))) 249.78/62.75 2(0(1(1(2(0(2(1(2(1(1(0(2(1(1(0(0(0(1(0(x1)))))))))))))))))))) -> 249.78/62.75 0(0(2(0(0(1(1(2(2(2(0(2(1(2(1(2(1(2(1(0(x1)))))))))))))))))))) 249.78/62.75 2(0(2(0(1(1(1(1(1(0(0(1(0(1(2(1(2(2(2(2(x1)))))))))))))))))))) -> 249.78/62.75 2(0(2(2(2(1(1(1(0(0(1(1(2(2(1(2(0(0(0(1(x1)))))))))))))))))))) 249.78/62.75 2(0(2(1(0(1(0(0(2(0(0(0(0(1(1(1(2(1(0(1(x1)))))))))))))))))))) -> 249.78/62.75 0(2(0(1(1(0(0(1(0(1(0(0(0(2(2(2(1(0(0(1(x1)))))))))))))))))))) 249.78/62.75 2(1(2(0(2(0(1(2(2(0(0(0(0(0(0(0(2(1(1(0(x1)))))))))))))))))))) -> 249.78/62.75 2(0(2(1(2(0(1(2(2(2(2(2(0(1(0(1(2(2(2(0(x1)))))))))))))))))))) 249.78/62.75 2(1(2(2(1(0(2(0(2(0(1(0(0(0(2(0(1(1(2(1(x1)))))))))))))))))))) -> 249.78/62.75 0(2(0(2(1(0(0(2(2(0(1(0(2(0(1(0(1(0(0(1(x1)))))))))))))))))))) 249.78/62.75 2(2(1(0(1(0(2(1(1(0(2(2(0(1(1(0(1(0(1(0(x1)))))))))))))))))))) -> 249.78/62.75 0(1(0(0(2(2(0(0(0(2(1(2(2(0(1(0(1(2(2(1(x1)))))))))))))))))))) 249.78/62.75 2(2(2(0(0(0(1(1(1(2(0(2(0(1(2(1(1(0(1(2(x1)))))))))))))))))))) -> 249.78/62.75 2(0(0(2(0(1(1(1(0(1(2(2(1(0(0(1(2(1(2(2(x1)))))))))))))))))))) 249.78/62.75 2(2(2(0(2(0(2(2(2(0(1(0(2(1(2(0(2(0(0(0(x1)))))))))))))))))))) -> 249.78/62.75 0(1(0(1(2(2(0(0(1(0(0(1(0(2(1(1(1(0(0(2(x1)))))))))))))))))))) 249.78/62.75 2(2(2(1(0(2(2(2(0(1(2(0(2(0(2(0(0(0(1(0(x1)))))))))))))))))))) -> 249.78/62.75 2(1(0(0(1(1(0(2(0(1(1(1(2(0(0(1(0(0(0(1(x1)))))))))))))))))))) 249.78/62.75 249.78/62.75 Proof: 249.78/62.75 Open 249.78/62.76 EOF