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
false
true
not
true
false
and
x
true
x
and
x
false
false
if
true
x
y
x
if
false
x
y
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
#
1
x
false
ge
#
0
x
ge
#
x
val
l
x
x
val
n
x
y
z
x
min
l
x
x
min
n
x
y
z
min
y
max
l
x
x
max
n
x
y
z
max
z
bs
l
x
true
bs
n
x
y
z
and
and
ge
x
max
y
ge
min
z
x
and
bs
y
bs
z
size
l
x
1
#
size
n
x
y
z
+
+
size
x
size
y
1
#
wb
l
x
true
wb
n
x
y
z
and
if
ge
size
y
size
z
ge
1
#
-
size
y
size
z
ge
1
#
-
size
z
size
y
and
wb
y
wb
z
2.2
bs
n
x
y
z
and
ge
x
max
y
ge
min
z
x
wb
n
x
y
z
wb
z
wb
n
x
y
z
if
ge
size
y
size
z
ge
1
#
-
size
y
size
z
ge
1
#
-
size
z
size
y
wb
n
x
y
z
size
y
ge
0
x
1
y
not
ge
y
x
wb
n
x
y
z
wb
y
wb
n
x
y
z
and
wb
y
wb
z
wb
n
x
y
z
ge
1
#
-
size
z
size
y
ge
0
x
1
y
ge
y
x
+
0
x
0
y
+
x
y
ge
#
0
x
ge
#
x
wb
n
x
y
z
-
size
z
size
y
bs
n
x
y
z
min
z
wb
n
x
y
z
size
y
+
x
+
y
z
+
x
y
size
n
x
y
z
size
y
bs
n
x
y
z
bs
z
size
n
x
y
z
+
size
x
size
y
-
1
x
1
y
-
x
y
-
1
x
1
y
0
-
x
y
+
0
x
1
y
+
x
y
size
n
x
y
z
size
x
wb
n
x
y
z
size
y
+
1
x
0
y
+
x
y
wb
n
x
y
z
ge
size
y
size
z
+
0
x
0
y
0
+
x
y
ge
0
x
0
y
ge
x
y
+
1
x
1
y
0
+
+
x
y
1
#
-
0
x
1
y
-
-
x
y
1
#
bs
n
x
y
z
and
bs
y
bs
z
wb
n
x
y
z
size
z
size
n
x
y
z
+
+
size
x
size
y
1
#
wb
n
x
y
z
ge
1
#
-
size
y
size
z
bs
n
x
y
z
ge
min
z
x
max
n
x
y
z
max
z
wb
n
x
y
z
and
if
ge
size
y
size
z
ge
1
#
-
size
y
size
z
ge
1
#
-
size
z
size
y
and
wb
y
wb
z
min
n
x
y
z
min
y
wb
n
x
y
z
-
size
y
size
z
+
1
x
1
y
+
x
y
-
0
x
0
y
-
x
y
wb
n
x
y
z
size
z
ge
1
x
0
y
ge
x
y
+
1
x
1
y
+
+
x
y
1
#
wb
n
x
y
z
size
z
-
0
x
1
y
-
x
y
-
0
x
0
y
0
-
x
y
bs
n
x
y
z
ge
x
max
y
bs
n
x
y
z
and
and
ge
x
max
y
ge
min
z
x
and
bs
y
bs
z
bs
n
x
y
z
bs
y
-
1
x
0
y
-
x
y
bs
n
x
y
z
max
y
+
x
+
y
z
+
+
x
y
z
ge
1
x
1
y
ge
x
y
true
bs
n
x
y
z
bs
y
bs
n
x
y
z
bs
z
true
val
1
0
0
1
0
1
1
0
n
3
2
3
1
and
2
0
false
0
0
min
1
0
l
1
0
ge
2
0
#
0
0
wb
1
0
true
0
0
not
1
0
size
1
0
0
1
0
if
3
0
ge
2
0
max
1
0
max
1
0
-
2
0
bs
1
0
bs
1
1
0
min
1
0
val
1
0
-
2
0
if
3
0
+
2
0
wb
1
0
+
2
0
and
2
0
not
1
0
size
1
0
bs
n
x
y
z
and
and
ge
x
max
y
ge
min
z
x
and
bs
y
bs
z
false
bs
n
x
y
z
ge
x
max
y
false
bs
n
x
y
z
max
y
false
bs
n
x
y
z
min
z
false
min
n
x
y
z
min
y
true
val
1
0
0
1
0
1
1
0
n
3
2
1
and
2
0
false
0
0
min
1
1
0
l
1
0
ge
2
0
#
0
0
wb
1
0
true
0
0
not
1
0
size
1
0
0
1
0
if
3
0
ge
2
0
max
1
0
max
1
0
-
2
0
bs
1
0
bs
1
0
min
1
0
val
1
0
-
2
0
if
3
0
+
2
0
wb
1
0
+
2
0
and
2
0
not
1
0
size
1
0
max
n
x
y
z
max
z
true
val
1
0
0
1
0
1
1
0
n
3
3
1
and
2
0
false
0
0
min
1
0
l
1
0
ge
2
0
#
0
0
wb
1
0
true
0
0
not
1
0
size
1
0
0
1
0
if
3
0
ge
2
0
max
1
0
max
1
1
0
-
2
0
bs
1
0
bs
1
0
min
1
0
val
1
0
-
2
0
if
3
0
+
2
0
wb
1
0
+
2
0
and
2
0
not
1
0
size
1
0
bs
n
x
y
z
ge
min
z
x
false
bs
n
x
y
z
and
bs
y
bs
z
false
wb
n
x
y
z
wb
y
wb
n
x
y
z
wb
z
true
val
1
0
0
1
0
1
1
0
n
3
2
3
1
and
2
0
false
0
0
min
1
0
l
1
0
ge
2
0
#
0
0
wb
1
0
true
0
0
not
1
0
size
1
0
0
1
0
if
3
0
ge
2
0
max
1
0
max
1
0
-
2
0
bs
1
0
bs
1
0
min
1
0
val
1
0
-
2
0
if
3
0
+
2
0
wb
1
1
0
+
2
0
and
2
0
not
1
0
size
1
0
wb
n
x
y
z
and
if
ge
size
y
size
z
ge
1
#
-
size
y
size
z
ge
1
#
-
size
z
size
y
and
wb
y
wb
z
false
wb
n
x
y
z
if
ge
size
y
size
z
ge
1
#
-
size
y
size
z
ge
1
#
-
size
z
size
y
false
wb
n
x
y
z
ge
size
y
size
z
false
wb
n
x
y
z
size
y
false
wb
n
x
y
z
size
z
false
wb
n
x
y
z
ge
1
#
-
size
y
size
z
false
wb
n
x
y
z
-
size
y
size
z
false
wb
n
x
y
z
size
y
false
wb
n
x
y
z
size
z
false
wb
n
x
y
z
ge
1
#
-
size
z
size
y
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
val
1
0
0
1
0
1
1
1
1
n
3
1
and
2
0
false
0
0
min
1
0
l
1
0
ge
2
1
2
0
#
0
0
wb
1
0
true
0
0
not
1
0
size
1
0
0
1
1
23676
if
3
0
ge
2
0
max
1
0
max
1
0
-
2
0
bs
1
0
bs
1
0
min
1
0
val
1
0
-
2
0
if
3
0
+
2
0
wb
1
0
+
2
0
and
2
0
not
1
0
size
1
0
ge
0
x
1
y
not
ge
y
x
false
ge
#
0
x
ge
#
x
true
val
1
0
0
1
0
1
1
1
n
3
1
and
2
0
false
0
0
min
1
0
l
1
0
ge
2
2
0
#
0
0
wb
1
0
true
0
0
not
1
0
size
1
0
0
1
1
23676
if
3
0
ge
2
0
max
1
0
max
1
0
-
2
0
bs
1
0
bs
1
0
min
1
0
val
1
0
-
2
0
if
3
0
+
2
0
wb
1
0
+
2
0
and
2
0
not
1
0
size
1
0
wb
n
x
y
z
-
size
z
size
y
false
wb
n
x
y
z
size
z
false
wb
n
x
y
z
size
y
false
size
n
x
y
z
size
x
size
n
x
y
z
size
y
true
val
1
0
0
1
0
1
1
1
n
3
1
2
1
and
2
0
false
0
0
min
1
0
l
1
0
ge
2
0
#
0
0
wb
1
0
true
0
0
not
1
0
size
1
1
0
0
1
23676
if
3
0
ge
2
0
max
1
0
max
1
0
-
2
0
bs
1
0
bs
1
0
min
1
0
val
1
0
-
2
0
if
3
0
+
2
0
wb
1
0
+
2
0
and
2
0
not
1
0
size
1
0
size
n
x
y
z
+
+
size
x
size
y
1
#
false
size
n
x
y
z
+
size
x
size
y
false
+
x
+
y
z
+
+
x
y
z
+
1
x
0
y
+
x
y
+
0
x
1
y
+
x
y
+
1
x
1
y
+
+
x
y
1
#
+
x
+
y
z
+
x
y
+
1
x
1
y
+
x
y
+
0
x
0
y
+
x
y
true
val
1
0
0
1
0
1
1
1
1
n
3
1
and
2
0
false
0
0
min
1
0
l
1
0
ge
2
0
#
0
0
wb
1
0
true
0
0
not
1
0
size
1
0
0
1
1
11798
if
3
0
ge
2
0
max
1
0
max
1
0
-
2
0
bs
1
0
bs
1
0
min
1
0
val
1
0
-
2
0
if
3
0
+
2
1
2
1
wb
1
0
+
2
2
0
and
2
0
not
1
0
size
1
0
+
1
x
1
y
+
+
x
y
1
#
+
1
x
1
y
+
+
x
y
1
#
true
val
1
0
0
1
0
1
1
1
33955
n
3
1
and
2
0
false
0
0
min
1
0
l
1
0
ge
2
0
#
0
0
wb
1
0
true
0
0
not
1
0
size
1
0
0
1
1
1
if
3
0
ge
2
0
max
1
0
max
1
0
-
2
0
bs
1
0
bs
1
0
min
1
0
val
1
0
-
2
0
if
3
0
+
2
1
2
33954
wb
1
0
+
2
1
2
0
and
2
0
not
1
0
size
1
0
+
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
#
+
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
wb
n
x
y
z
and
wb
y
wb
z
false
bs
n
x
y
z
and
ge
x
max
y
ge
min
z
x
false
-
1
x
0
y
-
x
y
-
1
x
1
y
-
x
y
-
0
x
1
y
-
x
y
-
0
x
0
y
-
x
y
-
0
x
1
y
-
-
x
y
1
#
true
val
1
0
0
1
0
1
1
1
2
n
3
1
and
2
0
false
0
0
min
1
0
l
1
0
ge
2
0
#
0
1
wb
1
0
true
0
0
not
1
0
size
1
0
0
1
1
4
if
3
0
ge
2
0
max
1
0
max
1
0
-
2
1
2
1
bs
1
0
bs
1
0
min
1
0
val
1
0
-
2
1
2
0
if
3
0
+
2
35657
wb
1
0
+
2
0
and
2
0
not
1
0
size
1
0
0
#
#
-
#
x
#
-
1
x
1
y
0
-
x
y
-
0
x
1
y
1
-
-
x
y
1
#
-
0
x
0
y
0
-
x
y
-
x
#
x
-
1
x
0
y
1
-
x
y
-
0
x
0
y
0
-
x
y
false
-
1
x
1
y
0
-
x
y
false
NaTT
certifiable-1.6