MAYBE
0.00/0.02	 The problem does not contain well-formed TRSs:
0.00/0.02	   Strict Trs:
0.00/0.02	     { sel(0(), cons()) -> X
0.00/0.02	     , sel(s(), cons()) -> sel(X, Z)
0.00/0.02	     , dbl(0()) -> 0()
0.00/0.02	     , dbl(s()) -> s()
0.00/0.02	     , dbls(cons()) -> cons()
0.00/0.02	     , dbls(nil()) -> nil()
0.00/0.02	     , indx(cons()) -> cons()
0.00/0.02	     , indx(nil()) -> nil()
0.00/0.02	     , from() -> cons() }
0.00/0.02	   StartTerms: all
0.00/0.02	   Strategy: none
0.00/0.02	EOF