204.18/51.05	MAYBE
204.18/51.05	
204.18/51.05	Problem:
204.18/51.05	 a(a(b(c(c(a(a(a(a(x1))))))))) -> a(a(a(a(a(a(b(c(c(a(a(b(c(c(x1))))))))))))))
204.18/51.05	
204.18/51.05	Proof:
204.18/51.05	 Open
204.18/51.05	EOF