MAYBE
141.48/55.49	MAYBE
141.48/55.49	
141.48/55.49	Problem:
141.48/55.49	 0(0(0(0(x1)))) -> 0(0(0(1(x1))))
141.48/55.49	 1(0(0(1(x1)))) -> 0(0(1(0(x1))))
141.48/55.49	
141.48/55.49	Proof:
141.48/55.49	 Open
141.48/55.49	EOF