s
b
x1
b
s
s
s
x1
s
b
s
x1
b
t
x1
t
b
x1
b
s
x1
t
b
s
x1
u
t
b
x1
b
u
x1
b
s
x1
t
s
x1
t
t
x1
t
u
x1
u
t
x1
s
u
x1
s
s
x1
2.2
s
b
s
x1
t
x1
b
u
x1
b
s
x1
s
b
x1
s
x1
t
b
x1
s
x1
s
b
x1
s
s
s
x1
s
b
x1
s
s
x1
s
u
x1
s
s
x1
b
u
x1
s
x1
s
b
x1
b
s
s
s
x1
t
u
x1
t
x1
t
b
s
x1
b
x1
t
b
s
x1
t
b
x1
t
s
x1
t
t
x1
s
b
s
x1
b
t
x1
t
b
x1
b
s
x1
s
u
x1
s
x1
t
s
x1
t
x1
true
t
s
x1
t
x1
s
u
x1
s
s
x1
s
u
x1
s
x1
s
b
x1
s
s
x1
t
b
x1
b
s
x1
s
b
s
x1
b
t
x1
t
s
x1
t
t
x1
t
b
s
x1
t
b
x1
s
b
x1
s
s
s
x1
t
b
x1
s
x1
s
b
x1
s
x1
t
b
s
x1
b
x1
b
u
x1
b
s
x1
t
u
x1
t
x1
s
b
x1
b
s
s
s
x1
b
u
x1
s
x1
s
b
s
x1
t
x1
true
s
1
1
0
b
1
1
8367
u
1
1
0
t
1
1
0
s
1
1
0
t
1
1
8366
b
1
1
8366
t
u
x1
t
x1
b
u
x1
b
s
x1
t
b
s
x1
t
b
x1
t
s
x1
t
t
x1
s
u
x1
s
x1
s
u
x1
s
s
x1
t
s
x1
t
x1
t
b
s
x1
u
t
b
x1
s
u
x1
s
s
x1
s
b
x1
b
s
s
s
x1
t
b
x1
b
s
x1
b
u
x1
b
s
x1
t
u
x1
u
t
x1
t
s
x1
t
t
x1
s
b
s
x1
b
t
x1
s
u
x1
s
x1
s
u
x1
s
s
x1
true
s
1
2999
b
1
2999
u
1
1
3000
t
1
2998
s
1
1
0
t
1
8366
b
1
8366
s
u
x1
s
s
x1
s
b
x1
b
s
s
s
x1
b
u
x1
b
s
x1
s
b
s
x1
b
t
x1
b
u
x1
b
s
x1
true
s
1
1
b
1
1
u
1
2
t
1
2
s
1
1
0
t
1
8366
b
1
1
8366
t
b
s
x1
u
t
b
x1
s
u
x1
s
s
x1
s
b
x1
b
s
s
s
x1
t
b
x1
b
s
x1
b
u
x1
b
s
x1
t
u
x1
u
t
x1
t
s
x1
t
t
x1
s
b
s
x1
b
t
x1
t
b
s
x1
t
b
x1
t
u
x1
t
x1
t
s
x1
t
x1
t
s
x1
t
t
x1
true
s
1
1
25908
b
1
25907
u
1
1
0
t
1
25907
s
1
0
t
1
1
8366
b
1
8366
t
u
x1
t
x1
t
b
s
x1
t
b
x1
t
b
s
x1
u
t
b
x1
t
b
x1
b
s
x1
b
u
x1
b
s
x1
t
u
x1
u
t
x1
t
s
x1
t
t
x1
t
b
s
x1
t
b
x1
t
u
x1
t
x1
true
s
1
8856
b
1
8857
u
1
1
21239
t
1
1
11294
s
1
0
t
1
1
0
b
1
0
t
b
s
x1
t
b
x1
b
u
x1
b
s
x1
t
b
s
x1
t
b
x1
true
Failed!
NaTT
certifiable-1.6