198.26/50.42	MAYBE
198.26/50.42	
198.26/50.42	Problem:
198.26/50.42	 a(a(b(b(a(a(a(a(a(x1))))))))) -> a(a(a(a(a(a(a(b(b(a(a(b(b(x1)))))))))))))
198.26/50.42	
198.26/50.42	Proof:
198.26/50.42	 Open
198.26/50.43	EOF