MAYBE
Time: 0.001334
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))}
    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))}
     EDG:
      {(from# X -> from# s X, from# X -> from# s X)}
      EDG:
       {(from# X -> from# s X, from# X -> from# s X)}
       STATUS:
        arrows: 0.937500
        SCCS (1):
         Scc:
          {from# X -> from# s X}
         
         
         
         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