MAYBE
140.12/55.45	MAYBE
140.12/55.45	
140.12/55.45	Problem:
140.12/55.45	 a(a(a(x1))) -> x1
140.12/55.45	 b(a(b(b(x1)))) -> a(b(b(b(a(x1)))))
140.12/55.45	
140.12/55.45	Proof:
140.12/55.45	 Open
140.12/55.45	EOF