MAYBE
Time: 0.016211
TRS:
 {                 zeros() -> cons(0(), n__zeros()),
                   zeros() -> n__zeros(),
                activate X -> X,
       activate n__zeros() -> zeros(),
  activate n__take(X1, X2) -> take(activate X1, activate X2),
              and(tt(), X) -> activate X,
         length cons(N, L) -> s length activate L,
              length nil() -> 0(),
              take(X1, X2) -> n__take(X1, X2),
             take(0(), IL) -> nil(),
    take(s M, cons(N, IL)) -> cons(N, n__take(M, activate IL))}
 DP:
  DP:
   {     activate# n__zeros() -> zeros#(),
    activate# n__take(X1, X2) -> activate# X1,
    activate# n__take(X1, X2) -> activate# X2,
    activate# n__take(X1, X2) -> take#(activate X1, activate X2),
                and#(tt(), X) -> activate# X,
           length# cons(N, L) -> activate# L,
           length# cons(N, L) -> length# activate L,
      take#(s M, cons(N, IL)) -> activate# IL}
  TRS:
  {                 zeros() -> cons(0(), n__zeros()),
                    zeros() -> n__zeros(),
                 activate X -> X,
        activate n__zeros() -> zeros(),
   activate n__take(X1, X2) -> take(activate X1, activate X2),
               and(tt(), X) -> activate X,
          length cons(N, L) -> s length activate L,
               length nil() -> 0(),
               take(X1, X2) -> n__take(X1, X2),
              take(0(), IL) -> nil(),
     take(s M, cons(N, IL)) -> cons(N, n__take(M, activate IL))}
  UR:
   {                 zeros() -> cons(0(), n__zeros()),
                     zeros() -> n__zeros(),
                  activate X -> X,
         activate n__zeros() -> zeros(),
    activate n__take(X1, X2) -> take(activate X1, activate X2),
                take(X1, X2) -> n__take(X1, X2),
               take(0(), IL) -> nil(),
      take(s M, cons(N, IL)) -> cons(N, n__take(M, activate IL))}
   EDG:
    {(and#(tt(), X) -> activate# X, activate# n__take(X1, X2) -> take#(activate X1, activate X2))
     (and#(tt(), X) -> activate# X, activate# n__take(X1, X2) -> activate# X2)
     (and#(tt(), X) -> activate# X, activate# n__take(X1, X2) -> activate# X1)
     (and#(tt(), X) -> activate# X, activate# n__zeros() -> zeros#())
     (length# cons(N, L) -> activate# L, activate# n__take(X1, X2) -> take#(activate X1, activate X2))
     (length# cons(N, L) -> activate# L, activate# n__take(X1, X2) -> activate# X2)
     (length# cons(N, L) -> activate# L, activate# n__take(X1, X2) -> activate# X1)
     (length# cons(N, L) -> activate# L, activate# n__zeros() -> zeros#())
     (take#(s M, cons(N, IL)) -> activate# IL, activate# n__take(X1, X2) -> take#(activate X1, activate X2))
     (take#(s M, cons(N, IL)) -> activate# IL, activate# n__take(X1, X2) -> activate# X2)
     (take#(s M, cons(N, IL)) -> activate# IL, activate# n__take(X1, X2) -> activate# X1)
     (take#(s M, cons(N, IL)) -> activate# IL, activate# n__zeros() -> zeros#())
     (activate# n__take(X1, X2) -> take#(activate X1, activate X2), take#(s M, cons(N, IL)) -> activate# IL)
     (activate# n__take(X1, X2) -> activate# X2, activate# n__zeros() -> zeros#())
     (activate# n__take(X1, X2) -> activate# X2, activate# n__take(X1, X2) -> activate# X1)
     (activate# n__take(X1, X2) -> activate# X2, activate# n__take(X1, X2) -> activate# X2)
     (activate# n__take(X1, X2) -> activate# X2, activate# n__take(X1, X2) -> take#(activate X1, activate X2))
     (length# cons(N, L) -> length# activate L, length# cons(N, L) -> activate# L)
     (length# cons(N, L) -> length# activate L, length# cons(N, L) -> length# activate L)
     (activate# n__take(X1, X2) -> activate# X1, activate# n__zeros() -> zeros#())
     (activate# n__take(X1, X2) -> activate# X1, activate# n__take(X1, X2) -> activate# X1)
     (activate# n__take(X1, X2) -> activate# X1, activate# n__take(X1, X2) -> activate# X2)
     (activate# n__take(X1, X2) -> activate# X1, activate# n__take(X1, X2) -> take#(activate X1, activate X2))}
    EDG:
     {(and#(tt(), X) -> activate# X, activate# n__take(X1, X2) -> take#(activate X1, activate X2))
      (and#(tt(), X) -> activate# X, activate# n__take(X1, X2) -> activate# X2)
      (and#(tt(), X) -> activate# X, activate# n__take(X1, X2) -> activate# X1)
      (and#(tt(), X) -> activate# X, activate# n__zeros() -> zeros#())
      (length# cons(N, L) -> activate# L, activate# n__take(X1, X2) -> take#(activate X1, activate X2))
      (length# cons(N, L) -> activate# L, activate# n__take(X1, X2) -> activate# X2)
      (length# cons(N, L) -> activate# L, activate# n__take(X1, X2) -> activate# X1)
      (length# cons(N, L) -> activate# L, activate# n__zeros() -> zeros#())
      (take#(s M, cons(N, IL)) -> activate# IL, activate# n__take(X1, X2) -> take#(activate X1, activate X2))
      (take#(s M, cons(N, IL)) -> activate# IL, activate# n__take(X1, X2) -> activate# X2)
      (take#(s M, cons(N, IL)) -> activate# IL, activate# n__take(X1, X2) -> activate# X1)
      (take#(s M, cons(N, IL)) -> activate# IL, activate# n__zeros() -> zeros#())
      (activate# n__take(X1, X2) -> take#(activate X1, activate X2), take#(s M, cons(N, IL)) -> activate# IL)
      (activate# n__take(X1, X2) -> activate# X2, activate# n__zeros() -> zeros#())
      (activate# n__take(X1, X2) -> activate# X2, activate# n__take(X1, X2) -> activate# X1)
      (activate# n__take(X1, X2) -> activate# X2, activate# n__take(X1, X2) -> activate# X2)
      (activate# n__take(X1, X2) -> activate# X2, activate# n__take(X1, X2) -> take#(activate X1, activate X2))
      (length# cons(N, L) -> length# activate L, length# cons(N, L) -> activate# L)
      (length# cons(N, L) -> length# activate L, length# cons(N, L) -> length# activate L)
      (activate# n__take(X1, X2) -> activate# X1, activate# n__zeros() -> zeros#())
      (activate# n__take(X1, X2) -> activate# X1, activate# n__take(X1, X2) -> activate# X1)
      (activate# n__take(X1, X2) -> activate# X1, activate# n__take(X1, X2) -> activate# X2)
      (activate# n__take(X1, X2) -> activate# X1, activate# n__take(X1, X2) -> take#(activate X1, activate X2))}
     EDG:
      {(and#(tt(), X) -> activate# X, activate# n__take(X1, X2) -> take#(activate X1, activate X2))
       (and#(tt(), X) -> activate# X, activate# n__take(X1, X2) -> activate# X2)
       (and#(tt(), X) -> activate# X, activate# n__take(X1, X2) -> activate# X1)
       (and#(tt(), X) -> activate# X, activate# n__zeros() -> zeros#())
       (length# cons(N, L) -> activate# L, activate# n__take(X1, X2) -> take#(activate X1, activate X2))
       (length# cons(N, L) -> activate# L, activate# n__take(X1, X2) -> activate# X2)
       (length# cons(N, L) -> activate# L, activate# n__take(X1, X2) -> activate# X1)
       (length# cons(N, L) -> activate# L, activate# n__zeros() -> zeros#())
       (take#(s M, cons(N, IL)) -> activate# IL, activate# n__take(X1, X2) -> take#(activate X1, activate X2))
       (take#(s M, cons(N, IL)) -> activate# IL, activate# n__take(X1, X2) -> activate# X2)
       (take#(s M, cons(N, IL)) -> activate# IL, activate# n__take(X1, X2) -> activate# X1)
       (take#(s M, cons(N, IL)) -> activate# IL, activate# n__zeros() -> zeros#())
       (activate# n__take(X1, X2) -> activate# X2, activate# n__zeros() -> zeros#())
       (activate# n__take(X1, X2) -> activate# X2, activate# n__take(X1, X2) -> activate# X1)
       (activate# n__take(X1, X2) -> activate# X2, activate# n__take(X1, X2) -> activate# X2)
       (activate# n__take(X1, X2) -> activate# X2, activate# n__take(X1, X2) -> take#(activate X1, activate X2))
       (length# cons(N, L) -> length# activate L, length# cons(N, L) -> activate# L)
       (length# cons(N, L) -> length# activate L, length# cons(N, L) -> length# activate L)
       (activate# n__take(X1, X2) -> activate# X1, activate# n__zeros() -> zeros#())
       (activate# n__take(X1, X2) -> activate# X1, activate# n__take(X1, X2) -> activate# X1)
       (activate# n__take(X1, X2) -> activate# X1, activate# n__take(X1, X2) -> activate# X2)
       (activate# n__take(X1, X2) -> activate# X1, activate# n__take(X1, X2) -> take#(activate X1, activate X2))}
      EDG:
       {(and#(tt(), X) -> activate# X, activate# n__take(X1, X2) -> take#(activate X1, activate X2))
        (and#(tt(), X) -> activate# X, activate# n__take(X1, X2) -> activate# X2)
        (and#(tt(), X) -> activate# X, activate# n__take(X1, X2) -> activate# X1)
        (and#(tt(), X) -> activate# X, activate# n__zeros() -> zeros#())
        (length# cons(N, L) -> activate# L, activate# n__take(X1, X2) -> take#(activate X1, activate X2))
        (length# cons(N, L) -> activate# L, activate# n__take(X1, X2) -> activate# X2)
        (length# cons(N, L) -> activate# L, activate# n__take(X1, X2) -> activate# X1)
        (length# cons(N, L) -> activate# L, activate# n__zeros() -> zeros#())
        (take#(s M, cons(N, IL)) -> activate# IL, activate# n__take(X1, X2) -> take#(activate X1, activate X2))
        (take#(s M, cons(N, IL)) -> activate# IL, activate# n__take(X1, X2) -> activate# X2)
        (take#(s M, cons(N, IL)) -> activate# IL, activate# n__take(X1, X2) -> activate# X1)
        (take#(s M, cons(N, IL)) -> activate# IL, activate# n__zeros() -> zeros#())
        (activate# n__take(X1, X2) -> activate# X2, activate# n__zeros() -> zeros#())
        (activate# n__take(X1, X2) -> activate# X2, activate# n__take(X1, X2) -> activate# X1)
        (activate# n__take(X1, X2) -> activate# X2, activate# n__take(X1, X2) -> activate# X2)
        (activate# n__take(X1, X2) -> activate# X2, activate# n__take(X1, X2) -> take#(activate X1, activate X2))
        (length# cons(N, L) -> length# activate L, length# cons(N, L) -> activate# L)
        (length# cons(N, L) -> length# activate L, length# cons(N, L) -> length# activate L)
        (activate# n__take(X1, X2) -> activate# X1, activate# n__zeros() -> zeros#())
        (activate# n__take(X1, X2) -> activate# X1, activate# n__take(X1, X2) -> activate# X1)
        (activate# n__take(X1, X2) -> activate# X1, activate# n__take(X1, X2) -> activate# X2)
        (activate# n__take(X1, X2) -> activate# X1, activate# n__take(X1, X2) -> take#(activate X1, activate X2))}
       STATUS:
        arrows: 0.656250
        SCCS (2):
         Scc:
          {length# cons(N, L) -> length# activate L}
         Scc:
          {activate# n__take(X1, X2) -> activate# X1,
           activate# n__take(X1, X2) -> activate# X2}
         
         
         SCC (1):
          Strict:
           {length# cons(N, L) -> length# activate L}
          Weak:
          {                 zeros() -> cons(0(), n__zeros()),
                            zeros() -> n__zeros(),
                         activate X -> X,
                activate n__zeros() -> zeros(),
           activate n__take(X1, X2) -> take(activate X1, activate X2),
                       and(tt(), X) -> activate X,
                  length cons(N, L) -> s length activate L,
                       length nil() -> 0(),
                       take(X1, X2) -> n__take(X1, X2),
                      take(0(), IL) -> nil(),
             take(s M, cons(N, IL)) -> cons(N, n__take(M, activate IL))}
          Open
         
         
         SCC (2):
          Strict:
           {activate# n__take(X1, X2) -> activate# X1,
            activate# n__take(X1, X2) -> activate# X2}
          Weak:
          {                 zeros() -> cons(0(), n__zeros()),
                            zeros() -> n__zeros(),
                         activate X -> X,
                activate n__zeros() -> zeros(),
           activate n__take(X1, X2) -> take(activate X1, activate X2),
                       and(tt(), X) -> activate X,
                  length cons(N, L) -> s length activate L,
                       length nil() -> 0(),
                       take(X1, X2) -> n__take(X1, X2),
                      take(0(), IL) -> nil(),
             take(s M, cons(N, IL)) -> cons(N, n__take(M, activate IL))}
          Open