182.96/56.14 MAYBE 182.96/56.14 182.96/56.14 Problem: 182.96/56.14 0(x1) -> 1(x1) 182.96/56.14 0(0(x1)) -> 0(x1) 182.96/56.14 3(4(5(x1))) -> 4(3(5(x1))) 182.96/56.14 2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2( 182.96/56.14 2 182.96/56.14 ( 182.96/56.14 2 182.96/56.14 ( 182.96/56.14 2 182.96/56.14 ( 182.96/56.14 2 182.96/56.14 ( 182.96/56.14 2 182.96/56.14 ( 182.96/56.14 2 182.96/56.14 ( 182.96/56.14 2 182.96/56.14 ( 182.96/56.14 2 182.96/56.14 ( 182.96/56.14 2 182.96/56.14 ( 182.96/56.14 2 182.96/56.14 ( 182.96/56.14 2 182.96/56.14 ( 182.96/56.14 2 182.96/56.14 ( 182.96/56.14 2 182.96/56.14 ( 182.96/56.14 2 182.96/56.14 ( 182.96/56.14 2 182.96/56.14 ( 182.96/56.14 2 182.96/56.14 ( 182.96/56.14 2 182.96/56.14 ( 182.96/56.14 2 182.96/56.14 ( 182.96/56.14 2 182.96/56.14 ( 182.96/56.14 2 182.96/56.14 ( 182.96/56.14 2 182.96/56.14 ( 182.96/56.14 2 182.96/56.14 ( 182.96/56.14 2 182.96/56.14 ( 182.96/56.14 2 182.96/56.14 ( 182.96/56.14 2 182.96/56.14 ( 182.96/56.14 2 182.96/56.14 ( 182.96/56.14 2 182.96/56.14 ( 182.96/56.14 2 182.96/56.14 ( 182.96/56.14 2 182.96/56.14 ( 182.96/56.14 2 182.96/56.14 ( 182.96/56.14 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 182.96/56.14 -> 182.96/56.14 1(1(0(1(1(0(0(1(1(1(1(0(0(1(0(0(1(1(1(1(1(1(1(1(1(1(1(0(1(0(0(1(1(0( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.14 1 182.96/56.14 ( 182.96/56.14 0 182.96/56.14 ( 182.96/56.15 0 182.96/56.15 ( 182.96/56.15 0 182.96/56.15 ( 182.96/56.15 0 182.96/56.15 ( 182.96/56.15 1(1(1(1(0(0(0(1(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 182.96/56.15 0(0(1(1(0(0(1(0(0(1(0(1(1(1(0(1(0(1(1(0(1(1(0(0(1(0(0(1(1(0(0(1(0(1( 182.96/56.15 0 182.96/56.15 ( 182.96/56.15 0 182.96/56.15 ( 182.96/56.15 1 182.96/56.15 ( 182.96/56.15 1 182.96/56.15 ( 182.96/56.15 1 182.96/56.15 ( 182.96/56.15 0 182.96/56.15 ( 182.96/56.15 1 182.96/56.15 ( 182.96/56.15 0 182.96/56.15 ( 182.96/56.15 1 182.96/56.15 ( 182.96/56.15 0 182.96/56.15 ( 182.96/56.15 0 182.96/56.15 ( 182.96/56.15 0 182.96/56.15 ( 182.96/56.15 1 182.96/56.15 ( 182.96/56.15 1 182.96/56.15 ( 182.96/56.15 1 182.96/56.15 ( 182.96/56.15 0 182.96/56.15 ( 182.96/56.15 0 182.96/56.15 ( 182.96/56.15 1 182.96/56.15 ( 182.96/56.15 0 182.96/56.15 ( 182.96/56.15 1 182.96/56.15 ( 182.96/56.15 1 182.96/56.15 ( 182.96/56.15 0 182.96/56.15 ( 182.96/56.15 0 182.96/56.15 ( 182.96/56.15 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 1 182.96/56.16 ( 182.96/56.16 0 182.96/56.16 ( 182.96/56.16 0(1(0(1(1(1(1(1(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 182.96/56.16 -> 182.96/56.16 2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2( 182.96/56.16 2 182.96/56.16 ( 182.96/56.16 2 182.96/56.16 ( 182.96/56.16 2 182.96/56.16 ( 182.96/56.16 2 182.96/56.16 ( 182.96/56.16 2 182.96/56.16 ( 182.96/56.16 2 182.96/56.16 ( 182.96/56.16 2 182.96/56.16 ( 182.96/56.16 2 182.96/56.16 ( 182.96/56.16 2 182.96/56.16 ( 182.96/56.16 2 182.96/56.16 ( 182.96/56.16 2 182.96/56.16 ( 182.96/56.16 2 182.96/56.16 ( 182.96/56.16 2 182.96/56.16 ( 182.96/56.16 2 182.96/56.16 ( 182.96/56.16 2 182.96/56.16 ( 182.96/56.16 2 182.96/56.16 ( 182.96/56.16 2 182.96/56.16 ( 182.96/56.16 2 182.96/56.16 ( 182.96/56.16 2 182.96/56.16 ( 182.96/56.16 2 182.96/56.16 ( 182.96/56.16 2 182.96/56.16 ( 182.96/56.16 2 182.96/56.16 ( 182.96/56.16 2 182.96/56.16 ( 182.96/56.16 2 182.96/56.16 ( 182.96/56.16 2 182.96/56.16 ( 182.96/56.16 2 182.96/56.16 ( 182.96/56.16 2 182.96/56.16 ( 182.96/56.16 2 182.96/56.16 ( 182.96/56.16 2 182.96/56.16 ( 182.96/56.16 2 182.96/56.16 ( 182.96/56.16 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 182.96/56.16 182.96/56.16 Proof: 182.96/56.16 Open 182.96/56.16 EOF