MAYBE
141.26/55.34	MAYBE
141.26/55.34	
141.26/55.34	Problem:
141.26/55.34	 a(b(a(x1))) -> b(b(b(b(x1))))
141.26/55.34	 a(b(b(x1))) -> b(b(a(a(x1))))
141.26/55.34	
141.26/55.34	Proof:
141.26/55.34	 Open
141.26/55.35	EOF