0.34/0.51	NO
0.34/0.51	
0.34/0.51	Problem:
0.34/0.51	 b(b(b(x1))) -> a(a(x1))
0.34/0.51	 a(a(x1)) -> b(a(b(x1)))
0.34/0.51	
0.34/0.51	Proof:
0.34/0.51	 Unfolding Processor:
0.34/0.51	  loop length: 6
0.34/0.51	  terms:
0.34/0.51	   a(a(b(b(a(b(b(a(x739))))))))
0.34/0.51	   b(a(b(b(b(a(b(b(a(x739)))))))))
0.34/0.51	   b(a(a(a(a(b(b(a(x739))))))))
0.34/0.51	   b(a(a(b(a(b(b(b(a(x739)))))))))
0.34/0.51	   b(a(a(b(a(a(a(a(x739))))))))
0.34/0.51	   b(a(a(b(b(a(b(a(a(x739)))))))))
0.34/0.51	  context: b([])
0.34/0.51	  substitution:
0.34/0.51	   x739 -> b(x739)
0.34/0.51	  Qed
0.34/0.52	EOF