MAYBE
144.04/55.36	MAYBE
144.04/55.36	
144.04/55.36	Problem:
144.04/55.36	 a(a(a(b(x1)))) -> b(a(b(a(x1))))
144.04/55.36	 b(b(a(x1))) -> a(a(a(b(x1))))
144.04/55.36	
144.04/55.36	Proof:
144.04/55.36	 Open
144.04/55.36	EOF