Input TRS:
    1: active(zeros()) -> mark(cons(0(),zeros()))
    2: active(U11(tt(),L)) -> mark(U12(tt(),L))
    3: active(U12(tt(),L)) -> mark(s(length(L)))
    4: active(U21(tt(),IL,M,N)) -> mark(U22(tt(),IL,M,N))
    5: active(U22(tt(),IL,M,N)) -> mark(U23(tt(),IL,M,N))
    6: active(U23(tt(),IL,M,N)) -> mark(cons(N,take(M,IL)))
    7: active(length(nil())) -> mark(0())
    8: active(length(cons(N,L))) -> mark(U11(tt(),L))
    9: active(take(0(),IL)) -> mark(nil())
    10: active(take(s(M),cons(N,IL))) -> mark(U21(tt(),IL,M,N))
    11: mark(zeros()) -> active(zeros())
    12: mark(cons(X1,X2)) -> active(cons(mark(X1),X2))
    13: mark(0()) -> active(0())
    14: mark(U11(X1,X2)) -> active(U11(mark(X1),X2))
    15: mark(tt()) -> active(tt())
    16: mark(U12(X1,X2)) -> active(U12(mark(X1),X2))
    17: mark(s(X)) -> active(s(mark(X)))
    18: mark(length(X)) -> active(length(mark(X)))
    19: mark(U21(X1,X2,X3,X4)) -> active(U21(mark(X1),X2,X3,X4))
    20: mark(U22(X1,X2,X3,X4)) -> active(U22(mark(X1),X2,X3,X4))
    21: mark(U23(X1,X2,X3,X4)) -> active(U23(mark(X1),X2,X3,X4))
    22: mark(take(X1,X2)) -> active(take(mark(X1),mark(X2)))
    23: mark(nil()) -> active(nil())
    24: cons(mark(X1),X2) -> cons(X1,X2)
    25: cons(X1,mark(X2)) -> cons(X1,X2)
    26: cons(active(X1),X2) -> cons(X1,X2)
    27: cons(X1,active(X2)) -> cons(X1,X2)
    28: U11(mark(X1),X2) -> U11(X1,X2)
    29: U11(X1,mark(X2)) -> U11(X1,X2)
    30: U11(active(X1),X2) -> U11(X1,X2)
    31: U11(X1,active(X2)) -> U11(X1,X2)
    32: U12(mark(X1),X2) -> U12(X1,X2)
    33: U12(X1,mark(X2)) -> U12(X1,X2)
    34: U12(active(X1),X2) -> U12(X1,X2)
    35: U12(X1,active(X2)) -> U12(X1,X2)
    36: s(mark(X)) -> s(X)
    37: s(active(X)) -> s(X)
    38: length(mark(X)) -> length(X)
    39: length(active(X)) -> length(X)
    40: U21(mark(X1),X2,X3,X4) -> U21(X1,X2,X3,X4)
    41: U21(X1,mark(X2),X3,X4) -> U21(X1,X2,X3,X4)
    42: U21(X1,X2,mark(X3),X4) -> U21(X1,X2,X3,X4)
    43: U21(X1,X2,X3,mark(X4)) -> U21(X1,X2,X3,X4)
    44: U21(active(X1),X2,X3,X4) -> U21(X1,X2,X3,X4)
    45: U21(X1,active(X2),X3,X4) -> U21(X1,X2,X3,X4)
    46: U21(X1,X2,active(X3),X4) -> U21(X1,X2,X3,X4)
    47: U21(X1,X2,X3,active(X4)) -> U21(X1,X2,X3,X4)
    48: U22(mark(X1),X2,X3,X4) -> U22(X1,X2,X3,X4)
    49: U22(X1,mark(X2),X3,X4) -> U22(X1,X2,X3,X4)
    50: U22(X1,X2,mark(X3),X4) -> U22(X1,X2,X3,X4)
    51: U22(X1,X2,X3,mark(X4)) -> U22(X1,X2,X3,X4)
    52: U22(active(X1),X2,X3,X4) -> U22(X1,X2,X3,X4)
    53: U22(X1,active(X2),X3,X4) -> U22(X1,X2,X3,X4)
    54: U22(X1,X2,active(X3),X4) -> U22(X1,X2,X3,X4)
    55: U22(X1,X2,X3,active(X4)) -> U22(X1,X2,X3,X4)
    56: U23(mark(X1),X2,X3,X4) -> U23(X1,X2,X3,X4)
    57: U23(X1,mark(X2),X3,X4) -> U23(X1,X2,X3,X4)
    58: U23(X1,X2,mark(X3),X4) -> U23(X1,X2,X3,X4)
    59: U23(X1,X2,X3,mark(X4)) -> U23(X1,X2,X3,X4)
    60: U23(active(X1),X2,X3,X4) -> U23(X1,X2,X3,X4)
    61: U23(X1,active(X2),X3,X4) -> U23(X1,X2,X3,X4)
    62: U23(X1,X2,active(X3),X4) -> U23(X1,X2,X3,X4)
    63: U23(X1,X2,X3,active(X4)) -> U23(X1,X2,X3,X4)
    64: take(mark(X1),X2) -> take(X1,X2)
    65: take(X1,mark(X2)) -> take(X1,X2)
    66: take(active(X1),X2) -> take(X1,X2)
    67: take(X1,active(X2)) -> take(X1,X2)
Number of Rules: 67
Direct QWPOS(Sum) ... failed.