197.79/50.58	MAYBE
197.79/50.58	
197.79/50.58	Problem:
197.79/50.58	 a(b(c(c(a(a(a(a(a(x1))))))))) -> a(a(a(a(a(a(b(c(c(a(a(b(c(c(x1))))))))))))))
197.79/50.58	
197.79/50.58	Proof:
197.79/50.58	 Open
197.79/50.58	EOF