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