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