181.24/51.56 MAYBE 181.41/51.58 181.41/51.58 Problem: 181.41/51.58 0(0(0(0(0(1(1(0(1(2(1(2(2(1(1(0(1(2(2(2(x1)))))))))))))))))))) -> 181.41/51.58 0(2(1(1(1(1(2(1(1(2(2(2(1(0(0(1(0(2(1(1(x1)))))))))))))))))))) 181.41/51.58 0(0(0(0(1(0(1(1(0(2(0(0(2(1(0(1(0(2(2(2(x1)))))))))))))))))))) -> 181.41/51.58 2(2(2(2(0(1(0(0(0(1(1(0(0(0(2(1(0(1(2(1(x1)))))))))))))))))))) 181.41/51.58 0(0(0(2(0(1(2(0(1(0(1(2(1(0(2(2(0(1(1(2(x1)))))))))))))))))))) -> 181.41/51.58 0(1(1(2(0(2(1(1(1(2(2(2(2(2(1(2(2(0(0(0(x1)))))))))))))))))))) 181.41/51.58 0(0(0(2(2(1(2(0(0(1(0(1(1(2(2(2(2(2(1(0(x1)))))))))))))))))))) -> 181.41/51.58 0(0(1(1(1(0(1(1(1(2(2(2(2(2(1(0(2(0(0(0(x1)))))))))))))))))))) 181.41/51.58 0(0(0(2(2(2(0(0(2(1(0(0(0(2(1(1(1(2(1(2(x1)))))))))))))))))))) -> 181.41/51.58 1(2(0(1(2(2(1(1(2(1(0(1(0(2(0(2(2(1(1(0(x1)))))))))))))))))))) 181.41/51.58 0(0(1(0(0(2(0(2(2(1(1(1(2(1(1(0(2(1(1(2(x1)))))))))))))))))))) -> 181.41/51.58 0(1(2(0(1(0(1(1(2(2(1(1(2(1(1(0(2(2(1(1(x1)))))))))))))))))))) 181.41/51.58 0(0(1(1(0(1(1(1(2(0(2(1(2(1(2(1(2(0(2(1(x1)))))))))))))))))))) -> 181.41/51.58 0(1(2(2(0(1(0(0(1(2(1(1(1(0(1(2(1(2(0(1(x1)))))))))))))))))))) 181.41/51.58 0(0(1(2(1(0(2(1(1(1(0(1(2(1(2(2(2(2(2(2(x1)))))))))))))))))))) -> 181.41/51.58 1(1(2(1(1(1(1(0(2(0(2(2(2(2(2(0(1(2(0(2(x1)))))))))))))))))))) 181.41/51.58 0(0(1(2(2(0(2(0(2(0(2(2(2(2(2(1(1(0(2(2(x1)))))))))))))))))))) -> 181.41/51.58 1(2(0(2(2(0(1(1(2(0(1(0(1(1(1(2(2(2(2(2(x1)))))))))))))))))))) 181.41/51.58 0(1(0(2(0(1(1(2(2(2(2(0(2(1(0(1(0(1(2(0(x1)))))))))))))))))))) -> 181.41/51.58 2(0(1(1(2(2(0(0(1(1(0(2(0(2(1(1(1(1(2(0(x1)))))))))))))))))))) 181.41/51.58 0(1(0(2(1(0(2(2(2(2(2(2(1(0(0(1(2(1(2(1(x1)))))))))))))))))))) -> 181.41/51.58 2(2(2(1(1(2(1(0(0(1(0(2(2(0(0(1(2(1(1(1(x1)))))))))))))))))))) 181.41/51.58 0(1(1(1(0(1(2(1(2(0(0(2(0(0(2(2(0(2(0(2(x1)))))))))))))))))))) -> 181.41/51.58 1(1(1(0(2(1(1(1(1(2(1(2(0(2(1(1(2(0(2(0(x1)))))))))))))))))))) 181.41/51.58 0(1(1(1(1(0(1(1(1(0(2(2(1(2(0(0(0(2(2(0(x1)))))))))))))))))))) -> 181.41/51.58 0(2(2(1(2(2(2(2(0(1(1(1(0(1(2(2(0(0(2(0(x1)))))))))))))))))))) 181.41/51.58 0(1(1(1(1(1(0(0(1(2(0(0(1(2(0(1(0(1(2(2(x1)))))))))))))))))))) -> 181.41/51.58 1(0(1(0(1(1(1(1(2(2(2(0(2(2(2(0(1(1(1(1(x1)))))))))))))))))))) 181.41/51.58 0(1(2(0(0(1(1(2(1(0(2(0(2(2(2(1(0(2(2(1(x1)))))))))))))))))))) -> 181.41/51.58 0(2(0(2(1(2(1(1(0(1(2(1(1(2(0(1(2(2(0(1(x1)))))))))))))))))))) 181.41/51.58 0(2(1(0(0(2(1(2(2(1(2(1(2(1(0(0(2(2(2(2(x1)))))))))))))))))))) -> 181.41/51.58 0(1(1(2(2(2(0(0(2(1(2(2(1(0(2(2(0(1(1(1(x1)))))))))))))))))))) 181.41/51.58 0(2(1(0(1(0(0(0(2(2(2(0(2(0(2(0(2(2(2(2(x1)))))))))))))))))))) -> 181.41/51.58 0(1(2(2(2(2(0(0(1(0(0(0(2(0(1(1(2(2(2(2(x1)))))))))))))))))))) 181.41/51.58 0(2(1(1(0(2(0(1(0(2(0(2(1(2(2(2(1(1(1(0(x1)))))))))))))))))))) -> 181.41/51.58 0(0(1(1(1(1(0(0(2(0(1(0(2(2(2(2(2(2(1(1(x1)))))))))))))))))))) 181.41/51.58 0(2(1(1(1(1(0(2(2(1(0(0(1(0(0(1(1(1(0(0(x1)))))))))))))))))))) -> 181.41/51.58 1(0(2(2(1(1(1(2(1(2(2(2(0(1(1(1(2(1(1(2(x1)))))))))))))))))))) 181.41/51.58 0(2(1(1(2(1(2(0(1(2(1(2(0(1(1(2(1(2(2(1(x1)))))))))))))))))))) -> 181.41/51.58 2(2(0(2(0(2(2(2(0(0(0(0(1(1(2(2(1(1(1(1(x1)))))))))))))))))))) 181.41/51.58 0(2(1(2(0(2(2(0(2(2(0(0(1(2(1(0(1(0(0(1(x1)))))))))))))))))))) -> 181.41/51.58 1(1(0(1(1(2(0(0(1(1(2(2(0(1(0(1(1(1(0(0(x1)))))))))))))))))))) 181.41/51.58 0(2(2(1(0(2(2(1(0(1(0(2(0(1(1(2(0(1(1(0(x1)))))))))))))))))))) -> 181.41/51.58 1(0(2(2(2(1(0(2(1(1(2(1(1(2(0(2(2(2(2(1(x1)))))))))))))))))))) 181.41/51.58 1(0(0(1(1(0(0(0(0(2(1(2(0(1(1(1(0(0(0(2(x1)))))))))))))))))))) -> 181.41/51.58 1(1(2(0(0(0(1(2(1(2(2(1(0(1(2(0(0(1(1(0(x1)))))))))))))))))))) 181.41/51.58 1(0(1(0(2(1(2(0(0(1(0(2(1(2(0(2(1(1(1(0(x1)))))))))))))))))))) -> 181.41/51.58 0(2(2(1(1(1(1(2(0(0(1(1(2(0(0(1(2(1(1(2(x1)))))))))))))))))))) 181.41/51.58 1(0(2(0(2(2(2(1(2(1(0(1(1(0(1(2(2(1(1(1(x1)))))))))))))))))))) -> 181.41/51.58 2(0(1(1(1(2(2(0(1(2(1(1(1(2(1(1(1(0(1(1(x1)))))))))))))))))))) 181.41/51.58 1(0(2(1(2(0(2(1(1(2(1(1(1(2(0(2(1(0(1(2(x1)))))))))))))))))))) -> 181.41/51.58 1(0(1(2(2(2(2(1(0(1(1(0(1(2(1(1(2(2(1(2(x1)))))))))))))))))))) 181.41/51.58 1(0(2(1(2(2(0(1(2(0(1(0(2(2(0(1(2(2(2(2(x1)))))))))))))))))))) -> 181.41/51.58 1(2(2(2(2(2(2(2(0(2(2(2(0(2(2(0(1(2(0(1(x1)))))))))))))))))))) 181.41/51.58 1(1(0(0(2(0(1(1(1(2(1(1(2(1(0(1(1(0(0(0(x1)))))))))))))))))))) -> 181.41/51.58 2(1(1(0(0(2(1(2(1(1(1(1(1(0(1(1(1(2(2(2(x1)))))))))))))))))))) 181.41/51.58 1(1(0(1(1(2(2(0(2(1(2(1(0(2(0(1(2(1(2(2(x1)))))))))))))))))))) -> 181.41/51.58 2(2(0(2(2(0(2(2(1(0(1(0(1(1(0(1(2(2(2(2(x1)))))))))))))))))))) 181.41/51.58 1(1(2(0(0(2(2(2(2(0(0(1(2(1(2(0(2(1(0(2(x1)))))))))))))))))))) -> 181.41/51.58 1(2(1(2(2(0(2(2(1(1(2(1(0(0(1(2(0(2(1(2(x1)))))))))))))))))))) 181.41/51.58 1(1(2(0(2(1(0(0(2(0(0(2(2(1(0(0(2(0(0(2(x1)))))))))))))))))))) -> 181.41/51.58 2(0(2(2(1(2(1(2(2(0(1(1(2(1(1(2(0(0(1(0(x1)))))))))))))))))))) 181.41/51.58 1(1(2(1(0(0(0(1(2(1(1(2(1(0(0(0(1(0(2(2(x1)))))))))))))))))))) -> 181.41/51.59 0(0(1(2(1(2(2(2(1(1(0(0(1(0(2(1(0(1(2(2(x1)))))))))))))))))))) 181.41/51.59 1(1(2(1(2(2(0(0(0(0(0(1(2(2(1(1(1(0(1(1(x1)))))))))))))))))))) -> 181.41/51.59 0(1(2(2(2(0(2(1(1(1(2(0(1(2(1(2(1(1(1(2(x1)))))))))))))))))))) 181.41/51.59 1(1(2(2(1(2(0(0(0(1(1(1(1(2(0(0(1(2(0(0(x1)))))))))))))))))))) -> 181.41/51.59 2(2(1(2(0(2(1(2(2(1(2(0(1(2(2(2(2(0(1(1(x1)))))))))))))))))))) 181.41/51.59 1(1(2(2(1(2(0(0(2(0(1(2(0(1(0(1(1(0(2(2(x1)))))))))))))))))))) -> 181.41/51.59 1(1(1(2(2(0(0(0(1(2(0(2(1(0(1(1(2(0(1(2(x1)))))))))))))))))))) 181.41/51.59 1(2(0(0(0(2(1(0(0(1(0(2(1(1(2(0(1(1(1(1(x1)))))))))))))))))))) -> 181.41/51.59 0(1(1(1(1(2(0(2(2(0(1(2(1(1(1(1(2(1(0(0(x1)))))))))))))))))))) 181.41/51.59 1(2(0(1(1(2(2(0(2(2(0(1(0(2(2(2(0(1(0(2(x1)))))))))))))))))))) -> 181.41/51.59 1(2(1(1(2(1(1(2(0(2(1(1(2(2(1(0(2(2(1(1(x1)))))))))))))))))))) 181.41/51.59 1(2(0(1(2(1(1(0(1(0(1(0(0(1(2(0(2(0(1(0(x1)))))))))))))))))))) -> 181.41/51.59 0(1(1(1(0(2(2(0(2(2(2(0(2(2(2(0(1(0(1(1(x1)))))))))))))))))))) 181.41/51.59 1(2(0(2(0(2(1(1(2(1(1(2(1(0(0(0(2(2(1(2(x1)))))))))))))))))))) -> 181.41/51.59 2(1(2(2(1(1(2(0(1(2(1(2(1(1(0(1(0(1(2(2(x1)))))))))))))))))))) 181.41/51.59 1(2(1(0(1(0(0(2(0(0(2(2(1(0(1(1(2(1(2(2(x1)))))))))))))))))))) -> 181.41/51.59 1(2(2(0(2(1(2(2(2(2(2(0(1(2(0(2(0(2(0(1(x1)))))))))))))))))))) 181.41/51.59 1(2(1(0(1(2(2(1(2(0(2(0(1(0(0(0(2(0(2(2(x1)))))))))))))))))))) -> 181.41/51.59 2(1(1(1(2(1(1(0(2(2(2(1(2(1(1(2(1(0(2(1(x1)))))))))))))))))))) 181.41/51.59 1(2(1(1(2(0(0(0(0(2(1(1(0(0(2(1(1(1(1(0(x1)))))))))))))))))))) -> 181.41/51.59 1(2(1(1(1(2(0(2(1(0(1(0(2(0(0(2(0(0(1(1(x1)))))))))))))))))))) 181.41/51.59 1(2(1(1(2(1(2(2(0(2(1(0(1(2(0(2(0(0(1(0(x1)))))))))))))))))))) -> 181.41/51.59 1(1(1(1(1(2(1(2(2(2(2(1(1(0(1(1(2(1(0(2(x1)))))))))))))))))))) 181.41/51.59 1(2(1(2(2(1(1(0(2(1(0(0(2(0(2(2(0(1(2(1(x1)))))))))))))))))))) -> 181.41/51.59 1(1(1(0(1(2(2(1(2(1(1(1(1(0(1(1(1(2(1(2(x1)))))))))))))))))))) 181.41/51.59 1(2(2(0(0(1(2(0(2(1(1(0(0(1(2(2(1(0(0(2(x1)))))))))))))))))))) -> 181.41/51.59 1(1(1(1(0(1(2(2(1(2(1(1(0(2(2(0(1(0(0(2(x1)))))))))))))))))))) 181.41/51.59 1(2(2(2(2(2(2(1(2(0(2(1(0(2(1(2(1(1(2(0(x1)))))))))))))))))))) -> 181.41/51.59 1(1(1(2(1(1(1(1(0(2(0(0(2(0(2(1(1(1(1(1(x1)))))))))))))))))))) 181.41/51.59 2(0(0(0(1(0(0(0(1(2(1(2(0(0(0(2(2(1(2(1(x1)))))))))))))))))))) -> 181.41/51.59 1(1(2(1(1(1(0(0(0(1(2(1(2(2(2(1(0(1(0(2(x1)))))))))))))))))))) 181.41/51.59 2(0(0(0(2(2(0(1(0(2(1(0(1(0(1(1(0(1(0(2(x1)))))))))))))))))))) -> 181.41/51.59 2(1(2(2(0(0(0(2(2(1(1(0(1(0(2(1(0(2(1(2(x1)))))))))))))))))))) 181.41/51.59 2(0(0(1(0(2(1(1(0(1(2(1(0(1(1(1(1(1(2(2(x1)))))))))))))))))))) -> 181.41/51.59 2(1(1(1(2(2(2(2(2(2(1(2(1(2(0(1(0(2(2(2(x1)))))))))))))))))))) 181.41/51.59 2(0(0(1(1(2(1(1(0(2(2(0(0(0(1(1(0(2(2(2(x1)))))))))))))))))))) -> 181.41/51.59 2(2(1(2(2(2(1(2(0(2(0(1(0(1(1(2(1(2(2(1(x1)))))))))))))))))))) 181.41/51.59 2(0(0(1(2(0(2(1(1(2(0(0(0(0(1(0(0(2(2(1(x1)))))))))))))))))))) -> 181.41/51.59 0(1(1(2(2(0(2(1(1(0(1(0(1(0(0(0(1(2(2(1(x1)))))))))))))))))))) 181.41/51.59 2(0(0(2(0(0(2(0(1(0(1(1(2(1(1(1(2(1(2(2(x1)))))))))))))))))))) -> 181.41/51.59 2(0(2(1(2(2(1(1(2(2(1(0(1(1(0(0(1(1(0(2(x1)))))))))))))))))))) 181.41/51.59 2(0(0(2(0(1(1(1(1(1(2(1(0(0(0(2(1(1(2(2(x1)))))))))))))))))))) -> 181.41/51.59 2(2(0(1(2(2(2(1(0(2(2(2(1(1(1(2(2(2(2(0(x1)))))))))))))))))))) 181.41/51.59 2(0(0(2(1(0(0(2(1(1(1(2(2(1(1(1(2(2(2(2(x1)))))))))))))))))))) -> 181.41/51.59 2(0(2(2(0(1(2(1(2(2(2(1(1(2(2(1(1(1(1(1(x1)))))))))))))))))))) 181.41/51.59 2(0(1(0(0(2(0(2(2(2(1(1(2(2(1(0(0(0(2(2(x1)))))))))))))))))))) -> 181.41/51.59 2(1(2(1(0(0(0(1(2(2(0(1(2(2(1(0(1(0(2(2(x1)))))))))))))))))))) 181.41/51.59 2(0(1(0(2(1(1(0(0(1(0(0(1(0(1(2(1(0(2(1(x1)))))))))))))))))))) -> 181.41/51.59 0(2(2(1(0(1(1(1(0(1(1(2(2(2(0(0(2(1(0(1(x1)))))))))))))))))))) 181.41/51.59 2(0(1(1(0(0(1(0(2(1(1(1(0(0(0(2(2(2(2(2(x1)))))))))))))))))))) -> 181.41/51.59 2(1(1(1(1(2(2(0(0(1(0(2(0(1(2(2(0(1(1(1(x1)))))))))))))))))))) 181.41/51.59 2(0(1(2(2(1(0(0(0(2(0(1(1(2(0(0(0(0(1(2(x1)))))))))))))))))))) -> 181.41/51.59 1(2(2(2(1(1(1(0(1(2(2(2(1(1(1(2(0(0(2(0(x1)))))))))))))))))))) 181.41/51.59 2(0(1(2(2(1(0(2(0(1(2(0(1(2(2(2(0(0(1(1(x1)))))))))))))))))))) -> 181.41/51.59 2(1(2(1(1(2(0(1(2(1(0(1(1(0(2(1(1(1(1(0(x1)))))))))))))))))))) 181.41/51.59 2(0(2(0(0(1(2(0(0(2(2(1(0(2(1(1(2(1(1(1(x1)))))))))))))))))))) -> 181.41/51.59 1(2(1(1(1(0(2(2(2(1(0(1(1(1(0(2(2(2(1(1(x1)))))))))))))))))))) 181.41/51.59 2(0(2(0(2(1(2(2(0(0(0(1(2(0(2(2(0(2(1(2(x1)))))))))))))))))))) -> 181.41/51.59 0(2(2(2(0(1(2(2(1(1(2(1(2(0(0(0(1(0(1(2(x1)))))))))))))))))))) 181.41/51.59 2(0(2(1(1(2(1(2(0(1(1(2(0(2(2(1(2(0(2(1(x1)))))))))))))))))))) -> 181.41/51.59 2(1(1(2(2(0(2(1(1(1(0(2(0(1(2(2(2(1(2(2(x1)))))))))))))))))))) 181.41/51.59 2(0(2(2(0(2(0(2(0(0(0(2(2(0(2(0(1(0(2(0(x1)))))))))))))))))))) -> 181.41/51.61 2(1(0(0(2(0(1(0(2(1(1(2(2(1(1(0(0(0(2(1(x1)))))))))))))))))))) 181.41/51.61 2(0(2(2(1(0(0(0(1(1(0(1(0(0(0(2(2(1(1(1(x1)))))))))))))))))))) -> 181.41/51.61 1(1(1(0(2(2(1(1(0(0(2(0(2(2(1(2(0(1(1(1(x1)))))))))))))))))))) 181.41/51.61 2(0(2(2(1(0(2(0(2(1(1(2(1(1(1(0(0(1(1(0(x1)))))))))))))))))))) -> 181.41/51.61 2(0(1(2(1(2(1(0(1(2(0(2(0(0(2(2(1(1(1(1(x1)))))))))))))))))))) 181.41/51.61 2(0(2(2(1(1(1(0(1(0(2(0(1(0(1(2(1(0(0(2(x1)))))))))))))))))))) -> 181.41/51.61 2(2(2(2(1(2(0(1(2(1(1(2(1(2(0(1(2(1(1(0(x1)))))))))))))))))))) 181.41/51.61 2(1(0(0(0(1(0(0(0(1(2(2(1(1(1(1(2(1(2(2(x1)))))))))))))))))))) -> 181.41/51.61 2(0(2(2(2(2(1(1(2(2(0(1(2(1(0(1(2(1(0(1(x1)))))))))))))))))))) 181.41/51.61 2(1(0(0(2(1(0(1(1(2(2(1(0(0(2(2(0(2(0(1(x1)))))))))))))))))))) -> 181.41/51.61 1(2(2(2(1(2(0(0(1(2(1(1(1(0(1(0(1(1(0(1(x1)))))))))))))))))))) 181.41/51.61 2(1(0(1(0(1(2(1(2(2(0(2(2(2(2(1(0(0(1(2(x1)))))))))))))))))))) -> 181.41/51.61 2(1(0(1(0(1(2(1(1(1(1(1(0(1(1(2(0(0(0(2(x1)))))))))))))))))))) 181.41/51.61 2(1(0(1(1(0(0(0(2(0(2(2(2(2(0(0(2(0(0(0(x1)))))))))))))))))))) -> 181.41/51.61 1(1(2(0(2(1(2(0(2(1(0(2(1(2(0(1(0(1(1(1(x1)))))))))))))))))))) 181.41/51.61 2(1(0(1(1(2(0(1(0(0(0(1(0(0(1(0(0(2(1(1(x1)))))))))))))))))))) -> 181.41/51.61 2(0(1(0(2(2(2(0(1(2(1(0(0(2(2(2(0(0(2(2(x1)))))))))))))))))))) 181.41/51.61 2(1(0(2(1(1(0(2(0(2(0(1(0(2(0(0(1(1(1(0(x1)))))))))))))))))))) -> 181.41/51.61 2(1(1(2(1(0(0(1(0(2(2(1(0(1(2(2(0(1(1(2(x1)))))))))))))))))))) 181.41/51.61 2(1(0(2(2(0(1(2(1(1(0(0(2(1(1(0(1(0(2(2(x1)))))))))))))))))))) -> 181.41/51.61 2(1(1(1(0(2(2(2(2(2(0(1(1(2(0(0(1(0(0(2(x1)))))))))))))))))))) 181.41/51.61 2(1(0(2(2(2(0(1(1(0(1(2(1(2(0(1(0(0(2(2(x1)))))))))))))))))))) -> 181.41/51.61 2(2(2(1(2(0(0(2(0(0(2(0(1(1(1(1(1(1(1(1(x1)))))))))))))))))))) 181.41/51.61 2(1(1(0(0(1(1(2(1(2(0(1(0(0(2(1(0(0(0(2(x1)))))))))))))))))))) -> 181.41/51.61 2(1(0(2(0(1(2(1(1(0(1(0(0(1(0(2(1(2(0(1(x1)))))))))))))))))))) 181.41/51.61 2(1(1(0(0(1(2(1(1(1(1(0(0(1(2(2(0(0(1(1(x1)))))))))))))))))))) -> 181.41/51.61 2(0(0(2(1(1(2(2(2(2(1(2(2(2(1(1(0(1(0(1(x1)))))))))))))))))))) 181.41/51.61 2(1(1(0(0(2(0(2(2(0(0(1(1(1(2(1(0(1(2(2(x1)))))))))))))))))))) -> 181.41/51.61 2(1(0(1(1(0(0(2(2(2(2(2(2(1(2(2(2(1(2(2(x1)))))))))))))))))))) 181.41/51.61 2(1(1(1(0(1(1(0(2(0(2(2(0(0(2(0(0(1(2(0(x1)))))))))))))))))))) -> 181.41/51.61 0(2(2(1(1(2(2(0(0(2(1(1(2(2(2(1(1(0(2(2(x1)))))))))))))))))))) 181.41/51.61 2(1(1(1(0(2(1(2(1(2(1(2(0(0(1(1(2(0(1(1(x1)))))))))))))))))))) -> 181.41/51.61 2(2(2(2(2(2(1(2(2(1(1(1(2(1(2(0(0(2(1(2(x1)))))))))))))))))))) 181.41/51.61 2(1(1(1(1(0(0(1(0(0(0(0(1(0(0(0(1(1(2(1(x1)))))))))))))))))))) -> 181.41/51.61 0(2(1(2(1(2(1(0(1(1(1(1(2(0(2(0(2(0(2(1(x1)))))))))))))))))))) 181.41/51.61 2(1(2(1(0(2(2(1(2(2(0(2(1(1(1(2(0(1(2(2(x1)))))))))))))))))))) -> 181.41/51.61 2(1(0(1(1(2(1(1(1(1(0(2(0(1(1(2(0(2(2(2(x1)))))))))))))))))))) 181.41/51.61 2(1(2(2(0(1(2(0(0(1(0(0(1(1(2(1(2(0(2(2(x1)))))))))))))))))))) -> 181.41/51.61 2(1(2(0(1(0(0(2(2(1(1(0(2(0(1(1(0(1(2(2(x1)))))))))))))))))))) 181.41/51.61 2(1(2(2(1(1(2(0(2(1(2(0(0(1(0(1(1(2(1(2(x1)))))))))))))))))))) -> 181.41/51.61 0(2(0(0(2(2(2(2(1(1(0(1(1(0(2(2(2(2(2(2(x1)))))))))))))))))))) 181.41/51.61 2(2(0(0(0(2(2(0(1(2(0(0(1(1(0(0(2(0(2(1(x1)))))))))))))))))))) -> 181.41/51.61 2(0(2(2(0(2(0(2(0(0(0(1(0(2(2(2(2(1(1(0(x1)))))))))))))))))))) 181.41/51.61 2(2(0(1(2(2(1(1(0(2(0(0(1(0(1(1(2(0(2(1(x1)))))))))))))))))))) -> 181.41/51.61 2(1(0(1(1(2(1(1(1(0(2(1(1(0(2(2(1(2(1(1(x1)))))))))))))))))))) 181.41/51.61 2(2(0(2(1(0(1(2(2(2(2(1(2(1(2(2(0(2(0(0(x1)))))))))))))))))))) -> 181.41/51.61 1(1(1(1(1(1(2(0(1(1(2(1(1(2(1(2(0(1(2(2(x1)))))))))))))))))))) 181.41/51.61 2(2(0(2(1(0(2(0(0(2(1(0(1(1(1(2(1(1(1(2(x1)))))))))))))))))))) -> 181.41/51.61 2(0(0(2(2(2(2(2(1(2(2(1(0(1(1(1(2(2(0(1(x1)))))))))))))))))))) 181.41/51.61 2(2(0(2(1(2(1(1(2(2(1(1(2(2(0(0(1(0(1(1(x1)))))))))))))))))))) -> 181.41/51.61 2(2(0(2(0(1(0(1(0(1(2(1(1(1(1(1(1(1(1(0(x1)))))))))))))))))))) 181.41/51.61 2(2(0(2(2(0(2(2(1(1(0(2(0(1(2(0(1(2(1(2(x1)))))))))))))))))))) -> 181.41/51.61 2(2(0(1(1(1(1(1(1(2(2(1(2(2(2(0(1(2(0(1(x1)))))))))))))))))))) 181.41/51.61 2(2(1(0(0(2(1(1(2(0(2(1(0(1(0(2(2(1(0(2(x1)))))))))))))))))))) -> 181.41/51.61 2(1(0(0(2(2(2(2(0(2(0(2(2(2(1(0(2(1(1(1(x1)))))))))))))))))))) 181.41/51.61 2(2(1(0(1(0(2(0(1(1(1(1(1(2(0(0(1(1(0(1(x1)))))))))))))))))))) -> 181.41/51.61 2(2(2(1(1(2(2(1(2(2(2(0(1(2(1(1(2(1(0(0(x1)))))))))))))))))))) 181.41/51.61 2(2(1(0(1(2(0(0(0(2(1(2(2(1(1(2(1(2(0(2(x1)))))))))))))))))))) -> 181.41/51.61 2(1(1(1(1(0(1(1(0(0(1(1(0(1(2(1(1(1(2(0(x1)))))))))))))))))))) 181.41/51.61 2(2(1(0(1(2(0(2(2(1(0(1(2(1(2(0(0(1(2(2(x1)))))))))))))))))))) -> 181.41/51.61 2(1(0(2(1(1(1(1(1(2(2(2(2(0(1(1(0(2(2(1(x1)))))))))))))))))))) 181.41/51.61 2(2(1(1(0(2(0(0(1(2(0(0(1(0(0(1(0(2(2(2(x1)))))))))))))))))))) -> 181.41/51.61 2(1(2(2(0(2(2(0(2(0(0(1(2(0(2(0(0(2(2(2(x1)))))))))))))))))))) 181.41/51.61 2(2(1(1(2(1(2(0(2(0(2(0(2(1(0(0(2(0(1(2(x1)))))))))))))))))))) -> 181.41/51.61 0(1(2(2(0(0(0(1(1(1(2(2(1(1(2(1(1(2(1(2(x1)))))))))))))))))))) 181.41/51.61 2(2(1(2(1(2(1(1(1(2(0(0(0(0(2(0(1(0(2(2(x1)))))))))))))))))))) -> 181.41/51.61 2(1(2(1(2(0(2(2(2(0(1(1(2(2(0(2(2(2(1(0(x1)))))))))))))))))))) 181.41/51.61 2(2(2(1(1(2(0(1(2(2(2(1(0(2(0(0(0(0(1(0(x1)))))))))))))))))))) -> 181.41/51.61 0(2(2(2(1(1(1(1(0(2(2(1(0(1(0(2(2(0(1(0(x1)))))))))))))))))))) 181.41/51.61 2(2(2(1(2(0(0(0(2(1(1(2(2(0(1(0(2(0(1(1(x1)))))))))))))))))))) -> 181.41/51.61 2(0(0(0(1(2(2(2(2(0(2(1(0(2(2(2(1(0(1(1(x1)))))))))))))))))))) 181.41/51.61 2(2(2(2(1(1(0(1(0(2(2(1(2(0(0(1(0(2(0(2(x1)))))))))))))))))))) -> 181.41/51.61 2(2(2(0(1(1(0(1(2(2(2(0(2(1(0(0(1(1(1(1(x1)))))))))))))))))))) 181.41/51.61 181.41/51.61 Proof: 181.41/51.61 Open 181.41/51.62 EOF