Input TRS:
    1: zeros() -> cons(0(),n__zeros())
    2: and(tt(),X) -> activate(X)
    3: length(nil()) -> 0()
    4: length(cons(N,L)) -> s(length(activate(L)))
    5: take(0(),IL) -> nil()
    6: take(s(M),cons(N,IL)) -> cons(N,n__take(M,activate(IL)))
    7: zeros() -> n__zeros()
    8: take(X1,X2) -> n__take(X1,X2)
    9: activate(n__zeros()) -> zeros()
    10: activate(n__take(X1,X2)) -> take(activate(X1),activate(X2))
    11: activate(X) -> X
Number of Rules: 11
Direct QTKBOS ... failed.