214.23/50.41	MAYBE
214.23/50.41	
214.23/50.41	Problem:
214.23/50.41	 a(a(b(b(b(a(a(a(a(x1))))))))) -> a(a(a(a(a(a(b(b(b(a(a(b(b(b(x1))))))))))))))
214.23/50.41	
214.23/50.41	Proof:
214.23/50.41	 Open
214.23/50.42	EOF