r0
0
x1
0
r0
x1
r0
1
x1
1
r0
x1
r0
m
x1
m
r0
x1
r1
0
x1
0
r1
x1
r1
1
x1
1
r1
x1
r1
m
x1
m
r1
x1
r0
b
x1
qr
0
b
x1
r1
b
x1
qr
1
b
x1
0
qr
x1
qr
0
x1
1
qr
x1
qr
1
x1
m
qr
x1
ql
m
x1
0
ql
x1
ql
0
x1
1
ql
x1
ql
1
x1
b
ql
0
x1
0
b
r0
x1
b
ql
1
x1
1
b
r1
x1
2.2
r0
1
x1
r0
x1
0
qr
x1
0
x1
1
qr
x1
1
x1
b
ql
0
x1
0
b
r0
x1
b
ql
0
x1
r0
x1
r1
0
x1
0
r1
x1
b
ql
1
x1
r1
x1
r0
b
x1
0
b
x1
r1
1
x1
1
r1
x1
r1
0
x1
r1
x1
r1
b
x1
1
b
x1
m
qr
x1
m
x1
b
ql
0
x1
b
r0
x1
1
ql
x1
1
x1
b
ql
1
x1
b
r1
x1
r0
m
x1
r0
x1
r0
0
x1
r0
x1
b
ql
1
x1
1
b
r1
x1
r0
m
x1
m
r0
x1
r1
m
x1
m
r1
x1
r0
1
x1
1
r0
x1
0
ql
x1
0
x1
r1
1
x1
r1
x1
r1
m
x1
r1
x1
r0
0
x1
0
r0
x1
true
b
ql
1
x1
b
r1
x1
b
ql
0
x1
b
r0
x1
true
0
1
0
1
1
1
2
b
1
1
1
r0
1
1
1
0
1
1
2
ql
1
1
0
r1
1
0
r1
1
1
1
r0
1
0
m
1
0
1
1
0
b
1
1
0
qr
1
1
m
1
1
r1
0
x1
0
r1
x1
r1
b
x1
qr
1
b
x1
r0
0
x1
0
r0
x1
r0
m
x1
m
r0
x1
r1
1
x1
1
r1
x1
1
qr
x1
qr
1
x1
r0
b
x1
qr
0
b
x1
0
ql
x1
ql
0
x1
m
qr
x1
ql
m
x1
0
qr
x1
qr
0
x1
1
ql
x1
ql
1
x1
r1
m
x1
m
r1
x1
r0
1
x1
1
r0
x1
b
ql
0
x1
0
b
r0
x1
false
b
ql
0
x1
r0
x1
false
b
ql
1
x1
1
b
r1
x1
false
b
ql
1
x1
r1
x1
false
r1
0
x1
r1
x1
r1
m
x1
r1
x1
r1
1
x1
r1
x1
true
0
1
0
1
1
1
1
b
1
1
r0
1
1
37046
0
1
1
1
ql
1
1
0
r1
1
1
0
r1
1
1
21680
r0
1
0
m
1
0
1
1
0
b
1
0
qr
1
15922
m
1
1
1
r1
b
x1
qr
1
b
x1
1
qr
x1
qr
1
x1
r0
b
x1
qr
0
b
x1
0
ql
x1
ql
0
x1
0
qr
x1
qr
0
x1
1
ql
x1
ql
1
x1
r1
m
x1
m
r1
x1
false
r1
1
x1
1
r1
x1
false
r1
0
x1
0
r1
x1
false
r0
0
x1
r0
x1
r0
m
x1
r0
x1
r0
1
x1
r0
x1
true
0
1
0
1
1
1
1
b
1
1
r0
1
1
33138
0
1
1
20977
ql
1
1
0
r1
1
0
r1
1
1
57798
r0
1
1
0
m
1
0
1
1
0
b
1
0
qr
1
1324
m
1
1
1
r1
b
x1
qr
1
b
x1
1
qr
x1
qr
1
x1
r0
b
x1
qr
0
b
x1
0
ql
x1
ql
0
x1
0
qr
x1
qr
0
x1
1
ql
x1
ql
1
x1
r0
1
x1
1
r0
x1
false
r0
b
x1
0
b
x1
false
r0
m
x1
m
r0
x1
false
m
qr
x1
m
x1
true
0
1
0
1
1
1
1
b
1
1
r0
1
1
2
0
1
1
1
ql
1
1
0
r1
1
0
r1
1
1
2
r0
1
0
m
1
1
0
1
1
0
b
1
0
qr
1
1
1
m
1
1
38145
1
qr
x1
qr
1
x1
0
ql
x1
ql
0
x1
0
qr
x1
qr
0
x1
1
ql
x1
ql
1
x1
r0
0
x1
0
r0
x1
false
0
ql
x1
0
x1
0
qr
x1
0
x1
true
0
1
1
0
1
1
1
1
b
1
1
r0
1
1
2
0
1
1
1
ql
1
1
0
r1
1
0
r1
1
1
2
r0
1
0
m
1
0
1
1
0
b
1
0
qr
1
1
1
m
1
1
52182
0
ql
x1
0
x1
1
qr
x1
qr
1
x1
0
ql
x1
ql
0
x1
0
qr
x1
qr
0
x1
1
ql
x1
ql
1
x1
0
ql
x1
0
x1
true
0
1
1
0
1
1
1
1
b
1
1
r0
1
1
12331
0
1
1
12330
ql
1
1
1
r1
1
0
r1
1
1
7178
r0
1
0
m
1
0
1
1
0
b
1
0
qr
1
1
1
m
1
1
1
1
qr
x1
qr
1
x1
0
ql
x1
ql
0
x1
0
qr
x1
qr
0
x1
1
ql
x1
ql
1
x1
r1
b
x1
1
b
x1
false
1
qr
x1
1
x1
1
ql
x1
1
x1
true
0
1
0
1
1
1
1
b
1
1
r0
1
1
45991
0
1
1
45990
ql
1
1
1
r1
1
0
r1
1
1
8406
r0
1
0
m
1
0
1
1
1
0
b
1
0
qr
1
1
1
m
1
1
1
1
qr
x1
qr
1
x1
0
ql
x1
ql
0
x1
0
qr
x1
qr
0
x1
1
ql
x1
ql
1
x1
NaTT
certifiable-1.6