MAYBE
149.93/55.48	MAYBE
149.93/55.48	
149.93/55.48	Problem:
149.93/55.48	 0(0(0(0(x1)))) -> 0(1(0(1(x1))))
149.93/55.48	 0(1(0(1(x1)))) -> 0(0(1(0(x1))))
149.93/55.48	
149.93/55.48	Proof:
149.93/55.48	 Open
149.93/55.48	EOF