11.97/3.34	NO
11.97/3.34	
11.97/3.34	Problem:
11.97/3.34	 a(x1) -> x1
11.97/3.34	 a(b(x1)) -> b(a(c(b(a(a(x1))))))
11.97/3.34	 b(x1) -> x1
11.97/3.34	 c(c(x1)) -> x1
11.97/3.34	
11.97/3.34	Proof:
11.97/3.34	 String Reversal Processor:
11.97/3.34	  a(x1) -> x1
11.97/3.34	  b(a(x1)) -> a(a(b(c(a(b(x1))))))
11.97/3.34	  b(x1) -> x1
11.97/3.34	  c(c(x1)) -> x1
11.97/3.34	  Unfolding Processor:
11.97/3.34	   loop length: 8
11.97/3.34	   terms:
11.97/3.34	    b(a(a(a(x46599))))
11.97/3.34	    a(a(b(c(a(b(a(a(x46599))))))))
11.97/3.34	    a(a(b(c(b(a(a(x46599)))))))
11.97/3.34	    a(a(b(c(a(a(b(c(a(b(a(x46599)))))))))))
11.97/3.34	    a(a(b(c(a(b(c(a(b(a(x46599))))))))))
11.97/3.34	    a(a(b(c(b(c(a(b(a(x46599)))))))))
11.97/3.34	    a(a(b(c(c(a(b(a(x46599))))))))
11.97/3.34	    a(a(b(a(b(a(x46599))))))
11.97/3.34	   context: a(a([]))
11.97/3.34	   substitution:
11.97/3.34	    x46599 -> b(c(a(b(x46599))))
11.97/3.34	   Qed
11.97/3.34	EOF