MAYBE 356.61/94.92 MAYBE 356.61/94.93 356.61/94.93 Problem: 356.61/94.93 0(x1) -> 1(x1) 356.61/94.93 0(0(x1)) -> 0(x1) 356.61/94.93 3(4(5(x1))) -> 4(3(5(x1))) 356.61/94.93 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( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2 356.61/94.93 ( 356.61/94.93 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 356.61/94.93 -> 356.61/94.93 1(0(0(1(1(1(0(0(1(0(1(0(0(1(0(1(1(0(0(1(0(1(0(0(0(0(1(1(1(0(1(1(1(1( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1(1(1(1(1(1(1(1(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 356.61/94.93 0(1(1(1(1(0(0(1(0(1(0(0(1(0(0(1(0(1(1(1(1(0(1(0(1(1(0(1(1(1(1(1(0(0( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 0 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.93 ( 356.61/94.93 1 356.61/94.94 ( 356.61/94.94 0 356.61/94.94 ( 356.61/94.94 0 356.61/94.94 ( 356.61/94.94 1 356.61/94.94 ( 356.61/94.94 0 356.61/94.94 ( 356.61/94.94 0 356.61/94.94 ( 356.61/94.94 0 356.61/94.94 ( 356.61/94.94 1 356.61/94.94 ( 356.61/94.94 0 356.61/94.94 ( 356.61/94.94 1 356.61/94.94 ( 356.61/94.94 1 356.61/94.94 ( 356.61/94.94 0 356.61/94.94 ( 356.61/94.94 1 356.61/94.94 ( 356.61/94.94 1 356.61/94.94 ( 356.61/94.94 0 356.61/94.94 ( 356.61/94.94 0 356.61/94.94 ( 356.61/94.94 0 356.61/94.94 ( 356.61/94.94 1 356.61/94.94 ( 356.61/94.94 0 356.61/94.94 ( 356.61/94.94 1 356.61/94.94 ( 356.61/94.94 0 356.61/94.94 ( 356.61/94.94 1 356.61/94.94 ( 356.61/94.94 0 356.61/94.94 ( 356.61/94.94 1 356.61/94.94 ( 356.61/94.94 0 356.61/94.94 ( 356.61/94.94 0 356.61/94.94 ( 356.61/94.94 1 356.61/94.94 ( 356.61/94.94 0 356.61/94.94 ( 356.61/94.94 1 356.61/94.94 ( 356.61/94.94 1 356.61/94.94 ( 356.61/94.94 1 356.61/94.94 ( 356.61/94.94 0 356.61/94.94 ( 356.61/94.94 1 356.61/94.94 ( 356.61/94.94 1 356.61/94.94 ( 356.61/94.94 0 356.61/94.94 ( 356.61/94.94 1(0(0(0(1(0(1(1(1(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 356.61/94.94 -> 356.61/94.94 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( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2 356.61/94.94 ( 356.61/94.94 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 356.61/94.94 356.61/94.94 Proof: 356.61/94.94 Open 356.61/94.94 EOF