MAYBE 364.30/96.94 MAYBE 364.30/96.94 364.30/96.94 Problem: 364.30/96.94 0(x1) -> 1(x1) 364.30/96.94 0(0(x1)) -> 0(x1) 364.30/96.94 3(4(5(x1))) -> 4(3(5(x1))) 364.30/96.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( 364.30/96.94 2 364.30/96.94 ( 364.30/96.94 2 364.30/96.94 ( 364.30/96.94 2 364.30/96.94 ( 364.30/96.94 2 364.30/96.94 ( 364.30/96.94 2 364.30/96.94 ( 364.30/96.94 2 364.30/96.94 ( 364.30/96.94 2 364.30/96.94 ( 364.30/96.94 2 364.30/96.94 ( 364.30/96.94 2 364.30/96.94 ( 364.30/96.94 2 364.30/96.94 ( 364.30/96.94 2 364.30/96.94 ( 364.30/96.94 2 364.30/96.94 ( 364.30/96.94 2 364.30/96.94 ( 364.30/96.94 2 364.30/96.94 ( 364.30/96.94 2 364.30/96.94 ( 364.30/96.94 2 364.30/96.94 ( 364.30/96.94 2 364.30/96.94 ( 364.30/96.94 2 364.30/96.94 ( 364.30/96.94 2 364.30/96.94 ( 364.30/96.94 2 364.30/96.94 ( 364.30/96.94 2 364.30/96.94 ( 364.30/96.94 2 364.30/96.94 ( 364.30/96.94 2 364.30/96.94 ( 364.30/96.94 2 364.30/96.94 ( 364.30/96.94 2 364.30/96.94 ( 364.30/96.94 2 364.30/96.94 ( 364.30/96.94 2 364.30/96.94 ( 364.30/96.94 2 364.30/96.94 ( 364.30/96.94 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2 364.30/96.95 ( 364.30/96.95 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 364.30/96.95 -> 364.30/96.95 0(0(1(0(1(1(0(1(0(0(1(0(1(0(1(1(0(1(1(0(1(0(1(0(1(0(1(1(0(0(0(1(1(1( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1(0(0(0(1(0(1(0(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 364.30/96.95 0(1(1(0(1(0(0(0(1(1(1(1(1(1(1(1(1(1(1(0(0(1(1(0(1(1(1(0(1(0(1(1(0(1( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 0 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.95 ( 364.30/96.95 1 364.30/96.96 ( 364.30/96.96 1 364.30/96.96 ( 364.30/96.96 0 364.30/96.96 ( 364.30/96.96 0 364.30/96.96 ( 364.30/96.96 0 364.30/96.96 ( 364.30/96.96 1 364.30/96.96 ( 364.30/96.96 1 364.30/96.96 ( 364.30/96.96 1 364.30/96.96 ( 364.30/96.96 0 364.30/96.96 ( 364.30/96.96 0 364.30/96.96 ( 364.30/96.96 1 364.30/96.96 ( 364.30/96.96 1(1(1(1(0(0(1(1(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 364.30/96.96 -> 364.30/96.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( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2 364.30/96.96 ( 364.30/96.96 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 364.30/96.96 364.30/96.96 Proof: 364.30/96.96 Open 364.30/96.96 EOF