106.08/27.45 YES 106.44/27.46 106.44/27.46 Problem: 106.44/27.46 strict: 106.44/27.46 c(a(a(x1))) -> a(c(a(x1))) 106.44/27.46 weak: 106.44/27.46 a(b(a(x1))) -> b(c(c(x1))) 106.44/27.46 a(b(b(x1))) -> b(b(a(x1))) 106.44/27.46 a(b(c(x1))) -> a(a(a(x1))) 106.44/27.46 a(c(a(x1))) -> b(b(b(x1))) 106.44/27.46 a(b(b(x1))) -> c(c(b(x1))) 106.44/27.46 106.44/27.46 Proof: 106.44/27.46 Root-Labeling Processor: 106.44/27.46 strict: 106.44/27.46 c(c)(c(a)(a(a)(a(c)(x1)))) -> c(a)(a(c)(c(a)(a(c)(x1)))) 106.44/27.46 c(c)(c(a)(a(a)(a(a)(x1)))) -> c(a)(a(c)(c(a)(a(a)(x1)))) 106.44/27.46 c(c)(c(a)(a(a)(a(b)(x1)))) -> c(a)(a(c)(c(a)(a(b)(x1)))) 106.44/27.46 a(c)(c(a)(a(a)(a(c)(x1)))) -> a(a)(a(c)(c(a)(a(c)(x1)))) 106.44/27.46 a(c)(c(a)(a(a)(a(a)(x1)))) -> a(a)(a(c)(c(a)(a(a)(x1)))) 106.44/27.46 a(c)(c(a)(a(a)(a(b)(x1)))) -> a(a)(a(c)(c(a)(a(b)(x1)))) 106.44/27.46 b(c)(c(a)(a(a)(a(c)(x1)))) -> b(a)(a(c)(c(a)(a(c)(x1)))) 106.44/27.46 b(c)(c(a)(a(a)(a(a)(x1)))) -> b(a)(a(c)(c(a)(a(a)(x1)))) 106.44/27.46 b(c)(c(a)(a(a)(a(b)(x1)))) -> b(a)(a(c)(c(a)(a(b)(x1)))) 106.44/27.46 weak: 106.44/27.46 c(a)(a(b)(b(a)(a(c)(x1)))) -> c(b)(b(c)(c(c)(c(c)(x1)))) 106.44/27.46 c(a)(a(b)(b(a)(a(a)(x1)))) -> c(b)(b(c)(c(c)(c(a)(x1)))) 106.44/27.46 c(a)(a(b)(b(a)(a(b)(x1)))) -> c(b)(b(c)(c(c)(c(b)(x1)))) 106.44/27.46 a(a)(a(b)(b(a)(a(c)(x1)))) -> a(b)(b(c)(c(c)(c(c)(x1)))) 106.44/27.46 a(a)(a(b)(b(a)(a(a)(x1)))) -> a(b)(b(c)(c(c)(c(a)(x1)))) 106.44/27.46 a(a)(a(b)(b(a)(a(b)(x1)))) -> a(b)(b(c)(c(c)(c(b)(x1)))) 106.44/27.46 b(a)(a(b)(b(a)(a(c)(x1)))) -> b(b)(b(c)(c(c)(c(c)(x1)))) 106.44/27.46 b(a)(a(b)(b(a)(a(a)(x1)))) -> b(b)(b(c)(c(c)(c(a)(x1)))) 106.44/27.46 b(a)(a(b)(b(a)(a(b)(x1)))) -> b(b)(b(c)(c(c)(c(b)(x1)))) 106.44/27.46 c(a)(a(b)(b(b)(b(c)(x1)))) -> c(b)(b(b)(b(a)(a(c)(x1)))) 106.44/27.46 c(a)(a(b)(b(b)(b(a)(x1)))) -> c(b)(b(b)(b(a)(a(a)(x1)))) 106.44/27.46 c(a)(a(b)(b(b)(b(b)(x1)))) -> c(b)(b(b)(b(a)(a(b)(x1)))) 106.44/27.46 a(a)(a(b)(b(b)(b(c)(x1)))) -> a(b)(b(b)(b(a)(a(c)(x1)))) 106.44/27.46 a(a)(a(b)(b(b)(b(a)(x1)))) -> a(b)(b(b)(b(a)(a(a)(x1)))) 106.44/27.46 a(a)(a(b)(b(b)(b(b)(x1)))) -> a(b)(b(b)(b(a)(a(b)(x1)))) 106.44/27.46 b(a)(a(b)(b(b)(b(c)(x1)))) -> b(b)(b(b)(b(a)(a(c)(x1)))) 106.44/27.46 b(a)(a(b)(b(b)(b(a)(x1)))) -> b(b)(b(b)(b(a)(a(a)(x1)))) 106.44/27.46 b(a)(a(b)(b(b)(b(b)(x1)))) -> b(b)(b(b)(b(a)(a(b)(x1)))) 106.44/27.46 a(b)(b(c)(c(c)(x1))) -> a(a)(a(a)(a(c)(x1))) 106.44/27.46 a(b)(b(c)(c(a)(x1))) -> a(a)(a(a)(a(a)(x1))) 106.44/27.46 a(b)(b(c)(c(b)(x1))) -> a(a)(a(a)(a(b)(x1))) 106.44/27.46 c(a)(a(c)(c(a)(a(c)(x1)))) -> c(b)(b(b)(b(b)(b(c)(x1)))) 106.44/27.46 c(a)(a(c)(c(a)(a(a)(x1)))) -> c(b)(b(b)(b(b)(b(a)(x1)))) 106.44/27.46 c(a)(a(c)(c(a)(a(b)(x1)))) -> c(b)(b(b)(b(b)(b(b)(x1)))) 106.44/27.46 a(a)(a(c)(c(a)(a(c)(x1)))) -> a(b)(b(b)(b(b)(b(c)(x1)))) 106.44/27.46 a(a)(a(c)(c(a)(a(a)(x1)))) -> a(b)(b(b)(b(b)(b(a)(x1)))) 106.44/27.46 a(a)(a(c)(c(a)(a(b)(x1)))) -> a(b)(b(b)(b(b)(b(b)(x1)))) 106.44/27.46 b(a)(a(c)(c(a)(a(c)(x1)))) -> b(b)(b(b)(b(b)(b(c)(x1)))) 106.44/27.46 b(a)(a(c)(c(a)(a(a)(x1)))) -> b(b)(b(b)(b(b)(b(a)(x1)))) 106.44/27.46 b(a)(a(c)(c(a)(a(b)(x1)))) -> b(b)(b(b)(b(b)(b(b)(x1)))) 106.44/27.46 c(a)(a(b)(b(b)(b(c)(x1)))) -> c(c)(c(c)(c(b)(b(c)(x1)))) 106.44/27.46 c(a)(a(b)(b(b)(b(a)(x1)))) -> c(c)(c(c)(c(b)(b(a)(x1)))) 106.44/27.46 c(a)(a(b)(b(b)(b(b)(x1)))) -> c(c)(c(c)(c(b)(b(b)(x1)))) 106.44/27.46 a(a)(a(b)(b(b)(b(c)(x1)))) -> a(c)(c(c)(c(b)(b(c)(x1)))) 106.44/27.46 a(a)(a(b)(b(b)(b(a)(x1)))) -> a(c)(c(c)(c(b)(b(a)(x1)))) 106.44/27.46 a(a)(a(b)(b(b)(b(b)(x1)))) -> a(c)(c(c)(c(b)(b(b)(x1)))) 106.44/27.46 b(a)(a(b)(b(b)(b(c)(x1)))) -> b(c)(c(c)(c(b)(b(c)(x1)))) 106.44/27.46 b(a)(a(b)(b(b)(b(a)(x1)))) -> b(c)(c(c)(c(b)(b(a)(x1)))) 106.44/27.46 b(a)(a(b)(b(b)(b(b)(x1)))) -> b(c)(c(c)(c(b)(b(b)(x1)))) 106.44/27.46 RT Transformation Processor: 106.44/27.46 c(c)(c(a)(a(a)(a(c)(x1)))) -> c(a)(a(c)(c(a)(a(c)(x1)))) 106.44/27.46 c(c)(c(a)(a(a)(a(a)(x1)))) -> c(a)(a(c)(c(a)(a(a)(x1)))) 106.44/27.46 c(c)(c(a)(a(a)(a(b)(x1)))) -> c(a)(a(c)(c(a)(a(b)(x1)))) 106.44/27.46 a(c)(c(a)(a(a)(a(c)(x1)))) -> a(a)(a(c)(c(a)(a(c)(x1)))) 106.44/27.46 a(c)(c(a)(a(a)(a(a)(x1)))) -> a(a)(a(c)(c(a)(a(a)(x1)))) 106.44/27.46 a(c)(c(a)(a(a)(a(b)(x1)))) -> a(a)(a(c)(c(a)(a(b)(x1)))) 106.44/27.46 b(c)(c(a)(a(a)(a(c)(x1)))) -> b(a)(a(c)(c(a)(a(c)(x1)))) 106.44/27.46 b(c)(c(a)(a(a)(a(a)(x1)))) -> b(a)(a(c)(c(a)(a(a)(x1)))) 106.44/27.46 b(c)(c(a)(a(a)(a(b)(x1)))) -> b(a)(a(c)(c(a)(a(b)(x1)))) 106.44/27.46 c(a)(a(b)(b(a)(a(c)(x1)))) -> c(b)(b(c)(c(c)(c(c)(x1)))) 106.44/27.46 c(a)(a(b)(b(a)(a(a)(x1)))) -> c(b)(b(c)(c(c)(c(a)(x1)))) 106.44/27.46 c(a)(a(b)(b(a)(a(b)(x1)))) -> c(b)(b(c)(c(c)(c(b)(x1)))) 106.44/27.46 a(a)(a(b)(b(a)(a(c)(x1)))) -> a(b)(b(c)(c(c)(c(c)(x1)))) 106.44/27.46 a(a)(a(b)(b(a)(a(a)(x1)))) -> a(b)(b(c)(c(c)(c(a)(x1)))) 106.44/27.46 a(a)(a(b)(b(a)(a(b)(x1)))) -> a(b)(b(c)(c(c)(c(b)(x1)))) 106.44/27.46 b(a)(a(b)(b(a)(a(c)(x1)))) -> b(b)(b(c)(c(c)(c(c)(x1)))) 106.44/27.46 b(a)(a(b)(b(a)(a(a)(x1)))) -> b(b)(b(c)(c(c)(c(a)(x1)))) 106.44/27.47 b(a)(a(b)(b(a)(a(b)(x1)))) -> b(b)(b(c)(c(c)(c(b)(x1)))) 106.44/27.47 c(a)(a(b)(b(b)(b(c)(x1)))) -> c(b)(b(b)(b(a)(a(c)(x1)))) 106.44/27.47 c(a)(a(b)(b(b)(b(a)(x1)))) -> c(b)(b(b)(b(a)(a(a)(x1)))) 106.44/27.47 c(a)(a(b)(b(b)(b(b)(x1)))) -> c(b)(b(b)(b(a)(a(b)(x1)))) 106.44/27.47 a(a)(a(b)(b(b)(b(c)(x1)))) -> a(b)(b(b)(b(a)(a(c)(x1)))) 106.44/27.47 a(a)(a(b)(b(b)(b(a)(x1)))) -> a(b)(b(b)(b(a)(a(a)(x1)))) 106.44/27.47 a(a)(a(b)(b(b)(b(b)(x1)))) -> a(b)(b(b)(b(a)(a(b)(x1)))) 106.44/27.47 b(a)(a(b)(b(b)(b(c)(x1)))) -> b(b)(b(b)(b(a)(a(c)(x1)))) 106.44/27.47 b(a)(a(b)(b(b)(b(a)(x1)))) -> b(b)(b(b)(b(a)(a(a)(x1)))) 106.44/27.47 b(a)(a(b)(b(b)(b(b)(x1)))) -> b(b)(b(b)(b(a)(a(b)(x1)))) 106.44/27.47 a(b)(b(c)(c(c)(x1))) -> a(a)(a(a)(a(c)(x1))) 106.44/27.47 a(b)(b(c)(c(a)(x1))) -> a(a)(a(a)(a(a)(x1))) 106.44/27.47 a(b)(b(c)(c(b)(x1))) -> a(a)(a(a)(a(b)(x1))) 106.44/27.47 c(a)(a(c)(c(a)(a(c)(x1)))) -> c(b)(b(b)(b(b)(b(c)(x1)))) 106.44/27.47 c(a)(a(c)(c(a)(a(a)(x1)))) -> c(b)(b(b)(b(b)(b(a)(x1)))) 106.44/27.47 c(a)(a(c)(c(a)(a(b)(x1)))) -> c(b)(b(b)(b(b)(b(b)(x1)))) 106.44/27.47 a(a)(a(c)(c(a)(a(c)(x1)))) -> a(b)(b(b)(b(b)(b(c)(x1)))) 106.44/27.47 a(a)(a(c)(c(a)(a(a)(x1)))) -> a(b)(b(b)(b(b)(b(a)(x1)))) 106.44/27.47 a(a)(a(c)(c(a)(a(b)(x1)))) -> a(b)(b(b)(b(b)(b(b)(x1)))) 106.44/27.47 b(a)(a(c)(c(a)(a(c)(x1)))) -> b(b)(b(b)(b(b)(b(c)(x1)))) 106.44/27.47 b(a)(a(c)(c(a)(a(a)(x1)))) -> b(b)(b(b)(b(b)(b(a)(x1)))) 106.44/27.47 b(a)(a(c)(c(a)(a(b)(x1)))) -> b(b)(b(b)(b(b)(b(b)(x1)))) 106.44/27.47 c(a)(a(b)(b(b)(b(c)(x1)))) -> c(c)(c(c)(c(b)(b(c)(x1)))) 106.44/27.47 c(a)(a(b)(b(b)(b(a)(x1)))) -> c(c)(c(c)(c(b)(b(a)(x1)))) 106.44/27.47 c(a)(a(b)(b(b)(b(b)(x1)))) -> c(c)(c(c)(c(b)(b(b)(x1)))) 106.44/27.47 a(a)(a(b)(b(b)(b(c)(x1)))) -> a(c)(c(c)(c(b)(b(c)(x1)))) 106.44/27.47 a(a)(a(b)(b(b)(b(a)(x1)))) -> a(c)(c(c)(c(b)(b(a)(x1)))) 106.44/27.47 a(a)(a(b)(b(b)(b(b)(x1)))) -> a(c)(c(c)(c(b)(b(b)(x1)))) 106.44/27.47 b(a)(a(b)(b(b)(b(c)(x1)))) -> b(c)(c(c)(c(b)(b(c)(x1)))) 106.44/27.47 b(a)(a(b)(b(b)(b(a)(x1)))) -> b(c)(c(c)(c(b)(b(a)(x1)))) 106.44/27.47 b(a)(a(b)(b(b)(b(b)(x1)))) -> b(c)(c(c)(c(b)(b(b)(x1)))) 106.44/27.47 DP Processor: 106.44/27.47 DPs: 106.44/27.47 c{(c),#}(c(a)(a(a)(a(c)(x1)))) -> c{(a),#}(a(c)(x1)) 106.44/27.47 c{(c),#}(c(a)(a(a)(a(c)(x1)))) -> a{(c),#}(c(a)(a(c)(x1))) 106.44/27.47 c{(c),#}(c(a)(a(a)(a(c)(x1)))) -> c{(a),#}(a(c)(c(a)(a(c)(x1)))) 106.44/27.47 c{(c),#}(c(a)(a(a)(a(a)(x1)))) -> c{(a),#}(a(a)(x1)) 106.44/27.47 c{(c),#}(c(a)(a(a)(a(a)(x1)))) -> a{(c),#}(c(a)(a(a)(x1))) 106.44/27.47 c{(c),#}(c(a)(a(a)(a(a)(x1)))) -> c{(a),#}(a(c)(c(a)(a(a)(x1)))) 106.44/27.47 c{(c),#}(c(a)(a(a)(a(b)(x1)))) -> c{(a),#}(a(b)(x1)) 106.44/27.47 c{(c),#}(c(a)(a(a)(a(b)(x1)))) -> a{(c),#}(c(a)(a(b)(x1))) 106.44/27.47 c{(c),#}(c(a)(a(a)(a(b)(x1)))) -> c{(a),#}(a(c)(c(a)(a(b)(x1)))) 106.44/27.47 a{(c),#}(c(a)(a(a)(a(c)(x1)))) -> c{(a),#}(a(c)(x1)) 106.44/27.47 a{(c),#}(c(a)(a(a)(a(c)(x1)))) -> a{(c),#}(c(a)(a(c)(x1))) 106.44/27.47 a{(c),#}(c(a)(a(a)(a(c)(x1)))) -> a{(a),#}(a(c)(c(a)(a(c)(x1)))) 106.44/27.47 a{(c),#}(c(a)(a(a)(a(a)(x1)))) -> c{(a),#}(a(a)(x1)) 106.44/27.47 a{(c),#}(c(a)(a(a)(a(a)(x1)))) -> a{(c),#}(c(a)(a(a)(x1))) 106.44/27.47 a{(c),#}(c(a)(a(a)(a(a)(x1)))) -> a{(a),#}(a(c)(c(a)(a(a)(x1)))) 106.44/27.47 a{(c),#}(c(a)(a(a)(a(b)(x1)))) -> c{(a),#}(a(b)(x1)) 106.44/27.47 a{(c),#}(c(a)(a(a)(a(b)(x1)))) -> a{(c),#}(c(a)(a(b)(x1))) 106.44/27.47 a{(c),#}(c(a)(a(a)(a(b)(x1)))) -> a{(a),#}(a(c)(c(a)(a(b)(x1)))) 106.44/27.47 b{(c),#}(c(a)(a(a)(a(c)(x1)))) -> c{(a),#}(a(c)(x1)) 106.44/27.47 b{(c),#}(c(a)(a(a)(a(c)(x1)))) -> a{(c),#}(c(a)(a(c)(x1))) 106.44/27.47 b{(c),#}(c(a)(a(a)(a(c)(x1)))) -> b{(a),#}(a(c)(c(a)(a(c)(x1)))) 106.44/27.47 b{(c),#}(c(a)(a(a)(a(a)(x1)))) -> c{(a),#}(a(a)(x1)) 106.44/27.47 b{(c),#}(c(a)(a(a)(a(a)(x1)))) -> a{(c),#}(c(a)(a(a)(x1))) 106.44/27.47 b{(c),#}(c(a)(a(a)(a(a)(x1)))) -> b{(a),#}(a(c)(c(a)(a(a)(x1)))) 106.44/27.47 b{(c),#}(c(a)(a(a)(a(b)(x1)))) -> c{(a),#}(a(b)(x1)) 106.44/27.47 b{(c),#}(c(a)(a(a)(a(b)(x1)))) -> a{(c),#}(c(a)(a(b)(x1))) 106.44/27.47 b{(c),#}(c(a)(a(a)(a(b)(x1)))) -> b{(a),#}(a(c)(c(a)(a(b)(x1)))) 106.44/27.47 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 106.44/27.47 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 106.44/27.47 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> b{(c),#}(c(c)(c(c)(x1))) 106.44/27.47 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 106.44/27.47 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 106.44/27.47 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> b{(c),#}(c(c)(c(a)(x1))) 106.44/27.47 c{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 106.44/27.47 c{(a),#}(a(b)(b(a)(a(b)(x1)))) -> b{(c),#}(c(c)(c(b)(x1))) 106.44/27.48 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 106.44/27.48 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 106.44/27.48 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> b{(c),#}(c(c)(c(c)(x1))) 106.44/27.48 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> a{(b),#}(b(c)(c(c)(c(c)(x1)))) 106.44/27.48 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 106.44/27.48 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 106.44/27.48 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> b{(c),#}(c(c)(c(a)(x1))) 106.44/27.48 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> a{(b),#}(b(c)(c(c)(c(a)(x1)))) 106.44/27.48 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 106.44/27.48 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> b{(c),#}(c(c)(c(b)(x1))) 106.44/27.48 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> a{(b),#}(b(c)(c(c)(c(b)(x1)))) 106.44/27.48 b{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 106.44/27.48 b{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 106.44/27.48 b{(a),#}(a(b)(b(a)(a(c)(x1)))) -> b{(c),#}(c(c)(c(c)(x1))) 106.44/27.48 b{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 106.44/27.48 b{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 106.44/27.48 b{(a),#}(a(b)(b(a)(a(a)(x1)))) -> b{(c),#}(c(c)(c(a)(x1))) 106.44/27.48 b{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 106.44/27.48 b{(a),#}(a(b)(b(a)(a(b)(x1)))) -> b{(c),#}(c(c)(c(b)(x1))) 106.44/27.48 c{(a),#}(a(b)(b(b)(b(c)(x1)))) -> a{(c),#}(x1) 106.44/27.48 c{(a),#}(a(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(x1)) 106.44/27.48 c{(a),#}(a(b)(b(b)(b(a)(x1)))) -> a{(a),#}(x1) 106.44/27.48 c{(a),#}(a(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(a)(x1)) 106.44/27.48 c{(a),#}(a(b)(b(b)(b(b)(x1)))) -> a{(b),#}(x1) 106.44/27.48 c{(a),#}(a(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(b)(x1)) 106.44/27.48 a{(a),#}(a(b)(b(b)(b(c)(x1)))) -> a{(c),#}(x1) 106.44/27.48 a{(a),#}(a(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(x1)) 106.44/27.48 a{(a),#}(a(b)(b(b)(b(c)(x1)))) -> a{(b),#}(b(b)(b(a)(a(c)(x1)))) 106.44/27.48 a{(a),#}(a(b)(b(b)(b(a)(x1)))) -> a{(a),#}(x1) 106.44/27.48 a{(a),#}(a(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(a)(x1)) 106.44/27.48 a{(a),#}(a(b)(b(b)(b(a)(x1)))) -> a{(b),#}(b(b)(b(a)(a(a)(x1)))) 106.44/27.48 a{(a),#}(a(b)(b(b)(b(b)(x1)))) -> a{(b),#}(x1) 106.44/27.48 a{(a),#}(a(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(b)(x1)) 106.44/27.48 a{(a),#}(a(b)(b(b)(b(b)(x1)))) -> a{(b),#}(b(b)(b(a)(a(b)(x1)))) 106.44/27.48 b{(a),#}(a(b)(b(b)(b(c)(x1)))) -> a{(c),#}(x1) 106.44/27.48 b{(a),#}(a(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(x1)) 106.44/27.48 b{(a),#}(a(b)(b(b)(b(a)(x1)))) -> a{(a),#}(x1) 106.44/27.48 b{(a),#}(a(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(a)(x1)) 106.44/27.48 b{(a),#}(a(b)(b(b)(b(b)(x1)))) -> a{(b),#}(x1) 106.44/27.48 b{(a),#}(a(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(b)(x1)) 106.44/27.48 a{(b),#}(b(c)(c(c)(x1))) -> a{(c),#}(x1) 106.44/27.48 a{(b),#}(b(c)(c(c)(x1))) -> a{(a),#}(a(c)(x1)) 106.44/27.48 a{(b),#}(b(c)(c(c)(x1))) -> a{(a),#}(a(a)(a(c)(x1))) 106.44/27.48 a{(b),#}(b(c)(c(a)(x1))) -> a{(a),#}(x1) 106.44/27.48 a{(b),#}(b(c)(c(a)(x1))) -> a{(a),#}(a(a)(x1)) 106.44/27.48 a{(b),#}(b(c)(c(a)(x1))) -> a{(a),#}(a(a)(a(a)(x1))) 106.44/27.48 a{(b),#}(b(c)(c(b)(x1))) -> a{(b),#}(x1) 106.44/27.48 a{(b),#}(b(c)(c(b)(x1))) -> a{(a),#}(a(b)(x1)) 106.44/27.48 a{(b),#}(b(c)(c(b)(x1))) -> a{(a),#}(a(a)(a(b)(x1))) 106.44/27.48 c{(a),#}(a(c)(c(a)(a(c)(x1)))) -> b{(c),#}(x1) 106.44/27.48 c{(a),#}(a(c)(c(a)(a(a)(x1)))) -> b{(a),#}(x1) 106.44/27.48 a{(a),#}(a(c)(c(a)(a(c)(x1)))) -> b{(c),#}(x1) 106.44/27.48 a{(a),#}(a(c)(c(a)(a(c)(x1)))) -> a{(b),#}(b(b)(b(b)(b(c)(x1)))) 106.44/27.48 a{(a),#}(a(c)(c(a)(a(a)(x1)))) -> b{(a),#}(x1) 106.46/27.48 a{(a),#}(a(c)(c(a)(a(a)(x1)))) -> a{(b),#}(b(b)(b(b)(b(a)(x1)))) 106.46/27.48 a{(a),#}(a(c)(c(a)(a(b)(x1)))) -> a{(b),#}(b(b)(b(b)(b(b)(x1)))) 106.46/27.48 b{(a),#}(a(c)(c(a)(a(c)(x1)))) -> b{(c),#}(x1) 106.46/27.48 b{(a),#}(a(c)(c(a)(a(a)(x1)))) -> b{(a),#}(x1) 106.46/27.48 c{(a),#}(a(b)(b(b)(b(c)(x1)))) -> c{(c),#}(c(b)(b(c)(x1))) 106.46/27.48 c{(a),#}(a(b)(b(b)(b(c)(x1)))) -> c{(c),#}(c(c)(c(b)(b(c)(x1)))) 106.46/27.48 c{(a),#}(a(b)(b(b)(b(a)(x1)))) -> c{(c),#}(c(b)(b(a)(x1))) 106.46/27.48 c{(a),#}(a(b)(b(b)(b(a)(x1)))) -> c{(c),#}(c(c)(c(b)(b(a)(x1)))) 106.46/27.48 c{(a),#}(a(b)(b(b)(b(b)(x1)))) -> c{(c),#}(c(b)(b(b)(x1))) 106.46/27.48 c{(a),#}(a(b)(b(b)(b(b)(x1)))) -> c{(c),#}(c(c)(c(b)(b(b)(x1)))) 106.46/27.48 a{(a),#}(a(b)(b(b)(b(c)(x1)))) -> c{(c),#}(c(b)(b(c)(x1))) 106.46/27.48 a{(a),#}(a(b)(b(b)(b(c)(x1)))) -> a{(c),#}(c(c)(c(b)(b(c)(x1)))) 106.46/27.48 a{(a),#}(a(b)(b(b)(b(a)(x1)))) -> c{(c),#}(c(b)(b(a)(x1))) 106.46/27.48 a{(a),#}(a(b)(b(b)(b(a)(x1)))) -> a{(c),#}(c(c)(c(b)(b(a)(x1)))) 106.46/27.48 a{(a),#}(a(b)(b(b)(b(b)(x1)))) -> c{(c),#}(c(b)(b(b)(x1))) 106.46/27.48 a{(a),#}(a(b)(b(b)(b(b)(x1)))) -> a{(c),#}(c(c)(c(b)(b(b)(x1)))) 106.46/27.49 b{(a),#}(a(b)(b(b)(b(c)(x1)))) -> c{(c),#}(c(b)(b(c)(x1))) 106.46/27.49 b{(a),#}(a(b)(b(b)(b(c)(x1)))) -> b{(c),#}(c(c)(c(b)(b(c)(x1)))) 106.46/27.49 b{(a),#}(a(b)(b(b)(b(a)(x1)))) -> c{(c),#}(c(b)(b(a)(x1))) 106.46/27.49 b{(a),#}(a(b)(b(b)(b(a)(x1)))) -> b{(c),#}(c(c)(c(b)(b(a)(x1)))) 106.46/27.49 b{(a),#}(a(b)(b(b)(b(b)(x1)))) -> c{(c),#}(c(b)(b(b)(x1))) 106.46/27.49 b{(a),#}(a(b)(b(b)(b(b)(x1)))) -> b{(c),#}(c(c)(c(b)(b(b)(x1)))) 106.46/27.49 TRS: 106.46/27.49 c(c)(c(a)(a(a)(a(c)(x1)))) -> c(a)(a(c)(c(a)(a(c)(x1)))) 106.46/27.49 c(c)(c(a)(a(a)(a(a)(x1)))) -> c(a)(a(c)(c(a)(a(a)(x1)))) 106.46/27.49 c(c)(c(a)(a(a)(a(b)(x1)))) -> c(a)(a(c)(c(a)(a(b)(x1)))) 106.46/27.49 a(c)(c(a)(a(a)(a(c)(x1)))) -> a(a)(a(c)(c(a)(a(c)(x1)))) 106.46/27.49 a(c)(c(a)(a(a)(a(a)(x1)))) -> a(a)(a(c)(c(a)(a(a)(x1)))) 106.46/27.49 a(c)(c(a)(a(a)(a(b)(x1)))) -> a(a)(a(c)(c(a)(a(b)(x1)))) 106.46/27.49 b(c)(c(a)(a(a)(a(c)(x1)))) -> b(a)(a(c)(c(a)(a(c)(x1)))) 106.46/27.49 b(c)(c(a)(a(a)(a(a)(x1)))) -> b(a)(a(c)(c(a)(a(a)(x1)))) 106.46/27.49 b(c)(c(a)(a(a)(a(b)(x1)))) -> b(a)(a(c)(c(a)(a(b)(x1)))) 106.46/27.49 c(a)(a(b)(b(a)(a(c)(x1)))) -> c(b)(b(c)(c(c)(c(c)(x1)))) 106.46/27.49 c(a)(a(b)(b(a)(a(a)(x1)))) -> c(b)(b(c)(c(c)(c(a)(x1)))) 106.46/27.49 c(a)(a(b)(b(a)(a(b)(x1)))) -> c(b)(b(c)(c(c)(c(b)(x1)))) 106.46/27.49 a(a)(a(b)(b(a)(a(c)(x1)))) -> a(b)(b(c)(c(c)(c(c)(x1)))) 106.46/27.49 a(a)(a(b)(b(a)(a(a)(x1)))) -> a(b)(b(c)(c(c)(c(a)(x1)))) 106.46/27.49 a(a)(a(b)(b(a)(a(b)(x1)))) -> a(b)(b(c)(c(c)(c(b)(x1)))) 106.46/27.49 b(a)(a(b)(b(a)(a(c)(x1)))) -> b(b)(b(c)(c(c)(c(c)(x1)))) 106.46/27.49 b(a)(a(b)(b(a)(a(a)(x1)))) -> b(b)(b(c)(c(c)(c(a)(x1)))) 106.46/27.49 b(a)(a(b)(b(a)(a(b)(x1)))) -> b(b)(b(c)(c(c)(c(b)(x1)))) 106.46/27.49 c(a)(a(b)(b(b)(b(c)(x1)))) -> c(b)(b(b)(b(a)(a(c)(x1)))) 106.46/27.49 c(a)(a(b)(b(b)(b(a)(x1)))) -> c(b)(b(b)(b(a)(a(a)(x1)))) 106.46/27.49 c(a)(a(b)(b(b)(b(b)(x1)))) -> c(b)(b(b)(b(a)(a(b)(x1)))) 106.46/27.49 a(a)(a(b)(b(b)(b(c)(x1)))) -> a(b)(b(b)(b(a)(a(c)(x1)))) 106.46/27.49 a(a)(a(b)(b(b)(b(a)(x1)))) -> a(b)(b(b)(b(a)(a(a)(x1)))) 106.46/27.49 a(a)(a(b)(b(b)(b(b)(x1)))) -> a(b)(b(b)(b(a)(a(b)(x1)))) 106.46/27.49 b(a)(a(b)(b(b)(b(c)(x1)))) -> b(b)(b(b)(b(a)(a(c)(x1)))) 106.46/27.49 b(a)(a(b)(b(b)(b(a)(x1)))) -> b(b)(b(b)(b(a)(a(a)(x1)))) 106.46/27.49 b(a)(a(b)(b(b)(b(b)(x1)))) -> b(b)(b(b)(b(a)(a(b)(x1)))) 106.46/27.49 a(b)(b(c)(c(c)(x1))) -> a(a)(a(a)(a(c)(x1))) 106.46/27.49 a(b)(b(c)(c(a)(x1))) -> a(a)(a(a)(a(a)(x1))) 106.46/27.49 a(b)(b(c)(c(b)(x1))) -> a(a)(a(a)(a(b)(x1))) 106.46/27.49 c(a)(a(c)(c(a)(a(c)(x1)))) -> c(b)(b(b)(b(b)(b(c)(x1)))) 106.46/27.49 c(a)(a(c)(c(a)(a(a)(x1)))) -> c(b)(b(b)(b(b)(b(a)(x1)))) 106.46/27.49 c(a)(a(c)(c(a)(a(b)(x1)))) -> c(b)(b(b)(b(b)(b(b)(x1)))) 106.46/27.49 a(a)(a(c)(c(a)(a(c)(x1)))) -> a(b)(b(b)(b(b)(b(c)(x1)))) 106.46/27.49 a(a)(a(c)(c(a)(a(a)(x1)))) -> a(b)(b(b)(b(b)(b(a)(x1)))) 106.46/27.49 a(a)(a(c)(c(a)(a(b)(x1)))) -> a(b)(b(b)(b(b)(b(b)(x1)))) 106.46/27.49 b(a)(a(c)(c(a)(a(c)(x1)))) -> b(b)(b(b)(b(b)(b(c)(x1)))) 106.46/27.49 b(a)(a(c)(c(a)(a(a)(x1)))) -> b(b)(b(b)(b(b)(b(a)(x1)))) 106.46/27.49 b(a)(a(c)(c(a)(a(b)(x1)))) -> b(b)(b(b)(b(b)(b(b)(x1)))) 106.46/27.49 c(a)(a(b)(b(b)(b(c)(x1)))) -> c(c)(c(c)(c(b)(b(c)(x1)))) 106.46/27.49 c(a)(a(b)(b(b)(b(a)(x1)))) -> c(c)(c(c)(c(b)(b(a)(x1)))) 106.46/27.49 c(a)(a(b)(b(b)(b(b)(x1)))) -> c(c)(c(c)(c(b)(b(b)(x1)))) 106.46/27.49 a(a)(a(b)(b(b)(b(c)(x1)))) -> a(c)(c(c)(c(b)(b(c)(x1)))) 106.46/27.49 a(a)(a(b)(b(b)(b(a)(x1)))) -> a(c)(c(c)(c(b)(b(a)(x1)))) 106.46/27.49 a(a)(a(b)(b(b)(b(b)(x1)))) -> a(c)(c(c)(c(b)(b(b)(x1)))) 106.46/27.49 b(a)(a(b)(b(b)(b(c)(x1)))) -> b(c)(c(c)(c(b)(b(c)(x1)))) 106.46/27.49 b(a)(a(b)(b(b)(b(a)(x1)))) -> b(c)(c(c)(c(b)(b(a)(x1)))) 106.46/27.49 b(a)(a(b)(b(b)(b(b)(x1)))) -> b(c)(c(c)(c(b)(b(b)(x1)))) 106.46/27.49 TDG Processor: 106.46/27.49 DPs: 106.46/27.49 c{(c),#}(c(a)(a(a)(a(c)(x1)))) -> c{(a),#}(a(c)(x1)) 106.46/27.49 c{(c),#}(c(a)(a(a)(a(c)(x1)))) -> a{(c),#}(c(a)(a(c)(x1))) 106.46/27.49 c{(c),#}(c(a)(a(a)(a(c)(x1)))) -> c{(a),#}(a(c)(c(a)(a(c)(x1)))) 106.46/27.49 c{(c),#}(c(a)(a(a)(a(a)(x1)))) -> c{(a),#}(a(a)(x1)) 106.46/27.49 c{(c),#}(c(a)(a(a)(a(a)(x1)))) -> a{(c),#}(c(a)(a(a)(x1))) 106.46/27.49 c{(c),#}(c(a)(a(a)(a(a)(x1)))) -> c{(a),#}(a(c)(c(a)(a(a)(x1)))) 106.46/27.49 c{(c),#}(c(a)(a(a)(a(b)(x1)))) -> c{(a),#}(a(b)(x1)) 106.46/27.49 c{(c),#}(c(a)(a(a)(a(b)(x1)))) -> a{(c),#}(c(a)(a(b)(x1))) 106.46/27.49 c{(c),#}(c(a)(a(a)(a(b)(x1)))) -> c{(a),#}(a(c)(c(a)(a(b)(x1)))) 106.46/27.49 a{(c),#}(c(a)(a(a)(a(c)(x1)))) -> c{(a),#}(a(c)(x1)) 106.46/27.49 a{(c),#}(c(a)(a(a)(a(c)(x1)))) -> a{(c),#}(c(a)(a(c)(x1))) 106.46/27.50 a{(c),#}(c(a)(a(a)(a(c)(x1)))) -> a{(a),#}(a(c)(c(a)(a(c)(x1)))) 106.46/27.50 a{(c),#}(c(a)(a(a)(a(a)(x1)))) -> c{(a),#}(a(a)(x1)) 106.46/27.50 a{(c),#}(c(a)(a(a)(a(a)(x1)))) -> a{(c),#}(c(a)(a(a)(x1))) 106.46/27.50 a{(c),#}(c(a)(a(a)(a(a)(x1)))) -> a{(a),#}(a(c)(c(a)(a(a)(x1)))) 106.46/27.50 a{(c),#}(c(a)(a(a)(a(b)(x1)))) -> c{(a),#}(a(b)(x1)) 106.46/27.50 a{(c),#}(c(a)(a(a)(a(b)(x1)))) -> a{(c),#}(c(a)(a(b)(x1))) 106.46/27.50 a{(c),#}(c(a)(a(a)(a(b)(x1)))) -> a{(a),#}(a(c)(c(a)(a(b)(x1)))) 106.46/27.50 b{(c),#}(c(a)(a(a)(a(c)(x1)))) -> c{(a),#}(a(c)(x1)) 106.46/27.50 b{(c),#}(c(a)(a(a)(a(c)(x1)))) -> a{(c),#}(c(a)(a(c)(x1))) 106.46/27.50 b{(c),#}(c(a)(a(a)(a(c)(x1)))) -> b{(a),#}(a(c)(c(a)(a(c)(x1)))) 106.46/27.50 b{(c),#}(c(a)(a(a)(a(a)(x1)))) -> c{(a),#}(a(a)(x1)) 106.46/27.50 b{(c),#}(c(a)(a(a)(a(a)(x1)))) -> a{(c),#}(c(a)(a(a)(x1))) 106.46/27.50 b{(c),#}(c(a)(a(a)(a(a)(x1)))) -> b{(a),#}(a(c)(c(a)(a(a)(x1)))) 106.46/27.50 b{(c),#}(c(a)(a(a)(a(b)(x1)))) -> c{(a),#}(a(b)(x1)) 106.46/27.50 b{(c),#}(c(a)(a(a)(a(b)(x1)))) -> a{(c),#}(c(a)(a(b)(x1))) 106.46/27.50 b{(c),#}(c(a)(a(a)(a(b)(x1)))) -> b{(a),#}(a(c)(c(a)(a(b)(x1)))) 106.46/27.50 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 106.46/27.50 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 106.46/27.50 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> b{(c),#}(c(c)(c(c)(x1))) 106.46/27.50 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 106.46/27.50 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 106.46/27.50 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> b{(c),#}(c(c)(c(a)(x1))) 106.46/27.50 c{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 106.46/27.50 c{(a),#}(a(b)(b(a)(a(b)(x1)))) -> b{(c),#}(c(c)(c(b)(x1))) 106.46/27.50 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 106.46/27.50 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 106.46/27.50 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> b{(c),#}(c(c)(c(c)(x1))) 106.46/27.50 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> a{(b),#}(b(c)(c(c)(c(c)(x1)))) 106.46/27.50 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 106.46/27.50 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 106.46/27.50 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> b{(c),#}(c(c)(c(a)(x1))) 106.46/27.50 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> a{(b),#}(b(c)(c(c)(c(a)(x1)))) 106.46/27.50 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 106.46/27.50 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> b{(c),#}(c(c)(c(b)(x1))) 106.46/27.50 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> a{(b),#}(b(c)(c(c)(c(b)(x1)))) 106.46/27.50 b{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 106.46/27.50 b{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 106.46/27.50 b{(a),#}(a(b)(b(a)(a(c)(x1)))) -> b{(c),#}(c(c)(c(c)(x1))) 106.46/27.50 b{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 106.46/27.50 b{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 106.46/27.50 b{(a),#}(a(b)(b(a)(a(a)(x1)))) -> b{(c),#}(c(c)(c(a)(x1))) 106.46/27.50 b{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 106.46/27.50 b{(a),#}(a(b)(b(a)(a(b)(x1)))) -> b{(c),#}(c(c)(c(b)(x1))) 106.46/27.50 c{(a),#}(a(b)(b(b)(b(c)(x1)))) -> a{(c),#}(x1) 106.46/27.50 c{(a),#}(a(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(x1)) 106.46/27.50 c{(a),#}(a(b)(b(b)(b(a)(x1)))) -> a{(a),#}(x1) 106.46/27.50 c{(a),#}(a(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(a)(x1)) 106.46/27.50 c{(a),#}(a(b)(b(b)(b(b)(x1)))) -> a{(b),#}(x1) 106.46/27.50 c{(a),#}(a(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(b)(x1)) 106.46/27.50 a{(a),#}(a(b)(b(b)(b(c)(x1)))) -> a{(c),#}(x1) 106.46/27.50 a{(a),#}(a(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(x1)) 106.46/27.50 a{(a),#}(a(b)(b(b)(b(c)(x1)))) -> a{(b),#}(b(b)(b(a)(a(c)(x1)))) 106.46/27.50 a{(a),#}(a(b)(b(b)(b(a)(x1)))) -> a{(a),#}(x1) 106.46/27.50 a{(a),#}(a(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(a)(x1)) 106.46/27.50 a{(a),#}(a(b)(b(b)(b(a)(x1)))) -> a{(b),#}(b(b)(b(a)(a(a)(x1)))) 106.46/27.50 a{(a),#}(a(b)(b(b)(b(b)(x1)))) -> a{(b),#}(x1) 106.46/27.50 a{(a),#}(a(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(b)(x1)) 106.46/27.50 a{(a),#}(a(b)(b(b)(b(b)(x1)))) -> a{(b),#}(b(b)(b(a)(a(b)(x1)))) 106.46/27.50 b{(a),#}(a(b)(b(b)(b(c)(x1)))) -> a{(c),#}(x1) 106.46/27.50 b{(a),#}(a(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(x1)) 106.46/27.50 b{(a),#}(a(b)(b(b)(b(a)(x1)))) -> a{(a),#}(x1) 106.46/27.50 b{(a),#}(a(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(a)(x1)) 106.46/27.50 b{(a),#}(a(b)(b(b)(b(b)(x1)))) -> a{(b),#}(x1) 106.46/27.50 b{(a),#}(a(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(b)(x1)) 106.46/27.50 a{(b),#}(b(c)(c(c)(x1))) -> a{(c),#}(x1) 106.46/27.50 a{(b),#}(b(c)(c(c)(x1))) -> a{(a),#}(a(c)(x1)) 106.46/27.50 a{(b),#}(b(c)(c(c)(x1))) -> a{(a),#}(a(a)(a(c)(x1))) 106.46/27.50 a{(b),#}(b(c)(c(a)(x1))) -> a{(a),#}(x1) 106.46/27.50 a{(b),#}(b(c)(c(a)(x1))) -> a{(a),#}(a(a)(x1)) 106.46/27.50 a{(b),#}(b(c)(c(a)(x1))) -> a{(a),#}(a(a)(a(a)(x1))) 106.46/27.50 a{(b),#}(b(c)(c(b)(x1))) -> a{(b),#}(x1) 106.46/27.50 a{(b),#}(b(c)(c(b)(x1))) -> a{(a),#}(a(b)(x1)) 106.46/27.50 a{(b),#}(b(c)(c(b)(x1))) -> a{(a),#}(a(a)(a(b)(x1))) 106.46/27.50 c{(a),#}(a(c)(c(a)(a(c)(x1)))) -> b{(c),#}(x1) 106.46/27.50 c{(a),#}(a(c)(c(a)(a(a)(x1)))) -> b{(a),#}(x1) 106.46/27.50 a{(a),#}(a(c)(c(a)(a(c)(x1)))) -> b{(c),#}(x1) 106.46/27.50 a{(a),#}(a(c)(c(a)(a(c)(x1)))) -> a{(b),#}(b(b)(b(b)(b(c)(x1)))) 106.46/27.50 a{(a),#}(a(c)(c(a)(a(a)(x1)))) -> b{(a),#}(x1) 106.46/27.50 a{(a),#}(a(c)(c(a)(a(a)(x1)))) -> a{(b),#}(b(b)(b(b)(b(a)(x1)))) 106.46/27.50 a{(a),#}(a(c)(c(a)(a(b)(x1)))) -> a{(b),#}(b(b)(b(b)(b(b)(x1)))) 106.46/27.50 b{(a),#}(a(c)(c(a)(a(c)(x1)))) -> b{(c),#}(x1) 106.46/27.50 b{(a),#}(a(c)(c(a)(a(a)(x1)))) -> b{(a),#}(x1) 106.46/27.50 c{(a),#}(a(b)(b(b)(b(c)(x1)))) -> c{(c),#}(c(b)(b(c)(x1))) 106.46/27.50 c{(a),#}(a(b)(b(b)(b(c)(x1)))) -> c{(c),#}(c(c)(c(b)(b(c)(x1)))) 106.46/27.50 c{(a),#}(a(b)(b(b)(b(a)(x1)))) -> c{(c),#}(c(b)(b(a)(x1))) 106.46/27.50 c{(a),#}(a(b)(b(b)(b(a)(x1)))) -> c{(c),#}(c(c)(c(b)(b(a)(x1)))) 106.46/27.50 c{(a),#}(a(b)(b(b)(b(b)(x1)))) -> c{(c),#}(c(b)(b(b)(x1))) 106.46/27.50 c{(a),#}(a(b)(b(b)(b(b)(x1)))) -> c{(c),#}(c(c)(c(b)(b(b)(x1)))) 106.46/27.50 a{(a),#}(a(b)(b(b)(b(c)(x1)))) -> c{(c),#}(c(b)(b(c)(x1))) 106.46/27.50 a{(a),#}(a(b)(b(b)(b(c)(x1)))) -> a{(c),#}(c(c)(c(b)(b(c)(x1)))) 106.46/27.50 a{(a),#}(a(b)(b(b)(b(a)(x1)))) -> c{(c),#}(c(b)(b(a)(x1))) 106.46/27.50 a{(a),#}(a(b)(b(b)(b(a)(x1)))) -> a{(c),#}(c(c)(c(b)(b(a)(x1)))) 106.46/27.50 a{(a),#}(a(b)(b(b)(b(b)(x1)))) -> c{(c),#}(c(b)(b(b)(x1))) 106.46/27.50 a{(a),#}(a(b)(b(b)(b(b)(x1)))) -> a{(c),#}(c(c)(c(b)(b(b)(x1)))) 106.46/27.50 b{(a),#}(a(b)(b(b)(b(c)(x1)))) -> c{(c),#}(c(b)(b(c)(x1))) 106.46/27.50 b{(a),#}(a(b)(b(b)(b(c)(x1)))) -> b{(c),#}(c(c)(c(b)(b(c)(x1)))) 106.46/27.50 b{(a),#}(a(b)(b(b)(b(a)(x1)))) -> c{(c),#}(c(b)(b(a)(x1))) 106.46/27.50 b{(a),#}(a(b)(b(b)(b(a)(x1)))) -> b{(c),#}(c(c)(c(b)(b(a)(x1)))) 106.46/27.50 b{(a),#}(a(b)(b(b)(b(b)(x1)))) -> c{(c),#}(c(b)(b(b)(x1))) 106.46/27.50 b{(a),#}(a(b)(b(b)(b(b)(x1)))) -> b{(c),#}(c(c)(c(b)(b(b)(x1)))) 106.46/27.51 TRS: 106.46/27.51 c(c)(c(a)(a(a)(a(c)(x1)))) -> c(a)(a(c)(c(a)(a(c)(x1)))) 106.46/27.51 c(c)(c(a)(a(a)(a(a)(x1)))) -> c(a)(a(c)(c(a)(a(a)(x1)))) 106.46/27.51 c(c)(c(a)(a(a)(a(b)(x1)))) -> c(a)(a(c)(c(a)(a(b)(x1)))) 106.46/27.51 a(c)(c(a)(a(a)(a(c)(x1)))) -> a(a)(a(c)(c(a)(a(c)(x1)))) 106.46/27.51 a(c)(c(a)(a(a)(a(a)(x1)))) -> a(a)(a(c)(c(a)(a(a)(x1)))) 106.46/27.51 a(c)(c(a)(a(a)(a(b)(x1)))) -> a(a)(a(c)(c(a)(a(b)(x1)))) 106.46/27.51 b(c)(c(a)(a(a)(a(c)(x1)))) -> b(a)(a(c)(c(a)(a(c)(x1)))) 106.46/27.51 b(c)(c(a)(a(a)(a(a)(x1)))) -> b(a)(a(c)(c(a)(a(a)(x1)))) 106.46/27.51 b(c)(c(a)(a(a)(a(b)(x1)))) -> b(a)(a(c)(c(a)(a(b)(x1)))) 106.46/27.51 c(a)(a(b)(b(a)(a(c)(x1)))) -> c(b)(b(c)(c(c)(c(c)(x1)))) 106.46/27.51 c(a)(a(b)(b(a)(a(a)(x1)))) -> c(b)(b(c)(c(c)(c(a)(x1)))) 106.46/27.51 c(a)(a(b)(b(a)(a(b)(x1)))) -> c(b)(b(c)(c(c)(c(b)(x1)))) 106.46/27.51 a(a)(a(b)(b(a)(a(c)(x1)))) -> a(b)(b(c)(c(c)(c(c)(x1)))) 106.46/27.51 a(a)(a(b)(b(a)(a(a)(x1)))) -> a(b)(b(c)(c(c)(c(a)(x1)))) 106.46/27.51 a(a)(a(b)(b(a)(a(b)(x1)))) -> a(b)(b(c)(c(c)(c(b)(x1)))) 106.46/27.51 b(a)(a(b)(b(a)(a(c)(x1)))) -> b(b)(b(c)(c(c)(c(c)(x1)))) 106.46/27.51 b(a)(a(b)(b(a)(a(a)(x1)))) -> b(b)(b(c)(c(c)(c(a)(x1)))) 106.46/27.51 b(a)(a(b)(b(a)(a(b)(x1)))) -> b(b)(b(c)(c(c)(c(b)(x1)))) 106.46/27.51 c(a)(a(b)(b(b)(b(c)(x1)))) -> c(b)(b(b)(b(a)(a(c)(x1)))) 106.46/27.51 c(a)(a(b)(b(b)(b(a)(x1)))) -> c(b)(b(b)(b(a)(a(a)(x1)))) 106.46/27.51 c(a)(a(b)(b(b)(b(b)(x1)))) -> c(b)(b(b)(b(a)(a(b)(x1)))) 106.46/27.51 a(a)(a(b)(b(b)(b(c)(x1)))) -> a(b)(b(b)(b(a)(a(c)(x1)))) 106.46/27.51 a(a)(a(b)(b(b)(b(a)(x1)))) -> a(b)(b(b)(b(a)(a(a)(x1)))) 106.46/27.51 a(a)(a(b)(b(b)(b(b)(x1)))) -> a(b)(b(b)(b(a)(a(b)(x1)))) 106.46/27.51 b(a)(a(b)(b(b)(b(c)(x1)))) -> b(b)(b(b)(b(a)(a(c)(x1)))) 106.46/27.51 b(a)(a(b)(b(b)(b(a)(x1)))) -> b(b)(b(b)(b(a)(a(a)(x1)))) 106.46/27.51 b(a)(a(b)(b(b)(b(b)(x1)))) -> b(b)(b(b)(b(a)(a(b)(x1)))) 106.46/27.51 a(b)(b(c)(c(c)(x1))) -> a(a)(a(a)(a(c)(x1))) 106.46/27.51 a(b)(b(c)(c(a)(x1))) -> a(a)(a(a)(a(a)(x1))) 106.46/27.51 a(b)(b(c)(c(b)(x1))) -> a(a)(a(a)(a(b)(x1))) 106.46/27.51 c(a)(a(c)(c(a)(a(c)(x1)))) -> c(b)(b(b)(b(b)(b(c)(x1)))) 106.46/27.51 c(a)(a(c)(c(a)(a(a)(x1)))) -> c(b)(b(b)(b(b)(b(a)(x1)))) 106.46/27.51 c(a)(a(c)(c(a)(a(b)(x1)))) -> c(b)(b(b)(b(b)(b(b)(x1)))) 106.46/27.51 a(a)(a(c)(c(a)(a(c)(x1)))) -> a(b)(b(b)(b(b)(b(c)(x1)))) 106.46/27.51 a(a)(a(c)(c(a)(a(a)(x1)))) -> a(b)(b(b)(b(b)(b(a)(x1)))) 106.46/27.51 a(a)(a(c)(c(a)(a(b)(x1)))) -> a(b)(b(b)(b(b)(b(b)(x1)))) 106.46/27.51 b(a)(a(c)(c(a)(a(c)(x1)))) -> b(b)(b(b)(b(b)(b(c)(x1)))) 106.46/27.51 b(a)(a(c)(c(a)(a(a)(x1)))) -> b(b)(b(b)(b(b)(b(a)(x1)))) 106.46/27.51 b(a)(a(c)(c(a)(a(b)(x1)))) -> b(b)(b(b)(b(b)(b(b)(x1)))) 106.46/27.51 c(a)(a(b)(b(b)(b(c)(x1)))) -> c(c)(c(c)(c(b)(b(c)(x1)))) 106.46/27.51 c(a)(a(b)(b(b)(b(a)(x1)))) -> c(c)(c(c)(c(b)(b(a)(x1)))) 106.46/27.51 c(a)(a(b)(b(b)(b(b)(x1)))) -> c(c)(c(c)(c(b)(b(b)(x1)))) 106.46/27.51 a(a)(a(b)(b(b)(b(c)(x1)))) -> a(c)(c(c)(c(b)(b(c)(x1)))) 106.46/27.51 a(a)(a(b)(b(b)(b(a)(x1)))) -> a(c)(c(c)(c(b)(b(a)(x1)))) 106.46/27.51 a(a)(a(b)(b(b)(b(b)(x1)))) -> a(c)(c(c)(c(b)(b(b)(x1)))) 106.46/27.51 b(a)(a(b)(b(b)(b(c)(x1)))) -> b(c)(c(c)(c(b)(b(c)(x1)))) 106.46/27.51 b(a)(a(b)(b(b)(b(a)(x1)))) -> b(c)(c(c)(c(b)(b(a)(x1)))) 106.46/27.51 b(a)(a(b)(b(b)(b(b)(x1)))) -> b(c)(c(c)(c(b)(b(b)(x1)))) 106.46/27.51 graph: 106.46/27.51 ... 106.46/27.51 EDG Processor: 106.46/27.51 DPs: 106.46/27.51 c{(c),#}(c(a)(a(a)(a(c)(x1)))) -> c{(a),#}(a(c)(x1)) 106.46/27.51 c{(c),#}(c(a)(a(a)(a(c)(x1)))) -> a{(c),#}(c(a)(a(c)(x1))) 106.46/27.51 c{(c),#}(c(a)(a(a)(a(c)(x1)))) -> c{(a),#}(a(c)(c(a)(a(c)(x1)))) 106.46/27.51 c{(c),#}(c(a)(a(a)(a(a)(x1)))) -> c{(a),#}(a(a)(x1)) 106.46/27.51 c{(c),#}(c(a)(a(a)(a(a)(x1)))) -> a{(c),#}(c(a)(a(a)(x1))) 106.46/27.51 c{(c),#}(c(a)(a(a)(a(a)(x1)))) -> c{(a),#}(a(c)(c(a)(a(a)(x1)))) 106.46/27.51 c{(c),#}(c(a)(a(a)(a(b)(x1)))) -> c{(a),#}(a(b)(x1)) 106.46/27.51 c{(c),#}(c(a)(a(a)(a(b)(x1)))) -> a{(c),#}(c(a)(a(b)(x1))) 106.46/27.51 c{(c),#}(c(a)(a(a)(a(b)(x1)))) -> c{(a),#}(a(c)(c(a)(a(b)(x1)))) 106.46/27.51 a{(c),#}(c(a)(a(a)(a(c)(x1)))) -> c{(a),#}(a(c)(x1)) 106.46/27.51 a{(c),#}(c(a)(a(a)(a(c)(x1)))) -> a{(c),#}(c(a)(a(c)(x1))) 106.46/27.51 a{(c),#}(c(a)(a(a)(a(c)(x1)))) -> a{(a),#}(a(c)(c(a)(a(c)(x1)))) 106.46/27.51 a{(c),#}(c(a)(a(a)(a(a)(x1)))) -> c{(a),#}(a(a)(x1)) 106.46/27.51 a{(c),#}(c(a)(a(a)(a(a)(x1)))) -> a{(c),#}(c(a)(a(a)(x1))) 106.46/27.51 a{(c),#}(c(a)(a(a)(a(a)(x1)))) -> a{(a),#}(a(c)(c(a)(a(a)(x1)))) 106.46/27.51 a{(c),#}(c(a)(a(a)(a(b)(x1)))) -> c{(a),#}(a(b)(x1)) 106.46/27.51 a{(c),#}(c(a)(a(a)(a(b)(x1)))) -> a{(c),#}(c(a)(a(b)(x1))) 106.46/27.51 a{(c),#}(c(a)(a(a)(a(b)(x1)))) -> a{(a),#}(a(c)(c(a)(a(b)(x1)))) 106.46/27.51 b{(c),#}(c(a)(a(a)(a(c)(x1)))) -> c{(a),#}(a(c)(x1)) 106.46/27.51 b{(c),#}(c(a)(a(a)(a(c)(x1)))) -> a{(c),#}(c(a)(a(c)(x1))) 106.46/27.51 b{(c),#}(c(a)(a(a)(a(c)(x1)))) -> b{(a),#}(a(c)(c(a)(a(c)(x1)))) 106.46/27.51 b{(c),#}(c(a)(a(a)(a(a)(x1)))) -> c{(a),#}(a(a)(x1)) 106.46/27.51 b{(c),#}(c(a)(a(a)(a(a)(x1)))) -> a{(c),#}(c(a)(a(a)(x1))) 106.46/27.51 b{(c),#}(c(a)(a(a)(a(a)(x1)))) -> b{(a),#}(a(c)(c(a)(a(a)(x1)))) 106.46/27.51 b{(c),#}(c(a)(a(a)(a(b)(x1)))) -> c{(a),#}(a(b)(x1)) 106.46/27.51 b{(c),#}(c(a)(a(a)(a(b)(x1)))) -> a{(c),#}(c(a)(a(b)(x1))) 106.46/27.51 b{(c),#}(c(a)(a(a)(a(b)(x1)))) -> b{(a),#}(a(c)(c(a)(a(b)(x1)))) 106.46/27.51 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 106.46/27.51 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 106.46/27.51 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> b{(c),#}(c(c)(c(c)(x1))) 106.46/27.51 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 106.46/27.51 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 106.46/27.51 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> b{(c),#}(c(c)(c(a)(x1))) 106.46/27.51 c{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 106.46/27.51 c{(a),#}(a(b)(b(a)(a(b)(x1)))) -> b{(c),#}(c(c)(c(b)(x1))) 106.46/27.51 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 106.46/27.51 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 106.46/27.51 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> b{(c),#}(c(c)(c(c)(x1))) 106.46/27.51 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> a{(b),#}(b(c)(c(c)(c(c)(x1)))) 106.46/27.51 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 106.46/27.51 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 106.46/27.51 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> b{(c),#}(c(c)(c(a)(x1))) 106.46/27.51 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> a{(b),#}(b(c)(c(c)(c(a)(x1)))) 106.46/27.51 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 106.46/27.51 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> b{(c),#}(c(c)(c(b)(x1))) 106.46/27.51 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> a{(b),#}(b(c)(c(c)(c(b)(x1)))) 106.46/27.51 b{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 106.46/27.51 b{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 106.51/27.52 b{(a),#}(a(b)(b(a)(a(c)(x1)))) -> b{(c),#}(c(c)(c(c)(x1))) 106.51/27.52 b{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 106.51/27.52 b{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 106.51/27.52 b{(a),#}(a(b)(b(a)(a(a)(x1)))) -> b{(c),#}(c(c)(c(a)(x1))) 106.51/27.52 b{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 106.51/27.52 b{(a),#}(a(b)(b(a)(a(b)(x1)))) -> b{(c),#}(c(c)(c(b)(x1))) 106.51/27.52 c{(a),#}(a(b)(b(b)(b(c)(x1)))) -> a{(c),#}(x1) 106.51/27.52 c{(a),#}(a(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(x1)) 106.51/27.52 c{(a),#}(a(b)(b(b)(b(a)(x1)))) -> a{(a),#}(x1) 106.51/27.52 c{(a),#}(a(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(a)(x1)) 106.51/27.52 c{(a),#}(a(b)(b(b)(b(b)(x1)))) -> a{(b),#}(x1) 106.51/27.52 c{(a),#}(a(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(b)(x1)) 106.51/27.52 a{(a),#}(a(b)(b(b)(b(c)(x1)))) -> a{(c),#}(x1) 106.51/27.52 a{(a),#}(a(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(x1)) 106.51/27.52 a{(a),#}(a(b)(b(b)(b(c)(x1)))) -> a{(b),#}(b(b)(b(a)(a(c)(x1)))) 106.51/27.52 a{(a),#}(a(b)(b(b)(b(a)(x1)))) -> a{(a),#}(x1) 106.51/27.52 a{(a),#}(a(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(a)(x1)) 106.51/27.52 a{(a),#}(a(b)(b(b)(b(a)(x1)))) -> a{(b),#}(b(b)(b(a)(a(a)(x1)))) 106.51/27.52 a{(a),#}(a(b)(b(b)(b(b)(x1)))) -> a{(b),#}(x1) 106.51/27.52 a{(a),#}(a(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(b)(x1)) 106.51/27.52 a{(a),#}(a(b)(b(b)(b(b)(x1)))) -> a{(b),#}(b(b)(b(a)(a(b)(x1)))) 106.51/27.52 b{(a),#}(a(b)(b(b)(b(c)(x1)))) -> a{(c),#}(x1) 106.51/27.52 b{(a),#}(a(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(x1)) 106.51/27.52 b{(a),#}(a(b)(b(b)(b(a)(x1)))) -> a{(a),#}(x1) 106.51/27.52 b{(a),#}(a(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(a)(x1)) 106.51/27.52 b{(a),#}(a(b)(b(b)(b(b)(x1)))) -> a{(b),#}(x1) 106.51/27.52 b{(a),#}(a(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(b)(x1)) 106.51/27.52 a{(b),#}(b(c)(c(c)(x1))) -> a{(c),#}(x1) 106.51/27.52 a{(b),#}(b(c)(c(c)(x1))) -> a{(a),#}(a(c)(x1)) 106.51/27.52 a{(b),#}(b(c)(c(c)(x1))) -> a{(a),#}(a(a)(a(c)(x1))) 106.51/27.52 a{(b),#}(b(c)(c(a)(x1))) -> a{(a),#}(x1) 106.51/27.52 a{(b),#}(b(c)(c(a)(x1))) -> a{(a),#}(a(a)(x1)) 106.51/27.52 a{(b),#}(b(c)(c(a)(x1))) -> a{(a),#}(a(a)(a(a)(x1))) 106.51/27.52 a{(b),#}(b(c)(c(b)(x1))) -> a{(b),#}(x1) 106.51/27.52 a{(b),#}(b(c)(c(b)(x1))) -> a{(a),#}(a(b)(x1)) 106.51/27.52 a{(b),#}(b(c)(c(b)(x1))) -> a{(a),#}(a(a)(a(b)(x1))) 106.51/27.52 c{(a),#}(a(c)(c(a)(a(c)(x1)))) -> b{(c),#}(x1) 106.51/27.52 c{(a),#}(a(c)(c(a)(a(a)(x1)))) -> b{(a),#}(x1) 106.51/27.52 a{(a),#}(a(c)(c(a)(a(c)(x1)))) -> b{(c),#}(x1) 106.51/27.52 a{(a),#}(a(c)(c(a)(a(c)(x1)))) -> a{(b),#}(b(b)(b(b)(b(c)(x1)))) 106.51/27.52 a{(a),#}(a(c)(c(a)(a(a)(x1)))) -> b{(a),#}(x1) 106.51/27.52 a{(a),#}(a(c)(c(a)(a(a)(x1)))) -> a{(b),#}(b(b)(b(b)(b(a)(x1)))) 106.51/27.52 a{(a),#}(a(c)(c(a)(a(b)(x1)))) -> a{(b),#}(b(b)(b(b)(b(b)(x1)))) 106.51/27.52 b{(a),#}(a(c)(c(a)(a(c)(x1)))) -> b{(c),#}(x1) 106.51/27.52 b{(a),#}(a(c)(c(a)(a(a)(x1)))) -> b{(a),#}(x1) 106.51/27.52 c{(a),#}(a(b)(b(b)(b(c)(x1)))) -> c{(c),#}(c(b)(b(c)(x1))) 106.51/27.52 c{(a),#}(a(b)(b(b)(b(c)(x1)))) -> c{(c),#}(c(c)(c(b)(b(c)(x1)))) 106.51/27.52 c{(a),#}(a(b)(b(b)(b(a)(x1)))) -> c{(c),#}(c(b)(b(a)(x1))) 106.51/27.52 c{(a),#}(a(b)(b(b)(b(a)(x1)))) -> c{(c),#}(c(c)(c(b)(b(a)(x1)))) 106.51/27.52 c{(a),#}(a(b)(b(b)(b(b)(x1)))) -> c{(c),#}(c(b)(b(b)(x1))) 106.51/27.52 c{(a),#}(a(b)(b(b)(b(b)(x1)))) -> c{(c),#}(c(c)(c(b)(b(b)(x1)))) 106.51/27.52 a{(a),#}(a(b)(b(b)(b(c)(x1)))) -> c{(c),#}(c(b)(b(c)(x1))) 106.51/27.52 a{(a),#}(a(b)(b(b)(b(c)(x1)))) -> a{(c),#}(c(c)(c(b)(b(c)(x1)))) 106.51/27.52 a{(a),#}(a(b)(b(b)(b(a)(x1)))) -> c{(c),#}(c(b)(b(a)(x1))) 106.51/27.52 a{(a),#}(a(b)(b(b)(b(a)(x1)))) -> a{(c),#}(c(c)(c(b)(b(a)(x1)))) 106.51/27.52 a{(a),#}(a(b)(b(b)(b(b)(x1)))) -> c{(c),#}(c(b)(b(b)(x1))) 106.51/27.52 a{(a),#}(a(b)(b(b)(b(b)(x1)))) -> a{(c),#}(c(c)(c(b)(b(b)(x1)))) 106.51/27.52 b{(a),#}(a(b)(b(b)(b(c)(x1)))) -> c{(c),#}(c(b)(b(c)(x1))) 106.51/27.52 b{(a),#}(a(b)(b(b)(b(c)(x1)))) -> b{(c),#}(c(c)(c(b)(b(c)(x1)))) 106.51/27.52 b{(a),#}(a(b)(b(b)(b(a)(x1)))) -> c{(c),#}(c(b)(b(a)(x1))) 106.51/27.52 b{(a),#}(a(b)(b(b)(b(a)(x1)))) -> b{(c),#}(c(c)(c(b)(b(a)(x1)))) 106.51/27.52 b{(a),#}(a(b)(b(b)(b(b)(x1)))) -> c{(c),#}(c(b)(b(b)(x1))) 106.51/27.52 b{(a),#}(a(b)(b(b)(b(b)(x1)))) -> b{(c),#}(c(c)(c(b)(b(b)(x1)))) 106.51/27.52 TRS: 106.51/27.52 c(c)(c(a)(a(a)(a(c)(x1)))) -> c(a)(a(c)(c(a)(a(c)(x1)))) 106.51/27.52 c(c)(c(a)(a(a)(a(a)(x1)))) -> c(a)(a(c)(c(a)(a(a)(x1)))) 106.51/27.52 c(c)(c(a)(a(a)(a(b)(x1)))) -> c(a)(a(c)(c(a)(a(b)(x1)))) 106.51/27.53 a(c)(c(a)(a(a)(a(c)(x1)))) -> a(a)(a(c)(c(a)(a(c)(x1)))) 106.51/27.53 a(c)(c(a)(a(a)(a(a)(x1)))) -> a(a)(a(c)(c(a)(a(a)(x1)))) 106.51/27.53 a(c)(c(a)(a(a)(a(b)(x1)))) -> a(a)(a(c)(c(a)(a(b)(x1)))) 106.51/27.53 b(c)(c(a)(a(a)(a(c)(x1)))) -> b(a)(a(c)(c(a)(a(c)(x1)))) 106.51/27.53 b(c)(c(a)(a(a)(a(a)(x1)))) -> b(a)(a(c)(c(a)(a(a)(x1)))) 106.51/27.53 b(c)(c(a)(a(a)(a(b)(x1)))) -> b(a)(a(c)(c(a)(a(b)(x1)))) 106.51/27.53 c(a)(a(b)(b(a)(a(c)(x1)))) -> c(b)(b(c)(c(c)(c(c)(x1)))) 106.51/27.53 c(a)(a(b)(b(a)(a(a)(x1)))) -> c(b)(b(c)(c(c)(c(a)(x1)))) 106.51/27.53 c(a)(a(b)(b(a)(a(b)(x1)))) -> c(b)(b(c)(c(c)(c(b)(x1)))) 106.51/27.53 a(a)(a(b)(b(a)(a(c)(x1)))) -> a(b)(b(c)(c(c)(c(c)(x1)))) 106.51/27.53 a(a)(a(b)(b(a)(a(a)(x1)))) -> a(b)(b(c)(c(c)(c(a)(x1)))) 106.51/27.53 a(a)(a(b)(b(a)(a(b)(x1)))) -> a(b)(b(c)(c(c)(c(b)(x1)))) 106.51/27.53 b(a)(a(b)(b(a)(a(c)(x1)))) -> b(b)(b(c)(c(c)(c(c)(x1)))) 106.51/27.53 b(a)(a(b)(b(a)(a(a)(x1)))) -> b(b)(b(c)(c(c)(c(a)(x1)))) 106.51/27.53 b(a)(a(b)(b(a)(a(b)(x1)))) -> b(b)(b(c)(c(c)(c(b)(x1)))) 106.51/27.53 c(a)(a(b)(b(b)(b(c)(x1)))) -> c(b)(b(b)(b(a)(a(c)(x1)))) 106.51/27.53 c(a)(a(b)(b(b)(b(a)(x1)))) -> c(b)(b(b)(b(a)(a(a)(x1)))) 106.51/27.53 c(a)(a(b)(b(b)(b(b)(x1)))) -> c(b)(b(b)(b(a)(a(b)(x1)))) 106.51/27.53 a(a)(a(b)(b(b)(b(c)(x1)))) -> a(b)(b(b)(b(a)(a(c)(x1)))) 106.51/27.53 a(a)(a(b)(b(b)(b(a)(x1)))) -> a(b)(b(b)(b(a)(a(a)(x1)))) 106.51/27.53 a(a)(a(b)(b(b)(b(b)(x1)))) -> a(b)(b(b)(b(a)(a(b)(x1)))) 106.51/27.53 b(a)(a(b)(b(b)(b(c)(x1)))) -> b(b)(b(b)(b(a)(a(c)(x1)))) 106.51/27.53 b(a)(a(b)(b(b)(b(a)(x1)))) -> b(b)(b(b)(b(a)(a(a)(x1)))) 106.51/27.53 b(a)(a(b)(b(b)(b(b)(x1)))) -> b(b)(b(b)(b(a)(a(b)(x1)))) 106.51/27.53 a(b)(b(c)(c(c)(x1))) -> a(a)(a(a)(a(c)(x1))) 106.51/27.53 a(b)(b(c)(c(a)(x1))) -> a(a)(a(a)(a(a)(x1))) 106.51/27.53 a(b)(b(c)(c(b)(x1))) -> a(a)(a(a)(a(b)(x1))) 106.51/27.53 c(a)(a(c)(c(a)(a(c)(x1)))) -> c(b)(b(b)(b(b)(b(c)(x1)))) 106.51/27.53 c(a)(a(c)(c(a)(a(a)(x1)))) -> c(b)(b(b)(b(b)(b(a)(x1)))) 106.51/27.53 c(a)(a(c)(c(a)(a(b)(x1)))) -> c(b)(b(b)(b(b)(b(b)(x1)))) 106.51/27.53 a(a)(a(c)(c(a)(a(c)(x1)))) -> a(b)(b(b)(b(b)(b(c)(x1)))) 106.51/27.53 a(a)(a(c)(c(a)(a(a)(x1)))) -> a(b)(b(b)(b(b)(b(a)(x1)))) 106.51/27.53 a(a)(a(c)(c(a)(a(b)(x1)))) -> a(b)(b(b)(b(b)(b(b)(x1)))) 106.51/27.53 b(a)(a(c)(c(a)(a(c)(x1)))) -> b(b)(b(b)(b(b)(b(c)(x1)))) 106.51/27.53 b(a)(a(c)(c(a)(a(a)(x1)))) -> b(b)(b(b)(b(b)(b(a)(x1)))) 106.51/27.53 b(a)(a(c)(c(a)(a(b)(x1)))) -> b(b)(b(b)(b(b)(b(b)(x1)))) 106.51/27.53 c(a)(a(b)(b(b)(b(c)(x1)))) -> c(c)(c(c)(c(b)(b(c)(x1)))) 106.51/27.53 c(a)(a(b)(b(b)(b(a)(x1)))) -> c(c)(c(c)(c(b)(b(a)(x1)))) 106.51/27.53 c(a)(a(b)(b(b)(b(b)(x1)))) -> c(c)(c(c)(c(b)(b(b)(x1)))) 106.51/27.53 a(a)(a(b)(b(b)(b(c)(x1)))) -> a(c)(c(c)(c(b)(b(c)(x1)))) 106.51/27.53 a(a)(a(b)(b(b)(b(a)(x1)))) -> a(c)(c(c)(c(b)(b(a)(x1)))) 106.51/27.53 a(a)(a(b)(b(b)(b(b)(x1)))) -> a(c)(c(c)(c(b)(b(b)(x1)))) 106.51/27.53 b(a)(a(b)(b(b)(b(c)(x1)))) -> b(c)(c(c)(c(b)(b(c)(x1)))) 106.51/27.53 b(a)(a(b)(b(b)(b(a)(x1)))) -> b(c)(c(c)(c(b)(b(a)(x1)))) 106.51/27.53 b(a)(a(b)(b(b)(b(b)(x1)))) -> b(c)(c(c)(c(b)(b(b)(x1)))) 106.51/27.53 graph: 106.51/27.53 ... 106.51/27.53 SCC Processor: 106.51/27.53 #sccs: 1 106.51/27.53 #rules: 81 106.51/27.53 #arcs: 1399/12321 106.51/27.53 DPs: 106.51/27.53 a{(b),#}(b(c)(c(b)(x1))) -> a{(b),#}(x1) 106.51/27.53 a{(b),#}(b(c)(c(b)(x1))) -> a{(a),#}(a(a)(a(b)(x1))) 106.51/27.53 a{(a),#}(a(c)(c(a)(a(a)(x1)))) -> b{(a),#}(x1) 106.51/27.53 b{(a),#}(a(c)(c(a)(a(a)(x1)))) -> b{(a),#}(x1) 106.51/27.53 b{(a),#}(a(c)(c(a)(a(c)(x1)))) -> b{(c),#}(x1) 106.51/27.53 b{(c),#}(c(a)(a(a)(a(b)(x1)))) -> b{(a),#}(a(c)(c(a)(a(b)(x1)))) 106.51/27.53 b{(a),#}(a(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(b)(x1)) 106.51/27.53 b{(a),#}(a(b)(b(b)(b(b)(x1)))) -> a{(b),#}(x1) 106.51/27.53 a{(b),#}(b(c)(c(b)(x1))) -> a{(a),#}(a(b)(x1)) 106.51/27.53 a{(a),#}(a(c)(c(a)(a(c)(x1)))) -> b{(c),#}(x1) 106.51/27.53 b{(c),#}(c(a)(a(a)(a(b)(x1)))) -> a{(c),#}(c(a)(a(b)(x1))) 106.51/27.53 a{(c),#}(c(a)(a(a)(a(b)(x1)))) -> a{(a),#}(a(c)(c(a)(a(b)(x1)))) 106.51/27.53 a{(a),#}(a(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(b)(x1)) 106.51/27.53 b{(a),#}(a(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(a)(x1)) 106.51/27.53 b{(a),#}(a(b)(b(b)(b(a)(x1)))) -> a{(a),#}(x1) 106.51/27.53 a{(a),#}(a(b)(b(b)(b(b)(x1)))) -> a{(b),#}(x1) 106.51/27.53 a{(b),#}(b(c)(c(a)(x1))) -> a{(a),#}(a(a)(a(a)(x1))) 106.51/27.53 a{(a),#}(a(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(a)(x1)) 106.51/27.53 b{(a),#}(a(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(x1)) 106.51/27.54 b{(a),#}(a(b)(b(b)(b(c)(x1)))) -> a{(c),#}(x1) 106.51/27.54 a{(c),#}(c(a)(a(a)(a(b)(x1)))) -> a{(c),#}(c(a)(a(b)(x1))) 106.51/27.54 a{(c),#}(c(a)(a(a)(a(b)(x1)))) -> c{(a),#}(a(b)(x1)) 106.51/27.54 c{(a),#}(a(c)(c(a)(a(a)(x1)))) -> b{(a),#}(x1) 106.51/27.54 b{(a),#}(a(b)(b(a)(a(a)(x1)))) -> b{(c),#}(c(c)(c(a)(x1))) 106.51/27.54 b{(c),#}(c(a)(a(a)(a(b)(x1)))) -> c{(a),#}(a(b)(x1)) 106.51/27.54 c{(a),#}(a(c)(c(a)(a(c)(x1)))) -> b{(c),#}(x1) 106.51/27.54 b{(c),#}(c(a)(a(a)(a(a)(x1)))) -> b{(a),#}(a(c)(c(a)(a(a)(x1)))) 106.51/27.54 b{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 106.51/27.54 c{(c),#}(c(a)(a(a)(a(b)(x1)))) -> c{(a),#}(a(c)(c(a)(a(b)(x1)))) 106.51/27.54 c{(a),#}(a(b)(b(b)(b(b)(x1)))) -> b{(a),#}(a(b)(x1)) 106.51/27.54 b{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 106.51/27.54 c{(a),#}(a(b)(b(b)(b(b)(x1)))) -> a{(b),#}(x1) 106.51/27.54 a{(b),#}(b(c)(c(a)(x1))) -> a{(a),#}(a(a)(x1)) 106.51/27.54 a{(a),#}(a(b)(b(b)(b(a)(x1)))) -> a{(a),#}(x1) 106.51/27.54 a{(a),#}(a(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(x1)) 106.51/27.54 b{(a),#}(a(b)(b(a)(a(c)(x1)))) -> b{(c),#}(c(c)(c(c)(x1))) 106.51/27.54 b{(c),#}(c(a)(a(a)(a(a)(x1)))) -> a{(c),#}(c(a)(a(a)(x1))) 106.51/27.54 a{(c),#}(c(a)(a(a)(a(a)(x1)))) -> a{(a),#}(a(c)(c(a)(a(a)(x1)))) 106.51/27.54 a{(a),#}(a(b)(b(b)(b(c)(x1)))) -> a{(c),#}(x1) 106.51/27.54 a{(c),#}(c(a)(a(a)(a(a)(x1)))) -> a{(c),#}(c(a)(a(a)(x1))) 106.51/27.54 a{(c),#}(c(a)(a(a)(a(a)(x1)))) -> c{(a),#}(a(a)(x1)) 106.51/27.54 c{(a),#}(a(b)(b(b)(b(a)(x1)))) -> b{(a),#}(a(a)(x1)) 106.51/27.54 b{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 106.51/27.54 c{(c),#}(c(a)(a(a)(a(b)(x1)))) -> a{(c),#}(c(a)(a(b)(x1))) 106.51/27.54 a{(c),#}(c(a)(a(a)(a(c)(x1)))) -> a{(a),#}(a(c)(c(a)(a(c)(x1)))) 106.51/27.54 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> a{(b),#}(b(c)(c(c)(c(b)(x1)))) 106.51/27.54 a{(b),#}(b(c)(c(c)(x1))) -> a{(a),#}(a(a)(a(c)(x1))) 106.51/27.54 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> a{(b),#}(b(c)(c(c)(c(a)(x1)))) 106.51/27.54 a{(b),#}(b(c)(c(a)(x1))) -> a{(a),#}(x1) 106.51/27.54 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> b{(c),#}(c(c)(c(a)(x1))) 106.51/27.54 b{(c),#}(c(a)(a(a)(a(a)(x1)))) -> c{(a),#}(a(a)(x1)) 106.51/27.54 c{(a),#}(a(b)(b(b)(b(a)(x1)))) -> a{(a),#}(x1) 106.51/27.54 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 106.51/27.54 c{(c),#}(c(a)(a(a)(a(b)(x1)))) -> c{(a),#}(a(b)(x1)) 106.51/27.54 c{(a),#}(a(b)(b(b)(b(c)(x1)))) -> b{(a),#}(a(c)(x1)) 106.51/27.54 b{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 106.51/27.54 c{(c),#}(c(a)(a(a)(a(a)(x1)))) -> c{(a),#}(a(c)(c(a)(a(a)(x1)))) 106.51/27.54 c{(a),#}(a(b)(b(b)(b(c)(x1)))) -> a{(c),#}(x1) 106.51/27.54 a{(c),#}(c(a)(a(a)(a(c)(x1)))) -> a{(c),#}(c(a)(a(c)(x1))) 106.51/27.54 a{(c),#}(c(a)(a(a)(a(c)(x1)))) -> c{(a),#}(a(c)(x1)) 106.51/27.54 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> b{(c),#}(c(c)(c(a)(x1))) 106.51/27.54 b{(c),#}(c(a)(a(a)(a(c)(x1)))) -> b{(a),#}(a(c)(c(a)(a(c)(x1)))) 106.51/27.54 b{(c),#}(c(a)(a(a)(a(c)(x1)))) -> a{(c),#}(c(a)(a(c)(x1))) 106.51/27.54 b{(c),#}(c(a)(a(a)(a(c)(x1)))) -> c{(a),#}(a(c)(x1)) 106.51/27.54 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 106.51/27.54 c{(c),#}(c(a)(a(a)(a(a)(x1)))) -> a{(c),#}(c(a)(a(a)(x1))) 106.51/27.54 c{(c),#}(c(a)(a(a)(a(a)(x1)))) -> c{(a),#}(a(a)(x1)) 106.51/27.54 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 106.51/27.54 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> b{(c),#}(c(c)(c(c)(x1))) 106.51/27.54 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 106.51/27.54 c{(c),#}(c(a)(a(a)(a(c)(x1)))) -> c{(a),#}(a(c)(c(a)(a(c)(x1)))) 106.51/27.54 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 106.51/27.54 c{(c),#}(c(a)(a(a)(a(c)(x1)))) -> a{(c),#}(c(a)(a(c)(x1))) 106.51/27.54 c{(c),#}(c(a)(a(a)(a(c)(x1)))) -> c{(a),#}(a(c)(x1)) 106.51/27.54 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 106.51/27.54 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> a{(b),#}(b(c)(c(c)(c(c)(x1)))) 106.51/27.54 a{(b),#}(b(c)(c(c)(x1))) -> a{(a),#}(a(c)(x1)) 106.51/27.54 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> b{(c),#}(c(c)(c(c)(x1))) 106.51/27.54 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 106.51/27.54 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 106.51/27.54 a{(b),#}(b(c)(c(c)(x1))) -> a{(c),#}(x1) 106.51/27.54 TRS: 106.51/27.54 c(c)(c(a)(a(a)(a(c)(x1)))) -> c(a)(a(c)(c(a)(a(c)(x1)))) 106.51/27.54 c(c)(c(a)(a(a)(a(a)(x1)))) -> c(a)(a(c)(c(a)(a(a)(x1)))) 106.51/27.54 c(c)(c(a)(a(a)(a(b)(x1)))) -> c(a)(a(c)(c(a)(a(b)(x1)))) 106.51/27.54 a(c)(c(a)(a(a)(a(c)(x1)))) -> a(a)(a(c)(c(a)(a(c)(x1)))) 106.51/27.55 a(c)(c(a)(a(a)(a(a)(x1)))) -> a(a)(a(c)(c(a)(a(a)(x1)))) 106.51/27.55 a(c)(c(a)(a(a)(a(b)(x1)))) -> a(a)(a(c)(c(a)(a(b)(x1)))) 106.51/27.55 b(c)(c(a)(a(a)(a(c)(x1)))) -> b(a)(a(c)(c(a)(a(c)(x1)))) 106.51/27.55 b(c)(c(a)(a(a)(a(a)(x1)))) -> b(a)(a(c)(c(a)(a(a)(x1)))) 106.51/27.55 b(c)(c(a)(a(a)(a(b)(x1)))) -> b(a)(a(c)(c(a)(a(b)(x1)))) 106.51/27.55 c(a)(a(b)(b(a)(a(c)(x1)))) -> c(b)(b(c)(c(c)(c(c)(x1)))) 106.51/27.55 c(a)(a(b)(b(a)(a(a)(x1)))) -> c(b)(b(c)(c(c)(c(a)(x1)))) 106.51/27.55 c(a)(a(b)(b(a)(a(b)(x1)))) -> c(b)(b(c)(c(c)(c(b)(x1)))) 106.51/27.55 a(a)(a(b)(b(a)(a(c)(x1)))) -> a(b)(b(c)(c(c)(c(c)(x1)))) 106.51/27.55 a(a)(a(b)(b(a)(a(a)(x1)))) -> a(b)(b(c)(c(c)(c(a)(x1)))) 106.51/27.55 a(a)(a(b)(b(a)(a(b)(x1)))) -> a(b)(b(c)(c(c)(c(b)(x1)))) 106.51/27.55 b(a)(a(b)(b(a)(a(c)(x1)))) -> b(b)(b(c)(c(c)(c(c)(x1)))) 106.51/27.55 b(a)(a(b)(b(a)(a(a)(x1)))) -> b(b)(b(c)(c(c)(c(a)(x1)))) 106.51/27.55 b(a)(a(b)(b(a)(a(b)(x1)))) -> b(b)(b(c)(c(c)(c(b)(x1)))) 106.51/27.55 c(a)(a(b)(b(b)(b(c)(x1)))) -> c(b)(b(b)(b(a)(a(c)(x1)))) 106.51/27.55 c(a)(a(b)(b(b)(b(a)(x1)))) -> c(b)(b(b)(b(a)(a(a)(x1)))) 106.51/27.55 c(a)(a(b)(b(b)(b(b)(x1)))) -> c(b)(b(b)(b(a)(a(b)(x1)))) 106.51/27.55 a(a)(a(b)(b(b)(b(c)(x1)))) -> a(b)(b(b)(b(a)(a(c)(x1)))) 106.51/27.55 a(a)(a(b)(b(b)(b(a)(x1)))) -> a(b)(b(b)(b(a)(a(a)(x1)))) 106.51/27.55 a(a)(a(b)(b(b)(b(b)(x1)))) -> a(b)(b(b)(b(a)(a(b)(x1)))) 106.51/27.55 b(a)(a(b)(b(b)(b(c)(x1)))) -> b(b)(b(b)(b(a)(a(c)(x1)))) 106.51/27.55 b(a)(a(b)(b(b)(b(a)(x1)))) -> b(b)(b(b)(b(a)(a(a)(x1)))) 106.51/27.55 b(a)(a(b)(b(b)(b(b)(x1)))) -> b(b)(b(b)(b(a)(a(b)(x1)))) 106.51/27.55 a(b)(b(c)(c(c)(x1))) -> a(a)(a(a)(a(c)(x1))) 106.51/27.55 a(b)(b(c)(c(a)(x1))) -> a(a)(a(a)(a(a)(x1))) 106.51/27.55 a(b)(b(c)(c(b)(x1))) -> a(a)(a(a)(a(b)(x1))) 106.51/27.55 c(a)(a(c)(c(a)(a(c)(x1)))) -> c(b)(b(b)(b(b)(b(c)(x1)))) 106.51/27.55 c(a)(a(c)(c(a)(a(a)(x1)))) -> c(b)(b(b)(b(b)(b(a)(x1)))) 106.51/27.55 c(a)(a(c)(c(a)(a(b)(x1)))) -> c(b)(b(b)(b(b)(b(b)(x1)))) 106.51/27.55 a(a)(a(c)(c(a)(a(c)(x1)))) -> a(b)(b(b)(b(b)(b(c)(x1)))) 106.51/27.55 a(a)(a(c)(c(a)(a(a)(x1)))) -> a(b)(b(b)(b(b)(b(a)(x1)))) 106.51/27.55 a(a)(a(c)(c(a)(a(b)(x1)))) -> a(b)(b(b)(b(b)(b(b)(x1)))) 106.51/27.55 b(a)(a(c)(c(a)(a(c)(x1)))) -> b(b)(b(b)(b(b)(b(c)(x1)))) 106.51/27.55 b(a)(a(c)(c(a)(a(a)(x1)))) -> b(b)(b(b)(b(b)(b(a)(x1)))) 106.51/27.55 b(a)(a(c)(c(a)(a(b)(x1)))) -> b(b)(b(b)(b(b)(b(b)(x1)))) 106.51/27.55 c(a)(a(b)(b(b)(b(c)(x1)))) -> c(c)(c(c)(c(b)(b(c)(x1)))) 106.51/27.55 c(a)(a(b)(b(b)(b(a)(x1)))) -> c(c)(c(c)(c(b)(b(a)(x1)))) 106.51/27.55 c(a)(a(b)(b(b)(b(b)(x1)))) -> c(c)(c(c)(c(b)(b(b)(x1)))) 106.51/27.55 a(a)(a(b)(b(b)(b(c)(x1)))) -> a(c)(c(c)(c(b)(b(c)(x1)))) 106.51/27.55 a(a)(a(b)(b(b)(b(a)(x1)))) -> a(c)(c(c)(c(b)(b(a)(x1)))) 106.51/27.55 a(a)(a(b)(b(b)(b(b)(x1)))) -> a(c)(c(c)(c(b)(b(b)(x1)))) 106.51/27.55 b(a)(a(b)(b(b)(b(c)(x1)))) -> b(c)(c(c)(c(b)(b(c)(x1)))) 106.51/27.55 b(a)(a(b)(b(b)(b(a)(x1)))) -> b(c)(c(c)(c(b)(b(a)(x1)))) 106.51/27.55 b(a)(a(b)(b(b)(b(b)(x1)))) -> b(c)(c(c)(c(b)(b(b)(x1)))) 106.51/27.55 Subterm Criterion Processor: 106.51/27.55 simple projection: 106.51/27.55 pi(c(c)) = [0,0] 106.51/27.55 pi(c(a)) = [0,0] 106.51/27.55 pi(a(a)) = [0,0] 106.51/27.55 pi(a(c)) = [0,0] 106.51/27.55 pi(a(b)) = [0,0] 106.51/27.55 pi(b(c)) = [0,0] 106.51/27.55 pi(b(a)) = [0,0] 106.51/27.55 pi(c(b)) = [0,0] 106.51/27.55 pi(b(b)) = [0,0] 106.51/27.55 pi(c{(c),#}) = [0,0] 106.51/27.55 pi(c{(a),#}) = 0 106.51/27.55 pi(a{(c),#}) = [0,0] 106.51/27.55 pi(a{(a),#}) = 0 106.51/27.55 pi(b{(c),#}) = [0,0] 106.51/27.55 pi(b{(a),#}) = [0,0] 106.51/27.55 pi(a{(b),#}) = 0 106.51/27.55 problem: 106.51/27.55 DPs: 106.51/27.55 a{(b),#}(b(c)(c(b)(x1))) -> a{(a),#}(a(a)(a(b)(x1))) 106.51/27.55 b{(c),#}(c(a)(a(a)(a(b)(x1)))) -> b{(a),#}(a(c)(c(a)(a(b)(x1)))) 106.51/27.55 a{(b),#}(b(c)(c(a)(x1))) -> a{(a),#}(a(a)(a(a)(x1))) 106.51/27.55 b{(c),#}(c(a)(a(a)(a(a)(x1)))) -> b{(a),#}(a(c)(c(a)(a(a)(x1)))) 106.51/27.55 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> a{(b),#}(b(c)(c(c)(c(b)(x1)))) 106.51/27.55 a{(b),#}(b(c)(c(c)(x1))) -> a{(a),#}(a(a)(a(c)(x1))) 106.51/27.55 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> a{(b),#}(b(c)(c(c)(c(a)(x1)))) 106.51/27.55 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> b{(c),#}(c(c)(c(a)(x1))) 106.51/27.55 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> b{(c),#}(c(c)(c(a)(x1))) 106.51/27.55 b{(c),#}(c(a)(a(a)(a(c)(x1)))) -> b{(a),#}(a(c)(c(a)(a(c)(x1)))) 106.53/27.56 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> b{(c),#}(c(c)(c(c)(x1))) 106.53/27.56 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> a{(b),#}(b(c)(c(c)(c(c)(x1)))) 106.53/27.56 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> b{(c),#}(c(c)(c(c)(x1))) 106.53/27.56 TRS: 106.53/27.56 c(c)(c(a)(a(a)(a(c)(x1)))) -> c(a)(a(c)(c(a)(a(c)(x1)))) 106.53/27.56 c(c)(c(a)(a(a)(a(a)(x1)))) -> c(a)(a(c)(c(a)(a(a)(x1)))) 106.53/27.56 c(c)(c(a)(a(a)(a(b)(x1)))) -> c(a)(a(c)(c(a)(a(b)(x1)))) 106.53/27.56 a(c)(c(a)(a(a)(a(c)(x1)))) -> a(a)(a(c)(c(a)(a(c)(x1)))) 106.53/27.56 a(c)(c(a)(a(a)(a(a)(x1)))) -> a(a)(a(c)(c(a)(a(a)(x1)))) 106.53/27.56 a(c)(c(a)(a(a)(a(b)(x1)))) -> a(a)(a(c)(c(a)(a(b)(x1)))) 106.53/27.56 b(c)(c(a)(a(a)(a(c)(x1)))) -> b(a)(a(c)(c(a)(a(c)(x1)))) 106.53/27.56 b(c)(c(a)(a(a)(a(a)(x1)))) -> b(a)(a(c)(c(a)(a(a)(x1)))) 106.53/27.56 b(c)(c(a)(a(a)(a(b)(x1)))) -> b(a)(a(c)(c(a)(a(b)(x1)))) 106.53/27.56 c(a)(a(b)(b(a)(a(c)(x1)))) -> c(b)(b(c)(c(c)(c(c)(x1)))) 106.53/27.56 c(a)(a(b)(b(a)(a(a)(x1)))) -> c(b)(b(c)(c(c)(c(a)(x1)))) 106.53/27.56 c(a)(a(b)(b(a)(a(b)(x1)))) -> c(b)(b(c)(c(c)(c(b)(x1)))) 106.53/27.56 a(a)(a(b)(b(a)(a(c)(x1)))) -> a(b)(b(c)(c(c)(c(c)(x1)))) 106.53/27.56 a(a)(a(b)(b(a)(a(a)(x1)))) -> a(b)(b(c)(c(c)(c(a)(x1)))) 106.53/27.56 a(a)(a(b)(b(a)(a(b)(x1)))) -> a(b)(b(c)(c(c)(c(b)(x1)))) 106.53/27.56 b(a)(a(b)(b(a)(a(c)(x1)))) -> b(b)(b(c)(c(c)(c(c)(x1)))) 106.53/27.56 b(a)(a(b)(b(a)(a(a)(x1)))) -> b(b)(b(c)(c(c)(c(a)(x1)))) 106.53/27.56 b(a)(a(b)(b(a)(a(b)(x1)))) -> b(b)(b(c)(c(c)(c(b)(x1)))) 106.53/27.56 c(a)(a(b)(b(b)(b(c)(x1)))) -> c(b)(b(b)(b(a)(a(c)(x1)))) 106.53/27.56 c(a)(a(b)(b(b)(b(a)(x1)))) -> c(b)(b(b)(b(a)(a(a)(x1)))) 106.53/27.56 c(a)(a(b)(b(b)(b(b)(x1)))) -> c(b)(b(b)(b(a)(a(b)(x1)))) 106.53/27.56 a(a)(a(b)(b(b)(b(c)(x1)))) -> a(b)(b(b)(b(a)(a(c)(x1)))) 106.53/27.56 a(a)(a(b)(b(b)(b(a)(x1)))) -> a(b)(b(b)(b(a)(a(a)(x1)))) 106.53/27.56 a(a)(a(b)(b(b)(b(b)(x1)))) -> a(b)(b(b)(b(a)(a(b)(x1)))) 106.53/27.56 b(a)(a(b)(b(b)(b(c)(x1)))) -> b(b)(b(b)(b(a)(a(c)(x1)))) 106.53/27.56 b(a)(a(b)(b(b)(b(a)(x1)))) -> b(b)(b(b)(b(a)(a(a)(x1)))) 106.53/27.56 b(a)(a(b)(b(b)(b(b)(x1)))) -> b(b)(b(b)(b(a)(a(b)(x1)))) 106.53/27.56 a(b)(b(c)(c(c)(x1))) -> a(a)(a(a)(a(c)(x1))) 106.53/27.56 a(b)(b(c)(c(a)(x1))) -> a(a)(a(a)(a(a)(x1))) 106.53/27.56 a(b)(b(c)(c(b)(x1))) -> a(a)(a(a)(a(b)(x1))) 106.53/27.56 c(a)(a(c)(c(a)(a(c)(x1)))) -> c(b)(b(b)(b(b)(b(c)(x1)))) 106.53/27.56 c(a)(a(c)(c(a)(a(a)(x1)))) -> c(b)(b(b)(b(b)(b(a)(x1)))) 106.53/27.56 c(a)(a(c)(c(a)(a(b)(x1)))) -> c(b)(b(b)(b(b)(b(b)(x1)))) 106.53/27.56 a(a)(a(c)(c(a)(a(c)(x1)))) -> a(b)(b(b)(b(b)(b(c)(x1)))) 106.53/27.56 a(a)(a(c)(c(a)(a(a)(x1)))) -> a(b)(b(b)(b(b)(b(a)(x1)))) 106.53/27.56 a(a)(a(c)(c(a)(a(b)(x1)))) -> a(b)(b(b)(b(b)(b(b)(x1)))) 106.53/27.56 b(a)(a(c)(c(a)(a(c)(x1)))) -> b(b)(b(b)(b(b)(b(c)(x1)))) 106.53/27.56 b(a)(a(c)(c(a)(a(a)(x1)))) -> b(b)(b(b)(b(b)(b(a)(x1)))) 106.53/27.56 b(a)(a(c)(c(a)(a(b)(x1)))) -> b(b)(b(b)(b(b)(b(b)(x1)))) 106.53/27.56 c(a)(a(b)(b(b)(b(c)(x1)))) -> c(c)(c(c)(c(b)(b(c)(x1)))) 106.53/27.56 c(a)(a(b)(b(b)(b(a)(x1)))) -> c(c)(c(c)(c(b)(b(a)(x1)))) 106.53/27.56 c(a)(a(b)(b(b)(b(b)(x1)))) -> c(c)(c(c)(c(b)(b(b)(x1)))) 106.53/27.56 a(a)(a(b)(b(b)(b(c)(x1)))) -> a(c)(c(c)(c(b)(b(c)(x1)))) 106.53/27.56 a(a)(a(b)(b(b)(b(a)(x1)))) -> a(c)(c(c)(c(b)(b(a)(x1)))) 106.53/27.56 a(a)(a(b)(b(b)(b(b)(x1)))) -> a(c)(c(c)(c(b)(b(b)(x1)))) 106.53/27.56 b(a)(a(b)(b(b)(b(c)(x1)))) -> b(c)(c(c)(c(b)(b(c)(x1)))) 106.53/27.56 b(a)(a(b)(b(b)(b(a)(x1)))) -> b(c)(c(c)(c(b)(b(a)(x1)))) 106.53/27.56 b(a)(a(b)(b(b)(b(b)(x1)))) -> b(c)(c(c)(c(b)(b(b)(x1)))) 106.53/27.56 SCC Processor: 106.53/27.56 #sccs: 1 106.53/27.56 #rules: 6 106.53/27.56 #arcs: 977/169 106.53/27.56 DPs: 106.53/27.56 a{(b),#}(b(c)(c(b)(x1))) -> a{(a),#}(a(a)(a(b)(x1))) 106.53/27.56 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> a{(b),#}(b(c)(c(c)(c(b)(x1)))) 106.53/27.56 a{(b),#}(b(c)(c(c)(x1))) -> a{(a),#}(a(a)(a(c)(x1))) 106.53/27.56 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> a{(b),#}(b(c)(c(c)(c(a)(x1)))) 106.53/27.56 a{(b),#}(b(c)(c(a)(x1))) -> a{(a),#}(a(a)(a(a)(x1))) 106.53/27.56 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> a{(b),#}(b(c)(c(c)(c(c)(x1)))) 106.53/27.56 TRS: 106.53/27.56 c(c)(c(a)(a(a)(a(c)(x1)))) -> c(a)(a(c)(c(a)(a(c)(x1)))) 106.53/27.56 c(c)(c(a)(a(a)(a(a)(x1)))) -> c(a)(a(c)(c(a)(a(a)(x1)))) 106.53/27.56 c(c)(c(a)(a(a)(a(b)(x1)))) -> c(a)(a(c)(c(a)(a(b)(x1)))) 106.53/27.57 a(c)(c(a)(a(a)(a(c)(x1)))) -> a(a)(a(c)(c(a)(a(c)(x1)))) 106.53/27.57 a(c)(c(a)(a(a)(a(a)(x1)))) -> a(a)(a(c)(c(a)(a(a)(x1)))) 106.53/27.57 a(c)(c(a)(a(a)(a(b)(x1)))) -> a(a)(a(c)(c(a)(a(b)(x1)))) 106.53/27.57 b(c)(c(a)(a(a)(a(c)(x1)))) -> b(a)(a(c)(c(a)(a(c)(x1)))) 106.53/27.57 b(c)(c(a)(a(a)(a(a)(x1)))) -> b(a)(a(c)(c(a)(a(a)(x1)))) 106.53/27.57 b(c)(c(a)(a(a)(a(b)(x1)))) -> b(a)(a(c)(c(a)(a(b)(x1)))) 106.53/27.57 c(a)(a(b)(b(a)(a(c)(x1)))) -> c(b)(b(c)(c(c)(c(c)(x1)))) 106.53/27.57 c(a)(a(b)(b(a)(a(a)(x1)))) -> c(b)(b(c)(c(c)(c(a)(x1)))) 106.53/27.57 c(a)(a(b)(b(a)(a(b)(x1)))) -> c(b)(b(c)(c(c)(c(b)(x1)))) 106.53/27.57 a(a)(a(b)(b(a)(a(c)(x1)))) -> a(b)(b(c)(c(c)(c(c)(x1)))) 106.53/27.57 a(a)(a(b)(b(a)(a(a)(x1)))) -> a(b)(b(c)(c(c)(c(a)(x1)))) 106.53/27.57 a(a)(a(b)(b(a)(a(b)(x1)))) -> a(b)(b(c)(c(c)(c(b)(x1)))) 106.53/27.57 b(a)(a(b)(b(a)(a(c)(x1)))) -> b(b)(b(c)(c(c)(c(c)(x1)))) 106.53/27.57 b(a)(a(b)(b(a)(a(a)(x1)))) -> b(b)(b(c)(c(c)(c(a)(x1)))) 106.53/27.57 b(a)(a(b)(b(a)(a(b)(x1)))) -> b(b)(b(c)(c(c)(c(b)(x1)))) 106.53/27.57 c(a)(a(b)(b(b)(b(c)(x1)))) -> c(b)(b(b)(b(a)(a(c)(x1)))) 106.53/27.57 c(a)(a(b)(b(b)(b(a)(x1)))) -> c(b)(b(b)(b(a)(a(a)(x1)))) 106.53/27.57 c(a)(a(b)(b(b)(b(b)(x1)))) -> c(b)(b(b)(b(a)(a(b)(x1)))) 106.53/27.57 a(a)(a(b)(b(b)(b(c)(x1)))) -> a(b)(b(b)(b(a)(a(c)(x1)))) 106.53/27.57 a(a)(a(b)(b(b)(b(a)(x1)))) -> a(b)(b(b)(b(a)(a(a)(x1)))) 106.53/27.57 a(a)(a(b)(b(b)(b(b)(x1)))) -> a(b)(b(b)(b(a)(a(b)(x1)))) 106.53/27.57 b(a)(a(b)(b(b)(b(c)(x1)))) -> b(b)(b(b)(b(a)(a(c)(x1)))) 106.53/27.57 b(a)(a(b)(b(b)(b(a)(x1)))) -> b(b)(b(b)(b(a)(a(a)(x1)))) 106.53/27.57 b(a)(a(b)(b(b)(b(b)(x1)))) -> b(b)(b(b)(b(a)(a(b)(x1)))) 106.53/27.57 a(b)(b(c)(c(c)(x1))) -> a(a)(a(a)(a(c)(x1))) 106.53/27.57 a(b)(b(c)(c(a)(x1))) -> a(a)(a(a)(a(a)(x1))) 106.53/27.57 a(b)(b(c)(c(b)(x1))) -> a(a)(a(a)(a(b)(x1))) 106.53/27.57 c(a)(a(c)(c(a)(a(c)(x1)))) -> c(b)(b(b)(b(b)(b(c)(x1)))) 106.53/27.57 c(a)(a(c)(c(a)(a(a)(x1)))) -> c(b)(b(b)(b(b)(b(a)(x1)))) 106.53/27.57 c(a)(a(c)(c(a)(a(b)(x1)))) -> c(b)(b(b)(b(b)(b(b)(x1)))) 106.53/27.57 a(a)(a(c)(c(a)(a(c)(x1)))) -> a(b)(b(b)(b(b)(b(c)(x1)))) 106.53/27.57 a(a)(a(c)(c(a)(a(a)(x1)))) -> a(b)(b(b)(b(b)(b(a)(x1)))) 106.53/27.57 a(a)(a(c)(c(a)(a(b)(x1)))) -> a(b)(b(b)(b(b)(b(b)(x1)))) 106.53/27.57 b(a)(a(c)(c(a)(a(c)(x1)))) -> b(b)(b(b)(b(b)(b(c)(x1)))) 106.53/27.57 b(a)(a(c)(c(a)(a(a)(x1)))) -> b(b)(b(b)(b(b)(b(a)(x1)))) 106.53/27.57 b(a)(a(c)(c(a)(a(b)(x1)))) -> b(b)(b(b)(b(b)(b(b)(x1)))) 106.53/27.57 c(a)(a(b)(b(b)(b(c)(x1)))) -> c(c)(c(c)(c(b)(b(c)(x1)))) 106.53/27.57 c(a)(a(b)(b(b)(b(a)(x1)))) -> c(c)(c(c)(c(b)(b(a)(x1)))) 106.53/27.57 c(a)(a(b)(b(b)(b(b)(x1)))) -> c(c)(c(c)(c(b)(b(b)(x1)))) 106.53/27.57 a(a)(a(b)(b(b)(b(c)(x1)))) -> a(c)(c(c)(c(b)(b(c)(x1)))) 106.53/27.57 a(a)(a(b)(b(b)(b(a)(x1)))) -> a(c)(c(c)(c(b)(b(a)(x1)))) 106.53/27.57 a(a)(a(b)(b(b)(b(b)(x1)))) -> a(c)(c(c)(c(b)(b(b)(x1)))) 106.53/27.57 b(a)(a(b)(b(b)(b(c)(x1)))) -> b(c)(c(c)(c(b)(b(c)(x1)))) 106.53/27.57 b(a)(a(b)(b(b)(b(a)(x1)))) -> b(c)(c(c)(c(b)(b(a)(x1)))) 106.53/27.57 b(a)(a(b)(b(b)(b(b)(x1)))) -> b(c)(c(c)(c(b)(b(b)(x1)))) 106.53/27.57 Bounds Processor: 106.53/27.57 bound: 0 106.53/27.57 enrichment: match-dp 106.53/27.57 automaton: 106.53/27.57 final states: {5} 106.53/27.57 transitions: 106.53/27.57 f190() -> 6* 106.53/27.57 a{(a),#,0}(35) -> 36* 106.53/27.57 a{(a),0}(34) -> 35* 106.53/27.57 a{(b),#,0}(9) -> 5* 106.53/27.57 b{(c),0}(8) -> 9* 106.53/27.57 c{(c),0}(7) -> 8* 106.53/27.57 c{(b),0}(6) -> 7* 106.53/27.57 a{(c),0}(33) -> 34* 106.53/27.57 7 -> 33* 106.53/27.57 36 -> 5* 106.53/27.57 problem: 106.53/27.57 DPs: 106.53/27.57 a{(b),#}(b(c)(c(b)(x1))) -> a{(a),#}(a(a)(a(b)(x1))) 106.53/27.57 a{(b),#}(b(c)(c(c)(x1))) -> a{(a),#}(a(a)(a(c)(x1))) 106.53/27.57 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> a{(b),#}(b(c)(c(c)(c(a)(x1)))) 106.53/27.57 a{(b),#}(b(c)(c(a)(x1))) -> a{(a),#}(a(a)(a(a)(x1))) 106.53/27.57 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> a{(b),#}(b(c)(c(c)(c(c)(x1)))) 106.53/27.57 TRS: 106.53/27.57 c(c)(c(a)(a(a)(a(c)(x1)))) -> c(a)(a(c)(c(a)(a(c)(x1)))) 106.53/27.57 c(c)(c(a)(a(a)(a(a)(x1)))) -> c(a)(a(c)(c(a)(a(a)(x1)))) 106.53/27.57 c(c)(c(a)(a(a)(a(b)(x1)))) -> c(a)(a(c)(c(a)(a(b)(x1)))) 106.53/27.57 a(c)(c(a)(a(a)(a(c)(x1)))) -> a(a)(a(c)(c(a)(a(c)(x1)))) 106.53/27.57 a(c)(c(a)(a(a)(a(a)(x1)))) -> a(a)(a(c)(c(a)(a(a)(x1)))) 106.53/27.57 a(c)(c(a)(a(a)(a(b)(x1)))) -> a(a)(a(c)(c(a)(a(b)(x1)))) 106.53/27.57 b(c)(c(a)(a(a)(a(c)(x1)))) -> b(a)(a(c)(c(a)(a(c)(x1)))) 106.53/27.57 b(c)(c(a)(a(a)(a(a)(x1)))) -> b(a)(a(c)(c(a)(a(a)(x1)))) 106.53/27.57 b(c)(c(a)(a(a)(a(b)(x1)))) -> b(a)(a(c)(c(a)(a(b)(x1)))) 106.53/27.57 c(a)(a(b)(b(a)(a(c)(x1)))) -> c(b)(b(c)(c(c)(c(c)(x1)))) 106.53/27.57 c(a)(a(b)(b(a)(a(a)(x1)))) -> c(b)(b(c)(c(c)(c(a)(x1)))) 106.53/27.57 c(a)(a(b)(b(a)(a(b)(x1)))) -> c(b)(b(c)(c(c)(c(b)(x1)))) 106.53/27.57 a(a)(a(b)(b(a)(a(c)(x1)))) -> a(b)(b(c)(c(c)(c(c)(x1)))) 106.53/27.57 a(a)(a(b)(b(a)(a(a)(x1)))) -> a(b)(b(c)(c(c)(c(a)(x1)))) 106.53/27.57 a(a)(a(b)(b(a)(a(b)(x1)))) -> a(b)(b(c)(c(c)(c(b)(x1)))) 106.53/27.57 b(a)(a(b)(b(a)(a(c)(x1)))) -> b(b)(b(c)(c(c)(c(c)(x1)))) 106.53/27.57 b(a)(a(b)(b(a)(a(a)(x1)))) -> b(b)(b(c)(c(c)(c(a)(x1)))) 106.53/27.57 b(a)(a(b)(b(a)(a(b)(x1)))) -> b(b)(b(c)(c(c)(c(b)(x1)))) 106.53/27.57 c(a)(a(b)(b(b)(b(c)(x1)))) -> c(b)(b(b)(b(a)(a(c)(x1)))) 106.53/27.57 c(a)(a(b)(b(b)(b(a)(x1)))) -> c(b)(b(b)(b(a)(a(a)(x1)))) 106.53/27.57 c(a)(a(b)(b(b)(b(b)(x1)))) -> c(b)(b(b)(b(a)(a(b)(x1)))) 106.53/27.57 a(a)(a(b)(b(b)(b(c)(x1)))) -> a(b)(b(b)(b(a)(a(c)(x1)))) 106.53/27.57 a(a)(a(b)(b(b)(b(a)(x1)))) -> a(b)(b(b)(b(a)(a(a)(x1)))) 106.53/27.57 a(a)(a(b)(b(b)(b(b)(x1)))) -> a(b)(b(b)(b(a)(a(b)(x1)))) 106.53/27.57 b(a)(a(b)(b(b)(b(c)(x1)))) -> b(b)(b(b)(b(a)(a(c)(x1)))) 106.53/27.57 b(a)(a(b)(b(b)(b(a)(x1)))) -> b(b)(b(b)(b(a)(a(a)(x1)))) 106.53/27.57 b(a)(a(b)(b(b)(b(b)(x1)))) -> b(b)(b(b)(b(a)(a(b)(x1)))) 106.53/27.57 a(b)(b(c)(c(c)(x1))) -> a(a)(a(a)(a(c)(x1))) 106.53/27.57 a(b)(b(c)(c(a)(x1))) -> a(a)(a(a)(a(a)(x1))) 106.53/27.57 a(b)(b(c)(c(b)(x1))) -> a(a)(a(a)(a(b)(x1))) 106.53/27.57 c(a)(a(c)(c(a)(a(c)(x1)))) -> c(b)(b(b)(b(b)(b(c)(x1)))) 106.53/27.57 c(a)(a(c)(c(a)(a(a)(x1)))) -> c(b)(b(b)(b(b)(b(a)(x1)))) 106.53/27.57 c(a)(a(c)(c(a)(a(b)(x1)))) -> c(b)(b(b)(b(b)(b(b)(x1)))) 106.53/27.57 a(a)(a(c)(c(a)(a(c)(x1)))) -> a(b)(b(b)(b(b)(b(c)(x1)))) 106.53/27.57 a(a)(a(c)(c(a)(a(a)(x1)))) -> a(b)(b(b)(b(b)(b(a)(x1)))) 106.53/27.57 a(a)(a(c)(c(a)(a(b)(x1)))) -> a(b)(b(b)(b(b)(b(b)(x1)))) 106.53/27.57 b(a)(a(c)(c(a)(a(c)(x1)))) -> b(b)(b(b)(b(b)(b(c)(x1)))) 106.53/27.57 b(a)(a(c)(c(a)(a(a)(x1)))) -> b(b)(b(b)(b(b)(b(a)(x1)))) 106.53/27.57 b(a)(a(c)(c(a)(a(b)(x1)))) -> b(b)(b(b)(b(b)(b(b)(x1)))) 106.53/27.57 c(a)(a(b)(b(b)(b(c)(x1)))) -> c(c)(c(c)(c(b)(b(c)(x1)))) 106.53/27.57 c(a)(a(b)(b(b)(b(a)(x1)))) -> c(c)(c(c)(c(b)(b(a)(x1)))) 106.53/27.57 c(a)(a(b)(b(b)(b(b)(x1)))) -> c(c)(c(c)(c(b)(b(b)(x1)))) 106.53/27.57 a(a)(a(b)(b(b)(b(c)(x1)))) -> a(c)(c(c)(c(b)(b(c)(x1)))) 106.53/27.57 a(a)(a(b)(b(b)(b(a)(x1)))) -> a(c)(c(c)(c(b)(b(a)(x1)))) 106.53/27.57 a(a)(a(b)(b(b)(b(b)(x1)))) -> a(c)(c(c)(c(b)(b(b)(x1)))) 106.53/27.57 b(a)(a(b)(b(b)(b(c)(x1)))) -> b(c)(c(c)(c(b)(b(c)(x1)))) 106.53/27.57 b(a)(a(b)(b(b)(b(a)(x1)))) -> b(c)(c(c)(c(b)(b(a)(x1)))) 106.53/27.57 b(a)(a(b)(b(b)(b(b)(x1)))) -> b(c)(c(c)(c(b)(b(b)(x1)))) 106.53/27.57 Semantic Labeling Processor: 106.53/27.57 dimension: 1 106.53/27.57 usable rules: 106.53/27.57 106.53/27.57 interpretation: 106.53/27.57 [b(b)](x0) = 0, 106.53/27.57 106.53/27.57 [c(b)](x0) = x0, 106.53/27.57 106.53/27.57 [b(a)](x0) = 1, 106.53/27.57 106.53/27.57 [b(c)](x0) = x0 + 1, 106.53/27.57 106.53/27.57 [a(b)](x0) = x0, 106.53/27.57 106.53/27.57 [a(c)](x0) = 0, 106.53/27.57 106.53/27.57 [a(a)](x0) = x0, 106.53/27.57 106.53/27.57 [c(a)](x0) = x0, 106.53/27.57 106.53/27.57 [c(c)](x0) = 0 106.53/27.57 labeled: 106.53/27.57 a{(b),#} 106.53/27.57 b(c) 106.53/27.57 a{(a),#} 106.53/27.57 usable (for model): 106.53/27.57 a{(b),#} 106.53/27.57 b(c) 106.53/27.57 c(b) 106.53/27.57 a{(a),#} 106.53/27.57 a(a) 106.53/27.57 a(b) 106.53/27.57 c(c) 106.53/27.57 a(c) 106.53/27.57 b(a) 106.53/27.57 c(a) 106.53/27.57 b(b) 106.53/27.57 argument filtering: 106.53/27.57 pi(c(c)) = 0 106.53/27.57 pi(c(a)) = [] 106.53/27.57 pi(a(a)) = [] 106.53/27.57 pi(a(c)) = 0 106.53/27.57 pi(a(b)) = [] 106.53/27.57 pi(b(c)) = [] 106.53/27.57 pi(b(a)) = [] 106.53/27.57 pi(c(b)) = [] 106.53/27.58 pi(b(b)) = [] 106.53/27.58 pi(a{(a),#}) = [] 106.53/27.58 pi(a{(b),#}) = [] 106.53/27.58 precedence: 106.53/27.58 a{(b),#} > a{(a),#} ~ b(b) ~ c(b) ~ b(a) ~ b(c) ~ a(b) ~ a(c) ~ a(a) ~ c(a) ~ c(c) 106.53/27.58 problem: 106.53/27.58 DPs: 106.53/27.58 106.53/27.58 TRS: 106.53/27.58 c(c)(c(a)(a(a)(a(c)(x1)))) -> c(a)(a(c)(c(a)(a(c)(x1)))) 106.53/27.58 c(c)(c(a)(a(a)(a(a)(x1)))) -> c(a)(a(c)(c(a)(a(a)(x1)))) 106.53/27.58 c(c)(c(a)(a(a)(a(b)(x1)))) -> c(a)(a(c)(c(a)(a(b)(x1)))) 106.53/27.58 a(c)(c(a)(a(a)(a(c)(x1)))) -> a(a)(a(c)(c(a)(a(c)(x1)))) 106.53/27.58 a(c)(c(a)(a(a)(a(a)(x1)))) -> a(a)(a(c)(c(a)(a(a)(x1)))) 106.53/27.58 a(c)(c(a)(a(a)(a(b)(x1)))) -> a(a)(a(c)(c(a)(a(b)(x1)))) 106.53/27.58 b(c)(c(a)(a(a)(a(c)(x1)))) -> b(a)(a(c)(c(a)(a(c)(x1)))) 106.53/27.58 b(c)(c(a)(a(a)(a(a)(x1)))) -> b(a)(a(c)(c(a)(a(a)(x1)))) 106.53/27.58 b(c)(c(a)(a(a)(a(b)(x1)))) -> b(a)(a(c)(c(a)(a(b)(x1)))) 106.53/27.58 c(a)(a(b)(b(a)(a(c)(x1)))) -> c(b)(b(c)(c(c)(c(c)(x1)))) 106.53/27.58 c(a)(a(b)(b(a)(a(a)(x1)))) -> c(b)(b(c)(c(c)(c(a)(x1)))) 106.53/27.58 c(a)(a(b)(b(a)(a(b)(x1)))) -> c(b)(b(c)(c(c)(c(b)(x1)))) 106.53/27.58 a(a)(a(b)(b(a)(a(c)(x1)))) -> a(b)(b(c)(c(c)(c(c)(x1)))) 106.53/27.58 a(a)(a(b)(b(a)(a(a)(x1)))) -> a(b)(b(c)(c(c)(c(a)(x1)))) 106.53/27.58 a(a)(a(b)(b(a)(a(b)(x1)))) -> a(b)(b(c)(c(c)(c(b)(x1)))) 106.53/27.58 b(a)(a(b)(b(a)(a(c)(x1)))) -> b(b)(b(c)(c(c)(c(c)(x1)))) 106.53/27.58 b(a)(a(b)(b(a)(a(a)(x1)))) -> b(b)(b(c)(c(c)(c(a)(x1)))) 106.53/27.58 b(a)(a(b)(b(a)(a(b)(x1)))) -> b(b)(b(c)(c(c)(c(b)(x1)))) 106.53/27.58 c(a)(a(b)(b(b)(b(c)(x1)))) -> c(b)(b(b)(b(a)(a(c)(x1)))) 106.53/27.58 c(a)(a(b)(b(b)(b(a)(x1)))) -> c(b)(b(b)(b(a)(a(a)(x1)))) 106.53/27.58 c(a)(a(b)(b(b)(b(b)(x1)))) -> c(b)(b(b)(b(a)(a(b)(x1)))) 106.53/27.58 a(a)(a(b)(b(b)(b(c)(x1)))) -> a(b)(b(b)(b(a)(a(c)(x1)))) 106.53/27.58 a(a)(a(b)(b(b)(b(a)(x1)))) -> a(b)(b(b)(b(a)(a(a)(x1)))) 106.53/27.58 a(a)(a(b)(b(b)(b(b)(x1)))) -> a(b)(b(b)(b(a)(a(b)(x1)))) 106.53/27.58 b(a)(a(b)(b(b)(b(c)(x1)))) -> b(b)(b(b)(b(a)(a(c)(x1)))) 106.53/27.58 b(a)(a(b)(b(b)(b(a)(x1)))) -> b(b)(b(b)(b(a)(a(a)(x1)))) 106.53/27.58 b(a)(a(b)(b(b)(b(b)(x1)))) -> b(b)(b(b)(b(a)(a(b)(x1)))) 106.53/27.58 a(b)(b(c)(c(c)(x1))) -> a(a)(a(a)(a(c)(x1))) 106.53/27.58 a(b)(b(c)(c(a)(x1))) -> a(a)(a(a)(a(a)(x1))) 106.53/27.58 a(b)(b(c)(c(b)(x1))) -> a(a)(a(a)(a(b)(x1))) 106.53/27.58 c(a)(a(c)(c(a)(a(c)(x1)))) -> c(b)(b(b)(b(b)(b(c)(x1)))) 106.53/27.58 c(a)(a(c)(c(a)(a(a)(x1)))) -> c(b)(b(b)(b(b)(b(a)(x1)))) 106.53/27.58 c(a)(a(c)(c(a)(a(b)(x1)))) -> c(b)(b(b)(b(b)(b(b)(x1)))) 106.53/27.58 a(a)(a(c)(c(a)(a(c)(x1)))) -> a(b)(b(b)(b(b)(b(c)(x1)))) 106.53/27.58 a(a)(a(c)(c(a)(a(a)(x1)))) -> a(b)(b(b)(b(b)(b(a)(x1)))) 106.53/27.58 a(a)(a(c)(c(a)(a(b)(x1)))) -> a(b)(b(b)(b(b)(b(b)(x1)))) 106.53/27.58 b(a)(a(c)(c(a)(a(c)(x1)))) -> b(b)(b(b)(b(b)(b(c)(x1)))) 106.53/27.58 b(a)(a(c)(c(a)(a(a)(x1)))) -> b(b)(b(b)(b(b)(b(a)(x1)))) 106.53/27.58 b(a)(a(c)(c(a)(a(b)(x1)))) -> b(b)(b(b)(b(b)(b(b)(x1)))) 106.53/27.58 c(a)(a(b)(b(b)(b(c)(x1)))) -> c(c)(c(c)(c(b)(b(c)(x1)))) 106.53/27.58 c(a)(a(b)(b(b)(b(a)(x1)))) -> c(c)(c(c)(c(b)(b(a)(x1)))) 106.53/27.58 c(a)(a(b)(b(b)(b(b)(x1)))) -> c(c)(c(c)(c(b)(b(b)(x1)))) 106.53/27.58 a(a)(a(b)(b(b)(b(c)(x1)))) -> a(c)(c(c)(c(b)(b(c)(x1)))) 106.53/27.58 a(a)(a(b)(b(b)(b(a)(x1)))) -> a(c)(c(c)(c(b)(b(a)(x1)))) 106.53/27.58 a(a)(a(b)(b(b)(b(b)(x1)))) -> a(c)(c(c)(c(b)(b(b)(x1)))) 106.53/27.58 b(a)(a(b)(b(b)(b(c)(x1)))) -> b(c)(c(c)(c(b)(b(c)(x1)))) 106.53/27.58 b(a)(a(b)(b(b)(b(a)(x1)))) -> b(c)(c(c)(c(b)(b(a)(x1)))) 106.53/27.58 b(a)(a(b)(b(b)(b(b)(x1)))) -> b(c)(c(c)(c(b)(b(b)(x1)))) 106.53/27.58 Qed 106.53/27.59 EOF