active
primes
mark
sieve
from
s
s
0
active
from
X
mark
cons
X
from
s
X
active
head
cons
X
Y
mark
X
active
tail
cons
X
Y
mark
Y
active
if
true
X
Y
mark
X
active
if
false
X
Y
mark
Y
active
filter
s
s
X
cons
Y
Z
mark
if
divides
s
s
X
Y
filter
s
s
X
Z
cons
Y
filter
X
sieve
Y
active
sieve
cons
X
Y
mark
cons
X
filter
X
sieve
Y
mark
primes
active
primes
mark
sieve
X
active
sieve
mark
X
mark
from
X
active
from
mark
X
mark
s
X
active
s
mark
X
mark
0
active
0
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
head
X
active
head
mark
X
mark
tail
X
active
tail
mark
X
mark
if
X1
X2
X3
active
if
mark
X1
X2
X3
mark
true
active
true
mark
false
active
false
mark
filter
X1
X2
active
filter
mark
X1
mark
X2
mark
divides
X1
X2
active
divides
mark
X1
mark
X2
sieve
mark
X
sieve
X
sieve
active
X
sieve
X
from
mark
X
from
X
from
active
X
from
X
s
mark
X
s
X
s
active
X
s
X
cons
mark
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
head
mark
X
head
X
head
active
X
head
X
tail
mark
X
tail
X
tail
active
X
tail
X
if
mark
X1
X2
X3
if
X1
X2
X3
if
X1
mark
X2
X3
if
X1
X2
X3
if
X1
X2
mark
X3
if
X1
X2
X3
if
active
X1
X2
X3
if
X1
X2
X3
if
X1
active
X2
X3
if
X1
X2
X3
if
X1
X2
active
X3
if
X1
X2
X3
filter
mark
X1
X2
filter
X1
X2
filter
X1
mark
X2
filter
X1
X2
filter
active
X1
X2
filter
X1
X2
filter
X1
active
X2
filter
X1
X2
divides
mark
X1
X2
divides
X1
X2
divides
X1
mark
X2
divides
X1
X2
divides
active
X1
X2
divides
X1
X2
divides
X1
active
X2
divides
X1
X2
active
1
primes
0
mark
1
sieve
1
from
1
s
1
0
0
cons
2
head
1
tail
1
if
3
true
0
false
0
filter
2
divides
2
INNERMOST
./TRS/TRCSR/inn/ExIntrod_GM99_iGM.trs