178.42/51.56	MAYBE
178.42/51.56	
178.42/51.56	Problem:
178.42/51.56	 0(x1) -> 1(x1)
178.42/51.56	 0(0(x1)) -> 0(x1)
178.42/51.56	 3(4(5(x1))) -> 4(3(5(x1)))
178.42/51.56	 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(
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2
178.42/51.56	                                                                    (
178.42/51.56	                                                                    2(2(2(2(2(2(2(2(2(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
178.42/51.56	 ->
178.42/51.56	 0(1(0(1(0(0(1(0(0(0(0(0(0(1(0(1(1(0(1(1(1(0(1(0(0(1(0(1(1(0(0(0(1(1(
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0(0(0(1(1(0(0(1(1(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
178.42/51.56	 0(0(1(1(0(0(1(1(1(0(0(0(1(1(1(0(1(0(1(1(1(1(0(0(0(1(0(1(1(0(0(1(1(0(
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.56	                                                                    (
178.42/51.56	                                                                    1
178.42/51.56	                                                                    (
178.42/51.56	                                                                    0
178.42/51.57	                                                                    (
178.42/51.57	                                                                    1
178.42/51.57	                                                                    (
178.42/51.57	                                                                    1
178.42/51.57	                                                                    (
178.42/51.57	                                                                    0
178.42/51.57	                                                                    (
178.42/51.57	                                                                    1
178.42/51.57	                                                                    (
178.42/51.57	                                                                    0
178.42/51.57	                                                                    (
178.42/51.57	                                                                    0
178.42/51.57	                                                                    (
178.42/51.57	                                                                    0
178.42/51.57	                                                                    (
178.42/51.57	                                                                    1
178.42/51.57	                                                                    (
178.42/51.57	                                                                    1
178.42/51.57	                                                                    (
178.42/51.57	                                                                    1
178.42/51.57	                                                                    (
178.42/51.57	                                                                    1
178.42/51.57	                                                                    (
178.42/51.57	                                                                    0
178.42/51.57	                                                                    (
178.42/51.57	                                                                    1
178.42/51.57	                                                                    (
178.42/51.57	                                                                    1
178.42/51.57	                                                                    (
178.42/51.57	                                                                    1
178.42/51.57	                                                                    (
178.42/51.57	                                                                    1
178.42/51.57	                                                                    (
178.42/51.57	                                                                    1
178.42/51.57	                                                                    (
178.42/51.57	                                                                    0
178.42/51.57	                                                                    (
178.42/51.57	                                                                    1
178.42/51.57	                                                                    (
178.42/51.57	                                                                    0
178.42/51.57	                                                                    (
178.42/51.57	                                                                    1
178.42/51.57	                                                                    (
178.42/51.57	                                                                    1
178.42/51.57	                                                                    (
178.42/51.57	                                                                    0(1(1(0(1(0(0(1(1(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
178.42/51.57	 ->
178.42/51.57	 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(
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2
178.42/51.57	                                                                    (
178.42/51.57	                                                                    2(2(2(2(2(2(2(2(2(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
178.42/51.57	
178.42/51.57	Proof:
178.42/51.57	 Open
178.42/51.57	EOF