198.08/50.77	MAYBE
198.08/50.77	
198.08/50.77	Problem:
198.08/50.77	 a(b(a(b(b(a(b(a(b(x1))))))))) -> a(b(b(a(b(a(b(a(b(b(a(x1)))))))))))
198.08/50.77	
198.08/50.77	Proof:
198.08/50.77	 Open
198.08/50.78	EOF