Input TRS:
    1: app(nil(),k) -> k
    2: app(l,nil()) -> l
    3: app(cons(x,l),k) -> cons(x,app(l,k))
    4: sum(cons(x,nil())) -> cons(x,nil())
    5: sum(cons(x,cons(y,l))) -> sum(cons(plus(x,y),l))
    6: sum(app(l,cons(x,cons(y,k)))) -> sum(app(l,sum(cons(x,cons(y,k)))))
    7: plus(0(),y) -> y
    8: plus(s(x),y) -> s(plus(x,y))
Number of Rules: 8
Direct POLO(Sum) ... removes: 7 5 2 1
	I(0) = 1
	I(plus) = x1 + x2
	I(sum) = x1
	I(nil) = 0
	I(s) = x1
	I(app) = x1 + x2 + 1
	I(cons) = x1 + x2 + 1
Number of Rules: 4
Direct POLO(Sum) ...Direct QLPOS ...Direct QKBOS ... failed.