if
true
x
y
x
if
false
x
y
y
eq
0
0
true
eq
0
s
x
false
eq
s
x
0
false
eq
s
x
s
y
eq
x
y
app
nil
l
l
app
cons
x
l1
l2
cons
x
app
l1
l2
app
app
l1
l2
l3
app
l1
app
l2
l3
mem
x
nil
false
mem
x
cons
y
l
ifmem
eq
x
y
x
l
ifmem
true
x
l
true
ifmem
false
x
l
mem
x
l
inter
x
nil
nil
inter
nil
x
nil
inter
app
l1
l2
l3
app
inter
l1
l3
inter
l2
l3
inter
l1
app
l2
l3
app
inter
l1
l2
inter
l1
l3
inter
cons
x
l1
l2
ifinter
mem
x
l2
x
l1
l2
inter
l1
cons
x
l2
ifinter
mem
x
l1
x
l2
l1
ifinter
true
x
l1
l2
cons
x
inter
l1
l2
ifinter
false
x
l1
l2
inter
l1
l2
2.2
ifmem
false
x
l
mem
x
l
mem
x
cons
y
l
eq
x
y
ifinter
false
x
l1
l2
inter
l1
l2
inter
l1
app
l2
l3
inter
l1
l2
inter
l1
cons
x
l2
ifinter
mem
x
l1
x
l2
l1
inter
l1
cons
x
l2
mem
x
l1
inter
app
l1
l2
l3
app
inter
l1
l3
inter
l2
l3
ifinter
true
x
l1
l2
inter
l1
l2
inter
l1
app
l2
l3
inter
l1
l3
mem
x
cons
y
l
ifmem
eq
x
y
x
l
app
cons
x
l1
l2
app
l1
l2
inter
cons
x
l1
l2
mem
x
l2
inter
app
l1
l2
l3
inter
l2
l3
app
app
l1
l2
l3
app
l1
app
l2
l3
eq
s
x
s
y
eq
x
y
inter
l1
app
l2
l3
app
inter
l1
l2
inter
l1
l3
inter
app
l1
l2
l3
inter
l1
l3
app
app
l1
l2
l3
app
l2
l3
inter
cons
x
l1
l2
ifinter
mem
x
l2
x
l1
l2
true
inter
cons
x
l1
l2
ifinter
mem
x
l2
x
l1
l2
inter
app
l1
l2
l3
inter
l1
l3
inter
app
l1
l2
l3
inter
l2
l3
inter
l1
cons
x
l2
ifinter
mem
x
l1
x
l2
l1
inter
l1
app
l2
l3
inter
l1
l2
ifinter
false
x
l1
l2
inter
l1
l2
inter
l1
app
l2
l3
inter
l1
l3
ifinter
true
x
l1
l2
inter
l1
l2
true
mem
2
2
2
s
1
1
ifinter
4
0
eq
2
6
false
0
1
mem
2
0
ifmem
3
1
2
0
ifinter
4
3
4
1
true
0
7
ifmem
3
0
eq
2
0
if
3
0
0
0
1
nil
0
28958
app
2
0
cons
2
2
2
if
3
0
inter
2
0
inter
2
1
2
0
app
2
1
2
1
inter
l1
app
l2
l3
app
inter
l1
l2
inter
l1
l3
false
inter
l1
cons
x
l2
mem
x
l1
false
inter
app
l1
l2
l3
app
inter
l1
l3
inter
l2
l3
false
app
app
l1
l2
l3
app
l2
l3
app
app
l1
l2
l3
app
l1
app
l2
l3
app
cons
x
l1
l2
app
l1
l2
true
mem
2
2
2
s
1
1
ifinter
4
0
eq
2
38554
false
0
1
mem
2
0
ifmem
3
1
2
0
ifinter
4
1
true
0
38555
ifmem
3
0
eq
2
0
if
3
0
0
0
1
nil
0
38139
app
2
1
0
cons
2
2
38551
if
3
0
inter
2
0
inter
2
0
app
2
1
2
31755
app
cons
x
l1
l2
cons
x
app
l1
l2
app
nil
l
l
app
app
l1
l2
l3
app
l1
app
l2
l3
inter
cons
x
l1
l2
mem
x
l2
false
mem
x
cons
y
l
ifmem
eq
x
y
x
l
ifmem
false
x
l
mem
x
l
true
mem
2
2
2
s
1
1
ifinter
4
0
eq
2
5
false
0
1
mem
2
1
2
0
ifmem
3
1
2
0
ifinter
4
1
true
0
6
ifmem
3
2
3
1
eq
2
0
if
3
0
0
0
1
nil
0
1
app
2
0
cons
2
2
2
if
3
0
inter
2
0
inter
2
0
app
2
1
2
31755
app
cons
x
l1
l2
cons
x
app
l1
l2
app
nil
l
l
app
app
l1
l2
l3
app
l1
app
l2
l3
mem
x
cons
y
l
eq
x
y
false
eq
s
x
s
y
eq
x
y
true
mem
2
2
2
s
1
1
1
ifinter
4
0
eq
2
11946
false
0
1
mem
2
0
ifmem
3
1
2
0
ifinter
4
1
true
0
11947
ifmem
3
1
eq
2
1
2
0
if
3
0
0
0
1
nil
0
42207
app
2
0
cons
2
2
11943
if
3
0
inter
2
0
inter
2
0
app
2
1
2
31755
app
cons
x
l1
l2
cons
x
app
l1
l2
app
nil
l
l
app
app
l1
l2
l3
app
l1
app
l2
l3
NaTT
certifiable-1.6