226.01/50.89	MAYBE
226.01/50.89	
226.01/50.89	Problem:
226.01/50.89	 a(b(a(c(a(a(a(a(a(x1))))))))) -> a(a(a(a(a(a(b(a(c(a(a(b(a(c(x1))))))))))))))
226.01/50.89	
226.01/50.89	Proof:
226.01/50.89	 Open
226.02/50.90	EOF