MAYBE
131.37/55.33	MAYBE
131.37/55.33	
131.37/55.33	Problem:
131.37/55.33	 a(a(a(a(b(x1))))) -> b(b(a(a(a(a(a(x1)))))))
131.37/55.33	
131.37/55.33	Proof:
131.37/55.33	 Open
131.37/55.33	EOF