14.55/3.98	NO
14.55/3.98	
14.55/3.98	Problem:
14.55/3.98	 a(x1) -> x1
14.55/3.98	 a(b(x1)) -> b(b(c(a(x1))))
14.55/3.98	 b(x1) -> x1
14.55/3.98	 b(c(c(x1))) -> a(x1)
14.55/3.98	
14.55/3.98	Proof:
14.55/3.98	 Unfolding Processor:
14.55/3.98	  loop length: 10
14.55/3.98	  terms:
14.55/3.98	   a(b(b(b(c(b(b(x70479)))))))
14.55/3.98	   b(b(c(a(b(b(c(b(b(x70479)))))))))
14.55/3.98	   b(b(c(b(b(c(a(b(c(b(b(x70479)))))))))))
14.55/3.98	   b(b(c(b(c(a(b(c(b(b(x70479))))))))))
14.55/3.98	   b(b(c(c(a(b(c(b(b(x70479)))))))))
14.55/3.98	   b(a(a(b(c(b(b(x70479)))))))
14.55/3.98	   b(a(b(b(c(a(c(b(b(x70479)))))))))
14.55/3.98	   b(a(b(b(c(c(b(b(x70479))))))))
14.55/3.98	   b(a(b(a(b(b(x70479))))))
14.55/3.98	   b(a(b(b(b(c(a(b(x70479))))))))
14.55/3.98	  context: b([])
14.55/3.98	  substitution:
14.55/3.98	   x70479 -> c(a(x70479))
14.55/3.98	  Qed
14.55/3.99	EOF