0
#
#
+
x
#
x
+
#
x
x
+
0
x
0
y
0
+
x
y
+
0
x
1
y
1
+
x
y
+
1
x
0
y
1
+
x
y
+
1
x
1
y
0
+
+
x
y
1
#
+
+
x
y
z
+
x
+
y
z
-
#
x
#
-
x
#
x
-
0
x
0
y
0
-
x
y
-
0
x
1
y
1
-
-
x
y
1
#
-
1
x
0
y
1
-
x
y
-
1
x
1
y
0
-
x
y
not
true
false
not
false
true
if
true
x
y
x
if
false
x
y
y
eq
#
#
true
eq
#
1
y
false
eq
1
x
#
false
eq
#
0
y
eq
#
y
eq
0
x
#
eq
x
#
eq
1
x
1
y
eq
x
y
eq
0
x
1
y
false
eq
1
x
0
y
false
eq
0
x
0
y
eq
x
y
ge
0
x
0
y
ge
x
y
ge
0
x
1
y
not
ge
y
x
ge
1
x
0
y
ge
x
y
ge
1
x
1
y
ge
x
y
ge
x
#
true
ge
#
0
x
ge
#
x
ge
#
1
x
false
log
x
-
log'
x
1
#
log'
#
#
log'
1
x
+
log'
x
1
#
log'
0
x
if
ge
x
1
#
+
log'
x
1
#
#
*
#
x
#
*
0
x
y
0
*
x
y
*
1
x
y
+
0
*
x
y
y
*
*
x
y
z
*
x
*
y
z
*
x
+
y
z
+
*
x
y
*
x
z
app
nil
l
l
app
cons
x
l1
l2
cons
x
app
l1
l2
sum
nil
0
#
sum
cons
x
l
+
x
sum
l
sum
app
l1
l2
+
sum
l1
sum
l2
prod
nil
1
#
prod
cons
x
l
*
x
prod
l
prod
app
l1
l2
*
prod
l1
prod
l2
mem
x
nil
false
mem
x
cons
y
l
if
eq
x
y
true
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
*
x
+
y
z
*
x
y
inter
l1
app
l2
l3
inter
l1
l2
log'
0
x
+
log'
x
1
#
*
0
x
y
*
x
y
+
+
x
y
z
+
x
+
y
z
eq
0
x
#
eq
x
#
inter
l1
app
l2
l3
app
inter
l1
l2
inter
l1
l3
-
0
x
0
y
-
x
y
prod
app
l1
l2
prod
l1
app
cons
x
l1
l2
app
l1
l2
inter
app
l1
l2
l3
inter
l2
l3
prod
cons
x
l
prod
l
-
0
x
1
y
-
-
x
y
1
#
+
1
x
1
y
+
+
x
y
1
#
+
0
x
1
y
+
x
y
prod
app
l1
l2
prod
l2
log
x
-
log'
x
1
#
+
1
x
1
y
+
x
y
-
1
x
1
y
-
x
y
+
+
x
y
z
+
y
z
-
0
x
0
y
0
-
x
y
inter
app
l1
l2
l3
app
inter
l1
l3
inter
l2
l3
*
1
x
y
*
x
y
*
*
x
y
z
*
x
*
y
z
*
1
x
y
+
0
*
x
y
y
+
1
x
1
y
0
+
+
x
y
1
#
inter
cons
x
l1
l2
ifinter
mem
x
l2
x
l1
l2
prod
cons
x
l
*
x
prod
l
sum
app
l1
l2
sum
l2
eq
1
x
1
y
eq
x
y
+
0
x
0
y
+
x
y
*
1
x
y
0
*
x
y
+
1
x
0
y
+
x
y
ge
1
x
0
y
ge
x
y
log'
1
x
+
log'
x
1
#
ge
0
x
0
y
ge
x
y
log'
0
x
log'
x
inter
app
l1
l2
l3
inter
l1
l3
-
0
x
1
y
-
x
y
inter
cons
x
l1
l2
mem
x
l2
mem
x
cons
y
l
mem
x
l
log
x
log'
x
-
1
x
0
y
-
x
y
*
*
x
y
z
*
y
z
eq
0
x
0
y
eq
x
y
inter
l1
cons
x
l2
mem
x
l1
ge
0
x
1
y
ge
y
x
inter
l1
app
l2
l3
inter
l1
l3
ifinter
true
x
l1
l2
inter
l1
l2
log'
0
x
ge
x
1
#
sum
app
l1
l2
sum
l1
*
0
x
y
0
*
x
y
log'
0
x
if
ge
x
1
#
+
log'
x
1
#
#
ge
#
0
x
ge
#
x
sum
cons
x
l
sum
l
inter
l1
cons
x
l2
ifinter
mem
x
l1
x
l2
l1
mem
x
cons
y
l
eq
x
y
eq
#
0
y
eq
#
y
ifinter
false
x
l1
l2
inter
l1
l2
+
0
x
0
y
0
+
x
y
prod
app
l1
l2
*
prod
l1
prod
l2
sum
app
l1
l2
+
sum
l1
sum
l2
sum
cons
x
l
+
x
sum
l
*
x
+
y
z
*
x
z
*
x
+
y
z
+
*
x
y
*
x
z
-
1
x
1
y
0
-
x
y
sum
nil
0
#
log'
1
x
log'
x
ge
0
x
1
y
not
ge
y
x
ge
1
x
1
y
ge
x
y
mem
x
cons
y
l
if
eq
x
y
true
mem
x
l
true
log
x
-
log'
x
1
#
false
sum
app
l1
l2
sum
l2
sum
cons
x
l
sum
l
sum
app
l1
l2
sum
l1
true
0
1
0
1
1
0
mem
2
0
prod
1
0
prod
1
0
ifinter
4
0
eq
2
0
false
0
0
ge
2
0
mem
2
0
*
2
0
log
1
0
#
0
0
ifinter
4
0
true
0
0
eq
2
0
sum
1
0
not
1
0
log
1
0
0
1
0
if
3
0
ge
2
0
nil
0
0
log'
1
0
-
2
0
app
2
0
-
2
0
cons
2
2
1
if
3
0
inter
2
0
inter
2
0
+
2
0
log'
1
0
sum
1
1
0
+
2
0
not
1
0
*
2
0
app
2
1
2
1
sum
nil
0
#
false
sum
cons
x
l
+
x
sum
l
false
sum
app
l1
l2
+
sum
l1
sum
l2
false
prod
app
l1
l2
prod
l2
prod
cons
x
l
prod
l
prod
app
l1
l2
prod
l1
true
0
1
0
1
1
0
mem
2
0
prod
1
0
prod
1
1
0
ifinter
4
0
eq
2
0
false
0
0
ge
2
0
mem
2
0
*
2
0
log
1
0
#
0
0
ifinter
4
0
true
0
0
eq
2
0
sum
1
0
not
1
0
log
1
0
0
1
0
if
3
0
ge
2
0
nil
0
0
log'
1
0
-
2
0
app
2
0
-
2
0
cons
2
2
1
if
3
0
inter
2
0
inter
2
0
+
2
0
log'
1
0
sum
1
0
+
2
0
not
1
0
*
2
0
app
2
1
2
1
prod
app
l1
l2
*
prod
l1
prod
l2
false
prod
cons
x
l
*
x
prod
l
false
-
0
x
1
y
-
x
y
-
1
x
1
y
-
x
y
-
0
x
1
y
-
-
x
y
1
#
-
0
x
0
y
-
x
y
-
1
x
0
y
-
x
y
true
0
1
0
1
1
1
20163
mem
2
0
prod
1
0
prod
1
0
ifinter
4
0
eq
2
0
false
0
0
ge
2
0
mem
2
0
*
2
0
log
1
0
#
0
0
ifinter
4
0
true
0
0
eq
2
0
sum
1
0
not
1
0
log
1
0
0
1
1
20164
if
3
0
ge
2
0
nil
0
0
log'
1
0
-
2
2
11293
app
2
0
-
2
2
0
cons
2
1
if
3
0
inter
2
0
inter
2
0
+
2
0
log'
1
0
sum
1
0
+
2
0
not
1
0
*
2
0
app
2
1
-
0
x
1
y
-
-
x
y
1
#
-
0
x
1
y
-
-
x
y
1
#
true
0
1
0
1
1
1
8946
mem
2
0
prod
1
0
prod
1
0
ifinter
4
0
eq
2
0
false
0
0
ge
2
0
mem
2
0
*
2
0
log
1
0
#
0
42207
ifinter
4
0
true
0
0
eq
2
0
sum
1
0
not
1
0
log
1
0
0
1
1
8946
if
3
0
ge
2
0
nil
0
0
log'
1
0
-
2
1
0
app
2
0
-
2
1
0
cons
2
1
if
3
0
inter
2
0
inter
2
0
+
2
0
log'
1
0
sum
1
0
+
2
0
not
1
0
*
2
0
app
2
1
0
#
#
-
x
#
x
-
1
x
1
y
0
-
x
y
-
0
x
1
y
1
-
-
x
y
1
#
-
0
x
0
y
0
-
x
y
-
#
x
#
-
1
x
0
y
1
-
x
y
-
0
x
0
y
0
-
x
y
false
-
1
x
1
y
0
-
x
y
false
log
x
log'
x
false
log'
0
x
log'
x
log'
1
x
log'
x
true
0
1
0
1
1
1
1
mem
2
0
prod
1
0
prod
1
0
ifinter
4
0
eq
2
0
false
0
0
ge
2
0
mem
2
0
*
2
0
log
1
0
#
0
30205
ifinter
4
0
true
0
0
eq
2
0
sum
1
0
not
1
0
log
1
0
0
1
1
1
if
3
0
ge
2
0
nil
0
0
log'
1
1
0
-
2
1
0
app
2
0
-
2
1
0
cons
2
1
if
3
0
inter
2
0
inter
2
0
+
2
0
log'
1
0
sum
1
0
+
2
0
not
1
0
*
2
0
app
2
1
0
#
#
-
x
#
x
-
1
x
1
y
0
-
x
y
-
0
x
1
y
1
-
-
x
y
1
#
-
0
x
0
y
0
-
x
y
-
#
x
#
-
1
x
0
y
1
-
x
y
log'
1
x
+
log'
x
1
#
false
log'
0
x
if
ge
x
1
#
+
log'
x
1
#
#
false
log'
0
x
ge
x
1
#
false
ge
1
x
1
y
ge
x
y
ge
0
x
0
y
ge
x
y
ge
1
x
0
y
ge
x
y
ge
0
x
1
y
ge
y
x
true
0
1
0
1
1
1
2241
mem
2
0
prod
1
0
prod
1
0
ifinter
4
0
eq
2
0
false
0
0
ge
2
1
2
0
mem
2
0
*
2
0
log
1
0
#
0
1
ifinter
4
0
true
0
0
eq
2
0
sum
1
0
not
1
0
log
1
0
0
1
1
2241
if
3
0
ge
2
0
nil
0
0
log'
1
0
-
2
1
0
app
2
0
-
2
1
0
cons
2
1
if
3
0
inter
2
0
inter
2
0
+
2
0
log'
1
0
sum
1
0
+
2
0
not
1
0
*
2
0
app
2
1
0
#
#
-
x
#
x
-
1
x
1
y
0
-
x
y
-
0
x
1
y
1
-
-
x
y
1
#
-
0
x
0
y
0
-
x
y
-
#
x
#
-
1
x
0
y
1
-
x
y
ge
0
x
1
y
not
ge
y
x
false
ge
#
0
x
ge
#
x
true
0
1
0
1
1
1
591
mem
2
0
prod
1
0
prod
1
0
ifinter
4
0
eq
2
0
false
0
0
ge
2
2
0
mem
2
0
*
2
0
log
1
0
#
0
3287
ifinter
4
0
true
0
0
eq
2
0
sum
1
0
not
1
0
log
1
0
0
1
1
591
if
3
0
ge
2
0
nil
0
0
log'
1
0
-
2
1
0
app
2
0
-
2
1
0
cons
2
1
if
3
0
inter
2
0
inter
2
0
+
2
0
log'
1
0
sum
1
0
+
2
0
not
1
0
*
2
0
app
2
1
0
#
#
-
x
#
x
-
1
x
1
y
0
-
x
y
-
0
x
1
y
1
-
-
x
y
1
#
-
0
x
0
y
0
-
x
y
-
#
x
#
-
1
x
0
y
1
-
x
y
log'
0
x
+
log'
x
1
#
false
inter
app
l1
l2
l3
inter
l1
l3
inter
cons
x
l1
l2
ifinter
mem
x
l2
x
l1
l2
ifinter
false
x
l1
l2
inter
l1
l2
inter
l1
cons
x
l2
ifinter
mem
x
l1
x
l2
l1
inter
app
l1
l2
l3
inter
l2
l3
ifinter
true
x
l1
l2
inter
l1
l2
inter
l1
app
l2
l3
inter
l1
l3
inter
l1
app
l2
l3
inter
l1
l2
true
0
1
0
1
1
1
23612
mem
2
1
2
0
prod
1
0
prod
1
0
ifinter
4
0
eq
2
1
1
false
0
23614
ge
2
0
mem
2
0
*
2
0
log
1
0
#
0
12618
ifinter
4
3
4
1
true
0
0
eq
2
0
sum
1
0
not
1
0
log
1
0
0
1
1
23612
if
3
0
ge
2
0
nil
0
23614
log'
1
0
-
2
1
0
app
2
0
-
2
1
0
cons
2
2
2
if
3
0
inter
2
0
inter
2
1
2
0
+
2
0
log'
1
0
sum
1
0
+
2
0
not
1
0
*
2
0
app
2
1
2
1
0
#
#
-
x
#
x
mem
x
nil
false
-
1
x
1
y
0
-
x
y
-
0
x
1
y
1
-
-
x
y
1
#
-
0
x
0
y
0
-
x
y
-
#
x
#
-
1
x
0
y
1
-
x
y
inter
cons
x
l1
l2
mem
x
l2
false
inter
l1
cons
x
l2
mem
x
l1
false
inter
l1
app
l2
l3
app
inter
l1
l2
inter
l1
l3
false
inter
app
l1
l2
l3
app
inter
l1
l3
inter
l2
l3
false
app
cons
x
l1
l2
app
l1
l2
true
0
1
0
1
1
1
23612
mem
2
1
2
0
prod
1
0
prod
1
0
ifinter
4
0
eq
2
1
1
false
0
23614
ge
2
0
mem
2
0
*
2
0
log
1
0
#
0
12618
ifinter
4
1
true
0
0
eq
2
0
sum
1
0
not
1
0
log
1
0
0
1
1
23612
if
3
0
ge
2
0
nil
0
23614
log'
1
0
-
2
1
0
app
2
1
0
-
2
1
0
cons
2
2
2
if
3
0
inter
2
0
inter
2
0
+
2
0
log'
1
0
sum
1
0
+
2
0
not
1
0
*
2
0
app
2
1
0
#
#
-
x
#
x
mem
x
nil
false
-
1
x
1
y
0
-
x
y
-
0
x
1
y
1
-
-
x
y
1
#
-
0
x
0
y
0
-
x
y
-
#
x
#
-
1
x
0
y
1
-
x
y
*
x
+
y
z
*
x
z
*
*
x
y
z
*
x
*
y
z
*
1
x
y
*
x
y
*
*
x
y
z
*
y
z
*
0
x
y
*
x
y
*
x
+
y
z
*
x
y
true
0
1
0
1
1
1
1
mem
2
1
2
0
prod
1
0
prod
1
0
ifinter
4
0
eq
2
1
1
false
0
3
ge
2
0
mem
2
0
*
2
1
0
log
1
0
#
0
1
ifinter
4
1
true
0
0
eq
2
0
sum
1
0
not
1
0
log
1
0
0
1
1
1
if
3
0
ge
2
0
nil
0
3
log'
1
0
-
2
1
0
app
2
0
-
2
1
0
cons
2
2
2
if
3
0
inter
2
0
inter
2
0
+
2
1
2
1
log'
1
0
sum
1
0
+
2
0
not
1
0
*
2
1
2
1
app
2
1
*
x
+
y
z
*
x
y
*
x
+
y
z
*
x
z
0
#
#
-
x
#
x
mem
x
nil
false
-
1
x
1
y
0
-
x
y
-
0
x
1
y
1
-
-
x
y
1
#
-
0
x
0
y
0
-
x
y
-
#
x
#
-
1
x
0
y
1
-
x
y
*
x
+
y
z
*
x
z
*
x
+
y
z
*
x
y
true
0
1
0
1
1
0
mem
2
0
prod
1
0
prod
1
0
ifinter
4
0
eq
2
0
false
0
0
ge
2
0
mem
2
0
*
2
2
7720
0
log
1
0
#
0
0
ifinter
4
0
true
0
0
eq
2
0
sum
1
0
not
1
0
log
1
0
0
1
0
if
3
0
ge
2
0
nil
0
0
log'
1
0
-
2
0
app
2
0
-
2
0
cons
2
0
if
3
0
inter
2
0
inter
2
0
+
2
1
39
2
0
0
log'
1
0
sum
1
0
+
2
0
not
1
0
*
2
0
app
2
0
*
x
+
y
z
*
x
z
*
x
+
y
z
*
x
z
true
0
1
0
1
1
0
mem
2
0
prod
1
0
prod
1
0
ifinter
4
0
eq
2
0
false
0
0
ge
2
0
mem
2
0
*
2
2
16575
0
log
1
0
#
0
0
ifinter
4
0
true
0
0
eq
2
0
sum
1
0
not
1
0
log
1
0
0
1
0
if
3
0
ge
2
0
nil
0
0
log'
1
0
-
2
0
app
2
0
-
2
0
cons
2
0
if
3
0
inter
2
0
inter
2
0
+
2
2
1
0
log'
1
0
sum
1
0
+
2
0
not
1
0
*
2
0
app
2
0
*
x
+
y
z
+
*
x
y
*
x
z
false
*
1
x
y
+
0
*
x
y
y
false
+
1
x
0
y
+
x
y
+
0
x
0
y
+
x
y
+
+
x
y
z
+
y
z
+
1
x
1
y
+
x
y
+
0
x
1
y
+
x
y
+
1
x
1
y
+
+
x
y
1
#
+
+
x
y
z
+
x
+
y
z
true
0
1
0
1
1
1
3
mem
2
1
2
0
prod
1
0
prod
1
0
ifinter
4
0
eq
2
1
1
false
0
5
ge
2
0
mem
2
0
*
2
0
log
1
0
#
0
1
ifinter
4
1
true
0
0
eq
2
0
sum
1
0
not
1
0
log
1
0
0
1
1
1
if
3
0
ge
2
0
nil
0
5
log'
1
0
-
2
1
37986
app
2
0
-
2
0
cons
2
2
18781
if
3
0
inter
2
0
inter
2
0
+
2
1
2
1
log'
1
0
sum
1
0
+
2
1
2
0
not
1
0
*
2
1
2
1
app
2
1
+
+
x
y
z
+
x
+
y
z
+
0
x
0
y
0
+
x
y
+
+
x
y
z
+
x
+
y
z
0
#
#
+
#
x
x
+
0
x
1
y
1
+
x
y
+
1
x
1
y
0
+
+
x
y
1
#
mem
x
nil
false
+
1
x
0
y
1
+
x
y
+
x
#
x
+
+
x
y
z
+
x
+
y
z
true
0
1
0
1
1
1
3
mem
2
1
2
0
prod
1
0
prod
1
0
ifinter
4
0
eq
2
1
1
false
0
5
ge
2
0
mem
2
0
*
2
0
log
1
0
#
0
1
ifinter
4
1
true
0
0
eq
2
0
sum
1
0
not
1
0
log
1
0
0
1
1
1
if
3
0
ge
2
0
nil
0
5
log'
1
0
-
2
1
1
app
2
0
-
2
0
cons
2
2
18781
if
3
0
inter
2
0
inter
2
0
+
2
1
2
1
log'
1
0
sum
1
0
+
2
1
0
not
1
0
*
2
1
2
1
app
2
1
+
0
x
0
y
0
+
x
y
+
+
x
y
z
+
x
+
y
z
0
#
#
+
#
x
x
+
0
x
1
y
1
+
x
y
+
1
x
1
y
0
+
+
x
y
1
#
mem
x
nil
false
+
1
x
0
y
1
+
x
y
+
x
#
x
+
1
x
1
y
0
+
+
x
y
1
#
false
+
0
x
0
y
0
+
x
y
false
*
1
x
y
0
*
x
y
false
*
0
x
y
0
*
x
y
false
mem
x
cons
y
l
mem
x
l
true
0
1
0
1
1
1
3
mem
2
1
2
0
prod
1
0
prod
1
0
ifinter
4
0
eq
2
1
1
false
0
5
ge
2
0
mem
2
2
0
*
2
0
log
1
0
#
0
1
ifinter
4
1
true
0
0
eq
2
0
sum
1
0
not
1
0
log
1
0
0
1
1
1
if
3
0
ge
2
0
nil
0
5
log'
1
0
-
2
1
1
app
2
0
-
2
0
cons
2
2
18781
if
3
0
inter
2
0
inter
2
0
+
2
1
2
1
log'
1
0
sum
1
0
+
2
1
0
not
1
0
*
2
1
2
14972
app
2
1
+
0
x
0
y
0
+
x
y
+
+
x
y
z
+
x
+
y
z
0
#
#
+
#
x
x
+
0
x
1
y
1
+
x
y
+
1
x
1
y
0
+
+
x
y
1
#
mem
x
nil
false
+
1
x
0
y
1
+
x
y
+
x
#
x
mem
x
cons
y
l
if
eq
x
y
true
mem
x
l
false
mem
x
cons
y
l
eq
x
y
false
eq
1
x
1
y
eq
x
y
eq
0
x
0
y
eq
x
y
true
0
1
0
1
1
1
3
mem
2
1
2
0
prod
1
0
prod
1
0
ifinter
4
0
eq
2
1
1
false
0
5
ge
2
0
mem
2
0
*
2
0
log
1
0
#
0
1
ifinter
4
1
true
0
0
eq
2
1
0
sum
1
0
not
1
0
log
1
0
0
1
1
1
if
3
0
ge
2
0
nil
0
5
log'
1
0
-
2
1
1
app
2
0
-
2
0
cons
2
2
18781
if
3
0
inter
2
0
inter
2
0
+
2
1
2
1
log'
1
0
sum
1
0
+
2
1
0
not
1
0
*
2
1
2
1
app
2
1
+
0
x
0
y
0
+
x
y
+
+
x
y
z
+
x
+
y
z
0
#
#
+
#
x
x
+
0
x
1
y
1
+
x
y
+
1
x
1
y
0
+
+
x
y
1
#
mem
x
nil
false
+
1
x
0
y
1
+
x
y
+
x
#
x
eq
0
x
#
eq
x
#
true
0
1
0
1
1
1
3
mem
2
1
2
0
prod
1
0
prod
1
0
ifinter
4
0
eq
2
1
1
false
0
5
ge
2
0
mem
2
0
*
2
0
log
1
0
#
0
1
ifinter
4
1
true
0
0
eq
2
1
0
sum
1
0
not
1
0
log
1
0
0
1
1
1
if
3
0
ge
2
0
nil
0
5
log'
1
0
-
2
1
1
app
2
0
-
2
0
cons
2
2
18781
if
3
0
inter
2
0
inter
2
0
+
2
1
2
1
log'
1
0
sum
1
0
+
2
1
0
not
1
0
*
2
1
2
36998
app
2
1
+
0
x
0
y
0
+
x
y
+
+
x
y
z
+
x
+
y
z
0
#
#
+
#
x
x
+
0
x
1
y
1
+
x
y
+
1
x
1
y
0
+
+
x
y
1
#
mem
x
nil
false
+
1
x
0
y
1
+
x
y
+
x
#
x
eq
#
0
y
eq
#
y
true
0
1
0
1
1
1
3
mem
2
1
2
0
prod
1
0
prod
1
0
ifinter
4
0
eq
2
1
1
false
0
5
ge
2
0
mem
2
0
*
2
0
log
1
0
#
0
1
ifinter
4
1
true
0
0
eq
2
2
0
sum
1
0
not
1
0
log
1
0
0
1
1
1
if
3
0
ge
2
0
nil
0
5
log'
1
0
-
2
1
1
app
2
0
-
2
0
cons
2
2
18781
if
3
0
inter
2
0
inter
2
0
+
2
1
2
1
log'
1
0
sum
1
0
+
2
1
0
not
1
0
*
2
1
2
1
app
2
1
+
0
x
0
y
0
+
x
y
+
+
x
y
z
+
x
+
y
z
0
#
#
+
#
x
x
+
0
x
1
y
1
+
x
y
+
1
x
1
y
0
+
+
x
y
1
#
mem
x
nil
false
+
1
x
0
y
1
+
x
y
+
x
#
x
NaTT
certifiable-1.6