0.58/0.60 YES 0.58/0.60 Input TRS: 0.58/0.60 1: 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(x1)))))))))) 0.58/0.60 2: 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(x1))))))))))))) 0.58/0.60 3: 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(x1)))))))))))))))) 0.58/0.60 4: 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1))))))))))))))))))) 0.58/0.60 5: 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1)))))))))))))))))))))) 0.58/0.60 6: 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1))))))))))))))))))))))))) 0.58/0.60 7: 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1)))))))))))))))))))))))))))) 0.58/0.60 8: 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1))))))))))))))))))))))))))))))) 0.58/0.60 9: 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1)))))))))))))))))))))))))))))))))) 0.58/0.60 10: 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1))))))))))))))))))))))))))))))))))))) 0.58/0.60 11: 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1)))))))))))))))))))))))))))))))))))))))) 0.58/0.60 12: 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1))))))))))))))))))))))))))))))))))))))))))) 0.58/0.60 13: 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1)))))))))))))))))))))))))))))))))))))))))))))) 0.58/0.60 14: 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1))))))))))))))))))))))))))))))))))))))))))))))))) 0.58/0.60 15: 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1)))))))))))))))))))))))))))))))))))))))))))))))))))) 0.58/0.60 16: 0(1(2(1(x1)))) -> 1(2(1(1(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(0(1(2(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))) 0.58/0.60 Number of strict rules: 16 0.58/0.60 Direct POLO(bPol) ... failed. 0.58/0.60 Uncurrying 0^1_1 0 0.58/0.60 1: 0^1_1^1_2(1(x1)) -> 1(2(1(1(0^1_1^1_2(0^1_1^1_2(x1)))))) 0.58/0.60 2: 0^1_1^1_2(1(x1)) -> 1(2(1(1(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))) 0.58/0.60 3: 0^1_1^1_2(1(x1)) -> 1(2(1(1(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))) 0.58/0.60 4: 0^1_1^1_2(1(x1)) -> 1(2(1(1(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))))) 0.58/0.60 5: 0^1_1^1_2(1(x1)) -> 1(2(1(1(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))))) 0.58/0.60 6: 0^1_1^1_2(1(x1)) -> 1(2(1(1(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))))))) 0.58/0.60 7: 0^1_1^1_2(1(x1)) -> 1(2(1(1(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))))))) 0.58/0.60 8: 0^1_1^1_2(1(x1)) -> 1(2(1(1(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))))))))) 0.58/0.60 9: 0^1_1^1_2(1(x1)) -> 1(2(1(1(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))))))))) 0.58/0.60 10: 0^1_1^1_2(1(x1)) -> 1(2(1(1(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))))))))))) 0.58/0.60 11: 0^1_1^1_2(1(x1)) -> 1(2(1(1(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))))))))))) 0.58/0.60 12: 0^1_1^1_2(1(x1)) -> 1(2(1(1(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))))))))))))) 0.58/0.60 13: 0^1_1^1_2(1(x1)) -> 1(2(1(1(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))))))))))))) 0.58/0.60 14: 0^1_1^1_2(1(x1)) -> 1(2(1(1(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))))))))))))))) 0.58/0.60 15: 0^1_1^1_2(1(x1)) -> 1(2(1(1(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))))))))))))))) 0.58/0.60 16: 0^1_1^1_2(1(x1)) -> 1(2(1(1(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))))))))))))))))) 0.58/0.60 17: 0(1(_1)) ->= 0^1_1(_1) 0.58/0.60 18: 0^1_1(2(_1)) ->= 0^1_1^1_2(_1) 0.58/0.60 Number of strict rules: 16 0.58/0.60 Direct POLO(bPol) ... removes: 18 17 0.58/0.60 1 w: x1 0.58/0.60 0^1_1^1_2 w: x1 0.58/0.60 0 w: 2 * x1 + 2 0.58/0.60 0^1_1 w: 2 * x1 + 1 0.58/0.60 2 w: x1 0.58/0.60 Number of strict rules: 16 0.58/0.60 Direct POLO(bPol) ... failed. 0.58/0.60 Dependency Pairs: 0.58/0.60 #1: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))) 0.58/0.60 #2: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(x1)) 0.58/0.60 #3: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(x1) 0.58/0.60 #4: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))) 0.58/0.60 #5: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))) 0.58/0.60 #6: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))) 0.58/0.60 #7: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))) 0.58/0.60 #8: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))) 0.58/0.60 #9: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(x1)) 0.58/0.60 #10: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(x1) 0.58/0.60 #11: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))))))))) 0.58/0.60 #12: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))))))))) 0.58/0.60 #13: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))))))) 0.58/0.60 #14: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))))))) 0.58/0.60 #15: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))))) 0.58/0.60 #16: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))))) 0.58/0.60 #17: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))) 0.58/0.60 #18: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))) 0.58/0.60 #19: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))) 0.58/0.60 #20: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))) 0.58/0.60 #21: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))) 0.58/0.60 #22: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))) 0.58/0.60 #23: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(x1)) 0.58/0.60 #24: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(x1) 0.58/0.60 #25: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))))) 0.58/0.60 #26: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))))) 0.58/0.60 #27: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))) 0.58/0.60 #28: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))) 0.58/0.60 #29: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))) 0.58/0.60 #30: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))) 0.58/0.60 #31: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))) 0.58/0.60 #32: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))) 0.58/0.60 #33: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(x1)) 0.58/0.60 #34: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(x1) 0.58/0.60 #35: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))))))) 0.58/0.60 #36: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))))))) 0.58/0.60 #37: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))))) 0.58/0.60 #38: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))))) 0.58/0.60 #39: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))) 0.58/0.60 #40: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))) 0.58/0.60 #41: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))) 0.58/0.60 #42: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))) 0.58/0.60 #43: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))) 0.58/0.60 #44: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))) 0.58/0.60 #45: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(x1)) 0.58/0.60 #46: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(x1) 0.58/0.60 #47: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))))))))) 0.58/0.60 #48: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))))))) 0.58/0.60 #49: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))))))) 0.58/0.60 #50: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))))) 0.58/0.60 #51: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))))) 0.58/0.60 #52: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))) 0.58/0.60 #53: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))) 0.58/0.60 #54: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))) 0.58/0.60 #55: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))) 0.58/0.60 #56: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))) 0.58/0.60 #57: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))) 0.58/0.60 #58: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(x1)) 0.58/0.60 #59: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(x1) 0.58/0.60 #60: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))))))))))) 0.58/0.60 #61: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))))))))) 0.58/0.60 #62: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))))))))) 0.58/0.60 #63: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))))))) 0.58/0.60 #64: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))))))) 0.58/0.60 #65: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))))) 0.58/0.60 #66: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))))) 0.58/0.60 #67: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))) 0.58/0.60 #68: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))) 0.58/0.60 #69: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))) 0.58/0.60 #70: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))) 0.58/0.60 #71: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))) 0.58/0.60 #72: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))) 0.58/0.60 #73: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(x1)) 0.58/0.60 #74: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(x1) 0.58/0.60 #75: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))) 0.58/0.60 #76: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))) 0.58/0.60 #77: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))) 0.58/0.60 #78: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))) 0.58/0.60 #79: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))) 0.58/0.60 #80: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))) 0.58/0.60 #81: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(x1)) 0.58/0.60 #82: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(x1) 0.58/0.60 #83: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))))))) 0.58/0.60 #84: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))))) 0.58/0.60 #85: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))))) 0.58/0.60 #86: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))) 0.58/0.60 #87: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))) 0.58/0.60 #88: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))) 0.58/0.60 #89: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))) 0.58/0.60 #90: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))) 0.58/0.60 #91: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))) 0.58/0.60 #92: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(x1)) 0.58/0.60 #93: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(x1) 0.58/0.60 #94: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))) 0.58/0.60 #95: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))) 0.58/0.60 #96: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))) 0.58/0.60 #97: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))) 0.58/0.60 #98: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(x1)) 0.58/0.60 #99: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(x1) 0.58/0.60 #100: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))))))))))))) 0.58/0.60 #101: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))))))))))) 0.58/0.60 #102: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))))))))))) 0.58/0.60 #103: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))))))))) 0.58/0.60 #104: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))))))))) 0.58/0.60 #105: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))))))) 0.58/0.60 #106: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))))))) 0.58/0.60 #107: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))))) 0.58/0.60 #108: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))))) 0.58/0.60 #109: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))) 0.58/0.60 #110: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))) 0.58/0.60 #111: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))) 0.58/0.60 #112: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))) 0.58/0.60 #113: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))) 0.58/0.60 #114: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))) 0.58/0.60 #115: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(x1)) 0.58/0.60 #116: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(x1) 0.58/0.60 #117: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))) 0.58/0.60 #118: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))) 0.58/0.60 #119: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(x1)) 0.58/0.60 #120: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(x1) 0.58/0.60 #121: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(x1)) 0.58/0.60 #122: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(x1) 0.58/0.60 #123: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))))) 0.58/0.60 #124: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))) 0.58/0.60 #125: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))) 0.58/0.60 #126: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))) 0.58/0.60 #127: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))) 0.58/0.60 #128: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))) 0.58/0.60 #129: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))) 0.58/0.60 #130: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(x1)) 0.58/0.60 #131: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(x1) 0.58/0.60 #132: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))))))))))) 0.58/0.60 #133: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))))))))))) 0.58/0.60 #134: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))))))))) 0.58/0.60 #135: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))))))))) 0.58/0.60 #136: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))))))) 0.58/0.60 #137: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))))))) 0.58/0.60 #138: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))))) 0.58/0.60 #139: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))))) 0.58/0.60 #140: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))))) 0.58/0.60 #141: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))))) 0.58/0.60 #142: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))))) 0.58/0.60 #143: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))) 0.58/0.60 #144: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))) 0.58/0.60 #145: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))) 0.58/0.60 #146: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(x1)) 0.58/0.60 #147: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(x1) 0.58/0.60 #148: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))))) 0.58/0.60 #149: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1)))) 0.58/0.60 #150: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(0^1_1^1_2(x1))) 0.58/0.60 #151: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(0^1_1^1_2(x1)) 0.58/0.60 #152: #0^1_1^1_2(1(x1)) -> #0^1_1^1_2(x1) 0.58/0.60 Number of SCCs: 1, DPs: 152 0.58/0.60 SCC { #1..152 } 0.58/0.60 POLO(Sum)... succeeded. 0.58/0.60 1 w: x1 + 17 0.58/0.60 0^1_1^1_2 w: x1 + 1 0.58/0.60 0 w: 0 0.58/0.60 #0^1_1^1_2 w: x1 0.58/0.60 0^1_1 w: 0 0.58/0.60 2 w: 1 0.58/0.60 USABLE RULES: { 1..16 } 0.58/0.60 Removed DPs: #1..152 0.58/0.60 Number of SCCs: 0, DPs: 0 0.58/0.60 EOF