0.33/0.49	NO
0.33/0.49	
0.33/0.49	Problem:
0.33/0.49	 c(a(b(a(x1)))) -> a(b(a(b(c(c(a(x1)))))))
0.33/0.49	
0.33/0.49	Proof:
0.33/0.49	 String Reversal Processor:
0.33/0.49	  a(b(a(c(x1)))) -> a(c(c(b(a(b(a(x1)))))))
0.33/0.49	  Unfolding Processor:
0.33/0.49	   loop length: 4
0.33/0.49	   terms:
0.33/0.49	    a(b(a(c(c(b(a(c(c(x130)))))))))
0.33/0.49	    a(c(c(b(a(b(a(c(b(a(c(c(x130))))))))))))
0.33/0.49	    a(c(c(b(a(c(c(b(a(b(a(b(a(c(c(x130)))))))))))))))
0.33/0.49	    a(c(c(b(a(c(c(b(a(b(a(c(c(b(a(b(a(c(x130))))))))))))))))))
0.33/0.49	   context: a(c(c(b(a(c(c(b([]))))))))
0.33/0.49	   substitution:
0.33/0.49	    x130 -> b(a(b(a(x130))))
0.33/0.49	   Qed
0.33/0.49	EOF