0.33/0.53	NO
0.33/0.53	
0.33/0.53	Problem:
0.33/0.53	 c(a(a(b(a(x1))))) -> a(a(b(a(c(c(a(a(b(x1)))))))))
0.33/0.53	
0.33/0.53	Proof:
0.33/0.53	 Unfolding Processor:
0.33/0.53	  loop length: 4
0.33/0.53	  terms:
0.33/0.53	   c(a(a(b(a(a(a(x110)))))))
0.33/0.53	   a(a(b(a(c(c(a(a(b(a(a(x110)))))))))))
0.33/0.53	   a(a(b(a(c(a(a(b(a(c(c(a(a(b(a(x110)))))))))))))))
0.33/0.53	   a(a(b(a(c(a(a(b(a(c(a(a(b(a(c(c(a(a(b(x110)))))))))))))))))))
0.33/0.53	  context: a(a(b(a([]))))
0.33/0.53	  substitution:
0.33/0.53	   x110 -> b(a(c(c(a(a(b(c(c(a(a(b(x110))))))))))))
0.33/0.53	  Qed
0.95/0.54	EOF