MAYBE
144.09/55.31	MAYBE
144.09/55.31	
144.09/55.31	Problem:
144.09/55.31	 a(a(a(a(b(x1))))) -> a(b(b(a(a(a(a(x1)))))))
144.09/55.31	
144.09/55.31	Proof:
144.09/55.31	 Open
144.09/55.32	EOF