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
y
gcd
s
x
s
y
gcd
minus
max
x
y
min
x
transform
y
s
min
x
y
transform
x
s
s
x
transform
cons
x
y
cons
cons
x
x
x
transform
cons
x
y
y
transform
s
x
s
s
transform
x
cons
x
y
y
cons
x
cons
y
s
z
cons
y
x
cons
cons
x
z
s
y
transform
x
2.2
transform
s
x
transform
x
gcd
s
x
s
y
min
x
transform
y
minus
s
x
s
y
minus
x
y
transform
cons
x
y
cons
cons
x
x
x
cons
cons
x
z
s
y
transform
x
min
s
x
s
y
min
x
y
cons
x
cons
y
s
z
cons
y
x
gcd
s
x
s
y
transform
y
transform
cons
x
y
cons
x
x
gcd
s
x
s
y
max
x
y
gcd
s
x
s
y
gcd
minus
max
x
y
min
x
transform
y
s
min
x
y
max
s
x
s
y
max
x
y
gcd
s
x
s
y
min
x
y
gcd
s
x
s
y
minus
max
x
y
min
x
transform
y
true
gcd
s
x
s
y
gcd
minus
max
x
y
min
x
transform
y
s
min
x
y
true
cons
2
0
s
1
1
64571
minus
2
1
1
2
58716
0
gcd
2
0
min
2
0
transform
1
0
0
0
5854
transform
1
64573
max
2
1
58715
2
58713
0
max
2
0
minus
2
0
min
2
1
5854
0
cons
2
2
1
0
gcd
2
1
5857
2
1
0
max
x
0
x
minus
s
x
s
y
s
minus
x
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
transform
y
false
gcd
s
x
s
y
min
x
y
false
minus
s
x
s
y
minus
x
y
true
cons
2
0
s
1
1
3
minus
2
1
gcd
2
0
min
2
0
transform
1
0
0
0
52869
transform
1
5
max
2
1
2
36336
max
2
0
minus
2
2
0
min
2
52868
cons
2
2
1
gcd
2
0
gcd
s
x
s
y
min
x
transform
y
false
min
s
x
s
y
min
x
y
true
cons
2
0
s
1
1
3
minus
2
1
gcd
2
0
min
2
2
0
transform
1
0
0
0
2
transform
1
5
max
2
1
2
36336
max
2
0
minus
2
0
min
2
1
cons
2
2
1
gcd
2
0
gcd
s
x
s
y
max
x
y
false
max
s
x
s
y
max
x
y
true
cons
2
0
s
1
1
3
minus
2
1
gcd
2
0
min
2
0
transform
1
0
0
0
2
transform
1
5
max
2
1
2
42004
max
2
1
2
0
minus
2
0
min
2
1
cons
2
2
1
gcd
2
0
gcd
s
x
s
y
transform
y
false
cons
x
cons
y
s
z
cons
y
x
cons
cons
x
z
s
y
transform
x
transform
cons
x
y
cons
cons
x
x
x
transform
cons
x
y
cons
x
x
transform
s
x
transform
x
true
cons
2
1
40118
2
18458
0
s
1
1
0
minus
2
1
46883
2
46884
0
gcd
2
0
min
2
0
transform
1
1
61776
0
0
1
transform
1
1
64976
max
2
1
31893
2
1
0
max
2
0
minus
2
0
min
2
1
1
0
cons
2
1
43316
2
21659
0
gcd
2
1
5857
2
1
0
transform
s
x
transform
x
max
x
0
x
cons
x
cons
y
s
z
cons
y
x
minus
s
x
s
y
s
minus
x
y
min
x
0
0
min
s
x
s
y
s
min
x
y
cons
cons
x
z
s
y
transform
x
max
0
y
y
transform
x
s
s
x
minus
x
0
x
cons
x
y
y
transform
cons
x
y
y
transform
cons
x
y
cons
cons
x
x
x
transform
s
x
s
s
transform
x
max
s
x
s
y
s
max
x
y
min
0
y
0
transform
s
x
transform
x
true
cons
2
0
s
1
1
3
minus
2
1
gcd
2
0
min
2
0
transform
1
1
1
0
0
2
transform
1
4
max
2
1
2
38145
max
2
0
minus
2
0
min
2
1
cons
2
2
gcd
2
0
NaTT
certifiable-1.6