45.45/11.86 YES 45.54/11.88 45.54/11.88 Problem: 45.54/11.88 a(c(x1)) -> c(b(c(c(a(x1))))) 45.54/11.88 b(b(b(x1))) -> c(b(x1)) 45.54/11.88 d(d(x1)) -> d(b(d(b(d(x1))))) 45.54/11.88 a(a(x1)) -> a(d(a(x1))) 45.54/11.88 a(b(x1)) -> c(c(a(x1))) 45.54/11.88 c(c(x1)) -> c(b(c(b(c(x1))))) 45.54/11.88 c(c(c(x1))) -> c(b(b(x1))) 45.54/11.88 45.54/11.88 Proof: 45.54/11.88 DP Processor: 45.54/11.88 DPs: 45.54/11.88 a#(c(x1)) -> a#(x1) 45.54/11.88 a#(c(x1)) -> c#(a(x1)) 45.54/11.88 a#(c(x1)) -> c#(c(a(x1))) 45.54/11.88 a#(c(x1)) -> b#(c(c(a(x1)))) 45.54/11.88 a#(c(x1)) -> c#(b(c(c(a(x1))))) 45.54/11.88 b#(b(b(x1))) -> c#(b(x1)) 45.54/11.88 d#(d(x1)) -> b#(d(x1)) 45.54/11.88 d#(d(x1)) -> d#(b(d(x1))) 45.54/11.88 d#(d(x1)) -> b#(d(b(d(x1)))) 45.54/11.88 d#(d(x1)) -> d#(b(d(b(d(x1))))) 45.54/11.88 a#(a(x1)) -> d#(a(x1)) 45.54/11.88 a#(a(x1)) -> a#(d(a(x1))) 45.54/11.88 a#(b(x1)) -> a#(x1) 45.54/11.88 a#(b(x1)) -> c#(a(x1)) 45.54/11.88 a#(b(x1)) -> c#(c(a(x1))) 45.54/11.88 c#(c(x1)) -> b#(c(x1)) 45.54/11.88 c#(c(x1)) -> c#(b(c(x1))) 45.54/11.88 c#(c(x1)) -> b#(c(b(c(x1)))) 45.54/11.88 c#(c(x1)) -> c#(b(c(b(c(x1))))) 45.54/11.88 c#(c(c(x1))) -> b#(x1) 45.54/11.88 c#(c(c(x1))) -> b#(b(x1)) 45.54/11.88 c#(c(c(x1))) -> c#(b(b(x1))) 45.54/11.88 TRS: 45.54/11.88 a(c(x1)) -> c(b(c(c(a(x1))))) 45.54/11.88 b(b(b(x1))) -> c(b(x1)) 45.54/11.88 d(d(x1)) -> d(b(d(b(d(x1))))) 45.54/11.88 a(a(x1)) -> a(d(a(x1))) 45.54/11.88 a(b(x1)) -> c(c(a(x1))) 45.54/11.88 c(c(x1)) -> c(b(c(b(c(x1))))) 45.54/11.88 c(c(c(x1))) -> c(b(b(x1))) 45.54/11.88 TDG Processor: 45.54/11.88 DPs: 45.54/11.88 a#(c(x1)) -> a#(x1) 45.54/11.88 a#(c(x1)) -> c#(a(x1)) 45.54/11.88 a#(c(x1)) -> c#(c(a(x1))) 45.54/11.88 a#(c(x1)) -> b#(c(c(a(x1)))) 45.54/11.88 a#(c(x1)) -> c#(b(c(c(a(x1))))) 45.54/11.88 b#(b(b(x1))) -> c#(b(x1)) 45.54/11.88 d#(d(x1)) -> b#(d(x1)) 45.54/11.88 d#(d(x1)) -> d#(b(d(x1))) 45.54/11.88 d#(d(x1)) -> b#(d(b(d(x1)))) 45.54/11.88 d#(d(x1)) -> d#(b(d(b(d(x1))))) 45.54/11.88 a#(a(x1)) -> d#(a(x1)) 45.54/11.88 a#(a(x1)) -> a#(d(a(x1))) 45.54/11.88 a#(b(x1)) -> a#(x1) 45.54/11.88 a#(b(x1)) -> c#(a(x1)) 45.54/11.88 a#(b(x1)) -> c#(c(a(x1))) 45.54/11.88 c#(c(x1)) -> b#(c(x1)) 45.54/11.88 c#(c(x1)) -> c#(b(c(x1))) 45.54/11.88 c#(c(x1)) -> b#(c(b(c(x1)))) 45.54/11.88 c#(c(x1)) -> c#(b(c(b(c(x1))))) 45.54/11.88 c#(c(c(x1))) -> b#(x1) 45.54/11.88 c#(c(c(x1))) -> b#(b(x1)) 45.54/11.88 c#(c(c(x1))) -> c#(b(b(x1))) 45.54/11.88 TRS: 45.54/11.88 a(c(x1)) -> c(b(c(c(a(x1))))) 45.54/11.88 b(b(b(x1))) -> c(b(x1)) 45.54/11.88 d(d(x1)) -> d(b(d(b(d(x1))))) 45.54/11.88 a(a(x1)) -> a(d(a(x1))) 45.54/11.88 a(b(x1)) -> c(c(a(x1))) 45.54/11.88 c(c(x1)) -> c(b(c(b(c(x1))))) 45.54/11.88 c(c(c(x1))) -> c(b(b(x1))) 45.54/11.88 graph: 45.54/11.88 d#(d(x1)) -> d#(b(d(b(d(x1))))) -> 45.54/11.88 d#(d(x1)) -> d#(b(d(b(d(x1))))) 45.54/11.88 d#(d(x1)) -> d#(b(d(b(d(x1))))) -> d#(d(x1)) -> b#(d(b(d(x1)))) 45.54/11.88 d#(d(x1)) -> d#(b(d(b(d(x1))))) -> d#(d(x1)) -> d#(b(d(x1))) 45.54/11.88 d#(d(x1)) -> d#(b(d(b(d(x1))))) -> d#(d(x1)) -> b#(d(x1)) 45.54/11.88 d#(d(x1)) -> d#(b(d(x1))) -> d#(d(x1)) -> d#(b(d(b(d(x1))))) 45.54/11.88 d#(d(x1)) -> d#(b(d(x1))) -> d#(d(x1)) -> b#(d(b(d(x1)))) 45.54/11.88 d#(d(x1)) -> d#(b(d(x1))) -> d#(d(x1)) -> d#(b(d(x1))) 45.54/11.88 d#(d(x1)) -> d#(b(d(x1))) -> d#(d(x1)) -> b#(d(x1)) 45.54/11.88 d#(d(x1)) -> b#(d(b(d(x1)))) -> b#(b(b(x1))) -> c#(b(x1)) 45.54/11.88 d#(d(x1)) -> b#(d(x1)) -> b#(b(b(x1))) -> c#(b(x1)) 45.54/11.88 b#(b(b(x1))) -> c#(b(x1)) -> c#(c(c(x1))) -> c#(b(b(x1))) 45.54/11.88 b#(b(b(x1))) -> c#(b(x1)) -> c#(c(c(x1))) -> b#(b(x1)) 45.54/11.88 b#(b(b(x1))) -> c#(b(x1)) -> c#(c(c(x1))) -> b#(x1) 45.54/11.88 b#(b(b(x1))) -> c#(b(x1)) -> c#(c(x1)) -> c#(b(c(b(c(x1))))) 45.54/11.88 b#(b(b(x1))) -> c#(b(x1)) -> c#(c(x1)) -> b#(c(b(c(x1)))) 45.54/11.88 b#(b(b(x1))) -> c#(b(x1)) -> c#(c(x1)) -> c#(b(c(x1))) 45.54/11.88 b#(b(b(x1))) -> c#(b(x1)) -> c#(c(x1)) -> b#(c(x1)) 45.54/11.88 c#(c(c(x1))) -> b#(b(x1)) -> b#(b(b(x1))) -> c#(b(x1)) 45.54/11.88 c#(c(c(x1))) -> b#(x1) -> b#(b(b(x1))) -> c#(b(x1)) 45.54/11.88 c#(c(c(x1))) -> c#(b(b(x1))) -> c#(c(c(x1))) -> c#(b(b(x1))) 45.54/11.88 c#(c(c(x1))) -> c#(b(b(x1))) -> c#(c(c(x1))) -> b#(b(x1)) 45.54/11.88 c#(c(c(x1))) -> c#(b(b(x1))) -> c#(c(c(x1))) -> b#(x1) 45.54/11.88 c#(c(c(x1))) -> c#(b(b(x1))) -> c#(c(x1)) -> c#(b(c(b(c(x1))))) 45.54/11.88 c#(c(c(x1))) -> c#(b(b(x1))) -> c#(c(x1)) -> b#(c(b(c(x1)))) 45.54/11.88 c#(c(c(x1))) -> c#(b(b(x1))) -> c#(c(x1)) -> c#(b(c(x1))) 45.54/11.88 c#(c(c(x1))) -> c#(b(b(x1))) -> c#(c(x1)) -> b#(c(x1)) 45.54/11.88 c#(c(x1)) -> b#(c(b(c(x1)))) -> b#(b(b(x1))) -> c#(b(x1)) 45.54/11.88 c#(c(x1)) -> b#(c(x1)) -> b#(b(b(x1))) -> c#(b(x1)) 45.54/11.88 c#(c(x1)) -> c#(b(c(b(c(x1))))) -> c#(c(c(x1))) -> c#(b(b(x1))) 45.54/11.88 c#(c(x1)) -> c#(b(c(b(c(x1))))) -> c#(c(c(x1))) -> b#(b(x1)) 45.54/11.88 c#(c(x1)) -> c#(b(c(b(c(x1))))) -> c#(c(c(x1))) -> b#(x1) 45.54/11.88 c#(c(x1)) -> c#(b(c(b(c(x1))))) -> 45.54/11.88 c#(c(x1)) -> c#(b(c(b(c(x1))))) 45.54/11.88 c#(c(x1)) -> c#(b(c(b(c(x1))))) -> c#(c(x1)) -> b#(c(b(c(x1)))) 45.54/11.88 c#(c(x1)) -> c#(b(c(b(c(x1))))) -> c#(c(x1)) -> c#(b(c(x1))) 45.54/11.89 c#(c(x1)) -> c#(b(c(b(c(x1))))) -> c#(c(x1)) -> b#(c(x1)) 45.54/11.89 c#(c(x1)) -> c#(b(c(x1))) -> c#(c(c(x1))) -> c#(b(b(x1))) 45.54/11.89 c#(c(x1)) -> c#(b(c(x1))) -> c#(c(c(x1))) -> b#(b(x1)) 45.54/11.89 c#(c(x1)) -> c#(b(c(x1))) -> c#(c(c(x1))) -> b#(x1) 45.54/11.89 c#(c(x1)) -> c#(b(c(x1))) -> c#(c(x1)) -> c#(b(c(b(c(x1))))) 45.54/11.89 c#(c(x1)) -> c#(b(c(x1))) -> c#(c(x1)) -> b#(c(b(c(x1)))) 45.54/11.89 c#(c(x1)) -> c#(b(c(x1))) -> c#(c(x1)) -> c#(b(c(x1))) 45.54/11.89 c#(c(x1)) -> c#(b(c(x1))) -> c#(c(x1)) -> b#(c(x1)) 45.54/11.89 a#(b(x1)) -> c#(a(x1)) -> c#(c(c(x1))) -> c#(b(b(x1))) 45.54/11.89 a#(b(x1)) -> c#(a(x1)) -> c#(c(c(x1))) -> b#(b(x1)) 45.54/11.89 a#(b(x1)) -> c#(a(x1)) -> c#(c(c(x1))) -> b#(x1) 45.54/11.89 a#(b(x1)) -> c#(a(x1)) -> c#(c(x1)) -> c#(b(c(b(c(x1))))) 45.54/11.89 a#(b(x1)) -> c#(a(x1)) -> c#(c(x1)) -> b#(c(b(c(x1)))) 45.54/11.89 a#(b(x1)) -> c#(a(x1)) -> c#(c(x1)) -> c#(b(c(x1))) 45.54/11.89 a#(b(x1)) -> c#(a(x1)) -> c#(c(x1)) -> b#(c(x1)) 45.54/11.89 a#(b(x1)) -> c#(c(a(x1))) -> c#(c(c(x1))) -> c#(b(b(x1))) 45.54/11.89 a#(b(x1)) -> c#(c(a(x1))) -> c#(c(c(x1))) -> b#(b(x1)) 45.54/11.89 a#(b(x1)) -> c#(c(a(x1))) -> c#(c(c(x1))) -> b#(x1) 45.54/11.89 a#(b(x1)) -> c#(c(a(x1))) -> c#(c(x1)) -> c#(b(c(b(c(x1))))) 45.54/11.89 a#(b(x1)) -> c#(c(a(x1))) -> c#(c(x1)) -> b#(c(b(c(x1)))) 45.54/11.89 a#(b(x1)) -> c#(c(a(x1))) -> c#(c(x1)) -> c#(b(c(x1))) 45.54/11.89 a#(b(x1)) -> c#(c(a(x1))) -> c#(c(x1)) -> b#(c(x1)) 45.54/11.89 a#(b(x1)) -> a#(x1) -> a#(b(x1)) -> c#(c(a(x1))) 45.54/11.89 a#(b(x1)) -> a#(x1) -> a#(b(x1)) -> c#(a(x1)) 45.54/11.89 a#(b(x1)) -> a#(x1) -> a#(b(x1)) -> a#(x1) 45.54/11.89 a#(b(x1)) -> a#(x1) -> a#(a(x1)) -> a#(d(a(x1))) 45.54/11.89 a#(b(x1)) -> a#(x1) -> a#(a(x1)) -> d#(a(x1)) 45.54/11.89 a#(b(x1)) -> a#(x1) -> a#(c(x1)) -> c#(b(c(c(a(x1))))) 45.54/11.89 a#(b(x1)) -> a#(x1) -> a#(c(x1)) -> b#(c(c(a(x1)))) 45.54/11.89 a#(b(x1)) -> a#(x1) -> a#(c(x1)) -> c#(c(a(x1))) 45.54/11.89 a#(b(x1)) -> a#(x1) -> a#(c(x1)) -> c#(a(x1)) 45.54/11.89 a#(b(x1)) -> a#(x1) -> a#(c(x1)) -> a#(x1) 45.54/11.89 a#(a(x1)) -> d#(a(x1)) -> d#(d(x1)) -> d#(b(d(b(d(x1))))) 45.54/11.89 a#(a(x1)) -> d#(a(x1)) -> d#(d(x1)) -> b#(d(b(d(x1)))) 45.54/11.89 a#(a(x1)) -> d#(a(x1)) -> d#(d(x1)) -> d#(b(d(x1))) 45.54/11.89 a#(a(x1)) -> d#(a(x1)) -> d#(d(x1)) -> b#(d(x1)) 45.54/11.89 a#(a(x1)) -> a#(d(a(x1))) -> a#(b(x1)) -> c#(c(a(x1))) 45.54/11.89 a#(a(x1)) -> a#(d(a(x1))) -> a#(b(x1)) -> c#(a(x1)) 45.54/11.89 a#(a(x1)) -> a#(d(a(x1))) -> a#(b(x1)) -> a#(x1) 45.54/11.89 a#(a(x1)) -> a#(d(a(x1))) -> a#(a(x1)) -> a#(d(a(x1))) 45.54/11.89 a#(a(x1)) -> a#(d(a(x1))) -> a#(a(x1)) -> d#(a(x1)) 45.54/11.89 a#(a(x1)) -> a#(d(a(x1))) -> a#(c(x1)) -> c#(b(c(c(a(x1))))) 45.54/11.89 a#(a(x1)) -> a#(d(a(x1))) -> a#(c(x1)) -> b#(c(c(a(x1)))) 45.54/11.89 a#(a(x1)) -> a#(d(a(x1))) -> a#(c(x1)) -> c#(c(a(x1))) 45.54/11.89 a#(a(x1)) -> a#(d(a(x1))) -> a#(c(x1)) -> c#(a(x1)) 45.54/11.89 a#(a(x1)) -> a#(d(a(x1))) -> a#(c(x1)) -> a#(x1) 45.54/11.89 a#(c(x1)) -> b#(c(c(a(x1)))) -> b#(b(b(x1))) -> c#(b(x1)) 45.54/11.89 a#(c(x1)) -> c#(b(c(c(a(x1))))) -> c#(c(c(x1))) -> c#(b(b(x1))) 45.54/11.89 a#(c(x1)) -> c#(b(c(c(a(x1))))) -> c#(c(c(x1))) -> b#(b(x1)) 45.54/11.89 a#(c(x1)) -> c#(b(c(c(a(x1))))) -> c#(c(c(x1))) -> b#(x1) 45.54/11.89 a#(c(x1)) -> c#(b(c(c(a(x1))))) -> 45.54/11.89 c#(c(x1)) -> c#(b(c(b(c(x1))))) 45.54/11.89 a#(c(x1)) -> c#(b(c(c(a(x1))))) -> c#(c(x1)) -> b#(c(b(c(x1)))) 45.54/11.89 a#(c(x1)) -> c#(b(c(c(a(x1))))) -> c#(c(x1)) -> c#(b(c(x1))) 45.54/11.89 a#(c(x1)) -> c#(b(c(c(a(x1))))) -> c#(c(x1)) -> b#(c(x1)) 45.54/11.89 a#(c(x1)) -> c#(a(x1)) -> c#(c(c(x1))) -> c#(b(b(x1))) 45.54/11.89 a#(c(x1)) -> c#(a(x1)) -> c#(c(c(x1))) -> b#(b(x1)) 45.54/11.89 a#(c(x1)) -> c#(a(x1)) -> c#(c(c(x1))) -> b#(x1) 45.54/11.89 a#(c(x1)) -> c#(a(x1)) -> c#(c(x1)) -> c#(b(c(b(c(x1))))) 45.54/11.89 a#(c(x1)) -> c#(a(x1)) -> c#(c(x1)) -> b#(c(b(c(x1)))) 45.54/11.89 a#(c(x1)) -> c#(a(x1)) -> c#(c(x1)) -> c#(b(c(x1))) 45.54/11.89 a#(c(x1)) -> c#(a(x1)) -> c#(c(x1)) -> b#(c(x1)) 45.54/11.89 a#(c(x1)) -> c#(c(a(x1))) -> c#(c(c(x1))) -> c#(b(b(x1))) 45.54/11.89 a#(c(x1)) -> c#(c(a(x1))) -> c#(c(c(x1))) -> b#(b(x1)) 45.54/11.89 a#(c(x1)) -> c#(c(a(x1))) -> c#(c(c(x1))) -> b#(x1) 45.54/11.89 a#(c(x1)) -> c#(c(a(x1))) -> c#(c(x1)) -> c#(b(c(b(c(x1))))) 45.54/11.89 a#(c(x1)) -> c#(c(a(x1))) -> c#(c(x1)) -> b#(c(b(c(x1)))) 45.54/11.89 a#(c(x1)) -> c#(c(a(x1))) -> c#(c(x1)) -> c#(b(c(x1))) 45.54/11.89 a#(c(x1)) -> c#(c(a(x1))) -> c#(c(x1)) -> b#(c(x1)) 45.54/11.89 a#(c(x1)) -> a#(x1) -> a#(b(x1)) -> c#(c(a(x1))) 45.54/11.89 a#(c(x1)) -> a#(x1) -> a#(b(x1)) -> c#(a(x1)) 45.62/12.02 a#(c(x1)) -> a#(x1) -> a#(b(x1)) -> a#(x1) 45.62/12.02 a#(c(x1)) -> a#(x1) -> a#(a(x1)) -> a#(d(a(x1))) 45.62/12.02 a#(c(x1)) -> a#(x1) -> a#(a(x1)) -> d#(a(x1)) 45.62/12.02 a#(c(x1)) -> a#(x1) -> a#(c(x1)) -> c#(b(c(c(a(x1))))) 45.62/12.02 a#(c(x1)) -> a#(x1) -> a#(c(x1)) -> b#(c(c(a(x1)))) 45.62/12.02 a#(c(x1)) -> a#(x1) -> a#(c(x1)) -> c#(c(a(x1))) 45.62/12.02 a#(c(x1)) -> a#(x1) -> a#(c(x1)) -> c#(a(x1)) 45.62/12.02 a#(c(x1)) -> a#(x1) -> a#(c(x1)) -> a#(x1) 45.62/12.02 SCC Processor: 45.62/12.02 #sccs: 3 45.62/12.02 #rules: 13 45.62/12.02 #arcs: 112/484 45.62/12.02 DPs: 45.62/12.02 a#(b(x1)) -> a#(x1) 45.62/12.02 a#(c(x1)) -> a#(x1) 45.62/12.02 a#(a(x1)) -> a#(d(a(x1))) 45.62/12.02 TRS: 45.62/12.02 a(c(x1)) -> c(b(c(c(a(x1))))) 45.62/12.02 b(b(b(x1))) -> c(b(x1)) 45.62/12.02 d(d(x1)) -> d(b(d(b(d(x1))))) 45.62/12.02 a(a(x1)) -> a(d(a(x1))) 45.62/12.02 a(b(x1)) -> c(c(a(x1))) 45.62/12.02 c(c(x1)) -> c(b(c(b(c(x1))))) 45.62/12.02 c(c(c(x1))) -> c(b(b(x1))) 45.62/12.02 Polynomial Interpretation Processor: 45.62/12.02 dimension: 1 45.62/12.02 usable rules: 45.62/12.02 d(d(x1)) -> d(b(d(b(d(x1))))) 45.62/12.02 interpretation: 45.62/12.02 [a#](x0) = x0 + 1, 45.62/12.02 45.62/12.02 [d](x0) = 1, 45.62/12.02 45.62/12.02 [b](x0) = x0 + 1, 45.62/12.02 45.62/12.02 [a](x0) = 1, 45.62/12.02 45.62/12.02 [c](x0) = x0 + 1 45.62/12.02 orientation: 45.62/12.02 a#(b(x1)) = x1 + 2 >= x1 + 1 = a#(x1) 45.62/12.02 45.62/12.02 a#(c(x1)) = x1 + 2 >= x1 + 1 = a#(x1) 45.62/12.02 45.62/12.02 a#(a(x1)) = 2 >= 2 = a#(d(a(x1))) 45.62/12.02 45.62/12.02 a(c(x1)) = 1 >= 5 = c(b(c(c(a(x1))))) 45.62/12.02 45.62/12.02 b(b(b(x1))) = x1 + 3 >= x1 + 2 = c(b(x1)) 45.62/12.02 45.62/12.02 d(d(x1)) = 1 >= 1 = d(b(d(b(d(x1))))) 45.62/12.02 45.62/12.02 a(a(x1)) = 1 >= 1 = a(d(a(x1))) 45.62/12.02 45.62/12.02 a(b(x1)) = 1 >= 3 = c(c(a(x1))) 45.62/12.02 45.62/12.02 c(c(x1)) = x1 + 2 >= x1 + 5 = c(b(c(b(c(x1))))) 45.62/12.02 45.62/12.02 c(c(c(x1))) = x1 + 3 >= x1 + 3 = c(b(b(x1))) 45.62/12.02 problem: 45.62/12.02 DPs: 45.62/12.02 a#(a(x1)) -> a#(d(a(x1))) 45.62/12.02 TRS: 45.62/12.02 a(c(x1)) -> c(b(c(c(a(x1))))) 45.62/12.02 b(b(b(x1))) -> c(b(x1)) 45.62/12.02 d(d(x1)) -> d(b(d(b(d(x1))))) 45.62/12.02 a(a(x1)) -> a(d(a(x1))) 45.62/12.02 a(b(x1)) -> c(c(a(x1))) 45.62/12.02 c(c(x1)) -> c(b(c(b(c(x1))))) 45.62/12.02 c(c(c(x1))) -> c(b(b(x1))) 45.62/12.02 Polynomial Interpretation Processor: 45.62/12.02 dimension: 1 45.62/12.02 usable rules: 45.62/12.02 d(d(x1)) -> d(b(d(b(d(x1))))) 45.62/12.02 interpretation: 45.62/12.02 [a#](x0) = x0, 45.62/12.02 45.62/12.02 [d](x0) = 0, 45.62/12.02 45.62/12.02 [b](x0) = 0, 45.62/12.02 45.62/12.02 [a](x0) = 1, 45.62/12.02 45.62/12.02 [c](x0) = 0 45.62/12.02 orientation: 45.62/12.02 a#(a(x1)) = 1 >= 0 = a#(d(a(x1))) 45.62/12.02 45.62/12.02 a(c(x1)) = 1 >= 0 = c(b(c(c(a(x1))))) 45.62/12.02 45.62/12.02 b(b(b(x1))) = 0 >= 0 = c(b(x1)) 45.62/12.02 45.62/12.02 d(d(x1)) = 0 >= 0 = d(b(d(b(d(x1))))) 45.62/12.02 45.62/12.02 a(a(x1)) = 1 >= 1 = a(d(a(x1))) 45.62/12.02 45.62/12.02 a(b(x1)) = 1 >= 0 = c(c(a(x1))) 45.62/12.02 45.62/12.02 c(c(x1)) = 0 >= 0 = c(b(c(b(c(x1))))) 45.62/12.02 45.62/12.02 c(c(c(x1))) = 0 >= 0 = c(b(b(x1))) 45.62/12.02 problem: 45.62/12.02 DPs: 45.62/12.02 45.62/12.02 TRS: 45.62/12.02 a(c(x1)) -> c(b(c(c(a(x1))))) 45.62/12.02 b(b(b(x1))) -> c(b(x1)) 45.62/12.02 d(d(x1)) -> d(b(d(b(d(x1))))) 45.62/12.02 a(a(x1)) -> a(d(a(x1))) 45.62/12.02 a(b(x1)) -> c(c(a(x1))) 45.62/12.02 c(c(x1)) -> c(b(c(b(c(x1))))) 45.62/12.02 c(c(c(x1))) -> c(b(b(x1))) 45.62/12.02 Qed 45.62/12.02 45.62/12.02 DPs: 45.62/12.02 d#(d(x1)) -> d#(b(d(b(d(x1))))) 45.62/12.02 d#(d(x1)) -> d#(b(d(x1))) 45.62/12.02 TRS: 45.62/12.02 a(c(x1)) -> c(b(c(c(a(x1))))) 45.62/12.02 b(b(b(x1))) -> c(b(x1)) 45.62/12.02 d(d(x1)) -> d(b(d(b(d(x1))))) 45.62/12.02 a(a(x1)) -> a(d(a(x1))) 45.62/12.02 a(b(x1)) -> c(c(a(x1))) 45.62/12.02 c(c(x1)) -> c(b(c(b(c(x1))))) 45.62/12.02 c(c(c(x1))) -> c(b(b(x1))) 45.62/12.02 Usable Rule Processor: 45.62/12.02 DPs: 45.62/12.02 d#(d(x1)) -> d#(b(d(b(d(x1))))) 45.62/12.02 d#(d(x1)) -> d#(b(d(x1))) 45.62/12.02 TRS: 45.62/12.02 d(d(x1)) -> d(b(d(b(d(x1))))) 45.62/12.02 b(b(b(x1))) -> c(b(x1)) 45.62/12.02 c(c(x1)) -> c(b(c(b(c(x1))))) 45.62/12.02 c(c(c(x1))) -> c(b(b(x1))) 45.62/12.02 Polynomial Interpretation Processor: 45.62/12.02 dimension: 1 45.62/12.02 usable rules: 45.62/12.02 d(d(x1)) -> d(b(d(b(d(x1))))) 45.62/12.02 b(b(b(x1))) -> c(b(x1)) 45.62/12.02 c(c(x1)) -> c(b(c(b(c(x1))))) 45.62/12.02 c(c(c(x1))) -> c(b(b(x1))) 45.62/12.02 interpretation: 45.62/12.02 [d#](x0) = x0, 45.62/12.02 45.62/12.02 [d](x0) = 1, 45.62/12.02 45.62/12.02 [b](x0) = 0, 45.62/12.02 45.62/12.02 [c](x0) = 0 45.62/12.02 orientation: 45.62/12.02 d#(d(x1)) = 1 >= 0 = d#(b(d(b(d(x1))))) 45.62/12.02 45.62/12.02 d#(d(x1)) = 1 >= 0 = d#(b(d(x1))) 45.62/12.02 45.62/12.02 d(d(x1)) = 1 >= 1 = d(b(d(b(d(x1))))) 45.62/12.02 45.62/12.02 b(b(b(x1))) = 0 >= 0 = c(b(x1)) 45.62/12.02 45.62/12.02 c(c(x1)) = 0 >= 0 = c(b(c(b(c(x1))))) 45.62/12.02 45.62/12.03 c(c(c(x1))) = 0 >= 0 = c(b(b(x1))) 45.62/12.03 problem: 45.62/12.03 DPs: 45.62/12.03 45.62/12.03 TRS: 45.62/12.03 d(d(x1)) -> d(b(d(b(d(x1))))) 45.62/12.03 b(b(b(x1))) -> c(b(x1)) 45.62/12.03 c(c(x1)) -> c(b(c(b(c(x1))))) 45.62/12.03 c(c(c(x1))) -> c(b(b(x1))) 45.62/12.03 Qed 45.62/12.03 45.62/12.03 DPs: 45.62/12.03 b#(b(b(x1))) -> c#(b(x1)) 45.62/12.03 c#(c(x1)) -> b#(c(x1)) 45.62/12.03 c#(c(x1)) -> c#(b(c(x1))) 45.62/12.03 c#(c(x1)) -> b#(c(b(c(x1)))) 45.62/12.03 c#(c(x1)) -> c#(b(c(b(c(x1))))) 45.62/12.03 c#(c(c(x1))) -> b#(x1) 45.62/12.03 c#(c(c(x1))) -> b#(b(x1)) 45.62/12.03 c#(c(c(x1))) -> c#(b(b(x1))) 45.62/12.03 TRS: 45.62/12.03 a(c(x1)) -> c(b(c(c(a(x1))))) 45.62/12.03 b(b(b(x1))) -> c(b(x1)) 45.62/12.03 d(d(x1)) -> d(b(d(b(d(x1))))) 45.62/12.03 a(a(x1)) -> a(d(a(x1))) 45.62/12.03 a(b(x1)) -> c(c(a(x1))) 45.62/12.03 c(c(x1)) -> c(b(c(b(c(x1))))) 45.62/12.03 c(c(c(x1))) -> c(b(b(x1))) 45.62/12.03 Usable Rule Processor: 45.62/12.03 DPs: 45.62/12.03 b#(b(b(x1))) -> c#(b(x1)) 45.62/12.03 c#(c(x1)) -> b#(c(x1)) 45.62/12.03 c#(c(x1)) -> c#(b(c(x1))) 45.62/12.03 c#(c(x1)) -> b#(c(b(c(x1)))) 45.62/12.03 c#(c(x1)) -> c#(b(c(b(c(x1))))) 45.62/12.03 c#(c(c(x1))) -> b#(x1) 45.62/12.03 c#(c(c(x1))) -> b#(b(x1)) 45.62/12.03 c#(c(c(x1))) -> c#(b(b(x1))) 45.70/12.03 TRS: 45.70/12.03 b(b(b(x1))) -> c(b(x1)) 45.70/12.03 c(c(x1)) -> c(b(c(b(c(x1))))) 45.70/12.03 c(c(c(x1))) -> c(b(b(x1))) 45.70/12.03 Root-Labeling Processor: 45.70/12.03 DPs: 45.70/12.03 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) 45.70/12.03 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) 45.70/12.03 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) 45.70/12.03 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(f8)(x1))) 45.70/12.03 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(x1))) 45.70/12.03 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(c)(x1))) 45.70/12.03 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) 45.70/12.03 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) 45.70/12.03 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) 45.70/12.03 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(f8)(x1))))) 45.70/12.03 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(b)(x1))))) 45.70/12.03 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(c)(x1))))) 45.70/12.03 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) 45.70/12.03 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) 45.70/12.03 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) 45.70/12.03 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> b{#,(f8)}(f8(f8)(x1)) 45.70/12.03 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(x1)) 45.70/12.03 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(c)(x1)) 45.70/12.03 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> b{#,(f8)}(f8(b)(b(f8)(x1))) 45.70/12.03 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(b(b)(x1))) 45.70/12.03 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(b)(b(c)(x1))) 45.70/12.03 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) 45.70/12.03 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) 45.70/12.03 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) 45.70/12.03 TRS: 45.70/12.03 f8(b)(b(b)(b(b)(b(f8)(x1)))) -> f8(c)(c(b)(b(f8)(x1))) 45.70/12.03 f8(b)(b(b)(b(b)(b(b)(x1)))) -> f8(c)(c(b)(b(b)(x1))) 45.70/12.03 f8(b)(b(b)(b(b)(b(c)(x1)))) -> f8(c)(c(b)(b(c)(x1))) 45.70/12.03 b(b)(b(b)(b(b)(b(f8)(x1)))) -> b(c)(c(b)(b(f8)(x1))) 45.70/12.03 b(b)(b(b)(b(b)(b(b)(x1)))) -> b(c)(c(b)(b(b)(x1))) 45.70/12.03 b(b)(b(b)(b(b)(b(c)(x1)))) -> b(c)(c(b)(b(c)(x1))) 45.70/12.03 c(b)(b(b)(b(b)(b(f8)(x1)))) -> c(c)(c(b)(b(f8)(x1))) 45.70/12.03 c(b)(b(b)(b(b)(b(b)(x1)))) -> c(c)(c(b)(b(b)(x1))) 45.70/12.03 c(b)(b(b)(b(b)(b(c)(x1)))) -> c(c)(c(b)(b(c)(x1))) 45.70/12.03 c(c)(c(f8)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(f8)(x1))))) 45.70/12.03 c(c)(c(b)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(b)(x1))))) 45.70/12.03 c(c)(c(c)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(c)(x1))))) 45.70/12.03 c(c)(c(c)(c(f8)(x1))) -> c(b)(b(b)(b(f8)(x1))) 45.70/12.03 c(c)(c(c)(c(b)(x1))) -> c(b)(b(b)(b(b)(x1))) 45.70/12.03 c(c)(c(c)(c(c)(x1))) -> c(b)(b(b)(b(c)(x1))) 45.70/12.03 TDG Processor: 45.70/12.03 DPs: 45.70/12.03 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) 45.70/12.03 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) 45.70/12.03 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) 45.70/12.03 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(f8)(x1))) 45.70/12.04 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(x1))) 45.70/12.04 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(c)(x1))) 45.70/12.04 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) 45.70/12.04 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) 45.70/12.04 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) 45.70/12.04 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(f8)(x1))))) 45.70/12.04 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(b)(x1))))) 45.70/12.04 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(c)(x1))))) 45.70/12.04 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) 45.70/12.04 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) 45.70/12.04 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) 45.70/12.04 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> b{#,(f8)}(f8(f8)(x1)) 45.70/12.04 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(x1)) 45.70/12.04 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(c)(x1)) 45.70/12.04 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> b{#,(f8)}(f8(b)(b(f8)(x1))) 45.70/12.04 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(b(b)(x1))) 45.70/12.04 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(b)(b(c)(x1))) 45.70/12.04 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) 45.70/12.04 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) 45.70/12.04 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) 45.70/12.04 TRS: 45.70/12.04 f8(b)(b(b)(b(b)(b(f8)(x1)))) -> f8(c)(c(b)(b(f8)(x1))) 45.70/12.04 f8(b)(b(b)(b(b)(b(b)(x1)))) -> f8(c)(c(b)(b(b)(x1))) 45.70/12.04 f8(b)(b(b)(b(b)(b(c)(x1)))) -> f8(c)(c(b)(b(c)(x1))) 45.70/12.04 b(b)(b(b)(b(b)(b(f8)(x1)))) -> b(c)(c(b)(b(f8)(x1))) 45.70/12.04 b(b)(b(b)(b(b)(b(b)(x1)))) -> b(c)(c(b)(b(b)(x1))) 45.70/12.04 b(b)(b(b)(b(b)(b(c)(x1)))) -> b(c)(c(b)(b(c)(x1))) 45.70/12.04 c(b)(b(b)(b(b)(b(f8)(x1)))) -> c(c)(c(b)(b(f8)(x1))) 45.70/12.04 c(b)(b(b)(b(b)(b(b)(x1)))) -> c(c)(c(b)(b(b)(x1))) 45.70/12.04 c(b)(b(b)(b(b)(b(c)(x1)))) -> c(c)(c(b)(b(c)(x1))) 45.70/12.04 c(c)(c(f8)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(f8)(x1))))) 45.70/12.04 c(c)(c(b)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(b)(x1))))) 45.70/12.04 c(c)(c(c)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(c)(x1))))) 45.70/12.04 c(c)(c(c)(c(f8)(x1))) -> c(b)(b(b)(b(f8)(x1))) 45.70/12.04 c(c)(c(c)(c(b)(x1))) -> c(b)(b(b)(b(b)(x1))) 45.70/12.04 c(c)(c(c)(c(c)(x1))) -> c(b)(b(b)(b(c)(x1))) 45.70/12.04 graph: 45.70/12.04 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> 45.70/12.04 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) 45.70/12.04 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> 45.70/12.04 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) 45.70/12.04 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> 45.70/12.04 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) 45.70/12.04 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> 45.70/12.04 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(b)(b(c)(x1))) 45.70/12.04 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> 45.70/12.04 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(b(b)(x1))) 45.70/12.04 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> 45.70/12.04 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> b{#,(f8)}(f8(b)(b(f8)(x1))) 45.70/12.04 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> 45.70/12.04 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(c)(x1)) 45.70/12.04 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> 45.70/12.04 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(x1)) 45.70/12.04 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> 45.70/12.04 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> b{#,(f8)}(f8(f8)(x1)) 45.70/12.04 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> 45.70/12.04 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) 45.70/12.04 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> 45.70/12.04 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> 45.70/12.05 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(c)(x1))))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> 45.70/12.05 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(b)(x1))))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> 45.70/12.05 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(f8)(x1))))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> 45.70/12.05 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> 45.70/12.05 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(c)(x1))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> 45.70/12.05 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(x1))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> 45.70/12.05 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(f8)(x1))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(c)(x1)) -> 45.70/12.05 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(c)(x1)) -> 45.70/12.05 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(c)(x1)) -> 45.70/12.05 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(b)(b(c)(x1))) -> 45.70/12.05 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(b)(b(c)(x1))) -> 45.70/12.05 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(b)(b(c)(x1))) -> 45.70/12.05 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(b)(b(c)(x1))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(b(b)(x1))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> b{#,(f8)}(f8(b)(b(f8)(x1))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(c)(x1)) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(x1)) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> b{#,(f8)}(f8(f8)(x1)) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> 45.70/12.05 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> 45.70/12.05 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(c)(x1))))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> 45.70/12.05 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(b)(x1))))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> 45.70/12.05 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(f8)(x1))))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> 45.70/12.05 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> 45.70/12.05 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(c)(x1))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> 45.70/12.05 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(x1))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> 45.70/12.05 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(f8)(x1))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(b(b)(x1))) -> 45.70/12.05 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(b(b)(x1))) -> 45.70/12.05 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(b(b)(x1))) -> 45.70/12.05 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(x1)) -> 45.70/12.05 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(x1)) -> 45.70/12.05 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(x1)) -> 45.70/12.05 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(b)(b(c)(x1))) 45.70/12.05 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(b(b)(x1))) 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> b{#,(f8)}(f8(b)(b(f8)(x1))) 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(c)(x1)) 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(x1)) 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> b{#,(f8)}(f8(f8)(x1)) 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> 45.70/12.06 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> 45.70/12.06 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(c)(x1))))) 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> 45.70/12.06 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(b)(x1))))) 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> 45.70/12.06 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(f8)(x1))))) 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> 45.70/12.06 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> 45.70/12.06 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(c)(x1))) 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> 45.70/12.06 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(x1))) 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> 45.70/12.06 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(f8)(x1))) 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> b{#,(f8)}(f8(f8)(x1)) -> 45.70/12.06 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> b{#,(f8)}(f8(f8)(x1)) -> 45.70/12.06 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> b{#,(f8)}(f8(f8)(x1)) -> 45.70/12.06 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> b{#,(f8)}(f8(b)(b(f8)(x1))) -> 45.70/12.06 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> b{#,(f8)}(f8(b)(b(f8)(x1))) -> 45.70/12.06 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> b{#,(f8)}(f8(b)(b(f8)(x1))) -> 45.70/12.06 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) -> 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) -> 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) -> 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) -> 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(b)(b(c)(x1))) 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) -> 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(b(b)(x1))) 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) -> 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> b{#,(f8)}(f8(b)(b(f8)(x1))) 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) -> 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(c)(x1)) 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) -> 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(x1)) 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) -> 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> b{#,(f8)}(f8(f8)(x1)) 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) -> 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) -> 45.70/12.06 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) 45.70/12.06 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) -> 45.73/12.07 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) -> 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(c)(x1))))) 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) -> 45.73/12.07 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(b)(x1))))) 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) -> 45.73/12.07 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(f8)(x1))))) 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) -> 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) -> 45.73/12.07 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) -> 45.73/12.07 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) -> 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(c)(x1))) 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) -> 45.73/12.07 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(x1))) 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) -> 45.73/12.07 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(f8)(x1))) 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) -> 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) -> 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) -> 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) -> 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(b)(b(c)(x1))) 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) -> 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(b(b)(x1))) 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) -> 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> b{#,(f8)}(f8(b)(b(f8)(x1))) 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) -> 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(c)(x1)) 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) -> 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(x1)) 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) -> 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> b{#,(f8)}(f8(f8)(x1)) 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) -> 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) -> 45.73/12.07 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) -> 45.73/12.07 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) -> 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(c)(x1))))) 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) -> 45.73/12.07 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(b)(x1))))) 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) -> 45.73/12.07 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(f8)(x1))))) 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) -> 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) 45.73/12.07 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) -> 45.73/12.07 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) 45.73/12.08 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) -> 45.73/12.08 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) 45.73/12.08 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) -> 45.73/12.08 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(c)(x1))) 45.73/12.08 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) -> 45.73/12.08 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(x1))) 45.73/12.08 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) -> 45.73/12.08 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(f8)(x1))) 45.73/12.08 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(c)(x1))) -> 45.73/12.08 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) 45.73/12.08 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(c)(x1))) -> 45.73/12.08 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) 45.73/12.08 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(c)(x1))) -> 45.73/12.08 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) 45.73/12.08 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(c)(x1))))) -> 45.73/12.08 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) 45.73/12.08 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(c)(x1))))) -> 45.73/12.08 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) 45.73/12.08 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(c)(x1))))) -> 45.73/12.08 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) 45.73/12.08 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) -> 45.73/12.08 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) 45.73/12.08 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) -> 45.73/12.08 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) 45.73/12.08 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) -> 45.73/12.08 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) 45.73/12.08 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) -> 45.73/12.08 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(b)(b(c)(x1))) 45.73/12.08 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) -> 45.73/12.08 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(b(b)(x1))) 45.73/12.08 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) -> 45.73/12.08 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> b{#,(f8)}(f8(b)(b(f8)(x1))) 45.73/12.08 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) -> 45.73/12.08 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(c)(x1)) 45.73/12.08 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) -> 45.73/12.08 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(x1)) 45.73/12.08 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) -> 45.73/12.08 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> b{#,(f8)}(f8(f8)(x1)) 45.73/12.08 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) -> 45.73/12.08 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) 45.73/12.08 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) -> 45.73/12.08 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) 45.73/12.08 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) -> 45.73/12.08 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) 45.73/12.08 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) -> 45.73/12.08 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(c)(x1))))) 45.73/12.08 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) -> 45.73/12.08 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(b)(x1))))) 45.73/12.08 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) -> 45.73/12.08 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(f8)(x1))))) 45.73/12.08 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) -> 45.73/12.08 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) 45.73/12.09 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) -> 45.73/12.09 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) 45.73/12.09 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) -> 45.73/12.09 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) 45.73/12.09 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) -> 45.73/12.09 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(c)(x1))) 45.73/12.09 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) -> 45.73/12.09 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(x1))) 45.73/12.09 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) -> 45.73/12.09 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(f8)(x1))) 45.73/12.09 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) -> 45.73/12.09 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) 45.73/12.09 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) -> 45.73/12.09 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) 45.73/12.09 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) -> 45.73/12.09 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) 45.73/12.09 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) -> 45.73/12.09 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(b)(b(c)(x1))) 45.73/12.09 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) -> 45.73/12.09 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(b(b)(x1))) 45.73/12.09 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) -> 45.73/12.09 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> b{#,(f8)}(f8(b)(b(f8)(x1))) 45.73/12.09 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) -> 45.73/12.09 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(c)(x1)) 45.73/12.09 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) -> 45.73/12.09 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(x1)) 45.73/12.09 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) -> 45.73/12.09 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> b{#,(f8)}(f8(f8)(x1)) 45.73/12.09 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) -> 45.73/12.09 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) 45.73/12.09 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) -> 45.73/12.09 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) 45.73/12.09 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) -> 45.73/12.09 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) 45.73/12.09 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) -> 45.73/12.09 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(c)(x1))))) 45.73/12.09 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) -> 45.73/12.09 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(b)(x1))))) 45.73/12.09 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) -> 45.73/12.09 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(f8)(x1))))) 45.73/12.09 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) -> 45.73/12.09 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) 45.73/12.09 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) -> 45.73/12.09 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) 45.73/12.09 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) -> 45.73/12.09 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) 45.73/12.09 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) -> 45.73/12.09 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(c)(x1))) 45.73/12.09 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) -> 45.73/12.09 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(x1))) 45.73/12.09 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) -> 45.73/12.09 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(f8)(x1))) 45.73/12.09 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(b)(x1))))) -> 45.73/12.09 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) 45.73/12.09 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(b)(x1))))) -> 45.73/12.10 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) 45.73/12.10 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(b)(x1))))) -> 45.73/12.10 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) 45.73/12.10 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(x1))) -> 45.73/12.10 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) 45.73/12.10 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(x1))) -> 45.73/12.10 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) 45.73/12.10 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(x1))) -> 45.73/12.10 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(b)(b(c)(x1))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(b(b)(x1))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> b{#,(f8)}(f8(b)(b(f8)(x1))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(c)(x1)) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(x1)) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> b{#,(f8)}(f8(f8)(x1)) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(c)(x1))))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(b)(x1))))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(f8)(x1))))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(c)(x1))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(x1))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(f8)(x1))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(b)(b(c)(x1))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(b(b)(x1))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> b{#,(f8)}(f8(b)(b(f8)(x1))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(c)(x1)) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(x1)) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> b{#,(f8)}(f8(f8)(x1)) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(c)(x1))))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(b)(x1))))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(f8)(x1))))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(c)(x1))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(x1))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(f8)(x1))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(f8)(x1))))) -> 45.73/12.10 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(f8)(x1))))) -> 45.73/12.10 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(f8)(x1))))) -> 45.73/12.10 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(f8)(x1))) -> 45.73/12.10 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(f8)(x1))) -> 45.73/12.10 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) 45.73/12.10 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(f8)(x1))) -> 45.73/12.10 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) 45.73/12.10 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) -> 45.73/12.10 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) 45.73/12.11 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) -> 45.73/12.11 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) 45.73/12.11 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) -> 45.73/12.11 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) 45.73/12.11 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) -> 45.73/12.11 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(b)(b(c)(x1))) 45.73/12.11 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) -> 45.73/12.11 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(b(b)(x1))) 45.73/12.11 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) -> 45.73/12.11 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> b{#,(f8)}(f8(b)(b(f8)(x1))) 45.73/12.11 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) -> 45.73/12.11 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(c)(x1)) 45.73/12.11 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) -> 45.73/12.11 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(x1)) 45.73/12.11 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) -> 45.73/12.11 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> b{#,(f8)}(f8(f8)(x1)) 45.73/12.11 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) -> 45.73/12.11 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) 45.73/12.11 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) -> 45.73/12.11 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) 45.73/12.11 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) -> 45.73/12.11 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) 45.73/12.11 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) -> 45.73/12.11 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(c)(x1))))) 45.73/12.11 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) -> 45.73/12.11 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(b)(x1))))) 45.73/12.11 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) -> 45.73/12.11 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(f8)(x1))))) 45.73/12.11 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) -> 45.73/12.11 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) 45.73/12.11 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) -> 45.73/12.11 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) 45.73/12.11 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) -> 45.73/12.11 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) 45.73/12.11 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) -> 45.73/12.11 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(c)(x1))) 45.73/12.11 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) -> 45.73/12.11 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(x1))) 45.73/12.11 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) -> 45.73/12.11 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(f8)(x1))) 45.73/12.11 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) -> 45.73/12.11 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) 45.73/12.11 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) -> 45.73/12.11 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) 45.73/12.11 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) -> 45.73/12.11 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) 45.73/12.11 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) -> 45.73/12.11 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(b)(b(c)(x1))) 45.73/12.11 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) -> 45.73/12.11 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(b(b)(x1))) 45.73/12.11 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) -> 45.73/12.11 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> b{#,(f8)}(f8(b)(b(f8)(x1))) 45.73/12.11 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) -> 45.73/12.11 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(c)(x1)) 45.73/12.11 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) -> 45.73/12.11 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(x1)) 45.73/12.12 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) -> 45.73/12.12 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> b{#,(f8)}(f8(f8)(x1)) 45.73/12.12 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) -> 45.73/12.12 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) 45.73/12.12 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) -> 45.73/12.12 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) 45.73/12.12 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) -> 45.73/12.12 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) 45.73/12.12 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) -> 45.73/12.12 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(c)(x1))))) 45.73/12.12 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) -> 45.73/12.12 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(b)(x1))))) 45.73/12.12 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) -> 45.73/12.12 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(f8)(x1))))) 45.73/12.12 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) -> 45.73/12.12 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) 45.73/12.12 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) -> 45.73/12.12 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) 45.73/12.12 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) -> 45.73/12.12 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) 45.73/12.12 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) -> 45.73/12.12 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(c)(x1))) 45.73/12.12 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) -> 45.73/12.12 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(x1))) 45.73/12.12 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) -> 45.73/12.12 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(f8)(x1))) 45.73/12.12 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) -> 45.73/12.12 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) 45.73/12.12 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) -> 45.73/12.12 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) 45.73/12.12 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) -> 45.73/12.12 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) 45.73/12.12 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) -> 45.73/12.12 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(b)(b(c)(x1))) 45.73/12.12 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) -> 45.73/12.12 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(b(b)(x1))) 45.73/12.12 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) -> 45.73/12.12 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> b{#,(f8)}(f8(b)(b(f8)(x1))) 45.73/12.12 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) -> 45.73/12.12 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(c)(x1)) 45.73/12.12 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) -> 45.73/12.12 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(x1)) 45.73/12.12 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) -> 45.73/12.12 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> b{#,(f8)}(f8(f8)(x1)) 45.73/12.12 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) -> 45.73/12.12 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) 45.73/12.12 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) -> 45.73/12.12 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) 45.73/12.12 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) -> 45.73/12.12 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) 45.73/12.12 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) -> 45.73/12.12 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(c)(x1))))) 45.73/12.12 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) -> 45.73/12.12 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(b)(x1))))) 46.30/12.64 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) -> 46.30/12.64 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(f8)(x1))))) 46.30/12.64 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) -> 46.30/12.64 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) 46.30/12.64 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) -> 46.30/12.64 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) 46.30/12.64 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) -> 46.30/12.64 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) 46.30/12.64 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) -> 46.30/12.64 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(c)(x1))) 46.30/12.64 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) -> 46.30/12.64 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(x1))) 46.30/12.64 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) -> 46.30/12.64 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(f8)(x1))) 46.30/12.64 Polynomial Interpretation Processor: 46.30/12.64 dimension: 1 46.30/12.64 interpretation: 46.30/12.64 [f8(f8)](x0) = x0 + 1, 46.30/12.64 46.30/12.64 [c(c)](x0) = x0, 46.30/12.64 46.30/12.64 [c(b)](x0) = x0, 46.30/12.64 46.30/12.64 [c(f8)](x0) = x0 + 1, 46.30/12.64 46.30/12.64 [f8(c)](x0) = x0, 46.30/12.64 46.30/12.64 [b(c)](x0) = x0, 46.30/12.64 46.30/12.64 [c{#,(f8)}](x0) = x0 + 1, 46.30/12.64 46.30/12.64 [b(f8)](x0) = x0, 46.30/12.64 46.30/12.64 [b(b)](x0) = x0, 46.30/12.64 46.30/12.64 [f8(b)](x0) = x0, 46.30/12.64 46.30/12.64 [b{#,(f8)}](x0) = x0 + 1 46.30/12.64 orientation: 46.30/12.64 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) = x1 + 1 >= x1 + 1 = c{#,(f8)}(f8(b)(b(f8)(x1))) 46.30/12.64 46.30/12.64 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) = x1 + 1 >= x1 + 1 = c{#,(f8)}(f8(b)(b(b)(x1))) 46.30/12.64 46.30/12.64 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) = x1 + 1 >= x1 + 1 = c{#,(f8)}(f8(b)(b(c)(x1))) 46.30/12.64 46.30/12.64 c{#,(f8)}(f8(c)(c(f8)(x1))) = x1 + 2 >= x1 + 2 = b{#,(f8)}(f8(c)(c(f8)(x1))) 46.30/12.64 46.30/12.64 c{#,(f8)}(f8(c)(c(b)(x1))) = x1 + 1 >= x1 + 1 = b{#,(f8)}(f8(c)(c(b)(x1))) 46.30/12.64 46.30/12.64 c{#,(f8)}(f8(c)(c(c)(x1))) = x1 + 1 >= x1 + 1 = b{#,(f8)}(f8(c)(c(c)(x1))) 46.30/12.64 46.30/12.64 c{#,(f8)}(f8(c)(c(f8)(x1))) = x1 + 2 >= x1 + 2 = c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) 46.30/12.64 46.30/12.64 c{#,(f8)}(f8(c)(c(b)(x1))) = x1 + 1 >= x1 + 1 = c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) 46.30/12.64 46.30/12.64 c{#,(f8)}(f8(c)(c(c)(x1))) = x1 + 1 >= x1 + 1 = c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) 46.30/12.64 46.30/12.64 c{#,(f8)}(f8(c)(c(f8)(x1))) = x1 + 2 >= x1 + 2 = b{#,(f8)}(f8(c)(c(b)(b(c)(c(f8)(x1))))) 46.30/12.64 46.30/12.64 c{#,(f8)}(f8(c)(c(b)(x1))) = x1 + 1 >= x1 + 1 = b{#,(f8)}(f8(c)(c(b)(b(c)(c(b)(x1))))) 46.30/12.64 46.30/12.64 c{#,(f8)}(f8(c)(c(c)(x1))) = x1 + 1 >= x1 + 1 = b{#,(f8)}(f8(c)(c(b)(b(c)(c(c)(x1))))) 46.30/12.64 46.30/12.64 c{#,(f8)}(f8(c)(c(f8)(x1))) = x1 + 2 >= x1 + 2 = c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) 46.30/12.64 46.30/12.64 c{#,(f8)}(f8(c)(c(b)(x1))) = x1 + 1 >= x1 + 1 = c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) 46.30/12.64 46.30/12.64 c{#,(f8)}(f8(c)(c(c)(x1))) = x1 + 1 >= x1 + 1 = c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) 46.30/12.64 46.30/12.64 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) = x1 + 2 >= x1 + 2 = b{#,(f8)}(f8(f8)(x1)) 46.30/12.64 46.30/12.64 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) = x1 + 1 >= x1 + 1 = b{#,(f8)}(f8(b)(x1)) 46.30/12.64 46.30/12.64 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) = x1 + 1 >= x1 + 1 = b{#,(f8)}(f8(c)(x1)) 46.30/12.64 46.30/12.64 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) = x1 + 2 >= x1 + 1 = b{#,(f8)}(f8(b)(b(f8)(x1))) 46.30/12.64 46.30/12.64 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) = x1 + 1 >= x1 + 1 = b{#,(f8)}(f8(b)(b(b)(x1))) 46.30/12.64 46.30/12.64 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) = x1 + 1 >= x1 + 1 = b{#,(f8)}(f8(b)(b(c)(x1))) 46.30/12.64 46.30/12.64 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) = x1 + 2 >= x1 + 1 = c{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) 46.30/12.64 46.30/12.64 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) = x1 + 1 >= x1 + 1 = c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) 46.30/12.64 46.30/12.64 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) = x1 + 1 >= x1 + 1 = c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) 46.30/12.64 46.30/12.64 f8(b)(b(b)(b(b)(b(f8)(x1)))) = x1 >= x1 = f8(c)(c(b)(b(f8)(x1))) 46.30/12.64 46.30/12.64 f8(b)(b(b)(b(b)(b(b)(x1)))) = x1 >= x1 = f8(c)(c(b)(b(b)(x1))) 46.32/12.70 46.32/12.70 f8(b)(b(b)(b(b)(b(c)(x1)))) = x1 >= x1 = f8(c)(c(b)(b(c)(x1))) 46.32/12.70 46.32/12.70 b(b)(b(b)(b(b)(b(f8)(x1)))) = x1 >= x1 = b(c)(c(b)(b(f8)(x1))) 46.32/12.70 46.32/12.70 b(b)(b(b)(b(b)(b(b)(x1)))) = x1 >= x1 = b(c)(c(b)(b(b)(x1))) 46.32/12.70 46.32/12.70 b(b)(b(b)(b(b)(b(c)(x1)))) = x1 >= x1 = b(c)(c(b)(b(c)(x1))) 46.32/12.70 46.32/12.70 c(b)(b(b)(b(b)(b(f8)(x1)))) = x1 >= x1 = c(c)(c(b)(b(f8)(x1))) 46.32/12.70 46.32/12.70 c(b)(b(b)(b(b)(b(b)(x1)))) = x1 >= x1 = c(c)(c(b)(b(b)(x1))) 46.32/12.70 46.32/12.70 c(b)(b(b)(b(b)(b(c)(x1)))) = x1 >= x1 = c(c)(c(b)(b(c)(x1))) 46.32/12.70 46.32/12.70 c(c)(c(f8)(x1)) = x1 + 1 >= x1 + 1 = c(b)(b(c)(c(b)(b(c)(c(f8)(x1))))) 46.32/12.70 46.32/12.70 c(c)(c(b)(x1)) = x1 >= x1 = c(b)(b(c)(c(b)(b(c)(c(b)(x1))))) 46.32/12.70 46.32/12.70 c(c)(c(c)(x1)) = x1 >= x1 = c(b)(b(c)(c(b)(b(c)(c(c)(x1))))) 46.32/12.70 46.32/12.70 c(c)(c(c)(c(f8)(x1))) = x1 + 1 >= x1 = c(b)(b(b)(b(f8)(x1))) 46.32/12.70 46.32/12.70 c(c)(c(c)(c(b)(x1))) = x1 >= x1 = c(b)(b(b)(b(b)(x1))) 46.32/12.70 46.32/12.70 c(c)(c(c)(c(c)(x1))) = x1 >= x1 = c(b)(b(b)(b(c)(x1))) 46.32/12.70 problem: 46.32/12.70 DPs: 46.32/12.70 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) 46.32/12.70 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) 46.32/12.70 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) 46.32/12.70 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(f8)(x1))) 46.32/12.70 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(x1))) 46.32/12.70 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(c)(x1))) 46.32/12.70 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) 46.32/12.70 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) 46.32/12.70 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) 46.32/12.70 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(f8)(x1))))) 46.32/12.70 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(b)(x1))))) 46.32/12.70 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(c)(x1))))) 46.32/12.70 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) 46.32/12.70 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) 46.32/12.70 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) 46.32/12.70 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) -> b{#,(f8)}(f8(f8)(x1)) 46.32/12.70 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(x1)) 46.32/12.70 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(c)(x1)) 46.32/12.70 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(b(b)(x1))) 46.32/12.70 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(b)(b(c)(x1))) 46.32/12.70 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) 46.32/12.70 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) 46.32/12.70 TRS: 46.32/12.70 f8(b)(b(b)(b(b)(b(f8)(x1)))) -> f8(c)(c(b)(b(f8)(x1))) 46.32/12.70 f8(b)(b(b)(b(b)(b(b)(x1)))) -> f8(c)(c(b)(b(b)(x1))) 46.32/12.70 f8(b)(b(b)(b(b)(b(c)(x1)))) -> f8(c)(c(b)(b(c)(x1))) 46.32/12.70 b(b)(b(b)(b(b)(b(f8)(x1)))) -> b(c)(c(b)(b(f8)(x1))) 46.32/12.70 b(b)(b(b)(b(b)(b(b)(x1)))) -> b(c)(c(b)(b(b)(x1))) 46.32/12.70 b(b)(b(b)(b(b)(b(c)(x1)))) -> b(c)(c(b)(b(c)(x1))) 46.32/12.70 c(b)(b(b)(b(b)(b(f8)(x1)))) -> c(c)(c(b)(b(f8)(x1))) 46.32/12.70 c(b)(b(b)(b(b)(b(b)(x1)))) -> c(c)(c(b)(b(b)(x1))) 46.32/12.70 c(b)(b(b)(b(b)(b(c)(x1)))) -> c(c)(c(b)(b(c)(x1))) 46.32/12.70 c(c)(c(f8)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(f8)(x1))))) 46.32/12.70 c(c)(c(b)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(b)(x1))))) 46.32/12.70 c(c)(c(c)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(c)(x1))))) 46.32/12.70 c(c)(c(c)(c(b)(x1))) -> c(b)(b(b)(b(b)(x1))) 46.32/12.70 c(c)(c(c)(c(c)(x1))) -> c(b)(b(b)(b(c)(x1))) 46.32/12.70 Polynomial Interpretation Processor: 46.32/12.70 dimension: 1 46.32/12.70 interpretation: 46.32/12.70 [f8(f8)](x0) = x0, 46.32/12.70 46.32/12.70 [c(c)](x0) = x0, 46.32/12.70 46.32/12.70 [c(b)](x0) = x0, 46.32/12.70 46.32/12.70 [c(f8)](x0) = x0 + 1, 46.32/12.70 46.32/12.70 [f8(c)](x0) = x0, 46.32/12.70 46.32/12.70 [b(c)](x0) = x0, 46.32/12.70 46.32/12.70 [c{#,(f8)}](x0) = x0, 46.32/12.70 46.32/12.70 [b(f8)](x0) = x0, 46.32/12.70 46.32/12.70 [b(b)](x0) = x0, 46.32/12.70 46.32/12.70 [f8(b)](x0) = x0, 46.91/13.30 46.91/13.30 [b{#,(f8)}](x0) = x0 46.91/13.30 orientation: 46.91/13.30 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) = x1 >= x1 = c{#,(f8)}(f8(b)(b(f8)(x1))) 46.91/13.30 46.91/13.30 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) = x1 >= x1 = c{#,(f8)}(f8(b)(b(b)(x1))) 46.91/13.30 46.91/13.30 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) = x1 >= x1 = c{#,(f8)}(f8(b)(b(c)(x1))) 46.91/13.30 46.91/13.30 c{#,(f8)}(f8(c)(c(f8)(x1))) = x1 + 1 >= x1 + 1 = b{#,(f8)}(f8(c)(c(f8)(x1))) 46.91/13.30 46.91/13.30 c{#,(f8)}(f8(c)(c(b)(x1))) = x1 >= x1 = b{#,(f8)}(f8(c)(c(b)(x1))) 46.91/13.30 46.91/13.30 c{#,(f8)}(f8(c)(c(c)(x1))) = x1 >= x1 = b{#,(f8)}(f8(c)(c(c)(x1))) 46.91/13.30 46.91/13.30 c{#,(f8)}(f8(c)(c(f8)(x1))) = x1 + 1 >= x1 + 1 = c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) 46.91/13.30 46.91/13.30 c{#,(f8)}(f8(c)(c(b)(x1))) = x1 >= x1 = c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) 46.91/13.30 46.91/13.30 c{#,(f8)}(f8(c)(c(c)(x1))) = x1 >= x1 = c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) 46.91/13.30 46.91/13.30 c{#,(f8)}(f8(c)(c(f8)(x1))) = x1 + 1 >= x1 + 1 = b{#,(f8)}(f8(c)(c(b)(b(c)(c(f8)(x1))))) 46.91/13.30 46.91/13.30 c{#,(f8)}(f8(c)(c(b)(x1))) = x1 >= x1 = b{#,(f8)}(f8(c)(c(b)(b(c)(c(b)(x1))))) 46.91/13.30 46.91/13.30 c{#,(f8)}(f8(c)(c(c)(x1))) = x1 >= x1 = b{#,(f8)}(f8(c)(c(b)(b(c)(c(c)(x1))))) 46.91/13.30 46.91/13.30 c{#,(f8)}(f8(c)(c(f8)(x1))) = x1 + 1 >= x1 + 1 = c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) 46.91/13.30 46.91/13.30 c{#,(f8)}(f8(c)(c(b)(x1))) = x1 >= x1 = c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) 46.91/13.30 46.91/13.30 c{#,(f8)}(f8(c)(c(c)(x1))) = x1 >= x1 = c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) 46.91/13.30 46.91/13.30 c{#,(f8)}(f8(c)(c(c)(c(f8)(x1)))) = x1 + 1 >= x1 = b{#,(f8)}(f8(f8)(x1)) 46.91/13.30 46.91/13.30 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) = x1 >= x1 = b{#,(f8)}(f8(b)(x1)) 46.91/13.30 46.91/13.30 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) = x1 >= x1 = b{#,(f8)}(f8(c)(x1)) 46.91/13.30 46.91/13.30 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) = x1 >= x1 = b{#,(f8)}(f8(b)(b(b)(x1))) 46.91/13.30 46.91/13.30 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) = x1 >= x1 = b{#,(f8)}(f8(b)(b(c)(x1))) 46.91/13.30 46.91/13.30 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) = x1 >= x1 = c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) 46.91/13.30 46.91/13.30 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) = x1 >= x1 = c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) 46.91/13.30 46.91/13.30 f8(b)(b(b)(b(b)(b(f8)(x1)))) = x1 >= x1 = f8(c)(c(b)(b(f8)(x1))) 46.91/13.30 46.91/13.30 f8(b)(b(b)(b(b)(b(b)(x1)))) = x1 >= x1 = f8(c)(c(b)(b(b)(x1))) 46.91/13.30 46.91/13.30 f8(b)(b(b)(b(b)(b(c)(x1)))) = x1 >= x1 = f8(c)(c(b)(b(c)(x1))) 46.91/13.30 46.91/13.30 b(b)(b(b)(b(b)(b(f8)(x1)))) = x1 >= x1 = b(c)(c(b)(b(f8)(x1))) 46.91/13.30 46.91/13.30 b(b)(b(b)(b(b)(b(b)(x1)))) = x1 >= x1 = b(c)(c(b)(b(b)(x1))) 46.91/13.30 46.91/13.30 b(b)(b(b)(b(b)(b(c)(x1)))) = x1 >= x1 = b(c)(c(b)(b(c)(x1))) 46.91/13.30 46.91/13.30 c(b)(b(b)(b(b)(b(f8)(x1)))) = x1 >= x1 = c(c)(c(b)(b(f8)(x1))) 46.91/13.30 46.91/13.30 c(b)(b(b)(b(b)(b(b)(x1)))) = x1 >= x1 = c(c)(c(b)(b(b)(x1))) 46.91/13.30 46.91/13.30 c(b)(b(b)(b(b)(b(c)(x1)))) = x1 >= x1 = c(c)(c(b)(b(c)(x1))) 46.91/13.30 46.91/13.30 c(c)(c(f8)(x1)) = x1 + 1 >= x1 + 1 = c(b)(b(c)(c(b)(b(c)(c(f8)(x1))))) 46.91/13.30 46.91/13.30 c(c)(c(b)(x1)) = x1 >= x1 = c(b)(b(c)(c(b)(b(c)(c(b)(x1))))) 46.91/13.30 46.91/13.30 c(c)(c(c)(x1)) = x1 >= x1 = c(b)(b(c)(c(b)(b(c)(c(c)(x1))))) 46.91/13.30 46.91/13.30 c(c)(c(c)(c(b)(x1))) = x1 >= x1 = c(b)(b(b)(b(b)(x1))) 46.91/13.30 46.91/13.30 c(c)(c(c)(c(c)(x1))) = x1 >= x1 = c(b)(b(b)(b(c)(x1))) 46.91/13.30 problem: 46.91/13.30 DPs: 46.91/13.30 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) 46.91/13.30 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) 46.91/13.30 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) 46.91/13.30 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(f8)(x1))) 46.91/13.30 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(x1))) 46.91/13.30 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(c)(x1))) 46.91/13.30 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) 46.91/13.30 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) 46.91/13.30 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) 46.91/13.30 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(f8)(x1))))) 46.99/13.35 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(b)(x1))))) 46.99/13.35 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(c)(x1))))) 46.99/13.35 c{#,(f8)}(f8(c)(c(f8)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) 46.99/13.35 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) 46.99/13.35 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) 46.99/13.35 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(x1)) 46.99/13.35 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(c)(x1)) 46.99/13.35 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(b(b)(x1))) 46.99/13.35 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(b)(b(c)(x1))) 46.99/13.35 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) 46.99/13.35 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) 46.99/13.35 TRS: 46.99/13.35 f8(b)(b(b)(b(b)(b(f8)(x1)))) -> f8(c)(c(b)(b(f8)(x1))) 46.99/13.35 f8(b)(b(b)(b(b)(b(b)(x1)))) -> f8(c)(c(b)(b(b)(x1))) 46.99/13.35 f8(b)(b(b)(b(b)(b(c)(x1)))) -> f8(c)(c(b)(b(c)(x1))) 46.99/13.35 b(b)(b(b)(b(b)(b(f8)(x1)))) -> b(c)(c(b)(b(f8)(x1))) 46.99/13.35 b(b)(b(b)(b(b)(b(b)(x1)))) -> b(c)(c(b)(b(b)(x1))) 46.99/13.35 b(b)(b(b)(b(b)(b(c)(x1)))) -> b(c)(c(b)(b(c)(x1))) 46.99/13.35 c(b)(b(b)(b(b)(b(f8)(x1)))) -> c(c)(c(b)(b(f8)(x1))) 46.99/13.35 c(b)(b(b)(b(b)(b(b)(x1)))) -> c(c)(c(b)(b(b)(x1))) 46.99/13.35 c(b)(b(b)(b(b)(b(c)(x1)))) -> c(c)(c(b)(b(c)(x1))) 46.99/13.35 c(c)(c(f8)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(f8)(x1))))) 46.99/13.35 c(c)(c(b)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(b)(x1))))) 46.99/13.35 c(c)(c(c)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(c)(x1))))) 46.99/13.35 c(c)(c(c)(c(b)(x1))) -> c(b)(b(b)(b(b)(x1))) 46.99/13.35 c(c)(c(c)(c(c)(x1))) -> c(b)(b(b)(b(c)(x1))) 46.99/13.35 Polynomial Interpretation Processor: 46.99/13.35 dimension: 1 46.99/13.35 usable rules: 46.99/13.35 f8(b)(b(b)(b(b)(b(f8)(x1)))) -> f8(c)(c(b)(b(f8)(x1))) 46.99/13.35 f8(b)(b(b)(b(b)(b(b)(x1)))) -> f8(c)(c(b)(b(b)(x1))) 46.99/13.35 f8(b)(b(b)(b(b)(b(c)(x1)))) -> f8(c)(c(b)(b(c)(x1))) 46.99/13.35 c(b)(b(b)(b(b)(b(f8)(x1)))) -> c(c)(c(b)(b(f8)(x1))) 46.99/13.35 c(b)(b(b)(b(b)(b(b)(x1)))) -> c(c)(c(b)(b(b)(x1))) 46.99/13.35 c(b)(b(b)(b(b)(b(c)(x1)))) -> c(c)(c(b)(b(c)(x1))) 46.99/13.35 c(c)(c(f8)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(f8)(x1))))) 46.99/13.35 c(c)(c(b)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(b)(x1))))) 46.99/13.35 c(c)(c(c)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(c)(x1))))) 46.99/13.35 c(c)(c(c)(c(b)(x1))) -> c(b)(b(b)(b(b)(x1))) 46.99/13.35 c(c)(c(c)(c(c)(x1))) -> c(b)(b(b)(b(c)(x1))) 46.99/13.35 interpretation: 46.99/13.35 [c(c)](x0) = x0, 46.99/13.35 46.99/13.35 [c(b)](x0) = 0, 46.99/13.35 46.99/13.35 [c(f8)](x0) = 1, 46.99/13.35 46.99/13.35 [f8(c)](x0) = x0, 46.99/13.35 46.99/13.35 [b(c)](x0) = 0, 46.99/13.35 46.99/13.35 [c{#,(f8)}](x0) = x0, 46.99/13.35 46.99/13.35 [b(f8)](x0) = 0, 46.99/13.35 46.99/13.35 [b(b)](x0) = 0, 46.99/13.35 46.99/13.35 [f8(b)](x0) = 0, 46.99/13.35 46.99/13.35 [b{#,(f8)}](x0) = x0 46.99/13.35 orientation: 46.99/13.35 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) = 0 >= 0 = c{#,(f8)}(f8(b)(b(f8)(x1))) 46.99/13.35 46.99/13.35 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) = 0 >= 0 = c{#,(f8)}(f8(b)(b(b)(x1))) 46.99/13.35 46.99/13.35 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) = 0 >= 0 = c{#,(f8)}(f8(b)(b(c)(x1))) 46.99/13.35 46.99/13.35 c{#,(f8)}(f8(c)(c(f8)(x1))) = 1 >= 1 = b{#,(f8)}(f8(c)(c(f8)(x1))) 46.99/13.35 46.99/13.35 c{#,(f8)}(f8(c)(c(b)(x1))) = 0 >= 0 = b{#,(f8)}(f8(c)(c(b)(x1))) 46.99/13.35 46.99/13.35 c{#,(f8)}(f8(c)(c(c)(x1))) = x1 >= x1 = b{#,(f8)}(f8(c)(c(c)(x1))) 46.99/13.35 46.99/13.35 c{#,(f8)}(f8(c)(c(f8)(x1))) = 1 >= 0 = c{#,(f8)}(f8(b)(b(c)(c(f8)(x1)))) 46.99/13.35 46.99/13.35 c{#,(f8)}(f8(c)(c(b)(x1))) = 0 >= 0 = c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) 46.99/13.35 46.99/13.35 c{#,(f8)}(f8(c)(c(c)(x1))) = x1 >= 0 = c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) 46.99/13.35 46.99/13.35 c{#,(f8)}(f8(c)(c(f8)(x1))) = 1 >= 0 = b{#,(f8)}(f8(c)(c(b)(b(c)(c(f8)(x1))))) 46.99/13.35 46.99/13.35 c{#,(f8)}(f8(c)(c(b)(x1))) = 0 >= 0 = b{#,(f8)}(f8(c)(c(b)(b(c)(c(b)(x1))))) 46.99/13.35 46.99/13.35 c{#,(f8)}(f8(c)(c(c)(x1))) = x1 >= 0 = b{#,(f8)}(f8(c)(c(b)(b(c)(c(c)(x1))))) 47.52/13.87 47.52/13.87 c{#,(f8)}(f8(c)(c(f8)(x1))) = 1 >= 0 = c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(f8)(x1)))))) 47.52/13.87 47.52/13.87 c{#,(f8)}(f8(c)(c(b)(x1))) = 0 >= 0 = c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) 47.52/13.87 47.52/13.87 c{#,(f8)}(f8(c)(c(c)(x1))) = x1 >= 0 = c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) 47.52/13.87 47.52/13.87 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) = 0 >= 0 = b{#,(f8)}(f8(b)(x1)) 47.52/13.87 47.52/13.87 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) = x1 >= x1 = b{#,(f8)}(f8(c)(x1)) 47.52/13.87 47.52/13.87 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) = 0 >= 0 = b{#,(f8)}(f8(b)(b(b)(x1))) 47.52/13.87 47.52/13.87 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) = x1 >= 0 = b{#,(f8)}(f8(b)(b(c)(x1))) 47.52/13.87 47.52/13.87 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) = 0 >= 0 = c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) 47.52/13.87 47.52/13.87 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) = x1 >= 0 = c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) 47.52/13.87 47.52/13.87 f8(b)(b(b)(b(b)(b(f8)(x1)))) = 0 >= 0 = f8(c)(c(b)(b(f8)(x1))) 47.52/13.87 47.52/13.87 f8(b)(b(b)(b(b)(b(b)(x1)))) = 0 >= 0 = f8(c)(c(b)(b(b)(x1))) 47.52/13.87 47.52/13.87 f8(b)(b(b)(b(b)(b(c)(x1)))) = 0 >= 0 = f8(c)(c(b)(b(c)(x1))) 47.52/13.87 47.52/13.87 b(b)(b(b)(b(b)(b(f8)(x1)))) = 0 >= 0 = b(c)(c(b)(b(f8)(x1))) 47.52/13.87 47.52/13.87 b(b)(b(b)(b(b)(b(b)(x1)))) = 0 >= 0 = b(c)(c(b)(b(b)(x1))) 47.52/13.87 47.52/13.87 b(b)(b(b)(b(b)(b(c)(x1)))) = 0 >= 0 = b(c)(c(b)(b(c)(x1))) 47.52/13.87 47.52/13.87 c(b)(b(b)(b(b)(b(f8)(x1)))) = 0 >= 0 = c(c)(c(b)(b(f8)(x1))) 47.52/13.87 47.52/13.87 c(b)(b(b)(b(b)(b(b)(x1)))) = 0 >= 0 = c(c)(c(b)(b(b)(x1))) 47.52/13.87 47.52/13.87 c(b)(b(b)(b(b)(b(c)(x1)))) = 0 >= 0 = c(c)(c(b)(b(c)(x1))) 47.52/13.87 47.52/13.87 c(c)(c(f8)(x1)) = 1 >= 0 = c(b)(b(c)(c(b)(b(c)(c(f8)(x1))))) 47.52/13.87 47.52/13.87 c(c)(c(b)(x1)) = 0 >= 0 = c(b)(b(c)(c(b)(b(c)(c(b)(x1))))) 47.52/13.87 47.52/13.87 c(c)(c(c)(x1)) = x1 >= 0 = c(b)(b(c)(c(b)(b(c)(c(c)(x1))))) 47.52/13.87 47.52/13.87 c(c)(c(c)(c(b)(x1))) = 0 >= 0 = c(b)(b(b)(b(b)(x1))) 47.52/13.87 47.52/13.87 c(c)(c(c)(c(c)(x1))) = x1 >= 0 = c(b)(b(b)(b(c)(x1))) 47.52/13.87 problem: 47.52/13.87 DPs: 47.52/13.87 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) 47.52/13.87 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) 47.52/13.87 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) 47.52/13.87 c{#,(f8)}(f8(c)(c(f8)(x1))) -> b{#,(f8)}(f8(c)(c(f8)(x1))) 47.52/13.87 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(x1))) 47.52/13.87 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(c)(x1))) 47.52/13.87 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) 47.52/13.87 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) 47.52/13.87 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(b)(x1))))) 47.52/13.87 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(c)(x1))))) 47.52/13.87 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) 47.52/13.87 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) 47.52/13.87 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(x1)) 47.52/13.87 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(c)(x1)) 47.52/13.87 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(b(b)(x1))) 47.52/13.87 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(b)(b(c)(x1))) 47.52/13.87 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) 47.52/13.87 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) 47.52/13.87 TRS: 47.52/13.87 f8(b)(b(b)(b(b)(b(f8)(x1)))) -> f8(c)(c(b)(b(f8)(x1))) 47.52/13.87 f8(b)(b(b)(b(b)(b(b)(x1)))) -> f8(c)(c(b)(b(b)(x1))) 47.52/13.87 f8(b)(b(b)(b(b)(b(c)(x1)))) -> f8(c)(c(b)(b(c)(x1))) 47.52/13.87 b(b)(b(b)(b(b)(b(f8)(x1)))) -> b(c)(c(b)(b(f8)(x1))) 47.52/13.87 b(b)(b(b)(b(b)(b(b)(x1)))) -> b(c)(c(b)(b(b)(x1))) 47.52/13.87 b(b)(b(b)(b(b)(b(c)(x1)))) -> b(c)(c(b)(b(c)(x1))) 47.52/13.87 c(b)(b(b)(b(b)(b(f8)(x1)))) -> c(c)(c(b)(b(f8)(x1))) 47.52/13.87 c(b)(b(b)(b(b)(b(b)(x1)))) -> c(c)(c(b)(b(b)(x1))) 47.52/13.87 c(b)(b(b)(b(b)(b(c)(x1)))) -> c(c)(c(b)(b(c)(x1))) 47.52/13.87 c(c)(c(f8)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(f8)(x1))))) 47.91/14.25 c(c)(c(b)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(b)(x1))))) 47.91/14.25 c(c)(c(c)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(c)(x1))))) 47.91/14.25 c(c)(c(c)(c(b)(x1))) -> c(b)(b(b)(b(b)(x1))) 47.91/14.25 c(c)(c(c)(c(c)(x1))) -> c(b)(b(b)(b(c)(x1))) 47.91/14.25 Polynomial Interpretation Processor: 47.91/14.25 dimension: 1 47.91/14.25 usable rules: 47.91/14.25 f8(b)(b(b)(b(b)(b(f8)(x1)))) -> f8(c)(c(b)(b(f8)(x1))) 47.91/14.25 f8(b)(b(b)(b(b)(b(b)(x1)))) -> f8(c)(c(b)(b(b)(x1))) 47.91/14.25 f8(b)(b(b)(b(b)(b(c)(x1)))) -> f8(c)(c(b)(b(c)(x1))) 47.91/14.25 c(b)(b(b)(b(b)(b(f8)(x1)))) -> c(c)(c(b)(b(f8)(x1))) 47.91/14.25 c(b)(b(b)(b(b)(b(b)(x1)))) -> c(c)(c(b)(b(b)(x1))) 47.91/14.25 c(b)(b(b)(b(b)(b(c)(x1)))) -> c(c)(c(b)(b(c)(x1))) 47.91/14.25 c(c)(c(f8)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(f8)(x1))))) 47.91/14.25 c(c)(c(b)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(b)(x1))))) 47.91/14.25 c(c)(c(c)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(c)(x1))))) 47.91/14.25 c(c)(c(c)(c(b)(x1))) -> c(b)(b(b)(b(b)(x1))) 47.91/14.25 c(c)(c(c)(c(c)(x1))) -> c(b)(b(b)(b(c)(x1))) 47.91/14.25 interpretation: 47.91/14.25 [c(c)](x0) = 0, 47.91/14.25 47.91/14.25 [c(b)](x0) = 0, 47.91/14.25 47.91/14.25 [c(f8)](x0) = 1, 47.91/14.25 47.91/14.25 [f8(c)](x0) = x0, 47.91/14.25 47.91/14.25 [b(c)](x0) = 0, 47.91/14.25 47.91/14.25 [c{#,(f8)}](x0) = x0, 47.91/14.25 47.91/14.25 [b(f8)](x0) = 0, 47.91/14.25 47.91/14.25 [b(b)](x0) = 0, 47.91/14.25 47.91/14.25 [f8(b)](x0) = 0, 47.91/14.25 47.91/14.25 [b{#,(f8)}](x0) = 0 47.91/14.25 orientation: 47.91/14.25 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) = 0 >= 0 = c{#,(f8)}(f8(b)(b(f8)(x1))) 47.91/14.25 47.91/14.25 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) = 0 >= 0 = c{#,(f8)}(f8(b)(b(b)(x1))) 47.91/14.25 47.91/14.25 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) = 0 >= 0 = c{#,(f8)}(f8(b)(b(c)(x1))) 47.91/14.25 47.91/14.25 c{#,(f8)}(f8(c)(c(f8)(x1))) = 1 >= 0 = b{#,(f8)}(f8(c)(c(f8)(x1))) 47.91/14.25 47.91/14.25 c{#,(f8)}(f8(c)(c(b)(x1))) = 0 >= 0 = b{#,(f8)}(f8(c)(c(b)(x1))) 47.91/14.25 47.91/14.25 c{#,(f8)}(f8(c)(c(c)(x1))) = 0 >= 0 = b{#,(f8)}(f8(c)(c(c)(x1))) 47.91/14.25 47.91/14.25 c{#,(f8)}(f8(c)(c(b)(x1))) = 0 >= 0 = c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) 47.91/14.25 47.91/14.25 c{#,(f8)}(f8(c)(c(c)(x1))) = 0 >= 0 = c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) 47.91/14.25 47.91/14.25 c{#,(f8)}(f8(c)(c(b)(x1))) = 0 >= 0 = b{#,(f8)}(f8(c)(c(b)(b(c)(c(b)(x1))))) 47.91/14.25 47.91/14.25 c{#,(f8)}(f8(c)(c(c)(x1))) = 0 >= 0 = b{#,(f8)}(f8(c)(c(b)(b(c)(c(c)(x1))))) 47.91/14.25 47.91/14.25 c{#,(f8)}(f8(c)(c(b)(x1))) = 0 >= 0 = c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) 47.91/14.25 47.91/14.25 c{#,(f8)}(f8(c)(c(c)(x1))) = 0 >= 0 = c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) 47.91/14.25 47.91/14.25 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) = 0 >= 0 = b{#,(f8)}(f8(b)(x1)) 47.91/14.25 47.91/14.25 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) = 0 >= 0 = b{#,(f8)}(f8(c)(x1)) 47.91/14.25 47.91/14.25 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) = 0 >= 0 = b{#,(f8)}(f8(b)(b(b)(x1))) 47.91/14.25 47.91/14.25 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) = 0 >= 0 = b{#,(f8)}(f8(b)(b(c)(x1))) 47.91/14.25 47.91/14.25 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) = 0 >= 0 = c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) 47.91/14.25 47.91/14.25 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) = 0 >= 0 = c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) 47.91/14.25 47.91/14.25 f8(b)(b(b)(b(b)(b(f8)(x1)))) = 0 >= 0 = f8(c)(c(b)(b(f8)(x1))) 47.91/14.25 47.91/14.25 f8(b)(b(b)(b(b)(b(b)(x1)))) = 0 >= 0 = f8(c)(c(b)(b(b)(x1))) 47.91/14.25 47.91/14.25 f8(b)(b(b)(b(b)(b(c)(x1)))) = 0 >= 0 = f8(c)(c(b)(b(c)(x1))) 47.91/14.25 47.91/14.25 b(b)(b(b)(b(b)(b(f8)(x1)))) = 0 >= 0 = b(c)(c(b)(b(f8)(x1))) 47.91/14.25 47.91/14.25 b(b)(b(b)(b(b)(b(b)(x1)))) = 0 >= 0 = b(c)(c(b)(b(b)(x1))) 47.91/14.25 47.91/14.25 b(b)(b(b)(b(b)(b(c)(x1)))) = 0 >= 0 = b(c)(c(b)(b(c)(x1))) 47.91/14.25 47.91/14.25 c(b)(b(b)(b(b)(b(f8)(x1)))) = 0 >= 0 = c(c)(c(b)(b(f8)(x1))) 47.91/14.25 47.91/14.25 c(b)(b(b)(b(b)(b(b)(x1)))) = 0 >= 0 = c(c)(c(b)(b(b)(x1))) 47.91/14.25 47.91/14.25 c(b)(b(b)(b(b)(b(c)(x1)))) = 0 >= 0 = c(c)(c(b)(b(c)(x1))) 47.91/14.25 47.91/14.25 c(c)(c(f8)(x1)) = 0 >= 0 = c(b)(b(c)(c(b)(b(c)(c(f8)(x1))))) 47.95/14.29 47.95/14.29 c(c)(c(b)(x1)) = 0 >= 0 = c(b)(b(c)(c(b)(b(c)(c(b)(x1))))) 47.95/14.29 47.95/14.29 c(c)(c(c)(x1)) = 0 >= 0 = c(b)(b(c)(c(b)(b(c)(c(c)(x1))))) 47.95/14.29 47.95/14.29 c(c)(c(c)(c(b)(x1))) = 0 >= 0 = c(b)(b(b)(b(b)(x1))) 47.95/14.29 47.95/14.29 c(c)(c(c)(c(c)(x1))) = 0 >= 0 = c(b)(b(b)(b(c)(x1))) 47.95/14.29 problem: 47.95/14.29 DPs: 47.95/14.29 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) -> c{#,(f8)}(f8(b)(b(f8)(x1))) 47.95/14.29 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) 47.95/14.29 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) -> c{#,(f8)}(f8(b)(b(c)(x1))) 47.95/14.29 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(x1))) 47.95/14.29 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(c)(x1))) 47.95/14.29 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) 47.95/14.29 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) 47.95/14.29 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(b)(x1))))) 47.95/14.29 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(c)(x1))))) 47.95/14.29 c{#,(f8)}(f8(c)(c(b)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) 47.95/14.29 c{#,(f8)}(f8(c)(c(c)(x1))) -> c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) 47.95/14.29 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(x1)) 47.95/14.29 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(c)(x1)) 47.95/14.29 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(b(b)(x1))) 47.95/14.29 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(b)(b(c)(x1))) 47.95/14.29 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) 47.95/14.29 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) 47.95/14.29 TRS: 47.95/14.29 f8(b)(b(b)(b(b)(b(f8)(x1)))) -> f8(c)(c(b)(b(f8)(x1))) 47.95/14.29 f8(b)(b(b)(b(b)(b(b)(x1)))) -> f8(c)(c(b)(b(b)(x1))) 47.95/14.29 f8(b)(b(b)(b(b)(b(c)(x1)))) -> f8(c)(c(b)(b(c)(x1))) 47.95/14.29 b(b)(b(b)(b(b)(b(f8)(x1)))) -> b(c)(c(b)(b(f8)(x1))) 47.95/14.29 b(b)(b(b)(b(b)(b(b)(x1)))) -> b(c)(c(b)(b(b)(x1))) 47.95/14.29 b(b)(b(b)(b(b)(b(c)(x1)))) -> b(c)(c(b)(b(c)(x1))) 47.95/14.29 c(b)(b(b)(b(b)(b(f8)(x1)))) -> c(c)(c(b)(b(f8)(x1))) 47.95/14.29 c(b)(b(b)(b(b)(b(b)(x1)))) -> c(c)(c(b)(b(b)(x1))) 47.95/14.29 c(b)(b(b)(b(b)(b(c)(x1)))) -> c(c)(c(b)(b(c)(x1))) 47.95/14.29 c(c)(c(f8)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(f8)(x1))))) 47.95/14.29 c(c)(c(b)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(b)(x1))))) 47.95/14.29 c(c)(c(c)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(c)(x1))))) 47.95/14.29 c(c)(c(c)(c(b)(x1))) -> c(b)(b(b)(b(b)(x1))) 47.95/14.29 c(c)(c(c)(c(c)(x1))) -> c(b)(b(b)(b(c)(x1))) 47.95/14.29 Polynomial Interpretation Processor: 47.95/14.29 dimension: 1 47.95/14.29 usable rules: 47.95/14.29 f8(b)(b(b)(b(b)(b(f8)(x1)))) -> f8(c)(c(b)(b(f8)(x1))) 47.95/14.29 f8(b)(b(b)(b(b)(b(b)(x1)))) -> f8(c)(c(b)(b(b)(x1))) 47.95/14.29 f8(b)(b(b)(b(b)(b(c)(x1)))) -> f8(c)(c(b)(b(c)(x1))) 47.95/14.29 b(b)(b(b)(b(b)(b(f8)(x1)))) -> b(c)(c(b)(b(f8)(x1))) 47.95/14.29 b(b)(b(b)(b(b)(b(b)(x1)))) -> b(c)(c(b)(b(b)(x1))) 47.95/14.29 b(b)(b(b)(b(b)(b(c)(x1)))) -> b(c)(c(b)(b(c)(x1))) 47.95/14.29 interpretation: 47.95/14.29 [c(c)](x0) = 0, 47.95/14.29 47.95/14.29 [c(b)](x0) = 0, 47.95/14.29 47.95/14.29 [c(f8)](x0) = 0, 47.95/14.29 47.95/14.29 [f8(c)](x0) = 1, 47.95/14.29 47.95/14.29 [b(c)](x0) = 0, 47.95/14.29 47.95/14.29 [c{#,(f8)}](x0) = x0, 47.95/14.29 47.95/14.29 [b(f8)](x0) = 0, 47.95/14.29 47.95/14.29 [b(b)](x0) = 1, 47.95/14.29 47.95/14.29 [f8(b)](x0) = x0, 47.95/14.29 47.95/14.29 [b{#,(f8)}](x0) = 1 47.95/14.29 orientation: 47.95/14.29 b{#,(f8)}(f8(b)(b(b)(b(f8)(x1)))) = 1 >= 0 = c{#,(f8)}(f8(b)(b(f8)(x1))) 47.95/14.29 47.95/14.29 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) = 1 >= 1 = c{#,(f8)}(f8(b)(b(b)(x1))) 47.95/14.29 47.95/14.29 b{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) = 1 >= 0 = c{#,(f8)}(f8(b)(b(c)(x1))) 47.95/14.29 47.95/14.29 c{#,(f8)}(f8(c)(c(b)(x1))) = 1 >= 1 = b{#,(f8)}(f8(c)(c(b)(x1))) 47.95/14.29 47.95/14.29 c{#,(f8)}(f8(c)(c(c)(x1))) = 1 >= 1 = b{#,(f8)}(f8(c)(c(c)(x1))) 47.95/14.29 48.32/14.70 c{#,(f8)}(f8(c)(c(b)(x1))) = 1 >= 0 = c{#,(f8)}(f8(b)(b(c)(c(b)(x1)))) 48.32/14.70 48.32/14.70 c{#,(f8)}(f8(c)(c(c)(x1))) = 1 >= 0 = c{#,(f8)}(f8(b)(b(c)(c(c)(x1)))) 48.32/14.70 48.32/14.70 c{#,(f8)}(f8(c)(c(b)(x1))) = 1 >= 1 = b{#,(f8)}(f8(c)(c(b)(b(c)(c(b)(x1))))) 48.32/14.70 48.32/14.70 c{#,(f8)}(f8(c)(c(c)(x1))) = 1 >= 1 = b{#,(f8)}(f8(c)(c(b)(b(c)(c(c)(x1))))) 48.32/14.70 48.32/14.70 c{#,(f8)}(f8(c)(c(b)(x1))) = 1 >= 0 = c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(b)(x1)))))) 48.32/14.70 48.32/14.70 c{#,(f8)}(f8(c)(c(c)(x1))) = 1 >= 0 = c{#,(f8)}(f8(b)(b(c)(c(b)(b(c)(c(c)(x1)))))) 48.32/14.70 48.32/14.70 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) = 1 >= 1 = b{#,(f8)}(f8(b)(x1)) 48.32/14.70 48.32/14.70 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) = 1 >= 1 = b{#,(f8)}(f8(c)(x1)) 48.32/14.70 48.32/14.70 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) = 1 >= 1 = b{#,(f8)}(f8(b)(b(b)(x1))) 48.32/14.70 48.32/14.70 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) = 1 >= 1 = b{#,(f8)}(f8(b)(b(c)(x1))) 48.32/14.70 48.32/14.70 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) = 1 >= 1 = c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) 48.32/14.70 48.32/14.70 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) = 1 >= 1 = c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) 48.32/14.70 48.32/14.70 f8(b)(b(b)(b(b)(b(f8)(x1)))) = 1 >= 1 = f8(c)(c(b)(b(f8)(x1))) 48.32/14.70 48.32/14.70 f8(b)(b(b)(b(b)(b(b)(x1)))) = 1 >= 1 = f8(c)(c(b)(b(b)(x1))) 48.32/14.70 48.32/14.70 f8(b)(b(b)(b(b)(b(c)(x1)))) = 1 >= 1 = f8(c)(c(b)(b(c)(x1))) 48.32/14.70 48.32/14.70 b(b)(b(b)(b(b)(b(f8)(x1)))) = 1 >= 0 = b(c)(c(b)(b(f8)(x1))) 48.32/14.70 48.32/14.70 b(b)(b(b)(b(b)(b(b)(x1)))) = 1 >= 0 = b(c)(c(b)(b(b)(x1))) 48.32/14.70 48.32/14.70 b(b)(b(b)(b(b)(b(c)(x1)))) = 1 >= 0 = b(c)(c(b)(b(c)(x1))) 48.32/14.70 48.32/14.70 c(b)(b(b)(b(b)(b(f8)(x1)))) = 0 >= 0 = c(c)(c(b)(b(f8)(x1))) 48.32/14.70 48.32/14.70 c(b)(b(b)(b(b)(b(b)(x1)))) = 0 >= 0 = c(c)(c(b)(b(b)(x1))) 48.32/14.70 48.32/14.70 c(b)(b(b)(b(b)(b(c)(x1)))) = 0 >= 0 = c(c)(c(b)(b(c)(x1))) 48.32/14.70 48.32/14.70 c(c)(c(f8)(x1)) = 0 >= 0 = c(b)(b(c)(c(b)(b(c)(c(f8)(x1))))) 48.32/14.70 48.32/14.70 c(c)(c(b)(x1)) = 0 >= 0 = c(b)(b(c)(c(b)(b(c)(c(b)(x1))))) 48.32/14.70 48.32/14.70 c(c)(c(c)(x1)) = 0 >= 0 = c(b)(b(c)(c(b)(b(c)(c(c)(x1))))) 48.32/14.70 48.32/14.70 c(c)(c(c)(c(b)(x1))) = 0 >= 0 = c(b)(b(b)(b(b)(x1))) 48.32/14.70 48.32/14.70 c(c)(c(c)(c(c)(x1))) = 0 >= 0 = c(b)(b(b)(b(c)(x1))) 48.32/14.70 problem: 48.32/14.70 DPs: 48.32/14.70 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(x1))) 48.32/14.70 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(x1))) 48.32/14.70 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(c)(x1))) 48.32/14.70 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(b)(x1))))) 48.32/14.70 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(c)(x1))))) 48.32/14.70 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(x1)) 48.32/14.70 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(c)(x1)) 48.32/14.70 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> b{#,(f8)}(f8(b)(b(b)(x1))) 48.32/14.70 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> b{#,(f8)}(f8(b)(b(c)(x1))) 48.32/14.70 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) 48.32/14.70 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) 48.32/14.70 TRS: 48.32/14.70 f8(b)(b(b)(b(b)(b(f8)(x1)))) -> f8(c)(c(b)(b(f8)(x1))) 48.32/14.70 f8(b)(b(b)(b(b)(b(b)(x1)))) -> f8(c)(c(b)(b(b)(x1))) 48.32/14.70 f8(b)(b(b)(b(b)(b(c)(x1)))) -> f8(c)(c(b)(b(c)(x1))) 48.32/14.70 b(b)(b(b)(b(b)(b(f8)(x1)))) -> b(c)(c(b)(b(f8)(x1))) 48.32/14.70 b(b)(b(b)(b(b)(b(b)(x1)))) -> b(c)(c(b)(b(b)(x1))) 48.32/14.70 b(b)(b(b)(b(b)(b(c)(x1)))) -> b(c)(c(b)(b(c)(x1))) 48.32/14.70 c(b)(b(b)(b(b)(b(f8)(x1)))) -> c(c)(c(b)(b(f8)(x1))) 48.32/14.70 c(b)(b(b)(b(b)(b(b)(x1)))) -> c(c)(c(b)(b(b)(x1))) 48.32/14.70 c(b)(b(b)(b(b)(b(c)(x1)))) -> c(c)(c(b)(b(c)(x1))) 48.32/14.70 c(c)(c(f8)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(f8)(x1))))) 48.32/14.70 c(c)(c(b)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(b)(x1))))) 48.32/14.70 c(c)(c(c)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(c)(x1))))) 48.43/14.80 c(c)(c(c)(c(b)(x1))) -> c(b)(b(b)(b(b)(x1))) 48.43/14.80 c(c)(c(c)(c(c)(x1))) -> c(b)(b(b)(b(c)(x1))) 48.43/14.80 Polynomial Interpretation Processor: 48.43/14.80 dimension: 1 48.43/14.80 usable rules: 48.43/14.80 f8(b)(b(b)(b(b)(b(f8)(x1)))) -> f8(c)(c(b)(b(f8)(x1))) 48.43/14.80 f8(b)(b(b)(b(b)(b(b)(x1)))) -> f8(c)(c(b)(b(b)(x1))) 48.43/14.80 f8(b)(b(b)(b(b)(b(c)(x1)))) -> f8(c)(c(b)(b(c)(x1))) 48.43/14.80 b(b)(b(b)(b(b)(b(f8)(x1)))) -> b(c)(c(b)(b(f8)(x1))) 48.43/14.80 b(b)(b(b)(b(b)(b(b)(x1)))) -> b(c)(c(b)(b(b)(x1))) 48.43/14.80 b(b)(b(b)(b(b)(b(c)(x1)))) -> b(c)(c(b)(b(c)(x1))) 48.43/14.80 c(b)(b(b)(b(b)(b(f8)(x1)))) -> c(c)(c(b)(b(f8)(x1))) 48.43/14.80 c(b)(b(b)(b(b)(b(b)(x1)))) -> c(c)(c(b)(b(b)(x1))) 48.43/14.80 c(b)(b(b)(b(b)(b(c)(x1)))) -> c(c)(c(b)(b(c)(x1))) 48.43/14.80 c(c)(c(f8)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(f8)(x1))))) 48.43/14.80 c(c)(c(b)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(b)(x1))))) 48.43/14.80 c(c)(c(c)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(c)(x1))))) 48.43/14.80 c(c)(c(c)(c(b)(x1))) -> c(b)(b(b)(b(b)(x1))) 48.43/14.80 c(c)(c(c)(c(c)(x1))) -> c(b)(b(b)(b(c)(x1))) 48.43/14.80 interpretation: 48.43/14.80 [c(c)](x0) = x0 + 1, 48.43/14.80 48.43/14.80 [c(b)](x0) = x0, 48.43/14.80 48.43/14.80 [c(f8)](x0) = 0, 48.43/14.80 48.43/14.80 [f8(c)](x0) = x0 + 1, 48.43/14.80 48.43/14.80 [b(c)](x0) = x0, 48.43/14.80 48.43/14.80 [c{#,(f8)}](x0) = x0, 48.43/14.80 48.43/14.80 [b(f8)](x0) = 0, 48.43/14.80 48.43/14.80 [b(b)](x0) = x0 + 1, 48.43/14.80 48.43/14.80 [f8(b)](x0) = x0, 48.43/14.80 48.43/14.80 [b{#,(f8)}](x0) = x0 48.43/14.80 orientation: 48.43/14.80 b{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) = x1 + 2 >= x1 + 1 = c{#,(f8)}(f8(b)(b(b)(x1))) 48.43/14.80 48.43/14.80 c{#,(f8)}(f8(c)(c(b)(x1))) = x1 + 1 >= x1 + 1 = b{#,(f8)}(f8(c)(c(b)(x1))) 48.43/14.80 48.43/14.80 c{#,(f8)}(f8(c)(c(c)(x1))) = x1 + 2 >= x1 + 2 = b{#,(f8)}(f8(c)(c(c)(x1))) 48.43/14.80 48.43/14.80 c{#,(f8)}(f8(c)(c(b)(x1))) = x1 + 1 >= x1 + 1 = b{#,(f8)}(f8(c)(c(b)(b(c)(c(b)(x1))))) 48.43/14.80 48.43/14.80 c{#,(f8)}(f8(c)(c(c)(x1))) = x1 + 2 >= x1 + 2 = b{#,(f8)}(f8(c)(c(b)(b(c)(c(c)(x1))))) 48.43/14.80 48.43/14.80 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) = x1 + 2 >= x1 = b{#,(f8)}(f8(b)(x1)) 48.43/14.80 48.43/14.80 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) = x1 + 3 >= x1 + 1 = b{#,(f8)}(f8(c)(x1)) 48.43/14.80 48.43/14.80 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) = x1 + 2 >= x1 + 1 = b{#,(f8)}(f8(b)(b(b)(x1))) 48.43/14.80 48.43/14.80 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) = x1 + 3 >= x1 = b{#,(f8)}(f8(b)(b(c)(x1))) 48.43/14.80 48.43/14.80 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) = x1 + 2 >= x1 + 2 = c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) 48.43/14.80 48.43/14.80 c{#,(f8)}(f8(c)(c(c)(c(c)(x1)))) = x1 + 3 >= x1 + 1 = c{#,(f8)}(f8(b)(b(b)(b(c)(x1)))) 48.43/14.80 48.43/14.80 f8(b)(b(b)(b(b)(b(f8)(x1)))) = 2 >= 1 = f8(c)(c(b)(b(f8)(x1))) 48.43/14.80 48.43/14.80 f8(b)(b(b)(b(b)(b(b)(x1)))) = x1 + 3 >= x1 + 2 = f8(c)(c(b)(b(b)(x1))) 48.43/14.80 48.43/14.80 f8(b)(b(b)(b(b)(b(c)(x1)))) = x1 + 2 >= x1 + 1 = f8(c)(c(b)(b(c)(x1))) 48.43/14.80 48.43/14.80 b(b)(b(b)(b(b)(b(f8)(x1)))) = 3 >= 0 = b(c)(c(b)(b(f8)(x1))) 48.43/14.80 48.43/14.80 b(b)(b(b)(b(b)(b(b)(x1)))) = x1 + 4 >= x1 + 1 = b(c)(c(b)(b(b)(x1))) 48.43/14.80 48.43/14.80 b(b)(b(b)(b(b)(b(c)(x1)))) = x1 + 3 >= x1 = b(c)(c(b)(b(c)(x1))) 48.43/14.80 48.43/14.80 c(b)(b(b)(b(b)(b(f8)(x1)))) = 2 >= 1 = c(c)(c(b)(b(f8)(x1))) 48.43/14.80 48.43/14.80 c(b)(b(b)(b(b)(b(b)(x1)))) = x1 + 3 >= x1 + 2 = c(c)(c(b)(b(b)(x1))) 48.43/14.80 48.43/14.80 c(b)(b(b)(b(b)(b(c)(x1)))) = x1 + 2 >= x1 + 1 = c(c)(c(b)(b(c)(x1))) 48.43/14.80 48.43/14.80 c(c)(c(f8)(x1)) = 1 >= 0 = c(b)(b(c)(c(b)(b(c)(c(f8)(x1))))) 48.43/14.80 48.43/14.80 c(c)(c(b)(x1)) = x1 + 1 >= x1 = c(b)(b(c)(c(b)(b(c)(c(b)(x1))))) 48.43/14.80 48.43/14.80 c(c)(c(c)(x1)) = x1 + 2 >= x1 + 1 = c(b)(b(c)(c(b)(b(c)(c(c)(x1))))) 48.43/14.80 48.43/14.80 c(c)(c(c)(c(b)(x1))) = x1 + 2 >= x1 + 2 = c(b)(b(b)(b(b)(x1))) 48.43/14.80 48.43/14.81 c(c)(c(c)(c(c)(x1))) = x1 + 3 >= x1 + 1 = c(b)(b(b)(b(c)(x1))) 48.43/14.81 problem: 48.43/14.81 DPs: 48.43/14.81 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(x1))) 48.43/14.81 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(c)(x1))) 48.43/14.81 c{#,(f8)}(f8(c)(c(b)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(b)(x1))))) 48.43/14.81 c{#,(f8)}(f8(c)(c(c)(x1))) -> b{#,(f8)}(f8(c)(c(b)(b(c)(c(c)(x1))))) 48.43/14.81 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) 48.43/14.81 TRS: 48.43/14.81 f8(b)(b(b)(b(b)(b(f8)(x1)))) -> f8(c)(c(b)(b(f8)(x1))) 48.43/14.81 f8(b)(b(b)(b(b)(b(b)(x1)))) -> f8(c)(c(b)(b(b)(x1))) 48.43/14.81 f8(b)(b(b)(b(b)(b(c)(x1)))) -> f8(c)(c(b)(b(c)(x1))) 48.43/14.81 b(b)(b(b)(b(b)(b(f8)(x1)))) -> b(c)(c(b)(b(f8)(x1))) 48.43/14.81 b(b)(b(b)(b(b)(b(b)(x1)))) -> b(c)(c(b)(b(b)(x1))) 48.43/14.81 b(b)(b(b)(b(b)(b(c)(x1)))) -> b(c)(c(b)(b(c)(x1))) 48.43/14.81 c(b)(b(b)(b(b)(b(f8)(x1)))) -> c(c)(c(b)(b(f8)(x1))) 48.43/14.81 c(b)(b(b)(b(b)(b(b)(x1)))) -> c(c)(c(b)(b(b)(x1))) 48.43/14.81 c(b)(b(b)(b(b)(b(c)(x1)))) -> c(c)(c(b)(b(c)(x1))) 48.43/14.81 c(c)(c(f8)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(f8)(x1))))) 48.43/14.81 c(c)(c(b)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(b)(x1))))) 48.43/14.81 c(c)(c(c)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(c)(x1))))) 48.43/14.81 c(c)(c(c)(c(b)(x1))) -> c(b)(b(b)(b(b)(x1))) 48.43/14.81 c(c)(c(c)(c(c)(x1))) -> c(b)(b(b)(b(c)(x1))) 48.43/14.81 SCC Processor: 48.43/14.81 #sccs: 1 48.43/14.81 #rules: 1 48.43/14.81 #arcs: 288/25 48.43/14.81 DPs: 48.43/14.81 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) -> c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) 48.43/14.81 TRS: 48.43/14.81 f8(b)(b(b)(b(b)(b(f8)(x1)))) -> f8(c)(c(b)(b(f8)(x1))) 48.43/14.81 f8(b)(b(b)(b(b)(b(b)(x1)))) -> f8(c)(c(b)(b(b)(x1))) 48.43/14.81 f8(b)(b(b)(b(b)(b(c)(x1)))) -> f8(c)(c(b)(b(c)(x1))) 48.43/14.81 b(b)(b(b)(b(b)(b(f8)(x1)))) -> b(c)(c(b)(b(f8)(x1))) 48.43/14.81 b(b)(b(b)(b(b)(b(b)(x1)))) -> b(c)(c(b)(b(b)(x1))) 48.43/14.81 b(b)(b(b)(b(b)(b(c)(x1)))) -> b(c)(c(b)(b(c)(x1))) 48.43/14.81 c(b)(b(b)(b(b)(b(f8)(x1)))) -> c(c)(c(b)(b(f8)(x1))) 48.43/14.81 c(b)(b(b)(b(b)(b(b)(x1)))) -> c(c)(c(b)(b(b)(x1))) 48.43/14.81 c(b)(b(b)(b(b)(b(c)(x1)))) -> c(c)(c(b)(b(c)(x1))) 48.43/14.81 c(c)(c(f8)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(f8)(x1))))) 48.43/14.81 c(c)(c(b)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(b)(x1))))) 48.43/14.81 c(c)(c(c)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(c)(x1))))) 48.43/14.81 c(c)(c(c)(c(b)(x1))) -> c(b)(b(b)(b(b)(x1))) 48.43/14.81 c(c)(c(c)(c(c)(x1))) -> c(b)(b(b)(b(c)(x1))) 48.43/14.81 Polynomial Interpretation Processor: 48.43/14.81 dimension: 1 48.43/14.81 usable rules: 48.43/14.81 f8(b)(b(b)(b(b)(b(f8)(x1)))) -> f8(c)(c(b)(b(f8)(x1))) 48.43/14.81 f8(b)(b(b)(b(b)(b(b)(x1)))) -> f8(c)(c(b)(b(b)(x1))) 48.43/14.81 f8(b)(b(b)(b(b)(b(c)(x1)))) -> f8(c)(c(b)(b(c)(x1))) 48.43/14.81 b(b)(b(b)(b(b)(b(f8)(x1)))) -> b(c)(c(b)(b(f8)(x1))) 48.43/14.81 b(b)(b(b)(b(b)(b(b)(x1)))) -> b(c)(c(b)(b(b)(x1))) 48.43/14.81 b(b)(b(b)(b(b)(b(c)(x1)))) -> b(c)(c(b)(b(c)(x1))) 48.43/14.81 c(b)(b(b)(b(b)(b(f8)(x1)))) -> c(c)(c(b)(b(f8)(x1))) 48.43/14.81 c(b)(b(b)(b(b)(b(b)(x1)))) -> c(c)(c(b)(b(b)(x1))) 48.43/14.81 c(b)(b(b)(b(b)(b(c)(x1)))) -> c(c)(c(b)(b(c)(x1))) 48.43/14.81 c(c)(c(f8)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(f8)(x1))))) 48.43/14.81 c(c)(c(b)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(b)(x1))))) 48.43/14.81 c(c)(c(c)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(c)(x1))))) 48.43/14.81 c(c)(c(c)(c(b)(x1))) -> c(b)(b(b)(b(b)(x1))) 48.43/14.81 c(c)(c(c)(c(c)(x1))) -> c(b)(b(b)(b(c)(x1))) 48.43/14.81 interpretation: 48.43/14.81 [c(c)](x0) = x0 + 1, 48.43/14.81 48.43/14.81 [c(b)](x0) = x0 + 1, 48.43/14.81 48.43/14.81 [c(f8)](x0) = 1, 48.43/14.81 48.43/14.81 [f8(c)](x0) = x0 + 1, 48.43/14.81 48.43/14.81 [b(c)](x0) = 0, 48.43/14.81 48.43/14.81 [c{#,(f8)}](x0) = x0, 48.43/14.81 48.43/14.81 [b(f8)](x0) = 0, 48.43/14.81 48.43/14.81 [b(b)](x0) = x0 + 1, 48.51/14.87 48.51/14.87 [f8(b)](x0) = x0 48.51/14.87 orientation: 48.51/14.87 c{#,(f8)}(f8(c)(c(c)(c(b)(x1)))) = x1 + 3 >= x1 + 2 = c{#,(f8)}(f8(b)(b(b)(b(b)(x1)))) 48.51/14.87 48.51/14.87 f8(b)(b(b)(b(b)(b(f8)(x1)))) = 2 >= 2 = f8(c)(c(b)(b(f8)(x1))) 48.51/14.87 48.51/14.87 f8(b)(b(b)(b(b)(b(b)(x1)))) = x1 + 3 >= x1 + 3 = f8(c)(c(b)(b(b)(x1))) 48.51/14.87 48.51/14.87 f8(b)(b(b)(b(b)(b(c)(x1)))) = 2 >= 2 = f8(c)(c(b)(b(c)(x1))) 48.51/14.87 48.51/14.87 b(b)(b(b)(b(b)(b(f8)(x1)))) = 3 >= 0 = b(c)(c(b)(b(f8)(x1))) 48.51/14.87 48.51/14.87 b(b)(b(b)(b(b)(b(b)(x1)))) = x1 + 4 >= 0 = b(c)(c(b)(b(b)(x1))) 48.51/14.87 48.51/14.87 b(b)(b(b)(b(b)(b(c)(x1)))) = 3 >= 0 = b(c)(c(b)(b(c)(x1))) 48.51/14.87 48.51/14.87 c(b)(b(b)(b(b)(b(f8)(x1)))) = 3 >= 2 = c(c)(c(b)(b(f8)(x1))) 48.51/14.87 48.51/14.87 c(b)(b(b)(b(b)(b(b)(x1)))) = x1 + 4 >= x1 + 3 = c(c)(c(b)(b(b)(x1))) 48.51/14.87 48.51/14.87 c(b)(b(b)(b(b)(b(c)(x1)))) = 3 >= 2 = c(c)(c(b)(b(c)(x1))) 48.51/14.87 48.51/14.87 c(c)(c(f8)(x1)) = 2 >= 1 = c(b)(b(c)(c(b)(b(c)(c(f8)(x1))))) 48.51/14.87 48.51/14.87 c(c)(c(b)(x1)) = x1 + 2 >= 1 = c(b)(b(c)(c(b)(b(c)(c(b)(x1))))) 48.51/14.87 48.51/14.87 c(c)(c(c)(x1)) = x1 + 2 >= 1 = c(b)(b(c)(c(b)(b(c)(c(c)(x1))))) 48.51/14.87 48.51/14.87 c(c)(c(c)(c(b)(x1))) = x1 + 3 >= x1 + 3 = c(b)(b(b)(b(b)(x1))) 48.51/14.87 48.51/14.87 c(c)(c(c)(c(c)(x1))) = x1 + 3 >= 2 = c(b)(b(b)(b(c)(x1))) 48.51/14.87 problem: 48.51/14.87 DPs: 48.51/14.87 48.51/14.87 TRS: 48.51/14.87 f8(b)(b(b)(b(b)(b(f8)(x1)))) -> f8(c)(c(b)(b(f8)(x1))) 48.51/14.87 f8(b)(b(b)(b(b)(b(b)(x1)))) -> f8(c)(c(b)(b(b)(x1))) 48.51/14.87 f8(b)(b(b)(b(b)(b(c)(x1)))) -> f8(c)(c(b)(b(c)(x1))) 48.51/14.87 b(b)(b(b)(b(b)(b(f8)(x1)))) -> b(c)(c(b)(b(f8)(x1))) 48.51/14.87 b(b)(b(b)(b(b)(b(b)(x1)))) -> b(c)(c(b)(b(b)(x1))) 48.51/14.87 b(b)(b(b)(b(b)(b(c)(x1)))) -> b(c)(c(b)(b(c)(x1))) 48.51/14.87 c(b)(b(b)(b(b)(b(f8)(x1)))) -> c(c)(c(b)(b(f8)(x1))) 48.51/14.87 c(b)(b(b)(b(b)(b(b)(x1)))) -> c(c)(c(b)(b(b)(x1))) 48.51/14.87 c(b)(b(b)(b(b)(b(c)(x1)))) -> c(c)(c(b)(b(c)(x1))) 48.51/14.87 c(c)(c(f8)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(f8)(x1))))) 48.51/14.87 c(c)(c(b)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(b)(x1))))) 48.51/14.87 c(c)(c(c)(x1)) -> c(b)(b(c)(c(b)(b(c)(c(c)(x1))))) 48.51/14.87 c(c)(c(c)(c(b)(x1))) -> c(b)(b(b)(b(b)(x1))) 48.51/14.87 c(c)(c(c)(c(c)(x1))) -> c(b)(b(b)(b(c)(x1))) 48.51/14.87 Qed 48.54/14.87 EOF