MAYBE 391.82/106.21 MAYBE 391.82/106.22 391.82/106.22 Problem: 391.82/106.22 0(x1) -> 1(x1) 391.82/106.22 0(0(x1)) -> 0(x1) 391.82/106.22 3(4(5(x1))) -> 4(3(5(x1))) 391.82/106.22 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( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2 391.82/106.22 ( 391.82/106.22 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 391.82/106.22 -> 391.82/106.22 0(0(1(0(1(1(0(1(1(1(1(1(1(1(1(0(0(0(0(0(0(1(1(1(1(1(0(0(1(1(1(1(0(0( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0(1(1(1(1(1(1(1(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 391.82/106.22 1(1(1(1(1(1(0(1(1(1(1(1(1(0(0(0(1(0(1(1(1(0(1(1(1(0(1(0(1(0(1(1(0(1( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 0 391.82/106.22 ( 391.82/106.22 1 391.82/106.22 ( 391.82/106.23 1 391.82/106.23 ( 391.82/106.23 1 391.82/106.23 ( 391.82/106.23 1 391.82/106.23 ( 391.82/106.23 0 391.82/106.23 ( 391.82/106.23 0 391.82/106.23 ( 391.82/106.23 1 391.82/106.23 ( 391.82/106.23 1 391.82/106.23 ( 391.82/106.23 0 391.82/106.23 ( 391.82/106.23 1 391.82/106.23 ( 391.82/106.23 0 391.82/106.23 ( 391.82/106.23 1 391.82/106.23 ( 391.82/106.23 1 391.82/106.23 ( 391.82/106.23 0 391.82/106.23 ( 391.82/106.23 0 391.82/106.23 ( 391.82/106.23 0 391.82/106.23 ( 391.82/106.23 1 391.82/106.23 ( 391.82/106.23 0 391.82/106.23 ( 391.82/106.23 1 391.82/106.23 ( 391.82/106.23 0 391.82/106.23 ( 391.82/106.23 0 391.82/106.23 ( 391.82/106.23 0 391.82/106.23 ( 391.82/106.23 0 391.82/106.23 ( 391.82/106.23 0 391.82/106.23 ( 391.82/106.23 1(0(0(1(1(1(0(1(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 391.82/106.23 -> 391.82/106.23 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( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2 391.82/106.23 ( 391.82/106.23 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 391.82/106.23 391.82/106.23 Proof: 391.82/106.23 Open 391.82/106.23 EOF