MAYBE 361.08/95.82 MAYBE 361.08/95.82 361.08/95.82 Problem: 361.08/95.82 0(x1) -> 1(x1) 361.08/95.82 0(0(x1)) -> 0(x1) 361.08/95.82 3(4(5(x1))) -> 4(3(5(x1))) 361.08/95.82 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( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.82 ( 361.08/95.82 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 361.08/95.83 -> 361.08/95.83 1(1(1(0(1(1(0(0(0(0(0(1(1(0(1(1(1(0(0(1(0(1(1(0(1(1(1(1(0(0(0(1(1(1( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0(0(1(1(0(1(0(0(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 361.08/95.83 0(0(1(1(1(1(0(0(0(0(0(0(0(0(1(1(0(0(1(1(0(1(1(0(1(0(0(0(1(0(0(0(1(1( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 1 361.08/95.83 ( 361.08/95.83 0 361.08/95.83 ( 361.08/95.83 0(1(0(0(1(0(0(1(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 361.08/95.83 -> 361.08/95.83 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( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2 361.08/95.83 ( 361.08/95.83 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 361.08/95.83 361.08/95.83 Proof: 361.08/95.83 Open 361.08/95.84 EOF