MAYBE
0.00/0.02	 The problem does not contain well-formed TRSs:
0.00/0.02	   Strict Trs:
0.00/0.02	     { sel(s(X), cons(Y)) -> sel(X, Z)
0.00/0.02	     , sel(0(), cons(X)) -> X
0.00/0.02	     , sel1(s(X), cons(Y)) -> sel1(X, Z)
0.00/0.02	     , sel1(0(), cons(X)) -> quote()
0.00/0.02	     , first1(s(X), cons(Y)) -> cons1(quote(), first1(X, Z))
0.00/0.02	     , first1(0(), Z) -> nil1()
0.00/0.02	     , quote() -> sel1(X, Z)
0.00/0.02	     , quote() -> 01()
0.00/0.02	     , quote() -> s1(quote())
0.00/0.02	     , quote1() -> first1(X, Z)
0.00/0.02	     , quote1() -> cons1(quote(), quote1())
0.00/0.02	     , quote1() -> nil1()
0.00/0.02	     , first(s(X), cons(Y)) -> cons(Y)
0.00/0.02	     , first(0(), Z) -> nil()
0.00/0.02	     , from(X) -> cons(X)
0.00/0.02	     , unquote(01()) -> 0()
0.00/0.02	     , unquote(s1(X)) -> s(unquote(X))
0.00/0.02	     , unquote1(cons1(X, Z)) -> fcons(unquote(X), unquote1(Z))
0.00/0.02	     , unquote1(nil1()) -> nil()
0.00/0.02	     , fcons(X, Z) -> cons(X) }
0.00/0.02	   StartTerms: basic terms
0.00/0.02	   Strategy: none
0.00/0.02	EOF