MAYBE
94.45/37.88	MAYBE
94.45/37.88	
94.45/37.88	Problem:
94.45/37.88	 1(0(x1)) -> 0(0(0(1(x1))))
94.45/37.88	 0(1(x1)) -> 1(x1)
94.45/37.88	 1(1(x1)) -> 0(0(0(0(x1))))
94.45/37.88	 0(0(x1)) -> 0(x1)
94.45/37.88	
94.45/37.88	Proof:
94.45/37.88	 Open
94.45/37.88	EOF