MAYBE
0.00/0.01	 The problem does not contain well-formed TRSs:
0.00/0.01	   Strict Trs:
0.00/0.01	     { tail(cons(X)) -> Y
0.00/0.01	     , if(true()) -> X
0.00/0.01	     , if(false()) -> Y
0.00/0.01	     , primes() -> sieve(from(s(s(0()))))
0.00/0.01	     , sieve(cons(X)) -> cons(X)
0.00/0.01	     , from(X) -> cons(X)
0.00/0.01	     , head(cons(X)) -> X
0.00/0.01	     , filter(s(s(X)), cons(Y)) -> if(divides(s(s(X)), Y)) }
0.00/0.02	   StartTerms: basic terms
0.00/0.02	   Strategy: innermost
0.00/0.02	EOF