MAYBE 393.62/106.62 MAYBE 393.62/106.63 393.62/106.63 Problem: 393.62/106.63 0(x1) -> 1(x1) 393.62/106.63 0(0(x1)) -> 0(x1) 393.62/106.63 3(4(5(x1))) -> 4(3(5(x1))) 393.62/106.63 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( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2 393.62/106.63 ( 393.62/106.63 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 393.62/106.63 -> 393.62/106.63 0(1(0(1(0(1(1(1(1(1(1(1(1(1(0(1(0(0(0(1(1(0(0(1(0(0(0(0(0(0(1(0(0(1( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0(1(0(1(0(0(0(0(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 393.62/106.63 0(0(0(1(0(1(0(1(0(1(1(0(0(1(0(1(0(0(0(1(1(0(1(1(1(1(0(1(1(0(0(0(1(0( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 0 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.63 1 393.62/106.63 ( 393.62/106.64 0 393.62/106.64 ( 393.62/106.64 1 393.62/106.64 ( 393.62/106.64 1 393.62/106.64 ( 393.62/106.64 0 393.62/106.64 ( 393.62/106.64 1 393.62/106.64 ( 393.62/106.64 1 393.62/106.64 ( 393.62/106.64 1 393.62/106.64 ( 393.62/106.64 0 393.62/106.64 ( 393.62/106.64 0 393.62/106.64 ( 393.62/106.64 0 393.62/106.64 ( 393.62/106.64 1 393.62/106.64 ( 393.62/106.64 1 393.62/106.64 ( 393.62/106.64 1 393.62/106.64 ( 393.62/106.64 1 393.62/106.64 ( 393.62/106.64 0 393.62/106.64 ( 393.62/106.64 0 393.62/106.64 ( 393.62/106.64 1 393.62/106.64 ( 393.62/106.64 1 393.62/106.64 ( 393.62/106.64 1 393.62/106.64 ( 393.62/106.64 0 393.62/106.64 ( 393.62/106.64 0 393.62/106.64 ( 393.62/106.64 1 393.62/106.64 ( 393.62/106.64 0 393.62/106.64 ( 393.62/106.64 0 393.62/106.64 ( 393.62/106.64 1 393.62/106.64 ( 393.62/106.64 1 393.62/106.64 ( 393.62/106.64 0 393.62/106.64 ( 393.62/106.64 0 393.62/106.64 ( 393.62/106.64 0 393.62/106.64 ( 393.62/106.64 0 393.62/106.64 ( 393.62/106.64 1 393.62/106.64 ( 393.62/106.64 1 393.62/106.64 ( 393.62/106.64 0 393.62/106.64 ( 393.62/106.64 0 393.62/106.64 ( 393.62/106.64 0 393.62/106.64 ( 393.62/106.64 0 393.62/106.64 ( 393.62/106.64 0 393.62/106.64 ( 393.62/106.64 1 393.62/106.64 ( 393.62/106.64 1 393.62/106.64 ( 393.62/106.64 0 393.62/106.64 ( 393.62/106.64 1 393.62/106.64 ( 393.62/106.64 0 393.62/106.64 ( 393.62/106.64 0 393.62/106.64 ( 393.62/106.64 1 393.62/106.64 ( 393.62/106.64 0 393.62/106.64 ( 393.62/106.64 1 393.62/106.64 ( 393.62/106.64 0 393.62/106.64 ( 393.62/106.64 1 393.62/106.64 ( 393.62/106.64 0 393.62/106.64 ( 393.62/106.64 0(1(1(1(1(1(0(1(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 393.62/106.64 -> 393.62/106.64 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( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2 393.62/106.64 ( 393.62/106.64 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 393.62/106.64 393.62/106.64 Proof: 393.62/106.64 Open 393.62/106.64 EOF