114.97/29.01	YES
114.97/29.03	
114.97/29.03	Problem:
114.97/29.03	 strict:
114.97/29.03	  b(c(a(x1))) -> a(a(c(x1)))
114.97/29.03	  c(b(b(x1))) -> b(b(a(x1)))
114.97/29.03	  a(c(c(x1))) -> a(a(a(x1)))
114.97/29.03	  c(c(a(x1))) -> a(a(b(x1)))
114.97/29.03	 weak:
114.97/29.03	  a(c(a(x1))) -> b(a(c(x1)))
114.97/29.03	  a(b(a(x1))) -> a(c(b(x1)))
114.97/29.03	
114.97/29.03	Proof:
114.97/29.03	 Root-Labeling Processor:
114.97/29.03	  strict:
114.97/29.03	   b(b)(b(c)(c(a)(a(b)(x1)))) -> b(a)(a(a)(a(c)(c(b)(x1))))
114.97/29.03	   b(b)(b(c)(c(a)(a(c)(x1)))) -> b(a)(a(a)(a(c)(c(c)(x1))))
114.97/29.03	   b(b)(b(c)(c(a)(a(a)(x1)))) -> b(a)(a(a)(a(c)(c(a)(x1))))
114.97/29.03	   c(b)(b(c)(c(a)(a(b)(x1)))) -> c(a)(a(a)(a(c)(c(b)(x1))))
114.97/29.03	   c(b)(b(c)(c(a)(a(c)(x1)))) -> c(a)(a(a)(a(c)(c(c)(x1))))
114.97/29.03	   c(b)(b(c)(c(a)(a(a)(x1)))) -> c(a)(a(a)(a(c)(c(a)(x1))))
114.97/29.03	   a(b)(b(c)(c(a)(a(b)(x1)))) -> a(a)(a(a)(a(c)(c(b)(x1))))
114.97/29.03	   a(b)(b(c)(c(a)(a(c)(x1)))) -> a(a)(a(a)(a(c)(c(c)(x1))))
114.97/29.03	   a(b)(b(c)(c(a)(a(a)(x1)))) -> a(a)(a(a)(a(c)(c(a)(x1))))
114.97/29.03	   b(c)(c(b)(b(b)(b(b)(x1)))) -> b(b)(b(b)(b(a)(a(b)(x1))))
114.97/29.03	   b(c)(c(b)(b(b)(b(c)(x1)))) -> b(b)(b(b)(b(a)(a(c)(x1))))
114.97/29.03	   b(c)(c(b)(b(b)(b(a)(x1)))) -> b(b)(b(b)(b(a)(a(a)(x1))))
114.97/29.03	   c(c)(c(b)(b(b)(b(b)(x1)))) -> c(b)(b(b)(b(a)(a(b)(x1))))
114.97/29.03	   c(c)(c(b)(b(b)(b(c)(x1)))) -> c(b)(b(b)(b(a)(a(c)(x1))))
114.97/29.03	   c(c)(c(b)(b(b)(b(a)(x1)))) -> c(b)(b(b)(b(a)(a(a)(x1))))
114.97/29.03	   a(c)(c(b)(b(b)(b(b)(x1)))) -> a(b)(b(b)(b(a)(a(b)(x1))))
114.97/29.03	   a(c)(c(b)(b(b)(b(c)(x1)))) -> a(b)(b(b)(b(a)(a(c)(x1))))
114.97/29.03	   a(c)(c(b)(b(b)(b(a)(x1)))) -> a(b)(b(b)(b(a)(a(a)(x1))))
114.97/29.03	   a(c)(c(c)(c(b)(x1))) -> a(a)(a(a)(a(b)(x1)))
114.97/29.03	   a(c)(c(c)(c(c)(x1))) -> a(a)(a(a)(a(c)(x1)))
114.97/29.03	   a(c)(c(c)(c(a)(x1))) -> a(a)(a(a)(a(a)(x1)))
114.97/29.03	   b(c)(c(c)(c(a)(a(b)(x1)))) -> b(a)(a(a)(a(b)(b(b)(x1))))
114.97/29.03	   b(c)(c(c)(c(a)(a(c)(x1)))) -> b(a)(a(a)(a(b)(b(c)(x1))))
114.97/29.03	   b(c)(c(c)(c(a)(a(a)(x1)))) -> b(a)(a(a)(a(b)(b(a)(x1))))
114.97/29.03	   c(c)(c(c)(c(a)(a(b)(x1)))) -> c(a)(a(a)(a(b)(b(b)(x1))))
114.97/29.03	   c(c)(c(c)(c(a)(a(c)(x1)))) -> c(a)(a(a)(a(b)(b(c)(x1))))
114.97/29.03	   c(c)(c(c)(c(a)(a(a)(x1)))) -> c(a)(a(a)(a(b)(b(a)(x1))))
114.97/29.03	   a(c)(c(c)(c(a)(a(b)(x1)))) -> a(a)(a(a)(a(b)(b(b)(x1))))
114.97/29.03	   a(c)(c(c)(c(a)(a(c)(x1)))) -> a(a)(a(a)(a(b)(b(c)(x1))))
114.97/29.03	   a(c)(c(c)(c(a)(a(a)(x1)))) -> a(a)(a(a)(a(b)(b(a)(x1))))
114.97/29.03	  weak:
114.97/29.03	   b(a)(a(c)(c(a)(a(b)(x1)))) -> b(b)(b(a)(a(c)(c(b)(x1))))
114.97/29.03	   b(a)(a(c)(c(a)(a(c)(x1)))) -> b(b)(b(a)(a(c)(c(c)(x1))))
114.97/29.03	   b(a)(a(c)(c(a)(a(a)(x1)))) -> b(b)(b(a)(a(c)(c(a)(x1))))
114.97/29.03	   c(a)(a(c)(c(a)(a(b)(x1)))) -> c(b)(b(a)(a(c)(c(b)(x1))))
114.97/29.03	   c(a)(a(c)(c(a)(a(c)(x1)))) -> c(b)(b(a)(a(c)(c(c)(x1))))
114.97/29.03	   c(a)(a(c)(c(a)(a(a)(x1)))) -> c(b)(b(a)(a(c)(c(a)(x1))))
114.97/29.03	   a(a)(a(c)(c(a)(a(b)(x1)))) -> a(b)(b(a)(a(c)(c(b)(x1))))
114.97/29.03	   a(a)(a(c)(c(a)(a(c)(x1)))) -> a(b)(b(a)(a(c)(c(c)(x1))))
114.97/29.03	   a(a)(a(c)(c(a)(a(a)(x1)))) -> a(b)(b(a)(a(c)(c(a)(x1))))
114.97/29.03	   a(b)(b(a)(a(b)(x1))) -> a(c)(c(b)(b(b)(x1)))
114.97/29.03	   a(b)(b(a)(a(c)(x1))) -> a(c)(c(b)(b(c)(x1)))
114.97/29.03	   a(b)(b(a)(a(a)(x1))) -> a(c)(c(b)(b(a)(x1)))
114.97/29.03	  RT Transformation Processor:
114.97/29.03	   b(b)(b(c)(c(a)(a(b)(x1)))) -> b(a)(a(a)(a(c)(c(b)(x1))))
114.97/29.03	   b(b)(b(c)(c(a)(a(c)(x1)))) -> b(a)(a(a)(a(c)(c(c)(x1))))
114.97/29.03	   b(b)(b(c)(c(a)(a(a)(x1)))) -> b(a)(a(a)(a(c)(c(a)(x1))))
114.97/29.03	   c(b)(b(c)(c(a)(a(b)(x1)))) -> c(a)(a(a)(a(c)(c(b)(x1))))
114.97/29.03	   c(b)(b(c)(c(a)(a(c)(x1)))) -> c(a)(a(a)(a(c)(c(c)(x1))))
114.97/29.03	   c(b)(b(c)(c(a)(a(a)(x1)))) -> c(a)(a(a)(a(c)(c(a)(x1))))
114.97/29.03	   a(b)(b(c)(c(a)(a(b)(x1)))) -> a(a)(a(a)(a(c)(c(b)(x1))))
114.97/29.03	   a(b)(b(c)(c(a)(a(c)(x1)))) -> a(a)(a(a)(a(c)(c(c)(x1))))
114.97/29.03	   a(b)(b(c)(c(a)(a(a)(x1)))) -> a(a)(a(a)(a(c)(c(a)(x1))))
114.97/29.03	   b(c)(c(b)(b(b)(b(b)(x1)))) -> b(b)(b(b)(b(a)(a(b)(x1))))
114.97/29.03	   b(c)(c(b)(b(b)(b(c)(x1)))) -> b(b)(b(b)(b(a)(a(c)(x1))))
114.97/29.03	   b(c)(c(b)(b(b)(b(a)(x1)))) -> b(b)(b(b)(b(a)(a(a)(x1))))
114.97/29.03	   c(c)(c(b)(b(b)(b(b)(x1)))) -> c(b)(b(b)(b(a)(a(b)(x1))))
114.97/29.03	   c(c)(c(b)(b(b)(b(c)(x1)))) -> c(b)(b(b)(b(a)(a(c)(x1))))
114.97/29.03	   c(c)(c(b)(b(b)(b(a)(x1)))) -> c(b)(b(b)(b(a)(a(a)(x1))))
114.97/29.03	   a(c)(c(b)(b(b)(b(b)(x1)))) -> a(b)(b(b)(b(a)(a(b)(x1))))
114.97/29.03	   a(c)(c(b)(b(b)(b(c)(x1)))) -> a(b)(b(b)(b(a)(a(c)(x1))))
114.97/29.03	   a(c)(c(b)(b(b)(b(a)(x1)))) -> a(b)(b(b)(b(a)(a(a)(x1))))
114.97/29.03	   a(c)(c(c)(c(b)(x1))) -> a(a)(a(a)(a(b)(x1)))
114.97/29.03	   a(c)(c(c)(c(c)(x1))) -> a(a)(a(a)(a(c)(x1)))
114.97/29.03	   a(c)(c(c)(c(a)(x1))) -> a(a)(a(a)(a(a)(x1)))
114.97/29.03	   b(c)(c(c)(c(a)(a(b)(x1)))) -> b(a)(a(a)(a(b)(b(b)(x1))))
114.97/29.03	   b(c)(c(c)(c(a)(a(c)(x1)))) -> b(a)(a(a)(a(b)(b(c)(x1))))
114.97/29.03	   b(c)(c(c)(c(a)(a(a)(x1)))) -> b(a)(a(a)(a(b)(b(a)(x1))))
114.97/29.03	   c(c)(c(c)(c(a)(a(b)(x1)))) -> c(a)(a(a)(a(b)(b(b)(x1))))
114.97/29.03	   c(c)(c(c)(c(a)(a(c)(x1)))) -> c(a)(a(a)(a(b)(b(c)(x1))))
114.97/29.03	   c(c)(c(c)(c(a)(a(a)(x1)))) -> c(a)(a(a)(a(b)(b(a)(x1))))
114.97/29.03	   a(c)(c(c)(c(a)(a(b)(x1)))) -> a(a)(a(a)(a(b)(b(b)(x1))))
114.97/29.03	   a(c)(c(c)(c(a)(a(c)(x1)))) -> a(a)(a(a)(a(b)(b(c)(x1))))
114.97/29.03	   a(c)(c(c)(c(a)(a(a)(x1)))) -> a(a)(a(a)(a(b)(b(a)(x1))))
114.97/29.03	   b(a)(a(c)(c(a)(a(b)(x1)))) -> b(b)(b(a)(a(c)(c(b)(x1))))
114.97/29.03	   b(a)(a(c)(c(a)(a(c)(x1)))) -> b(b)(b(a)(a(c)(c(c)(x1))))
114.97/29.03	   b(a)(a(c)(c(a)(a(a)(x1)))) -> b(b)(b(a)(a(c)(c(a)(x1))))
114.97/29.03	   c(a)(a(c)(c(a)(a(b)(x1)))) -> c(b)(b(a)(a(c)(c(b)(x1))))
114.97/29.03	   c(a)(a(c)(c(a)(a(c)(x1)))) -> c(b)(b(a)(a(c)(c(c)(x1))))
114.97/29.03	   c(a)(a(c)(c(a)(a(a)(x1)))) -> c(b)(b(a)(a(c)(c(a)(x1))))
114.97/29.03	   a(a)(a(c)(c(a)(a(b)(x1)))) -> a(b)(b(a)(a(c)(c(b)(x1))))
114.97/29.03	   a(a)(a(c)(c(a)(a(c)(x1)))) -> a(b)(b(a)(a(c)(c(c)(x1))))
114.97/29.03	   a(a)(a(c)(c(a)(a(a)(x1)))) -> a(b)(b(a)(a(c)(c(a)(x1))))
114.97/29.03	   a(b)(b(a)(a(b)(x1))) -> a(c)(c(b)(b(b)(x1)))
114.97/29.03	   a(b)(b(a)(a(c)(x1))) -> a(c)(c(b)(b(c)(x1)))
114.97/29.04	   a(b)(b(a)(a(a)(x1))) -> a(c)(c(b)(b(a)(x1)))
114.97/29.04	   DP Processor:
114.97/29.04	    DPs:
114.97/29.04	     b{(b),#}(b(c)(c(a)(a(b)(x1)))) -> c{(b),#}(x1)
114.97/29.04	     b{(b),#}(b(c)(c(a)(a(b)(x1)))) -> a{(c),#}(c(b)(x1))
114.97/29.04	     b{(b),#}(b(c)(c(a)(a(b)(x1)))) -> a{(a),#}(a(c)(c(b)(x1)))
114.97/29.04	     b{(b),#}(b(c)(c(a)(a(b)(x1)))) -> b{(a),#}(a(a)(a(c)(c(b)(x1))))
114.97/29.04	     b{(b),#}(b(c)(c(a)(a(c)(x1)))) -> c{(c),#}(x1)
114.97/29.04	     b{(b),#}(b(c)(c(a)(a(c)(x1)))) -> a{(c),#}(c(c)(x1))
114.97/29.04	     b{(b),#}(b(c)(c(a)(a(c)(x1)))) -> a{(a),#}(a(c)(c(c)(x1)))
114.97/29.04	     b{(b),#}(b(c)(c(a)(a(c)(x1)))) -> b{(a),#}(a(a)(a(c)(c(c)(x1))))
114.97/29.04	     b{(b),#}(b(c)(c(a)(a(a)(x1)))) -> c{(a),#}(x1)
114.97/29.04	     b{(b),#}(b(c)(c(a)(a(a)(x1)))) -> a{(c),#}(c(a)(x1))
114.97/29.04	     b{(b),#}(b(c)(c(a)(a(a)(x1)))) -> a{(a),#}(a(c)(c(a)(x1)))
114.97/29.04	     b{(b),#}(b(c)(c(a)(a(a)(x1)))) -> b{(a),#}(a(a)(a(c)(c(a)(x1))))
114.97/29.04	     c{(b),#}(b(c)(c(a)(a(b)(x1)))) -> c{(b),#}(x1)
114.97/29.04	     c{(b),#}(b(c)(c(a)(a(b)(x1)))) -> a{(c),#}(c(b)(x1))
114.97/29.04	     c{(b),#}(b(c)(c(a)(a(b)(x1)))) -> a{(a),#}(a(c)(c(b)(x1)))
114.97/29.04	     c{(b),#}(b(c)(c(a)(a(b)(x1)))) -> c{(a),#}(a(a)(a(c)(c(b)(x1))))
114.97/29.04	     c{(b),#}(b(c)(c(a)(a(c)(x1)))) -> c{(c),#}(x1)
114.97/29.04	     c{(b),#}(b(c)(c(a)(a(c)(x1)))) -> a{(c),#}(c(c)(x1))
114.97/29.04	     c{(b),#}(b(c)(c(a)(a(c)(x1)))) -> a{(a),#}(a(c)(c(c)(x1)))
114.97/29.04	     c{(b),#}(b(c)(c(a)(a(c)(x1)))) -> c{(a),#}(a(a)(a(c)(c(c)(x1))))
114.97/29.04	     c{(b),#}(b(c)(c(a)(a(a)(x1)))) -> c{(a),#}(x1)
114.97/29.04	     c{(b),#}(b(c)(c(a)(a(a)(x1)))) -> a{(c),#}(c(a)(x1))
114.97/29.04	     c{(b),#}(b(c)(c(a)(a(a)(x1)))) -> a{(a),#}(a(c)(c(a)(x1)))
114.97/29.04	     c{(b),#}(b(c)(c(a)(a(a)(x1)))) -> c{(a),#}(a(a)(a(c)(c(a)(x1))))
114.97/29.04	     a{(b),#}(b(c)(c(a)(a(b)(x1)))) -> c{(b),#}(x1)
114.97/29.04	     a{(b),#}(b(c)(c(a)(a(b)(x1)))) -> a{(c),#}(c(b)(x1))
114.97/29.04	     a{(b),#}(b(c)(c(a)(a(b)(x1)))) -> a{(a),#}(a(c)(c(b)(x1)))
114.97/29.04	     a{(b),#}(b(c)(c(a)(a(b)(x1)))) -> a{(a),#}(a(a)(a(c)(c(b)(x1))))
114.97/29.04	     a{(b),#}(b(c)(c(a)(a(c)(x1)))) -> c{(c),#}(x1)
114.97/29.04	     a{(b),#}(b(c)(c(a)(a(c)(x1)))) -> a{(c),#}(c(c)(x1))
114.97/29.04	     a{(b),#}(b(c)(c(a)(a(c)(x1)))) -> a{(a),#}(a(c)(c(c)(x1)))
114.97/29.04	     a{(b),#}(b(c)(c(a)(a(c)(x1)))) -> a{(a),#}(a(a)(a(c)(c(c)(x1))))
114.97/29.04	     a{(b),#}(b(c)(c(a)(a(a)(x1)))) -> c{(a),#}(x1)
114.97/29.04	     a{(b),#}(b(c)(c(a)(a(a)(x1)))) -> a{(c),#}(c(a)(x1))
114.97/29.04	     a{(b),#}(b(c)(c(a)(a(a)(x1)))) -> a{(a),#}(a(c)(c(a)(x1)))
114.97/29.04	     a{(b),#}(b(c)(c(a)(a(a)(x1)))) -> a{(a),#}(a(a)(a(c)(c(a)(x1))))
114.97/29.04	     b{(c),#}(c(b)(b(b)(b(b)(x1)))) -> a{(b),#}(x1)
114.97/29.04	     b{(c),#}(c(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(b)(x1))
114.97/29.04	     b{(c),#}(c(b)(b(b)(b(b)(x1)))) -> b{(b),#}(b(a)(a(b)(x1)))
114.97/29.04	     b{(c),#}(c(b)(b(b)(b(b)(x1)))) -> b{(b),#}(b(b)(b(a)(a(b)(x1))))
114.97/29.04	     b{(c),#}(c(b)(b(b)(b(c)(x1)))) -> a{(c),#}(x1)
114.97/29.04	     b{(c),#}(c(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(x1))
114.97/29.04	     b{(c),#}(c(b)(b(b)(b(c)(x1)))) -> b{(b),#}(b(a)(a(c)(x1)))
114.97/29.04	     b{(c),#}(c(b)(b(b)(b(c)(x1)))) -> b{(b),#}(b(b)(b(a)(a(c)(x1))))
114.97/29.04	     b{(c),#}(c(b)(b(b)(b(a)(x1)))) -> a{(a),#}(x1)
114.97/29.04	     b{(c),#}(c(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(a)(x1))
114.97/29.04	     b{(c),#}(c(b)(b(b)(b(a)(x1)))) -> b{(b),#}(b(a)(a(a)(x1)))
114.97/29.04	     b{(c),#}(c(b)(b(b)(b(a)(x1)))) -> b{(b),#}(b(b)(b(a)(a(a)(x1))))
114.97/29.04	     c{(c),#}(c(b)(b(b)(b(b)(x1)))) -> a{(b),#}(x1)
114.97/29.04	     c{(c),#}(c(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(b)(x1))
114.97/29.04	     c{(c),#}(c(b)(b(b)(b(b)(x1)))) -> b{(b),#}(b(a)(a(b)(x1)))
114.97/29.04	     c{(c),#}(c(b)(b(b)(b(b)(x1)))) -> c{(b),#}(b(b)(b(a)(a(b)(x1))))
114.97/29.04	     c{(c),#}(c(b)(b(b)(b(c)(x1)))) -> a{(c),#}(x1)
114.97/29.04	     c{(c),#}(c(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(x1))
114.97/29.04	     c{(c),#}(c(b)(b(b)(b(c)(x1)))) -> b{(b),#}(b(a)(a(c)(x1)))
114.97/29.04	     c{(c),#}(c(b)(b(b)(b(c)(x1)))) -> c{(b),#}(b(b)(b(a)(a(c)(x1))))
114.97/29.04	     c{(c),#}(c(b)(b(b)(b(a)(x1)))) -> a{(a),#}(x1)
114.97/29.04	     c{(c),#}(c(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(a)(x1))
114.97/29.04	     c{(c),#}(c(b)(b(b)(b(a)(x1)))) -> b{(b),#}(b(a)(a(a)(x1)))
114.97/29.04	     c{(c),#}(c(b)(b(b)(b(a)(x1)))) -> c{(b),#}(b(b)(b(a)(a(a)(x1))))
114.97/29.04	     a{(c),#}(c(b)(b(b)(b(b)(x1)))) -> a{(b),#}(x1)
114.97/29.04	     a{(c),#}(c(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(b)(x1))
114.97/29.04	     a{(c),#}(c(b)(b(b)(b(b)(x1)))) -> b{(b),#}(b(a)(a(b)(x1)))
114.97/29.04	     a{(c),#}(c(b)(b(b)(b(b)(x1)))) -> a{(b),#}(b(b)(b(a)(a(b)(x1))))
114.97/29.04	     a{(c),#}(c(b)(b(b)(b(c)(x1)))) -> a{(c),#}(x1)
114.97/29.04	     a{(c),#}(c(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(x1))
114.97/29.04	     a{(c),#}(c(b)(b(b)(b(c)(x1)))) -> b{(b),#}(b(a)(a(c)(x1)))
114.97/29.04	     a{(c),#}(c(b)(b(b)(b(c)(x1)))) -> a{(b),#}(b(b)(b(a)(a(c)(x1))))
114.97/29.04	     a{(c),#}(c(b)(b(b)(b(a)(x1)))) -> a{(a),#}(x1)
114.97/29.04	     a{(c),#}(c(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(a)(x1))
114.97/29.04	     a{(c),#}(c(b)(b(b)(b(a)(x1)))) -> b{(b),#}(b(a)(a(a)(x1)))
114.97/29.04	     a{(c),#}(c(b)(b(b)(b(a)(x1)))) -> a{(b),#}(b(b)(b(a)(a(a)(x1))))
114.97/29.04	     a{(c),#}(c(c)(c(b)(x1))) -> a{(b),#}(x1)
114.97/29.04	     a{(c),#}(c(c)(c(b)(x1))) -> a{(a),#}(a(b)(x1))
114.97/29.04	     a{(c),#}(c(c)(c(b)(x1))) -> a{(a),#}(a(a)(a(b)(x1)))
114.97/29.04	     a{(c),#}(c(c)(c(c)(x1))) -> a{(c),#}(x1)
114.97/29.04	     a{(c),#}(c(c)(c(c)(x1))) -> a{(a),#}(a(c)(x1))
114.97/29.04	     a{(c),#}(c(c)(c(c)(x1))) -> a{(a),#}(a(a)(a(c)(x1)))
114.97/29.04	     a{(c),#}(c(c)(c(a)(x1))) -> a{(a),#}(x1)
114.97/29.04	     a{(c),#}(c(c)(c(a)(x1))) -> a{(a),#}(a(a)(x1))
114.97/29.04	     a{(c),#}(c(c)(c(a)(x1))) -> a{(a),#}(a(a)(a(a)(x1)))
114.97/29.04	     b{(c),#}(c(c)(c(a)(a(b)(x1)))) -> b{(b),#}(x1)
114.97/29.04	     b{(c),#}(c(c)(c(a)(a(b)(x1)))) -> a{(b),#}(b(b)(x1))
114.97/29.04	     b{(c),#}(c(c)(c(a)(a(b)(x1)))) -> a{(a),#}(a(b)(b(b)(x1)))
114.97/29.04	     b{(c),#}(c(c)(c(a)(a(b)(x1)))) -> b{(a),#}(a(a)(a(b)(b(b)(x1))))
114.97/29.04	     b{(c),#}(c(c)(c(a)(a(c)(x1)))) -> b{(c),#}(x1)
114.97/29.04	     b{(c),#}(c(c)(c(a)(a(c)(x1)))) -> a{(b),#}(b(c)(x1))
114.97/29.04	     b{(c),#}(c(c)(c(a)(a(c)(x1)))) -> a{(a),#}(a(b)(b(c)(x1)))
114.97/29.04	     b{(c),#}(c(c)(c(a)(a(c)(x1)))) -> b{(a),#}(a(a)(a(b)(b(c)(x1))))
114.97/29.04	     b{(c),#}(c(c)(c(a)(a(a)(x1)))) -> b{(a),#}(x1)
114.97/29.04	     b{(c),#}(c(c)(c(a)(a(a)(x1)))) -> a{(b),#}(b(a)(x1))
114.97/29.04	     b{(c),#}(c(c)(c(a)(a(a)(x1)))) -> a{(a),#}(a(b)(b(a)(x1)))
114.97/29.04	     b{(c),#}(c(c)(c(a)(a(a)(x1)))) -> b{(a),#}(a(a)(a(b)(b(a)(x1))))
114.97/29.04	     c{(c),#}(c(c)(c(a)(a(b)(x1)))) -> b{(b),#}(x1)
114.97/29.04	     c{(c),#}(c(c)(c(a)(a(b)(x1)))) -> a{(b),#}(b(b)(x1))
114.97/29.04	     c{(c),#}(c(c)(c(a)(a(b)(x1)))) -> a{(a),#}(a(b)(b(b)(x1)))
114.97/29.04	     c{(c),#}(c(c)(c(a)(a(b)(x1)))) -> c{(a),#}(a(a)(a(b)(b(b)(x1))))
114.97/29.04	     c{(c),#}(c(c)(c(a)(a(c)(x1)))) -> b{(c),#}(x1)
114.97/29.04	     c{(c),#}(c(c)(c(a)(a(c)(x1)))) -> a{(b),#}(b(c)(x1))
114.97/29.04	     c{(c),#}(c(c)(c(a)(a(c)(x1)))) -> a{(a),#}(a(b)(b(c)(x1)))
114.97/29.04	     c{(c),#}(c(c)(c(a)(a(c)(x1)))) -> c{(a),#}(a(a)(a(b)(b(c)(x1))))
114.97/29.04	     c{(c),#}(c(c)(c(a)(a(a)(x1)))) -> b{(a),#}(x1)
114.97/29.04	     c{(c),#}(c(c)(c(a)(a(a)(x1)))) -> a{(b),#}(b(a)(x1))
114.97/29.04	     c{(c),#}(c(c)(c(a)(a(a)(x1)))) -> a{(a),#}(a(b)(b(a)(x1)))
114.97/29.04	     c{(c),#}(c(c)(c(a)(a(a)(x1)))) -> c{(a),#}(a(a)(a(b)(b(a)(x1))))
114.97/29.04	     a{(c),#}(c(c)(c(a)(a(b)(x1)))) -> b{(b),#}(x1)
114.97/29.04	     a{(c),#}(c(c)(c(a)(a(b)(x1)))) -> a{(b),#}(b(b)(x1))
114.97/29.04	     a{(c),#}(c(c)(c(a)(a(b)(x1)))) -> a{(a),#}(a(b)(b(b)(x1)))
114.97/29.04	     a{(c),#}(c(c)(c(a)(a(b)(x1)))) -> a{(a),#}(a(a)(a(b)(b(b)(x1))))
114.97/29.04	     a{(c),#}(c(c)(c(a)(a(c)(x1)))) -> b{(c),#}(x1)
114.97/29.04	     a{(c),#}(c(c)(c(a)(a(c)(x1)))) -> a{(b),#}(b(c)(x1))
114.97/29.04	     a{(c),#}(c(c)(c(a)(a(c)(x1)))) -> a{(a),#}(a(b)(b(c)(x1)))
114.97/29.04	     a{(c),#}(c(c)(c(a)(a(c)(x1)))) -> a{(a),#}(a(a)(a(b)(b(c)(x1))))
114.97/29.04	     a{(c),#}(c(c)(c(a)(a(a)(x1)))) -> b{(a),#}(x1)
114.97/29.04	     a{(c),#}(c(c)(c(a)(a(a)(x1)))) -> a{(b),#}(b(a)(x1))
114.97/29.04	     a{(c),#}(c(c)(c(a)(a(a)(x1)))) -> a{(a),#}(a(b)(b(a)(x1)))
114.97/29.04	     a{(c),#}(c(c)(c(a)(a(a)(x1)))) -> a{(a),#}(a(a)(a(b)(b(a)(x1))))
114.97/29.04	     b{(a),#}(a(c)(c(a)(a(b)(x1)))) -> c{(b),#}(x1)
115.08/29.05	     b{(a),#}(a(c)(c(a)(a(b)(x1)))) -> a{(c),#}(c(b)(x1))
115.08/29.05	     b{(a),#}(a(c)(c(a)(a(b)(x1)))) -> b{(a),#}(a(c)(c(b)(x1)))
115.08/29.05	     b{(a),#}(a(c)(c(a)(a(b)(x1)))) -> b{(b),#}(b(a)(a(c)(c(b)(x1))))
115.08/29.05	     b{(a),#}(a(c)(c(a)(a(c)(x1)))) -> c{(c),#}(x1)
115.08/29.05	     b{(a),#}(a(c)(c(a)(a(c)(x1)))) -> a{(c),#}(c(c)(x1))
115.08/29.05	     b{(a),#}(a(c)(c(a)(a(c)(x1)))) -> b{(a),#}(a(c)(c(c)(x1)))
115.08/29.05	     b{(a),#}(a(c)(c(a)(a(c)(x1)))) -> b{(b),#}(b(a)(a(c)(c(c)(x1))))
115.08/29.05	     b{(a),#}(a(c)(c(a)(a(a)(x1)))) -> c{(a),#}(x1)
115.08/29.05	     b{(a),#}(a(c)(c(a)(a(a)(x1)))) -> a{(c),#}(c(a)(x1))
115.08/29.05	     b{(a),#}(a(c)(c(a)(a(a)(x1)))) -> b{(a),#}(a(c)(c(a)(x1)))
115.08/29.05	     b{(a),#}(a(c)(c(a)(a(a)(x1)))) -> b{(b),#}(b(a)(a(c)(c(a)(x1))))
115.08/29.05	     c{(a),#}(a(c)(c(a)(a(b)(x1)))) -> c{(b),#}(x1)
115.08/29.05	     c{(a),#}(a(c)(c(a)(a(b)(x1)))) -> a{(c),#}(c(b)(x1))
115.08/29.05	     c{(a),#}(a(c)(c(a)(a(b)(x1)))) -> b{(a),#}(a(c)(c(b)(x1)))
115.08/29.05	     c{(a),#}(a(c)(c(a)(a(b)(x1)))) -> c{(b),#}(b(a)(a(c)(c(b)(x1))))
115.08/29.05	     c{(a),#}(a(c)(c(a)(a(c)(x1)))) -> c{(c),#}(x1)
115.08/29.05	     c{(a),#}(a(c)(c(a)(a(c)(x1)))) -> a{(c),#}(c(c)(x1))
115.08/29.05	     c{(a),#}(a(c)(c(a)(a(c)(x1)))) -> b{(a),#}(a(c)(c(c)(x1)))
115.08/29.05	     c{(a),#}(a(c)(c(a)(a(c)(x1)))) -> c{(b),#}(b(a)(a(c)(c(c)(x1))))
115.08/29.05	     c{(a),#}(a(c)(c(a)(a(a)(x1)))) -> c{(a),#}(x1)
115.08/29.05	     c{(a),#}(a(c)(c(a)(a(a)(x1)))) -> a{(c),#}(c(a)(x1))
115.08/29.05	     c{(a),#}(a(c)(c(a)(a(a)(x1)))) -> b{(a),#}(a(c)(c(a)(x1)))
115.08/29.05	     c{(a),#}(a(c)(c(a)(a(a)(x1)))) -> c{(b),#}(b(a)(a(c)(c(a)(x1))))
115.08/29.05	     a{(a),#}(a(c)(c(a)(a(b)(x1)))) -> c{(b),#}(x1)
115.08/29.05	     a{(a),#}(a(c)(c(a)(a(b)(x1)))) -> a{(c),#}(c(b)(x1))
115.08/29.05	     a{(a),#}(a(c)(c(a)(a(b)(x1)))) -> b{(a),#}(a(c)(c(b)(x1)))
115.08/29.05	     a{(a),#}(a(c)(c(a)(a(b)(x1)))) -> a{(b),#}(b(a)(a(c)(c(b)(x1))))
115.08/29.05	     a{(a),#}(a(c)(c(a)(a(c)(x1)))) -> c{(c),#}(x1)
115.08/29.05	     a{(a),#}(a(c)(c(a)(a(c)(x1)))) -> a{(c),#}(c(c)(x1))
115.08/29.05	     a{(a),#}(a(c)(c(a)(a(c)(x1)))) -> b{(a),#}(a(c)(c(c)(x1)))
115.08/29.05	     a{(a),#}(a(c)(c(a)(a(c)(x1)))) -> a{(b),#}(b(a)(a(c)(c(c)(x1))))
115.08/29.05	     a{(a),#}(a(c)(c(a)(a(a)(x1)))) -> c{(a),#}(x1)
115.08/29.05	     a{(a),#}(a(c)(c(a)(a(a)(x1)))) -> a{(c),#}(c(a)(x1))
115.08/29.05	     a{(a),#}(a(c)(c(a)(a(a)(x1)))) -> b{(a),#}(a(c)(c(a)(x1)))
115.08/29.05	     a{(a),#}(a(c)(c(a)(a(a)(x1)))) -> a{(b),#}(b(a)(a(c)(c(a)(x1))))
115.08/29.05	     a{(b),#}(b(a)(a(b)(x1))) -> b{(b),#}(x1)
115.08/29.05	     a{(b),#}(b(a)(a(b)(x1))) -> c{(b),#}(b(b)(x1))
115.08/29.05	     a{(b),#}(b(a)(a(b)(x1))) -> a{(c),#}(c(b)(b(b)(x1)))
115.08/29.05	     a{(b),#}(b(a)(a(c)(x1))) -> b{(c),#}(x1)
115.08/29.05	     a{(b),#}(b(a)(a(c)(x1))) -> c{(b),#}(b(c)(x1))
115.08/29.05	     a{(b),#}(b(a)(a(c)(x1))) -> a{(c),#}(c(b)(b(c)(x1)))
115.08/29.05	     a{(b),#}(b(a)(a(a)(x1))) -> b{(a),#}(x1)
115.08/29.05	     a{(b),#}(b(a)(a(a)(x1))) -> c{(b),#}(b(a)(x1))
115.08/29.05	     a{(b),#}(b(a)(a(a)(x1))) -> a{(c),#}(c(b)(b(a)(x1)))
115.08/29.05	    TRS:
115.08/29.05	     b(b)(b(c)(c(a)(a(b)(x1)))) -> b(a)(a(a)(a(c)(c(b)(x1))))
115.08/29.05	     b(b)(b(c)(c(a)(a(c)(x1)))) -> b(a)(a(a)(a(c)(c(c)(x1))))
115.08/29.05	     b(b)(b(c)(c(a)(a(a)(x1)))) -> b(a)(a(a)(a(c)(c(a)(x1))))
115.08/29.05	     c(b)(b(c)(c(a)(a(b)(x1)))) -> c(a)(a(a)(a(c)(c(b)(x1))))
115.08/29.05	     c(b)(b(c)(c(a)(a(c)(x1)))) -> c(a)(a(a)(a(c)(c(c)(x1))))
115.08/29.05	     c(b)(b(c)(c(a)(a(a)(x1)))) -> c(a)(a(a)(a(c)(c(a)(x1))))
115.08/29.05	     a(b)(b(c)(c(a)(a(b)(x1)))) -> a(a)(a(a)(a(c)(c(b)(x1))))
115.08/29.05	     a(b)(b(c)(c(a)(a(c)(x1)))) -> a(a)(a(a)(a(c)(c(c)(x1))))
115.08/29.05	     a(b)(b(c)(c(a)(a(a)(x1)))) -> a(a)(a(a)(a(c)(c(a)(x1))))
115.08/29.05	     b(c)(c(b)(b(b)(b(b)(x1)))) -> b(b)(b(b)(b(a)(a(b)(x1))))
115.08/29.05	     b(c)(c(b)(b(b)(b(c)(x1)))) -> b(b)(b(b)(b(a)(a(c)(x1))))
115.08/29.05	     b(c)(c(b)(b(b)(b(a)(x1)))) -> b(b)(b(b)(b(a)(a(a)(x1))))
115.08/29.05	     c(c)(c(b)(b(b)(b(b)(x1)))) -> c(b)(b(b)(b(a)(a(b)(x1))))
115.08/29.05	     c(c)(c(b)(b(b)(b(c)(x1)))) -> c(b)(b(b)(b(a)(a(c)(x1))))
115.08/29.05	     c(c)(c(b)(b(b)(b(a)(x1)))) -> c(b)(b(b)(b(a)(a(a)(x1))))
115.08/29.05	     a(c)(c(b)(b(b)(b(b)(x1)))) -> a(b)(b(b)(b(a)(a(b)(x1))))
115.08/29.05	     a(c)(c(b)(b(b)(b(c)(x1)))) -> a(b)(b(b)(b(a)(a(c)(x1))))
115.08/29.05	     a(c)(c(b)(b(b)(b(a)(x1)))) -> a(b)(b(b)(b(a)(a(a)(x1))))
115.08/29.05	     a(c)(c(c)(c(b)(x1))) -> a(a)(a(a)(a(b)(x1)))
115.08/29.05	     a(c)(c(c)(c(c)(x1))) -> a(a)(a(a)(a(c)(x1)))
115.08/29.05	     a(c)(c(c)(c(a)(x1))) -> a(a)(a(a)(a(a)(x1)))
115.08/29.05	     b(c)(c(c)(c(a)(a(b)(x1)))) -> b(a)(a(a)(a(b)(b(b)(x1))))
115.08/29.05	     b(c)(c(c)(c(a)(a(c)(x1)))) -> b(a)(a(a)(a(b)(b(c)(x1))))
115.08/29.05	     b(c)(c(c)(c(a)(a(a)(x1)))) -> b(a)(a(a)(a(b)(b(a)(x1))))
115.08/29.06	     c(c)(c(c)(c(a)(a(b)(x1)))) -> c(a)(a(a)(a(b)(b(b)(x1))))
115.08/29.06	     c(c)(c(c)(c(a)(a(c)(x1)))) -> c(a)(a(a)(a(b)(b(c)(x1))))
115.08/29.06	     c(c)(c(c)(c(a)(a(a)(x1)))) -> c(a)(a(a)(a(b)(b(a)(x1))))
115.08/29.06	     a(c)(c(c)(c(a)(a(b)(x1)))) -> a(a)(a(a)(a(b)(b(b)(x1))))
115.08/29.06	     a(c)(c(c)(c(a)(a(c)(x1)))) -> a(a)(a(a)(a(b)(b(c)(x1))))
115.08/29.06	     a(c)(c(c)(c(a)(a(a)(x1)))) -> a(a)(a(a)(a(b)(b(a)(x1))))
115.08/29.06	     b(a)(a(c)(c(a)(a(b)(x1)))) -> b(b)(b(a)(a(c)(c(b)(x1))))
115.08/29.06	     b(a)(a(c)(c(a)(a(c)(x1)))) -> b(b)(b(a)(a(c)(c(c)(x1))))
115.08/29.06	     b(a)(a(c)(c(a)(a(a)(x1)))) -> b(b)(b(a)(a(c)(c(a)(x1))))
115.08/29.06	     c(a)(a(c)(c(a)(a(b)(x1)))) -> c(b)(b(a)(a(c)(c(b)(x1))))
115.08/29.06	     c(a)(a(c)(c(a)(a(c)(x1)))) -> c(b)(b(a)(a(c)(c(c)(x1))))
115.08/29.06	     c(a)(a(c)(c(a)(a(a)(x1)))) -> c(b)(b(a)(a(c)(c(a)(x1))))
115.08/29.06	     a(a)(a(c)(c(a)(a(b)(x1)))) -> a(b)(b(a)(a(c)(c(b)(x1))))
115.08/29.06	     a(a)(a(c)(c(a)(a(c)(x1)))) -> a(b)(b(a)(a(c)(c(c)(x1))))
115.08/29.06	     a(a)(a(c)(c(a)(a(a)(x1)))) -> a(b)(b(a)(a(c)(c(a)(x1))))
115.08/29.06	     a(b)(b(a)(a(b)(x1))) -> a(c)(c(b)(b(b)(x1)))
115.08/29.06	     a(b)(b(a)(a(c)(x1))) -> a(c)(c(b)(b(c)(x1)))
115.08/29.06	     a(b)(b(a)(a(a)(x1))) -> a(c)(c(b)(b(a)(x1)))
115.08/29.06	    TDG Processor:
115.08/29.06	     DPs:
115.08/29.06	      b{(b),#}(b(c)(c(a)(a(b)(x1)))) -> c{(b),#}(x1)
115.08/29.06	      b{(b),#}(b(c)(c(a)(a(b)(x1)))) -> a{(c),#}(c(b)(x1))
115.08/29.06	      b{(b),#}(b(c)(c(a)(a(b)(x1)))) -> a{(a),#}(a(c)(c(b)(x1)))
115.08/29.06	      b{(b),#}(b(c)(c(a)(a(b)(x1)))) -> b{(a),#}(a(a)(a(c)(c(b)(x1))))
115.08/29.06	      b{(b),#}(b(c)(c(a)(a(c)(x1)))) -> c{(c),#}(x1)
115.08/29.06	      b{(b),#}(b(c)(c(a)(a(c)(x1)))) -> a{(c),#}(c(c)(x1))
115.08/29.06	      b{(b),#}(b(c)(c(a)(a(c)(x1)))) -> a{(a),#}(a(c)(c(c)(x1)))
115.08/29.06	      b{(b),#}(b(c)(c(a)(a(c)(x1)))) -> b{(a),#}(a(a)(a(c)(c(c)(x1))))
115.08/29.06	      b{(b),#}(b(c)(c(a)(a(a)(x1)))) -> c{(a),#}(x1)
115.08/29.06	      b{(b),#}(b(c)(c(a)(a(a)(x1)))) -> a{(c),#}(c(a)(x1))
115.08/29.06	      b{(b),#}(b(c)(c(a)(a(a)(x1)))) -> a{(a),#}(a(c)(c(a)(x1)))
115.08/29.06	      b{(b),#}(b(c)(c(a)(a(a)(x1)))) -> b{(a),#}(a(a)(a(c)(c(a)(x1))))
115.08/29.06	      c{(b),#}(b(c)(c(a)(a(b)(x1)))) -> c{(b),#}(x1)
115.08/29.06	      c{(b),#}(b(c)(c(a)(a(b)(x1)))) -> a{(c),#}(c(b)(x1))
115.08/29.06	      c{(b),#}(b(c)(c(a)(a(b)(x1)))) -> a{(a),#}(a(c)(c(b)(x1)))
115.08/29.06	      c{(b),#}(b(c)(c(a)(a(b)(x1)))) -> c{(a),#}(a(a)(a(c)(c(b)(x1))))
115.08/29.06	      c{(b),#}(b(c)(c(a)(a(c)(x1)))) -> c{(c),#}(x1)
115.08/29.06	      c{(b),#}(b(c)(c(a)(a(c)(x1)))) -> a{(c),#}(c(c)(x1))
115.08/29.06	      c{(b),#}(b(c)(c(a)(a(c)(x1)))) -> a{(a),#}(a(c)(c(c)(x1)))
115.08/29.06	      c{(b),#}(b(c)(c(a)(a(c)(x1)))) -> c{(a),#}(a(a)(a(c)(c(c)(x1))))
115.08/29.06	      c{(b),#}(b(c)(c(a)(a(a)(x1)))) -> c{(a),#}(x1)
115.08/29.06	      c{(b),#}(b(c)(c(a)(a(a)(x1)))) -> a{(c),#}(c(a)(x1))
115.08/29.06	      c{(b),#}(b(c)(c(a)(a(a)(x1)))) -> a{(a),#}(a(c)(c(a)(x1)))
115.08/29.06	      c{(b),#}(b(c)(c(a)(a(a)(x1)))) -> c{(a),#}(a(a)(a(c)(c(a)(x1))))
115.08/29.06	      a{(b),#}(b(c)(c(a)(a(b)(x1)))) -> c{(b),#}(x1)
115.08/29.06	      a{(b),#}(b(c)(c(a)(a(b)(x1)))) -> a{(c),#}(c(b)(x1))
115.08/29.06	      a{(b),#}(b(c)(c(a)(a(b)(x1)))) -> a{(a),#}(a(c)(c(b)(x1)))
115.08/29.06	      a{(b),#}(b(c)(c(a)(a(b)(x1)))) -> a{(a),#}(a(a)(a(c)(c(b)(x1))))
115.08/29.06	      a{(b),#}(b(c)(c(a)(a(c)(x1)))) -> c{(c),#}(x1)
115.08/29.06	      a{(b),#}(b(c)(c(a)(a(c)(x1)))) -> a{(c),#}(c(c)(x1))
115.08/29.06	      a{(b),#}(b(c)(c(a)(a(c)(x1)))) -> a{(a),#}(a(c)(c(c)(x1)))
115.08/29.06	      a{(b),#}(b(c)(c(a)(a(c)(x1)))) -> a{(a),#}(a(a)(a(c)(c(c)(x1))))
115.08/29.06	      a{(b),#}(b(c)(c(a)(a(a)(x1)))) -> c{(a),#}(x1)
115.08/29.06	      a{(b),#}(b(c)(c(a)(a(a)(x1)))) -> a{(c),#}(c(a)(x1))
115.08/29.06	      a{(b),#}(b(c)(c(a)(a(a)(x1)))) -> a{(a),#}(a(c)(c(a)(x1)))
115.08/29.06	      a{(b),#}(b(c)(c(a)(a(a)(x1)))) -> a{(a),#}(a(a)(a(c)(c(a)(x1))))
115.08/29.06	      b{(c),#}(c(b)(b(b)(b(b)(x1)))) -> a{(b),#}(x1)
115.08/29.06	      b{(c),#}(c(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(b)(x1))
115.08/29.06	      b{(c),#}(c(b)(b(b)(b(b)(x1)))) -> b{(b),#}(b(a)(a(b)(x1)))
115.08/29.06	      b{(c),#}(c(b)(b(b)(b(b)(x1)))) -> b{(b),#}(b(b)(b(a)(a(b)(x1))))
115.08/29.06	      b{(c),#}(c(b)(b(b)(b(c)(x1)))) -> a{(c),#}(x1)
115.08/29.06	      b{(c),#}(c(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(x1))
115.08/29.06	      b{(c),#}(c(b)(b(b)(b(c)(x1)))) -> b{(b),#}(b(a)(a(c)(x1)))
115.08/29.06	      b{(c),#}(c(b)(b(b)(b(c)(x1)))) -> b{(b),#}(b(b)(b(a)(a(c)(x1))))
115.08/29.06	      b{(c),#}(c(b)(b(b)(b(a)(x1)))) -> a{(a),#}(x1)
115.08/29.06	      b{(c),#}(c(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(a)(x1))
115.08/29.06	      b{(c),#}(c(b)(b(b)(b(a)(x1)))) -> b{(b),#}(b(a)(a(a)(x1)))
115.08/29.06	      b{(c),#}(c(b)(b(b)(b(a)(x1)))) -> b{(b),#}(b(b)(b(a)(a(a)(x1))))
115.08/29.06	      c{(c),#}(c(b)(b(b)(b(b)(x1)))) -> a{(b),#}(x1)
115.10/29.07	      c{(c),#}(c(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(b)(x1))
115.10/29.07	      c{(c),#}(c(b)(b(b)(b(b)(x1)))) -> b{(b),#}(b(a)(a(b)(x1)))
115.10/29.07	      c{(c),#}(c(b)(b(b)(b(b)(x1)))) -> c{(b),#}(b(b)(b(a)(a(b)(x1))))
115.10/29.07	      c{(c),#}(c(b)(b(b)(b(c)(x1)))) -> a{(c),#}(x1)
115.10/29.07	      c{(c),#}(c(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(x1))
115.10/29.07	      c{(c),#}(c(b)(b(b)(b(c)(x1)))) -> b{(b),#}(b(a)(a(c)(x1)))
115.10/29.07	      c{(c),#}(c(b)(b(b)(b(c)(x1)))) -> c{(b),#}(b(b)(b(a)(a(c)(x1))))
115.10/29.07	      c{(c),#}(c(b)(b(b)(b(a)(x1)))) -> a{(a),#}(x1)
115.10/29.07	      c{(c),#}(c(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(a)(x1))
115.10/29.07	      c{(c),#}(c(b)(b(b)(b(a)(x1)))) -> b{(b),#}(b(a)(a(a)(x1)))
115.10/29.07	      c{(c),#}(c(b)(b(b)(b(a)(x1)))) -> c{(b),#}(b(b)(b(a)(a(a)(x1))))
115.10/29.07	      a{(c),#}(c(b)(b(b)(b(b)(x1)))) -> a{(b),#}(x1)
115.10/29.07	      a{(c),#}(c(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(b)(x1))
115.10/29.07	      a{(c),#}(c(b)(b(b)(b(b)(x1)))) -> b{(b),#}(b(a)(a(b)(x1)))
115.10/29.07	      a{(c),#}(c(b)(b(b)(b(b)(x1)))) -> a{(b),#}(b(b)(b(a)(a(b)(x1))))
115.10/29.07	      a{(c),#}(c(b)(b(b)(b(c)(x1)))) -> a{(c),#}(x1)
115.10/29.07	      a{(c),#}(c(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(x1))
115.10/29.07	      a{(c),#}(c(b)(b(b)(b(c)(x1)))) -> b{(b),#}(b(a)(a(c)(x1)))
115.10/29.07	      a{(c),#}(c(b)(b(b)(b(c)(x1)))) -> a{(b),#}(b(b)(b(a)(a(c)(x1))))
115.10/29.07	      a{(c),#}(c(b)(b(b)(b(a)(x1)))) -> a{(a),#}(x1)
115.10/29.07	      a{(c),#}(c(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(a)(x1))
115.10/29.07	      a{(c),#}(c(b)(b(b)(b(a)(x1)))) -> b{(b),#}(b(a)(a(a)(x1)))
115.10/29.07	      a{(c),#}(c(b)(b(b)(b(a)(x1)))) -> a{(b),#}(b(b)(b(a)(a(a)(x1))))
115.10/29.07	      a{(c),#}(c(c)(c(b)(x1))) -> a{(b),#}(x1)
115.10/29.07	      a{(c),#}(c(c)(c(b)(x1))) -> a{(a),#}(a(b)(x1))
115.10/29.07	      a{(c),#}(c(c)(c(b)(x1))) -> a{(a),#}(a(a)(a(b)(x1)))
115.10/29.07	      a{(c),#}(c(c)(c(c)(x1))) -> a{(c),#}(x1)
115.10/29.07	      a{(c),#}(c(c)(c(c)(x1))) -> a{(a),#}(a(c)(x1))
115.10/29.07	      a{(c),#}(c(c)(c(c)(x1))) -> a{(a),#}(a(a)(a(c)(x1)))
115.10/29.07	      a{(c),#}(c(c)(c(a)(x1))) -> a{(a),#}(x1)
115.10/29.07	      a{(c),#}(c(c)(c(a)(x1))) -> a{(a),#}(a(a)(x1))
115.10/29.07	      a{(c),#}(c(c)(c(a)(x1))) -> a{(a),#}(a(a)(a(a)(x1)))
115.10/29.07	      b{(c),#}(c(c)(c(a)(a(b)(x1)))) -> b{(b),#}(x1)
115.10/29.07	      b{(c),#}(c(c)(c(a)(a(b)(x1)))) -> a{(b),#}(b(b)(x1))
115.10/29.07	      b{(c),#}(c(c)(c(a)(a(b)(x1)))) -> a{(a),#}(a(b)(b(b)(x1)))
115.10/29.07	      b{(c),#}(c(c)(c(a)(a(b)(x1)))) -> b{(a),#}(a(a)(a(b)(b(b)(x1))))
115.10/29.07	      b{(c),#}(c(c)(c(a)(a(c)(x1)))) -> b{(c),#}(x1)
115.10/29.07	      b{(c),#}(c(c)(c(a)(a(c)(x1)))) -> a{(b),#}(b(c)(x1))
115.10/29.07	      b{(c),#}(c(c)(c(a)(a(c)(x1)))) -> a{(a),#}(a(b)(b(c)(x1)))
115.10/29.07	      b{(c),#}(c(c)(c(a)(a(c)(x1)))) -> b{(a),#}(a(a)(a(b)(b(c)(x1))))
115.10/29.07	      b{(c),#}(c(c)(c(a)(a(a)(x1)))) -> b{(a),#}(x1)
115.10/29.07	      b{(c),#}(c(c)(c(a)(a(a)(x1)))) -> a{(b),#}(b(a)(x1))
115.10/29.07	      b{(c),#}(c(c)(c(a)(a(a)(x1)))) -> a{(a),#}(a(b)(b(a)(x1)))
115.10/29.07	      b{(c),#}(c(c)(c(a)(a(a)(x1)))) -> b{(a),#}(a(a)(a(b)(b(a)(x1))))
115.10/29.07	      c{(c),#}(c(c)(c(a)(a(b)(x1)))) -> b{(b),#}(x1)
115.10/29.07	      c{(c),#}(c(c)(c(a)(a(b)(x1)))) -> a{(b),#}(b(b)(x1))
115.10/29.07	      c{(c),#}(c(c)(c(a)(a(b)(x1)))) -> a{(a),#}(a(b)(b(b)(x1)))
115.10/29.07	      c{(c),#}(c(c)(c(a)(a(b)(x1)))) -> c{(a),#}(a(a)(a(b)(b(b)(x1))))
115.10/29.07	      c{(c),#}(c(c)(c(a)(a(c)(x1)))) -> b{(c),#}(x1)
115.10/29.07	      c{(c),#}(c(c)(c(a)(a(c)(x1)))) -> a{(b),#}(b(c)(x1))
115.10/29.07	      c{(c),#}(c(c)(c(a)(a(c)(x1)))) -> a{(a),#}(a(b)(b(c)(x1)))
115.10/29.07	      c{(c),#}(c(c)(c(a)(a(c)(x1)))) -> c{(a),#}(a(a)(a(b)(b(c)(x1))))
115.10/29.07	      c{(c),#}(c(c)(c(a)(a(a)(x1)))) -> b{(a),#}(x1)
115.10/29.07	      c{(c),#}(c(c)(c(a)(a(a)(x1)))) -> a{(b),#}(b(a)(x1))
115.10/29.07	      c{(c),#}(c(c)(c(a)(a(a)(x1)))) -> a{(a),#}(a(b)(b(a)(x1)))
115.10/29.07	      c{(c),#}(c(c)(c(a)(a(a)(x1)))) -> c{(a),#}(a(a)(a(b)(b(a)(x1))))
115.10/29.07	      a{(c),#}(c(c)(c(a)(a(b)(x1)))) -> b{(b),#}(x1)
115.10/29.07	      a{(c),#}(c(c)(c(a)(a(b)(x1)))) -> a{(b),#}(b(b)(x1))
115.10/29.07	      a{(c),#}(c(c)(c(a)(a(b)(x1)))) -> a{(a),#}(a(b)(b(b)(x1)))
115.10/29.07	      a{(c),#}(c(c)(c(a)(a(b)(x1)))) -> a{(a),#}(a(a)(a(b)(b(b)(x1))))
115.10/29.07	      a{(c),#}(c(c)(c(a)(a(c)(x1)))) -> b{(c),#}(x1)
115.10/29.07	      a{(c),#}(c(c)(c(a)(a(c)(x1)))) -> a{(b),#}(b(c)(x1))
115.10/29.07	      a{(c),#}(c(c)(c(a)(a(c)(x1)))) -> a{(a),#}(a(b)(b(c)(x1)))
115.10/29.07	      a{(c),#}(c(c)(c(a)(a(c)(x1)))) -> a{(a),#}(a(a)(a(b)(b(c)(x1))))
115.10/29.07	      a{(c),#}(c(c)(c(a)(a(a)(x1)))) -> b{(a),#}(x1)
115.10/29.07	      a{(c),#}(c(c)(c(a)(a(a)(x1)))) -> a{(b),#}(b(a)(x1))
115.10/29.07	      a{(c),#}(c(c)(c(a)(a(a)(x1)))) -> a{(a),#}(a(b)(b(a)(x1)))
115.10/29.08	      a{(c),#}(c(c)(c(a)(a(a)(x1)))) -> a{(a),#}(a(a)(a(b)(b(a)(x1))))
115.10/29.08	      b{(a),#}(a(c)(c(a)(a(b)(x1)))) -> c{(b),#}(x1)
115.10/29.08	      b{(a),#}(a(c)(c(a)(a(b)(x1)))) -> a{(c),#}(c(b)(x1))
115.10/29.08	      b{(a),#}(a(c)(c(a)(a(b)(x1)))) -> b{(a),#}(a(c)(c(b)(x1)))
115.10/29.08	      b{(a),#}(a(c)(c(a)(a(b)(x1)))) -> b{(b),#}(b(a)(a(c)(c(b)(x1))))
115.10/29.08	      b{(a),#}(a(c)(c(a)(a(c)(x1)))) -> c{(c),#}(x1)
115.10/29.08	      b{(a),#}(a(c)(c(a)(a(c)(x1)))) -> a{(c),#}(c(c)(x1))
115.10/29.08	      b{(a),#}(a(c)(c(a)(a(c)(x1)))) -> b{(a),#}(a(c)(c(c)(x1)))
115.10/29.08	      b{(a),#}(a(c)(c(a)(a(c)(x1)))) -> b{(b),#}(b(a)(a(c)(c(c)(x1))))
115.10/29.08	      b{(a),#}(a(c)(c(a)(a(a)(x1)))) -> c{(a),#}(x1)
115.10/29.08	      b{(a),#}(a(c)(c(a)(a(a)(x1)))) -> a{(c),#}(c(a)(x1))
115.10/29.08	      b{(a),#}(a(c)(c(a)(a(a)(x1)))) -> b{(a),#}(a(c)(c(a)(x1)))
115.10/29.08	      b{(a),#}(a(c)(c(a)(a(a)(x1)))) -> b{(b),#}(b(a)(a(c)(c(a)(x1))))
115.10/29.08	      c{(a),#}(a(c)(c(a)(a(b)(x1)))) -> c{(b),#}(x1)
115.10/29.08	      c{(a),#}(a(c)(c(a)(a(b)(x1)))) -> a{(c),#}(c(b)(x1))
115.10/29.08	      c{(a),#}(a(c)(c(a)(a(b)(x1)))) -> b{(a),#}(a(c)(c(b)(x1)))
115.10/29.08	      c{(a),#}(a(c)(c(a)(a(b)(x1)))) -> c{(b),#}(b(a)(a(c)(c(b)(x1))))
115.10/29.08	      c{(a),#}(a(c)(c(a)(a(c)(x1)))) -> c{(c),#}(x1)
115.10/29.08	      c{(a),#}(a(c)(c(a)(a(c)(x1)))) -> a{(c),#}(c(c)(x1))
115.10/29.08	      c{(a),#}(a(c)(c(a)(a(c)(x1)))) -> b{(a),#}(a(c)(c(c)(x1)))
115.10/29.08	      c{(a),#}(a(c)(c(a)(a(c)(x1)))) -> c{(b),#}(b(a)(a(c)(c(c)(x1))))
115.10/29.08	      c{(a),#}(a(c)(c(a)(a(a)(x1)))) -> c{(a),#}(x1)
115.10/29.08	      c{(a),#}(a(c)(c(a)(a(a)(x1)))) -> a{(c),#}(c(a)(x1))
115.10/29.08	      c{(a),#}(a(c)(c(a)(a(a)(x1)))) -> b{(a),#}(a(c)(c(a)(x1)))
115.10/29.08	      c{(a),#}(a(c)(c(a)(a(a)(x1)))) -> c{(b),#}(b(a)(a(c)(c(a)(x1))))
115.10/29.08	      a{(a),#}(a(c)(c(a)(a(b)(x1)))) -> c{(b),#}(x1)
115.10/29.08	      a{(a),#}(a(c)(c(a)(a(b)(x1)))) -> a{(c),#}(c(b)(x1))
115.10/29.08	      a{(a),#}(a(c)(c(a)(a(b)(x1)))) -> b{(a),#}(a(c)(c(b)(x1)))
115.10/29.08	      a{(a),#}(a(c)(c(a)(a(b)(x1)))) -> a{(b),#}(b(a)(a(c)(c(b)(x1))))
115.10/29.08	      a{(a),#}(a(c)(c(a)(a(c)(x1)))) -> c{(c),#}(x1)
115.10/29.08	      a{(a),#}(a(c)(c(a)(a(c)(x1)))) -> a{(c),#}(c(c)(x1))
115.10/29.08	      a{(a),#}(a(c)(c(a)(a(c)(x1)))) -> b{(a),#}(a(c)(c(c)(x1)))
115.10/29.08	      a{(a),#}(a(c)(c(a)(a(c)(x1)))) -> a{(b),#}(b(a)(a(c)(c(c)(x1))))
115.10/29.08	      a{(a),#}(a(c)(c(a)(a(a)(x1)))) -> c{(a),#}(x1)
115.10/29.08	      a{(a),#}(a(c)(c(a)(a(a)(x1)))) -> a{(c),#}(c(a)(x1))
115.10/29.08	      a{(a),#}(a(c)(c(a)(a(a)(x1)))) -> b{(a),#}(a(c)(c(a)(x1)))
115.10/29.08	      a{(a),#}(a(c)(c(a)(a(a)(x1)))) -> a{(b),#}(b(a)(a(c)(c(a)(x1))))
115.10/29.08	      a{(b),#}(b(a)(a(b)(x1))) -> b{(b),#}(x1)
115.10/29.08	      a{(b),#}(b(a)(a(b)(x1))) -> c{(b),#}(b(b)(x1))
115.10/29.08	      a{(b),#}(b(a)(a(b)(x1))) -> a{(c),#}(c(b)(b(b)(x1)))
115.10/29.08	      a{(b),#}(b(a)(a(c)(x1))) -> b{(c),#}(x1)
115.10/29.08	      a{(b),#}(b(a)(a(c)(x1))) -> c{(b),#}(b(c)(x1))
115.10/29.08	      a{(b),#}(b(a)(a(c)(x1))) -> a{(c),#}(c(b)(b(c)(x1)))
115.10/29.08	      a{(b),#}(b(a)(a(a)(x1))) -> b{(a),#}(x1)
115.10/29.08	      a{(b),#}(b(a)(a(a)(x1))) -> c{(b),#}(b(a)(x1))
115.10/29.08	      a{(b),#}(b(a)(a(a)(x1))) -> a{(c),#}(c(b)(b(a)(x1)))
115.10/29.08	     TRS:
115.10/29.08	      b(b)(b(c)(c(a)(a(b)(x1)))) -> b(a)(a(a)(a(c)(c(b)(x1))))
115.10/29.08	      b(b)(b(c)(c(a)(a(c)(x1)))) -> b(a)(a(a)(a(c)(c(c)(x1))))
115.10/29.08	      b(b)(b(c)(c(a)(a(a)(x1)))) -> b(a)(a(a)(a(c)(c(a)(x1))))
115.10/29.08	      c(b)(b(c)(c(a)(a(b)(x1)))) -> c(a)(a(a)(a(c)(c(b)(x1))))
115.10/29.08	      c(b)(b(c)(c(a)(a(c)(x1)))) -> c(a)(a(a)(a(c)(c(c)(x1))))
115.10/29.08	      c(b)(b(c)(c(a)(a(a)(x1)))) -> c(a)(a(a)(a(c)(c(a)(x1))))
115.10/29.08	      a(b)(b(c)(c(a)(a(b)(x1)))) -> a(a)(a(a)(a(c)(c(b)(x1))))
115.10/29.08	      a(b)(b(c)(c(a)(a(c)(x1)))) -> a(a)(a(a)(a(c)(c(c)(x1))))
115.10/29.08	      a(b)(b(c)(c(a)(a(a)(x1)))) -> a(a)(a(a)(a(c)(c(a)(x1))))
115.10/29.08	      b(c)(c(b)(b(b)(b(b)(x1)))) -> b(b)(b(b)(b(a)(a(b)(x1))))
115.10/29.08	      b(c)(c(b)(b(b)(b(c)(x1)))) -> b(b)(b(b)(b(a)(a(c)(x1))))
115.10/29.08	      b(c)(c(b)(b(b)(b(a)(x1)))) -> b(b)(b(b)(b(a)(a(a)(x1))))
115.10/29.08	      c(c)(c(b)(b(b)(b(b)(x1)))) -> c(b)(b(b)(b(a)(a(b)(x1))))
115.10/29.08	      c(c)(c(b)(b(b)(b(c)(x1)))) -> c(b)(b(b)(b(a)(a(c)(x1))))
115.10/29.08	      c(c)(c(b)(b(b)(b(a)(x1)))) -> c(b)(b(b)(b(a)(a(a)(x1))))
115.10/29.08	      a(c)(c(b)(b(b)(b(b)(x1)))) -> a(b)(b(b)(b(a)(a(b)(x1))))
115.10/29.08	      a(c)(c(b)(b(b)(b(c)(x1)))) -> a(b)(b(b)(b(a)(a(c)(x1))))
115.10/29.08	      a(c)(c(b)(b(b)(b(a)(x1)))) -> a(b)(b(b)(b(a)(a(a)(x1))))
115.10/29.08	      a(c)(c(c)(c(b)(x1))) -> a(a)(a(a)(a(b)(x1)))
115.10/29.08	      a(c)(c(c)(c(c)(x1))) -> a(a)(a(a)(a(c)(x1)))
115.10/29.08	      a(c)(c(c)(c(a)(x1))) -> a(a)(a(a)(a(a)(x1)))
115.10/29.09	      b(c)(c(c)(c(a)(a(b)(x1)))) -> b(a)(a(a)(a(b)(b(b)(x1))))
115.10/29.09	      b(c)(c(c)(c(a)(a(c)(x1)))) -> b(a)(a(a)(a(b)(b(c)(x1))))
115.10/29.09	      b(c)(c(c)(c(a)(a(a)(x1)))) -> b(a)(a(a)(a(b)(b(a)(x1))))
115.10/29.09	      c(c)(c(c)(c(a)(a(b)(x1)))) -> c(a)(a(a)(a(b)(b(b)(x1))))
115.10/29.09	      c(c)(c(c)(c(a)(a(c)(x1)))) -> c(a)(a(a)(a(b)(b(c)(x1))))
115.10/29.09	      c(c)(c(c)(c(a)(a(a)(x1)))) -> c(a)(a(a)(a(b)(b(a)(x1))))
115.10/29.09	      a(c)(c(c)(c(a)(a(b)(x1)))) -> a(a)(a(a)(a(b)(b(b)(x1))))
115.10/29.09	      a(c)(c(c)(c(a)(a(c)(x1)))) -> a(a)(a(a)(a(b)(b(c)(x1))))
115.10/29.09	      a(c)(c(c)(c(a)(a(a)(x1)))) -> a(a)(a(a)(a(b)(b(a)(x1))))
115.10/29.09	      b(a)(a(c)(c(a)(a(b)(x1)))) -> b(b)(b(a)(a(c)(c(b)(x1))))
115.10/29.09	      b(a)(a(c)(c(a)(a(c)(x1)))) -> b(b)(b(a)(a(c)(c(c)(x1))))
115.10/29.09	      b(a)(a(c)(c(a)(a(a)(x1)))) -> b(b)(b(a)(a(c)(c(a)(x1))))
115.10/29.09	      c(a)(a(c)(c(a)(a(b)(x1)))) -> c(b)(b(a)(a(c)(c(b)(x1))))
115.10/29.09	      c(a)(a(c)(c(a)(a(c)(x1)))) -> c(b)(b(a)(a(c)(c(c)(x1))))
115.10/29.09	      c(a)(a(c)(c(a)(a(a)(x1)))) -> c(b)(b(a)(a(c)(c(a)(x1))))
115.10/29.09	      a(a)(a(c)(c(a)(a(b)(x1)))) -> a(b)(b(a)(a(c)(c(b)(x1))))
115.10/29.09	      a(a)(a(c)(c(a)(a(c)(x1)))) -> a(b)(b(a)(a(c)(c(c)(x1))))
115.10/29.09	      a(a)(a(c)(c(a)(a(a)(x1)))) -> a(b)(b(a)(a(c)(c(a)(x1))))
115.10/29.09	      a(b)(b(a)(a(b)(x1))) -> a(c)(c(b)(b(b)(x1)))
115.10/29.09	      a(b)(b(a)(a(c)(x1))) -> a(c)(c(b)(b(c)(x1)))
115.10/29.09	      a(b)(b(a)(a(a)(x1))) -> a(c)(c(b)(b(a)(x1)))
115.10/29.09	     graph:
115.10/29.09	      ...
115.10/29.09	     EDG Processor:
115.10/29.09	      DPs:
115.10/29.09	       b{(b),#}(b(c)(c(a)(a(b)(x1)))) -> c{(b),#}(x1)
115.10/29.09	       b{(b),#}(b(c)(c(a)(a(b)(x1)))) -> a{(c),#}(c(b)(x1))
115.10/29.09	       b{(b),#}(b(c)(c(a)(a(b)(x1)))) -> a{(a),#}(a(c)(c(b)(x1)))
115.10/29.09	       b{(b),#}(b(c)(c(a)(a(b)(x1)))) -> b{(a),#}(a(a)(a(c)(c(b)(x1))))
115.10/29.09	       b{(b),#}(b(c)(c(a)(a(c)(x1)))) -> c{(c),#}(x1)
115.10/29.09	       b{(b),#}(b(c)(c(a)(a(c)(x1)))) -> a{(c),#}(c(c)(x1))
115.10/29.09	       b{(b),#}(b(c)(c(a)(a(c)(x1)))) -> a{(a),#}(a(c)(c(c)(x1)))
115.10/29.09	       b{(b),#}(b(c)(c(a)(a(c)(x1)))) -> b{(a),#}(a(a)(a(c)(c(c)(x1))))
115.10/29.09	       b{(b),#}(b(c)(c(a)(a(a)(x1)))) -> c{(a),#}(x1)
115.10/29.09	       b{(b),#}(b(c)(c(a)(a(a)(x1)))) -> a{(c),#}(c(a)(x1))
115.10/29.09	       b{(b),#}(b(c)(c(a)(a(a)(x1)))) -> a{(a),#}(a(c)(c(a)(x1)))
115.10/29.09	       b{(b),#}(b(c)(c(a)(a(a)(x1)))) -> b{(a),#}(a(a)(a(c)(c(a)(x1))))
115.10/29.09	       c{(b),#}(b(c)(c(a)(a(b)(x1)))) -> c{(b),#}(x1)
115.10/29.09	       c{(b),#}(b(c)(c(a)(a(b)(x1)))) -> a{(c),#}(c(b)(x1))
115.10/29.09	       c{(b),#}(b(c)(c(a)(a(b)(x1)))) -> a{(a),#}(a(c)(c(b)(x1)))
115.10/29.09	       c{(b),#}(b(c)(c(a)(a(b)(x1)))) -> c{(a),#}(a(a)(a(c)(c(b)(x1))))
115.10/29.09	       c{(b),#}(b(c)(c(a)(a(c)(x1)))) -> c{(c),#}(x1)
115.10/29.09	       c{(b),#}(b(c)(c(a)(a(c)(x1)))) -> a{(c),#}(c(c)(x1))
115.10/29.09	       c{(b),#}(b(c)(c(a)(a(c)(x1)))) -> a{(a),#}(a(c)(c(c)(x1)))
115.10/29.09	       c{(b),#}(b(c)(c(a)(a(c)(x1)))) -> c{(a),#}(a(a)(a(c)(c(c)(x1))))
115.10/29.09	       c{(b),#}(b(c)(c(a)(a(a)(x1)))) -> c{(a),#}(x1)
115.10/29.09	       c{(b),#}(b(c)(c(a)(a(a)(x1)))) -> a{(c),#}(c(a)(x1))
115.10/29.09	       c{(b),#}(b(c)(c(a)(a(a)(x1)))) -> a{(a),#}(a(c)(c(a)(x1)))
115.10/29.09	       c{(b),#}(b(c)(c(a)(a(a)(x1)))) -> c{(a),#}(a(a)(a(c)(c(a)(x1))))
115.10/29.09	       a{(b),#}(b(c)(c(a)(a(b)(x1)))) -> c{(b),#}(x1)
115.10/29.09	       a{(b),#}(b(c)(c(a)(a(b)(x1)))) -> a{(c),#}(c(b)(x1))
115.10/29.09	       a{(b),#}(b(c)(c(a)(a(b)(x1)))) -> a{(a),#}(a(c)(c(b)(x1)))
115.10/29.09	       a{(b),#}(b(c)(c(a)(a(b)(x1)))) -> a{(a),#}(a(a)(a(c)(c(b)(x1))))
115.10/29.09	       a{(b),#}(b(c)(c(a)(a(c)(x1)))) -> c{(c),#}(x1)
115.10/29.09	       a{(b),#}(b(c)(c(a)(a(c)(x1)))) -> a{(c),#}(c(c)(x1))
115.10/29.09	       a{(b),#}(b(c)(c(a)(a(c)(x1)))) -> a{(a),#}(a(c)(c(c)(x1)))
115.10/29.09	       a{(b),#}(b(c)(c(a)(a(c)(x1)))) -> a{(a),#}(a(a)(a(c)(c(c)(x1))))
115.10/29.09	       a{(b),#}(b(c)(c(a)(a(a)(x1)))) -> c{(a),#}(x1)
115.10/29.09	       a{(b),#}(b(c)(c(a)(a(a)(x1)))) -> a{(c),#}(c(a)(x1))
115.10/29.09	       a{(b),#}(b(c)(c(a)(a(a)(x1)))) -> a{(a),#}(a(c)(c(a)(x1)))
115.10/29.09	       a{(b),#}(b(c)(c(a)(a(a)(x1)))) -> a{(a),#}(a(a)(a(c)(c(a)(x1))))
115.10/29.09	       b{(c),#}(c(b)(b(b)(b(b)(x1)))) -> a{(b),#}(x1)
115.10/29.09	       b{(c),#}(c(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(b)(x1))
115.10/29.09	       b{(c),#}(c(b)(b(b)(b(b)(x1)))) -> b{(b),#}(b(a)(a(b)(x1)))
115.10/29.09	       b{(c),#}(c(b)(b(b)(b(b)(x1)))) -> b{(b),#}(b(b)(b(a)(a(b)(x1))))
115.10/29.09	       b{(c),#}(c(b)(b(b)(b(c)(x1)))) -> a{(c),#}(x1)
115.10/29.09	       b{(c),#}(c(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(x1))
115.10/29.09	       b{(c),#}(c(b)(b(b)(b(c)(x1)))) -> b{(b),#}(b(a)(a(c)(x1)))
115.10/29.09	       b{(c),#}(c(b)(b(b)(b(c)(x1)))) -> b{(b),#}(b(b)(b(a)(a(c)(x1))))
115.10/29.10	       b{(c),#}(c(b)(b(b)(b(a)(x1)))) -> a{(a),#}(x1)
115.10/29.10	       b{(c),#}(c(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(a)(x1))
115.10/29.10	       b{(c),#}(c(b)(b(b)(b(a)(x1)))) -> b{(b),#}(b(a)(a(a)(x1)))
115.10/29.10	       b{(c),#}(c(b)(b(b)(b(a)(x1)))) -> b{(b),#}(b(b)(b(a)(a(a)(x1))))
115.10/29.10	       c{(c),#}(c(b)(b(b)(b(b)(x1)))) -> a{(b),#}(x1)
115.10/29.10	       c{(c),#}(c(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(b)(x1))
115.10/29.10	       c{(c),#}(c(b)(b(b)(b(b)(x1)))) -> b{(b),#}(b(a)(a(b)(x1)))
115.10/29.10	       c{(c),#}(c(b)(b(b)(b(b)(x1)))) -> c{(b),#}(b(b)(b(a)(a(b)(x1))))
115.10/29.10	       c{(c),#}(c(b)(b(b)(b(c)(x1)))) -> a{(c),#}(x1)
115.10/29.10	       c{(c),#}(c(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(x1))
115.10/29.10	       c{(c),#}(c(b)(b(b)(b(c)(x1)))) -> b{(b),#}(b(a)(a(c)(x1)))
115.10/29.10	       c{(c),#}(c(b)(b(b)(b(c)(x1)))) -> c{(b),#}(b(b)(b(a)(a(c)(x1))))
115.10/29.10	       c{(c),#}(c(b)(b(b)(b(a)(x1)))) -> a{(a),#}(x1)
115.10/29.10	       c{(c),#}(c(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(a)(x1))
115.10/29.10	       c{(c),#}(c(b)(b(b)(b(a)(x1)))) -> b{(b),#}(b(a)(a(a)(x1)))
115.10/29.10	       c{(c),#}(c(b)(b(b)(b(a)(x1)))) -> c{(b),#}(b(b)(b(a)(a(a)(x1))))
115.10/29.10	       a{(c),#}(c(b)(b(b)(b(b)(x1)))) -> a{(b),#}(x1)
115.10/29.10	       a{(c),#}(c(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(b)(x1))
115.10/29.10	       a{(c),#}(c(b)(b(b)(b(b)(x1)))) -> b{(b),#}(b(a)(a(b)(x1)))
115.10/29.10	       a{(c),#}(c(b)(b(b)(b(b)(x1)))) -> a{(b),#}(b(b)(b(a)(a(b)(x1))))
115.10/29.10	       a{(c),#}(c(b)(b(b)(b(c)(x1)))) -> a{(c),#}(x1)
115.10/29.10	       a{(c),#}(c(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(x1))
115.10/29.10	       a{(c),#}(c(b)(b(b)(b(c)(x1)))) -> b{(b),#}(b(a)(a(c)(x1)))
115.10/29.10	       a{(c),#}(c(b)(b(b)(b(c)(x1)))) -> a{(b),#}(b(b)(b(a)(a(c)(x1))))
115.10/29.10	       a{(c),#}(c(b)(b(b)(b(a)(x1)))) -> a{(a),#}(x1)
115.10/29.10	       a{(c),#}(c(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(a)(x1))
115.10/29.10	       a{(c),#}(c(b)(b(b)(b(a)(x1)))) -> b{(b),#}(b(a)(a(a)(x1)))
115.10/29.10	       a{(c),#}(c(b)(b(b)(b(a)(x1)))) -> a{(b),#}(b(b)(b(a)(a(a)(x1))))
115.10/29.10	       a{(c),#}(c(c)(c(b)(x1))) -> a{(b),#}(x1)
115.10/29.10	       a{(c),#}(c(c)(c(b)(x1))) -> a{(a),#}(a(b)(x1))
115.10/29.10	       a{(c),#}(c(c)(c(b)(x1))) -> a{(a),#}(a(a)(a(b)(x1)))
115.10/29.10	       a{(c),#}(c(c)(c(c)(x1))) -> a{(c),#}(x1)
115.10/29.10	       a{(c),#}(c(c)(c(c)(x1))) -> a{(a),#}(a(c)(x1))
115.10/29.10	       a{(c),#}(c(c)(c(c)(x1))) -> a{(a),#}(a(a)(a(c)(x1)))
115.10/29.10	       a{(c),#}(c(c)(c(a)(x1))) -> a{(a),#}(x1)
115.10/29.10	       a{(c),#}(c(c)(c(a)(x1))) -> a{(a),#}(a(a)(x1))
115.10/29.10	       a{(c),#}(c(c)(c(a)(x1))) -> a{(a),#}(a(a)(a(a)(x1)))
115.10/29.10	       b{(c),#}(c(c)(c(a)(a(b)(x1)))) -> b{(b),#}(x1)
115.10/29.10	       b{(c),#}(c(c)(c(a)(a(b)(x1)))) -> a{(b),#}(b(b)(x1))
115.10/29.10	       b{(c),#}(c(c)(c(a)(a(b)(x1)))) -> a{(a),#}(a(b)(b(b)(x1)))
115.10/29.10	       b{(c),#}(c(c)(c(a)(a(b)(x1)))) -> b{(a),#}(a(a)(a(b)(b(b)(x1))))
115.10/29.10	       b{(c),#}(c(c)(c(a)(a(c)(x1)))) -> b{(c),#}(x1)
115.10/29.10	       b{(c),#}(c(c)(c(a)(a(c)(x1)))) -> a{(b),#}(b(c)(x1))
115.10/29.10	       b{(c),#}(c(c)(c(a)(a(c)(x1)))) -> a{(a),#}(a(b)(b(c)(x1)))
115.10/29.10	       b{(c),#}(c(c)(c(a)(a(c)(x1)))) -> b{(a),#}(a(a)(a(b)(b(c)(x1))))
115.10/29.10	       b{(c),#}(c(c)(c(a)(a(a)(x1)))) -> b{(a),#}(x1)
115.10/29.10	       b{(c),#}(c(c)(c(a)(a(a)(x1)))) -> a{(b),#}(b(a)(x1))
115.10/29.10	       b{(c),#}(c(c)(c(a)(a(a)(x1)))) -> a{(a),#}(a(b)(b(a)(x1)))
115.10/29.10	       b{(c),#}(c(c)(c(a)(a(a)(x1)))) -> b{(a),#}(a(a)(a(b)(b(a)(x1))))
115.10/29.10	       c{(c),#}(c(c)(c(a)(a(b)(x1)))) -> b{(b),#}(x1)
115.10/29.10	       c{(c),#}(c(c)(c(a)(a(b)(x1)))) -> a{(b),#}(b(b)(x1))
115.10/29.10	       c{(c),#}(c(c)(c(a)(a(b)(x1)))) -> a{(a),#}(a(b)(b(b)(x1)))
115.10/29.10	       c{(c),#}(c(c)(c(a)(a(b)(x1)))) -> c{(a),#}(a(a)(a(b)(b(b)(x1))))
115.10/29.10	       c{(c),#}(c(c)(c(a)(a(c)(x1)))) -> b{(c),#}(x1)
115.10/29.10	       c{(c),#}(c(c)(c(a)(a(c)(x1)))) -> a{(b),#}(b(c)(x1))
115.10/29.10	       c{(c),#}(c(c)(c(a)(a(c)(x1)))) -> a{(a),#}(a(b)(b(c)(x1)))
115.10/29.10	       c{(c),#}(c(c)(c(a)(a(c)(x1)))) -> c{(a),#}(a(a)(a(b)(b(c)(x1))))
115.10/29.10	       c{(c),#}(c(c)(c(a)(a(a)(x1)))) -> b{(a),#}(x1)
115.10/29.10	       c{(c),#}(c(c)(c(a)(a(a)(x1)))) -> a{(b),#}(b(a)(x1))
115.10/29.10	       c{(c),#}(c(c)(c(a)(a(a)(x1)))) -> a{(a),#}(a(b)(b(a)(x1)))
115.10/29.10	       c{(c),#}(c(c)(c(a)(a(a)(x1)))) -> c{(a),#}(a(a)(a(b)(b(a)(x1))))
115.10/29.10	       a{(c),#}(c(c)(c(a)(a(b)(x1)))) -> b{(b),#}(x1)
115.10/29.10	       a{(c),#}(c(c)(c(a)(a(b)(x1)))) -> a{(b),#}(b(b)(x1))
115.10/29.10	       a{(c),#}(c(c)(c(a)(a(b)(x1)))) -> a{(a),#}(a(b)(b(b)(x1)))
115.10/29.10	       a{(c),#}(c(c)(c(a)(a(b)(x1)))) -> a{(a),#}(a(a)(a(b)(b(b)(x1))))
115.10/29.10	       a{(c),#}(c(c)(c(a)(a(c)(x1)))) -> b{(c),#}(x1)
115.10/29.10	       a{(c),#}(c(c)(c(a)(a(c)(x1)))) -> a{(b),#}(b(c)(x1))
115.10/29.11	       a{(c),#}(c(c)(c(a)(a(c)(x1)))) -> a{(a),#}(a(b)(b(c)(x1)))
115.10/29.11	       a{(c),#}(c(c)(c(a)(a(c)(x1)))) -> a{(a),#}(a(a)(a(b)(b(c)(x1))))
115.10/29.11	       a{(c),#}(c(c)(c(a)(a(a)(x1)))) -> b{(a),#}(x1)
115.10/29.11	       a{(c),#}(c(c)(c(a)(a(a)(x1)))) -> a{(b),#}(b(a)(x1))
115.10/29.11	       a{(c),#}(c(c)(c(a)(a(a)(x1)))) -> a{(a),#}(a(b)(b(a)(x1)))
115.10/29.11	       a{(c),#}(c(c)(c(a)(a(a)(x1)))) -> a{(a),#}(a(a)(a(b)(b(a)(x1))))
115.10/29.11	       b{(a),#}(a(c)(c(a)(a(b)(x1)))) -> c{(b),#}(x1)
115.10/29.11	       b{(a),#}(a(c)(c(a)(a(b)(x1)))) -> a{(c),#}(c(b)(x1))
115.10/29.11	       b{(a),#}(a(c)(c(a)(a(b)(x1)))) -> b{(a),#}(a(c)(c(b)(x1)))
115.10/29.11	       b{(a),#}(a(c)(c(a)(a(b)(x1)))) -> b{(b),#}(b(a)(a(c)(c(b)(x1))))
115.10/29.11	       b{(a),#}(a(c)(c(a)(a(c)(x1)))) -> c{(c),#}(x1)
115.10/29.11	       b{(a),#}(a(c)(c(a)(a(c)(x1)))) -> a{(c),#}(c(c)(x1))
115.10/29.11	       b{(a),#}(a(c)(c(a)(a(c)(x1)))) -> b{(a),#}(a(c)(c(c)(x1)))
115.10/29.11	       b{(a),#}(a(c)(c(a)(a(c)(x1)))) -> b{(b),#}(b(a)(a(c)(c(c)(x1))))
115.10/29.11	       b{(a),#}(a(c)(c(a)(a(a)(x1)))) -> c{(a),#}(x1)
115.10/29.11	       b{(a),#}(a(c)(c(a)(a(a)(x1)))) -> a{(c),#}(c(a)(x1))
115.10/29.11	       b{(a),#}(a(c)(c(a)(a(a)(x1)))) -> b{(a),#}(a(c)(c(a)(x1)))
115.10/29.11	       b{(a),#}(a(c)(c(a)(a(a)(x1)))) -> b{(b),#}(b(a)(a(c)(c(a)(x1))))
115.10/29.11	       c{(a),#}(a(c)(c(a)(a(b)(x1)))) -> c{(b),#}(x1)
115.10/29.11	       c{(a),#}(a(c)(c(a)(a(b)(x1)))) -> a{(c),#}(c(b)(x1))
115.10/29.11	       c{(a),#}(a(c)(c(a)(a(b)(x1)))) -> b{(a),#}(a(c)(c(b)(x1)))
115.10/29.11	       c{(a),#}(a(c)(c(a)(a(b)(x1)))) -> c{(b),#}(b(a)(a(c)(c(b)(x1))))
115.10/29.11	       c{(a),#}(a(c)(c(a)(a(c)(x1)))) -> c{(c),#}(x1)
115.10/29.11	       c{(a),#}(a(c)(c(a)(a(c)(x1)))) -> a{(c),#}(c(c)(x1))
115.10/29.11	       c{(a),#}(a(c)(c(a)(a(c)(x1)))) -> b{(a),#}(a(c)(c(c)(x1)))
115.10/29.11	       c{(a),#}(a(c)(c(a)(a(c)(x1)))) -> c{(b),#}(b(a)(a(c)(c(c)(x1))))
115.10/29.11	       c{(a),#}(a(c)(c(a)(a(a)(x1)))) -> c{(a),#}(x1)
115.10/29.11	       c{(a),#}(a(c)(c(a)(a(a)(x1)))) -> a{(c),#}(c(a)(x1))
115.10/29.11	       c{(a),#}(a(c)(c(a)(a(a)(x1)))) -> b{(a),#}(a(c)(c(a)(x1)))
115.10/29.11	       c{(a),#}(a(c)(c(a)(a(a)(x1)))) -> c{(b),#}(b(a)(a(c)(c(a)(x1))))
115.10/29.11	       a{(a),#}(a(c)(c(a)(a(b)(x1)))) -> c{(b),#}(x1)
115.10/29.11	       a{(a),#}(a(c)(c(a)(a(b)(x1)))) -> a{(c),#}(c(b)(x1))
115.10/29.11	       a{(a),#}(a(c)(c(a)(a(b)(x1)))) -> b{(a),#}(a(c)(c(b)(x1)))
115.10/29.11	       a{(a),#}(a(c)(c(a)(a(b)(x1)))) -> a{(b),#}(b(a)(a(c)(c(b)(x1))))
115.10/29.11	       a{(a),#}(a(c)(c(a)(a(c)(x1)))) -> c{(c),#}(x1)
115.10/29.11	       a{(a),#}(a(c)(c(a)(a(c)(x1)))) -> a{(c),#}(c(c)(x1))
115.10/29.11	       a{(a),#}(a(c)(c(a)(a(c)(x1)))) -> b{(a),#}(a(c)(c(c)(x1)))
115.10/29.11	       a{(a),#}(a(c)(c(a)(a(c)(x1)))) -> a{(b),#}(b(a)(a(c)(c(c)(x1))))
115.10/29.11	       a{(a),#}(a(c)(c(a)(a(a)(x1)))) -> c{(a),#}(x1)
115.10/29.11	       a{(a),#}(a(c)(c(a)(a(a)(x1)))) -> a{(c),#}(c(a)(x1))
115.10/29.11	       a{(a),#}(a(c)(c(a)(a(a)(x1)))) -> b{(a),#}(a(c)(c(a)(x1)))
115.10/29.11	       a{(a),#}(a(c)(c(a)(a(a)(x1)))) -> a{(b),#}(b(a)(a(c)(c(a)(x1))))
115.10/29.11	       a{(b),#}(b(a)(a(b)(x1))) -> b{(b),#}(x1)
115.10/29.11	       a{(b),#}(b(a)(a(b)(x1))) -> c{(b),#}(b(b)(x1))
115.10/29.11	       a{(b),#}(b(a)(a(b)(x1))) -> a{(c),#}(c(b)(b(b)(x1)))
115.10/29.11	       a{(b),#}(b(a)(a(c)(x1))) -> b{(c),#}(x1)
115.10/29.11	       a{(b),#}(b(a)(a(c)(x1))) -> c{(b),#}(b(c)(x1))
115.10/29.11	       a{(b),#}(b(a)(a(c)(x1))) -> a{(c),#}(c(b)(b(c)(x1)))
115.10/29.11	       a{(b),#}(b(a)(a(a)(x1))) -> b{(a),#}(x1)
115.10/29.11	       a{(b),#}(b(a)(a(a)(x1))) -> c{(b),#}(b(a)(x1))
115.10/29.11	       a{(b),#}(b(a)(a(a)(x1))) -> a{(c),#}(c(b)(b(a)(x1)))
115.10/29.11	      TRS:
115.10/29.11	       b(b)(b(c)(c(a)(a(b)(x1)))) -> b(a)(a(a)(a(c)(c(b)(x1))))
115.10/29.11	       b(b)(b(c)(c(a)(a(c)(x1)))) -> b(a)(a(a)(a(c)(c(c)(x1))))
115.10/29.11	       b(b)(b(c)(c(a)(a(a)(x1)))) -> b(a)(a(a)(a(c)(c(a)(x1))))
115.10/29.11	       c(b)(b(c)(c(a)(a(b)(x1)))) -> c(a)(a(a)(a(c)(c(b)(x1))))
115.10/29.11	       c(b)(b(c)(c(a)(a(c)(x1)))) -> c(a)(a(a)(a(c)(c(c)(x1))))
115.10/29.11	       c(b)(b(c)(c(a)(a(a)(x1)))) -> c(a)(a(a)(a(c)(c(a)(x1))))
115.10/29.11	       a(b)(b(c)(c(a)(a(b)(x1)))) -> a(a)(a(a)(a(c)(c(b)(x1))))
115.10/29.11	       a(b)(b(c)(c(a)(a(c)(x1)))) -> a(a)(a(a)(a(c)(c(c)(x1))))
115.10/29.11	       a(b)(b(c)(c(a)(a(a)(x1)))) -> a(a)(a(a)(a(c)(c(a)(x1))))
115.10/29.11	       b(c)(c(b)(b(b)(b(b)(x1)))) -> b(b)(b(b)(b(a)(a(b)(x1))))
115.10/29.11	       b(c)(c(b)(b(b)(b(c)(x1)))) -> b(b)(b(b)(b(a)(a(c)(x1))))
115.10/29.11	       b(c)(c(b)(b(b)(b(a)(x1)))) -> b(b)(b(b)(b(a)(a(a)(x1))))
115.10/29.11	       c(c)(c(b)(b(b)(b(b)(x1)))) -> c(b)(b(b)(b(a)(a(b)(x1))))
115.10/29.11	       c(c)(c(b)(b(b)(b(c)(x1)))) -> c(b)(b(b)(b(a)(a(c)(x1))))
115.14/29.11	       c(c)(c(b)(b(b)(b(a)(x1)))) -> c(b)(b(b)(b(a)(a(a)(x1))))
115.14/29.11	       a(c)(c(b)(b(b)(b(b)(x1)))) -> a(b)(b(b)(b(a)(a(b)(x1))))
115.14/29.11	       a(c)(c(b)(b(b)(b(c)(x1)))) -> a(b)(b(b)(b(a)(a(c)(x1))))
115.14/29.11	       a(c)(c(b)(b(b)(b(a)(x1)))) -> a(b)(b(b)(b(a)(a(a)(x1))))
115.14/29.11	       a(c)(c(c)(c(b)(x1))) -> a(a)(a(a)(a(b)(x1)))
115.14/29.11	       a(c)(c(c)(c(c)(x1))) -> a(a)(a(a)(a(c)(x1)))
115.14/29.11	       a(c)(c(c)(c(a)(x1))) -> a(a)(a(a)(a(a)(x1)))
115.14/29.11	       b(c)(c(c)(c(a)(a(b)(x1)))) -> b(a)(a(a)(a(b)(b(b)(x1))))
115.14/29.11	       b(c)(c(c)(c(a)(a(c)(x1)))) -> b(a)(a(a)(a(b)(b(c)(x1))))
115.14/29.11	       b(c)(c(c)(c(a)(a(a)(x1)))) -> b(a)(a(a)(a(b)(b(a)(x1))))
115.14/29.11	       c(c)(c(c)(c(a)(a(b)(x1)))) -> c(a)(a(a)(a(b)(b(b)(x1))))
115.14/29.11	       c(c)(c(c)(c(a)(a(c)(x1)))) -> c(a)(a(a)(a(b)(b(c)(x1))))
115.14/29.11	       c(c)(c(c)(c(a)(a(a)(x1)))) -> c(a)(a(a)(a(b)(b(a)(x1))))
115.14/29.11	       a(c)(c(c)(c(a)(a(b)(x1)))) -> a(a)(a(a)(a(b)(b(b)(x1))))
115.14/29.11	       a(c)(c(c)(c(a)(a(c)(x1)))) -> a(a)(a(a)(a(b)(b(c)(x1))))
115.14/29.11	       a(c)(c(c)(c(a)(a(a)(x1)))) -> a(a)(a(a)(a(b)(b(a)(x1))))
115.14/29.11	       b(a)(a(c)(c(a)(a(b)(x1)))) -> b(b)(b(a)(a(c)(c(b)(x1))))
115.14/29.11	       b(a)(a(c)(c(a)(a(c)(x1)))) -> b(b)(b(a)(a(c)(c(c)(x1))))
115.14/29.11	       b(a)(a(c)(c(a)(a(a)(x1)))) -> b(b)(b(a)(a(c)(c(a)(x1))))
115.14/29.11	       c(a)(a(c)(c(a)(a(b)(x1)))) -> c(b)(b(a)(a(c)(c(b)(x1))))
115.14/29.11	       c(a)(a(c)(c(a)(a(c)(x1)))) -> c(b)(b(a)(a(c)(c(c)(x1))))
115.14/29.11	       c(a)(a(c)(c(a)(a(a)(x1)))) -> c(b)(b(a)(a(c)(c(a)(x1))))
115.14/29.11	       a(a)(a(c)(c(a)(a(b)(x1)))) -> a(b)(b(a)(a(c)(c(b)(x1))))
115.14/29.11	       a(a)(a(c)(c(a)(a(c)(x1)))) -> a(b)(b(a)(a(c)(c(c)(x1))))
115.14/29.11	       a(a)(a(c)(c(a)(a(a)(x1)))) -> a(b)(b(a)(a(c)(c(a)(x1))))
115.14/29.11	       a(b)(b(a)(a(b)(x1))) -> a(c)(c(b)(b(b)(x1)))
115.14/29.11	       a(b)(b(a)(a(c)(x1))) -> a(c)(c(b)(b(c)(x1)))
115.14/29.11	       a(b)(b(a)(a(a)(x1))) -> a(c)(c(b)(b(a)(x1)))
115.14/29.11	      graph:
115.14/29.11	       ...
115.14/29.11	      SCC Processor:
115.14/29.11	       #sccs: 1
115.14/29.11	       #rules: 139
115.14/29.11	       #arcs: 1969/26244
115.14/29.11	       DPs:
115.14/29.11	        b{(c),#}(c(c)(c(a)(a(c)(x1)))) -> b{(c),#}(x1)
115.14/29.11	        b{(c),#}(c(c)(c(a)(a(a)(x1)))) -> b{(a),#}(a(a)(a(b)(b(a)(x1))))
115.14/29.11	        b{(a),#}(a(c)(c(a)(a(a)(x1)))) -> b{(a),#}(a(c)(c(a)(x1)))
115.14/29.11	        b{(a),#}(a(c)(c(a)(a(a)(x1)))) -> a{(c),#}(c(a)(x1))
115.14/29.11	        a{(c),#}(c(b)(b(b)(b(a)(x1)))) -> a{(b),#}(b(b)(b(a)(a(a)(x1))))
115.14/29.11	        a{(b),#}(b(a)(a(a)(x1))) -> a{(c),#}(c(b)(b(a)(x1)))
115.14/29.11	        a{(c),#}(c(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(a)(x1))
115.14/29.11	        b{(a),#}(a(c)(c(a)(a(a)(x1)))) -> c{(a),#}(x1)
115.14/29.11	        c{(a),#}(a(c)(c(a)(a(a)(x1)))) -> b{(a),#}(a(c)(c(a)(x1)))
115.14/29.11	        b{(a),#}(a(c)(c(a)(a(c)(x1)))) -> b{(a),#}(a(c)(c(c)(x1)))
115.14/29.11	        b{(a),#}(a(c)(c(a)(a(c)(x1)))) -> a{(c),#}(c(c)(x1))
115.14/29.11	        a{(c),#}(c(c)(c(a)(a(a)(x1)))) -> a{(a),#}(a(a)(a(b)(b(a)(x1))))
115.14/29.11	        a{(a),#}(a(c)(c(a)(a(a)(x1)))) -> a{(b),#}(b(a)(a(c)(c(a)(x1))))
115.14/29.11	        a{(b),#}(b(a)(a(a)(x1))) -> b{(a),#}(x1)
115.14/29.11	        b{(a),#}(a(c)(c(a)(a(c)(x1)))) -> c{(c),#}(x1)
115.14/29.11	        c{(c),#}(c(c)(c(a)(a(a)(x1)))) -> c{(a),#}(a(a)(a(b)(b(a)(x1))))
115.14/29.11	        c{(a),#}(a(c)(c(a)(a(a)(x1)))) -> a{(c),#}(c(a)(x1))
115.14/29.11	        a{(c),#}(c(b)(b(b)(b(a)(x1)))) -> a{(a),#}(x1)
115.14/29.11	        a{(a),#}(a(c)(c(a)(a(a)(x1)))) -> b{(a),#}(a(c)(c(a)(x1)))
115.14/29.11	        b{(a),#}(a(c)(c(a)(a(b)(x1)))) -> b{(a),#}(a(c)(c(b)(x1)))
115.14/29.11	        b{(a),#}(a(c)(c(a)(a(b)(x1)))) -> a{(c),#}(c(b)(x1))
115.14/29.11	        a{(c),#}(c(b)(b(b)(b(c)(x1)))) -> a{(b),#}(b(b)(b(a)(a(c)(x1))))
115.14/29.11	        a{(b),#}(b(a)(a(c)(x1))) -> a{(c),#}(c(b)(b(c)(x1)))
115.14/29.11	        a{(c),#}(c(b)(b(b)(b(b)(x1)))) -> a{(b),#}(b(b)(b(a)(a(b)(x1))))
115.14/29.11	        a{(b),#}(b(a)(a(c)(x1))) -> c{(b),#}(b(c)(x1))
115.14/29.11	        c{(b),#}(b(c)(c(a)(a(a)(x1)))) -> c{(a),#}(a(a)(a(c)(c(a)(x1))))
115.14/29.11	        c{(a),#}(a(c)(c(a)(a(a)(x1)))) -> c{(a),#}(x1)
115.14/29.11	        c{(a),#}(a(c)(c(a)(a(c)(x1)))) -> b{(a),#}(a(c)(c(c)(x1)))
115.14/29.11	        b{(a),#}(a(c)(c(a)(a(b)(x1)))) -> c{(b),#}(x1)
115.14/29.11	        c{(b),#}(b(c)(c(a)(a(a)(x1)))) -> a{(a),#}(a(c)(c(a)(x1)))
115.14/29.11	        a{(a),#}(a(c)(c(a)(a(a)(x1)))) -> a{(c),#}(c(a)(x1))
115.14/29.11	        a{(c),#}(c(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(b)(x1))
115.14/29.11	        a{(c),#}(c(b)(b(b)(b(b)(x1)))) -> a{(b),#}(x1)
115.14/29.11	        a{(b),#}(b(a)(a(c)(x1))) -> b{(c),#}(x1)
115.14/29.11	        b{(c),#}(c(c)(c(a)(a(a)(x1)))) -> a{(a),#}(a(b)(b(a)(x1)))
115.14/29.11	        a{(a),#}(a(c)(c(a)(a(a)(x1)))) -> c{(a),#}(x1)
115.14/29.12	        c{(a),#}(a(c)(c(a)(a(c)(x1)))) -> a{(c),#}(c(c)(x1))
115.14/29.12	        a{(c),#}(c(c)(c(a)(a(a)(x1)))) -> a{(a),#}(a(b)(b(a)(x1)))
115.14/29.12	        a{(a),#}(a(c)(c(a)(a(c)(x1)))) -> a{(b),#}(b(a)(a(c)(c(c)(x1))))
115.14/29.12	        a{(b),#}(b(a)(a(b)(x1))) -> a{(c),#}(c(b)(b(b)(x1)))
115.14/29.12	        a{(c),#}(c(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(x1))
115.14/29.12	        a{(c),#}(c(b)(b(b)(b(c)(x1)))) -> a{(c),#}(x1)
115.14/29.12	        a{(c),#}(c(c)(c(a)(a(a)(x1)))) -> a{(b),#}(b(a)(x1))
115.14/29.12	        a{(b),#}(b(a)(a(b)(x1))) -> b{(b),#}(x1)
115.14/29.12	        b{(b),#}(b(c)(c(a)(a(a)(x1)))) -> b{(a),#}(a(a)(a(c)(c(a)(x1))))
115.14/29.12	        b{(b),#}(b(c)(c(a)(a(a)(x1)))) -> a{(a),#}(a(c)(c(a)(x1)))
115.14/29.12	        a{(a),#}(a(c)(c(a)(a(c)(x1)))) -> b{(a),#}(a(c)(c(c)(x1)))
115.14/29.12	        a{(a),#}(a(c)(c(a)(a(c)(x1)))) -> a{(c),#}(c(c)(x1))
115.14/29.12	        a{(c),#}(c(c)(c(a)(a(a)(x1)))) -> b{(a),#}(x1)
115.14/29.12	        a{(c),#}(c(c)(c(a)(a(c)(x1)))) -> a{(a),#}(a(a)(a(b)(b(c)(x1))))
115.14/29.12	        a{(a),#}(a(c)(c(a)(a(c)(x1)))) -> c{(c),#}(x1)
115.14/29.12	        c{(c),#}(c(c)(c(a)(a(a)(x1)))) -> a{(a),#}(a(b)(b(a)(x1)))
115.14/29.12	        a{(a),#}(a(c)(c(a)(a(b)(x1)))) -> a{(b),#}(b(a)(a(c)(c(b)(x1))))
115.14/29.12	        a{(a),#}(a(c)(c(a)(a(b)(x1)))) -> b{(a),#}(a(c)(c(b)(x1)))
115.14/29.12	        a{(a),#}(a(c)(c(a)(a(b)(x1)))) -> a{(c),#}(c(b)(x1))
115.14/29.12	        a{(a),#}(a(c)(c(a)(a(b)(x1)))) -> c{(b),#}(x1)
115.14/29.12	        c{(b),#}(b(c)(c(a)(a(a)(x1)))) -> a{(c),#}(c(a)(x1))
115.14/29.12	        c{(b),#}(b(c)(c(a)(a(a)(x1)))) -> c{(a),#}(x1)
115.14/29.12	        c{(a),#}(a(c)(c(a)(a(c)(x1)))) -> c{(c),#}(x1)
115.14/29.12	        c{(c),#}(c(c)(c(a)(a(a)(x1)))) -> a{(b),#}(b(a)(x1))
115.14/29.12	        c{(c),#}(c(c)(c(a)(a(a)(x1)))) -> b{(a),#}(x1)
115.14/29.12	        c{(c),#}(c(c)(c(a)(a(c)(x1)))) -> c{(a),#}(a(a)(a(b)(b(c)(x1))))
115.14/29.12	        c{(a),#}(a(c)(c(a)(a(b)(x1)))) -> b{(a),#}(a(c)(c(b)(x1)))
115.14/29.12	        c{(a),#}(a(c)(c(a)(a(b)(x1)))) -> a{(c),#}(c(b)(x1))
115.14/29.12	        c{(a),#}(a(c)(c(a)(a(b)(x1)))) -> c{(b),#}(x1)
115.14/29.12	        c{(b),#}(b(c)(c(a)(a(c)(x1)))) -> c{(a),#}(a(a)(a(c)(c(c)(x1))))
115.14/29.12	        c{(b),#}(b(c)(c(a)(a(c)(x1)))) -> a{(a),#}(a(c)(c(c)(x1)))
115.14/29.12	        c{(b),#}(b(c)(c(a)(a(c)(x1)))) -> a{(c),#}(c(c)(x1))
115.14/29.12	        a{(c),#}(c(c)(c(a)(a(c)(x1)))) -> a{(a),#}(a(b)(b(c)(x1)))
115.14/29.12	        a{(c),#}(c(c)(c(a)(a(c)(x1)))) -> a{(b),#}(b(c)(x1))
115.14/29.12	        a{(b),#}(b(c)(c(a)(a(a)(x1)))) -> a{(a),#}(a(a)(a(c)(c(a)(x1))))
115.14/29.12	        a{(b),#}(b(c)(c(a)(a(a)(x1)))) -> a{(a),#}(a(c)(c(a)(x1)))
115.14/29.12	        a{(b),#}(b(c)(c(a)(a(a)(x1)))) -> a{(c),#}(c(a)(x1))
115.14/29.12	        a{(b),#}(b(c)(c(a)(a(a)(x1)))) -> c{(a),#}(x1)
115.14/29.12	        a{(b),#}(b(c)(c(a)(a(c)(x1)))) -> a{(a),#}(a(a)(a(c)(c(c)(x1))))
115.14/29.12	        a{(b),#}(b(c)(c(a)(a(c)(x1)))) -> a{(a),#}(a(c)(c(c)(x1)))
115.14/29.12	        a{(b),#}(b(c)(c(a)(a(c)(x1)))) -> a{(c),#}(c(c)(x1))
115.14/29.12	        a{(c),#}(c(c)(c(a)(a(c)(x1)))) -> b{(c),#}(x1)
115.14/29.12	        b{(c),#}(c(c)(c(a)(a(a)(x1)))) -> a{(b),#}(b(a)(x1))
115.14/29.12	        b{(c),#}(c(c)(c(a)(a(a)(x1)))) -> b{(a),#}(x1)
115.14/29.12	        b{(c),#}(c(c)(c(a)(a(c)(x1)))) -> b{(a),#}(a(a)(a(b)(b(c)(x1))))
115.14/29.12	        b{(c),#}(c(c)(c(a)(a(c)(x1)))) -> a{(a),#}(a(b)(b(c)(x1)))
115.14/29.12	        b{(c),#}(c(c)(c(a)(a(c)(x1)))) -> a{(b),#}(b(c)(x1))
115.14/29.12	        a{(b),#}(b(c)(c(a)(a(c)(x1)))) -> c{(c),#}(x1)
115.14/29.12	        c{(c),#}(c(c)(c(a)(a(c)(x1)))) -> a{(a),#}(a(b)(b(c)(x1)))
115.14/29.12	        c{(c),#}(c(c)(c(a)(a(c)(x1)))) -> a{(b),#}(b(c)(x1))
115.14/29.12	        a{(b),#}(b(c)(c(a)(a(b)(x1)))) -> a{(a),#}(a(a)(a(c)(c(b)(x1))))
115.14/29.12	        a{(b),#}(b(c)(c(a)(a(b)(x1)))) -> a{(a),#}(a(c)(c(b)(x1)))
115.14/29.12	        a{(b),#}(b(c)(c(a)(a(b)(x1)))) -> a{(c),#}(c(b)(x1))
115.14/29.12	        a{(b),#}(b(c)(c(a)(a(b)(x1)))) -> c{(b),#}(x1)
115.14/29.12	        c{(b),#}(b(c)(c(a)(a(c)(x1)))) -> c{(c),#}(x1)
115.14/29.12	        c{(c),#}(c(c)(c(a)(a(c)(x1)))) -> b{(c),#}(x1)
115.14/29.12	        b{(c),#}(c(c)(c(a)(a(b)(x1)))) -> b{(a),#}(a(a)(a(b)(b(b)(x1))))
115.14/29.12	        b{(c),#}(c(c)(c(a)(a(b)(x1)))) -> a{(a),#}(a(b)(b(b)(x1)))
115.14/29.12	        b{(c),#}(c(c)(c(a)(a(b)(x1)))) -> a{(b),#}(b(b)(x1))
115.14/29.12	        b{(c),#}(c(c)(c(a)(a(b)(x1)))) -> b{(b),#}(x1)
115.14/29.12	        b{(b),#}(b(c)(c(a)(a(a)(x1)))) -> a{(c),#}(c(a)(x1))
115.14/29.12	        b{(b),#}(b(c)(c(a)(a(a)(x1)))) -> c{(a),#}(x1)
115.14/29.12	        b{(b),#}(b(c)(c(a)(a(c)(x1)))) -> b{(a),#}(a(a)(a(c)(c(c)(x1))))
115.14/29.12	        b{(b),#}(b(c)(c(a)(a(c)(x1)))) -> a{(a),#}(a(c)(c(c)(x1)))
115.14/29.12	        b{(b),#}(b(c)(c(a)(a(c)(x1)))) -> a{(c),#}(c(c)(x1))
115.14/29.12	        a{(c),#}(c(c)(c(a)(a(b)(x1)))) -> a{(a),#}(a(a)(a(b)(b(b)(x1))))
115.14/29.13	        a{(c),#}(c(c)(c(a)(a(b)(x1)))) -> a{(a),#}(a(b)(b(b)(x1)))
115.14/29.13	        a{(c),#}(c(c)(c(a)(a(b)(x1)))) -> a{(b),#}(b(b)(x1))
115.14/29.13	        a{(c),#}(c(c)(c(a)(a(b)(x1)))) -> b{(b),#}(x1)
115.14/29.13	        b{(b),#}(b(c)(c(a)(a(c)(x1)))) -> c{(c),#}(x1)
115.14/29.13	        c{(c),#}(c(c)(c(a)(a(b)(x1)))) -> c{(a),#}(a(a)(a(b)(b(b)(x1))))
115.14/29.13	        c{(c),#}(c(c)(c(a)(a(b)(x1)))) -> a{(a),#}(a(b)(b(b)(x1)))
115.14/29.13	        c{(c),#}(c(c)(c(a)(a(b)(x1)))) -> a{(b),#}(b(b)(x1))
115.14/29.13	        c{(c),#}(c(c)(c(a)(a(b)(x1)))) -> b{(b),#}(x1)
115.14/29.13	        b{(b),#}(b(c)(c(a)(a(b)(x1)))) -> b{(a),#}(a(a)(a(c)(c(b)(x1))))
115.14/29.13	        b{(b),#}(b(c)(c(a)(a(b)(x1)))) -> a{(a),#}(a(c)(c(b)(x1)))
115.14/29.13	        b{(b),#}(b(c)(c(a)(a(b)(x1)))) -> a{(c),#}(c(b)(x1))
115.14/29.13	        b{(b),#}(b(c)(c(a)(a(b)(x1)))) -> c{(b),#}(x1)
115.14/29.13	        c{(b),#}(b(c)(c(a)(a(b)(x1)))) -> c{(a),#}(a(a)(a(c)(c(b)(x1))))
115.14/29.13	        c{(b),#}(b(c)(c(a)(a(b)(x1)))) -> a{(a),#}(a(c)(c(b)(x1)))
115.14/29.13	        c{(b),#}(b(c)(c(a)(a(b)(x1)))) -> a{(c),#}(c(b)(x1))
115.14/29.13	        c{(b),#}(b(c)(c(a)(a(b)(x1)))) -> c{(b),#}(x1)
115.14/29.13	        c{(c),#}(c(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(a)(x1))
115.14/29.13	        c{(c),#}(c(b)(b(b)(b(a)(x1)))) -> a{(a),#}(x1)
115.14/29.13	        c{(c),#}(c(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(x1))
115.14/29.13	        c{(c),#}(c(b)(b(b)(b(c)(x1)))) -> a{(c),#}(x1)
115.14/29.13	        a{(c),#}(c(c)(c(a)(x1))) -> a{(a),#}(a(a)(a(a)(x1)))
115.14/29.13	        a{(c),#}(c(c)(c(a)(x1))) -> a{(a),#}(a(a)(x1))
115.14/29.13	        a{(c),#}(c(c)(c(a)(x1))) -> a{(a),#}(x1)
115.14/29.13	        a{(c),#}(c(c)(c(c)(x1))) -> a{(a),#}(a(a)(a(c)(x1)))
115.14/29.13	        a{(c),#}(c(c)(c(c)(x1))) -> a{(a),#}(a(c)(x1))
115.14/29.13	        a{(c),#}(c(c)(c(c)(x1))) -> a{(c),#}(x1)
115.14/29.13	        a{(c),#}(c(c)(c(b)(x1))) -> a{(a),#}(a(a)(a(b)(x1)))
115.14/29.13	        a{(c),#}(c(c)(c(b)(x1))) -> a{(a),#}(a(b)(x1))
115.14/29.13	        a{(c),#}(c(c)(c(b)(x1))) -> a{(b),#}(x1)
115.14/29.13	        c{(c),#}(c(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(b)(x1))
115.14/29.13	        c{(c),#}(c(b)(b(b)(b(b)(x1)))) -> a{(b),#}(x1)
115.14/29.13	        b{(c),#}(c(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(a)(x1))
115.14/29.13	        b{(c),#}(c(b)(b(b)(b(a)(x1)))) -> a{(a),#}(x1)
115.14/29.13	        b{(c),#}(c(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(x1))
115.14/29.13	        b{(c),#}(c(b)(b(b)(b(c)(x1)))) -> a{(c),#}(x1)
115.14/29.13	        b{(c),#}(c(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(b)(x1))
115.14/29.13	        b{(c),#}(c(b)(b(b)(b(b)(x1)))) -> a{(b),#}(x1)
115.14/29.13	       TRS:
115.14/29.13	        b(b)(b(c)(c(a)(a(b)(x1)))) -> b(a)(a(a)(a(c)(c(b)(x1))))
115.14/29.13	        b(b)(b(c)(c(a)(a(c)(x1)))) -> b(a)(a(a)(a(c)(c(c)(x1))))
115.14/29.13	        b(b)(b(c)(c(a)(a(a)(x1)))) -> b(a)(a(a)(a(c)(c(a)(x1))))
115.14/29.13	        c(b)(b(c)(c(a)(a(b)(x1)))) -> c(a)(a(a)(a(c)(c(b)(x1))))
115.14/29.13	        c(b)(b(c)(c(a)(a(c)(x1)))) -> c(a)(a(a)(a(c)(c(c)(x1))))
115.14/29.13	        c(b)(b(c)(c(a)(a(a)(x1)))) -> c(a)(a(a)(a(c)(c(a)(x1))))
115.14/29.13	        a(b)(b(c)(c(a)(a(b)(x1)))) -> a(a)(a(a)(a(c)(c(b)(x1))))
115.14/29.13	        a(b)(b(c)(c(a)(a(c)(x1)))) -> a(a)(a(a)(a(c)(c(c)(x1))))
115.14/29.13	        a(b)(b(c)(c(a)(a(a)(x1)))) -> a(a)(a(a)(a(c)(c(a)(x1))))
115.14/29.13	        b(c)(c(b)(b(b)(b(b)(x1)))) -> b(b)(b(b)(b(a)(a(b)(x1))))
115.14/29.13	        b(c)(c(b)(b(b)(b(c)(x1)))) -> b(b)(b(b)(b(a)(a(c)(x1))))
115.14/29.13	        b(c)(c(b)(b(b)(b(a)(x1)))) -> b(b)(b(b)(b(a)(a(a)(x1))))
115.14/29.13	        c(c)(c(b)(b(b)(b(b)(x1)))) -> c(b)(b(b)(b(a)(a(b)(x1))))
115.14/29.13	        c(c)(c(b)(b(b)(b(c)(x1)))) -> c(b)(b(b)(b(a)(a(c)(x1))))
115.14/29.13	        c(c)(c(b)(b(b)(b(a)(x1)))) -> c(b)(b(b)(b(a)(a(a)(x1))))
115.14/29.13	        a(c)(c(b)(b(b)(b(b)(x1)))) -> a(b)(b(b)(b(a)(a(b)(x1))))
115.14/29.13	        a(c)(c(b)(b(b)(b(c)(x1)))) -> a(b)(b(b)(b(a)(a(c)(x1))))
115.14/29.13	        a(c)(c(b)(b(b)(b(a)(x1)))) -> a(b)(b(b)(b(a)(a(a)(x1))))
115.14/29.13	        a(c)(c(c)(c(b)(x1))) -> a(a)(a(a)(a(b)(x1)))
115.14/29.13	        a(c)(c(c)(c(c)(x1))) -> a(a)(a(a)(a(c)(x1)))
115.14/29.13	        a(c)(c(c)(c(a)(x1))) -> a(a)(a(a)(a(a)(x1)))
115.14/29.13	        b(c)(c(c)(c(a)(a(b)(x1)))) -> b(a)(a(a)(a(b)(b(b)(x1))))
115.14/29.13	        b(c)(c(c)(c(a)(a(c)(x1)))) -> b(a)(a(a)(a(b)(b(c)(x1))))
115.14/29.13	        b(c)(c(c)(c(a)(a(a)(x1)))) -> b(a)(a(a)(a(b)(b(a)(x1))))
115.14/29.13	        c(c)(c(c)(c(a)(a(b)(x1)))) -> c(a)(a(a)(a(b)(b(b)(x1))))
115.14/29.13	        c(c)(c(c)(c(a)(a(c)(x1)))) -> c(a)(a(a)(a(b)(b(c)(x1))))
115.14/29.13	        c(c)(c(c)(c(a)(a(a)(x1)))) -> c(a)(a(a)(a(b)(b(a)(x1))))
115.14/29.13	        a(c)(c(c)(c(a)(a(b)(x1)))) -> a(a)(a(a)(a(b)(b(b)(x1))))
115.14/29.13	        a(c)(c(c)(c(a)(a(c)(x1)))) -> a(a)(a(a)(a(b)(b(c)(x1))))
115.17/29.14	        a(c)(c(c)(c(a)(a(a)(x1)))) -> a(a)(a(a)(a(b)(b(a)(x1))))
115.17/29.14	        b(a)(a(c)(c(a)(a(b)(x1)))) -> b(b)(b(a)(a(c)(c(b)(x1))))
115.17/29.14	        b(a)(a(c)(c(a)(a(c)(x1)))) -> b(b)(b(a)(a(c)(c(c)(x1))))
115.17/29.14	        b(a)(a(c)(c(a)(a(a)(x1)))) -> b(b)(b(a)(a(c)(c(a)(x1))))
115.17/29.14	        c(a)(a(c)(c(a)(a(b)(x1)))) -> c(b)(b(a)(a(c)(c(b)(x1))))
115.17/29.14	        c(a)(a(c)(c(a)(a(c)(x1)))) -> c(b)(b(a)(a(c)(c(c)(x1))))
115.17/29.14	        c(a)(a(c)(c(a)(a(a)(x1)))) -> c(b)(b(a)(a(c)(c(a)(x1))))
115.17/29.14	        a(a)(a(c)(c(a)(a(b)(x1)))) -> a(b)(b(a)(a(c)(c(b)(x1))))
115.17/29.14	        a(a)(a(c)(c(a)(a(c)(x1)))) -> a(b)(b(a)(a(c)(c(c)(x1))))
115.17/29.14	        a(a)(a(c)(c(a)(a(a)(x1)))) -> a(b)(b(a)(a(c)(c(a)(x1))))
115.17/29.14	        a(b)(b(a)(a(b)(x1))) -> a(c)(c(b)(b(b)(x1)))
115.17/29.14	        a(b)(b(a)(a(c)(x1))) -> a(c)(c(b)(b(c)(x1)))
115.17/29.14	        a(b)(b(a)(a(a)(x1))) -> a(c)(c(b)(b(a)(x1)))
115.17/29.14	       Subterm Criterion Processor:
115.17/29.14	        simple projection:
115.17/29.14	         pi(b(b)) = [0,0]
115.17/29.14	         pi(b(c)) = [0,0]
115.17/29.14	         pi(c(a)) = [0,0]
115.17/29.14	         pi(a(b)) = [0,0]
115.17/29.14	         pi(b(a)) = [0,0]
115.17/29.14	         pi(a(a)) = [0,0]
115.17/29.14	         pi(a(c)) = [0,0]
115.17/29.14	         pi(c(b)) = [0,0]
115.17/29.14	         pi(c(c)) = [0,0]
115.17/29.14	         pi(b{(b),#}) = [0,0]
115.17/29.14	         pi(c{(b),#}) = [0,0]
115.17/29.14	         pi(a{(c),#}) = 0
115.17/29.14	         pi(a{(a),#}) = 0
115.17/29.14	         pi(b{(a),#}) = [0,0]
115.17/29.14	         pi(c{(c),#}) = [0,0]
115.17/29.14	         pi(c{(a),#}) = [0,0]
115.17/29.14	         pi(a{(b),#}) = 0
115.17/29.14	         pi(b{(c),#}) = [0,0]
115.17/29.14	        problem:
115.17/29.14	         DPs:
115.17/29.14	          b{(c),#}(c(c)(c(a)(a(a)(x1)))) -> b{(a),#}(a(a)(a(b)(b(a)(x1))))
115.17/29.14	          a{(c),#}(c(b)(b(b)(b(a)(x1)))) -> a{(b),#}(b(b)(b(a)(a(a)(x1))))
115.17/29.14	          a{(b),#}(b(a)(a(a)(x1))) -> a{(c),#}(c(b)(b(a)(x1)))
115.17/29.14	          a{(c),#}(c(c)(c(a)(a(a)(x1)))) -> a{(a),#}(a(a)(a(b)(b(a)(x1))))
115.17/29.14	          a{(a),#}(a(c)(c(a)(a(a)(x1)))) -> a{(b),#}(b(a)(a(c)(c(a)(x1))))
115.17/29.14	          c{(c),#}(c(c)(c(a)(a(a)(x1)))) -> c{(a),#}(a(a)(a(b)(b(a)(x1))))
115.17/29.14	          a{(a),#}(a(c)(c(a)(a(a)(x1)))) -> b{(a),#}(a(c)(c(a)(x1)))
115.17/29.14	          a{(c),#}(c(b)(b(b)(b(c)(x1)))) -> a{(b),#}(b(b)(b(a)(a(c)(x1))))
115.17/29.14	          a{(b),#}(b(a)(a(c)(x1))) -> a{(c),#}(c(b)(b(c)(x1)))
115.17/29.14	          a{(c),#}(c(b)(b(b)(b(b)(x1)))) -> a{(b),#}(b(b)(b(a)(a(b)(x1))))
115.17/29.14	          a{(b),#}(b(a)(a(c)(x1))) -> c{(b),#}(b(c)(x1))
115.17/29.14	          c{(b),#}(b(c)(c(a)(a(a)(x1)))) -> c{(a),#}(a(a)(a(c)(c(a)(x1))))
115.17/29.14	          a{(a),#}(a(c)(c(a)(a(c)(x1)))) -> a{(b),#}(b(a)(a(c)(c(c)(x1))))
115.17/29.14	          a{(b),#}(b(a)(a(b)(x1))) -> a{(c),#}(c(b)(b(b)(x1)))
115.17/29.14	          b{(b),#}(b(c)(c(a)(a(a)(x1)))) -> b{(a),#}(a(a)(a(c)(c(a)(x1))))
115.17/29.14	          a{(a),#}(a(c)(c(a)(a(c)(x1)))) -> b{(a),#}(a(c)(c(c)(x1)))
115.17/29.14	          a{(c),#}(c(c)(c(a)(a(c)(x1)))) -> a{(a),#}(a(a)(a(b)(b(c)(x1))))
115.17/29.14	          a{(a),#}(a(c)(c(a)(a(b)(x1)))) -> a{(b),#}(b(a)(a(c)(c(b)(x1))))
115.17/29.14	          a{(a),#}(a(c)(c(a)(a(b)(x1)))) -> b{(a),#}(a(c)(c(b)(x1)))
115.17/29.14	          c{(c),#}(c(c)(c(a)(a(c)(x1)))) -> c{(a),#}(a(a)(a(b)(b(c)(x1))))
115.17/29.14	          c{(b),#}(b(c)(c(a)(a(c)(x1)))) -> c{(a),#}(a(a)(a(c)(c(c)(x1))))
115.17/29.14	          a{(b),#}(b(c)(c(a)(a(a)(x1)))) -> a{(a),#}(a(a)(a(c)(c(a)(x1))))
115.17/29.14	          a{(b),#}(b(c)(c(a)(a(c)(x1)))) -> a{(a),#}(a(a)(a(c)(c(c)(x1))))
115.17/29.14	          b{(c),#}(c(c)(c(a)(a(c)(x1)))) -> b{(a),#}(a(a)(a(b)(b(c)(x1))))
115.17/29.14	          a{(b),#}(b(c)(c(a)(a(b)(x1)))) -> a{(a),#}(a(a)(a(c)(c(b)(x1))))
115.17/29.14	          b{(c),#}(c(c)(c(a)(a(b)(x1)))) -> b{(a),#}(a(a)(a(b)(b(b)(x1))))
115.17/29.14	          b{(b),#}(b(c)(c(a)(a(c)(x1)))) -> b{(a),#}(a(a)(a(c)(c(c)(x1))))
115.17/29.14	          a{(c),#}(c(c)(c(a)(a(b)(x1)))) -> a{(a),#}(a(a)(a(b)(b(b)(x1))))
115.17/29.14	          c{(c),#}(c(c)(c(a)(a(b)(x1)))) -> c{(a),#}(a(a)(a(b)(b(b)(x1))))
115.17/29.14	          b{(b),#}(b(c)(c(a)(a(b)(x1)))) -> b{(a),#}(a(a)(a(c)(c(b)(x1))))
115.17/29.14	          c{(b),#}(b(c)(c(a)(a(b)(x1)))) -> c{(a),#}(a(a)(a(c)(c(b)(x1))))
115.17/29.14	          a{(c),#}(c(c)(c(a)(x1))) -> a{(a),#}(a(a)(a(a)(x1)))
115.17/29.14	          a{(c),#}(c(c)(c(c)(x1))) -> a{(a),#}(a(a)(a(c)(x1)))
115.17/29.14	          a{(c),#}(c(c)(c(b)(x1))) -> a{(a),#}(a(a)(a(b)(x1)))
115.17/29.14	         TRS:
115.17/29.14	          b(b)(b(c)(c(a)(a(b)(x1)))) -> b(a)(a(a)(a(c)(c(b)(x1))))
115.17/29.14	          b(b)(b(c)(c(a)(a(c)(x1)))) -> b(a)(a(a)(a(c)(c(c)(x1))))
115.17/29.14	          b(b)(b(c)(c(a)(a(a)(x1)))) -> b(a)(a(a)(a(c)(c(a)(x1))))
115.17/29.14	          c(b)(b(c)(c(a)(a(b)(x1)))) -> c(a)(a(a)(a(c)(c(b)(x1))))
115.17/29.15	          c(b)(b(c)(c(a)(a(c)(x1)))) -> c(a)(a(a)(a(c)(c(c)(x1))))
115.17/29.15	          c(b)(b(c)(c(a)(a(a)(x1)))) -> c(a)(a(a)(a(c)(c(a)(x1))))
115.17/29.15	          a(b)(b(c)(c(a)(a(b)(x1)))) -> a(a)(a(a)(a(c)(c(b)(x1))))
115.17/29.15	          a(b)(b(c)(c(a)(a(c)(x1)))) -> a(a)(a(a)(a(c)(c(c)(x1))))
115.17/29.15	          a(b)(b(c)(c(a)(a(a)(x1)))) -> a(a)(a(a)(a(c)(c(a)(x1))))
115.17/29.15	          b(c)(c(b)(b(b)(b(b)(x1)))) -> b(b)(b(b)(b(a)(a(b)(x1))))
115.17/29.15	          b(c)(c(b)(b(b)(b(c)(x1)))) -> b(b)(b(b)(b(a)(a(c)(x1))))
115.17/29.15	          b(c)(c(b)(b(b)(b(a)(x1)))) -> b(b)(b(b)(b(a)(a(a)(x1))))
115.17/29.15	          c(c)(c(b)(b(b)(b(b)(x1)))) -> c(b)(b(b)(b(a)(a(b)(x1))))
115.17/29.15	          c(c)(c(b)(b(b)(b(c)(x1)))) -> c(b)(b(b)(b(a)(a(c)(x1))))
115.17/29.15	          c(c)(c(b)(b(b)(b(a)(x1)))) -> c(b)(b(b)(b(a)(a(a)(x1))))
115.17/29.15	          a(c)(c(b)(b(b)(b(b)(x1)))) -> a(b)(b(b)(b(a)(a(b)(x1))))
115.17/29.15	          a(c)(c(b)(b(b)(b(c)(x1)))) -> a(b)(b(b)(b(a)(a(c)(x1))))
115.17/29.15	          a(c)(c(b)(b(b)(b(a)(x1)))) -> a(b)(b(b)(b(a)(a(a)(x1))))
115.17/29.15	          a(c)(c(c)(c(b)(x1))) -> a(a)(a(a)(a(b)(x1)))
115.17/29.15	          a(c)(c(c)(c(c)(x1))) -> a(a)(a(a)(a(c)(x1)))
115.17/29.15	          a(c)(c(c)(c(a)(x1))) -> a(a)(a(a)(a(a)(x1)))
115.17/29.15	          b(c)(c(c)(c(a)(a(b)(x1)))) -> b(a)(a(a)(a(b)(b(b)(x1))))
115.17/29.15	          b(c)(c(c)(c(a)(a(c)(x1)))) -> b(a)(a(a)(a(b)(b(c)(x1))))
115.17/29.15	          b(c)(c(c)(c(a)(a(a)(x1)))) -> b(a)(a(a)(a(b)(b(a)(x1))))
115.17/29.15	          c(c)(c(c)(c(a)(a(b)(x1)))) -> c(a)(a(a)(a(b)(b(b)(x1))))
115.17/29.15	          c(c)(c(c)(c(a)(a(c)(x1)))) -> c(a)(a(a)(a(b)(b(c)(x1))))
115.17/29.15	          c(c)(c(c)(c(a)(a(a)(x1)))) -> c(a)(a(a)(a(b)(b(a)(x1))))
115.17/29.15	          a(c)(c(c)(c(a)(a(b)(x1)))) -> a(a)(a(a)(a(b)(b(b)(x1))))
115.17/29.15	          a(c)(c(c)(c(a)(a(c)(x1)))) -> a(a)(a(a)(a(b)(b(c)(x1))))
115.17/29.15	          a(c)(c(c)(c(a)(a(a)(x1)))) -> a(a)(a(a)(a(b)(b(a)(x1))))
115.17/29.15	          b(a)(a(c)(c(a)(a(b)(x1)))) -> b(b)(b(a)(a(c)(c(b)(x1))))
115.17/29.15	          b(a)(a(c)(c(a)(a(c)(x1)))) -> b(b)(b(a)(a(c)(c(c)(x1))))
115.17/29.15	          b(a)(a(c)(c(a)(a(a)(x1)))) -> b(b)(b(a)(a(c)(c(a)(x1))))
115.17/29.15	          c(a)(a(c)(c(a)(a(b)(x1)))) -> c(b)(b(a)(a(c)(c(b)(x1))))
115.17/29.15	          c(a)(a(c)(c(a)(a(c)(x1)))) -> c(b)(b(a)(a(c)(c(c)(x1))))
115.17/29.15	          c(a)(a(c)(c(a)(a(a)(x1)))) -> c(b)(b(a)(a(c)(c(a)(x1))))
115.17/29.15	          a(a)(a(c)(c(a)(a(b)(x1)))) -> a(b)(b(a)(a(c)(c(b)(x1))))
115.17/29.15	          a(a)(a(c)(c(a)(a(c)(x1)))) -> a(b)(b(a)(a(c)(c(c)(x1))))
115.17/29.15	          a(a)(a(c)(c(a)(a(a)(x1)))) -> a(b)(b(a)(a(c)(c(a)(x1))))
115.17/29.15	          a(b)(b(a)(a(b)(x1))) -> a(c)(c(b)(b(b)(x1)))
115.17/29.15	          a(b)(b(a)(a(c)(x1))) -> a(c)(c(b)(b(c)(x1)))
115.17/29.15	          a(b)(b(a)(a(a)(x1))) -> a(c)(c(b)(b(a)(x1)))
115.17/29.15	        SCC Processor:
115.17/29.15	         #sccs: 1
115.17/29.15	         #rules: 6
115.17/29.15	         #arcs: 1690/1156
115.17/29.15	         DPs:
115.17/29.15	          a{(b),#}(b(a)(a(c)(x1))) -> a{(c),#}(c(b)(b(c)(x1)))
115.17/29.15	          a{(c),#}(c(b)(b(b)(b(a)(x1)))) -> a{(b),#}(b(b)(b(a)(a(a)(x1))))
115.17/29.15	          a{(b),#}(b(a)(a(a)(x1))) -> a{(c),#}(c(b)(b(a)(x1)))
115.17/29.15	          a{(c),#}(c(b)(b(b)(b(b)(x1)))) -> a{(b),#}(b(b)(b(a)(a(b)(x1))))
115.17/29.15	          a{(b),#}(b(a)(a(b)(x1))) -> a{(c),#}(c(b)(b(b)(x1)))
115.17/29.15	          a{(c),#}(c(b)(b(b)(b(c)(x1)))) -> a{(b),#}(b(b)(b(a)(a(c)(x1))))
115.17/29.15	         TRS:
115.17/29.15	          b(b)(b(c)(c(a)(a(b)(x1)))) -> b(a)(a(a)(a(c)(c(b)(x1))))
115.17/29.15	          b(b)(b(c)(c(a)(a(c)(x1)))) -> b(a)(a(a)(a(c)(c(c)(x1))))
115.17/29.15	          b(b)(b(c)(c(a)(a(a)(x1)))) -> b(a)(a(a)(a(c)(c(a)(x1))))
115.17/29.15	          c(b)(b(c)(c(a)(a(b)(x1)))) -> c(a)(a(a)(a(c)(c(b)(x1))))
115.17/29.15	          c(b)(b(c)(c(a)(a(c)(x1)))) -> c(a)(a(a)(a(c)(c(c)(x1))))
115.17/29.15	          c(b)(b(c)(c(a)(a(a)(x1)))) -> c(a)(a(a)(a(c)(c(a)(x1))))
115.17/29.15	          a(b)(b(c)(c(a)(a(b)(x1)))) -> a(a)(a(a)(a(c)(c(b)(x1))))
115.17/29.15	          a(b)(b(c)(c(a)(a(c)(x1)))) -> a(a)(a(a)(a(c)(c(c)(x1))))
115.17/29.15	          a(b)(b(c)(c(a)(a(a)(x1)))) -> a(a)(a(a)(a(c)(c(a)(x1))))
115.17/29.15	          b(c)(c(b)(b(b)(b(b)(x1)))) -> b(b)(b(b)(b(a)(a(b)(x1))))
115.17/29.15	          b(c)(c(b)(b(b)(b(c)(x1)))) -> b(b)(b(b)(b(a)(a(c)(x1))))
115.17/29.15	          b(c)(c(b)(b(b)(b(a)(x1)))) -> b(b)(b(b)(b(a)(a(a)(x1))))
115.17/29.15	          c(c)(c(b)(b(b)(b(b)(x1)))) -> c(b)(b(b)(b(a)(a(b)(x1))))
115.17/29.15	          c(c)(c(b)(b(b)(b(c)(x1)))) -> c(b)(b(b)(b(a)(a(c)(x1))))
115.17/29.15	          c(c)(c(b)(b(b)(b(a)(x1)))) -> c(b)(b(b)(b(a)(a(a)(x1))))
115.17/29.15	          a(c)(c(b)(b(b)(b(b)(x1)))) -> a(b)(b(b)(b(a)(a(b)(x1))))
115.17/29.16	          a(c)(c(b)(b(b)(b(c)(x1)))) -> a(b)(b(b)(b(a)(a(c)(x1))))
115.17/29.16	          a(c)(c(b)(b(b)(b(a)(x1)))) -> a(b)(b(b)(b(a)(a(a)(x1))))
115.17/29.16	          a(c)(c(c)(c(b)(x1))) -> a(a)(a(a)(a(b)(x1)))
115.17/29.16	          a(c)(c(c)(c(c)(x1))) -> a(a)(a(a)(a(c)(x1)))
115.17/29.16	          a(c)(c(c)(c(a)(x1))) -> a(a)(a(a)(a(a)(x1)))
115.17/29.16	          b(c)(c(c)(c(a)(a(b)(x1)))) -> b(a)(a(a)(a(b)(b(b)(x1))))
115.17/29.16	          b(c)(c(c)(c(a)(a(c)(x1)))) -> b(a)(a(a)(a(b)(b(c)(x1))))
115.17/29.16	          b(c)(c(c)(c(a)(a(a)(x1)))) -> b(a)(a(a)(a(b)(b(a)(x1))))
115.17/29.16	          c(c)(c(c)(c(a)(a(b)(x1)))) -> c(a)(a(a)(a(b)(b(b)(x1))))
115.17/29.16	          c(c)(c(c)(c(a)(a(c)(x1)))) -> c(a)(a(a)(a(b)(b(c)(x1))))
115.17/29.16	          c(c)(c(c)(c(a)(a(a)(x1)))) -> c(a)(a(a)(a(b)(b(a)(x1))))
115.17/29.16	          a(c)(c(c)(c(a)(a(b)(x1)))) -> a(a)(a(a)(a(b)(b(b)(x1))))
115.17/29.16	          a(c)(c(c)(c(a)(a(c)(x1)))) -> a(a)(a(a)(a(b)(b(c)(x1))))
115.17/29.16	          a(c)(c(c)(c(a)(a(a)(x1)))) -> a(a)(a(a)(a(b)(b(a)(x1))))
115.17/29.16	          b(a)(a(c)(c(a)(a(b)(x1)))) -> b(b)(b(a)(a(c)(c(b)(x1))))
115.17/29.16	          b(a)(a(c)(c(a)(a(c)(x1)))) -> b(b)(b(a)(a(c)(c(c)(x1))))
115.17/29.16	          b(a)(a(c)(c(a)(a(a)(x1)))) -> b(b)(b(a)(a(c)(c(a)(x1))))
115.17/29.16	          c(a)(a(c)(c(a)(a(b)(x1)))) -> c(b)(b(a)(a(c)(c(b)(x1))))
115.17/29.16	          c(a)(a(c)(c(a)(a(c)(x1)))) -> c(b)(b(a)(a(c)(c(c)(x1))))
115.17/29.16	          c(a)(a(c)(c(a)(a(a)(x1)))) -> c(b)(b(a)(a(c)(c(a)(x1))))
115.17/29.16	          a(a)(a(c)(c(a)(a(b)(x1)))) -> a(b)(b(a)(a(c)(c(b)(x1))))
115.17/29.16	          a(a)(a(c)(c(a)(a(c)(x1)))) -> a(b)(b(a)(a(c)(c(c)(x1))))
115.17/29.16	          a(a)(a(c)(c(a)(a(a)(x1)))) -> a(b)(b(a)(a(c)(c(a)(x1))))
115.17/29.16	          a(b)(b(a)(a(b)(x1))) -> a(c)(c(b)(b(b)(x1)))
115.17/29.16	          a(b)(b(a)(a(c)(x1))) -> a(c)(c(b)(b(c)(x1)))
115.17/29.16	          a(b)(b(a)(a(a)(x1))) -> a(c)(c(b)(b(a)(x1)))
115.17/29.16	         Semantic Labeling Processor:
115.17/29.16	          dimension: 1
115.17/29.16	          usable rules:
115.17/29.16	           b(b)(b(c)(c(a)(a(b)(x1)))) -> b(a)(a(a)(a(c)(c(b)(x1))))
115.17/29.16	           b(b)(b(c)(c(a)(a(c)(x1)))) -> b(a)(a(a)(a(c)(c(c)(x1))))
115.17/29.16	           b(b)(b(c)(c(a)(a(a)(x1)))) -> b(a)(a(a)(a(c)(c(a)(x1))))
115.17/29.16	           b(a)(a(c)(c(a)(a(b)(x1)))) -> b(b)(b(a)(a(c)(c(b)(x1))))
115.17/29.16	           b(a)(a(c)(c(a)(a(c)(x1)))) -> b(b)(b(a)(a(c)(c(c)(x1))))
115.17/29.16	           b(a)(a(c)(c(a)(a(a)(x1)))) -> b(b)(b(a)(a(c)(c(a)(x1))))
115.17/29.16	          interpretation:
115.17/29.16	           [c(c)](x0) = x0,
115.17/29.16	           
115.17/29.16	           [c(b)](x0) = x0,
115.17/29.16	           
115.17/29.16	           [a(c)](x0) = 0,
115.17/29.16	           
115.17/29.16	           [a(a)](x0) = 0,
115.17/29.16	           
115.17/29.16	           [b(a)](x0) = 0,
115.17/29.16	           
115.17/29.16	           [a(b)](x0) = 0,
115.17/29.16	           
115.17/29.16	           [c(a)](x0) = 1,
115.17/29.16	           
115.17/29.16	           [b(c)](x0) = x0 + 1,
115.17/29.16	           
115.17/29.16	           [b(b)](x0) = x0
115.17/29.16	           labeled:
115.17/29.16	            b(a)
115.17/29.16	            a{(c),#}
115.17/29.16	            b(b)
115.17/29.16	           usable (for model):
115.17/29.16	            a{(b),#}
115.17/29.16	            b(a)
115.17/29.16	            a(c)
115.17/29.16	            a{(c),#}
115.17/29.16	            c(b)
115.17/29.16	            b(c)
115.17/29.16	            b(b)
115.17/29.16	            a(a)
115.17/29.16	            a(b)
115.17/29.16	            c(a)
115.17/29.16	            c(c)
115.17/29.16	           argument filtering:
115.17/29.16	            pi(b(b)) = []
115.17/29.16	            pi(b(c)) = 0
115.17/29.16	            pi(c(a)) = 0
115.17/29.16	            pi(a(b)) = []
115.17/29.16	            pi(b(a)) = []
115.17/29.16	            pi(a(a)) = []
115.17/29.16	            pi(a(c)) = []
115.17/29.16	            pi(c(b)) = []
115.17/29.16	            pi(c(c)) = 0
115.17/29.16	            pi(a{(c),#}) = []
115.17/29.16	            pi(a{(b),#}) = 0
115.17/29.16	          precedence:
115.17/29.16	           b(a) > a{(c),#} > a{(b),#} ~ c(c) ~ c(b) ~ a(c) ~ a(a) ~ a(b) ~ c(a) ~ b(c) ~ b(b)
115.17/29.16	          problem:
115.17/29.16	           DPs:
115.17/29.16	            
115.17/29.16	           TRS:
115.17/29.16	            b(b)(b(c)(c(a)(a(b)(x1)))) -> b(a)(a(a)(a(c)(c(b)(x1))))
115.17/29.16	            b(b)(b(c)(c(a)(a(c)(x1)))) -> b(a)(a(a)(a(c)(c(c)(x1))))
115.17/29.16	            b(b)(b(c)(c(a)(a(a)(x1)))) -> b(a)(a(a)(a(c)(c(a)(x1))))
115.17/29.16	            c(b)(b(c)(c(a)(a(b)(x1)))) -> c(a)(a(a)(a(c)(c(b)(x1))))
115.17/29.16	            c(b)(b(c)(c(a)(a(c)(x1)))) -> c(a)(a(a)(a(c)(c(c)(x1))))
115.17/29.16	            c(b)(b(c)(c(a)(a(a)(x1)))) -> c(a)(a(a)(a(c)(c(a)(x1))))
115.17/29.16	            a(b)(b(c)(c(a)(a(b)(x1)))) -> a(a)(a(a)(a(c)(c(b)(x1))))
115.17/29.16	            a(b)(b(c)(c(a)(a(c)(x1)))) -> a(a)(a(a)(a(c)(c(c)(x1))))
115.17/29.16	            a(b)(b(c)(c(a)(a(a)(x1)))) -> a(a)(a(a)(a(c)(c(a)(x1))))
115.17/29.16	            b(c)(c(b)(b(b)(b(b)(x1)))) -> b(b)(b(b)(b(a)(a(b)(x1))))
115.17/29.16	            b(c)(c(b)(b(b)(b(c)(x1)))) -> b(b)(b(b)(b(a)(a(c)(x1))))
115.17/29.16	            b(c)(c(b)(b(b)(b(a)(x1)))) -> b(b)(b(b)(b(a)(a(a)(x1))))
115.17/29.16	            c(c)(c(b)(b(b)(b(b)(x1)))) -> c(b)(b(b)(b(a)(a(b)(x1))))
115.17/29.16	            c(c)(c(b)(b(b)(b(c)(x1)))) -> c(b)(b(b)(b(a)(a(c)(x1))))
115.17/29.16	            c(c)(c(b)(b(b)(b(a)(x1)))) -> c(b)(b(b)(b(a)(a(a)(x1))))
115.17/29.16	            a(c)(c(b)(b(b)(b(b)(x1)))) -> a(b)(b(b)(b(a)(a(b)(x1))))
115.17/29.16	            a(c)(c(b)(b(b)(b(c)(x1)))) -> a(b)(b(b)(b(a)(a(c)(x1))))
115.17/29.16	            a(c)(c(b)(b(b)(b(a)(x1)))) -> a(b)(b(b)(b(a)(a(a)(x1))))
115.17/29.16	            a(c)(c(c)(c(b)(x1))) -> a(a)(a(a)(a(b)(x1)))
115.17/29.16	            a(c)(c(c)(c(c)(x1))) -> a(a)(a(a)(a(c)(x1)))
115.17/29.16	            a(c)(c(c)(c(a)(x1))) -> a(a)(a(a)(a(a)(x1)))
115.17/29.16	            b(c)(c(c)(c(a)(a(b)(x1)))) -> b(a)(a(a)(a(b)(b(b)(x1))))
115.17/29.16	            b(c)(c(c)(c(a)(a(c)(x1)))) -> b(a)(a(a)(a(b)(b(c)(x1))))
115.17/29.16	            b(c)(c(c)(c(a)(a(a)(x1)))) -> b(a)(a(a)(a(b)(b(a)(x1))))
115.17/29.16	            c(c)(c(c)(c(a)(a(b)(x1)))) -> c(a)(a(a)(a(b)(b(b)(x1))))
115.17/29.16	            c(c)(c(c)(c(a)(a(c)(x1)))) -> c(a)(a(a)(a(b)(b(c)(x1))))
115.17/29.16	            c(c)(c(c)(c(a)(a(a)(x1)))) -> c(a)(a(a)(a(b)(b(a)(x1))))
115.17/29.16	            a(c)(c(c)(c(a)(a(b)(x1)))) -> a(a)(a(a)(a(b)(b(b)(x1))))
115.17/29.16	            a(c)(c(c)(c(a)(a(c)(x1)))) -> a(a)(a(a)(a(b)(b(c)(x1))))
115.17/29.16	            a(c)(c(c)(c(a)(a(a)(x1)))) -> a(a)(a(a)(a(b)(b(a)(x1))))
115.17/29.16	            b(a)(a(c)(c(a)(a(b)(x1)))) -> b(b)(b(a)(a(c)(c(b)(x1))))
115.17/29.16	            b(a)(a(c)(c(a)(a(c)(x1)))) -> b(b)(b(a)(a(c)(c(c)(x1))))
115.17/29.16	            b(a)(a(c)(c(a)(a(a)(x1)))) -> b(b)(b(a)(a(c)(c(a)(x1))))
115.17/29.16	            c(a)(a(c)(c(a)(a(b)(x1)))) -> c(b)(b(a)(a(c)(c(b)(x1))))
115.17/29.16	            c(a)(a(c)(c(a)(a(c)(x1)))) -> c(b)(b(a)(a(c)(c(c)(x1))))
115.17/29.16	            c(a)(a(c)(c(a)(a(a)(x1)))) -> c(b)(b(a)(a(c)(c(a)(x1))))
115.17/29.16	            a(a)(a(c)(c(a)(a(b)(x1)))) -> a(b)(b(a)(a(c)(c(b)(x1))))
115.17/29.16	            a(a)(a(c)(c(a)(a(c)(x1)))) -> a(b)(b(a)(a(c)(c(c)(x1))))
115.17/29.16	            a(a)(a(c)(c(a)(a(a)(x1)))) -> a(b)(b(a)(a(c)(c(a)(x1))))
115.17/29.16	            a(b)(b(a)(a(b)(x1))) -> a(c)(c(b)(b(b)(x1)))
115.17/29.16	            a(b)(b(a)(a(c)(x1))) -> a(c)(c(b)(b(c)(x1)))
115.17/29.16	            a(b)(b(a)(a(a)(x1))) -> a(c)(c(b)(b(a)(x1)))
115.17/29.16	          Qed
115.17/29.17	EOF