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
minus
x
0
x
minus
s
x
s
y
s
minus
x
any
y
gcd
s
x
s
y
gcd
minus
max
x
y
min
x
y
s
min
x
y
any
s
x
s
s
any
x
any
x
x
2.2
gcd
s
x
s
y
gcd
minus
max
x
y
min
x
y
s
min
x
y
gcd
s
x
s
y
min
x
y
minus
s
x
s
y
minus
x
any
y
any
s
x
any
x
minus
s
x
s
y
any
y
gcd
s
x
s
y
min
x
y
gcd
s
x
s
y
minus
max
x
y
min
x
y
max
s
x
s
y
max
x
y
min
s
x
s
y
min
x
y
gcd
s
x
s
y
max
x
y
true
gcd
s
x
s
y
gcd
minus
max
x
y
min
x
y
s
min
x
y
true
s
1
1
30911
minus
2
1
1
0
gcd
2
0
any
1
44022
min
2
0
any
1
0
0
0
1
max
2
1
10088
2
10089
0
max
2
0
minus
2
0
min
2
1
20819
0
gcd
2
1
20820
2
0
0
max
x
0
x
minus
s
x
s
y
s
minus
x
any
y
min
x
0
0
min
s
x
s
y
s
min
x
y
max
0
y
y
minus
x
0
x
max
s
x
s
y
s
max
x
y
min
0
y
0
gcd
s
x
s
y
minus
max
x
y
min
x
y
false
minus
s
x
s
y
minus
x
any
y
true
s
1
1
1
minus
2
1
34725
gcd
2
0
any
1
28882
min
2
0
any
1
0
0
0
10317
max
2
3081
max
2
0
minus
2
1
0
min
2
10316
gcd
2
0
minus
s
x
s
y
any
y
false
any
s
x
any
x
true
s
1
1
1
minus
2
1
34725
gcd
2
0
any
1
40519
min
2
0
any
1
1
0
0
0
10317
max
2
33855
max
2
0
minus
2
0
min
2
10316
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
minus
2
1
49485
gcd
2
0
any
1
27463
min
2
0
any
1
0
0
0
10317
max
2
40436
max
2
2
0
minus
2
0
min
2
10316
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
minus
2
1
41684
gcd
2
0
any
1
17067
min
2
1
0
any
1
0
0
0
21136
max
2
40436
max
2
0
minus
2
0
min
2
21135
gcd
2
0
NaTT
certifiable-1.6