eq
0
0
true
eq
0
s
Y
false
eq
s
X
0
false
eq
s
X
s
Y
eq
X
Y
le
0
Y
true
le
s
X
0
false
le
s
X
s
Y
le
X
Y
min
cons
0
nil
0
min
cons
s
N
nil
s
N
min
cons
N
cons
M
L
ifmin
le
N
M
cons
N
cons
M
L
ifmin
true
cons
N
cons
M
L
min
cons
N
L
ifmin
false
cons
N
cons
M
L
min
cons
M
L
replace
N
M
nil
nil
replace
N
M
cons
K
L
ifrepl
eq
N
K
N
M
cons
K
L
ifrepl
true
N
M
cons
K
L
cons
M
L
ifrepl
false
N
M
cons
K
L
cons
K
replace
N
M
L
selsort
nil
nil
selsort
cons
N
L
ifselsort
eq
N
min
cons
N
L
cons
N
L
ifselsort
true
cons
N
L
cons
N
selsort
L
ifselsort
false
cons
N
L
cons
min
cons
N
L
selsort
replace
min
cons
N
L
N
L
2.2
ifmin
false
cons
N
cons
M
L
min
cons
M
L
ifselsort
false
cons
N
L
selsort
replace
min
cons
N
L
N
L
ifrepl
false
N
M
cons
K
L
replace
N
M
L
le
s
X
s
Y
le
X
Y
min
cons
N
cons
M
L
le
N
M
ifselsort
true
cons
N
L
selsort
L
eq
s
X
s
Y
eq
X
Y
ifselsort
false
cons
N
L
replace
min
cons
N
L
N
L
min
cons
N
cons
M
L
ifmin
le
N
M
cons
N
cons
M
L
ifselsort
false
cons
N
L
min
cons
N
L
selsort
cons
N
L
min
cons
N
L
selsort
cons
N
L
eq
N
min
cons
N
L
replace
N
M
cons
K
L
ifrepl
eq
N
K
N
M
cons
K
L
ifmin
true
cons
N
cons
M
L
min
cons
N
L
ifselsort
false
cons
N
L
min
cons
N
L
selsort
cons
N
L
ifselsort
eq
N
min
cons
N
L
cons
N
L
replace
N
M
cons
K
L
eq
N
K
true
selsort
cons
N
L
ifselsort
eq
N
min
cons
N
L
cons
N
L
ifselsort
true
cons
N
L
selsort
L
ifselsort
false
cons
N
L
selsort
replace
min
cons
N
L
N
L
true
ifselsort
2
0
le
2
2
4
s
1
1
43374
le
2
0
ifmin
2
1
2
0
eq
2
20543
false
0
6
min
1
0
true
0
2
eq
2
0
0
0
1
nil
0
28382
ifrepl
4
4
1146
selsort
1
0
ifrepl
4
0
selsort
1
1
20544
replace
3
0
ifselsort
2
1
2
0
min
1
43373
cons
2
2
21685
ifmin
2
0
replace
3
3
1146
eq
s
X
s
Y
eq
X
Y
ifrepl
true
N
M
cons
K
L
cons
M
L
eq
0
0
true
eq
s
X
0
false
ifrepl
false
N
M
cons
K
L
cons
K
replace
N
M
L
replace
N
M
cons
K
L
ifrepl
eq
N
K
N
M
cons
K
L
replace
N
M
nil
nil
eq
0
s
Y
false
ifselsort
false
cons
N
L
min
cons
N
L
false
selsort
cons
N
L
eq
N
min
cons
N
L
false
selsort
cons
N
L
min
cons
N
L
false
ifselsort
false
cons
N
L
min
cons
N
L
false
ifselsort
false
cons
N
L
replace
min
cons
N
L
N
L
false
replace
N
M
cons
K
L
ifrepl
eq
N
K
N
M
cons
K
L
ifrepl
false
N
M
cons
K
L
replace
N
M
L
true
ifselsort
2
0
le
2
2
4
s
1
1
43374
le
2
0
ifmin
2
1
2
0
eq
2
6
false
0
6
min
1
0
true
0
2
eq
2
0
0
0
1
nil
0
35231
ifrepl
4
4
1146
selsort
1
0
ifrepl
4
1
4
0
selsort
1
1
20544
replace
3
3
7
ifselsort
2
1
0
min
1
7
cons
2
2
2
ifmin
2
0
replace
3
3
1146
eq
s
X
s
Y
eq
X
Y
ifrepl
true
N
M
cons
K
L
cons
M
L
eq
0
0
true
eq
s
X
0
false
ifrepl
false
N
M
cons
K
L
cons
K
replace
N
M
L
replace
N
M
cons
K
L
ifrepl
eq
N
K
N
M
cons
K
L
replace
N
M
nil
nil
eq
0
s
Y
false
replace
N
M
cons
K
L
eq
N
K
false
eq
s
X
s
Y
eq
X
Y
true
ifselsort
2
0
le
2
2
3
s
1
1
43371
le
2
0
ifmin
2
1
2
0
eq
2
5
false
0
5
min
1
0
true
0
1
eq
2
2
0
0
0
1
nil
0
54788
ifrepl
4
4
19781
selsort
1
0
ifrepl
4
1
0
selsort
1
1
20544
replace
3
7
ifselsort
2
1
0
min
1
4
cons
2
2
1
ifmin
2
0
replace
3
3
19781
eq
s
X
s
Y
eq
X
Y
ifrepl
true
N
M
cons
K
L
cons
M
L
eq
0
0
true
eq
s
X
0
false
ifrepl
false
N
M
cons
K
L
cons
K
replace
N
M
L
replace
N
M
cons
K
L
ifrepl
eq
N
K
N
M
cons
K
L
replace
N
M
nil
nil
eq
0
s
Y
false
ifmin
true
cons
N
cons
M
L
min
cons
N
L
min
cons
N
cons
M
L
ifmin
le
N
M
cons
N
cons
M
L
ifmin
false
cons
N
cons
M
L
min
cons
M
L
true
ifselsort
2
0
le
2
2
3
s
1
1
43373
le
2
0
ifmin
2
1
2
0
eq
2
1
false
0
0
min
1
1
1
true
0
1
eq
2
0
0
0
1
nil
0
54788
ifrepl
4
4
19781
selsort
1
0
ifrepl
4
1
0
selsort
1
1
20544
replace
3
7
ifselsort
2
1
0
min
1
6
cons
2
2
2
ifmin
2
2
0
replace
3
3
19781
eq
s
X
s
Y
eq
X
Y
ifrepl
true
N
M
cons
K
L
cons
M
L
eq
0
0
true
eq
s
X
0
false
ifrepl
false
N
M
cons
K
L
cons
K
replace
N
M
L
le
0
Y
true
le
s
X
s
Y
le
X
Y
replace
N
M
cons
K
L
ifrepl
eq
N
K
N
M
cons
K
L
replace
N
M
nil
nil
le
s
X
0
false
eq
0
s
Y
false
min
cons
N
cons
M
L
le
N
M
false
le
s
X
s
Y
le
X
Y
true
ifselsort
2
0
le
2
2
3
s
1
1
43371
le
2
2
0
ifmin
2
1
2
0
eq
2
1
false
0
0
min
1
1
true
0
1
eq
2
0
0
0
1
nil
0
33694
ifrepl
4
4
36229
selsort
1
0
ifrepl
4
1
0
selsort
1
1
20544
replace
3
7
ifselsort
2
1
0
min
1
4
cons
2
2
1
ifmin
2
0
replace
3
3
36229
eq
s
X
s
Y
eq
X
Y
ifrepl
true
N
M
cons
K
L
cons
M
L
eq
0
0
true
eq
s
X
0
false
ifrepl
false
N
M
cons
K
L
cons
K
replace
N
M
L
le
0
Y
true
le
s
X
s
Y
le
X
Y
replace
N
M
cons
K
L
ifrepl
eq
N
K
N
M
cons
K
L
replace
N
M
nil
nil
le
s
X
0
false
eq
0
s
Y
false
NaTT
certifiable-1.6