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