min
x
0
0
min
0
y
0
min
s
x
s
y
s
min
x
y
max
x
0
x
max
0
y
y
max
s
x
s
y
s
max
x
y
-
x
0
x
-
s
x
s
y
-
x
y
gcd
s
x
0
s
x
gcd
0
s
x
s
x
gcd
s
x
s
y
gcd
-
max
x
y
min
x
y
s
min
x
y
2.2
gcd
s
x
s
y
gcd
-
max
x
y
min
x
y
s
min
x
y
gcd
s
x
s
y
min
x
y
min
s
x
s
y
min
x
y
gcd
s
x
s
y
min
x
y
gcd
s
x
s
y
-
max
x
y
min
x
y
max
s
x
s
y
max
x
y
-
s
x
s
y
-
x
y
gcd
s
x
s
y
max
x
y
true
gcd
s
x
s
y
gcd
-
max
x
y
min
x
y
s
min
x
y
true
s
1
1
35544
gcd
2
0
min
2
0
0
0
1
max
2
1
1
2
2
0
max
2
0
-
2
1
34723
2
251
0
min
2
1
817
0
-
2
0
gcd
2
1
818
2
0
0
max
x
0
x
-
s
x
s
y
-
x
y
min
x
0
0
min
s
x
s
y
s
min
x
y
max
0
y
y
-
x
0
x
max
s
x
s
y
s
max
x
y
min
0
y
0
gcd
s
x
s
y
-
max
x
y
min
x
y
false
-
s
x
s
y
-
x
y
true
s
1
1
1
gcd
2
0
min
2
0
0
0
35232
max
2
15922
max
2
0
-
2
0
min
2
35231
-
2
1
0
gcd
2
0
gcd
s
x
s
y
max
x
y
false
max
s
x
s
y
max
x
y
true
s
1
1
1
gcd
2
0
min
2
0
0
0
35232
max
2
52868
max
2
2
0
-
2
0
min
2
35231
-
2
0
gcd
2
0
gcd
s
x
s
y
min
x
y
false
gcd
s
x
s
y
min
x
y
false
min
s
x
s
y
min
x
y
true
s
1
1
1
gcd
2
0
min
2
2
0
0
0
35232
max
2
44364
max
2
0
-
2
0
min
2
35231
-
2
0
gcd
2
0
NaTT
certifiable-1.6