MAYBE
Time: 0.001032
TRS:
 {                from X -> cons(X, from s X),
        head cons(X, XS) -> X,
         2nd cons(X, XS) -> head XS,
  take(s N, cons(X, XS)) -> cons(X, take(N, XS)),
           take(0(), XS) -> nil(),
   sel(s N, cons(X, XS)) -> sel(N, XS),
   sel(0(), cons(X, XS)) -> X}
 DP:
  DP:
   {                from# X -> from# s X,
           2nd# cons(X, XS) -> head# XS,
    take#(s N, cons(X, XS)) -> take#(N, XS),
     sel#(s N, cons(X, XS)) -> sel#(N, XS)}
  TRS:
  {                from X -> cons(X, from s X),
         head cons(X, XS) -> X,
          2nd cons(X, XS) -> head XS,
   take(s N, cons(X, XS)) -> cons(X, take(N, XS)),
            take(0(), XS) -> nil(),
    sel(s N, cons(X, XS)) -> sel(N, XS),
    sel(0(), cons(X, XS)) -> X}
  UR:
   {}
   EDG:
    {(from# X -> from# s X, from# X -> from# s X)
     (sel#(s N, cons(X, XS)) -> sel#(N, XS), sel#(s N, cons(X, XS)) -> sel#(N, XS))
     (take#(s N, cons(X, XS)) -> take#(N, XS), take#(s N, cons(X, XS)) -> take#(N, XS))}
    STATUS:
     arrows: 0.812500
     SCCS (3):
      Scc:
       {sel#(s N, cons(X, XS)) -> sel#(N, XS)}
      Scc:
       {take#(s N, cons(X, XS)) -> take#(N, XS)}
      Scc:
       {from# X -> from# s X}
      
      SCC (1):
       Strict:
        {sel#(s N, cons(X, XS)) -> sel#(N, XS)}
       Weak:
       {                from X -> cons(X, from s X),
              head cons(X, XS) -> X,
               2nd cons(X, XS) -> head XS,
        take(s N, cons(X, XS)) -> cons(X, take(N, XS)),
                 take(0(), XS) -> nil(),
         sel(s N, cons(X, XS)) -> sel(N, XS),
         sel(0(), cons(X, XS)) -> X}
       Open
      SCC (1):
       Strict:
        {take#(s N, cons(X, XS)) -> take#(N, XS)}
       Weak:
       {                from X -> cons(X, from s X),
              head cons(X, XS) -> X,
               2nd cons(X, XS) -> head XS,
        take(s N, cons(X, XS)) -> cons(X, take(N, XS)),
                 take(0(), XS) -> nil(),
         sel(s N, cons(X, XS)) -> sel(N, XS),
         sel(0(), cons(X, XS)) -> X}
       Open
      SCC (1):
       Strict:
        {from# X -> from# s X}
       Weak:
       {                from X -> cons(X, from s X),
              head cons(X, XS) -> X,
               2nd cons(X, XS) -> head XS,
        take(s N, cons(X, XS)) -> cons(X, take(N, XS)),
                 take(0(), XS) -> nil(),
         sel(s N, cons(X, XS)) -> sel(N, XS),
         sel(0(), cons(X, XS)) -> X}
       Open