MAYBE 420.25/115.74 MAYBE 420.25/115.74 420.25/115.74 Problem: 420.25/115.74 0(x1) -> 1(x1) 420.25/115.74 0(0(x1)) -> 0(x1) 420.25/115.74 3(4(5(x1))) -> 4(3(5(x1))) 420.25/115.74 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( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2 420.25/115.74 ( 420.25/115.74 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 420.25/115.74 -> 420.25/115.74 1(1(1(1(1(1(0(0(0(0(1(0(1(0(1(1(1(0(0(0(1(1(1(0(1(0(0(0(1(0(0(1(1(0( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 0 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.74 1 420.25/115.74 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0(1(1(1(0(0(0(0(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 420.25/115.75 1(0(1(1(1(1(1(0(0(1(1(1(1(0(0(1(0(1(0(0(1(0(0(0(0(1(1(1(1(0(0(1(0(0( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 0 420.25/115.75 ( 420.25/115.75 1 420.25/115.75 ( 420.25/115.75 1(1(1(0(0(1(0(1(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 420.25/115.75 -> 420.25/115.75 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( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.75 ( 420.25/115.75 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2 420.25/115.76 ( 420.25/115.76 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 420.25/115.76 420.25/115.76 Proof: 420.25/115.76 Open 420.25/115.76 EOF