minus_active
0
y
0
mark
0
0
minus_active
s
x
s
y
minus_active
x
y
mark
s
x
s
mark
x
ge_active
x
0
true
mark
minus
x
y
minus_active
x
y
ge_active
0
s
y
false
mark
ge
x
y
ge_active
x
y
ge_active
s
x
s
y
ge_active
x
y
mark
div
x
y
div_active
mark
x
y
div_active
0
s
y
0
mark
if
x
y
z
if_active
mark
x
y
z
div_active
s
x
s
y
if_active
ge_active
x
y
s
div
minus
x
y
s
y
0
if_active
true
x
y
mark
x
minus_active
x
y
minus
x
y
if_active
false
x
y
mark
y
ge_active
x
y
ge
x
y
if_active
x
y
z
if
x
y
z
div_active
x
y
div
x
y
2.2
div_active
s
x
s
y
if_active
ge_active
x
y
s
div
minus
x
y
s
y
0
mark
if
x
y
z
mark
x
mark
s
x
mark
x
mark
div
x
y
mark
x
minus_active
s
x
s
y
minus_active
x
y
mark
ge
x
y
ge_active
x
y
if_active
true
x
y
mark
x
if_active
false
x
y
mark
y
mark
if
x
y
z
if_active
mark
x
y
z
div_active
s
x
s
y
ge_active
x
y
mark
minus
x
y
minus_active
x
y
mark
div
x
y
div_active
mark
x
y
ge_active
s
x
s
y
ge_active
x
y
true
mark
div
x
y
div_active
mark
x
y
mark
div
x
y
mark
x
mark
s
x
mark
x
mark
if
x
y
z
mark
x
mark
if
x
y
z
if_active
mark
x
y
z
if_active
false
x
y
mark
y
if_active
true
x
y
mark
x
div_active
s
x
s
y
if_active
ge_active
x
y
s
div
minus
x
y
s
y
0
true
s
1
1
1
minus
2
0
false
0
0
div
2
1
2
41065
ge_active
2
0
true
0
0
minus_active
2
0
mark
1
1
0
0
0
0
if
3
1
2
3
0
ge
2
0
ge_active
2
0
mark
1
1
0
if_active
3
1
2
3
0
minus_active
2
0
if_active
3
2
3
0
div_active
2
1
2
41065
div_active
2
1
2
41065
div_active
s
x
s
y
if_active
ge_active
x
y
s
div
minus
x
y
s
y
0
if_active
true
x
y
mark
x
if_active
false
x
y
mark
y
mark
if
x
y
z
if_active
mark
x
y
z
mark
if
x
y
z
mark
x
mark
div
x
y
div_active
mark
x
y
if_active
x
y
z
if
x
y
z
mark
s
x
s
mark
x
minus_active
x
y
minus
x
y
mark
ge
x
y
ge_active
x
y
minus_active
0
y
0
minus_active
s
x
s
y
minus_active
x
y
if_active
false
x
y
mark
y
div_active
x
y
div
x
y
ge_active
x
y
ge
x
y
ge_active
x
0
true
mark
div
x
y
div_active
mark
x
y
ge_active
0
s
y
false
if_active
true
x
y
mark
x
mark
if
x
y
z
if_active
mark
x
y
z
div_active
0
s
y
0
ge_active
s
x
s
y
ge_active
x
y
div_active
s
x
s
y
if_active
ge_active
x
y
s
div
minus
x
y
s
y
0
mark
minus
x
y
minus_active
x
y
mark
0
0
if_active
false
x
y
mark
y
mark
div
x
y
div_active
mark
x
y
if_active
true
x
y
mark
x
mark
if
x
y
z
mark
x
mark
if
x
y
z
if_active
mark
x
y
z
div_active
s
x
s
y
if_active
ge_active
x
y
s
div
minus
x
y
s
y
0
true
s
1
1
minus
2
0
false
0
1
div
2
1
4
ge_active
2
1
true
0
0
minus_active
2
0
mark
1
1
0
0
0
0
if
3
1
2
3
2
ge
2
0
ge_active
2
0
mark
1
1
1
if_active
3
1
2
3
2
minus_active
2
0
if_active
3
2
3
1
div_active
2
1
4
div_active
2
1
2
if_active
x
y
z
if
x
y
z
mark
s
x
s
mark
x
minus_active
x
y
minus
x
y
mark
ge
x
y
ge_active
x
y
minus_active
0
y
0
minus_active
s
x
s
y
minus_active
x
y
if_active
false
x
y
mark
y
div_active
x
y
div
x
y
ge_active
x
y
ge
x
y
ge_active
x
0
true
mark
div
x
y
div_active
mark
x
y
ge_active
0
s
y
false
if_active
true
x
y
mark
x
mark
if
x
y
z
if_active
mark
x
y
z
div_active
0
s
y
0
ge_active
s
x
s
y
ge_active
x
y
div_active
s
x
s
y
if_active
ge_active
x
y
s
div
minus
x
y
s
y
0
mark
minus
x
y
minus_active
x
y
mark
0
0
mark
minus
x
y
minus_active
x
y
false
minus_active
s
x
s
y
minus_active
x
y
true
s
1
1
2
minus
2
0
false
0
1
div
2
1
28938
ge_active
2
6991
true
0
1
minus_active
2
1
0
mark
1
0
0
0
0
if
3
2
3
0
ge
2
6991
ge_active
2
0
mark
1
1
0
if_active
3
2
3
0
minus_active
2
0
if_active
3
1
div_active
2
1
28938
div_active
2
1
2
if_active
x
y
z
if
x
y
z
mark
s
x
s
mark
x
minus_active
x
y
minus
x
y
mark
ge
x
y
ge_active
x
y
minus_active
0
y
0
minus_active
s
x
s
y
minus_active
x
y
if_active
false
x
y
mark
y
div_active
x
y
div
x
y
ge_active
x
y
ge
x
y
ge_active
x
0
true
mark
div
x
y
div_active
mark
x
y
ge_active
0
s
y
false
if_active
true
x
y
mark
x
mark
if
x
y
z
if_active
mark
x
y
z
div_active
0
s
y
0
ge_active
s
x
s
y
ge_active
x
y
div_active
s
x
s
y
if_active
ge_active
x
y
s
div
minus
x
y
s
y
0
mark
minus
x
y
minus_active
x
y
mark
0
0
div_active
s
x
s
y
ge_active
x
y
false
mark
ge
x
y
ge_active
x
y
false
ge_active
s
x
s
y
ge_active
x
y
true
s
1
1
1
minus
2
0
false
0
11575
div
2
1
54921
ge_active
2
11575
true
0
1
minus_active
2
0
mark
1
0
0
0
0
if
3
2
3
0
ge
2
11575
ge_active
2
1
2
0
mark
1
1
0
if_active
3
2
3
0
minus_active
2
0
if_active
3
1
div_active
2
1
54921
div_active
2
1
2
if_active
x
y
z
if
x
y
z
mark
s
x
s
mark
x
minus_active
x
y
minus
x
y
mark
ge
x
y
ge_active
x
y
minus_active
0
y
0
minus_active
s
x
s
y
minus_active
x
y
if_active
false
x
y
mark
y
div_active
x
y
div
x
y
ge_active
x
y
ge
x
y
ge_active
x
0
true
mark
div
x
y
div_active
mark
x
y
ge_active
0
s
y
false
if_active
true
x
y
mark
x
mark
if
x
y
z
if_active
mark
x
y
z
div_active
0
s
y
0
ge_active
s
x
s
y
ge_active
x
y
div_active
s
x
s
y
if_active
ge_active
x
y
s
div
minus
x
y
s
y
0
mark
minus
x
y
minus_active
x
y
mark
0
0
NaTT
certifiable-1.6