MAYBE 355.82/94.67 MAYBE 355.82/94.67 355.82/94.67 Problem: 355.82/94.67 0(x1) -> 1(x1) 355.82/94.67 0(0(x1)) -> 0(x1) 355.82/94.67 3(4(5(x1))) -> 4(3(5(x1))) 355.82/94.67 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( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2 355.82/94.67 ( 355.82/94.67 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 355.82/94.67 -> 355.82/94.67 1(1(0(0(1(0(0(1(1(1(1(1(0(1(0(0(1(1(1(0(0(1(0(0(0(1(1(0(0(1(0(1(1(0( 355.82/94.67 0 355.82/94.67 ( 355.82/94.67 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1(0(1(1(1(1(0(0(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 355.82/94.68 0(0(0(1(1(0(1(0(0(0(0(0(0(1(0(0(1(0(0(1(1(0(1(1(0(1(1(0(1(1(0(0(0(1( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 0 355.82/94.68 ( 355.82/94.68 1(0(0(1(0(1(0(1(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 355.82/94.68 -> 355.82/94.68 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( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2 355.82/94.68 ( 355.82/94.68 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 355.82/94.68 355.82/94.68 Proof: 355.82/94.68 Open 355.82/94.69 EOF