197.90/50.63	MAYBE
197.90/50.63	
197.90/50.63	Problem:
197.90/50.63	 a(a(b(b(c(a(a(a(a(x1))))))))) -> a(a(a(a(a(a(b(b(c(a(a(b(b(c(x1))))))))))))))
197.90/50.63	
197.90/50.63	Proof:
197.90/50.63	 Open
197.90/50.63	EOF