83.75/21.61 YES 83.75/21.62 83.75/21.62 Problem: 83.75/21.62 strict: 83.75/21.62 c(c(b(x1))) -> b(b(b(x1))) 83.75/21.62 c(a(c(x1))) -> b(a(a(x1))) 83.75/21.62 c(c(c(x1))) -> a(a(b(x1))) 83.75/21.62 c(b(c(x1))) -> c(b(b(x1))) 83.75/21.62 c(a(c(x1))) -> b(b(c(x1))) 83.75/21.62 c(b(c(x1))) -> c(c(b(x1))) 83.75/21.62 weak: 83.75/21.62 a(b(b(x1))) -> b(a(c(x1))) 83.75/21.62 83.75/21.62 Proof: 83.75/21.62 Root-Labeling Processor: 83.75/21.62 strict: 83.75/21.62 c(c)(c(c)(c(b)(b(c)(x1)))) -> c(b)(b(b)(b(b)(b(c)(x1)))) 83.75/21.62 c(c)(c(c)(c(b)(b(b)(x1)))) -> c(b)(b(b)(b(b)(b(b)(x1)))) 83.75/21.62 c(c)(c(c)(c(b)(b(a)(x1)))) -> c(b)(b(b)(b(b)(b(a)(x1)))) 83.75/21.62 b(c)(c(c)(c(b)(b(c)(x1)))) -> b(b)(b(b)(b(b)(b(c)(x1)))) 83.75/21.62 b(c)(c(c)(c(b)(b(b)(x1)))) -> b(b)(b(b)(b(b)(b(b)(x1)))) 83.75/21.62 b(c)(c(c)(c(b)(b(a)(x1)))) -> b(b)(b(b)(b(b)(b(a)(x1)))) 83.75/21.62 a(c)(c(c)(c(b)(b(c)(x1)))) -> a(b)(b(b)(b(b)(b(c)(x1)))) 83.75/21.62 a(c)(c(c)(c(b)(b(b)(x1)))) -> a(b)(b(b)(b(b)(b(b)(x1)))) 83.75/21.62 a(c)(c(c)(c(b)(b(a)(x1)))) -> a(b)(b(b)(b(b)(b(a)(x1)))) 83.75/21.62 c(c)(c(a)(a(c)(c(c)(x1)))) -> c(b)(b(a)(a(a)(a(c)(x1)))) 83.75/21.62 c(c)(c(a)(a(c)(c(b)(x1)))) -> c(b)(b(a)(a(a)(a(b)(x1)))) 83.75/21.62 c(c)(c(a)(a(c)(c(a)(x1)))) -> c(b)(b(a)(a(a)(a(a)(x1)))) 83.75/21.62 b(c)(c(a)(a(c)(c(c)(x1)))) -> b(b)(b(a)(a(a)(a(c)(x1)))) 83.75/21.62 b(c)(c(a)(a(c)(c(b)(x1)))) -> b(b)(b(a)(a(a)(a(b)(x1)))) 83.75/21.62 b(c)(c(a)(a(c)(c(a)(x1)))) -> b(b)(b(a)(a(a)(a(a)(x1)))) 83.75/21.62 a(c)(c(a)(a(c)(c(c)(x1)))) -> a(b)(b(a)(a(a)(a(c)(x1)))) 83.75/21.62 a(c)(c(a)(a(c)(c(b)(x1)))) -> a(b)(b(a)(a(a)(a(b)(x1)))) 83.75/21.62 a(c)(c(a)(a(c)(c(a)(x1)))) -> a(b)(b(a)(a(a)(a(a)(x1)))) 83.75/21.62 c(c)(c(c)(c(c)(c(c)(x1)))) -> c(a)(a(a)(a(b)(b(c)(x1)))) 83.75/21.62 c(c)(c(c)(c(c)(c(b)(x1)))) -> c(a)(a(a)(a(b)(b(b)(x1)))) 83.75/21.62 c(c)(c(c)(c(c)(c(a)(x1)))) -> c(a)(a(a)(a(b)(b(a)(x1)))) 83.75/21.62 b(c)(c(c)(c(c)(c(c)(x1)))) -> b(a)(a(a)(a(b)(b(c)(x1)))) 83.75/21.62 b(c)(c(c)(c(c)(c(b)(x1)))) -> b(a)(a(a)(a(b)(b(b)(x1)))) 83.75/21.62 b(c)(c(c)(c(c)(c(a)(x1)))) -> b(a)(a(a)(a(b)(b(a)(x1)))) 83.75/21.62 a(c)(c(c)(c(c)(c(c)(x1)))) -> a(a)(a(a)(a(b)(b(c)(x1)))) 83.75/21.62 a(c)(c(c)(c(c)(c(b)(x1)))) -> a(a)(a(a)(a(b)(b(b)(x1)))) 83.75/21.62 a(c)(c(c)(c(c)(c(a)(x1)))) -> a(a)(a(a)(a(b)(b(a)(x1)))) 83.75/21.62 c(b)(b(c)(c(c)(x1))) -> c(b)(b(b)(b(c)(x1))) 83.75/21.62 c(b)(b(c)(c(b)(x1))) -> c(b)(b(b)(b(b)(x1))) 83.75/21.62 c(b)(b(c)(c(a)(x1))) -> c(b)(b(b)(b(a)(x1))) 83.75/21.62 c(c)(c(a)(a(c)(c(c)(x1)))) -> c(b)(b(b)(b(c)(c(c)(x1)))) 83.75/21.62 c(c)(c(a)(a(c)(c(b)(x1)))) -> c(b)(b(b)(b(c)(c(b)(x1)))) 83.75/21.62 c(c)(c(a)(a(c)(c(a)(x1)))) -> c(b)(b(b)(b(c)(c(a)(x1)))) 83.75/21.62 b(c)(c(a)(a(c)(c(c)(x1)))) -> b(b)(b(b)(b(c)(c(c)(x1)))) 83.75/21.62 b(c)(c(a)(a(c)(c(b)(x1)))) -> b(b)(b(b)(b(c)(c(b)(x1)))) 83.75/21.62 b(c)(c(a)(a(c)(c(a)(x1)))) -> b(b)(b(b)(b(c)(c(a)(x1)))) 83.75/21.62 a(c)(c(a)(a(c)(c(c)(x1)))) -> a(b)(b(b)(b(c)(c(c)(x1)))) 83.75/21.62 a(c)(c(a)(a(c)(c(b)(x1)))) -> a(b)(b(b)(b(c)(c(b)(x1)))) 83.75/21.62 a(c)(c(a)(a(c)(c(a)(x1)))) -> a(b)(b(b)(b(c)(c(a)(x1)))) 83.75/21.62 c(b)(b(c)(c(c)(x1))) -> c(c)(c(b)(b(c)(x1))) 83.75/21.62 c(b)(b(c)(c(b)(x1))) -> c(c)(c(b)(b(b)(x1))) 83.75/21.62 c(b)(b(c)(c(a)(x1))) -> c(c)(c(b)(b(a)(x1))) 83.75/21.62 weak: 83.75/21.62 c(a)(a(b)(b(b)(b(c)(x1)))) -> c(b)(b(a)(a(c)(c(c)(x1)))) 83.75/21.62 c(a)(a(b)(b(b)(b(b)(x1)))) -> c(b)(b(a)(a(c)(c(b)(x1)))) 83.75/21.62 c(a)(a(b)(b(b)(b(a)(x1)))) -> c(b)(b(a)(a(c)(c(a)(x1)))) 83.75/21.62 b(a)(a(b)(b(b)(b(c)(x1)))) -> b(b)(b(a)(a(c)(c(c)(x1)))) 83.75/21.62 b(a)(a(b)(b(b)(b(b)(x1)))) -> b(b)(b(a)(a(c)(c(b)(x1)))) 83.75/21.62 b(a)(a(b)(b(b)(b(a)(x1)))) -> b(b)(b(a)(a(c)(c(a)(x1)))) 83.75/21.62 a(a)(a(b)(b(b)(b(c)(x1)))) -> a(b)(b(a)(a(c)(c(c)(x1)))) 83.75/21.62 a(a)(a(b)(b(b)(b(b)(x1)))) -> a(b)(b(a)(a(c)(c(b)(x1)))) 83.75/21.62 a(a)(a(b)(b(b)(b(a)(x1)))) -> a(b)(b(a)(a(c)(c(a)(x1)))) 83.75/21.62 RT Transformation Processor: 83.75/21.62 c(c)(c(c)(c(b)(b(c)(x1)))) -> c(b)(b(b)(b(b)(b(c)(x1)))) 83.75/21.62 c(c)(c(c)(c(b)(b(b)(x1)))) -> c(b)(b(b)(b(b)(b(b)(x1)))) 83.75/21.62 c(c)(c(c)(c(b)(b(a)(x1)))) -> c(b)(b(b)(b(b)(b(a)(x1)))) 83.75/21.62 b(c)(c(c)(c(b)(b(c)(x1)))) -> b(b)(b(b)(b(b)(b(c)(x1)))) 83.75/21.62 b(c)(c(c)(c(b)(b(b)(x1)))) -> b(b)(b(b)(b(b)(b(b)(x1)))) 83.75/21.62 b(c)(c(c)(c(b)(b(a)(x1)))) -> b(b)(b(b)(b(b)(b(a)(x1)))) 83.75/21.62 a(c)(c(c)(c(b)(b(c)(x1)))) -> a(b)(b(b)(b(b)(b(c)(x1)))) 83.75/21.62 a(c)(c(c)(c(b)(b(b)(x1)))) -> a(b)(b(b)(b(b)(b(b)(x1)))) 83.75/21.62 a(c)(c(c)(c(b)(b(a)(x1)))) -> a(b)(b(b)(b(b)(b(a)(x1)))) 83.75/21.62 c(c)(c(a)(a(c)(c(c)(x1)))) -> c(b)(b(a)(a(a)(a(c)(x1)))) 83.75/21.62 c(c)(c(a)(a(c)(c(b)(x1)))) -> c(b)(b(a)(a(a)(a(b)(x1)))) 83.75/21.62 c(c)(c(a)(a(c)(c(a)(x1)))) -> c(b)(b(a)(a(a)(a(a)(x1)))) 83.75/21.62 b(c)(c(a)(a(c)(c(c)(x1)))) -> b(b)(b(a)(a(a)(a(c)(x1)))) 83.75/21.62 b(c)(c(a)(a(c)(c(b)(x1)))) -> b(b)(b(a)(a(a)(a(b)(x1)))) 83.75/21.63 b(c)(c(a)(a(c)(c(a)(x1)))) -> b(b)(b(a)(a(a)(a(a)(x1)))) 83.75/21.63 a(c)(c(a)(a(c)(c(c)(x1)))) -> a(b)(b(a)(a(a)(a(c)(x1)))) 83.75/21.63 a(c)(c(a)(a(c)(c(b)(x1)))) -> a(b)(b(a)(a(a)(a(b)(x1)))) 83.75/21.63 a(c)(c(a)(a(c)(c(a)(x1)))) -> a(b)(b(a)(a(a)(a(a)(x1)))) 83.75/21.63 c(c)(c(c)(c(c)(c(c)(x1)))) -> c(a)(a(a)(a(b)(b(c)(x1)))) 83.75/21.63 c(c)(c(c)(c(c)(c(b)(x1)))) -> c(a)(a(a)(a(b)(b(b)(x1)))) 83.75/21.63 c(c)(c(c)(c(c)(c(a)(x1)))) -> c(a)(a(a)(a(b)(b(a)(x1)))) 83.75/21.63 b(c)(c(c)(c(c)(c(c)(x1)))) -> b(a)(a(a)(a(b)(b(c)(x1)))) 83.75/21.63 b(c)(c(c)(c(c)(c(b)(x1)))) -> b(a)(a(a)(a(b)(b(b)(x1)))) 83.75/21.63 b(c)(c(c)(c(c)(c(a)(x1)))) -> b(a)(a(a)(a(b)(b(a)(x1)))) 83.75/21.63 a(c)(c(c)(c(c)(c(c)(x1)))) -> a(a)(a(a)(a(b)(b(c)(x1)))) 83.75/21.63 a(c)(c(c)(c(c)(c(b)(x1)))) -> a(a)(a(a)(a(b)(b(b)(x1)))) 83.75/21.63 a(c)(c(c)(c(c)(c(a)(x1)))) -> a(a)(a(a)(a(b)(b(a)(x1)))) 83.75/21.63 c(b)(b(c)(c(c)(x1))) -> c(b)(b(b)(b(c)(x1))) 83.75/21.63 c(b)(b(c)(c(b)(x1))) -> c(b)(b(b)(b(b)(x1))) 83.75/21.63 c(b)(b(c)(c(a)(x1))) -> c(b)(b(b)(b(a)(x1))) 83.75/21.63 c(c)(c(a)(a(c)(c(c)(x1)))) -> c(b)(b(b)(b(c)(c(c)(x1)))) 83.75/21.63 c(c)(c(a)(a(c)(c(b)(x1)))) -> c(b)(b(b)(b(c)(c(b)(x1)))) 83.75/21.63 c(c)(c(a)(a(c)(c(a)(x1)))) -> c(b)(b(b)(b(c)(c(a)(x1)))) 83.75/21.63 b(c)(c(a)(a(c)(c(c)(x1)))) -> b(b)(b(b)(b(c)(c(c)(x1)))) 83.75/21.63 b(c)(c(a)(a(c)(c(b)(x1)))) -> b(b)(b(b)(b(c)(c(b)(x1)))) 83.75/21.63 b(c)(c(a)(a(c)(c(a)(x1)))) -> b(b)(b(b)(b(c)(c(a)(x1)))) 83.75/21.63 a(c)(c(a)(a(c)(c(c)(x1)))) -> a(b)(b(b)(b(c)(c(c)(x1)))) 83.75/21.63 a(c)(c(a)(a(c)(c(b)(x1)))) -> a(b)(b(b)(b(c)(c(b)(x1)))) 83.75/21.63 a(c)(c(a)(a(c)(c(a)(x1)))) -> a(b)(b(b)(b(c)(c(a)(x1)))) 83.75/21.63 c(b)(b(c)(c(c)(x1))) -> c(c)(c(b)(b(c)(x1))) 83.75/21.63 c(b)(b(c)(c(b)(x1))) -> c(c)(c(b)(b(b)(x1))) 83.75/21.63 c(b)(b(c)(c(a)(x1))) -> c(c)(c(b)(b(a)(x1))) 83.75/21.63 c(a)(a(b)(b(b)(b(c)(x1)))) -> c(b)(b(a)(a(c)(c(c)(x1)))) 83.75/21.63 c(a)(a(b)(b(b)(b(b)(x1)))) -> c(b)(b(a)(a(c)(c(b)(x1)))) 83.75/21.63 c(a)(a(b)(b(b)(b(a)(x1)))) -> c(b)(b(a)(a(c)(c(a)(x1)))) 83.75/21.63 b(a)(a(b)(b(b)(b(c)(x1)))) -> b(b)(b(a)(a(c)(c(c)(x1)))) 83.75/21.63 b(a)(a(b)(b(b)(b(b)(x1)))) -> b(b)(b(a)(a(c)(c(b)(x1)))) 83.75/21.63 b(a)(a(b)(b(b)(b(a)(x1)))) -> b(b)(b(a)(a(c)(c(a)(x1)))) 83.75/21.63 a(a)(a(b)(b(b)(b(c)(x1)))) -> a(b)(b(a)(a(c)(c(c)(x1)))) 83.75/21.63 a(a)(a(b)(b(b)(b(b)(x1)))) -> a(b)(b(a)(a(c)(c(b)(x1)))) 83.75/21.63 a(a)(a(b)(b(b)(b(a)(x1)))) -> a(b)(b(a)(a(c)(c(a)(x1)))) 83.75/21.63 DP Processor: 83.75/21.63 DPs: 83.75/21.63 c{(c),#}(c(c)(c(b)(b(c)(x1)))) -> c{(b),#}(b(b)(b(b)(b(c)(x1)))) 83.75/21.63 c{(c),#}(c(c)(c(b)(b(b)(x1)))) -> c{(b),#}(b(b)(b(b)(b(b)(x1)))) 83.75/21.63 c{(c),#}(c(c)(c(b)(b(a)(x1)))) -> c{(b),#}(b(b)(b(b)(b(a)(x1)))) 83.75/21.63 c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> a{(c),#}(x1) 83.75/21.63 c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 83.75/21.63 c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> b{(a),#}(a(a)(a(c)(x1))) 83.75/21.63 c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> c{(b),#}(b(a)(a(a)(a(c)(x1)))) 83.75/21.63 c{(c),#}(c(a)(a(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 83.75/21.63 c{(c),#}(c(a)(a(c)(c(b)(x1)))) -> b{(a),#}(a(a)(a(b)(x1))) 83.75/21.63 c{(c),#}(c(a)(a(c)(c(b)(x1)))) -> c{(b),#}(b(a)(a(a)(a(b)(x1)))) 83.75/21.63 c{(c),#}(c(a)(a(c)(c(a)(x1)))) -> a{(a),#}(x1) 83.75/21.63 c{(c),#}(c(a)(a(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 83.75/21.63 c{(c),#}(c(a)(a(c)(c(a)(x1)))) -> b{(a),#}(a(a)(a(a)(x1))) 83.75/21.63 c{(c),#}(c(a)(a(c)(c(a)(x1)))) -> c{(b),#}(b(a)(a(a)(a(a)(x1)))) 83.75/21.63 b{(c),#}(c(a)(a(c)(c(c)(x1)))) -> a{(c),#}(x1) 83.75/21.63 b{(c),#}(c(a)(a(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 83.75/21.63 b{(c),#}(c(a)(a(c)(c(c)(x1)))) -> b{(a),#}(a(a)(a(c)(x1))) 83.75/21.63 b{(c),#}(c(a)(a(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 83.75/21.63 b{(c),#}(c(a)(a(c)(c(b)(x1)))) -> b{(a),#}(a(a)(a(b)(x1))) 83.75/21.63 b{(c),#}(c(a)(a(c)(c(a)(x1)))) -> a{(a),#}(x1) 83.75/21.63 b{(c),#}(c(a)(a(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 83.75/21.63 b{(c),#}(c(a)(a(c)(c(a)(x1)))) -> b{(a),#}(a(a)(a(a)(x1))) 83.75/21.63 a{(c),#}(c(a)(a(c)(c(c)(x1)))) -> a{(c),#}(x1) 83.75/21.63 a{(c),#}(c(a)(a(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 83.75/21.63 a{(c),#}(c(a)(a(c)(c(c)(x1)))) -> b{(a),#}(a(a)(a(c)(x1))) 83.75/21.63 a{(c),#}(c(a)(a(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 83.75/21.63 a{(c),#}(c(a)(a(c)(c(b)(x1)))) -> b{(a),#}(a(a)(a(b)(x1))) 83.75/21.63 a{(c),#}(c(a)(a(c)(c(a)(x1)))) -> a{(a),#}(x1) 83.75/21.63 a{(c),#}(c(a)(a(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 83.75/21.63 a{(c),#}(c(a)(a(c)(c(a)(x1)))) -> b{(a),#}(a(a)(a(a)(x1))) 83.75/21.63 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> b{(c),#}(x1) 84.05/21.64 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(b)(b(c)(x1))) 84.05/21.64 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> c{(a),#}(a(a)(a(b)(b(c)(x1)))) 84.05/21.64 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(b(b)(x1))) 84.05/21.64 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> c{(a),#}(a(a)(a(b)(b(b)(x1)))) 84.05/21.64 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> b{(a),#}(x1) 84.05/21.64 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(b)(b(a)(x1))) 84.05/21.64 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> c{(a),#}(a(a)(a(b)(b(a)(x1)))) 84.05/21.64 b{(c),#}(c(c)(c(c)(c(c)(x1)))) -> b{(c),#}(x1) 84.05/21.64 b{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(b)(b(c)(x1))) 84.05/21.64 b{(c),#}(c(c)(c(c)(c(c)(x1)))) -> b{(a),#}(a(a)(a(b)(b(c)(x1)))) 84.05/21.64 b{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(b(b)(x1))) 84.05/21.64 b{(c),#}(c(c)(c(c)(c(b)(x1)))) -> b{(a),#}(a(a)(a(b)(b(b)(x1)))) 84.05/21.64 b{(c),#}(c(c)(c(c)(c(a)(x1)))) -> b{(a),#}(x1) 84.05/21.64 b{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(b)(b(a)(x1))) 84.05/21.64 b{(c),#}(c(c)(c(c)(c(a)(x1)))) -> b{(a),#}(a(a)(a(b)(b(a)(x1)))) 84.05/21.64 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> b{(c),#}(x1) 84.05/21.64 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(b)(b(c)(x1))) 84.05/21.64 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(a)(a(b)(b(c)(x1)))) 84.05/21.64 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(b(b)(x1))) 84.05/21.64 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(a)(a(b)(b(b)(x1)))) 84.05/21.64 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> b{(a),#}(x1) 84.05/21.64 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(b)(b(a)(x1))) 84.05/21.64 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(a(b)(b(a)(x1)))) 84.05/21.64 c{(b),#}(b(c)(c(c)(x1))) -> b{(c),#}(x1) 84.05/21.64 c{(b),#}(b(c)(c(c)(x1))) -> c{(b),#}(b(b)(b(c)(x1))) 84.05/21.64 c{(b),#}(b(c)(c(b)(x1))) -> c{(b),#}(b(b)(b(b)(x1))) 84.05/21.64 c{(b),#}(b(c)(c(a)(x1))) -> b{(a),#}(x1) 84.05/21.64 c{(b),#}(b(c)(c(a)(x1))) -> c{(b),#}(b(b)(b(a)(x1))) 84.05/21.64 c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> b{(c),#}(c(c)(x1)) 84.05/21.64 c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> c{(b),#}(b(b)(b(c)(c(c)(x1)))) 84.05/21.64 c{(c),#}(c(a)(a(c)(c(b)(x1)))) -> b{(c),#}(c(b)(x1)) 84.05/21.64 c{(c),#}(c(a)(a(c)(c(b)(x1)))) -> c{(b),#}(b(b)(b(c)(c(b)(x1)))) 84.05/21.64 c{(c),#}(c(a)(a(c)(c(a)(x1)))) -> b{(c),#}(c(a)(x1)) 84.05/21.64 c{(c),#}(c(a)(a(c)(c(a)(x1)))) -> c{(b),#}(b(b)(b(c)(c(a)(x1)))) 84.05/21.64 b{(c),#}(c(a)(a(c)(c(c)(x1)))) -> b{(c),#}(c(c)(x1)) 84.05/21.64 b{(c),#}(c(a)(a(c)(c(b)(x1)))) -> b{(c),#}(c(b)(x1)) 84.05/21.64 b{(c),#}(c(a)(a(c)(c(a)(x1)))) -> b{(c),#}(c(a)(x1)) 84.05/21.64 a{(c),#}(c(a)(a(c)(c(c)(x1)))) -> b{(c),#}(c(c)(x1)) 84.05/21.64 a{(c),#}(c(a)(a(c)(c(b)(x1)))) -> b{(c),#}(c(b)(x1)) 84.05/21.64 a{(c),#}(c(a)(a(c)(c(a)(x1)))) -> b{(c),#}(c(a)(x1)) 84.05/21.64 c{(b),#}(b(c)(c(c)(x1))) -> c{(b),#}(b(c)(x1)) 84.05/21.64 c{(b),#}(b(c)(c(c)(x1))) -> c{(c),#}(c(b)(b(c)(x1))) 84.05/21.64 c{(b),#}(b(c)(c(b)(x1))) -> c{(b),#}(b(b)(x1)) 84.05/21.64 c{(b),#}(b(c)(c(b)(x1))) -> c{(c),#}(c(b)(b(b)(x1))) 84.05/21.64 c{(b),#}(b(c)(c(a)(x1))) -> c{(b),#}(b(a)(x1)) 84.05/21.64 c{(b),#}(b(c)(c(a)(x1))) -> c{(c),#}(c(b)(b(a)(x1))) 84.05/21.64 c{(a),#}(a(b)(b(b)(b(c)(x1)))) -> c{(c),#}(x1) 84.05/21.64 c{(a),#}(a(b)(b(b)(b(c)(x1)))) -> a{(c),#}(c(c)(x1)) 84.05/21.64 c{(a),#}(a(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(c(c)(x1))) 84.05/21.64 c{(a),#}(a(b)(b(b)(b(c)(x1)))) -> c{(b),#}(b(a)(a(c)(c(c)(x1)))) 84.05/21.64 c{(a),#}(a(b)(b(b)(b(b)(x1)))) -> c{(b),#}(x1) 84.05/21.64 c{(a),#}(a(b)(b(b)(b(b)(x1)))) -> a{(c),#}(c(b)(x1)) 84.05/21.64 c{(a),#}(a(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(c)(c(b)(x1))) 84.05/21.64 c{(a),#}(a(b)(b(b)(b(b)(x1)))) -> c{(b),#}(b(a)(a(c)(c(b)(x1)))) 84.05/21.64 c{(a),#}(a(b)(b(b)(b(a)(x1)))) -> c{(a),#}(x1) 84.05/21.64 c{(a),#}(a(b)(b(b)(b(a)(x1)))) -> a{(c),#}(c(a)(x1)) 84.05/21.64 c{(a),#}(a(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(c)(c(a)(x1))) 84.05/21.64 c{(a),#}(a(b)(b(b)(b(a)(x1)))) -> c{(b),#}(b(a)(a(c)(c(a)(x1)))) 84.05/21.64 b{(a),#}(a(b)(b(b)(b(c)(x1)))) -> c{(c),#}(x1) 84.05/21.64 b{(a),#}(a(b)(b(b)(b(c)(x1)))) -> a{(c),#}(c(c)(x1)) 84.05/21.64 b{(a),#}(a(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(c(c)(x1))) 84.05/21.64 b{(a),#}(a(b)(b(b)(b(b)(x1)))) -> c{(b),#}(x1) 84.05/21.64 b{(a),#}(a(b)(b(b)(b(b)(x1)))) -> a{(c),#}(c(b)(x1)) 84.05/21.64 b{(a),#}(a(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(c)(c(b)(x1))) 84.05/21.64 b{(a),#}(a(b)(b(b)(b(a)(x1)))) -> c{(a),#}(x1) 84.05/21.64 b{(a),#}(a(b)(b(b)(b(a)(x1)))) -> a{(c),#}(c(a)(x1)) 84.05/21.64 b{(a),#}(a(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(c)(c(a)(x1))) 84.05/21.64 a{(a),#}(a(b)(b(b)(b(c)(x1)))) -> c{(c),#}(x1) 84.05/21.65 a{(a),#}(a(b)(b(b)(b(c)(x1)))) -> a{(c),#}(c(c)(x1)) 84.05/21.65 a{(a),#}(a(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(c(c)(x1))) 84.05/21.65 a{(a),#}(a(b)(b(b)(b(b)(x1)))) -> c{(b),#}(x1) 84.05/21.65 a{(a),#}(a(b)(b(b)(b(b)(x1)))) -> a{(c),#}(c(b)(x1)) 84.05/21.65 a{(a),#}(a(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(c)(c(b)(x1))) 84.05/21.65 a{(a),#}(a(b)(b(b)(b(a)(x1)))) -> c{(a),#}(x1) 84.05/21.65 a{(a),#}(a(b)(b(b)(b(a)(x1)))) -> a{(c),#}(c(a)(x1)) 84.05/21.65 a{(a),#}(a(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(c)(c(a)(x1))) 84.05/21.65 TRS: 84.05/21.65 c(c)(c(c)(c(b)(b(c)(x1)))) -> c(b)(b(b)(b(b)(b(c)(x1)))) 84.05/21.65 c(c)(c(c)(c(b)(b(b)(x1)))) -> c(b)(b(b)(b(b)(b(b)(x1)))) 84.05/21.65 c(c)(c(c)(c(b)(b(a)(x1)))) -> c(b)(b(b)(b(b)(b(a)(x1)))) 84.05/21.65 b(c)(c(c)(c(b)(b(c)(x1)))) -> b(b)(b(b)(b(b)(b(c)(x1)))) 84.05/21.65 b(c)(c(c)(c(b)(b(b)(x1)))) -> b(b)(b(b)(b(b)(b(b)(x1)))) 84.05/21.65 b(c)(c(c)(c(b)(b(a)(x1)))) -> b(b)(b(b)(b(b)(b(a)(x1)))) 84.05/21.65 a(c)(c(c)(c(b)(b(c)(x1)))) -> a(b)(b(b)(b(b)(b(c)(x1)))) 84.05/21.65 a(c)(c(c)(c(b)(b(b)(x1)))) -> a(b)(b(b)(b(b)(b(b)(x1)))) 84.05/21.65 a(c)(c(c)(c(b)(b(a)(x1)))) -> a(b)(b(b)(b(b)(b(a)(x1)))) 84.05/21.65 c(c)(c(a)(a(c)(c(c)(x1)))) -> c(b)(b(a)(a(a)(a(c)(x1)))) 84.05/21.65 c(c)(c(a)(a(c)(c(b)(x1)))) -> c(b)(b(a)(a(a)(a(b)(x1)))) 84.05/21.65 c(c)(c(a)(a(c)(c(a)(x1)))) -> c(b)(b(a)(a(a)(a(a)(x1)))) 84.05/21.65 b(c)(c(a)(a(c)(c(c)(x1)))) -> b(b)(b(a)(a(a)(a(c)(x1)))) 84.05/21.65 b(c)(c(a)(a(c)(c(b)(x1)))) -> b(b)(b(a)(a(a)(a(b)(x1)))) 84.05/21.65 b(c)(c(a)(a(c)(c(a)(x1)))) -> b(b)(b(a)(a(a)(a(a)(x1)))) 84.05/21.65 a(c)(c(a)(a(c)(c(c)(x1)))) -> a(b)(b(a)(a(a)(a(c)(x1)))) 84.05/21.65 a(c)(c(a)(a(c)(c(b)(x1)))) -> a(b)(b(a)(a(a)(a(b)(x1)))) 84.05/21.65 a(c)(c(a)(a(c)(c(a)(x1)))) -> a(b)(b(a)(a(a)(a(a)(x1)))) 84.05/21.65 c(c)(c(c)(c(c)(c(c)(x1)))) -> c(a)(a(a)(a(b)(b(c)(x1)))) 84.05/21.65 c(c)(c(c)(c(c)(c(b)(x1)))) -> c(a)(a(a)(a(b)(b(b)(x1)))) 84.05/21.65 c(c)(c(c)(c(c)(c(a)(x1)))) -> c(a)(a(a)(a(b)(b(a)(x1)))) 84.05/21.65 b(c)(c(c)(c(c)(c(c)(x1)))) -> b(a)(a(a)(a(b)(b(c)(x1)))) 84.05/21.65 b(c)(c(c)(c(c)(c(b)(x1)))) -> b(a)(a(a)(a(b)(b(b)(x1)))) 84.05/21.65 b(c)(c(c)(c(c)(c(a)(x1)))) -> b(a)(a(a)(a(b)(b(a)(x1)))) 84.05/21.65 a(c)(c(c)(c(c)(c(c)(x1)))) -> a(a)(a(a)(a(b)(b(c)(x1)))) 84.05/21.65 a(c)(c(c)(c(c)(c(b)(x1)))) -> a(a)(a(a)(a(b)(b(b)(x1)))) 84.05/21.65 a(c)(c(c)(c(c)(c(a)(x1)))) -> a(a)(a(a)(a(b)(b(a)(x1)))) 84.05/21.65 c(b)(b(c)(c(c)(x1))) -> c(b)(b(b)(b(c)(x1))) 84.05/21.65 c(b)(b(c)(c(b)(x1))) -> c(b)(b(b)(b(b)(x1))) 84.05/21.65 c(b)(b(c)(c(a)(x1))) -> c(b)(b(b)(b(a)(x1))) 84.05/21.65 c(c)(c(a)(a(c)(c(c)(x1)))) -> c(b)(b(b)(b(c)(c(c)(x1)))) 84.05/21.65 c(c)(c(a)(a(c)(c(b)(x1)))) -> c(b)(b(b)(b(c)(c(b)(x1)))) 84.05/21.65 c(c)(c(a)(a(c)(c(a)(x1)))) -> c(b)(b(b)(b(c)(c(a)(x1)))) 84.05/21.65 b(c)(c(a)(a(c)(c(c)(x1)))) -> b(b)(b(b)(b(c)(c(c)(x1)))) 84.05/21.65 b(c)(c(a)(a(c)(c(b)(x1)))) -> b(b)(b(b)(b(c)(c(b)(x1)))) 84.05/21.65 b(c)(c(a)(a(c)(c(a)(x1)))) -> b(b)(b(b)(b(c)(c(a)(x1)))) 84.05/21.65 a(c)(c(a)(a(c)(c(c)(x1)))) -> a(b)(b(b)(b(c)(c(c)(x1)))) 84.05/21.65 a(c)(c(a)(a(c)(c(b)(x1)))) -> a(b)(b(b)(b(c)(c(b)(x1)))) 84.05/21.65 a(c)(c(a)(a(c)(c(a)(x1)))) -> a(b)(b(b)(b(c)(c(a)(x1)))) 84.05/21.65 c(b)(b(c)(c(c)(x1))) -> c(c)(c(b)(b(c)(x1))) 84.05/21.65 c(b)(b(c)(c(b)(x1))) -> c(c)(c(b)(b(b)(x1))) 84.05/21.65 c(b)(b(c)(c(a)(x1))) -> c(c)(c(b)(b(a)(x1))) 84.05/21.65 c(a)(a(b)(b(b)(b(c)(x1)))) -> c(b)(b(a)(a(c)(c(c)(x1)))) 84.05/21.65 c(a)(a(b)(b(b)(b(b)(x1)))) -> c(b)(b(a)(a(c)(c(b)(x1)))) 84.05/21.65 c(a)(a(b)(b(b)(b(a)(x1)))) -> c(b)(b(a)(a(c)(c(a)(x1)))) 84.05/21.65 b(a)(a(b)(b(b)(b(c)(x1)))) -> b(b)(b(a)(a(c)(c(c)(x1)))) 84.05/21.65 b(a)(a(b)(b(b)(b(b)(x1)))) -> b(b)(b(a)(a(c)(c(b)(x1)))) 84.05/21.65 b(a)(a(b)(b(b)(b(a)(x1)))) -> b(b)(b(a)(a(c)(c(a)(x1)))) 84.05/21.65 a(a)(a(b)(b(b)(b(c)(x1)))) -> a(b)(b(a)(a(c)(c(c)(x1)))) 84.05/21.65 a(a)(a(b)(b(b)(b(b)(x1)))) -> a(b)(b(a)(a(c)(c(b)(x1)))) 84.05/21.65 a(a)(a(b)(b(b)(b(a)(x1)))) -> a(b)(b(a)(a(c)(c(a)(x1)))) 84.05/21.65 TDG Processor: 84.05/21.65 DPs: 84.05/21.65 c{(c),#}(c(c)(c(b)(b(c)(x1)))) -> c{(b),#}(b(b)(b(b)(b(c)(x1)))) 84.05/21.65 c{(c),#}(c(c)(c(b)(b(b)(x1)))) -> c{(b),#}(b(b)(b(b)(b(b)(x1)))) 84.05/21.65 c{(c),#}(c(c)(c(b)(b(a)(x1)))) -> c{(b),#}(b(b)(b(b)(b(a)(x1)))) 84.05/21.65 c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> a{(c),#}(x1) 84.05/21.65 c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 84.05/21.65 c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> b{(a),#}(a(a)(a(c)(x1))) 84.05/21.65 c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> c{(b),#}(b(a)(a(a)(a(c)(x1)))) 84.05/21.65 c{(c),#}(c(a)(a(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 84.05/21.65 c{(c),#}(c(a)(a(c)(c(b)(x1)))) -> b{(a),#}(a(a)(a(b)(x1))) 84.05/21.65 c{(c),#}(c(a)(a(c)(c(b)(x1)))) -> c{(b),#}(b(a)(a(a)(a(b)(x1)))) 84.05/21.65 c{(c),#}(c(a)(a(c)(c(a)(x1)))) -> a{(a),#}(x1) 84.05/21.65 c{(c),#}(c(a)(a(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 84.05/21.65 c{(c),#}(c(a)(a(c)(c(a)(x1)))) -> b{(a),#}(a(a)(a(a)(x1))) 84.05/21.65 c{(c),#}(c(a)(a(c)(c(a)(x1)))) -> c{(b),#}(b(a)(a(a)(a(a)(x1)))) 84.05/21.65 b{(c),#}(c(a)(a(c)(c(c)(x1)))) -> a{(c),#}(x1) 84.05/21.65 b{(c),#}(c(a)(a(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 84.05/21.65 b{(c),#}(c(a)(a(c)(c(c)(x1)))) -> b{(a),#}(a(a)(a(c)(x1))) 84.05/21.65 b{(c),#}(c(a)(a(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 84.05/21.65 b{(c),#}(c(a)(a(c)(c(b)(x1)))) -> b{(a),#}(a(a)(a(b)(x1))) 84.05/21.65 b{(c),#}(c(a)(a(c)(c(a)(x1)))) -> a{(a),#}(x1) 84.05/21.65 b{(c),#}(c(a)(a(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 84.05/21.65 b{(c),#}(c(a)(a(c)(c(a)(x1)))) -> b{(a),#}(a(a)(a(a)(x1))) 84.05/21.65 a{(c),#}(c(a)(a(c)(c(c)(x1)))) -> a{(c),#}(x1) 84.05/21.65 a{(c),#}(c(a)(a(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 84.05/21.65 a{(c),#}(c(a)(a(c)(c(c)(x1)))) -> b{(a),#}(a(a)(a(c)(x1))) 84.05/21.65 a{(c),#}(c(a)(a(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 84.05/21.65 a{(c),#}(c(a)(a(c)(c(b)(x1)))) -> b{(a),#}(a(a)(a(b)(x1))) 84.05/21.65 a{(c),#}(c(a)(a(c)(c(a)(x1)))) -> a{(a),#}(x1) 84.05/21.65 a{(c),#}(c(a)(a(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 84.05/21.65 a{(c),#}(c(a)(a(c)(c(a)(x1)))) -> b{(a),#}(a(a)(a(a)(x1))) 84.05/21.65 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> b{(c),#}(x1) 84.05/21.65 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(b)(b(c)(x1))) 84.05/21.65 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> c{(a),#}(a(a)(a(b)(b(c)(x1)))) 84.05/21.65 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(b(b)(x1))) 84.05/21.65 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> c{(a),#}(a(a)(a(b)(b(b)(x1)))) 84.05/21.65 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> b{(a),#}(x1) 84.05/21.65 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(b)(b(a)(x1))) 84.05/21.65 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> c{(a),#}(a(a)(a(b)(b(a)(x1)))) 84.05/21.65 b{(c),#}(c(c)(c(c)(c(c)(x1)))) -> b{(c),#}(x1) 84.05/21.65 b{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(b)(b(c)(x1))) 84.05/21.65 b{(c),#}(c(c)(c(c)(c(c)(x1)))) -> b{(a),#}(a(a)(a(b)(b(c)(x1)))) 84.05/21.65 b{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(b(b)(x1))) 84.05/21.65 b{(c),#}(c(c)(c(c)(c(b)(x1)))) -> b{(a),#}(a(a)(a(b)(b(b)(x1)))) 84.05/21.65 b{(c),#}(c(c)(c(c)(c(a)(x1)))) -> b{(a),#}(x1) 84.05/21.65 b{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(b)(b(a)(x1))) 84.05/21.65 b{(c),#}(c(c)(c(c)(c(a)(x1)))) -> b{(a),#}(a(a)(a(b)(b(a)(x1)))) 84.05/21.65 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> b{(c),#}(x1) 84.05/21.65 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(b)(b(c)(x1))) 84.05/21.65 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(a)(a(b)(b(c)(x1)))) 84.05/21.65 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(b(b)(x1))) 84.05/21.65 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(a)(a(b)(b(b)(x1)))) 84.05/21.65 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> b{(a),#}(x1) 84.05/21.65 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(b)(b(a)(x1))) 84.05/21.65 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(a(b)(b(a)(x1)))) 84.05/21.65 c{(b),#}(b(c)(c(c)(x1))) -> b{(c),#}(x1) 84.05/21.65 c{(b),#}(b(c)(c(c)(x1))) -> c{(b),#}(b(b)(b(c)(x1))) 84.05/21.65 c{(b),#}(b(c)(c(b)(x1))) -> c{(b),#}(b(b)(b(b)(x1))) 84.05/21.65 c{(b),#}(b(c)(c(a)(x1))) -> b{(a),#}(x1) 84.05/21.65 c{(b),#}(b(c)(c(a)(x1))) -> c{(b),#}(b(b)(b(a)(x1))) 84.05/21.65 c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> b{(c),#}(c(c)(x1)) 84.05/21.65 c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> c{(b),#}(b(b)(b(c)(c(c)(x1)))) 84.05/21.65 c{(c),#}(c(a)(a(c)(c(b)(x1)))) -> b{(c),#}(c(b)(x1)) 84.05/21.65 c{(c),#}(c(a)(a(c)(c(b)(x1)))) -> c{(b),#}(b(b)(b(c)(c(b)(x1)))) 84.05/21.65 c{(c),#}(c(a)(a(c)(c(a)(x1)))) -> b{(c),#}(c(a)(x1)) 84.05/21.65 c{(c),#}(c(a)(a(c)(c(a)(x1)))) -> c{(b),#}(b(b)(b(c)(c(a)(x1)))) 84.05/21.65 b{(c),#}(c(a)(a(c)(c(c)(x1)))) -> b{(c),#}(c(c)(x1)) 84.05/21.65 b{(c),#}(c(a)(a(c)(c(b)(x1)))) -> b{(c),#}(c(b)(x1)) 84.05/21.65 b{(c),#}(c(a)(a(c)(c(a)(x1)))) -> b{(c),#}(c(a)(x1)) 84.05/21.65 a{(c),#}(c(a)(a(c)(c(c)(x1)))) -> b{(c),#}(c(c)(x1)) 84.05/21.65 a{(c),#}(c(a)(a(c)(c(b)(x1)))) -> b{(c),#}(c(b)(x1)) 84.05/21.65 a{(c),#}(c(a)(a(c)(c(a)(x1)))) -> b{(c),#}(c(a)(x1)) 84.05/21.65 c{(b),#}(b(c)(c(c)(x1))) -> c{(b),#}(b(c)(x1)) 84.05/21.65 c{(b),#}(b(c)(c(c)(x1))) -> c{(c),#}(c(b)(b(c)(x1))) 84.05/21.65 c{(b),#}(b(c)(c(b)(x1))) -> c{(b),#}(b(b)(x1)) 84.05/21.65 c{(b),#}(b(c)(c(b)(x1))) -> c{(c),#}(c(b)(b(b)(x1))) 84.05/21.66 c{(b),#}(b(c)(c(a)(x1))) -> c{(b),#}(b(a)(x1)) 84.05/21.66 c{(b),#}(b(c)(c(a)(x1))) -> c{(c),#}(c(b)(b(a)(x1))) 84.05/21.66 c{(a),#}(a(b)(b(b)(b(c)(x1)))) -> c{(c),#}(x1) 84.05/21.66 c{(a),#}(a(b)(b(b)(b(c)(x1)))) -> a{(c),#}(c(c)(x1)) 84.05/21.66 c{(a),#}(a(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(c(c)(x1))) 84.05/21.66 c{(a),#}(a(b)(b(b)(b(c)(x1)))) -> c{(b),#}(b(a)(a(c)(c(c)(x1)))) 84.05/21.66 c{(a),#}(a(b)(b(b)(b(b)(x1)))) -> c{(b),#}(x1) 84.05/21.66 c{(a),#}(a(b)(b(b)(b(b)(x1)))) -> a{(c),#}(c(b)(x1)) 84.05/21.66 c{(a),#}(a(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(c)(c(b)(x1))) 84.05/21.66 c{(a),#}(a(b)(b(b)(b(b)(x1)))) -> c{(b),#}(b(a)(a(c)(c(b)(x1)))) 84.05/21.66 c{(a),#}(a(b)(b(b)(b(a)(x1)))) -> c{(a),#}(x1) 84.05/21.66 c{(a),#}(a(b)(b(b)(b(a)(x1)))) -> a{(c),#}(c(a)(x1)) 84.05/21.66 c{(a),#}(a(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(c)(c(a)(x1))) 84.05/21.66 c{(a),#}(a(b)(b(b)(b(a)(x1)))) -> c{(b),#}(b(a)(a(c)(c(a)(x1)))) 84.05/21.66 b{(a),#}(a(b)(b(b)(b(c)(x1)))) -> c{(c),#}(x1) 84.05/21.66 b{(a),#}(a(b)(b(b)(b(c)(x1)))) -> a{(c),#}(c(c)(x1)) 84.05/21.66 b{(a),#}(a(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(c(c)(x1))) 84.05/21.66 b{(a),#}(a(b)(b(b)(b(b)(x1)))) -> c{(b),#}(x1) 84.05/21.66 b{(a),#}(a(b)(b(b)(b(b)(x1)))) -> a{(c),#}(c(b)(x1)) 84.05/21.66 b{(a),#}(a(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(c)(c(b)(x1))) 84.05/21.66 b{(a),#}(a(b)(b(b)(b(a)(x1)))) -> c{(a),#}(x1) 84.05/21.66 b{(a),#}(a(b)(b(b)(b(a)(x1)))) -> a{(c),#}(c(a)(x1)) 84.05/21.66 b{(a),#}(a(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(c)(c(a)(x1))) 84.05/21.66 a{(a),#}(a(b)(b(b)(b(c)(x1)))) -> c{(c),#}(x1) 84.05/21.66 a{(a),#}(a(b)(b(b)(b(c)(x1)))) -> a{(c),#}(c(c)(x1)) 84.05/21.66 a{(a),#}(a(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(c(c)(x1))) 84.05/21.66 a{(a),#}(a(b)(b(b)(b(b)(x1)))) -> c{(b),#}(x1) 84.05/21.66 a{(a),#}(a(b)(b(b)(b(b)(x1)))) -> a{(c),#}(c(b)(x1)) 84.05/21.66 a{(a),#}(a(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(c)(c(b)(x1))) 84.05/21.66 a{(a),#}(a(b)(b(b)(b(a)(x1)))) -> c{(a),#}(x1) 84.05/21.66 a{(a),#}(a(b)(b(b)(b(a)(x1)))) -> a{(c),#}(c(a)(x1)) 84.05/21.66 a{(a),#}(a(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(c)(c(a)(x1))) 84.05/21.66 TRS: 84.05/21.66 c(c)(c(c)(c(b)(b(c)(x1)))) -> c(b)(b(b)(b(b)(b(c)(x1)))) 84.05/21.66 c(c)(c(c)(c(b)(b(b)(x1)))) -> c(b)(b(b)(b(b)(b(b)(x1)))) 84.05/21.66 c(c)(c(c)(c(b)(b(a)(x1)))) -> c(b)(b(b)(b(b)(b(a)(x1)))) 84.05/21.66 b(c)(c(c)(c(b)(b(c)(x1)))) -> b(b)(b(b)(b(b)(b(c)(x1)))) 84.05/21.66 b(c)(c(c)(c(b)(b(b)(x1)))) -> b(b)(b(b)(b(b)(b(b)(x1)))) 84.05/21.66 b(c)(c(c)(c(b)(b(a)(x1)))) -> b(b)(b(b)(b(b)(b(a)(x1)))) 84.05/21.66 a(c)(c(c)(c(b)(b(c)(x1)))) -> a(b)(b(b)(b(b)(b(c)(x1)))) 84.05/21.66 a(c)(c(c)(c(b)(b(b)(x1)))) -> a(b)(b(b)(b(b)(b(b)(x1)))) 84.05/21.66 a(c)(c(c)(c(b)(b(a)(x1)))) -> a(b)(b(b)(b(b)(b(a)(x1)))) 84.05/21.66 c(c)(c(a)(a(c)(c(c)(x1)))) -> c(b)(b(a)(a(a)(a(c)(x1)))) 84.05/21.66 c(c)(c(a)(a(c)(c(b)(x1)))) -> c(b)(b(a)(a(a)(a(b)(x1)))) 84.05/21.66 c(c)(c(a)(a(c)(c(a)(x1)))) -> c(b)(b(a)(a(a)(a(a)(x1)))) 84.05/21.66 b(c)(c(a)(a(c)(c(c)(x1)))) -> b(b)(b(a)(a(a)(a(c)(x1)))) 84.05/21.66 b(c)(c(a)(a(c)(c(b)(x1)))) -> b(b)(b(a)(a(a)(a(b)(x1)))) 84.05/21.66 b(c)(c(a)(a(c)(c(a)(x1)))) -> b(b)(b(a)(a(a)(a(a)(x1)))) 84.05/21.66 a(c)(c(a)(a(c)(c(c)(x1)))) -> a(b)(b(a)(a(a)(a(c)(x1)))) 84.05/21.66 a(c)(c(a)(a(c)(c(b)(x1)))) -> a(b)(b(a)(a(a)(a(b)(x1)))) 84.05/21.66 a(c)(c(a)(a(c)(c(a)(x1)))) -> a(b)(b(a)(a(a)(a(a)(x1)))) 84.05/21.66 c(c)(c(c)(c(c)(c(c)(x1)))) -> c(a)(a(a)(a(b)(b(c)(x1)))) 84.05/21.66 c(c)(c(c)(c(c)(c(b)(x1)))) -> c(a)(a(a)(a(b)(b(b)(x1)))) 84.05/21.66 c(c)(c(c)(c(c)(c(a)(x1)))) -> c(a)(a(a)(a(b)(b(a)(x1)))) 84.05/21.66 b(c)(c(c)(c(c)(c(c)(x1)))) -> b(a)(a(a)(a(b)(b(c)(x1)))) 84.05/21.66 b(c)(c(c)(c(c)(c(b)(x1)))) -> b(a)(a(a)(a(b)(b(b)(x1)))) 84.05/21.66 b(c)(c(c)(c(c)(c(a)(x1)))) -> b(a)(a(a)(a(b)(b(a)(x1)))) 84.05/21.66 a(c)(c(c)(c(c)(c(c)(x1)))) -> a(a)(a(a)(a(b)(b(c)(x1)))) 84.05/21.66 a(c)(c(c)(c(c)(c(b)(x1)))) -> a(a)(a(a)(a(b)(b(b)(x1)))) 84.05/21.66 a(c)(c(c)(c(c)(c(a)(x1)))) -> a(a)(a(a)(a(b)(b(a)(x1)))) 84.05/21.66 c(b)(b(c)(c(c)(x1))) -> c(b)(b(b)(b(c)(x1))) 84.05/21.66 c(b)(b(c)(c(b)(x1))) -> c(b)(b(b)(b(b)(x1))) 84.05/21.66 c(b)(b(c)(c(a)(x1))) -> c(b)(b(b)(b(a)(x1))) 84.05/21.66 c(c)(c(a)(a(c)(c(c)(x1)))) -> c(b)(b(b)(b(c)(c(c)(x1)))) 84.05/21.66 c(c)(c(a)(a(c)(c(b)(x1)))) -> c(b)(b(b)(b(c)(c(b)(x1)))) 84.05/21.66 c(c)(c(a)(a(c)(c(a)(x1)))) -> c(b)(b(b)(b(c)(c(a)(x1)))) 84.05/21.66 b(c)(c(a)(a(c)(c(c)(x1)))) -> b(b)(b(b)(b(c)(c(c)(x1)))) 84.05/21.66 b(c)(c(a)(a(c)(c(b)(x1)))) -> b(b)(b(b)(b(c)(c(b)(x1)))) 84.05/21.67 b(c)(c(a)(a(c)(c(a)(x1)))) -> b(b)(b(b)(b(c)(c(a)(x1)))) 84.05/21.67 a(c)(c(a)(a(c)(c(c)(x1)))) -> a(b)(b(b)(b(c)(c(c)(x1)))) 84.05/21.67 a(c)(c(a)(a(c)(c(b)(x1)))) -> a(b)(b(b)(b(c)(c(b)(x1)))) 84.05/21.67 a(c)(c(a)(a(c)(c(a)(x1)))) -> a(b)(b(b)(b(c)(c(a)(x1)))) 84.05/21.67 c(b)(b(c)(c(c)(x1))) -> c(c)(c(b)(b(c)(x1))) 84.05/21.67 c(b)(b(c)(c(b)(x1))) -> c(c)(c(b)(b(b)(x1))) 84.05/21.67 c(b)(b(c)(c(a)(x1))) -> c(c)(c(b)(b(a)(x1))) 84.05/21.67 c(a)(a(b)(b(b)(b(c)(x1)))) -> c(b)(b(a)(a(c)(c(c)(x1)))) 84.05/21.67 c(a)(a(b)(b(b)(b(b)(x1)))) -> c(b)(b(a)(a(c)(c(b)(x1)))) 84.05/21.67 c(a)(a(b)(b(b)(b(a)(x1)))) -> c(b)(b(a)(a(c)(c(a)(x1)))) 84.05/21.67 b(a)(a(b)(b(b)(b(c)(x1)))) -> b(b)(b(a)(a(c)(c(c)(x1)))) 84.05/21.67 b(a)(a(b)(b(b)(b(b)(x1)))) -> b(b)(b(a)(a(c)(c(b)(x1)))) 84.05/21.67 b(a)(a(b)(b(b)(b(a)(x1)))) -> b(b)(b(a)(a(c)(c(a)(x1)))) 84.05/21.67 a(a)(a(b)(b(b)(b(c)(x1)))) -> a(b)(b(a)(a(c)(c(c)(x1)))) 84.05/21.67 a(a)(a(b)(b(b)(b(b)(x1)))) -> a(b)(b(a)(a(c)(c(b)(x1)))) 84.05/21.67 a(a)(a(b)(b(b)(b(a)(x1)))) -> a(b)(b(a)(a(c)(c(a)(x1)))) 84.05/21.67 graph: 84.05/21.67 ... 84.05/21.67 EDG Processor: 84.05/21.67 DPs: 84.05/21.67 c{(c),#}(c(c)(c(b)(b(c)(x1)))) -> c{(b),#}(b(b)(b(b)(b(c)(x1)))) 84.05/21.67 c{(c),#}(c(c)(c(b)(b(b)(x1)))) -> c{(b),#}(b(b)(b(b)(b(b)(x1)))) 84.05/21.67 c{(c),#}(c(c)(c(b)(b(a)(x1)))) -> c{(b),#}(b(b)(b(b)(b(a)(x1)))) 84.05/21.67 c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> a{(c),#}(x1) 84.05/21.67 c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 84.05/21.67 c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> b{(a),#}(a(a)(a(c)(x1))) 84.05/21.67 c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> c{(b),#}(b(a)(a(a)(a(c)(x1)))) 84.05/21.67 c{(c),#}(c(a)(a(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 84.05/21.67 c{(c),#}(c(a)(a(c)(c(b)(x1)))) -> b{(a),#}(a(a)(a(b)(x1))) 84.05/21.67 c{(c),#}(c(a)(a(c)(c(b)(x1)))) -> c{(b),#}(b(a)(a(a)(a(b)(x1)))) 84.05/21.67 c{(c),#}(c(a)(a(c)(c(a)(x1)))) -> a{(a),#}(x1) 84.05/21.67 c{(c),#}(c(a)(a(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 84.05/21.67 c{(c),#}(c(a)(a(c)(c(a)(x1)))) -> b{(a),#}(a(a)(a(a)(x1))) 84.05/21.67 c{(c),#}(c(a)(a(c)(c(a)(x1)))) -> c{(b),#}(b(a)(a(a)(a(a)(x1)))) 84.05/21.67 b{(c),#}(c(a)(a(c)(c(c)(x1)))) -> a{(c),#}(x1) 84.05/21.67 b{(c),#}(c(a)(a(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 84.05/21.67 b{(c),#}(c(a)(a(c)(c(c)(x1)))) -> b{(a),#}(a(a)(a(c)(x1))) 84.05/21.67 b{(c),#}(c(a)(a(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 84.05/21.67 b{(c),#}(c(a)(a(c)(c(b)(x1)))) -> b{(a),#}(a(a)(a(b)(x1))) 84.05/21.67 b{(c),#}(c(a)(a(c)(c(a)(x1)))) -> a{(a),#}(x1) 84.05/21.67 b{(c),#}(c(a)(a(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 84.05/21.67 b{(c),#}(c(a)(a(c)(c(a)(x1)))) -> b{(a),#}(a(a)(a(a)(x1))) 84.05/21.67 a{(c),#}(c(a)(a(c)(c(c)(x1)))) -> a{(c),#}(x1) 84.05/21.67 a{(c),#}(c(a)(a(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 84.05/21.67 a{(c),#}(c(a)(a(c)(c(c)(x1)))) -> b{(a),#}(a(a)(a(c)(x1))) 84.05/21.67 a{(c),#}(c(a)(a(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 84.05/21.67 a{(c),#}(c(a)(a(c)(c(b)(x1)))) -> b{(a),#}(a(a)(a(b)(x1))) 84.05/21.67 a{(c),#}(c(a)(a(c)(c(a)(x1)))) -> a{(a),#}(x1) 84.05/21.67 a{(c),#}(c(a)(a(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 84.05/21.67 a{(c),#}(c(a)(a(c)(c(a)(x1)))) -> b{(a),#}(a(a)(a(a)(x1))) 84.05/21.67 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> b{(c),#}(x1) 84.05/21.67 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(b)(b(c)(x1))) 84.05/21.67 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> c{(a),#}(a(a)(a(b)(b(c)(x1)))) 84.05/21.67 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(b(b)(x1))) 84.05/21.67 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> c{(a),#}(a(a)(a(b)(b(b)(x1)))) 84.05/21.67 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> b{(a),#}(x1) 84.05/21.67 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(b)(b(a)(x1))) 84.05/21.67 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> c{(a),#}(a(a)(a(b)(b(a)(x1)))) 84.05/21.67 b{(c),#}(c(c)(c(c)(c(c)(x1)))) -> b{(c),#}(x1) 84.05/21.67 b{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(b)(b(c)(x1))) 84.05/21.67 b{(c),#}(c(c)(c(c)(c(c)(x1)))) -> b{(a),#}(a(a)(a(b)(b(c)(x1)))) 84.05/21.67 b{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(b(b)(x1))) 84.05/21.67 b{(c),#}(c(c)(c(c)(c(b)(x1)))) -> b{(a),#}(a(a)(a(b)(b(b)(x1)))) 84.05/21.67 b{(c),#}(c(c)(c(c)(c(a)(x1)))) -> b{(a),#}(x1) 84.05/21.67 b{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(b)(b(a)(x1))) 84.05/21.67 b{(c),#}(c(c)(c(c)(c(a)(x1)))) -> b{(a),#}(a(a)(a(b)(b(a)(x1)))) 84.05/21.67 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> b{(c),#}(x1) 84.05/21.67 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(b)(b(c)(x1))) 84.10/21.68 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(a)(a(b)(b(c)(x1)))) 84.10/21.68 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(b(b)(x1))) 84.10/21.68 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(a)(a(b)(b(b)(x1)))) 84.10/21.68 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> b{(a),#}(x1) 84.10/21.68 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(b)(b(a)(x1))) 84.10/21.68 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(a(b)(b(a)(x1)))) 84.10/21.68 c{(b),#}(b(c)(c(c)(x1))) -> b{(c),#}(x1) 84.10/21.68 c{(b),#}(b(c)(c(c)(x1))) -> c{(b),#}(b(b)(b(c)(x1))) 84.10/21.68 c{(b),#}(b(c)(c(b)(x1))) -> c{(b),#}(b(b)(b(b)(x1))) 84.10/21.68 c{(b),#}(b(c)(c(a)(x1))) -> b{(a),#}(x1) 84.10/21.68 c{(b),#}(b(c)(c(a)(x1))) -> c{(b),#}(b(b)(b(a)(x1))) 84.10/21.68 c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> b{(c),#}(c(c)(x1)) 84.10/21.68 c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> c{(b),#}(b(b)(b(c)(c(c)(x1)))) 84.10/21.68 c{(c),#}(c(a)(a(c)(c(b)(x1)))) -> b{(c),#}(c(b)(x1)) 84.10/21.68 c{(c),#}(c(a)(a(c)(c(b)(x1)))) -> c{(b),#}(b(b)(b(c)(c(b)(x1)))) 84.10/21.68 c{(c),#}(c(a)(a(c)(c(a)(x1)))) -> b{(c),#}(c(a)(x1)) 84.10/21.68 c{(c),#}(c(a)(a(c)(c(a)(x1)))) -> c{(b),#}(b(b)(b(c)(c(a)(x1)))) 84.10/21.68 b{(c),#}(c(a)(a(c)(c(c)(x1)))) -> b{(c),#}(c(c)(x1)) 84.10/21.68 b{(c),#}(c(a)(a(c)(c(b)(x1)))) -> b{(c),#}(c(b)(x1)) 84.10/21.68 b{(c),#}(c(a)(a(c)(c(a)(x1)))) -> b{(c),#}(c(a)(x1)) 84.10/21.68 a{(c),#}(c(a)(a(c)(c(c)(x1)))) -> b{(c),#}(c(c)(x1)) 84.10/21.68 a{(c),#}(c(a)(a(c)(c(b)(x1)))) -> b{(c),#}(c(b)(x1)) 84.10/21.68 a{(c),#}(c(a)(a(c)(c(a)(x1)))) -> b{(c),#}(c(a)(x1)) 84.10/21.68 c{(b),#}(b(c)(c(c)(x1))) -> c{(b),#}(b(c)(x1)) 84.10/21.68 c{(b),#}(b(c)(c(c)(x1))) -> c{(c),#}(c(b)(b(c)(x1))) 84.10/21.68 c{(b),#}(b(c)(c(b)(x1))) -> c{(b),#}(b(b)(x1)) 84.10/21.68 c{(b),#}(b(c)(c(b)(x1))) -> c{(c),#}(c(b)(b(b)(x1))) 84.10/21.68 c{(b),#}(b(c)(c(a)(x1))) -> c{(b),#}(b(a)(x1)) 84.10/21.68 c{(b),#}(b(c)(c(a)(x1))) -> c{(c),#}(c(b)(b(a)(x1))) 84.10/21.68 c{(a),#}(a(b)(b(b)(b(c)(x1)))) -> c{(c),#}(x1) 84.10/21.68 c{(a),#}(a(b)(b(b)(b(c)(x1)))) -> a{(c),#}(c(c)(x1)) 84.10/21.68 c{(a),#}(a(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(c(c)(x1))) 84.10/21.68 c{(a),#}(a(b)(b(b)(b(c)(x1)))) -> c{(b),#}(b(a)(a(c)(c(c)(x1)))) 84.10/21.68 c{(a),#}(a(b)(b(b)(b(b)(x1)))) -> c{(b),#}(x1) 84.10/21.68 c{(a),#}(a(b)(b(b)(b(b)(x1)))) -> a{(c),#}(c(b)(x1)) 84.10/21.68 c{(a),#}(a(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(c)(c(b)(x1))) 84.10/21.68 c{(a),#}(a(b)(b(b)(b(b)(x1)))) -> c{(b),#}(b(a)(a(c)(c(b)(x1)))) 84.10/21.68 c{(a),#}(a(b)(b(b)(b(a)(x1)))) -> c{(a),#}(x1) 84.10/21.68 c{(a),#}(a(b)(b(b)(b(a)(x1)))) -> a{(c),#}(c(a)(x1)) 84.10/21.68 c{(a),#}(a(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(c)(c(a)(x1))) 84.10/21.68 c{(a),#}(a(b)(b(b)(b(a)(x1)))) -> c{(b),#}(b(a)(a(c)(c(a)(x1)))) 84.10/21.68 b{(a),#}(a(b)(b(b)(b(c)(x1)))) -> c{(c),#}(x1) 84.10/21.68 b{(a),#}(a(b)(b(b)(b(c)(x1)))) -> a{(c),#}(c(c)(x1)) 84.10/21.68 b{(a),#}(a(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(c(c)(x1))) 84.10/21.68 b{(a),#}(a(b)(b(b)(b(b)(x1)))) -> c{(b),#}(x1) 84.10/21.68 b{(a),#}(a(b)(b(b)(b(b)(x1)))) -> a{(c),#}(c(b)(x1)) 84.10/21.68 b{(a),#}(a(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(c)(c(b)(x1))) 84.10/21.68 b{(a),#}(a(b)(b(b)(b(a)(x1)))) -> c{(a),#}(x1) 84.10/21.68 b{(a),#}(a(b)(b(b)(b(a)(x1)))) -> a{(c),#}(c(a)(x1)) 84.10/21.68 b{(a),#}(a(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(c)(c(a)(x1))) 84.10/21.68 a{(a),#}(a(b)(b(b)(b(c)(x1)))) -> c{(c),#}(x1) 84.10/21.68 a{(a),#}(a(b)(b(b)(b(c)(x1)))) -> a{(c),#}(c(c)(x1)) 84.10/21.68 a{(a),#}(a(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(c(c)(x1))) 84.10/21.68 a{(a),#}(a(b)(b(b)(b(b)(x1)))) -> c{(b),#}(x1) 84.10/21.68 a{(a),#}(a(b)(b(b)(b(b)(x1)))) -> a{(c),#}(c(b)(x1)) 84.10/21.68 a{(a),#}(a(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(c)(c(b)(x1))) 84.10/21.68 a{(a),#}(a(b)(b(b)(b(a)(x1)))) -> c{(a),#}(x1) 84.10/21.68 a{(a),#}(a(b)(b(b)(b(a)(x1)))) -> a{(c),#}(c(a)(x1)) 84.10/21.68 a{(a),#}(a(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(c)(c(a)(x1))) 84.10/21.68 TRS: 84.10/21.68 c(c)(c(c)(c(b)(b(c)(x1)))) -> c(b)(b(b)(b(b)(b(c)(x1)))) 84.10/21.68 c(c)(c(c)(c(b)(b(b)(x1)))) -> c(b)(b(b)(b(b)(b(b)(x1)))) 84.10/21.68 c(c)(c(c)(c(b)(b(a)(x1)))) -> c(b)(b(b)(b(b)(b(a)(x1)))) 84.10/21.68 b(c)(c(c)(c(b)(b(c)(x1)))) -> b(b)(b(b)(b(b)(b(c)(x1)))) 84.10/21.68 b(c)(c(c)(c(b)(b(b)(x1)))) -> b(b)(b(b)(b(b)(b(b)(x1)))) 84.10/21.68 b(c)(c(c)(c(b)(b(a)(x1)))) -> b(b)(b(b)(b(b)(b(a)(x1)))) 84.10/21.68 a(c)(c(c)(c(b)(b(c)(x1)))) -> a(b)(b(b)(b(b)(b(c)(x1)))) 84.10/21.69 a(c)(c(c)(c(b)(b(b)(x1)))) -> a(b)(b(b)(b(b)(b(b)(x1)))) 84.10/21.69 a(c)(c(c)(c(b)(b(a)(x1)))) -> a(b)(b(b)(b(b)(b(a)(x1)))) 84.10/21.69 c(c)(c(a)(a(c)(c(c)(x1)))) -> c(b)(b(a)(a(a)(a(c)(x1)))) 84.10/21.69 c(c)(c(a)(a(c)(c(b)(x1)))) -> c(b)(b(a)(a(a)(a(b)(x1)))) 84.10/21.69 c(c)(c(a)(a(c)(c(a)(x1)))) -> c(b)(b(a)(a(a)(a(a)(x1)))) 84.10/21.69 b(c)(c(a)(a(c)(c(c)(x1)))) -> b(b)(b(a)(a(a)(a(c)(x1)))) 84.10/21.69 b(c)(c(a)(a(c)(c(b)(x1)))) -> b(b)(b(a)(a(a)(a(b)(x1)))) 84.10/21.69 b(c)(c(a)(a(c)(c(a)(x1)))) -> b(b)(b(a)(a(a)(a(a)(x1)))) 84.10/21.69 a(c)(c(a)(a(c)(c(c)(x1)))) -> a(b)(b(a)(a(a)(a(c)(x1)))) 84.10/21.69 a(c)(c(a)(a(c)(c(b)(x1)))) -> a(b)(b(a)(a(a)(a(b)(x1)))) 84.10/21.69 a(c)(c(a)(a(c)(c(a)(x1)))) -> a(b)(b(a)(a(a)(a(a)(x1)))) 84.10/21.69 c(c)(c(c)(c(c)(c(c)(x1)))) -> c(a)(a(a)(a(b)(b(c)(x1)))) 84.10/21.69 c(c)(c(c)(c(c)(c(b)(x1)))) -> c(a)(a(a)(a(b)(b(b)(x1)))) 84.10/21.69 c(c)(c(c)(c(c)(c(a)(x1)))) -> c(a)(a(a)(a(b)(b(a)(x1)))) 84.10/21.69 b(c)(c(c)(c(c)(c(c)(x1)))) -> b(a)(a(a)(a(b)(b(c)(x1)))) 84.10/21.69 b(c)(c(c)(c(c)(c(b)(x1)))) -> b(a)(a(a)(a(b)(b(b)(x1)))) 84.10/21.69 b(c)(c(c)(c(c)(c(a)(x1)))) -> b(a)(a(a)(a(b)(b(a)(x1)))) 84.10/21.69 a(c)(c(c)(c(c)(c(c)(x1)))) -> a(a)(a(a)(a(b)(b(c)(x1)))) 84.10/21.69 a(c)(c(c)(c(c)(c(b)(x1)))) -> a(a)(a(a)(a(b)(b(b)(x1)))) 84.10/21.69 a(c)(c(c)(c(c)(c(a)(x1)))) -> a(a)(a(a)(a(b)(b(a)(x1)))) 84.10/21.69 c(b)(b(c)(c(c)(x1))) -> c(b)(b(b)(b(c)(x1))) 84.10/21.69 c(b)(b(c)(c(b)(x1))) -> c(b)(b(b)(b(b)(x1))) 84.10/21.69 c(b)(b(c)(c(a)(x1))) -> c(b)(b(b)(b(a)(x1))) 84.10/21.69 c(c)(c(a)(a(c)(c(c)(x1)))) -> c(b)(b(b)(b(c)(c(c)(x1)))) 84.10/21.69 c(c)(c(a)(a(c)(c(b)(x1)))) -> c(b)(b(b)(b(c)(c(b)(x1)))) 84.10/21.69 c(c)(c(a)(a(c)(c(a)(x1)))) -> c(b)(b(b)(b(c)(c(a)(x1)))) 84.10/21.69 b(c)(c(a)(a(c)(c(c)(x1)))) -> b(b)(b(b)(b(c)(c(c)(x1)))) 84.10/21.69 b(c)(c(a)(a(c)(c(b)(x1)))) -> b(b)(b(b)(b(c)(c(b)(x1)))) 84.10/21.69 b(c)(c(a)(a(c)(c(a)(x1)))) -> b(b)(b(b)(b(c)(c(a)(x1)))) 84.10/21.69 a(c)(c(a)(a(c)(c(c)(x1)))) -> a(b)(b(b)(b(c)(c(c)(x1)))) 84.10/21.69 a(c)(c(a)(a(c)(c(b)(x1)))) -> a(b)(b(b)(b(c)(c(b)(x1)))) 84.10/21.69 a(c)(c(a)(a(c)(c(a)(x1)))) -> a(b)(b(b)(b(c)(c(a)(x1)))) 84.10/21.69 c(b)(b(c)(c(c)(x1))) -> c(c)(c(b)(b(c)(x1))) 84.10/21.69 c(b)(b(c)(c(b)(x1))) -> c(c)(c(b)(b(b)(x1))) 84.10/21.69 c(b)(b(c)(c(a)(x1))) -> c(c)(c(b)(b(a)(x1))) 84.10/21.69 c(a)(a(b)(b(b)(b(c)(x1)))) -> c(b)(b(a)(a(c)(c(c)(x1)))) 84.10/21.69 c(a)(a(b)(b(b)(b(b)(x1)))) -> c(b)(b(a)(a(c)(c(b)(x1)))) 84.10/21.69 c(a)(a(b)(b(b)(b(a)(x1)))) -> c(b)(b(a)(a(c)(c(a)(x1)))) 84.10/21.69 b(a)(a(b)(b(b)(b(c)(x1)))) -> b(b)(b(a)(a(c)(c(c)(x1)))) 84.10/21.69 b(a)(a(b)(b(b)(b(b)(x1)))) -> b(b)(b(a)(a(c)(c(b)(x1)))) 84.10/21.69 b(a)(a(b)(b(b)(b(a)(x1)))) -> b(b)(b(a)(a(c)(c(a)(x1)))) 84.10/21.69 a(a)(a(b)(b(b)(b(c)(x1)))) -> a(b)(b(a)(a(c)(c(c)(x1)))) 84.10/21.69 a(a)(a(b)(b(b)(b(b)(x1)))) -> a(b)(b(a)(a(c)(c(b)(x1)))) 84.10/21.69 a(a)(a(b)(b(b)(b(a)(x1)))) -> a(b)(b(a)(a(c)(c(a)(x1)))) 84.10/21.69 graph: 84.10/21.69 ... 84.10/21.69 SCC Processor: 84.10/21.69 #sccs: 1 84.10/21.69 #rules: 89 84.10/21.69 #arcs: 1006/11449 84.10/21.69 DPs: 84.10/21.69 c{(a),#}(a(b)(b(b)(b(a)(x1)))) -> c{(a),#}(x1) 84.10/21.69 c{(a),#}(a(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(c)(c(a)(x1))) 84.10/21.69 b{(a),#}(a(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(c)(c(a)(x1))) 84.10/21.69 b{(a),#}(a(b)(b(b)(b(a)(x1)))) -> a{(c),#}(c(a)(x1)) 84.10/21.69 a{(c),#}(c(a)(a(c)(c(a)(x1)))) -> b{(c),#}(c(a)(x1)) 84.10/21.69 b{(c),#}(c(a)(a(c)(c(a)(x1)))) -> b{(c),#}(c(a)(x1)) 84.10/21.69 b{(c),#}(c(a)(a(c)(c(b)(x1)))) -> b{(c),#}(c(b)(x1)) 84.10/21.69 b{(c),#}(c(c)(c(c)(c(a)(x1)))) -> b{(a),#}(a(a)(a(b)(b(a)(x1)))) 84.10/21.69 b{(a),#}(a(b)(b(b)(b(a)(x1)))) -> c{(a),#}(x1) 84.10/21.69 c{(a),#}(a(b)(b(b)(b(a)(x1)))) -> a{(c),#}(c(a)(x1)) 84.10/21.69 a{(c),#}(c(a)(a(c)(c(b)(x1)))) -> b{(c),#}(c(b)(x1)) 84.10/21.69 b{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(b)(b(a)(x1))) 84.10/21.69 a{(a),#}(a(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(c)(c(a)(x1))) 84.10/21.69 b{(a),#}(a(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(c)(c(b)(x1))) 84.10/21.69 b{(a),#}(a(b)(b(b)(b(b)(x1)))) -> a{(c),#}(c(b)(x1)) 84.10/21.69 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(a(b)(b(a)(x1)))) 84.10/21.69 a{(a),#}(a(b)(b(b)(b(a)(x1)))) -> a{(c),#}(c(a)(x1)) 84.10/21.69 a{(c),#}(c(a)(a(c)(c(c)(x1)))) -> b{(c),#}(c(c)(x1)) 84.10/21.69 b{(c),#}(c(c)(c(c)(c(a)(x1)))) -> b{(a),#}(x1) 84.10/21.69 b{(a),#}(a(b)(b(b)(b(b)(x1)))) -> c{(b),#}(x1) 84.10/21.70 c{(b),#}(b(c)(c(a)(x1))) -> c{(c),#}(c(b)(b(a)(x1))) 84.10/21.70 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> c{(a),#}(a(a)(a(b)(b(a)(x1)))) 84.10/21.70 c{(a),#}(a(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(c)(c(b)(x1))) 84.10/21.70 b{(a),#}(a(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(c(c)(x1))) 84.10/21.70 b{(a),#}(a(b)(b(b)(b(c)(x1)))) -> a{(c),#}(c(c)(x1)) 84.10/21.70 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(b)(b(a)(x1))) 84.10/21.70 a{(a),#}(a(b)(b(b)(b(a)(x1)))) -> c{(a),#}(x1) 84.10/21.70 c{(a),#}(a(b)(b(b)(b(b)(x1)))) -> a{(c),#}(c(b)(x1)) 84.10/21.70 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> b{(a),#}(x1) 84.10/21.70 b{(a),#}(a(b)(b(b)(b(c)(x1)))) -> c{(c),#}(x1) 84.10/21.70 c{(c),#}(c(a)(a(c)(c(a)(x1)))) -> b{(c),#}(c(a)(x1)) 84.10/21.70 b{(c),#}(c(a)(a(c)(c(c)(x1)))) -> b{(c),#}(c(c)(x1)) 84.10/21.70 b{(c),#}(c(c)(c(c)(c(b)(x1)))) -> b{(a),#}(a(a)(a(b)(b(b)(x1)))) 84.10/21.70 b{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(b(b)(x1))) 84.10/21.70 a{(a),#}(a(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(c)(c(b)(x1))) 84.10/21.70 a{(a),#}(a(b)(b(b)(b(b)(x1)))) -> a{(c),#}(c(b)(x1)) 84.10/21.70 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(a)(a(b)(b(b)(x1)))) 84.10/21.70 a{(a),#}(a(b)(b(b)(b(b)(x1)))) -> c{(b),#}(x1) 84.10/21.70 c{(b),#}(b(c)(c(c)(x1))) -> c{(c),#}(c(b)(b(c)(x1))) 84.10/21.70 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(b)(b(a)(x1))) 84.10/21.70 a{(a),#}(a(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(c(c)(x1))) 84.10/21.70 a{(a),#}(a(b)(b(b)(b(c)(x1)))) -> a{(c),#}(c(c)(x1)) 84.10/21.70 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(b(b)(x1))) 84.10/21.70 a{(a),#}(a(b)(b(b)(b(c)(x1)))) -> c{(c),#}(x1) 84.10/21.70 c{(c),#}(c(a)(a(c)(c(b)(x1)))) -> b{(c),#}(c(b)(x1)) 84.10/21.70 b{(c),#}(c(c)(c(c)(c(c)(x1)))) -> b{(a),#}(a(a)(a(b)(b(c)(x1)))) 84.10/21.70 b{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(b)(b(c)(x1))) 84.10/21.70 b{(c),#}(c(c)(c(c)(c(c)(x1)))) -> b{(c),#}(x1) 84.10/21.70 b{(c),#}(c(a)(a(c)(c(a)(x1)))) -> b{(a),#}(a(a)(a(a)(x1))) 84.10/21.70 b{(c),#}(c(a)(a(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 84.10/21.70 b{(c),#}(c(a)(a(c)(c(a)(x1)))) -> a{(a),#}(x1) 84.10/21.70 b{(c),#}(c(a)(a(c)(c(b)(x1)))) -> b{(a),#}(a(a)(a(b)(x1))) 84.10/21.70 b{(c),#}(c(a)(a(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 84.10/21.70 b{(c),#}(c(a)(a(c)(c(c)(x1)))) -> b{(a),#}(a(a)(a(c)(x1))) 84.10/21.70 b{(c),#}(c(a)(a(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 84.10/21.70 b{(c),#}(c(a)(a(c)(c(c)(x1)))) -> a{(c),#}(x1) 84.10/21.70 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(a)(a(b)(b(c)(x1)))) 84.10/21.70 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(b)(b(c)(x1))) 84.10/21.70 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> b{(c),#}(x1) 84.10/21.70 a{(c),#}(c(a)(a(c)(c(a)(x1)))) -> b{(a),#}(a(a)(a(a)(x1))) 84.10/21.70 a{(c),#}(c(a)(a(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 84.10/21.70 a{(c),#}(c(a)(a(c)(c(a)(x1)))) -> a{(a),#}(x1) 84.10/21.70 a{(c),#}(c(a)(a(c)(c(b)(x1)))) -> b{(a),#}(a(a)(a(b)(x1))) 84.10/21.70 a{(c),#}(c(a)(a(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 84.10/21.70 a{(c),#}(c(a)(a(c)(c(c)(x1)))) -> b{(a),#}(a(a)(a(c)(x1))) 84.10/21.70 a{(c),#}(c(a)(a(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 84.10/21.70 a{(c),#}(c(a)(a(c)(c(c)(x1)))) -> a{(c),#}(x1) 84.10/21.70 c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> b{(c),#}(c(c)(x1)) 84.10/21.70 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> b{(a),#}(x1) 84.10/21.70 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> c{(a),#}(a(a)(a(b)(b(b)(x1)))) 84.10/21.70 c{(a),#}(a(b)(b(b)(b(b)(x1)))) -> c{(b),#}(x1) 84.10/21.70 c{(b),#}(b(c)(c(c)(x1))) -> c{(b),#}(b(c)(x1)) 84.10/21.70 c{(b),#}(b(c)(c(a)(x1))) -> b{(a),#}(x1) 84.10/21.70 c{(b),#}(b(c)(c(c)(x1))) -> b{(c),#}(x1) 84.10/21.70 c{(a),#}(a(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(c(c)(x1))) 84.10/21.70 c{(a),#}(a(b)(b(b)(b(c)(x1)))) -> a{(c),#}(c(c)(x1)) 84.10/21.70 c{(a),#}(a(b)(b(b)(b(c)(x1)))) -> c{(c),#}(x1) 84.10/21.70 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(b(b)(x1))) 84.10/21.70 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> c{(a),#}(a(a)(a(b)(b(c)(x1)))) 84.10/21.70 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(b)(b(c)(x1))) 84.10/21.70 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> b{(c),#}(x1) 84.10/21.70 c{(c),#}(c(a)(a(c)(c(a)(x1)))) -> b{(a),#}(a(a)(a(a)(x1))) 84.10/21.70 c{(c),#}(c(a)(a(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 84.10/21.70 c{(c),#}(c(a)(a(c)(c(a)(x1)))) -> a{(a),#}(x1) 84.10/21.70 c{(c),#}(c(a)(a(c)(c(b)(x1)))) -> b{(a),#}(a(a)(a(b)(x1))) 84.10/21.70 c{(c),#}(c(a)(a(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 84.10/21.71 c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> b{(a),#}(a(a)(a(c)(x1))) 84.10/21.71 c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 84.10/21.71 c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> a{(c),#}(x1) 84.10/21.71 TRS: 84.10/21.71 c(c)(c(c)(c(b)(b(c)(x1)))) -> c(b)(b(b)(b(b)(b(c)(x1)))) 84.10/21.71 c(c)(c(c)(c(b)(b(b)(x1)))) -> c(b)(b(b)(b(b)(b(b)(x1)))) 84.10/21.71 c(c)(c(c)(c(b)(b(a)(x1)))) -> c(b)(b(b)(b(b)(b(a)(x1)))) 84.10/21.71 b(c)(c(c)(c(b)(b(c)(x1)))) -> b(b)(b(b)(b(b)(b(c)(x1)))) 84.10/21.71 b(c)(c(c)(c(b)(b(b)(x1)))) -> b(b)(b(b)(b(b)(b(b)(x1)))) 84.10/21.71 b(c)(c(c)(c(b)(b(a)(x1)))) -> b(b)(b(b)(b(b)(b(a)(x1)))) 84.10/21.71 a(c)(c(c)(c(b)(b(c)(x1)))) -> a(b)(b(b)(b(b)(b(c)(x1)))) 84.10/21.71 a(c)(c(c)(c(b)(b(b)(x1)))) -> a(b)(b(b)(b(b)(b(b)(x1)))) 84.10/21.71 a(c)(c(c)(c(b)(b(a)(x1)))) -> a(b)(b(b)(b(b)(b(a)(x1)))) 84.10/21.71 c(c)(c(a)(a(c)(c(c)(x1)))) -> c(b)(b(a)(a(a)(a(c)(x1)))) 84.10/21.71 c(c)(c(a)(a(c)(c(b)(x1)))) -> c(b)(b(a)(a(a)(a(b)(x1)))) 84.10/21.71 c(c)(c(a)(a(c)(c(a)(x1)))) -> c(b)(b(a)(a(a)(a(a)(x1)))) 84.10/21.71 b(c)(c(a)(a(c)(c(c)(x1)))) -> b(b)(b(a)(a(a)(a(c)(x1)))) 84.10/21.71 b(c)(c(a)(a(c)(c(b)(x1)))) -> b(b)(b(a)(a(a)(a(b)(x1)))) 84.10/21.71 b(c)(c(a)(a(c)(c(a)(x1)))) -> b(b)(b(a)(a(a)(a(a)(x1)))) 84.10/21.71 a(c)(c(a)(a(c)(c(c)(x1)))) -> a(b)(b(a)(a(a)(a(c)(x1)))) 84.10/21.71 a(c)(c(a)(a(c)(c(b)(x1)))) -> a(b)(b(a)(a(a)(a(b)(x1)))) 84.10/21.71 a(c)(c(a)(a(c)(c(a)(x1)))) -> a(b)(b(a)(a(a)(a(a)(x1)))) 84.10/21.71 c(c)(c(c)(c(c)(c(c)(x1)))) -> c(a)(a(a)(a(b)(b(c)(x1)))) 84.10/21.71 c(c)(c(c)(c(c)(c(b)(x1)))) -> c(a)(a(a)(a(b)(b(b)(x1)))) 84.10/21.71 c(c)(c(c)(c(c)(c(a)(x1)))) -> c(a)(a(a)(a(b)(b(a)(x1)))) 84.10/21.71 b(c)(c(c)(c(c)(c(c)(x1)))) -> b(a)(a(a)(a(b)(b(c)(x1)))) 84.10/21.71 b(c)(c(c)(c(c)(c(b)(x1)))) -> b(a)(a(a)(a(b)(b(b)(x1)))) 84.10/21.71 b(c)(c(c)(c(c)(c(a)(x1)))) -> b(a)(a(a)(a(b)(b(a)(x1)))) 84.10/21.71 a(c)(c(c)(c(c)(c(c)(x1)))) -> a(a)(a(a)(a(b)(b(c)(x1)))) 84.10/21.71 a(c)(c(c)(c(c)(c(b)(x1)))) -> a(a)(a(a)(a(b)(b(b)(x1)))) 84.10/21.71 a(c)(c(c)(c(c)(c(a)(x1)))) -> a(a)(a(a)(a(b)(b(a)(x1)))) 84.10/21.71 c(b)(b(c)(c(c)(x1))) -> c(b)(b(b)(b(c)(x1))) 84.10/21.71 c(b)(b(c)(c(b)(x1))) -> c(b)(b(b)(b(b)(x1))) 84.10/21.71 c(b)(b(c)(c(a)(x1))) -> c(b)(b(b)(b(a)(x1))) 84.10/21.71 c(c)(c(a)(a(c)(c(c)(x1)))) -> c(b)(b(b)(b(c)(c(c)(x1)))) 84.10/21.71 c(c)(c(a)(a(c)(c(b)(x1)))) -> c(b)(b(b)(b(c)(c(b)(x1)))) 84.10/21.71 c(c)(c(a)(a(c)(c(a)(x1)))) -> c(b)(b(b)(b(c)(c(a)(x1)))) 84.10/21.71 b(c)(c(a)(a(c)(c(c)(x1)))) -> b(b)(b(b)(b(c)(c(c)(x1)))) 84.10/21.71 b(c)(c(a)(a(c)(c(b)(x1)))) -> b(b)(b(b)(b(c)(c(b)(x1)))) 84.10/21.71 b(c)(c(a)(a(c)(c(a)(x1)))) -> b(b)(b(b)(b(c)(c(a)(x1)))) 84.10/21.71 a(c)(c(a)(a(c)(c(c)(x1)))) -> a(b)(b(b)(b(c)(c(c)(x1)))) 84.10/21.71 a(c)(c(a)(a(c)(c(b)(x1)))) -> a(b)(b(b)(b(c)(c(b)(x1)))) 84.10/21.71 a(c)(c(a)(a(c)(c(a)(x1)))) -> a(b)(b(b)(b(c)(c(a)(x1)))) 84.10/21.71 c(b)(b(c)(c(c)(x1))) -> c(c)(c(b)(b(c)(x1))) 84.10/21.71 c(b)(b(c)(c(b)(x1))) -> c(c)(c(b)(b(b)(x1))) 84.10/21.71 c(b)(b(c)(c(a)(x1))) -> c(c)(c(b)(b(a)(x1))) 84.10/21.71 c(a)(a(b)(b(b)(b(c)(x1)))) -> c(b)(b(a)(a(c)(c(c)(x1)))) 84.10/21.71 c(a)(a(b)(b(b)(b(b)(x1)))) -> c(b)(b(a)(a(c)(c(b)(x1)))) 84.10/21.71 c(a)(a(b)(b(b)(b(a)(x1)))) -> c(b)(b(a)(a(c)(c(a)(x1)))) 84.10/21.71 b(a)(a(b)(b(b)(b(c)(x1)))) -> b(b)(b(a)(a(c)(c(c)(x1)))) 84.10/21.71 b(a)(a(b)(b(b)(b(b)(x1)))) -> b(b)(b(a)(a(c)(c(b)(x1)))) 84.10/21.71 b(a)(a(b)(b(b)(b(a)(x1)))) -> b(b)(b(a)(a(c)(c(a)(x1)))) 84.10/21.71 a(a)(a(b)(b(b)(b(c)(x1)))) -> a(b)(b(a)(a(c)(c(c)(x1)))) 84.10/21.71 a(a)(a(b)(b(b)(b(b)(x1)))) -> a(b)(b(a)(a(c)(c(b)(x1)))) 84.10/21.71 a(a)(a(b)(b(b)(b(a)(x1)))) -> a(b)(b(a)(a(c)(c(a)(x1)))) 84.10/21.71 Subterm Criterion Processor: 84.10/21.71 simple projection: 84.10/21.71 pi(c(c)) = [0,0] 84.10/21.71 pi(c(b)) = [0,0] 84.10/21.71 pi(b(c)) = [0,0] 84.10/21.71 pi(b(b)) = [0,0] 84.10/21.71 pi(b(a)) = [0,0] 84.10/21.71 pi(a(c)) = [0,0] 84.10/21.71 pi(a(b)) = [0,0] 84.10/21.71 pi(c(a)) = [0,0] 84.10/21.71 pi(a(a)) = [0,0] 84.10/21.71 pi(c{(c),#}) = [0,0] 84.10/21.71 pi(c{(b),#}) = [0,0] 84.10/21.71 pi(b{(c),#}) = [0,0,0] 84.10/21.71 pi(a{(c),#}) = 0 84.10/21.71 pi(a{(a),#}) = 0 84.10/21.71 pi(b{(a),#}) = [0,0] 84.10/21.71 pi(c{(a),#}) = [0,0] 84.10/21.71 problem: 84.10/21.71 DPs: 84.10/21.71 a{(a),#}(a(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(c)(c(a)(x1))) 84.10/21.71 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(a(b)(b(a)(x1)))) 84.10/21.72 c{(b),#}(b(c)(c(a)(x1))) -> c{(c),#}(c(b)(b(a)(x1))) 84.10/21.72 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> c{(a),#}(a(a)(a(b)(b(a)(x1)))) 84.10/21.72 a{(a),#}(a(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(c)(c(b)(x1))) 84.10/21.72 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(a)(a(b)(b(b)(x1)))) 84.10/21.72 c{(b),#}(b(c)(c(c)(x1))) -> c{(c),#}(c(b)(b(c)(x1))) 84.10/21.72 a{(a),#}(a(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(c(c)(x1))) 84.10/21.72 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(a)(a(b)(b(c)(x1)))) 84.10/21.72 a{(c),#}(c(a)(a(c)(c(a)(x1)))) -> b{(a),#}(a(a)(a(a)(x1))) 84.10/21.72 a{(c),#}(c(a)(a(c)(c(b)(x1)))) -> b{(a),#}(a(a)(a(b)(x1))) 84.10/21.72 a{(c),#}(c(a)(a(c)(c(c)(x1)))) -> b{(a),#}(a(a)(a(c)(x1))) 84.10/21.72 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> c{(a),#}(a(a)(a(b)(b(b)(x1)))) 84.10/21.72 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> c{(a),#}(a(a)(a(b)(b(c)(x1)))) 84.10/21.72 TRS: 84.10/21.72 c(c)(c(c)(c(b)(b(c)(x1)))) -> c(b)(b(b)(b(b)(b(c)(x1)))) 84.10/21.72 c(c)(c(c)(c(b)(b(b)(x1)))) -> c(b)(b(b)(b(b)(b(b)(x1)))) 84.10/21.72 c(c)(c(c)(c(b)(b(a)(x1)))) -> c(b)(b(b)(b(b)(b(a)(x1)))) 84.10/21.72 b(c)(c(c)(c(b)(b(c)(x1)))) -> b(b)(b(b)(b(b)(b(c)(x1)))) 84.10/21.72 b(c)(c(c)(c(b)(b(b)(x1)))) -> b(b)(b(b)(b(b)(b(b)(x1)))) 84.10/21.72 b(c)(c(c)(c(b)(b(a)(x1)))) -> b(b)(b(b)(b(b)(b(a)(x1)))) 84.10/21.72 a(c)(c(c)(c(b)(b(c)(x1)))) -> a(b)(b(b)(b(b)(b(c)(x1)))) 84.10/21.72 a(c)(c(c)(c(b)(b(b)(x1)))) -> a(b)(b(b)(b(b)(b(b)(x1)))) 84.10/21.72 a(c)(c(c)(c(b)(b(a)(x1)))) -> a(b)(b(b)(b(b)(b(a)(x1)))) 84.10/21.72 c(c)(c(a)(a(c)(c(c)(x1)))) -> c(b)(b(a)(a(a)(a(c)(x1)))) 84.10/21.72 c(c)(c(a)(a(c)(c(b)(x1)))) -> c(b)(b(a)(a(a)(a(b)(x1)))) 84.10/21.72 c(c)(c(a)(a(c)(c(a)(x1)))) -> c(b)(b(a)(a(a)(a(a)(x1)))) 84.10/21.72 b(c)(c(a)(a(c)(c(c)(x1)))) -> b(b)(b(a)(a(a)(a(c)(x1)))) 84.10/21.72 b(c)(c(a)(a(c)(c(b)(x1)))) -> b(b)(b(a)(a(a)(a(b)(x1)))) 84.10/21.72 b(c)(c(a)(a(c)(c(a)(x1)))) -> b(b)(b(a)(a(a)(a(a)(x1)))) 84.10/21.72 a(c)(c(a)(a(c)(c(c)(x1)))) -> a(b)(b(a)(a(a)(a(c)(x1)))) 84.10/21.72 a(c)(c(a)(a(c)(c(b)(x1)))) -> a(b)(b(a)(a(a)(a(b)(x1)))) 84.10/21.72 a(c)(c(a)(a(c)(c(a)(x1)))) -> a(b)(b(a)(a(a)(a(a)(x1)))) 84.10/21.72 c(c)(c(c)(c(c)(c(c)(x1)))) -> c(a)(a(a)(a(b)(b(c)(x1)))) 84.10/21.72 c(c)(c(c)(c(c)(c(b)(x1)))) -> c(a)(a(a)(a(b)(b(b)(x1)))) 84.10/21.72 c(c)(c(c)(c(c)(c(a)(x1)))) -> c(a)(a(a)(a(b)(b(a)(x1)))) 84.10/21.72 b(c)(c(c)(c(c)(c(c)(x1)))) -> b(a)(a(a)(a(b)(b(c)(x1)))) 84.10/21.72 b(c)(c(c)(c(c)(c(b)(x1)))) -> b(a)(a(a)(a(b)(b(b)(x1)))) 84.10/21.72 b(c)(c(c)(c(c)(c(a)(x1)))) -> b(a)(a(a)(a(b)(b(a)(x1)))) 84.10/21.72 a(c)(c(c)(c(c)(c(c)(x1)))) -> a(a)(a(a)(a(b)(b(c)(x1)))) 84.10/21.72 a(c)(c(c)(c(c)(c(b)(x1)))) -> a(a)(a(a)(a(b)(b(b)(x1)))) 84.10/21.72 a(c)(c(c)(c(c)(c(a)(x1)))) -> a(a)(a(a)(a(b)(b(a)(x1)))) 84.10/21.72 c(b)(b(c)(c(c)(x1))) -> c(b)(b(b)(b(c)(x1))) 84.10/21.72 c(b)(b(c)(c(b)(x1))) -> c(b)(b(b)(b(b)(x1))) 84.10/21.72 c(b)(b(c)(c(a)(x1))) -> c(b)(b(b)(b(a)(x1))) 84.10/21.72 c(c)(c(a)(a(c)(c(c)(x1)))) -> c(b)(b(b)(b(c)(c(c)(x1)))) 84.10/21.72 c(c)(c(a)(a(c)(c(b)(x1)))) -> c(b)(b(b)(b(c)(c(b)(x1)))) 84.10/21.72 c(c)(c(a)(a(c)(c(a)(x1)))) -> c(b)(b(b)(b(c)(c(a)(x1)))) 84.10/21.72 b(c)(c(a)(a(c)(c(c)(x1)))) -> b(b)(b(b)(b(c)(c(c)(x1)))) 84.10/21.72 b(c)(c(a)(a(c)(c(b)(x1)))) -> b(b)(b(b)(b(c)(c(b)(x1)))) 84.10/21.72 b(c)(c(a)(a(c)(c(a)(x1)))) -> b(b)(b(b)(b(c)(c(a)(x1)))) 84.10/21.72 a(c)(c(a)(a(c)(c(c)(x1)))) -> a(b)(b(b)(b(c)(c(c)(x1)))) 84.10/21.72 a(c)(c(a)(a(c)(c(b)(x1)))) -> a(b)(b(b)(b(c)(c(b)(x1)))) 84.10/21.72 a(c)(c(a)(a(c)(c(a)(x1)))) -> a(b)(b(b)(b(c)(c(a)(x1)))) 84.10/21.72 c(b)(b(c)(c(c)(x1))) -> c(c)(c(b)(b(c)(x1))) 84.10/21.72 c(b)(b(c)(c(b)(x1))) -> c(c)(c(b)(b(b)(x1))) 84.10/21.72 c(b)(b(c)(c(a)(x1))) -> c(c)(c(b)(b(a)(x1))) 84.10/21.72 c(a)(a(b)(b(b)(b(c)(x1)))) -> c(b)(b(a)(a(c)(c(c)(x1)))) 84.10/21.72 c(a)(a(b)(b(b)(b(b)(x1)))) -> c(b)(b(a)(a(c)(c(b)(x1)))) 84.10/21.72 c(a)(a(b)(b(b)(b(a)(x1)))) -> c(b)(b(a)(a(c)(c(a)(x1)))) 84.10/21.72 b(a)(a(b)(b(b)(b(c)(x1)))) -> b(b)(b(a)(a(c)(c(c)(x1)))) 84.10/21.72 b(a)(a(b)(b(b)(b(b)(x1)))) -> b(b)(b(a)(a(c)(c(b)(x1)))) 84.10/21.72 b(a)(a(b)(b(b)(b(a)(x1)))) -> b(b)(b(a)(a(c)(c(a)(x1)))) 84.10/21.72 a(a)(a(b)(b(b)(b(c)(x1)))) -> a(b)(b(a)(a(c)(c(c)(x1)))) 84.10/21.72 a(a)(a(b)(b(b)(b(b)(x1)))) -> a(b)(b(a)(a(c)(c(b)(x1)))) 84.10/21.72 a(a)(a(b)(b(b)(b(a)(x1)))) -> a(b)(b(a)(a(c)(c(a)(x1)))) 84.10/21.72 SCC Processor: 84.10/21.72 #sccs: 0 84.10/21.72 #rules: 0 84.10/21.72 #arcs: 931/196 84.10/21.72 84.10/21.72 EOF