MAYBE
153.34/55.57	MAYBE
153.34/55.57	
153.34/55.57	Problem:
153.34/55.57	 0(0(0(0(x1)))) -> 1(0(0(1(x1))))
153.34/55.57	 0(1(0(1(x1)))) -> 0(0(1(0(x1))))
153.34/55.57	
153.34/55.57	Proof:
153.34/55.57	 Open
153.34/55.57	EOF