minus
x
0
x
minus
s
x
s
y
minus
x
y
quot
0
s
y
0
quot
s
x
s
y
s
quot
minus
x
y
s
y
app
nil
y
y
app
add
n
x
y
add
n
app
x
y
reverse
nil
nil
reverse
add
n
x
app
reverse
x
add
n
nil
shuffle
nil
nil
shuffle
add
n
x
add
n
shuffle
reverse
x
concat
leaf
y
y
concat
cons
u
v
y
cons
u
concat
v
y
less_leaves
x
leaf
false
less_leaves
leaf
cons
w
z
true
less_leaves
cons
u
v
cons
w
z
less_leaves
concat
u
v
concat
w
z
2.2
app
add
n
x
y
app
x
y
reverse
add
n
x
app
reverse
x
add
n
nil
less_leaves
cons
u
v
cons
w
z
concat
u
v
quot
s
x
s
y
quot
minus
x
y
s
y
quot
s
x
s
y
minus
x
y
reverse
add
n
x
reverse
x
less_leaves
cons
u
v
cons
w
z
concat
w
z
shuffle
add
n
x
reverse
x
concat
cons
u
v
y
concat
v
y
minus
s
x
s
y
minus
x
y
less_leaves
cons
u
v
cons
w
z
less_leaves
concat
u
v
concat
w
z
shuffle
add
n
x
shuffle
reverse
x
true
shuffle
add
n
x
shuffle
reverse
x
true
s
1
0
reverse
1
0
minus
2
0
less_leaves
2
0
concat
2
0
false
0
0
reverse
1
1
1
true
0
0
shuffle
1
0
concat
2
0
0
0
0
quot
2
0
less_leaves
2
0
nil
0
0
app
2
0
minus
2
0
shuffle
1
1
0
cons
2
0
add
2
2
2439
quot
2
0
leaf
0
0
app
2
1
2
0
reverse
add
n
x
app
reverse
x
add
n
nil
app
nil
y
y
reverse
nil
nil
app
add
n
x
y
add
n
app
x
y
less_leaves
cons
u
v
cons
w
z
less_leaves
concat
u
v
concat
w
z
true
s
1
0
reverse
1
0
minus
2
0
less_leaves
2
1
0
concat
2
0
false
0
0
reverse
1
1
1
true
0
0
shuffle
1
0
concat
2
1
2
1
0
0
0
quot
2
0
less_leaves
2
0
nil
0
0
app
2
0
minus
2
0
shuffle
1
1
0
cons
2
1
2
2
add
2
2
16304
quot
2
0
leaf
0
58713
app
2
1
2
0
reverse
add
n
x
app
reverse
x
add
n
nil
app
nil
y
y
reverse
nil
nil
concat
cons
u
v
y
cons
u
concat
v
y
concat
leaf
y
y
app
add
n
x
y
add
n
app
x
y
quot
s
x
s
y
quot
minus
x
y
s
y
true
s
1
1
2
reverse
1
0
minus
2
1
1
less_leaves
2
1
0
concat
2
0
false
0
0
reverse
1
1
1
true
0
0
shuffle
1
0
concat
2
1
2
29483
0
0
1
quot
2
0
less_leaves
2
0
nil
0
0
app
2
0
minus
2
0
shuffle
1
1
0
cons
2
1
2
1
add
2
2
16304
quot
2
1
0
leaf
0
42207
app
2
1
2
0
reverse
add
n
x
app
reverse
x
add
n
nil
minus
x
0
x
app
nil
y
y
reverse
nil
nil
concat
cons
u
v
y
cons
u
concat
v
y
concat
leaf
y
y
app
add
n
x
y
add
n
app
x
y
minus
s
x
s
y
minus
x
y
quot
s
x
s
y
minus
x
y
false
minus
s
x
s
y
minus
x
y
true
s
1
1
2
reverse
1
0
minus
2
1
1
less_leaves
2
1
0
concat
2
0
false
0
0
reverse
1
1
1
true
0
0
shuffle
1
0
concat
2
1
2
29483
0
0
1
quot
2
0
less_leaves
2
0
nil
0
0
app
2
0
minus
2
2
0
shuffle
1
1
0
cons
2
1
2
1
add
2
2
16304
quot
2
1
0
leaf
0
42207
app
2
1
2
0
reverse
add
n
x
app
reverse
x
add
n
nil
minus
x
0
x
app
nil
y
y
reverse
nil
nil
concat
cons
u
v
y
cons
u
concat
v
y
concat
leaf
y
y
app
add
n
x
y
add
n
app
x
y
minus
s
x
s
y
minus
x
y
less_leaves
cons
u
v
cons
w
z
concat
u
v
false
shuffle
add
n
x
reverse
x
false
less_leaves
cons
u
v
cons
w
z
concat
w
z
false
concat
cons
u
v
y
concat
v
y
true
s
1
1
1
reverse
1
0
minus
2
1
1
less_leaves
2
1
0
concat
2
1
0
false
0
0
reverse
1
1
1
true
0
0
shuffle
1
0
concat
2
1
2
53547
0
0
1
quot
2
0
less_leaves
2
0
nil
0
0
app
2
0
minus
2
0
shuffle
1
1
0
cons
2
1
2
1
add
2
2
16304
quot
2
1
0
leaf
0
42207
app
2
1
2
0
reverse
add
n
x
app
reverse
x
add
n
nil
minus
x
0
x
app
nil
y
y
reverse
nil
nil
concat
cons
u
v
y
cons
u
concat
v
y
concat
leaf
y
y
app
add
n
x
y
add
n
app
x
y
minus
s
x
s
y
minus
x
y
reverse
add
n
x
reverse
x
true
s
1
1
1
reverse
1
1
0
minus
2
1
1
less_leaves
2
1
0
concat
2
0
false
0
0
reverse
1
1
44364
true
0
0
shuffle
1
0
concat
2
1
2
53547
0
0
1
quot
2
0
less_leaves
2
0
nil
0
0
app
2
0
minus
2
0
shuffle
1
1
0
cons
2
1
2
1
add
2
2
16304
quot
2
1
0
leaf
0
42207
app
2
1
2
0
reverse
add
n
x
app
reverse
x
add
n
nil
minus
x
0
x
app
nil
y
y
reverse
nil
nil
concat
cons
u
v
y
cons
u
concat
v
y
concat
leaf
y
y
app
add
n
x
y
add
n
app
x
y
minus
s
x
s
y
minus
x
y
reverse
add
n
x
app
reverse
x
add
n
nil
false
app
add
n
x
y
app
x
y
true
s
1
1
1
reverse
1
0
minus
2
1
1
less_leaves
2
1
0
concat
2
0
false
0
0
reverse
1
1
44364
true
0
0
shuffle
1
0
concat
2
1
2
1
0
0
1
quot
2
0
less_leaves
2
0
nil
0
0
app
2
1
0
minus
2
0
shuffle
1
1
0
cons
2
1
2
31122
add
2
2
1
quot
2
1
0
leaf
0
42207
app
2
1
2
0
reverse
add
n
x
app
reverse
x
add
n
nil
minus
x
0
x
app
nil
y
y
reverse
nil
nil
concat
cons
u
v
y
cons
u
concat
v
y
concat
leaf
y
y
app
add
n
x
y
add
n
app
x
y
minus
s
x
s
y
minus
x
y
NaTT
certifiable-1.6