197.75/50.54	MAYBE
197.75/50.54	
197.75/50.54	Problem:
197.75/50.54	 b(b(c(a(a(a(a(a(a(x1))))))))) -> a(a(a(a(a(a(a(b(b(c(b(b(c(x1)))))))))))))
197.75/50.54	
197.75/50.54	Proof:
197.75/50.54	 Open
197.75/50.55	EOF