MAYBE 392.10/105.95 MAYBE 392.10/105.95 392.10/105.95 Problem: 392.10/105.95 0(x1) -> 1(x1) 392.10/105.95 0(0(x1)) -> 0(x1) 392.10/105.95 3(4(5(x1))) -> 4(3(5(x1))) 392.10/105.95 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( 392.10/105.95 2 392.10/105.95 ( 392.10/105.95 2 392.10/105.95 ( 392.10/105.95 2 392.10/105.95 ( 392.10/105.95 2 392.10/105.95 ( 392.10/105.95 2 392.10/105.95 ( 392.10/105.95 2 392.10/105.95 ( 392.10/105.95 2 392.10/105.95 ( 392.10/105.95 2 392.10/105.95 ( 392.10/105.95 2 392.10/105.95 ( 392.10/105.95 2 392.10/105.95 ( 392.10/105.95 2 392.10/105.95 ( 392.10/105.95 2 392.10/105.95 ( 392.10/105.95 2 392.10/105.95 ( 392.10/105.95 2 392.10/105.95 ( 392.10/105.95 2 392.10/105.95 ( 392.10/105.95 2 392.10/105.95 ( 392.10/105.95 2 392.10/105.95 ( 392.10/105.95 2 392.10/105.95 ( 392.10/105.95 2 392.10/105.95 ( 392.10/105.95 2 392.10/105.95 ( 392.10/105.95 2 392.10/105.95 ( 392.10/105.95 2 392.10/105.95 ( 392.10/105.95 2 392.10/105.95 ( 392.10/105.95 2 392.10/105.95 ( 392.10/105.95 2 392.10/105.95 ( 392.10/105.95 2 392.10/105.95 ( 392.10/105.95 2 392.10/105.95 ( 392.10/105.95 2 392.10/105.95 ( 392.10/105.95 2 392.10/105.95 ( 392.10/105.95 2 392.10/105.95 ( 392.10/105.95 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 392.10/105.95 -> 392.10/105.95 1(0(1(0(0(1(1(1(1(0(0(0(1(1(1(0(0(0(1(1(0(0(1(1(1(0(1(1(0(1(1(1(1(0( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1(1(0(1(0(0(1(1(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 392.10/105.95 1(1(1(1(1(0(0(0(0(0(0(1(1(0(0(0(0(0(0(1(0(1(1(0(0(0(1(0(1(0(1(0(1(0( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.95 ( 392.10/105.95 0 392.10/105.95 ( 392.10/105.95 1 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 0 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 1 392.10/105.96 ( 392.10/105.96 0(1(1(1(1(0(1(1(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 392.10/105.96 -> 392.10/105.96 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( 392.10/105.96 2 392.10/105.96 ( 392.10/105.96 2 392.10/105.96 ( 392.10/105.96 2 392.10/105.96 ( 392.10/105.96 2 392.10/105.96 ( 392.10/105.96 2 392.10/105.96 ( 392.10/105.96 2 392.10/105.96 ( 392.10/105.96 2 392.10/105.96 ( 392.10/105.96 2 392.10/105.96 ( 392.10/105.96 2 392.10/105.96 ( 392.10/105.96 2 392.10/105.96 ( 392.10/105.96 2 392.10/105.96 ( 392.10/105.96 2 392.10/105.96 ( 392.10/105.96 2 392.10/105.96 ( 392.10/105.96 2 392.10/105.96 ( 392.10/105.96 2 392.10/105.96 ( 392.10/105.96 2 392.10/105.96 ( 392.10/105.96 2 392.10/105.96 ( 392.10/105.96 2 392.10/105.96 ( 392.10/105.96 2 392.10/105.96 ( 392.10/105.96 2 392.10/105.96 ( 392.10/105.96 2 392.10/105.96 ( 392.10/105.96 2 392.10/105.96 ( 392.10/105.96 2 392.10/105.96 ( 392.10/105.96 2 392.10/105.96 ( 392.10/105.96 2 392.10/105.96 ( 392.10/105.96 2 392.10/105.96 ( 392.10/105.96 2 392.10/105.96 ( 392.10/105.96 2 392.10/105.96 ( 392.10/105.96 2 392.10/105.96 ( 392.10/105.96 2 392.10/105.96 ( 392.10/105.96 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 392.10/105.96 392.10/105.96 Proof: 392.10/105.96 Open 392.10/105.96 EOF