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