a__primes
a__sieve
a__from
s
s
0
a__from
X
cons
mark
X
from
s
X
a__head
cons
X
Y
mark
X
a__tail
cons
X
Y
mark
Y
a__if
true
X
Y
mark
X
a__if
false
X
Y
mark
Y
a__filter
s
s
X
cons
Y
Z
a__if
divides
s
s
mark
X
mark
Y
filter
s
s
X
Z
cons
Y
filter
X
sieve
Y
a__sieve
cons
X
Y
cons
mark
X
filter
X
sieve
Y
mark
primes
a__primes
mark
sieve
X
a__sieve
mark
X
mark
from
X
a__from
mark
X
mark
head
X
a__head
mark
X
mark
tail
X
a__tail
mark
X
mark
if
X1
X2
X3
a__if
mark
X1
X2
X3
mark
filter
X1
X2
a__filter
mark
X1
mark
X2
mark
s
X
s
mark
X
mark
0
0
mark
cons
X1
X2
cons
mark
X1
X2
mark
true
true
mark
false
false
mark
divides
X1
X2
divides
mark
X1
mark
X2
a__primes
primes
a__sieve
X
sieve
X
a__from
X
from
X
a__head
X
head
X
a__tail
X
tail
X
a__if
X1
X2
X3
if
X1
X2
X3
a__filter
X1
X2
filter
X1
X2
2.2
a__if
false
X
Y
mark
Y
mark
cons
X1
X2
mark
X1
mark
from
X
a__from
mark
X
a__filter
s
s
X
cons
Y
Z
mark
X
mark
head
X
mark
X
mark
if
X1
X2
X3
mark
X1
a__sieve
cons
X
Y
mark
X
a__primes
a__from
s
s
0
a__filter
s
s
X
cons
Y
Z
a__if
divides
s
s
mark
X
mark
Y
filter
s
s
X
Z
cons
Y
filter
X
sieve
Y
a__filter
s
s
X
cons
Y
Z
mark
Y
mark
filter
X1
X2
a__filter
mark
X1
mark
X2
mark
s
X
mark
X
mark
from
X
mark
X
mark
if
X1
X2
X3
a__if
mark
X1
X2
X3
mark
primes
a__primes
a__tail
cons
X
Y
mark
Y
a__primes
a__sieve
a__from
s
s
0
mark
filter
X1
X2
mark
X2
a__if
true
X
Y
mark
X
mark
divides
X1
X2
mark
X2
mark
filter
X1
X2
mark
X1
a__head
cons
X
Y
mark
X
mark
sieve
X
mark
X
mark
tail
X
a__tail
mark
X
a__from
X
mark
X
mark
head
X
a__head
mark
X
mark
sieve
X
a__sieve
mark
X
mark
tail
X
mark
X
mark
divides
X1
X2
mark
X1
true
mark
divides
X1
X2
mark
X1
mark
filter
X1
X2
a__filter
mark
X1
mark
X2
mark
tail
X
mark
X
a__filter
s
s
X
cons
Y
Z
mark
Y
mark
sieve
X
a__sieve
mark
X
mark
head
X
a__head
mark
X
a__from
X
mark
X
a__primes
a__from
s
s
0
mark
tail
X
a__tail
mark
X
a__sieve
cons
X
Y
mark
X
mark
sieve
X
mark
X
a__head
cons
X
Y
mark
X
mark
filter
X1
X2
mark
X1
mark
if
X1
X2
X3
mark
X1
mark
head
X
mark
X
a__filter
s
s
X
cons
Y
Z
mark
X
mark
divides
X1
X2
mark
X2
a__if
true
X
Y
mark
X
mark
from
X
a__from
mark
X
mark
filter
X1
X2
mark
X2
a__primes
a__sieve
a__from
s
s
0
a__tail
cons
X
Y
mark
Y
mark
primes
a__primes
mark
if
X1
X2
X3
a__if
mark
X1
X2
X3
mark
from
X
mark
X
mark
cons
X1
X2
mark
X1
a__if
false
X
Y
mark
Y
mark
s
X
mark
X
true
s
1
1
0
a__head
1
1
38147
a__from
1
1
38146
a__from
1
1
3
false
0
18589
a__filter
2
1
38146
2
38145
0
a__sieve
1
1
2
true
0
2242
tail
1
1
9727
mark
1
1
38146
0
0
24452
if
3
1
0
2
0
3
0
0
a__primes
0
62603
from
1
1
3
mark
1
1
0
sieve
1
1
2
a__if
3
1
38145
2
38146
3
38146
0
head
1
1
592
cons
2
1
3
2
0
0
a__primes
0
24458
filter
2
1
0
2
0
0
primes
0
24458
a__sieve
1
1
38147
divides
2
1
0
2
1
0
a__tail
1
1
9727
a__filter
2
1
0
2
0
0
a__tail
1
1
38147
a__if
3
1
0
2
0
3
0
0
a__head
1
1
592
mark
s
X
mark
X
a__if
false
X
Y
mark
Y
mark
if
X1
X2
X3
a__if
mark
X1
X2
X3
mark
filter
X1
X2
mark
X2
a__if
true
X
Y
mark
X
a__filter
s
s
X
cons
Y
Z
mark
X
mark
if
X1
X2
X3
mark
X1
mark
filter
X1
X2
mark
X1
a__from
X
mark
X
mark
filter
X1
X2
a__filter
mark
X1
mark
X2
mark
divides
X1
X2
mark
X1
mark
cons
X1
X2
cons
mark
X1
X2
a__tail
cons
X
Y
mark
Y
mark
filter
X1
X2
a__filter
mark
X1
mark
X2
a__sieve
cons
X
Y
cons
mark
X
filter
X
sieve
Y
a__primes
a__sieve
a__from
s
s
0
a__head
cons
X
Y
mark
X
mark
s
X
s
mark
X
mark
divides
X1
X2
divides
mark
X1
mark
X2
a__tail
X
tail
X
mark
true
true
mark
0
0
a__if
X1
X2
X3
if
X1
X2
X3
a__primes
primes
a__filter
X1
X2
filter
X1
X2
a__if
true
X
Y
mark
X
mark
sieve
X
a__sieve
mark
X
a__filter
s
s
X
cons
Y
Z
a__if
divides
s
s
mark
X
mark
Y
filter
s
s
X
Z
cons
Y
filter
X
sieve
Y
mark
false
false
a__head
X
head
X
mark
if
X1
X2
X3
a__if
mark
X1
X2
X3
mark
head
X
a__head
mark
X
a__sieve
X
sieve
X
a__from
X
from
X
mark
from
X
a__from
mark
X
mark
primes
a__primes
mark
tail
X
a__tail
mark
X
a__if
false
X
Y
mark
Y
a__from
X
cons
mark
X
from
s
X
a__from
X
mark
X
false
mark
filter
X1
X2
mark
X2
mark
filter
X1
X2
mark
X1
mark
filter
X1
X2
a__filter
mark
X1
mark
X2
mark
s
X
mark
X
mark
divides
X1
X2
mark
X1
a__if
true
X
Y
mark
X
a__filter
s
s
X
cons
Y
Z
mark
X
mark
if
X1
X2
X3
mark
X1
mark
if
X1
X2
X3
a__if
mark
X1
X2
X3
a__if
false
X
Y
mark
Y
true
s
1
1
0
a__head
1
1
38147
a__from
1
1
38146
a__from
1
1
3
false
0
1
a__filter
2
1
4
2
1
0
a__sieve
1
1
2
true
0
3
tail
1
1
25466
mark
1
1
3
0
0
43810
if
3
1
0
2
0
3
0
0
a__primes
0
62603
from
1
1
3
mark
1
1
0
sieve
1
1
2
a__if
3
1
1
2
3
3
3
0
head
1
1
51696
cons
2
1
3
2
0
0
a__primes
0
43815
filter
2
1
1
2
0
0
primes
0
43815
a__sieve
1
1
38147
divides
2
1
0
2
2
0
a__tail
1
1
25466
a__filter
2
1
1
2
0
0
a__tail
1
1
38147
a__if
3
1
0
2
0
3
0
0
a__head
1
1
51696
a__if
false
X
Y
mark
Y
mark
if
X1
X2
X3
a__if
mark
X1
X2
X3
mark
if
X1
X2
X3
mark
X1
a__if
true
X
Y
mark
X
mark
divides
X1
X2
mark
X1
mark
s
X
mark
X
mark
filter
X1
X2
a__filter
mark
X1
mark
X2
mark
filter
X1
X2
mark
X2
mark
cons
X1
X2
cons
mark
X1
X2
a__tail
cons
X
Y
mark
Y
mark
filter
X1
X2
a__filter
mark
X1
mark
X2
a__sieve
cons
X
Y
cons
mark
X
filter
X
sieve
Y
a__primes
a__sieve
a__from
s
s
0
a__head
cons
X
Y
mark
X
mark
s
X
s
mark
X
mark
divides
X1
X2
divides
mark
X1
mark
X2
a__tail
X
tail
X
mark
true
true
mark
0
0
a__if
X1
X2
X3
if
X1
X2
X3
a__primes
primes
a__filter
X1
X2
filter
X1
X2
a__if
true
X
Y
mark
X
mark
sieve
X
a__sieve
mark
X
a__filter
s
s
X
cons
Y
Z
a__if
divides
s
s
mark
X
mark
Y
filter
s
s
X
Z
cons
Y
filter
X
sieve
Y
mark
false
false
a__head
X
head
X
mark
if
X1
X2
X3
a__if
mark
X1
X2
X3
mark
head
X
a__head
mark
X
a__sieve
X
sieve
X
a__from
X
from
X
mark
from
X
a__from
mark
X
mark
primes
a__primes
mark
tail
X
a__tail
mark
X
a__if
false
X
Y
mark
Y
a__from
X
cons
mark
X
from
s
X
mark
filter
X1
X2
mark
X2
mark
s
X
mark
X
mark
divides
X1
X2
mark
X1
a__if
true
X
Y
mark
X
mark
if
X1
X2
X3
mark
X1
mark
if
X1
X2
X3
a__if
mark
X1
X2
X3
a__if
false
X
Y
mark
Y
true
s
1
1
21653
a__head
1
2
a__from
1
2
a__from
1
1
7
false
0
6
a__filter
2
0
a__sieve
1
7
true
0
6
tail
1
1
5
mark
1
1
4
0
0
6
if
3
1
2
3
7
a__primes
0
2
from
1
8
mark
1
5
sieve
1
8
a__if
3
2
3
5
head
1
2
cons
2
1
3
a__primes
0
6
filter
2
2
2
primes
0
7
a__sieve
1
2
divides
2
1
1
a__tail
1
4
a__filter
2
2
1
a__tail
1
2
a__if
3
6
a__head
1
1
1
mark
filter
X1
X2
a__filter
mark
X1
mark
X2
false
a__filter
s
s
X
cons
Y
Z
a__if
divides
s
s
mark
X
mark
Y
filter
s
s
X
Z
cons
Y
filter
X
sieve
Y
false
NaTT
certifiable-1.6