rewrites: 3179152 in 669529ms cpu (16886583ms real) (4748 rewrites/second) rewrite in PRIMES : < exec(rec filterd taked fromd not-divd sieved primesd N is 40 in((take N)primes))::: 'Exp,init-rec > result Conf : < done cons(2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83, 89,97,101,103,107,109,113,127,131,137,139,149,151,157,163,167,173,nil)::: 'Exp,{env = void}>