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	     , dbl1(0()) -> 01()
0.00/0.02	     , dbl1(s()) -> s1(s1(dbl1(X)))
0.00/0.02	     , sel1(0(), cons()) -> X
0.00/0.02	     , sel1(s(), cons()) -> sel1(X, Z)
0.00/0.02	     , quote(sel(X, Y)) -> sel1(X, Y)
0.00/0.02	     , quote(0()) -> 01()
0.00/0.02	     , quote(s()) -> s1(quote(X))
0.00/0.02	     , quote(dbl(X)) -> dbl1(X)
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: basic terms
0.00/0.02	   Strategy: none
0.00/0.02	EOF