MAYBE 400.10/108.44 MAYBE 400.10/108.45 400.10/108.45 Problem: 400.10/108.45 0(x1) -> 1(x1) 400.10/108.45 0(0(x1)) -> 0(x1) 400.10/108.45 3(4(5(x1))) -> 4(3(5(x1))) 400.10/108.45 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( 400.10/108.45 2 400.10/108.45 ( 400.10/108.45 2 400.10/108.45 ( 400.10/108.45 2 400.10/108.45 ( 400.10/108.45 2 400.10/108.45 ( 400.10/108.45 2 400.10/108.45 ( 400.10/108.45 2 400.10/108.45 ( 400.10/108.45 2 400.10/108.45 ( 400.10/108.45 2 400.10/108.45 ( 400.10/108.45 2 400.10/108.45 ( 400.10/108.45 2 400.10/108.45 ( 400.10/108.45 2 400.10/108.45 ( 400.10/108.45 2 400.10/108.45 ( 400.10/108.45 2 400.10/108.45 ( 400.10/108.45 2 400.10/108.45 ( 400.10/108.45 2 400.10/108.45 ( 400.10/108.45 2 400.10/108.45 ( 400.10/108.45 2 400.10/108.45 ( 400.10/108.45 2 400.10/108.45 ( 400.10/108.45 2 400.10/108.45 ( 400.10/108.45 2 400.10/108.45 ( 400.10/108.45 2 400.10/108.45 ( 400.10/108.45 2 400.10/108.45 ( 400.10/108.45 2 400.10/108.45 ( 400.10/108.45 2 400.10/108.45 ( 400.10/108.45 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 400.10/108.45 -> 400.10/108.45 0(0(1(0(0(0(1(1(1(0(1(1(1(1(1(0(0(1(0(0(1(0(1(1(0(1(0(0(1(1(0(0(0(1( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0(1(1(0(0(0(1(1(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 400.10/108.45 0(1(0(0(1(1(1(1(1(1(0(1(1(0(1(1(0(1(0(0(0(1(0(0(0(1(1(1(1(0(1(0(1(0( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 1 400.10/108.45 ( 400.10/108.45 0 400.10/108.45 ( 400.10/108.45 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 0 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1 400.10/108.46 ( 400.10/108.46 1(0(0(0(1(0(0(0(0(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 400.10/108.46 -> 400.10/108.46 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( 400.10/108.46 2 400.10/108.46 ( 400.10/108.46 2 400.10/108.46 ( 400.10/108.46 2 400.10/108.46 ( 400.10/108.46 2 400.10/108.46 ( 400.10/108.46 2 400.10/108.46 ( 400.10/108.46 2 400.10/108.46 ( 400.10/108.46 2 400.10/108.46 ( 400.10/108.46 2 400.10/108.46 ( 400.10/108.46 2 400.10/108.46 ( 400.10/108.46 2 400.10/108.46 ( 400.10/108.46 2 400.10/108.46 ( 400.10/108.46 2 400.10/108.46 ( 400.10/108.46 2 400.10/108.46 ( 400.10/108.46 2 400.10/108.46 ( 400.10/108.46 2 400.10/108.46 ( 400.10/108.46 2 400.10/108.46 ( 400.10/108.46 2 400.10/108.46 ( 400.10/108.46 2 400.10/108.46 ( 400.10/108.46 2 400.10/108.46 ( 400.10/108.46 2 400.10/108.46 ( 400.10/108.46 2 400.10/108.46 ( 400.10/108.46 2 400.10/108.46 ( 400.10/108.46 2 400.10/108.46 ( 400.10/108.46 2 400.10/108.46 ( 400.10/108.46 2(2(2(2(2(2(2(2(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 400.10/108.46 400.10/108.46 Proof: 400.10/108.46 Open 400.10/108.47 EOF