MAYBE 241.38/62.80 MAYBE 241.87/62.82 241.87/62.82 Problem: 241.87/62.82 0(0(0(0(0(1(1(0(1(2(1(2(2(1(1(0(1(2(2(2(x1)))))))))))))))))))) -> 241.87/62.82 0(2(1(1(1(1(2(1(1(2(2(2(1(0(0(1(0(2(1(1(x1)))))))))))))))))))) 241.87/62.82 0(0(0(0(1(0(1(1(0(2(0(0(2(1(0(1(0(2(2(2(x1)))))))))))))))))))) -> 241.87/62.82 2(2(2(2(0(1(0(0(0(1(1(0(0(0(2(1(0(1(2(1(x1)))))))))))))))))))) 241.87/62.82 0(0(0(2(0(1(2(0(1(0(1(2(1(0(2(2(0(1(1(2(x1)))))))))))))))))))) -> 241.87/62.82 0(1(1(2(0(2(1(1(1(2(2(2(2(2(1(2(2(0(0(0(x1)))))))))))))))))))) 241.87/62.82 0(0(0(2(2(1(2(0(0(1(0(1(1(2(2(2(2(2(1(0(x1)))))))))))))))))))) -> 241.87/62.82 0(0(1(1(1(0(1(1(1(2(2(2(2(2(1(0(2(0(0(0(x1)))))))))))))))))))) 241.87/62.82 0(0(0(2(2(2(0(0(2(1(0(0(0(2(1(1(1(2(1(2(x1)))))))))))))))))))) -> 241.87/62.82 1(2(0(1(2(2(1(1(2(1(0(1(0(2(0(2(2(1(1(0(x1)))))))))))))))))))) 241.87/62.82 0(0(1(0(0(2(0(2(2(1(1(1(2(1(1(0(2(1(1(2(x1)))))))))))))))))))) -> 241.87/62.82 0(1(2(0(1(0(1(1(2(2(1(1(2(1(1(0(2(2(1(1(x1)))))))))))))))))))) 241.87/62.82 0(0(1(1(0(1(1(1(2(0(2(1(2(1(2(1(2(0(2(1(x1)))))))))))))))))))) -> 241.87/62.82 0(1(2(2(0(1(0(0(1(2(1(1(1(0(1(2(1(2(0(1(x1)))))))))))))))))))) 241.87/62.82 0(0(1(2(1(0(2(1(1(1(0(1(2(1(2(2(2(2(2(2(x1)))))))))))))))))))) -> 241.87/62.82 1(1(2(1(1(1(1(0(2(0(2(2(2(2(2(0(1(2(0(2(x1)))))))))))))))))))) 241.87/62.82 0(0(1(2(2(0(2(0(2(0(2(2(2(2(2(1(1(0(2(2(x1)))))))))))))))))))) -> 241.87/62.82 1(2(0(2(2(0(1(1(2(0(1(0(1(1(1(2(2(2(2(2(x1)))))))))))))))))))) 241.87/62.82 0(1(0(2(0(1(1(2(2(2(2(0(2(1(0(1(0(1(2(0(x1)))))))))))))))))))) -> 241.87/62.82 2(0(1(1(2(2(0(0(1(1(0(2(0(2(1(1(1(1(2(0(x1)))))))))))))))))))) 241.87/62.82 0(1(0(2(1(0(2(2(2(2(2(2(1(0(0(1(2(1(2(1(x1)))))))))))))))))))) -> 241.87/62.82 2(2(2(1(1(2(1(0(0(1(0(2(2(0(0(1(2(1(1(1(x1)))))))))))))))))))) 241.87/62.82 0(1(1(1(0(1(2(1(2(0(0(2(0(0(2(2(0(2(0(2(x1)))))))))))))))))))) -> 241.87/62.82 1(1(1(0(2(1(1(1(1(2(1(2(0(2(1(1(2(0(2(0(x1)))))))))))))))))))) 241.87/62.82 0(1(1(1(1(0(1(1(1(0(2(2(1(2(0(0(0(2(2(0(x1)))))))))))))))))))) -> 241.87/62.82 0(2(2(1(2(2(2(2(0(1(1(1(0(1(2(2(0(0(2(0(x1)))))))))))))))))))) 241.87/62.82 0(1(1(1(1(1(0(0(1(2(0(0(1(2(0(1(0(1(2(2(x1)))))))))))))))))))) -> 241.87/62.82 1(0(1(0(1(1(1(1(2(2(2(0(2(2(2(0(1(1(1(1(x1)))))))))))))))))))) 241.87/62.82 0(1(2(0(0(1(1(2(1(0(2(0(2(2(2(1(0(2(2(1(x1)))))))))))))))))))) -> 241.87/62.82 0(2(0(2(1(2(1(1(0(1(2(1(1(2(0(1(2(2(0(1(x1)))))))))))))))))))) 241.87/62.82 0(2(1(0(0(2(1(2(2(1(2(1(2(1(0(0(2(2(2(2(x1)))))))))))))))))))) -> 241.87/62.82 0(1(1(2(2(2(0(0(2(1(2(2(1(0(2(2(0(1(1(1(x1)))))))))))))))))))) 241.87/62.82 0(2(1(0(1(0(0(0(2(2(2(0(2(0(2(0(2(2(2(2(x1)))))))))))))))))))) -> 241.87/62.82 0(1(2(2(2(2(0(0(1(0(0(0(2(0(1(1(2(2(2(2(x1)))))))))))))))))))) 241.87/62.82 0(2(1(1(0(2(0(1(0(2(0(2(1(2(2(2(1(1(1(0(x1)))))))))))))))))))) -> 241.87/62.82 0(0(1(1(1(1(0(0(2(0(1(0(2(2(2(2(2(2(1(1(x1)))))))))))))))))))) 241.87/62.82 0(2(1(1(1(1(0(2(2(1(0(0(1(0(0(1(1(1(0(0(x1)))))))))))))))))))) -> 241.87/62.82 1(0(2(2(1(1(1(2(1(2(2(2(0(1(1(1(2(1(1(2(x1)))))))))))))))))))) 241.87/62.82 0(2(1(1(2(1(2(0(1(2(1(2(0(1(1(2(1(2(2(1(x1)))))))))))))))))))) -> 241.87/62.82 2(2(0(2(0(2(2(2(0(0(0(0(1(1(2(2(1(1(1(1(x1)))))))))))))))))))) 241.87/62.82 0(2(1(2(0(2(2(0(2(2(0(0(1(2(1(0(1(0(0(1(x1)))))))))))))))))))) -> 241.87/62.82 1(1(0(1(1(2(0(0(1(1(2(2(0(1(0(1(1(1(0(0(x1)))))))))))))))))))) 241.87/62.82 0(2(2(1(0(2(2(1(0(1(0(2(0(1(1(2(0(1(1(0(x1)))))))))))))))))))) -> 241.87/62.82 1(0(2(2(2(1(0(2(1(1(2(1(1(2(0(2(2(2(2(1(x1)))))))))))))))))))) 241.87/62.82 1(0(0(1(1(0(0(0(0(2(1(2(0(1(1(1(0(0(0(2(x1)))))))))))))))))))) -> 241.87/62.82 1(1(2(0(0(0(1(2(1(2(2(1(0(1(2(0(0(1(1(0(x1)))))))))))))))))))) 241.87/62.82 1(0(1(0(2(1(2(0(0(1(0(2(1(2(0(2(1(1(1(0(x1)))))))))))))))))))) -> 241.87/62.82 0(2(2(1(1(1(1(2(0(0(1(1(2(0(0(1(2(1(1(2(x1)))))))))))))))))))) 241.87/62.82 1(0(2(0(2(2(2(1(2(1(0(1(1(0(1(2(2(1(1(1(x1)))))))))))))))))))) -> 241.87/62.82 2(0(1(1(1(2(2(0(1(2(1(1(1(2(1(1(1(0(1(1(x1)))))))))))))))))))) 241.87/62.82 1(0(2(1(2(0(2(1(1(2(1(1(1(2(0(2(1(0(1(2(x1)))))))))))))))))))) -> 241.87/62.82 1(0(1(2(2(2(2(1(0(1(1(0(1(2(1(1(2(2(1(2(x1)))))))))))))))))))) 241.87/62.82 1(0(2(1(2(2(0(1(2(0(1(0(2(2(0(1(2(2(2(2(x1)))))))))))))))))))) -> 241.87/62.82 1(2(2(2(2(2(2(2(0(2(2(2(0(2(2(0(1(2(0(1(x1)))))))))))))))))))) 241.87/62.82 1(1(0(0(2(0(1(1(1(2(1(1(2(1(0(1(1(0(0(0(x1)))))))))))))))))))) -> 241.87/62.82 2(1(1(0(0(2(1(2(1(1(1(1(1(0(1(1(1(2(2(2(x1)))))))))))))))))))) 241.87/62.82 1(1(0(1(1(2(2(0(2(1(2(1(0(2(0(1(2(1(2(2(x1)))))))))))))))))))) -> 241.87/62.82 2(2(0(2(2(0(2(2(1(0(1(0(1(1(0(1(2(2(2(2(x1)))))))))))))))))))) 241.87/62.82 1(1(2(0(0(2(2(2(2(0(0(1(2(1(2(0(2(1(0(2(x1)))))))))))))))))))) -> 241.87/62.82 1(2(1(2(2(0(2(2(1(1(2(1(0(0(1(2(0(2(1(2(x1)))))))))))))))))))) 241.87/62.82 1(1(2(0(2(1(0(0(2(0(0(2(2(1(0(0(2(0(0(2(x1)))))))))))))))))))) -> 241.87/62.82 2(0(2(2(1(2(1(2(2(0(1(1(2(1(1(2(0(0(1(0(x1)))))))))))))))))))) 241.87/62.82 1(1(2(1(0(0(0(1(2(1(1(2(1(0(0(0(1(0(2(2(x1)))))))))))))))))))) -> 241.87/62.83 0(0(1(2(1(2(2(2(1(1(0(0(1(0(2(1(0(1(2(2(x1)))))))))))))))))))) 241.87/62.83 1(1(2(1(2(2(0(0(0(0(0(1(2(2(1(1(1(0(1(1(x1)))))))))))))))))))) -> 241.87/62.83 0(1(2(2(2(0(2(1(1(1(2(0(1(2(1(2(1(1(1(2(x1)))))))))))))))))))) 241.87/62.83 1(1(2(2(1(2(0(0(0(1(1(1(1(2(0(0(1(2(0(0(x1)))))))))))))))))))) -> 241.87/62.83 2(2(1(2(0(2(1(2(2(1(2(0(1(2(2(2(2(0(1(1(x1)))))))))))))))))))) 241.87/62.83 1(1(2(2(1(2(0(0(2(0(1(2(0(1(0(1(1(0(2(2(x1)))))))))))))))))))) -> 241.87/62.83 1(1(1(2(2(0(0(0(1(2(0(2(1(0(1(1(2(0(1(2(x1)))))))))))))))))))) 241.87/62.83 1(2(0(0(0(2(1(0(0(1(0(2(1(1(2(0(1(1(1(1(x1)))))))))))))))))))) -> 241.87/62.83 0(1(1(1(1(2(0(2(2(0(1(2(1(1(1(1(2(1(0(0(x1)))))))))))))))))))) 241.87/62.83 1(2(0(1(1(2(2(0(2(2(0(1(0(2(2(2(0(1(0(2(x1)))))))))))))))))))) -> 241.87/62.83 1(2(1(1(2(1(1(2(0(2(1(1(2(2(1(0(2(2(1(1(x1)))))))))))))))))))) 241.87/62.83 1(2(0(1(2(1(1(0(1(0(1(0(0(1(2(0(2(0(1(0(x1)))))))))))))))))))) -> 241.87/62.83 0(1(1(1(0(2(2(0(2(2(2(0(2(2(2(0(1(0(1(1(x1)))))))))))))))))))) 241.87/62.83 1(2(0(2(0(2(1(1(2(1(1(2(1(0(0(0(2(2(1(2(x1)))))))))))))))))))) -> 241.87/62.83 2(1(2(2(1(1(2(0(1(2(1(2(1(1(0(1(0(1(2(2(x1)))))))))))))))))))) 241.87/62.83 1(2(1(0(1(0(0(2(0(0(2(2(1(0(1(1(2(1(2(2(x1)))))))))))))))))))) -> 241.87/62.83 1(2(2(0(2(1(2(2(2(2(2(0(1(2(0(2(0(2(0(1(x1)))))))))))))))))))) 241.87/62.83 1(2(1(0(1(2(2(1(2(0(2(0(1(0(0(0(2(0(2(2(x1)))))))))))))))))))) -> 241.87/62.83 2(1(1(1(2(1(1(0(2(2(2(1(2(1(1(2(1(0(2(1(x1)))))))))))))))))))) 241.87/62.83 1(2(1(1(2(0(0(0(0(2(1(1(0(0(2(1(1(1(1(0(x1)))))))))))))))))))) -> 241.87/62.83 1(2(1(1(1(2(0(2(1(0(1(0(2(0(0(2(0(0(1(1(x1)))))))))))))))))))) 241.87/62.83 1(2(1(1(2(1(2(2(0(2(1(0(1(2(0(2(0(0(1(0(x1)))))))))))))))))))) -> 241.87/62.83 1(1(1(1(1(2(1(2(2(2(2(1(1(0(1(1(2(1(0(2(x1)))))))))))))))))))) 241.87/62.83 1(2(1(2(2(1(1(0(2(1(0(0(2(0(2(2(0(1(2(1(x1)))))))))))))))))))) -> 241.87/62.83 1(1(1(0(1(2(2(1(2(1(1(1(1(0(1(1(1(2(1(2(x1)))))))))))))))))))) 241.87/62.83 1(2(2(0(0(1(2(0(2(1(1(0(0(1(2(2(1(0(0(2(x1)))))))))))))))))))) -> 241.87/62.83 1(1(1(1(0(1(2(2(1(2(1(1(0(2(2(0(1(0(0(2(x1)))))))))))))))))))) 241.87/62.83 1(2(2(2(2(2(2(1(2(0(2(1(0(2(1(2(1(1(2(0(x1)))))))))))))))))))) -> 241.87/62.83 1(1(1(2(1(1(1(1(0(2(0(0(2(0(2(1(1(1(1(1(x1)))))))))))))))))))) 241.87/62.83 2(0(0(0(1(0(0(0(1(2(1(2(0(0(0(2(2(1(2(1(x1)))))))))))))))))))) -> 241.87/62.83 1(1(2(1(1(1(0(0(0(1(2(1(2(2(2(1(0(1(0(2(x1)))))))))))))))))))) 241.87/62.83 2(0(0(0(2(2(0(1(0(2(1(0(1(0(1(1(0(1(0(2(x1)))))))))))))))))))) -> 241.87/62.83 2(1(2(2(0(0(0(2(2(1(1(0(1(0(2(1(0(2(1(2(x1)))))))))))))))))))) 241.87/62.83 2(0(0(1(0(2(1(1(0(1(2(1(0(1(1(1(1(1(2(2(x1)))))))))))))))))))) -> 241.87/62.83 2(1(1(1(2(2(2(2(2(2(1(2(1(2(0(1(0(2(2(2(x1)))))))))))))))))))) 241.87/62.83 2(0(0(1(1(2(1(1(0(2(2(0(0(0(1(1(0(2(2(2(x1)))))))))))))))))))) -> 241.87/62.83 2(2(1(2(2(2(1(2(0(2(0(1(0(1(1(2(1(2(2(1(x1)))))))))))))))))))) 241.87/62.83 2(0(0(1(2(0(2(1(1(2(0(0(0(0(1(0(0(2(2(1(x1)))))))))))))))))))) -> 241.87/62.83 0(1(1(2(2(0(2(1(1(0(1(0(1(0(0(0(1(2(2(1(x1)))))))))))))))))))) 241.87/62.83 2(0(0(2(0(0(2(0(1(0(1(1(2(1(1(1(2(1(2(2(x1)))))))))))))))))))) -> 241.87/62.83 2(0(2(1(2(2(1(1(2(2(1(0(1(1(0(0(1(1(0(2(x1)))))))))))))))))))) 241.87/62.83 2(0(0(2(0(1(1(1(1(1(2(1(0(0(0(2(1(1(2(2(x1)))))))))))))))))))) -> 241.87/62.83 2(2(0(1(2(2(2(1(0(2(2(2(1(1(1(2(2(2(2(0(x1)))))))))))))))))))) 241.87/62.83 2(0(0(2(1(0(0(2(1(1(1(2(2(1(1(1(2(2(2(2(x1)))))))))))))))))))) -> 241.87/62.83 2(0(2(2(0(1(2(1(2(2(2(1(1(2(2(1(1(1(1(1(x1)))))))))))))))))))) 241.87/62.83 2(0(1(0(0(2(0(2(2(2(1(1(2(2(1(0(0(0(2(2(x1)))))))))))))))))))) -> 241.87/62.83 2(1(2(1(0(0(0(1(2(2(0(1(2(2(1(0(1(0(2(2(x1)))))))))))))))))))) 241.87/62.83 2(0(1(0(2(1(1(0(0(1(0(0(1(0(1(2(1(0(2(1(x1)))))))))))))))))))) -> 241.87/62.83 0(2(2(1(0(1(1(1(0(1(1(2(2(2(0(0(2(1(0(1(x1)))))))))))))))))))) 241.87/62.83 2(0(1(1(0(0(1(0(2(1(1(1(0(0(0(2(2(2(2(2(x1)))))))))))))))))))) -> 241.87/62.83 2(1(1(1(1(2(2(0(0(1(0(2(0(1(2(2(0(1(1(1(x1)))))))))))))))))))) 241.87/62.83 2(0(1(2(2(1(0(0(0(2(0(1(1(2(0(0(0(0(1(2(x1)))))))))))))))))))) -> 241.87/62.83 1(2(2(2(1(1(1(0(1(2(2(2(1(1(1(2(0(0(2(0(x1)))))))))))))))))))) 241.87/62.83 2(0(1(2(2(1(0(2(0(1(2(0(1(2(2(2(0(0(1(1(x1)))))))))))))))))))) -> 241.87/62.83 2(1(2(1(1(2(0(1(2(1(0(1(1(0(2(1(1(1(1(0(x1)))))))))))))))))))) 241.87/62.83 2(0(2(0(0(1(2(0(0(2(2(1(0(2(1(1(2(1(1(1(x1)))))))))))))))))))) -> 241.87/62.83 1(2(1(1(1(0(2(2(2(1(0(1(1(1(0(2(2(2(1(1(x1)))))))))))))))))))) 241.87/62.83 2(0(2(0(2(1(2(2(0(0(0(1(2(0(2(2(0(2(1(2(x1)))))))))))))))))))) -> 241.87/62.83 0(2(2(2(0(1(2(2(1(1(2(1(2(0(0(0(1(0(1(2(x1)))))))))))))))))))) 241.87/62.83 2(0(2(1(1(2(1(2(0(1(1(2(0(2(2(1(2(0(2(1(x1)))))))))))))))))))) -> 241.87/62.83 2(1(1(2(2(0(2(1(1(1(0(2(0(1(2(2(2(1(2(2(x1)))))))))))))))))))) 241.87/62.83 2(0(2(2(0(2(0(2(0(0(0(2(2(0(2(0(1(0(2(0(x1)))))))))))))))))))) -> 241.87/62.85 2(1(0(0(2(0(1(0(2(1(1(2(2(1(1(0(0(0(2(1(x1)))))))))))))))))))) 241.87/62.85 2(0(2(2(1(0(0(0(1(1(0(1(0(0(0(2(2(1(1(1(x1)))))))))))))))))))) -> 241.87/62.85 1(1(1(0(2(2(1(1(0(0(2(0(2(2(1(2(0(1(1(1(x1)))))))))))))))))))) 241.87/62.85 2(0(2(2(1(0(2(0(2(1(1(2(1(1(1(0(0(1(1(0(x1)))))))))))))))))))) -> 241.87/62.85 2(0(1(2(1(2(1(0(1(2(0(2(0(0(2(2(1(1(1(1(x1)))))))))))))))))))) 241.87/62.85 2(0(2(2(1(1(1(0(1(0(2(0(1(0(1(2(1(0(0(2(x1)))))))))))))))))))) -> 241.87/62.85 2(2(2(2(1(2(0(1(2(1(1(2(1(2(0(1(2(1(1(0(x1)))))))))))))))))))) 241.87/62.85 2(1(0(0(0(1(0(0(0(1(2(2(1(1(1(1(2(1(2(2(x1)))))))))))))))))))) -> 241.87/62.85 2(0(2(2(2(2(1(1(2(2(0(1(2(1(0(1(2(1(0(1(x1)))))))))))))))))))) 241.87/62.85 2(1(0(0(2(1(0(1(1(2(2(1(0(0(2(2(0(2(0(1(x1)))))))))))))))))))) -> 241.87/62.85 1(2(2(2(1(2(0(0(1(2(1(1(1(0(1(0(1(1(0(1(x1)))))))))))))))))))) 241.87/62.85 2(1(0(1(0(1(2(1(2(2(0(2(2(2(2(1(0(0(1(2(x1)))))))))))))))))))) -> 241.87/62.85 2(1(0(1(0(1(2(1(1(1(1(1(0(1(1(2(0(0(0(2(x1)))))))))))))))))))) 241.87/62.85 2(1(0(1(1(0(0(0(2(0(2(2(2(2(0(0(2(0(0(0(x1)))))))))))))))))))) -> 241.87/62.85 1(1(2(0(2(1(2(0(2(1(0(2(1(2(0(1(0(1(1(1(x1)))))))))))))))))))) 241.87/62.85 2(1(0(1(1(2(0(1(0(0(0(1(0(0(1(0(0(2(1(1(x1)))))))))))))))))))) -> 241.87/62.85 2(0(1(0(2(2(2(0(1(2(1(0(0(2(2(2(0(0(2(2(x1)))))))))))))))))))) 241.87/62.85 2(1(0(2(1(1(0(2(0(2(0(1(0(2(0(0(1(1(1(0(x1)))))))))))))))))))) -> 241.87/62.85 2(1(1(2(1(0(0(1(0(2(2(1(0(1(2(2(0(1(1(2(x1)))))))))))))))))))) 241.87/62.85 2(1(0(2(2(0(1(2(1(1(0(0(2(1(1(0(1(0(2(2(x1)))))))))))))))))))) -> 241.87/62.85 2(1(1(1(0(2(2(2(2(2(0(1(1(2(0(0(1(0(0(2(x1)))))))))))))))))))) 241.87/62.85 2(1(0(2(2(2(0(1(1(0(1(2(1(2(0(1(0(0(2(2(x1)))))))))))))))))))) -> 241.87/62.85 2(2(2(1(2(0(0(2(0(0(2(0(1(1(1(1(1(1(1(1(x1)))))))))))))))))))) 241.87/62.85 2(1(1(0(0(1(1(2(1(2(0(1(0(0(2(1(0(0(0(2(x1)))))))))))))))))))) -> 241.87/62.85 2(1(0(2(0(1(2(1(1(0(1(0(0(1(0(2(1(2(0(1(x1)))))))))))))))))))) 241.87/62.85 2(1(1(0(0(1(2(1(1(1(1(0(0(1(2(2(0(0(1(1(x1)))))))))))))))))))) -> 241.87/62.85 2(0(0(2(1(1(2(2(2(2(1(2(2(2(1(1(0(1(0(1(x1)))))))))))))))))))) 241.87/62.85 2(1(1(0(0(2(0(2(2(0(0(1(1(1(2(1(0(1(2(2(x1)))))))))))))))))))) -> 241.87/62.85 2(1(0(1(1(0(0(2(2(2(2(2(2(1(2(2(2(1(2(2(x1)))))))))))))))))))) 241.87/62.85 2(1(1(1(0(1(1(0(2(0(2(2(0(0(2(0(0(1(2(0(x1)))))))))))))))))))) -> 241.87/62.85 0(2(2(1(1(2(2(0(0(2(1(1(2(2(2(1(1(0(2(2(x1)))))))))))))))))))) 241.87/62.85 2(1(1(1(0(2(1(2(1(2(1(2(0(0(1(1(2(0(1(1(x1)))))))))))))))))))) -> 241.87/62.85 2(2(2(2(2(2(1(2(2(1(1(1(2(1(2(0(0(2(1(2(x1)))))))))))))))))))) 241.87/62.85 2(1(1(1(1(0(0(1(0(0(0(0(1(0(0(0(1(1(2(1(x1)))))))))))))))))))) -> 241.87/62.85 0(2(1(2(1(2(1(0(1(1(1(1(2(0(2(0(2(0(2(1(x1)))))))))))))))))))) 241.87/62.85 2(1(2(1(0(2(2(1(2(2(0(2(1(1(1(2(0(1(2(2(x1)))))))))))))))))))) -> 241.87/62.85 2(1(0(1(1(2(1(1(1(1(0(2(0(1(1(2(0(2(2(2(x1)))))))))))))))))))) 241.87/62.85 2(1(2(2(0(1(2(0(0(1(0(0(1(1(2(1(2(0(2(2(x1)))))))))))))))))))) -> 241.87/62.85 2(1(2(0(1(0(0(2(2(1(1(0(2(0(1(1(0(1(2(2(x1)))))))))))))))))))) 241.87/62.85 2(1(2(2(1(1(2(0(2(1(2(0(0(1(0(1(1(2(1(2(x1)))))))))))))))))))) -> 241.87/62.85 0(2(0(0(2(2(2(2(1(1(0(1(1(0(2(2(2(2(2(2(x1)))))))))))))))))))) 241.87/62.85 2(2(0(0(0(2(2(0(1(2(0(0(1(1(0(0(2(0(2(1(x1)))))))))))))))))))) -> 241.87/62.85 2(0(2(2(0(2(0(2(0(0(0(1(0(2(2(2(2(1(1(0(x1)))))))))))))))))))) 241.87/62.85 2(2(0(1(2(2(1(1(0(2(0(0(1(0(1(1(2(0(2(1(x1)))))))))))))))))))) -> 241.87/62.85 2(1(0(1(1(2(1(1(1(0(2(1(1(0(2(2(1(2(1(1(x1)))))))))))))))))))) 241.87/62.85 2(2(0(2(1(0(1(2(2(2(2(1(2(1(2(2(0(2(0(0(x1)))))))))))))))))))) -> 241.87/62.85 1(1(1(1(1(1(2(0(1(1(2(1(1(2(1(2(0(1(2(2(x1)))))))))))))))))))) 241.87/62.85 2(2(0(2(1(0(2(0(0(2(1(0(1(1(1(2(1(1(1(2(x1)))))))))))))))))))) -> 241.87/62.85 2(0(0(2(2(2(2(2(1(2(2(1(0(1(1(1(2(2(0(1(x1)))))))))))))))))))) 241.87/62.85 2(2(0(2(1(2(1(1(2(2(1(1(2(2(0(0(1(0(1(1(x1)))))))))))))))))))) -> 241.87/62.85 2(2(0(2(0(1(0(1(0(1(2(1(1(1(1(1(1(1(1(0(x1)))))))))))))))))))) 241.87/62.85 2(2(0(2(2(0(2(2(1(1(0(2(0(1(2(0(1(2(1(2(x1)))))))))))))))))))) -> 241.87/62.85 2(2(0(1(1(1(1(1(1(2(2(1(2(2(2(0(1(2(0(1(x1)))))))))))))))))))) 241.87/62.85 2(2(1(0(0(2(1(1(2(0(2(1(0(1(0(2(2(1(0(2(x1)))))))))))))))))))) -> 241.87/62.85 2(1(0(0(2(2(2(2(0(2(0(2(2(2(1(0(2(1(1(1(x1)))))))))))))))))))) 241.87/62.85 2(2(1(0(1(0(2(0(1(1(1(1(1(2(0(0(1(1(0(1(x1)))))))))))))))))))) -> 241.87/62.85 2(2(2(1(1(2(2(1(2(2(2(0(1(2(1(1(2(1(0(0(x1)))))))))))))))))))) 241.87/62.85 2(2(1(0(1(2(0(0(0(2(1(2(2(1(1(2(1(2(0(2(x1)))))))))))))))))))) -> 241.87/62.85 2(1(1(1(1(0(1(1(0(0(1(1(0(1(2(1(1(1(2(0(x1)))))))))))))))))))) 241.87/62.85 2(2(1(0(1(2(0(2(2(1(0(1(2(1(2(0(0(1(2(2(x1)))))))))))))))))))) -> 241.87/62.85 2(1(0(2(1(1(1(1(1(2(2(2(2(0(1(1(0(2(2(1(x1)))))))))))))))))))) 241.87/62.85 2(2(1(1(0(2(0(0(1(2(0(0(1(0(0(1(0(2(2(2(x1)))))))))))))))))))) -> 241.87/62.85 2(1(2(2(0(2(2(0(2(0(0(1(2(0(2(0(0(2(2(2(x1)))))))))))))))))))) 241.87/62.85 2(2(1(1(2(1(2(0(2(0(2(0(2(1(0(0(2(0(1(2(x1)))))))))))))))))))) -> 241.87/62.85 0(1(2(2(0(0(0(1(1(1(2(2(1(1(2(1(1(2(1(2(x1)))))))))))))))))))) 241.87/62.85 2(2(1(2(1(2(1(1(1(2(0(0(0(0(2(0(1(0(2(2(x1)))))))))))))))))))) -> 241.87/62.85 2(1(2(1(2(0(2(2(2(0(1(1(2(2(0(2(2(2(1(0(x1)))))))))))))))))))) 241.87/62.85 2(2(2(1(1(2(0(1(2(2(2(1(0(2(0(0(0(0(1(0(x1)))))))))))))))))))) -> 241.87/62.85 0(2(2(2(1(1(1(1(0(2(2(1(0(1(0(2(2(0(1(0(x1)))))))))))))))))))) 241.87/62.85 2(2(2(1(2(0(0(0(2(1(1(2(2(0(1(0(2(0(1(1(x1)))))))))))))))))))) -> 241.87/62.85 2(0(0(0(1(2(2(2(2(0(2(1(0(2(2(2(1(0(1(1(x1)))))))))))))))))))) 241.87/62.85 2(2(2(2(1(1(0(1(0(2(2(1(2(0(0(1(0(2(0(2(x1)))))))))))))))))))) -> 241.87/62.85 2(2(2(0(1(1(0(1(2(2(2(0(2(1(0(0(1(1(1(1(x1)))))))))))))))))))) 241.87/62.85 241.87/62.85 Proof: 241.87/62.85 Open 241.87/62.85 EOF