198.24/50.76	MAYBE
198.24/50.76	
198.24/50.76	Problem:
198.24/50.76	 c(a(b(a(b(a(b(a(x1)))))))) -> a(b(a(b(a(b(a(b(c(c(c(c(c(a(x1))))))))))))))
198.24/50.76	
198.24/50.76	Proof:
198.24/50.76	 Open
198.24/50.77	EOF