72.88/18.21 YES 72.88/18.22 72.88/18.22 Problem: 72.88/18.22 strict: 72.88/18.22 c(c(c(x1))) -> b(a(a(x1))) 72.88/18.22 a(b(a(x1))) -> a(b(b(x1))) 72.88/18.22 a(b(a(x1))) -> b(c(c(x1))) 72.88/18.22 a(c(b(x1))) -> a(a(c(x1))) 72.88/18.22 weak: 72.88/18.22 c(c(b(x1))) -> c(c(a(x1))) 72.88/18.22 a(b(c(x1))) -> c(a(c(x1))) 72.88/18.22 72.88/18.22 Proof: 72.88/18.22 Root-Labeling Processor: 72.88/18.22 strict: 72.88/18.22 c(c)(c(c)(c(c)(c(c)(x1)))) -> c(b)(b(a)(a(a)(a(c)(x1)))) 72.88/18.22 c(c)(c(c)(c(c)(c(b)(x1)))) -> c(b)(b(a)(a(a)(a(b)(x1)))) 72.88/18.22 c(c)(c(c)(c(c)(c(a)(x1)))) -> c(b)(b(a)(a(a)(a(a)(x1)))) 72.88/18.22 b(c)(c(c)(c(c)(c(c)(x1)))) -> b(b)(b(a)(a(a)(a(c)(x1)))) 72.88/18.22 b(c)(c(c)(c(c)(c(b)(x1)))) -> b(b)(b(a)(a(a)(a(b)(x1)))) 72.88/18.22 b(c)(c(c)(c(c)(c(a)(x1)))) -> b(b)(b(a)(a(a)(a(a)(x1)))) 72.88/18.22 a(c)(c(c)(c(c)(c(c)(x1)))) -> a(b)(b(a)(a(a)(a(c)(x1)))) 72.88/18.22 a(c)(c(c)(c(c)(c(b)(x1)))) -> a(b)(b(a)(a(a)(a(b)(x1)))) 72.88/18.22 a(c)(c(c)(c(c)(c(a)(x1)))) -> a(b)(b(a)(a(a)(a(a)(x1)))) 72.88/18.22 a(b)(b(a)(a(c)(x1))) -> a(b)(b(b)(b(c)(x1))) 72.88/18.22 a(b)(b(a)(a(b)(x1))) -> a(b)(b(b)(b(b)(x1))) 72.88/18.22 a(b)(b(a)(a(a)(x1))) -> a(b)(b(b)(b(a)(x1))) 72.88/18.22 c(a)(a(b)(b(a)(a(c)(x1)))) -> c(b)(b(c)(c(c)(c(c)(x1)))) 72.88/18.22 c(a)(a(b)(b(a)(a(b)(x1)))) -> c(b)(b(c)(c(c)(c(b)(x1)))) 72.88/18.22 c(a)(a(b)(b(a)(a(a)(x1)))) -> c(b)(b(c)(c(c)(c(a)(x1)))) 72.88/18.22 b(a)(a(b)(b(a)(a(c)(x1)))) -> b(b)(b(c)(c(c)(c(c)(x1)))) 72.88/18.22 b(a)(a(b)(b(a)(a(b)(x1)))) -> b(b)(b(c)(c(c)(c(b)(x1)))) 72.88/18.22 b(a)(a(b)(b(a)(a(a)(x1)))) -> b(b)(b(c)(c(c)(c(a)(x1)))) 72.88/18.22 a(a)(a(b)(b(a)(a(c)(x1)))) -> a(b)(b(c)(c(c)(c(c)(x1)))) 72.88/18.22 a(a)(a(b)(b(a)(a(b)(x1)))) -> a(b)(b(c)(c(c)(c(b)(x1)))) 72.88/18.22 a(a)(a(b)(b(a)(a(a)(x1)))) -> a(b)(b(c)(c(c)(c(a)(x1)))) 72.88/18.22 a(c)(c(b)(b(c)(x1))) -> a(a)(a(c)(c(c)(x1))) 72.88/18.22 a(c)(c(b)(b(b)(x1))) -> a(a)(a(c)(c(b)(x1))) 72.88/18.22 a(c)(c(b)(b(a)(x1))) -> a(a)(a(c)(c(a)(x1))) 72.88/18.22 weak: 72.88/18.22 c(c)(c(b)(b(c)(x1))) -> c(c)(c(a)(a(c)(x1))) 72.88/18.22 c(c)(c(b)(b(b)(x1))) -> c(c)(c(a)(a(b)(x1))) 72.88/18.22 c(c)(c(b)(b(a)(x1))) -> c(c)(c(a)(a(a)(x1))) 72.88/18.22 c(a)(a(b)(b(c)(c(c)(x1)))) -> c(c)(c(a)(a(c)(c(c)(x1)))) 72.88/18.22 c(a)(a(b)(b(c)(c(b)(x1)))) -> c(c)(c(a)(a(c)(c(b)(x1)))) 72.88/18.22 c(a)(a(b)(b(c)(c(a)(x1)))) -> c(c)(c(a)(a(c)(c(a)(x1)))) 72.88/18.22 b(a)(a(b)(b(c)(c(c)(x1)))) -> b(c)(c(a)(a(c)(c(c)(x1)))) 72.88/18.22 b(a)(a(b)(b(c)(c(b)(x1)))) -> b(c)(c(a)(a(c)(c(b)(x1)))) 72.88/18.22 b(a)(a(b)(b(c)(c(a)(x1)))) -> b(c)(c(a)(a(c)(c(a)(x1)))) 72.88/18.22 a(a)(a(b)(b(c)(c(c)(x1)))) -> a(c)(c(a)(a(c)(c(c)(x1)))) 72.88/18.22 a(a)(a(b)(b(c)(c(b)(x1)))) -> a(c)(c(a)(a(c)(c(b)(x1)))) 72.88/18.22 a(a)(a(b)(b(c)(c(a)(x1)))) -> a(c)(c(a)(a(c)(c(a)(x1)))) 72.88/18.22 RT Transformation Processor: 72.88/18.22 c(c)(c(c)(c(c)(c(c)(x1)))) -> c(b)(b(a)(a(a)(a(c)(x1)))) 72.88/18.22 c(c)(c(c)(c(c)(c(b)(x1)))) -> c(b)(b(a)(a(a)(a(b)(x1)))) 72.88/18.22 c(c)(c(c)(c(c)(c(a)(x1)))) -> c(b)(b(a)(a(a)(a(a)(x1)))) 72.88/18.22 b(c)(c(c)(c(c)(c(c)(x1)))) -> b(b)(b(a)(a(a)(a(c)(x1)))) 72.88/18.22 b(c)(c(c)(c(c)(c(b)(x1)))) -> b(b)(b(a)(a(a)(a(b)(x1)))) 72.88/18.22 b(c)(c(c)(c(c)(c(a)(x1)))) -> b(b)(b(a)(a(a)(a(a)(x1)))) 72.88/18.22 a(c)(c(c)(c(c)(c(c)(x1)))) -> a(b)(b(a)(a(a)(a(c)(x1)))) 72.88/18.22 a(c)(c(c)(c(c)(c(b)(x1)))) -> a(b)(b(a)(a(a)(a(b)(x1)))) 72.88/18.22 a(c)(c(c)(c(c)(c(a)(x1)))) -> a(b)(b(a)(a(a)(a(a)(x1)))) 72.88/18.22 a(b)(b(a)(a(c)(x1))) -> a(b)(b(b)(b(c)(x1))) 72.88/18.22 a(b)(b(a)(a(b)(x1))) -> a(b)(b(b)(b(b)(x1))) 72.88/18.22 a(b)(b(a)(a(a)(x1))) -> a(b)(b(b)(b(a)(x1))) 72.88/18.22 c(a)(a(b)(b(a)(a(c)(x1)))) -> c(b)(b(c)(c(c)(c(c)(x1)))) 72.88/18.22 c(a)(a(b)(b(a)(a(b)(x1)))) -> c(b)(b(c)(c(c)(c(b)(x1)))) 72.88/18.22 c(a)(a(b)(b(a)(a(a)(x1)))) -> c(b)(b(c)(c(c)(c(a)(x1)))) 72.88/18.22 b(a)(a(b)(b(a)(a(c)(x1)))) -> b(b)(b(c)(c(c)(c(c)(x1)))) 72.88/18.22 b(a)(a(b)(b(a)(a(b)(x1)))) -> b(b)(b(c)(c(c)(c(b)(x1)))) 72.88/18.22 b(a)(a(b)(b(a)(a(a)(x1)))) -> b(b)(b(c)(c(c)(c(a)(x1)))) 72.88/18.22 a(a)(a(b)(b(a)(a(c)(x1)))) -> a(b)(b(c)(c(c)(c(c)(x1)))) 72.88/18.22 a(a)(a(b)(b(a)(a(b)(x1)))) -> a(b)(b(c)(c(c)(c(b)(x1)))) 72.88/18.22 a(a)(a(b)(b(a)(a(a)(x1)))) -> a(b)(b(c)(c(c)(c(a)(x1)))) 72.88/18.22 a(c)(c(b)(b(c)(x1))) -> a(a)(a(c)(c(c)(x1))) 72.88/18.22 a(c)(c(b)(b(b)(x1))) -> a(a)(a(c)(c(b)(x1))) 72.88/18.22 a(c)(c(b)(b(a)(x1))) -> a(a)(a(c)(c(a)(x1))) 72.88/18.22 c(c)(c(b)(b(c)(x1))) -> c(c)(c(a)(a(c)(x1))) 72.88/18.22 c(c)(c(b)(b(b)(x1))) -> c(c)(c(a)(a(b)(x1))) 72.88/18.22 c(c)(c(b)(b(a)(x1))) -> c(c)(c(a)(a(a)(x1))) 72.88/18.22 c(a)(a(b)(b(c)(c(c)(x1)))) -> c(c)(c(a)(a(c)(c(c)(x1)))) 72.88/18.22 c(a)(a(b)(b(c)(c(b)(x1)))) -> c(c)(c(a)(a(c)(c(b)(x1)))) 72.88/18.22 c(a)(a(b)(b(c)(c(a)(x1)))) -> c(c)(c(a)(a(c)(c(a)(x1)))) 72.88/18.22 b(a)(a(b)(b(c)(c(c)(x1)))) -> b(c)(c(a)(a(c)(c(c)(x1)))) 72.88/18.22 b(a)(a(b)(b(c)(c(b)(x1)))) -> b(c)(c(a)(a(c)(c(b)(x1)))) 72.88/18.23 b(a)(a(b)(b(c)(c(a)(x1)))) -> b(c)(c(a)(a(c)(c(a)(x1)))) 72.88/18.23 a(a)(a(b)(b(c)(c(c)(x1)))) -> a(c)(c(a)(a(c)(c(c)(x1)))) 72.88/18.23 a(a)(a(b)(b(c)(c(b)(x1)))) -> a(c)(c(a)(a(c)(c(b)(x1)))) 72.88/18.23 a(a)(a(b)(b(c)(c(a)(x1)))) -> a(c)(c(a)(a(c)(c(a)(x1)))) 72.88/18.23 Matrix Interpretation Processor: dim=1 72.88/18.23 72.88/18.23 interpretation: 72.88/18.23 [b(b)](x0) = x0, 72.88/18.23 72.88/18.23 [b(c)](x0) = x0 + 1, 72.88/18.23 72.88/18.23 [c(a)](x0) = x0 + 1, 72.88/18.23 72.88/18.23 [a(b)](x0) = x0, 72.88/18.23 72.88/18.23 [a(c)](x0) = x0, 72.88/18.23 72.88/18.23 [a(a)](x0) = x0, 72.88/18.23 72.88/18.23 [b(a)](x0) = x0 + 3, 72.88/18.23 72.88/18.23 [c(b)](x0) = x0 + 1, 72.88/18.23 72.88/18.23 [c(c)](x0) = x0 + 1 72.88/18.23 orientation: 72.88/18.23 c(c)(c(c)(c(c)(c(c)(x1)))) = x1 + 4 >= x1 + 4 = c(b)(b(a)(a(a)(a(c)(x1)))) 72.88/18.23 72.88/18.23 c(c)(c(c)(c(c)(c(b)(x1)))) = x1 + 4 >= x1 + 4 = c(b)(b(a)(a(a)(a(b)(x1)))) 72.88/18.23 72.88/18.23 c(c)(c(c)(c(c)(c(a)(x1)))) = x1 + 4 >= x1 + 4 = c(b)(b(a)(a(a)(a(a)(x1)))) 72.88/18.23 72.88/18.23 b(c)(c(c)(c(c)(c(c)(x1)))) = x1 + 4 >= x1 + 3 = b(b)(b(a)(a(a)(a(c)(x1)))) 72.88/18.23 72.88/18.23 b(c)(c(c)(c(c)(c(b)(x1)))) = x1 + 4 >= x1 + 3 = b(b)(b(a)(a(a)(a(b)(x1)))) 72.88/18.23 72.88/18.23 b(c)(c(c)(c(c)(c(a)(x1)))) = x1 + 4 >= x1 + 3 = b(b)(b(a)(a(a)(a(a)(x1)))) 72.88/18.23 72.88/18.23 a(c)(c(c)(c(c)(c(c)(x1)))) = x1 + 3 >= x1 + 3 = a(b)(b(a)(a(a)(a(c)(x1)))) 72.88/18.23 72.88/18.23 a(c)(c(c)(c(c)(c(b)(x1)))) = x1 + 3 >= x1 + 3 = a(b)(b(a)(a(a)(a(b)(x1)))) 72.88/18.23 72.88/18.23 a(c)(c(c)(c(c)(c(a)(x1)))) = x1 + 3 >= x1 + 3 = a(b)(b(a)(a(a)(a(a)(x1)))) 72.88/18.23 72.88/18.23 a(b)(b(a)(a(c)(x1))) = x1 + 3 >= x1 + 1 = a(b)(b(b)(b(c)(x1))) 72.88/18.23 72.88/18.23 a(b)(b(a)(a(b)(x1))) = x1 + 3 >= x1 = a(b)(b(b)(b(b)(x1))) 72.88/18.23 72.88/18.23 a(b)(b(a)(a(a)(x1))) = x1 + 3 >= x1 + 3 = a(b)(b(b)(b(a)(x1))) 72.88/18.23 72.88/18.23 c(a)(a(b)(b(a)(a(c)(x1)))) = x1 + 4 >= x1 + 4 = c(b)(b(c)(c(c)(c(c)(x1)))) 72.88/18.23 72.88/18.23 c(a)(a(b)(b(a)(a(b)(x1)))) = x1 + 4 >= x1 + 4 = c(b)(b(c)(c(c)(c(b)(x1)))) 72.88/18.23 72.88/18.23 c(a)(a(b)(b(a)(a(a)(x1)))) = x1 + 4 >= x1 + 4 = c(b)(b(c)(c(c)(c(a)(x1)))) 72.88/18.23 72.88/18.23 b(a)(a(b)(b(a)(a(c)(x1)))) = x1 + 6 >= x1 + 3 = b(b)(b(c)(c(c)(c(c)(x1)))) 72.88/18.23 72.88/18.23 b(a)(a(b)(b(a)(a(b)(x1)))) = x1 + 6 >= x1 + 3 = b(b)(b(c)(c(c)(c(b)(x1)))) 72.88/18.23 72.88/18.23 b(a)(a(b)(b(a)(a(a)(x1)))) = x1 + 6 >= x1 + 3 = b(b)(b(c)(c(c)(c(a)(x1)))) 72.88/18.23 72.88/18.23 a(a)(a(b)(b(a)(a(c)(x1)))) = x1 + 3 >= x1 + 3 = a(b)(b(c)(c(c)(c(c)(x1)))) 72.88/18.23 72.88/18.23 a(a)(a(b)(b(a)(a(b)(x1)))) = x1 + 3 >= x1 + 3 = a(b)(b(c)(c(c)(c(b)(x1)))) 72.88/18.23 72.88/18.23 a(a)(a(b)(b(a)(a(a)(x1)))) = x1 + 3 >= x1 + 3 = a(b)(b(c)(c(c)(c(a)(x1)))) 72.88/18.23 72.88/18.23 a(c)(c(b)(b(c)(x1))) = x1 + 2 >= x1 + 1 = a(a)(a(c)(c(c)(x1))) 72.88/18.23 72.88/18.23 a(c)(c(b)(b(b)(x1))) = x1 + 1 >= x1 + 1 = a(a)(a(c)(c(b)(x1))) 72.88/18.23 72.88/18.23 a(c)(c(b)(b(a)(x1))) = x1 + 4 >= x1 + 1 = a(a)(a(c)(c(a)(x1))) 72.88/18.23 72.88/18.23 c(c)(c(b)(b(c)(x1))) = x1 + 3 >= x1 + 2 = c(c)(c(a)(a(c)(x1))) 72.88/18.23 72.88/18.23 c(c)(c(b)(b(b)(x1))) = x1 + 2 >= x1 + 2 = c(c)(c(a)(a(b)(x1))) 72.88/18.23 72.88/18.23 c(c)(c(b)(b(a)(x1))) = x1 + 5 >= x1 + 2 = c(c)(c(a)(a(a)(x1))) 72.88/18.23 72.88/18.23 c(a)(a(b)(b(c)(c(c)(x1)))) = x1 + 3 >= x1 + 3 = c(c)(c(a)(a(c)(c(c)(x1)))) 72.88/18.23 72.88/18.23 c(a)(a(b)(b(c)(c(b)(x1)))) = x1 + 3 >= x1 + 3 = c(c)(c(a)(a(c)(c(b)(x1)))) 72.88/18.23 72.88/18.23 c(a)(a(b)(b(c)(c(a)(x1)))) = x1 + 3 >= x1 + 3 = c(c)(c(a)(a(c)(c(a)(x1)))) 72.88/18.23 72.88/18.23 b(a)(a(b)(b(c)(c(c)(x1)))) = x1 + 5 >= x1 + 3 = b(c)(c(a)(a(c)(c(c)(x1)))) 72.88/18.23 72.88/18.23 b(a)(a(b)(b(c)(c(b)(x1)))) = x1 + 5 >= x1 + 3 = b(c)(c(a)(a(c)(c(b)(x1)))) 72.88/18.23 72.88/18.23 b(a)(a(b)(b(c)(c(a)(x1)))) = x1 + 5 >= x1 + 3 = b(c)(c(a)(a(c)(c(a)(x1)))) 72.88/18.23 72.88/18.23 a(a)(a(b)(b(c)(c(c)(x1)))) = x1 + 2 >= x1 + 2 = a(c)(c(a)(a(c)(c(c)(x1)))) 72.88/18.23 72.88/18.23 a(a)(a(b)(b(c)(c(b)(x1)))) = x1 + 2 >= x1 + 2 = a(c)(c(a)(a(c)(c(b)(x1)))) 72.88/18.23 72.88/18.23 a(a)(a(b)(b(c)(c(a)(x1)))) = x1 + 2 >= x1 + 2 = a(c)(c(a)(a(c)(c(a)(x1)))) 72.88/18.23 problem: 72.88/18.23 c(c)(c(c)(c(c)(c(c)(x1)))) -> c(b)(b(a)(a(a)(a(c)(x1)))) 72.88/18.23 c(c)(c(c)(c(c)(c(b)(x1)))) -> c(b)(b(a)(a(a)(a(b)(x1)))) 72.88/18.23 c(c)(c(c)(c(c)(c(a)(x1)))) -> c(b)(b(a)(a(a)(a(a)(x1)))) 72.88/18.23 a(c)(c(c)(c(c)(c(c)(x1)))) -> a(b)(b(a)(a(a)(a(c)(x1)))) 72.88/18.23 a(c)(c(c)(c(c)(c(b)(x1)))) -> a(b)(b(a)(a(a)(a(b)(x1)))) 72.88/18.23 a(c)(c(c)(c(c)(c(a)(x1)))) -> a(b)(b(a)(a(a)(a(a)(x1)))) 72.88/18.23 a(b)(b(a)(a(a)(x1))) -> a(b)(b(b)(b(a)(x1))) 72.88/18.23 c(a)(a(b)(b(a)(a(c)(x1)))) -> c(b)(b(c)(c(c)(c(c)(x1)))) 72.95/18.24 c(a)(a(b)(b(a)(a(b)(x1)))) -> c(b)(b(c)(c(c)(c(b)(x1)))) 72.95/18.24 c(a)(a(b)(b(a)(a(a)(x1)))) -> c(b)(b(c)(c(c)(c(a)(x1)))) 72.95/18.24 a(a)(a(b)(b(a)(a(c)(x1)))) -> a(b)(b(c)(c(c)(c(c)(x1)))) 72.95/18.24 a(a)(a(b)(b(a)(a(b)(x1)))) -> a(b)(b(c)(c(c)(c(b)(x1)))) 72.95/18.24 a(a)(a(b)(b(a)(a(a)(x1)))) -> a(b)(b(c)(c(c)(c(a)(x1)))) 72.95/18.24 a(c)(c(b)(b(b)(x1))) -> a(a)(a(c)(c(b)(x1))) 72.95/18.24 c(c)(c(b)(b(b)(x1))) -> c(c)(c(a)(a(b)(x1))) 72.95/18.24 c(a)(a(b)(b(c)(c(c)(x1)))) -> c(c)(c(a)(a(c)(c(c)(x1)))) 72.95/18.24 c(a)(a(b)(b(c)(c(b)(x1)))) -> c(c)(c(a)(a(c)(c(b)(x1)))) 72.95/18.24 c(a)(a(b)(b(c)(c(a)(x1)))) -> c(c)(c(a)(a(c)(c(a)(x1)))) 72.95/18.24 a(a)(a(b)(b(c)(c(c)(x1)))) -> a(c)(c(a)(a(c)(c(c)(x1)))) 72.95/18.24 a(a)(a(b)(b(c)(c(b)(x1)))) -> a(c)(c(a)(a(c)(c(b)(x1)))) 72.95/18.24 a(a)(a(b)(b(c)(c(a)(x1)))) -> a(c)(c(a)(a(c)(c(a)(x1)))) 72.95/18.24 Matrix Interpretation Processor: dim=3 72.95/18.24 72.95/18.24 interpretation: 72.95/18.24 [1 0 0] 72.95/18.24 [b(b)](x0) = [0 0 0]x0 72.95/18.24 [0 0 0] , 72.95/18.24 72.95/18.24 [1 1 0] 72.95/18.24 [b(c)](x0) = [0 0 0]x0 72.95/18.24 [0 1 0] , 72.95/18.24 72.95/18.24 [1 0 0] [0] 72.95/18.24 [c(a)](x0) = [0 0 0]x0 + [1] 72.95/18.24 [0 1 0] [0], 72.95/18.24 72.95/18.24 [1 0 0] 72.95/18.24 [a(b)](x0) = [1 0 0]x0 72.95/18.24 [0 0 0] , 72.95/18.24 72.95/18.24 [1 0 0] 72.95/18.24 [a(c)](x0) = [1 0 0]x0 72.95/18.24 [0 0 0] , 72.95/18.24 72.95/18.24 [1 0 0] 72.95/18.24 [a(a)](x0) = [0 1 0]x0 72.95/18.24 [0 0 0] , 72.95/18.24 72.95/18.24 [1 0 0] 72.95/18.24 [b(a)](x0) = [0 0 0]x0 72.95/18.24 [0 0 0] , 72.95/18.24 72.95/18.24 [1 0 0] 72.95/18.24 [c(b)](x0) = [0 0 0]x0 72.95/18.24 [0 0 0] , 72.95/18.24 72.95/18.24 [1 0 0] 72.95/18.24 [c(c)](x0) = [0 0 0]x0 72.95/18.24 [0 0 0] 72.95/18.24 orientation: 72.95/18.24 [1 0 0] [1 0 0] 72.95/18.24 c(c)(c(c)(c(c)(c(c)(x1)))) = [0 0 0]x1 >= [0 0 0]x1 = c(b)(b(a)(a(a)(a(c)(x1)))) 72.95/18.24 [0 0 0] [0 0 0] 72.95/18.24 72.95/18.24 [1 0 0] [1 0 0] 72.95/18.24 c(c)(c(c)(c(c)(c(b)(x1)))) = [0 0 0]x1 >= [0 0 0]x1 = c(b)(b(a)(a(a)(a(b)(x1)))) 72.95/18.24 [0 0 0] [0 0 0] 72.95/18.24 72.95/18.24 [1 0 0] [1 0 0] 72.95/18.24 c(c)(c(c)(c(c)(c(a)(x1)))) = [0 0 0]x1 >= [0 0 0]x1 = c(b)(b(a)(a(a)(a(a)(x1)))) 72.95/18.24 [0 0 0] [0 0 0] 72.95/18.24 72.95/18.24 [1 0 0] [1 0 0] 72.95/18.24 a(c)(c(c)(c(c)(c(c)(x1)))) = [1 0 0]x1 >= [1 0 0]x1 = a(b)(b(a)(a(a)(a(c)(x1)))) 72.95/18.24 [0 0 0] [0 0 0] 72.95/18.24 72.95/18.24 [1 0 0] [1 0 0] 72.95/18.24 a(c)(c(c)(c(c)(c(b)(x1)))) = [1 0 0]x1 >= [1 0 0]x1 = a(b)(b(a)(a(a)(a(b)(x1)))) 72.95/18.24 [0 0 0] [0 0 0] 72.95/18.24 72.95/18.24 [1 0 0] [1 0 0] 72.95/18.24 a(c)(c(c)(c(c)(c(a)(x1)))) = [1 0 0]x1 >= [1 0 0]x1 = a(b)(b(a)(a(a)(a(a)(x1)))) 72.95/18.24 [0 0 0] [0 0 0] 72.95/18.24 72.95/18.24 [1 0 0] [1 0 0] 72.95/18.24 a(b)(b(a)(a(a)(x1))) = [1 0 0]x1 >= [1 0 0]x1 = a(b)(b(b)(b(a)(x1))) 72.95/18.24 [0 0 0] [0 0 0] 72.95/18.24 72.95/18.24 [1 0 0] [0] [1 0 0] 72.95/18.24 c(a)(a(b)(b(a)(a(c)(x1)))) = [0 0 0]x1 + [1] >= [0 0 0]x1 = c(b)(b(c)(c(c)(c(c)(x1)))) 72.95/18.24 [1 0 0] [0] [0 0 0] 72.95/18.24 72.95/18.24 [1 0 0] [0] [1 0 0] 72.95/18.24 c(a)(a(b)(b(a)(a(b)(x1)))) = [0 0 0]x1 + [1] >= [0 0 0]x1 = c(b)(b(c)(c(c)(c(b)(x1)))) 72.95/18.24 [1 0 0] [0] [0 0 0] 72.95/18.25 72.95/18.25 [1 0 0] [0] [1 0 0] 72.95/18.25 c(a)(a(b)(b(a)(a(a)(x1)))) = [0 0 0]x1 + [1] >= [0 0 0]x1 = c(b)(b(c)(c(c)(c(a)(x1)))) 72.95/18.25 [1 0 0] [0] [0 0 0] 72.95/18.25 72.95/18.25 [1 0 0] [1 0 0] 72.95/18.25 a(a)(a(b)(b(a)(a(c)(x1)))) = [1 0 0]x1 >= [1 0 0]x1 = a(b)(b(c)(c(c)(c(c)(x1)))) 72.95/18.25 [0 0 0] [0 0 0] 72.95/18.25 72.95/18.25 [1 0 0] [1 0 0] 72.95/18.25 a(a)(a(b)(b(a)(a(b)(x1)))) = [1 0 0]x1 >= [1 0 0]x1 = a(b)(b(c)(c(c)(c(b)(x1)))) 72.95/18.25 [0 0 0] [0 0 0] 72.95/18.25 72.95/18.25 [1 0 0] [1 0 0] 72.95/18.25 a(a)(a(b)(b(a)(a(a)(x1)))) = [1 0 0]x1 >= [1 0 0]x1 = a(b)(b(c)(c(c)(c(a)(x1)))) 72.95/18.25 [0 0 0] [0 0 0] 72.95/18.25 72.95/18.25 [1 0 0] [1 0 0] 72.95/18.25 a(c)(c(b)(b(b)(x1))) = [1 0 0]x1 >= [1 0 0]x1 = a(a)(a(c)(c(b)(x1))) 72.95/18.25 [0 0 0] [0 0 0] 72.95/18.25 72.95/18.25 [1 0 0] [1 0 0] 72.95/18.25 c(c)(c(b)(b(b)(x1))) = [0 0 0]x1 >= [0 0 0]x1 = c(c)(c(a)(a(b)(x1))) 72.95/18.25 [0 0 0] [0 0 0] 72.95/18.25 72.95/18.25 [1 0 0] [0] [1 0 0] 72.95/18.25 c(a)(a(b)(b(c)(c(c)(x1)))) = [0 0 0]x1 + [1] >= [0 0 0]x1 = c(c)(c(a)(a(c)(c(c)(x1)))) 72.95/18.25 [1 0 0] [0] [0 0 0] 72.95/18.25 72.95/18.25 [1 0 0] [0] [1 0 0] 72.95/18.25 c(a)(a(b)(b(c)(c(b)(x1)))) = [0 0 0]x1 + [1] >= [0 0 0]x1 = c(c)(c(a)(a(c)(c(b)(x1)))) 72.95/18.25 [1 0 0] [0] [0 0 0] 72.95/18.25 72.95/18.25 [1 0 0] [1] [1 0 0] 72.95/18.25 c(a)(a(b)(b(c)(c(a)(x1)))) = [0 0 0]x1 + [1] >= [0 0 0]x1 = c(c)(c(a)(a(c)(c(a)(x1)))) 72.95/18.25 [1 0 0] [1] [0 0 0] 72.95/18.25 72.95/18.25 [1 0 0] [1 0 0] 72.95/18.25 a(a)(a(b)(b(c)(c(c)(x1)))) = [1 0 0]x1 >= [1 0 0]x1 = a(c)(c(a)(a(c)(c(c)(x1)))) 72.95/18.25 [0 0 0] [0 0 0] 72.95/18.25 72.95/18.25 [1 0 0] [1 0 0] 72.95/18.25 a(a)(a(b)(b(c)(c(b)(x1)))) = [1 0 0]x1 >= [1 0 0]x1 = a(c)(c(a)(a(c)(c(b)(x1)))) 72.95/18.25 [0 0 0] [0 0 0] 72.95/18.25 72.95/18.25 [1 0 0] [1] [1 0 0] 72.95/18.25 a(a)(a(b)(b(c)(c(a)(x1)))) = [1 0 0]x1 + [1] >= [1 0 0]x1 = a(c)(c(a)(a(c)(c(a)(x1)))) 72.95/18.25 [0 0 0] [0] [0 0 0] 72.95/18.25 problem: 72.95/18.25 c(c)(c(c)(c(c)(c(c)(x1)))) -> c(b)(b(a)(a(a)(a(c)(x1)))) 72.95/18.25 c(c)(c(c)(c(c)(c(b)(x1)))) -> c(b)(b(a)(a(a)(a(b)(x1)))) 72.95/18.25 c(c)(c(c)(c(c)(c(a)(x1)))) -> c(b)(b(a)(a(a)(a(a)(x1)))) 72.95/18.25 a(c)(c(c)(c(c)(c(c)(x1)))) -> a(b)(b(a)(a(a)(a(c)(x1)))) 72.95/18.25 a(c)(c(c)(c(c)(c(b)(x1)))) -> a(b)(b(a)(a(a)(a(b)(x1)))) 72.95/18.25 a(c)(c(c)(c(c)(c(a)(x1)))) -> a(b)(b(a)(a(a)(a(a)(x1)))) 72.95/18.25 a(b)(b(a)(a(a)(x1))) -> a(b)(b(b)(b(a)(x1))) 72.95/18.25 c(a)(a(b)(b(a)(a(c)(x1)))) -> c(b)(b(c)(c(c)(c(c)(x1)))) 72.95/18.25 c(a)(a(b)(b(a)(a(b)(x1)))) -> c(b)(b(c)(c(c)(c(b)(x1)))) 72.95/18.25 c(a)(a(b)(b(a)(a(a)(x1)))) -> c(b)(b(c)(c(c)(c(a)(x1)))) 72.95/18.25 a(a)(a(b)(b(a)(a(c)(x1)))) -> a(b)(b(c)(c(c)(c(c)(x1)))) 72.95/18.25 a(a)(a(b)(b(a)(a(b)(x1)))) -> a(b)(b(c)(c(c)(c(b)(x1)))) 72.95/18.25 a(a)(a(b)(b(a)(a(a)(x1)))) -> a(b)(b(c)(c(c)(c(a)(x1)))) 72.95/18.26 a(c)(c(b)(b(b)(x1))) -> a(a)(a(c)(c(b)(x1))) 72.95/18.26 c(c)(c(b)(b(b)(x1))) -> c(c)(c(a)(a(b)(x1))) 72.95/18.26 c(a)(a(b)(b(c)(c(c)(x1)))) -> c(c)(c(a)(a(c)(c(c)(x1)))) 72.95/18.26 c(a)(a(b)(b(c)(c(b)(x1)))) -> c(c)(c(a)(a(c)(c(b)(x1)))) 72.95/18.26 a(a)(a(b)(b(c)(c(c)(x1)))) -> a(c)(c(a)(a(c)(c(c)(x1)))) 72.95/18.26 a(a)(a(b)(b(c)(c(b)(x1)))) -> a(c)(c(a)(a(c)(c(b)(x1)))) 72.95/18.26 DP Processor: 72.95/18.26 DPs: 72.95/18.26 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 72.95/18.26 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 72.95/18.26 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(x1) 72.95/18.26 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 72.95/18.26 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 72.95/18.26 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 72.95/18.26 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 72.95/18.26 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 72.95/18.26 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(b),#}(b(a)(a(a)(a(c)(x1)))) 72.95/18.26 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(x1) 72.95/18.26 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 72.95/18.26 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(b(a)(a(a)(a(b)(x1)))) 72.95/18.26 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 72.95/18.26 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 72.95/18.26 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(b),#}(b(a)(a(a)(a(a)(x1)))) 72.95/18.26 a{(b),#}(b(a)(a(a)(x1))) -> a{(b),#}(b(b)(b(a)(x1))) 72.95/18.26 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 72.95/18.26 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 72.95/18.26 c{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 72.95/18.26 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 72.95/18.26 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 72.95/18.26 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 72.95/18.26 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 72.95/18.26 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> a{(b),#}(b(c)(c(c)(c(c)(x1)))) 72.95/18.26 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 72.95/18.26 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> a{(b),#}(b(c)(c(c)(c(b)(x1)))) 72.95/18.26 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 72.95/18.26 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 72.95/18.26 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> a{(b),#}(b(c)(c(c)(c(a)(x1)))) 72.95/18.26 a{(c),#}(c(b)(b(b)(x1))) -> a{(c),#}(c(b)(x1)) 72.95/18.26 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) 72.95/18.26 c{(c),#}(c(b)(b(b)(x1))) -> a{(b),#}(x1) 72.95/18.26 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) 72.95/18.26 c{(c),#}(c(b)(b(b)(x1))) -> c{(c),#}(c(a)(a(b)(x1))) 72.95/18.26 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 72.95/18.26 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 72.95/18.26 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(c),#}(c(a)(a(c)(c(c)(x1)))) 72.95/18.26 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 72.95/18.26 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 72.95/18.26 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(c),#}(c(a)(a(c)(c(b)(x1)))) 72.95/18.26 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 72.95/18.26 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 72.95/18.26 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) 72.95/18.26 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 72.95/18.26 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 72.95/18.26 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) 72.95/18.26 TRS: 72.95/18.26 c(c)(c(c)(c(c)(c(c)(x1)))) -> c(b)(b(a)(a(a)(a(c)(x1)))) 72.95/18.26 c(c)(c(c)(c(c)(c(b)(x1)))) -> c(b)(b(a)(a(a)(a(b)(x1)))) 72.95/18.26 c(c)(c(c)(c(c)(c(a)(x1)))) -> c(b)(b(a)(a(a)(a(a)(x1)))) 72.95/18.26 a(c)(c(c)(c(c)(c(c)(x1)))) -> a(b)(b(a)(a(a)(a(c)(x1)))) 72.95/18.26 a(c)(c(c)(c(c)(c(b)(x1)))) -> a(b)(b(a)(a(a)(a(b)(x1)))) 72.95/18.26 a(c)(c(c)(c(c)(c(a)(x1)))) -> a(b)(b(a)(a(a)(a(a)(x1)))) 72.95/18.26 a(b)(b(a)(a(a)(x1))) -> a(b)(b(b)(b(a)(x1))) 72.95/18.26 c(a)(a(b)(b(a)(a(c)(x1)))) -> c(b)(b(c)(c(c)(c(c)(x1)))) 72.95/18.26 c(a)(a(b)(b(a)(a(b)(x1)))) -> c(b)(b(c)(c(c)(c(b)(x1)))) 72.95/18.26 c(a)(a(b)(b(a)(a(a)(x1)))) -> c(b)(b(c)(c(c)(c(a)(x1)))) 72.95/18.26 a(a)(a(b)(b(a)(a(c)(x1)))) -> a(b)(b(c)(c(c)(c(c)(x1)))) 72.95/18.26 a(a)(a(b)(b(a)(a(b)(x1)))) -> a(b)(b(c)(c(c)(c(b)(x1)))) 72.95/18.26 a(a)(a(b)(b(a)(a(a)(x1)))) -> a(b)(b(c)(c(c)(c(a)(x1)))) 72.95/18.26 a(c)(c(b)(b(b)(x1))) -> a(a)(a(c)(c(b)(x1))) 72.95/18.26 c(c)(c(b)(b(b)(x1))) -> c(c)(c(a)(a(b)(x1))) 72.95/18.26 c(a)(a(b)(b(c)(c(c)(x1)))) -> c(c)(c(a)(a(c)(c(c)(x1)))) 72.95/18.26 c(a)(a(b)(b(c)(c(b)(x1)))) -> c(c)(c(a)(a(c)(c(b)(x1)))) 72.95/18.26 a(a)(a(b)(b(c)(c(c)(x1)))) -> a(c)(c(a)(a(c)(c(c)(x1)))) 72.95/18.26 a(a)(a(b)(b(c)(c(b)(x1)))) -> a(c)(c(a)(a(c)(c(b)(x1)))) 72.95/18.26 TDG Processor: 72.95/18.26 DPs: 72.95/18.26 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 72.95/18.26 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 72.95/18.26 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(x1) 72.95/18.26 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 72.95/18.26 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 72.95/18.26 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 72.95/18.26 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 72.95/18.26 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 72.95/18.26 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(b),#}(b(a)(a(a)(a(c)(x1)))) 72.95/18.26 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(x1) 72.95/18.26 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 72.95/18.26 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(b(a)(a(a)(a(b)(x1)))) 72.95/18.27 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 72.95/18.27 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 72.95/18.27 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(b),#}(b(a)(a(a)(a(a)(x1)))) 72.95/18.27 a{(b),#}(b(a)(a(a)(x1))) -> a{(b),#}(b(b)(b(a)(x1))) 72.95/18.27 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 72.95/18.27 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 72.95/18.27 c{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 72.95/18.27 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 72.95/18.27 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 72.95/18.27 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 72.95/18.27 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 72.95/18.27 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> a{(b),#}(b(c)(c(c)(c(c)(x1)))) 72.95/18.27 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 72.95/18.27 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> a{(b),#}(b(c)(c(c)(c(b)(x1)))) 72.95/18.27 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 72.95/18.27 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 72.95/18.27 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> a{(b),#}(b(c)(c(c)(c(a)(x1)))) 72.95/18.27 a{(c),#}(c(b)(b(b)(x1))) -> a{(c),#}(c(b)(x1)) 72.95/18.27 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) 72.95/18.27 c{(c),#}(c(b)(b(b)(x1))) -> a{(b),#}(x1) 72.95/18.27 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) 72.95/18.27 c{(c),#}(c(b)(b(b)(x1))) -> c{(c),#}(c(a)(a(b)(x1))) 72.95/18.27 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 72.95/18.27 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 72.95/18.27 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(c),#}(c(a)(a(c)(c(c)(x1)))) 72.95/18.27 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 72.95/18.27 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 72.95/18.27 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(c),#}(c(a)(a(c)(c(b)(x1)))) 72.95/18.27 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 72.95/18.27 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 72.95/18.27 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) 72.95/18.27 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 72.95/18.27 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 72.95/18.27 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) 72.95/18.27 TRS: 72.95/18.27 c(c)(c(c)(c(c)(c(c)(x1)))) -> c(b)(b(a)(a(a)(a(c)(x1)))) 72.95/18.27 c(c)(c(c)(c(c)(c(b)(x1)))) -> c(b)(b(a)(a(a)(a(b)(x1)))) 72.95/18.27 c(c)(c(c)(c(c)(c(a)(x1)))) -> c(b)(b(a)(a(a)(a(a)(x1)))) 72.95/18.27 a(c)(c(c)(c(c)(c(c)(x1)))) -> a(b)(b(a)(a(a)(a(c)(x1)))) 72.95/18.27 a(c)(c(c)(c(c)(c(b)(x1)))) -> a(b)(b(a)(a(a)(a(b)(x1)))) 72.95/18.27 a(c)(c(c)(c(c)(c(a)(x1)))) -> a(b)(b(a)(a(a)(a(a)(x1)))) 72.95/18.27 a(b)(b(a)(a(a)(x1))) -> a(b)(b(b)(b(a)(x1))) 72.95/18.27 c(a)(a(b)(b(a)(a(c)(x1)))) -> c(b)(b(c)(c(c)(c(c)(x1)))) 72.95/18.27 c(a)(a(b)(b(a)(a(b)(x1)))) -> c(b)(b(c)(c(c)(c(b)(x1)))) 72.95/18.27 c(a)(a(b)(b(a)(a(a)(x1)))) -> c(b)(b(c)(c(c)(c(a)(x1)))) 72.95/18.27 a(a)(a(b)(b(a)(a(c)(x1)))) -> a(b)(b(c)(c(c)(c(c)(x1)))) 72.95/18.27 a(a)(a(b)(b(a)(a(b)(x1)))) -> a(b)(b(c)(c(c)(c(b)(x1)))) 72.95/18.27 a(a)(a(b)(b(a)(a(a)(x1)))) -> a(b)(b(c)(c(c)(c(a)(x1)))) 72.95/18.27 a(c)(c(b)(b(b)(x1))) -> a(a)(a(c)(c(b)(x1))) 72.98/18.27 c(c)(c(b)(b(b)(x1))) -> c(c)(c(a)(a(b)(x1))) 72.98/18.27 c(a)(a(b)(b(c)(c(c)(x1)))) -> c(c)(c(a)(a(c)(c(c)(x1)))) 72.98/18.27 c(a)(a(b)(b(c)(c(b)(x1)))) -> c(c)(c(a)(a(c)(c(b)(x1)))) 72.98/18.27 a(a)(a(b)(b(c)(c(c)(x1)))) -> a(c)(c(a)(a(c)(c(c)(x1)))) 72.98/18.27 a(a)(a(b)(b(c)(c(b)(x1)))) -> a(c)(c(a)(a(c)(c(b)(x1)))) 72.98/18.27 graph: 72.98/18.27 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.27 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(c),#}(c(a)(a(c)(c(b)(x1)))) 72.98/18.27 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.27 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 72.98/18.27 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.27 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 72.98/18.27 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.27 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(c),#}(c(a)(a(c)(c(c)(x1)))) 72.98/18.27 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.27 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 72.98/18.27 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.27 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 72.98/18.27 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.27 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 72.98/18.27 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.27 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 72.98/18.27 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.27 c{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 72.98/18.27 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.27 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 72.98/18.27 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.27 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 72.98/18.27 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) -> 72.98/18.27 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) 72.98/18.27 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) -> 72.98/18.27 a{(c),#}(c(b)(b(b)(x1))) -> a{(c),#}(c(b)(x1)) 72.98/18.27 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) -> 72.98/18.27 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(b),#}(b(a)(a(a)(a(a)(x1)))) 72.98/18.27 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) -> 72.98/18.27 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 72.98/18.27 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) -> 72.98/18.27 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 72.98/18.27 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) -> 72.98/18.27 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(b(a)(a(a)(a(b)(x1)))) 72.98/18.27 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) -> 72.98/18.27 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 72.98/18.27 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) -> 72.98/18.27 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(x1) 72.98/18.27 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) -> 72.98/18.27 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(b),#}(b(a)(a(a)(a(c)(x1)))) 72.98/18.27 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) -> 72.98/18.27 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 72.98/18.27 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) -> 72.98/18.27 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 72.98/18.27 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(c),#}(c(a)(a(c)(c(b)(x1)))) -> 72.98/18.27 c{(c),#}(c(b)(b(b)(x1))) -> c{(c),#}(c(a)(a(b)(x1))) 72.98/18.27 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(c),#}(c(a)(a(c)(c(b)(x1)))) -> 72.98/18.27 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) 72.98/18.27 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(c),#}(c(a)(a(c)(c(b)(x1)))) -> 72.98/18.27 c{(c),#}(c(b)(b(b)(x1))) -> a{(b),#}(x1) 72.98/18.27 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(c),#}(c(a)(a(c)(c(b)(x1)))) -> 72.98/18.27 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 72.98/18.27 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(c),#}(c(a)(a(c)(c(b)(x1)))) -> 72.98/18.27 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 72.98/18.27 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(c),#}(c(a)(a(c)(c(b)(x1)))) -> 72.98/18.27 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 72.98/18.27 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(c),#}(c(a)(a(c)(c(b)(x1)))) -> 72.98/18.27 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(x1) 72.98/18.28 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(c),#}(c(a)(a(c)(c(b)(x1)))) -> 72.98/18.28 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 72.98/18.28 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(c),#}(c(a)(a(c)(c(b)(x1)))) -> 72.98/18.28 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 72.98/18.28 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 72.98/18.28 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(c),#}(c(a)(a(c)(c(b)(x1)))) 72.98/18.28 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 72.98/18.28 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 72.98/18.28 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 72.98/18.28 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 72.98/18.28 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 72.98/18.28 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(c),#}(c(a)(a(c)(c(c)(x1)))) 72.98/18.28 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 72.98/18.28 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 72.98/18.28 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 72.98/18.28 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 72.98/18.28 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 72.98/18.28 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 72.98/18.28 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 72.98/18.28 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 72.98/18.28 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 72.98/18.28 c{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 72.98/18.28 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 72.98/18.28 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 72.98/18.28 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 72.98/18.28 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 72.98/18.28 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) -> 72.98/18.28 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) 72.98/18.28 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) -> 72.98/18.28 a{(c),#}(c(b)(b(b)(x1))) -> a{(c),#}(c(b)(x1)) 72.98/18.28 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) -> 72.98/18.28 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(b),#}(b(a)(a(a)(a(a)(x1)))) 72.98/18.28 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) -> 72.98/18.28 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 72.98/18.28 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) -> 72.98/18.28 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 72.98/18.28 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) -> 72.98/18.28 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(b(a)(a(a)(a(b)(x1)))) 72.98/18.28 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) -> 72.98/18.28 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 72.98/18.28 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) -> 72.98/18.28 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(x1) 72.98/18.28 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) -> 72.98/18.28 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(b),#}(b(a)(a(a)(a(c)(x1)))) 72.98/18.28 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) -> 72.98/18.28 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 72.98/18.28 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) -> 72.98/18.28 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 72.98/18.28 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> 72.98/18.28 c{(c),#}(c(b)(b(b)(x1))) -> c{(c),#}(c(a)(a(b)(x1))) 72.98/18.28 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> 72.98/18.28 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) 72.98/18.28 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> 72.98/18.28 c{(c),#}(c(b)(b(b)(x1))) -> a{(b),#}(x1) 72.98/18.28 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> 72.98/18.28 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 72.98/18.28 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> 72.98/18.28 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 72.98/18.28 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> 72.98/18.28 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 72.98/18.28 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> 72.98/18.28 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(x1) 72.98/18.28 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> 72.98/18.29 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 72.98/18.29 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> 72.98/18.29 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 72.98/18.29 c{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) -> 72.98/18.29 c{(c),#}(c(b)(b(b)(x1))) -> c{(c),#}(c(a)(a(b)(x1))) 72.98/18.29 c{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) -> 72.98/18.29 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) 72.98/18.29 c{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) -> 72.98/18.29 c{(c),#}(c(b)(b(b)(x1))) -> a{(b),#}(x1) 72.98/18.29 c{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) -> 72.98/18.29 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 72.98/18.29 c{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) -> 72.98/18.29 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 72.98/18.29 c{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) -> 72.98/18.29 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 72.98/18.29 c{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) -> 72.98/18.29 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(x1) 72.98/18.29 c{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) -> 72.98/18.29 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 72.98/18.29 c{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) -> 72.98/18.29 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 72.98/18.29 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) -> 72.98/18.29 c{(c),#}(c(b)(b(b)(x1))) -> c{(c),#}(c(a)(a(b)(x1))) 72.98/18.29 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) -> 72.98/18.29 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) 72.98/18.29 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) -> 72.98/18.29 c{(c),#}(c(b)(b(b)(x1))) -> a{(b),#}(x1) 72.98/18.29 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) -> 72.98/18.29 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 72.98/18.29 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) -> 72.98/18.29 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 72.98/18.29 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) -> 72.98/18.29 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 72.98/18.29 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) -> 72.98/18.29 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(x1) 72.98/18.29 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) -> 72.98/18.29 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 72.98/18.29 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) -> 72.98/18.29 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 72.98/18.29 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) -> 72.98/18.29 c{(c),#}(c(b)(b(b)(x1))) -> c{(c),#}(c(a)(a(b)(x1))) 72.98/18.29 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) -> 72.98/18.29 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) 72.98/18.29 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) -> 72.98/18.29 c{(c),#}(c(b)(b(b)(x1))) -> a{(b),#}(x1) 72.98/18.29 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) -> 72.98/18.29 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 72.98/18.29 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) -> 72.98/18.29 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 72.98/18.29 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) -> 72.98/18.29 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 72.98/18.29 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) -> 72.98/18.29 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(x1) 72.98/18.29 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) -> 72.98/18.29 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 72.98/18.29 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) -> 72.98/18.29 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 72.98/18.29 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 72.98/18.29 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(c),#}(c(a)(a(c)(c(b)(x1)))) 72.98/18.29 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 72.98/18.29 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 72.98/18.29 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 72.98/18.29 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 72.98/18.29 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 72.98/18.29 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(c),#}(c(a)(a(c)(c(c)(x1)))) 72.98/18.29 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 72.98/18.29 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 72.98/18.30 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 72.98/18.30 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 72.98/18.30 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 72.98/18.30 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 72.98/18.30 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 72.98/18.30 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 72.98/18.30 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 72.98/18.30 c{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 72.98/18.30 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 72.98/18.30 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 72.98/18.30 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 72.98/18.30 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 72.98/18.30 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) -> 72.98/18.30 c{(c),#}(c(b)(b(b)(x1))) -> c{(c),#}(c(a)(a(b)(x1))) 72.98/18.30 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) -> 72.98/18.30 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) 72.98/18.30 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) -> 72.98/18.30 c{(c),#}(c(b)(b(b)(x1))) -> a{(b),#}(x1) 72.98/18.30 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) -> 72.98/18.30 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 72.98/18.30 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) -> 72.98/18.30 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 72.98/18.30 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) -> 72.98/18.30 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 72.98/18.30 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) -> 72.98/18.30 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(x1) 72.98/18.30 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) -> 72.98/18.30 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 72.98/18.30 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) -> 72.98/18.30 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 72.98/18.30 a{(b),#}(b(a)(a(a)(x1))) -> a{(b),#}(b(b)(b(a)(x1))) -> 72.98/18.30 a{(b),#}(b(a)(a(a)(x1))) -> a{(b),#}(b(b)(b(a)(x1))) 72.98/18.30 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.30 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(c),#}(c(a)(a(c)(c(b)(x1)))) 72.98/18.30 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.30 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 72.98/18.30 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.30 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 72.98/18.30 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.30 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(c),#}(c(a)(a(c)(c(c)(x1)))) 72.98/18.30 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.30 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 72.98/18.30 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.30 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 72.98/18.30 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.30 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 72.98/18.30 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.30 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 72.98/18.30 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.30 c{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 72.98/18.30 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.30 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 72.98/18.30 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.30 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 72.98/18.30 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) -> 72.98/18.30 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) 72.98/18.30 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) -> 72.98/18.30 a{(c),#}(c(b)(b(b)(x1))) -> a{(c),#}(c(b)(x1)) 72.98/18.30 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) -> 72.98/18.30 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(b),#}(b(a)(a(a)(a(a)(x1)))) 72.98/18.30 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) -> 72.98/18.30 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 72.98/18.30 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) -> 72.98/18.30 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 72.98/18.30 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) -> 72.98/18.31 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(b(a)(a(a)(a(b)(x1)))) 72.98/18.31 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) -> 72.98/18.31 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 72.98/18.31 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) -> 72.98/18.31 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(x1) 72.98/18.31 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) -> 72.98/18.31 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(b),#}(b(a)(a(a)(a(c)(x1)))) 72.98/18.31 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) -> 72.98/18.31 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 72.98/18.31 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) -> 72.98/18.31 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 72.98/18.31 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) -> 72.98/18.31 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) 72.98/18.31 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) -> 72.98/18.31 a{(c),#}(c(b)(b(b)(x1))) -> a{(c),#}(c(b)(x1)) 72.98/18.31 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) -> 72.98/18.31 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(b),#}(b(a)(a(a)(a(a)(x1)))) 72.98/18.31 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) -> 72.98/18.31 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 72.98/18.31 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) -> 72.98/18.31 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 72.98/18.31 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) -> 72.98/18.31 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(b(a)(a(a)(a(b)(x1)))) 72.98/18.31 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) -> 72.98/18.31 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 72.98/18.31 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) -> 72.98/18.31 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(x1) 72.98/18.31 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) -> 72.98/18.31 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(b),#}(b(a)(a(a)(a(c)(x1)))) 72.98/18.31 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) -> 72.98/18.31 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 72.98/18.31 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) -> 72.98/18.31 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 72.98/18.31 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 72.98/18.31 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(c),#}(c(a)(a(c)(c(b)(x1)))) 72.98/18.31 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 72.98/18.31 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 72.98/18.31 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 72.98/18.31 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 72.98/18.31 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 72.98/18.31 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(c),#}(c(a)(a(c)(c(c)(x1)))) 72.98/18.31 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 72.98/18.31 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 72.98/18.31 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 72.98/18.31 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 72.98/18.31 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 72.98/18.31 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 72.98/18.31 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 72.98/18.31 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 72.98/18.31 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 72.98/18.31 c{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 72.98/18.31 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 72.98/18.31 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 72.98/18.31 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 72.98/18.31 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 72.98/18.31 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) -> 72.98/18.31 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) 72.98/18.31 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) -> 72.98/18.31 a{(c),#}(c(b)(b(b)(x1))) -> a{(c),#}(c(b)(x1)) 72.98/18.31 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) -> 72.98/18.31 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(b),#}(b(a)(a(a)(a(a)(x1)))) 72.98/18.31 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) -> 72.98/18.32 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 72.98/18.32 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) -> 72.98/18.32 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 72.98/18.32 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) -> 72.98/18.32 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(b(a)(a(a)(a(b)(x1)))) 72.98/18.32 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) -> 72.98/18.32 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 72.98/18.32 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) -> 72.98/18.32 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(x1) 72.98/18.32 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) -> 72.98/18.32 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(b),#}(b(a)(a(a)(a(c)(x1)))) 72.98/18.32 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) -> 72.98/18.32 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 72.98/18.32 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) -> 72.98/18.32 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 72.98/18.32 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) -> 72.98/18.32 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) 72.98/18.32 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) -> 72.98/18.32 a{(c),#}(c(b)(b(b)(x1))) -> a{(c),#}(c(b)(x1)) 72.98/18.32 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) -> 72.98/18.32 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(b),#}(b(a)(a(a)(a(a)(x1)))) 72.98/18.32 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) -> 72.98/18.32 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 72.98/18.32 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) -> 72.98/18.32 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 72.98/18.32 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) -> 72.98/18.32 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(b(a)(a(a)(a(b)(x1)))) 72.98/18.32 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) -> 72.98/18.32 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 72.98/18.32 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) -> 72.98/18.32 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(x1) 72.98/18.32 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) -> 72.98/18.32 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(b),#}(b(a)(a(a)(a(c)(x1)))) 72.98/18.32 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) -> 72.98/18.32 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 72.98/18.32 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) -> 72.98/18.32 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 72.98/18.32 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> a{(b),#}(b(c)(c(c)(c(b)(x1)))) -> 72.98/18.32 a{(b),#}(b(a)(a(a)(x1))) -> a{(b),#}(b(b)(b(a)(x1))) 72.98/18.32 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) -> 72.98/18.32 c{(c),#}(c(b)(b(b)(x1))) -> c{(c),#}(c(a)(a(b)(x1))) 72.98/18.32 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) -> 72.98/18.32 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) 72.98/18.32 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) -> 72.98/18.32 c{(c),#}(c(b)(b(b)(x1))) -> a{(b),#}(x1) 72.98/18.32 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) -> 72.98/18.32 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 72.98/18.32 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) -> 72.98/18.32 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 72.98/18.32 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) -> 72.98/18.32 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 72.98/18.32 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) -> 72.98/18.32 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(x1) 72.98/18.32 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) -> 72.98/18.32 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 72.98/18.32 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) -> 72.98/18.32 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 72.98/18.32 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> a{(b),#}(b(c)(c(c)(c(c)(x1)))) -> 72.98/18.32 a{(b),#}(b(a)(a(a)(x1))) -> a{(b),#}(b(b)(b(a)(x1))) 72.98/18.32 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) -> 72.98/18.32 c{(c),#}(c(b)(b(b)(x1))) -> c{(c),#}(c(a)(a(b)(x1))) 72.98/18.32 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) -> 72.98/18.32 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) 72.98/18.32 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) -> 72.98/18.33 c{(c),#}(c(b)(b(b)(x1))) -> a{(b),#}(x1) 72.98/18.33 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) -> 72.98/18.33 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 72.98/18.33 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) -> 72.98/18.33 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 72.98/18.33 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) -> 72.98/18.33 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 72.98/18.33 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) -> 72.98/18.33 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(x1) 72.98/18.33 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) -> 72.98/18.33 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 72.98/18.33 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) -> 72.98/18.33 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 72.98/18.33 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) -> 72.98/18.33 c{(c),#}(c(b)(b(b)(x1))) -> c{(c),#}(c(a)(a(b)(x1))) 72.98/18.33 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) -> 72.98/18.33 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) 72.98/18.33 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) -> 72.98/18.33 c{(c),#}(c(b)(b(b)(x1))) -> a{(b),#}(x1) 72.98/18.33 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) -> 72.98/18.33 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 72.98/18.33 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) -> 72.98/18.33 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 72.98/18.33 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) -> 72.98/18.33 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 72.98/18.33 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) -> 72.98/18.33 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(x1) 72.98/18.33 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) -> 72.98/18.33 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 72.98/18.33 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) -> 72.98/18.33 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 72.98/18.33 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 72.98/18.33 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(c),#}(c(a)(a(c)(c(b)(x1)))) 72.98/18.33 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 72.98/18.33 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 72.98/18.33 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 72.98/18.33 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 72.98/18.33 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 72.98/18.33 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(c),#}(c(a)(a(c)(c(c)(x1)))) 72.98/18.33 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 72.98/18.33 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 72.98/18.33 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 72.98/18.33 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 72.98/18.33 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 72.98/18.33 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 72.98/18.33 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 72.98/18.33 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 72.98/18.33 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 72.98/18.33 c{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 72.98/18.33 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 72.98/18.33 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 72.98/18.33 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 72.98/18.33 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 72.98/18.33 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> a{(b),#}(b(c)(c(c)(c(a)(x1)))) -> 72.98/18.33 a{(b),#}(b(a)(a(a)(x1))) -> a{(b),#}(b(b)(b(a)(x1))) 72.98/18.33 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) -> 72.98/18.33 c{(c),#}(c(b)(b(b)(x1))) -> c{(c),#}(c(a)(a(b)(x1))) 72.98/18.33 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) -> 72.98/18.33 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) 72.98/18.33 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) -> 72.98/18.33 c{(c),#}(c(b)(b(b)(x1))) -> a{(b),#}(x1) 72.98/18.33 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) -> 72.98/18.33 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 72.98/18.33 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) -> 72.98/18.33 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 72.98/18.33 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) -> 72.98/18.33 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 72.98/18.33 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) -> 72.98/18.34 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(x1) 72.98/18.34 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) -> 72.98/18.34 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 72.98/18.34 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) -> 72.98/18.34 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 72.98/18.34 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.34 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) 72.98/18.34 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.34 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 72.98/18.34 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.34 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 72.98/18.34 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.34 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) 72.98/18.34 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.34 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 72.98/18.34 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.34 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 72.98/18.34 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.34 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> a{(b),#}(b(c)(c(c)(c(a)(x1)))) 72.98/18.34 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.34 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 72.98/18.34 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.34 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 72.98/18.34 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.34 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> a{(b),#}(b(c)(c(c)(c(b)(x1)))) 72.98/18.34 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.34 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 72.98/18.34 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.34 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> a{(b),#}(b(c)(c(c)(c(c)(x1)))) 72.98/18.34 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.34 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 72.98/18.34 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) -> 72.98/18.34 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 72.98/18.34 a{(c),#}(c(b)(b(b)(x1))) -> a{(c),#}(c(b)(x1)) -> 72.98/18.34 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) 72.98/18.34 a{(c),#}(c(b)(b(b)(x1))) -> a{(c),#}(c(b)(x1)) -> 72.98/18.34 a{(c),#}(c(b)(b(b)(x1))) -> a{(c),#}(c(b)(x1)) 72.98/18.34 a{(c),#}(c(b)(b(b)(x1))) -> a{(c),#}(c(b)(x1)) -> 72.98/18.34 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(b),#}(b(a)(a(a)(a(a)(x1)))) 72.98/18.34 a{(c),#}(c(b)(b(b)(x1))) -> a{(c),#}(c(b)(x1)) -> 72.98/18.34 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 72.98/18.34 a{(c),#}(c(b)(b(b)(x1))) -> a{(c),#}(c(b)(x1)) -> 72.98/18.34 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 72.98/18.34 a{(c),#}(c(b)(b(b)(x1))) -> a{(c),#}(c(b)(x1)) -> 72.98/18.34 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(b(a)(a(a)(a(b)(x1)))) 72.98/18.34 a{(c),#}(c(b)(b(b)(x1))) -> a{(c),#}(c(b)(x1)) -> 72.98/18.34 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 72.98/18.34 a{(c),#}(c(b)(b(b)(x1))) -> a{(c),#}(c(b)(x1)) -> 72.98/18.34 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(x1) 72.98/18.34 a{(c),#}(c(b)(b(b)(x1))) -> a{(c),#}(c(b)(x1)) -> 72.98/18.34 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(b),#}(b(a)(a(a)(a(c)(x1)))) 72.98/18.34 a{(c),#}(c(b)(b(b)(x1))) -> a{(c),#}(c(b)(x1)) -> 72.98/18.34 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 72.98/18.34 a{(c),#}(c(b)(b(b)(x1))) -> a{(c),#}(c(b)(x1)) -> 72.98/18.34 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 72.98/18.34 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(b),#}(b(a)(a(a)(a(a)(x1)))) -> 72.98/18.34 a{(b),#}(b(a)(a(a)(x1))) -> a{(b),#}(b(b)(b(a)(x1))) 72.98/18.34 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 72.98/18.34 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) 72.98/18.34 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 72.98/18.34 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 72.98/18.34 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 72.98/18.34 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 72.98/18.34 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 72.98/18.34 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) 73.06/18.35 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.06/18.35 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 73.06/18.35 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.06/18.35 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 73.06/18.35 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.06/18.35 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> a{(b),#}(b(c)(c(c)(c(a)(x1)))) 73.06/18.35 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.06/18.35 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 73.06/18.35 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.06/18.35 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 73.06/18.35 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.06/18.35 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> a{(b),#}(b(c)(c(c)(c(b)(x1)))) 73.06/18.35 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.06/18.35 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 73.06/18.35 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.06/18.35 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> a{(b),#}(b(c)(c(c)(c(c)(x1)))) 73.06/18.35 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.06/18.35 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 73.06/18.35 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.06/18.35 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 73.06/18.35 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.06/18.35 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) 73.06/18.35 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.06/18.35 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 73.06/18.35 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.06/18.35 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 73.06/18.35 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.06/18.35 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) 73.06/18.35 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.06/18.35 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 73.06/18.35 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.06/18.35 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 73.06/18.35 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.06/18.35 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> a{(b),#}(b(c)(c(c)(c(a)(x1)))) 73.06/18.35 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.06/18.35 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 73.06/18.35 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.06/18.35 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 73.06/18.35 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.06/18.35 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> a{(b),#}(b(c)(c(c)(c(b)(x1)))) 73.06/18.35 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.06/18.35 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 73.06/18.35 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.06/18.35 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> a{(b),#}(b(c)(c(c)(c(c)(x1)))) 73.06/18.35 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.06/18.35 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 73.06/18.35 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.06/18.35 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 73.06/18.35 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(b(a)(a(a)(a(b)(x1)))) -> 73.06/18.35 a{(b),#}(b(a)(a(a)(x1))) -> a{(b),#}(b(b)(b(a)(x1))) 73.06/18.35 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(x1) -> 73.06/18.35 a{(b),#}(b(a)(a(a)(x1))) -> a{(b),#}(b(b)(b(a)(x1))) 73.06/18.35 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.06/18.35 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) 73.06/18.35 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.06/18.35 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 73.06/18.35 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.06/18.35 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 73.06/18.35 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.06/18.35 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) 73.06/18.35 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.06/18.35 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 73.06/18.35 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.06/18.35 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 73.06/18.35 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.06/18.36 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> a{(b),#}(b(c)(c(c)(c(a)(x1)))) 73.06/18.36 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.06/18.36 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 73.06/18.36 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.06/18.36 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 73.06/18.36 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.06/18.36 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> a{(b),#}(b(c)(c(c)(c(b)(x1)))) 73.06/18.36 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.06/18.36 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 73.06/18.36 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.06/18.36 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> a{(b),#}(b(c)(c(c)(c(c)(x1)))) 73.06/18.36 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.06/18.36 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 73.06/18.36 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.06/18.36 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 73.06/18.36 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(b),#}(b(a)(a(a)(a(c)(x1)))) -> 73.06/18.36 a{(b),#}(b(a)(a(a)(x1))) -> a{(b),#}(b(b)(b(a)(x1))) 73.06/18.36 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.06/18.36 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) 73.06/18.36 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.06/18.36 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 73.06/18.36 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.06/18.36 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 73.06/18.36 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.06/18.36 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) 73.06/18.36 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.06/18.36 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 73.06/18.36 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.06/18.36 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 73.06/18.36 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.06/18.36 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> a{(b),#}(b(c)(c(c)(c(a)(x1)))) 73.06/18.36 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.06/18.36 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 73.06/18.36 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.06/18.36 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 73.06/18.36 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.06/18.36 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> a{(b),#}(b(c)(c(c)(c(b)(x1)))) 73.06/18.36 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.06/18.36 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 73.06/18.36 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.06/18.36 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> a{(b),#}(b(c)(c(c)(c(c)(x1)))) 73.06/18.36 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.06/18.36 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 73.06/18.36 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.06/18.36 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 73.06/18.36 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.06/18.36 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) 73.06/18.36 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.06/18.36 a{(c),#}(c(b)(b(b)(x1))) -> a{(c),#}(c(b)(x1)) 73.06/18.36 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.06/18.36 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(b),#}(b(a)(a(a)(a(a)(x1)))) 73.06/18.36 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.06/18.36 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 73.06/18.36 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.06/18.36 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 73.06/18.36 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.06/18.36 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(b(a)(a(a)(a(b)(x1)))) 73.06/18.36 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.06/18.36 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 73.06/18.36 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.06/18.36 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(x1) 73.06/18.36 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.06/18.36 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(b),#}(b(a)(a(a)(a(c)(x1)))) 73.06/18.36 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.06/18.36 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 73.06/18.36 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.06/18.36 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 73.06/18.36 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) -> 73.06/18.36 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(c),#}(c(a)(a(c)(c(b)(x1)))) 73.06/18.36 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) -> 73.06/18.36 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 73.06/18.36 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) -> 73.06/18.36 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 73.06/18.36 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) -> 73.06/18.36 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(c),#}(c(a)(a(c)(c(c)(x1)))) 73.06/18.36 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) -> 73.06/18.36 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 73.06/18.36 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) -> 73.06/18.36 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 73.06/18.36 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) -> 73.06/18.36 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 73.06/18.36 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) -> 73.06/18.36 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 73.06/18.36 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) -> 73.06/18.36 c{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 73.06/18.36 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) -> 73.06/18.36 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 73.06/18.36 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) -> 73.06/18.36 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 73.06/18.36 c{(c),#}(c(b)(b(b)(x1))) -> a{(b),#}(x1) -> 73.06/18.36 a{(b),#}(b(a)(a(a)(x1))) -> a{(b),#}(b(b)(b(a)(x1))) 73.06/18.36 c{(c),#}(c(b)(b(b)(x1))) -> c{(c),#}(c(a)(a(b)(x1))) -> 73.06/18.36 c{(c),#}(c(b)(b(b)(x1))) -> c{(c),#}(c(a)(a(b)(x1))) 73.06/18.36 c{(c),#}(c(b)(b(b)(x1))) -> c{(c),#}(c(a)(a(b)(x1))) -> 73.06/18.36 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) 73.06/18.36 c{(c),#}(c(b)(b(b)(x1))) -> c{(c),#}(c(a)(a(b)(x1))) -> 73.06/18.36 c{(c),#}(c(b)(b(b)(x1))) -> a{(b),#}(x1) 73.06/18.36 c{(c),#}(c(b)(b(b)(x1))) -> c{(c),#}(c(a)(a(b)(x1))) -> 73.06/18.36 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 73.06/18.36 c{(c),#}(c(b)(b(b)(x1))) -> c{(c),#}(c(a)(a(b)(x1))) -> 73.06/18.36 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 73.06/18.36 c{(c),#}(c(b)(b(b)(x1))) -> c{(c),#}(c(a)(a(b)(x1))) -> 73.06/18.36 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 73.06/18.36 c{(c),#}(c(b)(b(b)(x1))) -> c{(c),#}(c(a)(a(b)(x1))) -> 73.06/18.36 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(x1) 73.06/18.36 c{(c),#}(c(b)(b(b)(x1))) -> c{(c),#}(c(a)(a(b)(x1))) -> 73.06/18.36 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 73.06/18.36 c{(c),#}(c(b)(b(b)(x1))) -> c{(c),#}(c(a)(a(b)(x1))) -> 73.06/18.36 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 73.06/18.36 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.06/18.36 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) 73.06/18.36 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.06/18.36 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 73.06/18.36 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.06/18.36 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 73.06/18.36 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.06/18.36 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) 73.06/18.36 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.06/18.36 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 73.06/18.36 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.06/18.36 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 73.06/18.36 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.06/18.36 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> a{(b),#}(b(c)(c(c)(c(a)(x1)))) 73.06/18.36 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.06/18.36 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 73.06/18.36 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.06/18.36 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 73.06/18.36 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.06/18.36 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> a{(b),#}(b(c)(c(c)(c(b)(x1)))) 73.06/18.36 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.06/18.36 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 73.08/18.37 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.08/18.37 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> a{(b),#}(b(c)(c(c)(c(c)(x1)))) 73.08/18.37 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.08/18.37 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 73.08/18.37 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.08/18.37 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 73.08/18.37 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.08/18.37 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) 73.08/18.37 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.08/18.37 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 73.08/18.37 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.08/18.37 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 73.08/18.37 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.08/18.37 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) 73.08/18.37 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.08/18.37 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 73.08/18.37 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.08/18.37 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 73.08/18.37 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.08/18.37 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> a{(b),#}(b(c)(c(c)(c(a)(x1)))) 73.08/18.37 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.08/18.37 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 73.08/18.37 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.08/18.37 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 73.08/18.37 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.08/18.37 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> a{(b),#}(b(c)(c(c)(c(b)(x1)))) 73.08/18.37 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.08/18.37 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 73.08/18.37 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.08/18.37 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> a{(b),#}(b(c)(c(c)(c(c)(x1)))) 73.08/18.37 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.08/18.37 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 73.08/18.37 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.08/18.37 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 73.08/18.37 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(x1) -> 73.08/18.37 a{(b),#}(b(a)(a(a)(x1))) -> a{(b),#}(b(b)(b(a)(x1))) 73.08/18.37 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.08/18.37 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) 73.08/18.37 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.08/18.37 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 73.08/18.37 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.08/18.37 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 73.08/18.37 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.08/18.37 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) 73.08/18.37 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.08/18.37 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 73.08/18.37 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.08/18.37 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 73.08/18.37 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.08/18.37 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> a{(b),#}(b(c)(c(c)(c(a)(x1)))) 73.08/18.37 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.08/18.37 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 73.08/18.37 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.08/18.37 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 73.08/18.37 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.08/18.37 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> a{(b),#}(b(c)(c(c)(c(b)(x1)))) 73.08/18.37 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.08/18.37 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 73.08/18.37 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.08/18.37 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> a{(b),#}(b(c)(c(c)(c(c)(x1)))) 73.08/18.37 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.08/18.37 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 73.08/18.37 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.08/18.37 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 73.08/18.37 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.08/18.38 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) 73.08/18.38 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.08/18.38 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 73.08/18.38 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.08/18.38 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 73.08/18.38 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.08/18.38 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) 73.08/18.38 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.08/18.38 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 73.08/18.38 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.08/18.38 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 73.08/18.38 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.08/18.38 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> a{(b),#}(b(c)(c(c)(c(a)(x1)))) 73.08/18.38 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.08/18.38 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 73.08/18.38 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.08/18.38 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 73.08/18.38 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.08/18.38 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> a{(b),#}(b(c)(c(c)(c(b)(x1)))) 73.08/18.38 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.08/18.38 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 73.08/18.38 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.08/18.38 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> a{(b),#}(b(c)(c(c)(c(c)(x1)))) 73.08/18.38 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.08/18.38 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 73.08/18.38 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.08/18.38 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 73.08/18.38 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.08/18.38 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) 73.08/18.38 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.08/18.38 a{(c),#}(c(b)(b(b)(x1))) -> a{(c),#}(c(b)(x1)) 73.08/18.38 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.08/18.38 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(b),#}(b(a)(a(a)(a(a)(x1)))) 73.08/18.38 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.08/18.38 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 73.08/18.38 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.08/18.38 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 73.08/18.38 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.08/18.38 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(b(a)(a(a)(a(b)(x1)))) 73.08/18.38 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.08/18.38 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 73.08/18.38 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.08/18.38 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(b),#}(x1) 73.08/18.38 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.08/18.38 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(b),#}(b(a)(a(a)(a(c)(x1)))) 73.08/18.38 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.08/18.38 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 73.08/18.38 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.08/18.38 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 73.08/18.38 SCC Processor: 73.08/18.38 #sccs: 2 73.08/18.38 #rules: 37 73.08/18.38 #arcs: 411/2116 73.08/18.38 DPs: 73.08/18.38 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 73.08/18.38 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 73.08/18.38 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 73.08/18.38 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 73.08/18.38 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 73.08/18.38 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 73.08/18.38 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 73.08/18.38 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 73.08/18.38 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 73.08/18.38 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 73.08/18.38 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 73.08/18.38 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 73.08/18.38 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 73.08/18.38 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 73.08/18.38 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 73.08/18.39 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) 73.08/18.39 c{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 73.08/18.39 c{(c),#}(c(b)(b(b)(x1))) -> c{(c),#}(c(a)(a(b)(x1))) 73.08/18.39 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 73.08/18.39 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 73.08/18.39 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 73.08/18.39 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 73.08/18.39 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 73.08/18.39 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 73.08/18.39 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 73.08/18.39 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 73.08/18.39 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(c),#}(c(a)(a(c)(c(c)(x1)))) 73.08/18.39 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 73.08/18.39 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 73.08/18.39 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) 73.08/18.39 a{(c),#}(c(b)(b(b)(x1))) -> a{(c),#}(c(b)(x1)) 73.08/18.39 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) 73.08/18.39 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 73.08/18.39 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 73.08/18.39 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(c),#}(c(a)(a(c)(c(b)(x1)))) 73.08/18.39 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) 73.08/18.39 TRS: 73.08/18.39 c(c)(c(c)(c(c)(c(c)(x1)))) -> c(b)(b(a)(a(a)(a(c)(x1)))) 73.08/18.39 c(c)(c(c)(c(c)(c(b)(x1)))) -> c(b)(b(a)(a(a)(a(b)(x1)))) 73.08/18.39 c(c)(c(c)(c(c)(c(a)(x1)))) -> c(b)(b(a)(a(a)(a(a)(x1)))) 73.08/18.39 a(c)(c(c)(c(c)(c(c)(x1)))) -> a(b)(b(a)(a(a)(a(c)(x1)))) 73.08/18.39 a(c)(c(c)(c(c)(c(b)(x1)))) -> a(b)(b(a)(a(a)(a(b)(x1)))) 73.08/18.39 a(c)(c(c)(c(c)(c(a)(x1)))) -> a(b)(b(a)(a(a)(a(a)(x1)))) 73.08/18.39 a(b)(b(a)(a(a)(x1))) -> a(b)(b(b)(b(a)(x1))) 73.08/18.39 c(a)(a(b)(b(a)(a(c)(x1)))) -> c(b)(b(c)(c(c)(c(c)(x1)))) 73.08/18.39 c(a)(a(b)(b(a)(a(b)(x1)))) -> c(b)(b(c)(c(c)(c(b)(x1)))) 73.08/18.39 c(a)(a(b)(b(a)(a(a)(x1)))) -> c(b)(b(c)(c(c)(c(a)(x1)))) 73.08/18.39 a(a)(a(b)(b(a)(a(c)(x1)))) -> a(b)(b(c)(c(c)(c(c)(x1)))) 73.08/18.39 a(a)(a(b)(b(a)(a(b)(x1)))) -> a(b)(b(c)(c(c)(c(b)(x1)))) 73.08/18.39 a(a)(a(b)(b(a)(a(a)(x1)))) -> a(b)(b(c)(c(c)(c(a)(x1)))) 73.08/18.39 a(c)(c(b)(b(b)(x1))) -> a(a)(a(c)(c(b)(x1))) 73.08/18.39 c(c)(c(b)(b(b)(x1))) -> c(c)(c(a)(a(b)(x1))) 73.08/18.39 c(a)(a(b)(b(c)(c(c)(x1)))) -> c(c)(c(a)(a(c)(c(c)(x1)))) 73.08/18.39 c(a)(a(b)(b(c)(c(b)(x1)))) -> c(c)(c(a)(a(c)(c(b)(x1)))) 73.08/18.39 a(a)(a(b)(b(c)(c(c)(x1)))) -> a(c)(c(a)(a(c)(c(c)(x1)))) 73.08/18.39 a(a)(a(b)(b(c)(c(b)(x1)))) -> a(c)(c(a)(a(c)(c(b)(x1)))) 73.08/18.39 EDG Processor: 73.08/18.39 DPs: 73.08/18.39 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 73.08/18.39 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 73.08/18.39 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 73.08/18.39 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 73.08/18.39 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 73.08/18.39 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 73.08/18.39 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 73.08/18.39 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 73.08/18.39 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 73.08/18.39 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 73.08/18.39 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 73.08/18.39 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 73.08/18.39 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 73.08/18.39 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 73.08/18.39 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 73.08/18.39 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) 73.08/18.39 c{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 73.08/18.39 c{(c),#}(c(b)(b(b)(x1))) -> c{(c),#}(c(a)(a(b)(x1))) 73.08/18.39 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 73.08/18.39 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 73.08/18.39 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 73.08/18.39 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 73.08/18.39 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 73.08/18.39 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 73.08/18.39 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(c),#}(c(a)(a(c)(c(c)(x1)))) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 73.08/18.40 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 73.08/18.40 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) 73.08/18.40 a{(c),#}(c(b)(b(b)(x1))) -> a{(c),#}(c(b)(x1)) 73.08/18.40 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) 73.08/18.40 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 73.08/18.40 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(c),#}(c(a)(a(c)(c(b)(x1)))) 73.08/18.40 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) 73.08/18.40 TRS: 73.08/18.40 c(c)(c(c)(c(c)(c(c)(x1)))) -> c(b)(b(a)(a(a)(a(c)(x1)))) 73.08/18.40 c(c)(c(c)(c(c)(c(b)(x1)))) -> c(b)(b(a)(a(a)(a(b)(x1)))) 73.08/18.40 c(c)(c(c)(c(c)(c(a)(x1)))) -> c(b)(b(a)(a(a)(a(a)(x1)))) 73.08/18.40 a(c)(c(c)(c(c)(c(c)(x1)))) -> a(b)(b(a)(a(a)(a(c)(x1)))) 73.08/18.40 a(c)(c(c)(c(c)(c(b)(x1)))) -> a(b)(b(a)(a(a)(a(b)(x1)))) 73.08/18.40 a(c)(c(c)(c(c)(c(a)(x1)))) -> a(b)(b(a)(a(a)(a(a)(x1)))) 73.08/18.40 a(b)(b(a)(a(a)(x1))) -> a(b)(b(b)(b(a)(x1))) 73.08/18.40 c(a)(a(b)(b(a)(a(c)(x1)))) -> c(b)(b(c)(c(c)(c(c)(x1)))) 73.08/18.40 c(a)(a(b)(b(a)(a(b)(x1)))) -> c(b)(b(c)(c(c)(c(b)(x1)))) 73.08/18.40 c(a)(a(b)(b(a)(a(a)(x1)))) -> c(b)(b(c)(c(c)(c(a)(x1)))) 73.08/18.40 a(a)(a(b)(b(a)(a(c)(x1)))) -> a(b)(b(c)(c(c)(c(c)(x1)))) 73.08/18.40 a(a)(a(b)(b(a)(a(b)(x1)))) -> a(b)(b(c)(c(c)(c(b)(x1)))) 73.08/18.40 a(a)(a(b)(b(a)(a(a)(x1)))) -> a(b)(b(c)(c(c)(c(a)(x1)))) 73.08/18.40 a(c)(c(b)(b(b)(x1))) -> a(a)(a(c)(c(b)(x1))) 73.08/18.40 c(c)(c(b)(b(b)(x1))) -> c(c)(c(a)(a(b)(x1))) 73.08/18.40 c(a)(a(b)(b(c)(c(c)(x1)))) -> c(c)(c(a)(a(c)(c(c)(x1)))) 73.08/18.40 c(a)(a(b)(b(c)(c(b)(x1)))) -> c(c)(c(a)(a(c)(c(b)(x1)))) 73.08/18.40 a(a)(a(b)(b(c)(c(c)(x1)))) -> a(c)(c(a)(a(c)(c(c)(x1)))) 73.08/18.40 a(a)(a(b)(b(c)(c(b)(x1)))) -> a(c)(c(a)(a(c)(c(b)(x1)))) 73.08/18.40 graph: 73.08/18.40 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 73.08/18.40 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 73.08/18.40 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 73.08/18.40 c{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 73.08/18.40 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 73.08/18.40 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 73.08/18.40 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 73.08/18.40 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 73.08/18.40 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(c),#}(c(a)(a(c)(c(c)(x1)))) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 73.08/18.40 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 73.08/18.40 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 73.08/18.40 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(c),#}(c(a)(a(c)(c(b)(x1)))) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) -> 73.08/18.40 a{(c),#}(c(b)(b(b)(x1))) -> a{(c),#}(c(b)(x1)) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) -> 73.08/18.40 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(c),#}(c(a)(a(c)(c(b)(x1)))) -> 73.08/18.40 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(c),#}(c(a)(a(c)(c(b)(x1)))) -> 73.08/18.40 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(c),#}(c(a)(a(c)(c(b)(x1)))) -> 73.08/18.40 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(c),#}(c(a)(a(c)(c(b)(x1)))) -> 73.08/18.40 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(c),#}(c(a)(a(c)(c(b)(x1)))) -> 73.08/18.40 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 73.08/18.40 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 73.08/18.40 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 73.08/18.40 c{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 73.08/18.40 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 73.08/18.40 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 73.08/18.40 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 73.08/18.40 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 73.08/18.40 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(c),#}(c(a)(a(c)(c(c)(x1)))) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 73.08/18.40 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 73.08/18.40 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 73.08/18.40 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(c),#}(c(a)(a(c)(c(b)(x1)))) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) -> 73.08/18.40 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) -> 73.08/18.40 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) -> 73.08/18.40 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) -> 73.08/18.40 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) -> 73.08/18.40 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> 73.08/18.40 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> 73.08/18.40 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> 73.08/18.40 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> 73.08/18.40 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 73.08/18.40 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(c),#}(c(a)(a(c)(c(c)(x1)))) -> 73.08/18.40 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 73.08/18.40 c{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) -> 73.08/18.40 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) 73.08/18.40 c{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) -> 73.08/18.40 c{(c),#}(c(b)(b(b)(x1))) -> c{(c),#}(c(a)(a(b)(x1))) 73.08/18.40 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) -> 73.08/18.40 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 73.08/18.40 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) -> 73.08/18.40 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 73.08/18.40 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) -> 73.08/18.40 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 73.08/18.40 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) -> 73.08/18.40 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 73.08/18.40 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) -> 73.08/18.40 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 73.08/18.41 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) -> 73.08/18.41 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 73.08/18.41 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) -> 73.08/18.41 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 73.08/18.41 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) -> 73.08/18.41 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 73.08/18.41 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) -> 73.08/18.41 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 73.08/18.41 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) -> 73.08/18.41 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 73.08/18.41 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) -> 73.08/18.41 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) 73.08/18.41 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) -> 73.08/18.41 c{(c),#}(c(b)(b(b)(x1))) -> c{(c),#}(c(a)(a(b)(x1))) 73.08/18.41 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 73.08/18.41 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 73.08/18.41 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 73.08/18.41 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 73.08/18.41 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 73.08/18.41 c{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 73.08/18.41 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 73.08/18.41 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 73.08/18.41 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 73.08/18.41 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 73.08/18.41 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 73.08/18.41 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 73.08/18.41 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 73.08/18.41 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 73.08/18.41 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 73.08/18.41 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(c),#}(c(a)(a(c)(c(c)(x1)))) 73.08/18.41 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 73.08/18.41 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 73.08/18.41 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 73.08/18.41 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 73.08/18.41 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 73.08/18.41 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(c),#}(c(a)(a(c)(c(b)(x1)))) 73.08/18.41 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) -> 73.08/18.41 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 73.08/18.41 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) -> 73.08/18.41 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 73.08/18.41 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) -> 73.08/18.41 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 73.08/18.41 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) -> 73.08/18.41 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 73.08/18.41 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) -> 73.08/18.41 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 73.08/18.41 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 73.08/18.41 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 73.08/18.41 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 73.08/18.41 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 73.08/18.41 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 73.08/18.41 c{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 73.08/18.41 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 73.08/18.41 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 73.08/18.41 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 73.08/18.41 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 73.08/18.41 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 73.08/18.41 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 73.08/18.41 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 73.08/18.41 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 73.08/18.41 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 73.08/18.41 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(c),#}(c(a)(a(c)(c(c)(x1)))) 73.08/18.41 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 73.08/18.41 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 73.08/18.42 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 73.08/18.42 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 73.08/18.42 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) -> 73.08/18.42 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(c),#}(c(a)(a(c)(c(b)(x1)))) 73.08/18.42 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) -> 73.08/18.42 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 73.08/18.42 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) -> 73.08/18.42 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 73.08/18.42 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) -> 73.08/18.42 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 73.08/18.42 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) -> 73.08/18.42 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 73.08/18.42 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) -> 73.08/18.42 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 73.08/18.42 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) -> 73.08/18.42 a{(c),#}(c(b)(b(b)(x1))) -> a{(c),#}(c(b)(x1)) 73.08/18.42 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) -> 73.08/18.42 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) 73.08/18.42 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 73.08/18.42 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 73.08/18.42 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 73.08/18.42 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 73.08/18.42 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 73.08/18.42 c{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 73.08/18.42 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 73.08/18.42 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 73.08/18.42 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 73.08/18.42 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 73.08/18.42 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 73.08/18.42 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 73.08/18.42 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 73.08/18.42 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 73.08/18.42 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 73.08/18.42 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(c),#}(c(a)(a(c)(c(c)(x1)))) 73.08/18.42 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 73.08/18.42 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 73.08/18.42 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 73.08/18.42 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 73.08/18.42 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) -> 73.08/18.42 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(c),#}(c(a)(a(c)(c(b)(x1)))) 73.08/18.42 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) -> 73.08/18.42 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 73.08/18.42 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) -> 73.08/18.42 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 73.08/18.42 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) -> 73.08/18.42 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 73.08/18.42 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) -> 73.08/18.42 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 73.08/18.42 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) -> 73.08/18.42 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 73.08/18.42 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) -> 73.08/18.42 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 73.08/18.42 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) -> 73.08/18.42 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 73.08/18.42 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) -> 73.08/18.42 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 73.08/18.42 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) -> 73.08/18.42 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 73.08/18.42 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) -> 73.08/18.42 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 73.08/18.42 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) -> 73.08/18.42 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) 73.08/18.42 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) -> 73.08/18.42 c{(c),#}(c(b)(b(b)(x1))) -> c{(c),#}(c(a)(a(b)(x1))) 73.08/18.42 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) -> 73.08/18.42 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 73.08/18.42 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) -> 73.08/18.42 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 73.08/18.42 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) -> 73.08/18.42 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 73.08/18.42 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) -> 73.08/18.42 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 73.08/18.42 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) -> 73.08/18.42 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 73.08/18.42 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) -> 73.08/18.42 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 73.08/18.42 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) -> 73.08/18.42 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 73.08/18.42 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) -> 73.08/18.42 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 73.08/18.42 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) -> 73.08/18.42 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 73.08/18.42 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) -> 73.08/18.42 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 73.08/18.42 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) -> 73.08/18.42 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) 73.08/18.42 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) -> 73.08/18.42 c{(c),#}(c(b)(b(b)(x1))) -> c{(c),#}(c(a)(a(b)(x1))) 73.08/18.42 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 73.08/18.42 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 73.08/18.42 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 73.08/18.42 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 73.08/18.42 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 73.08/18.42 c{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 73.08/18.42 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 73.08/18.42 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 73.08/18.42 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 73.08/18.42 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 73.08/18.42 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 73.08/18.42 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 73.08/18.42 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 73.08/18.42 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 73.08/18.42 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 73.08/18.42 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(c),#}(c(a)(a(c)(c(c)(x1)))) 73.08/18.42 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 73.08/18.42 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 73.08/18.42 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 73.08/18.42 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 73.08/18.42 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) -> 73.08/18.42 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(c),#}(c(a)(a(c)(c(b)(x1)))) 73.08/18.42 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) -> 73.08/18.42 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 73.08/18.42 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) -> 73.08/18.42 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 73.08/18.42 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) -> 73.08/18.42 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 73.08/18.42 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) -> 73.08/18.42 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 73.08/18.42 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) -> 73.08/18.42 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 73.08/18.42 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) -> 73.08/18.42 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 73.08/18.42 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) -> 73.08/18.42 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 73.08/18.42 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) -> 73.08/18.42 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 73.08/18.43 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) -> 73.08/18.43 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 73.08/18.43 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) -> 73.08/18.43 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 73.08/18.43 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) -> 73.08/18.43 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 73.08/18.43 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) -> 73.08/18.43 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 73.08/18.43 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) -> 73.08/18.43 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) 73.08/18.43 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) -> 73.08/18.43 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 73.08/18.43 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) -> 73.08/18.43 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 73.08/18.43 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) -> 73.08/18.43 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) 73.08/18.43 a{(c),#}(c(b)(b(b)(x1))) -> a{(c),#}(c(b)(x1)) -> 73.08/18.43 a{(c),#}(c(b)(b(b)(x1))) -> a{(c),#}(c(b)(x1)) 73.08/18.43 a{(c),#}(c(b)(b(b)(x1))) -> a{(c),#}(c(b)(x1)) -> 73.08/18.43 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) 73.08/18.43 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.08/18.43 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 73.08/18.43 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.08/18.43 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 73.08/18.43 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.08/18.43 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 73.08/18.43 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.08/18.43 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 73.08/18.43 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.08/18.43 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 73.08/18.43 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.08/18.43 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 73.08/18.43 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.08/18.43 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 73.08/18.43 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.08/18.43 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) 73.08/18.43 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.08/18.43 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 73.08/18.43 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.08/18.43 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 73.08/18.43 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.08/18.43 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) 73.08/18.43 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.08/18.43 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 73.08/18.43 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.08/18.43 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 73.08/18.43 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.08/18.43 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 73.08/18.43 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.08/18.43 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 73.08/18.43 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.08/18.43 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 73.08/18.43 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.08/18.43 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 73.08/18.43 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.08/18.43 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 73.08/18.43 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.08/18.43 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) 73.08/18.43 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.08/18.43 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 73.08/18.43 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.08/18.43 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 73.08/18.43 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.08/18.43 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) 73.14/18.44 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.14/18.44 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 73.14/18.44 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.14/18.44 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 73.14/18.44 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.14/18.44 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 73.14/18.44 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.14/18.44 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 73.14/18.44 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.14/18.44 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 73.14/18.44 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.14/18.44 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 73.14/18.44 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.14/18.44 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 73.14/18.44 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.14/18.44 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) 73.14/18.44 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.14/18.44 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 73.14/18.44 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.14/18.44 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 73.14/18.44 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.14/18.44 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) 73.14/18.44 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.14/18.44 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 73.14/18.44 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.14/18.44 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 73.14/18.44 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.14/18.44 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 73.14/18.44 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.14/18.44 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 73.14/18.44 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.14/18.44 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 73.14/18.44 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.14/18.44 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 73.14/18.44 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.14/18.44 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 73.14/18.44 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.14/18.44 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) 73.14/18.44 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.14/18.44 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 73.14/18.44 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.14/18.44 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 73.14/18.44 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.14/18.44 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) 73.14/18.44 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.14/18.44 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 73.14/18.44 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.14/18.44 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 73.14/18.44 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.14/18.44 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 73.14/18.44 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.14/18.44 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 73.14/18.44 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.14/18.44 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 73.14/18.44 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.14/18.44 a{(c),#}(c(b)(b(b)(x1))) -> a{(c),#}(c(b)(x1)) 73.14/18.44 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.14/18.44 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) 73.14/18.44 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) -> 73.14/18.44 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 73.14/18.44 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) -> 73.14/18.44 c{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 73.14/18.44 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) -> 73.14/18.44 c{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 73.14/18.44 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) -> 73.14/18.44 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 73.14/18.44 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) -> 73.14/18.44 c{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 73.14/18.44 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) -> 73.14/18.44 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 73.14/18.44 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) -> 73.14/18.44 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 73.14/18.44 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) -> 73.14/18.44 c{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(c),#}(c(a)(a(c)(c(c)(x1)))) 73.14/18.44 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) -> 73.14/18.44 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 73.14/18.44 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) -> 73.14/18.44 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 73.14/18.44 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) -> 73.14/18.44 c{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(c),#}(c(a)(a(c)(c(b)(x1)))) 73.14/18.44 c{(c),#}(c(b)(b(b)(x1))) -> c{(c),#}(c(a)(a(b)(x1))) -> 73.14/18.44 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 73.14/18.44 c{(c),#}(c(b)(b(b)(x1))) -> c{(c),#}(c(a)(a(b)(x1))) -> 73.14/18.44 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 73.14/18.44 c{(c),#}(c(b)(b(b)(x1))) -> c{(c),#}(c(a)(a(b)(x1))) -> 73.14/18.44 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 73.14/18.44 c{(c),#}(c(b)(b(b)(x1))) -> c{(c),#}(c(a)(a(b)(x1))) -> 73.14/18.44 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 73.14/18.44 c{(c),#}(c(b)(b(b)(x1))) -> c{(c),#}(c(a)(a(b)(x1))) -> 73.14/18.44 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 73.14/18.44 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.14/18.44 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 73.14/18.44 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.14/18.44 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 73.14/18.44 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.14/18.44 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 73.14/18.44 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.14/18.44 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 73.14/18.44 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.14/18.44 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 73.14/18.44 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.14/18.44 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 73.14/18.44 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.14/18.44 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 73.14/18.44 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.14/18.44 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) 73.14/18.44 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.14/18.44 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 73.14/18.44 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.14/18.44 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 73.14/18.44 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) -> 73.14/18.44 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) 73.14/18.44 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.14/18.44 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 73.14/18.44 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.14/18.44 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 73.14/18.44 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.14/18.44 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 73.14/18.44 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.14/18.44 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 73.14/18.44 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.14/18.44 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 73.14/18.44 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.14/18.44 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 73.14/18.44 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.14/18.44 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 73.14/18.44 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.14/18.44 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) 73.14/18.45 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.14/18.45 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 73.14/18.45 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.14/18.45 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 73.14/18.45 c{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) -> 73.14/18.45 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) 73.14/18.45 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.14/18.45 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 73.14/18.45 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.14/18.45 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 73.14/18.45 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.14/18.45 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 73.14/18.45 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.14/18.45 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 73.14/18.45 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.14/18.45 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 73.14/18.45 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.14/18.45 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 73.14/18.45 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.14/18.45 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 73.14/18.45 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.14/18.45 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) 73.14/18.45 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.14/18.45 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 73.14/18.45 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.14/18.45 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 73.14/18.45 c{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) -> 73.14/18.45 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) 73.14/18.45 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.14/18.45 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(x1) 73.14/18.45 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.14/18.45 a{(a),#}(a(b)(b(a)(a(c)(x1)))) -> c{(c),#}(c(c)(x1)) 73.14/18.45 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.14/18.45 a{(a),#}(a(b)(b(a)(a(b)(x1)))) -> c{(c),#}(c(b)(x1)) 73.14/18.45 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.14/18.45 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(a),#}(x1) 73.14/18.45 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.14/18.45 a{(a),#}(a(b)(b(a)(a(a)(x1)))) -> c{(c),#}(c(a)(x1)) 73.14/18.45 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.14/18.45 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(c)(x1)) 73.14/18.45 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.14/18.45 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> c{(a),#}(a(c)(c(c)(x1))) 73.14/18.45 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.14/18.45 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) 73.14/18.45 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.14/18.45 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(b)(x1)) 73.14/18.45 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.14/18.45 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> c{(a),#}(a(c)(c(b)(x1))) 73.14/18.45 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) -> 73.14/18.45 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) 73.14/18.45 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.14/18.45 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) 73.14/18.45 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.14/18.45 a{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(a),#}(a(c)(x1)) 73.14/18.45 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.14/18.45 a{(c),#}(c(c)(c(c)(c(b)(x1)))) -> a{(a),#}(a(b)(x1)) 73.14/18.45 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.14/18.45 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(x1) 73.14/18.45 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.14/18.45 a{(c),#}(c(c)(c(c)(c(a)(x1)))) -> a{(a),#}(a(a)(x1)) 73.14/18.45 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.14/18.45 a{(c),#}(c(b)(b(b)(x1))) -> a{(c),#}(c(b)(x1)) 73.14/18.45 c{(c),#}(c(c)(c(c)(c(c)(x1)))) -> a{(c),#}(x1) -> 73.14/18.45 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) 73.14/18.45 Subterm Criterion Processor: 73.14/18.45 simple projection: 73.14/18.45 pi(c(c)) = [0,0] 73.14/18.45 pi(c(b)) = [0,0] 73.14/18.45 pi(b(a)) = [0,0] 73.14/18.45 pi(a(a)) = [0,0] 73.14/18.45 pi(a(c)) = [0,0] 73.14/18.45 pi(a(b)) = [0,0] 73.14/18.45 pi(c(a)) = [0,0] 73.14/18.45 pi(b(c)) = [0,0] 73.14/18.45 pi(b(b)) = [0,0] 73.14/18.45 pi(c{(c),#}) = 0 73.14/18.45 pi(a{(c),#}) = [0,0] 73.14/18.45 pi(a{(a),#}) = [0,0] 73.14/18.45 pi(c{(a),#}) = [0,0] 73.14/18.45 problem: 73.14/18.45 DPs: 73.14/18.45 c{(c),#}(c(b)(b(b)(x1))) -> c{(a),#}(a(b)(x1)) 73.14/18.45 c{(c),#}(c(b)(b(b)(x1))) -> c{(c),#}(c(a)(a(b)(x1))) 73.14/18.45 a{(a),#}(a(b)(b(c)(c(c)(x1)))) -> a{(c),#}(c(a)(a(c)(c(c)(x1)))) 73.14/18.45 a{(c),#}(c(b)(b(b)(x1))) -> a{(a),#}(a(c)(c(b)(x1))) 73.14/18.45 a{(a),#}(a(b)(b(c)(c(b)(x1)))) -> a{(c),#}(c(a)(a(c)(c(b)(x1)))) 73.14/18.45 TRS: 73.14/18.45 c(c)(c(c)(c(c)(c(c)(x1)))) -> c(b)(b(a)(a(a)(a(c)(x1)))) 73.14/18.45 c(c)(c(c)(c(c)(c(b)(x1)))) -> c(b)(b(a)(a(a)(a(b)(x1)))) 73.14/18.46 c(c)(c(c)(c(c)(c(a)(x1)))) -> c(b)(b(a)(a(a)(a(a)(x1)))) 73.14/18.46 a(c)(c(c)(c(c)(c(c)(x1)))) -> a(b)(b(a)(a(a)(a(c)(x1)))) 73.14/18.46 a(c)(c(c)(c(c)(c(b)(x1)))) -> a(b)(b(a)(a(a)(a(b)(x1)))) 73.14/18.46 a(c)(c(c)(c(c)(c(a)(x1)))) -> a(b)(b(a)(a(a)(a(a)(x1)))) 73.14/18.46 a(b)(b(a)(a(a)(x1))) -> a(b)(b(b)(b(a)(x1))) 73.14/18.46 c(a)(a(b)(b(a)(a(c)(x1)))) -> c(b)(b(c)(c(c)(c(c)(x1)))) 73.14/18.46 c(a)(a(b)(b(a)(a(b)(x1)))) -> c(b)(b(c)(c(c)(c(b)(x1)))) 73.14/18.46 c(a)(a(b)(b(a)(a(a)(x1)))) -> c(b)(b(c)(c(c)(c(a)(x1)))) 73.14/18.46 a(a)(a(b)(b(a)(a(c)(x1)))) -> a(b)(b(c)(c(c)(c(c)(x1)))) 73.14/18.46 a(a)(a(b)(b(a)(a(b)(x1)))) -> a(b)(b(c)(c(c)(c(b)(x1)))) 73.14/18.46 a(a)(a(b)(b(a)(a(a)(x1)))) -> a(b)(b(c)(c(c)(c(a)(x1)))) 73.14/18.46 a(c)(c(b)(b(b)(x1))) -> a(a)(a(c)(c(b)(x1))) 73.14/18.46 c(c)(c(b)(b(b)(x1))) -> c(c)(c(a)(a(b)(x1))) 73.14/18.46 c(a)(a(b)(b(c)(c(c)(x1)))) -> c(c)(c(a)(a(c)(c(c)(x1)))) 73.14/18.46 c(a)(a(b)(b(c)(c(b)(x1)))) -> c(c)(c(a)(a(c)(c(b)(x1)))) 73.14/18.46 a(a)(a(b)(b(c)(c(c)(x1)))) -> a(c)(c(a)(a(c)(c(c)(x1)))) 73.14/18.46 a(a)(a(b)(b(c)(c(b)(x1)))) -> a(c)(c(a)(a(c)(c(b)(x1)))) 73.14/18.46 SCC Processor: 73.14/18.46 #sccs: 0 73.14/18.46 #rules: 0 73.14/18.46 #arcs: 269/25 73.14/18.46 73.14/18.46 73.14/18.46 DPs: 73.14/18.46 a{(b),#}(b(a)(a(a)(x1))) -> a{(b),#}(b(b)(b(a)(x1))) 73.14/18.46 TRS: 73.14/18.46 c(c)(c(c)(c(c)(c(c)(x1)))) -> c(b)(b(a)(a(a)(a(c)(x1)))) 73.14/18.46 c(c)(c(c)(c(c)(c(b)(x1)))) -> c(b)(b(a)(a(a)(a(b)(x1)))) 73.14/18.46 c(c)(c(c)(c(c)(c(a)(x1)))) -> c(b)(b(a)(a(a)(a(a)(x1)))) 73.14/18.46 a(c)(c(c)(c(c)(c(c)(x1)))) -> a(b)(b(a)(a(a)(a(c)(x1)))) 73.14/18.46 a(c)(c(c)(c(c)(c(b)(x1)))) -> a(b)(b(a)(a(a)(a(b)(x1)))) 73.14/18.46 a(c)(c(c)(c(c)(c(a)(x1)))) -> a(b)(b(a)(a(a)(a(a)(x1)))) 73.14/18.46 a(b)(b(a)(a(a)(x1))) -> a(b)(b(b)(b(a)(x1))) 73.14/18.46 c(a)(a(b)(b(a)(a(c)(x1)))) -> c(b)(b(c)(c(c)(c(c)(x1)))) 73.14/18.46 c(a)(a(b)(b(a)(a(b)(x1)))) -> c(b)(b(c)(c(c)(c(b)(x1)))) 73.14/18.46 c(a)(a(b)(b(a)(a(a)(x1)))) -> c(b)(b(c)(c(c)(c(a)(x1)))) 73.14/18.46 a(a)(a(b)(b(a)(a(c)(x1)))) -> a(b)(b(c)(c(c)(c(c)(x1)))) 73.14/18.46 a(a)(a(b)(b(a)(a(b)(x1)))) -> a(b)(b(c)(c(c)(c(b)(x1)))) 73.14/18.46 a(a)(a(b)(b(a)(a(a)(x1)))) -> a(b)(b(c)(c(c)(c(a)(x1)))) 73.14/18.46 a(c)(c(b)(b(b)(x1))) -> a(a)(a(c)(c(b)(x1))) 73.14/18.46 c(c)(c(b)(b(b)(x1))) -> c(c)(c(a)(a(b)(x1))) 73.14/18.46 c(a)(a(b)(b(c)(c(c)(x1)))) -> c(c)(c(a)(a(c)(c(c)(x1)))) 73.14/18.46 c(a)(a(b)(b(c)(c(b)(x1)))) -> c(c)(c(a)(a(c)(c(b)(x1)))) 73.14/18.46 a(a)(a(b)(b(c)(c(c)(x1)))) -> a(c)(c(a)(a(c)(c(c)(x1)))) 73.14/18.46 a(a)(a(b)(b(c)(c(b)(x1)))) -> a(c)(c(a)(a(c)(c(b)(x1)))) 73.14/18.46 EDG Processor: 73.14/18.46 DPs: 73.14/18.46 a{(b),#}(b(a)(a(a)(x1))) -> a{(b),#}(b(b)(b(a)(x1))) 73.14/18.46 TRS: 73.14/18.46 c(c)(c(c)(c(c)(c(c)(x1)))) -> c(b)(b(a)(a(a)(a(c)(x1)))) 73.14/18.46 c(c)(c(c)(c(c)(c(b)(x1)))) -> c(b)(b(a)(a(a)(a(b)(x1)))) 73.14/18.46 c(c)(c(c)(c(c)(c(a)(x1)))) -> c(b)(b(a)(a(a)(a(a)(x1)))) 73.14/18.46 a(c)(c(c)(c(c)(c(c)(x1)))) -> a(b)(b(a)(a(a)(a(c)(x1)))) 73.14/18.46 a(c)(c(c)(c(c)(c(b)(x1)))) -> a(b)(b(a)(a(a)(a(b)(x1)))) 73.14/18.46 a(c)(c(c)(c(c)(c(a)(x1)))) -> a(b)(b(a)(a(a)(a(a)(x1)))) 73.14/18.46 a(b)(b(a)(a(a)(x1))) -> a(b)(b(b)(b(a)(x1))) 73.14/18.46 c(a)(a(b)(b(a)(a(c)(x1)))) -> c(b)(b(c)(c(c)(c(c)(x1)))) 73.14/18.46 c(a)(a(b)(b(a)(a(b)(x1)))) -> c(b)(b(c)(c(c)(c(b)(x1)))) 73.14/18.46 c(a)(a(b)(b(a)(a(a)(x1)))) -> c(b)(b(c)(c(c)(c(a)(x1)))) 73.14/18.46 a(a)(a(b)(b(a)(a(c)(x1)))) -> a(b)(b(c)(c(c)(c(c)(x1)))) 73.14/18.46 a(a)(a(b)(b(a)(a(b)(x1)))) -> a(b)(b(c)(c(c)(c(b)(x1)))) 73.14/18.46 a(a)(a(b)(b(a)(a(a)(x1)))) -> a(b)(b(c)(c(c)(c(a)(x1)))) 73.14/18.46 a(c)(c(b)(b(b)(x1))) -> a(a)(a(c)(c(b)(x1))) 73.14/18.46 c(c)(c(b)(b(b)(x1))) -> c(c)(c(a)(a(b)(x1))) 73.14/18.46 c(a)(a(b)(b(c)(c(c)(x1)))) -> c(c)(c(a)(a(c)(c(c)(x1)))) 73.14/18.46 c(a)(a(b)(b(c)(c(b)(x1)))) -> c(c)(c(a)(a(c)(c(b)(x1)))) 73.14/18.46 a(a)(a(b)(b(c)(c(c)(x1)))) -> a(c)(c(a)(a(c)(c(c)(x1)))) 73.14/18.46 a(a)(a(b)(b(c)(c(b)(x1)))) -> a(c)(c(a)(a(c)(c(b)(x1)))) 73.14/18.46 graph: 73.14/18.46 73.14/18.46 SCC Processor: 73.14/18.46 #sccs: 0 73.14/18.46 #rules: 0 73.14/18.46 #arcs: 0/1 73.14/18.46 73.17/18.46 EOF