r
r
x1
s
r
x1
r
s
x1
s
r
x1
r
n
x1
s
r
x1
r
b
x1
u
s
b
x1
r
u
x1
u
r
x1
s
u
x1
u
s
x1
n
u
x1
u
n
x1
t
r
u
x1
t
c
r
x1
t
s
u
x1
t
c
r
x1
t
n
u
x1
t
c
r
x1
c
u
x1
u
c
x1
c
s
x1
s
c
x1
c
r
x1
r
c
x1
c
n
x1
n
c
x1
c
n
x1
n
x1
2.2
r
s
x1
r
x1
t
s
u
x1
t
c
r
x1
c
n
x1
c
x1
c
u
x1
c
x1
c
s
x1
c
x1
t
r
u
x1
r
x1
t
r
u
x1
c
r
x1
c
n
x1
n
c
x1
n
u
x1
n
x1
r
b
x1
s
b
x1
r
n
x1
r
x1
t
s
u
x1
c
r
x1
c
s
x1
s
c
x1
c
r
x1
c
x1
t
r
u
x1
t
c
r
x1
t
n
u
x1
r
x1
r
n
x1
s
r
x1
r
r
x1
s
r
x1
t
n
u
x1
c
r
x1
s
u
x1
s
x1
r
s
x1
s
r
x1
t
s
u
x1
r
x1
t
n
u
x1
t
c
r
x1
c
r
x1
r
c
x1
r
u
x1
r
x1
true
t
n
u
x1
t
c
r
x1
t
s
u
x1
t
c
r
x1
t
r
u
x1
t
c
r
x1
true
s
1
1
1
n
1
1
2
b
1
41063
u
1
1
1
r
1
1
2
t
1
0
c
1
1
0
s
1
0
r
1
0
c
1
0
t
1
1
0
n
1
0
t
s
u
x1
t
c
r
x1
r
b
x1
u
s
b
x1
c
n
x1
n
x1
r
r
x1
s
r
x1
r
n
x1
s
r
x1
r
u
x1
u
r
x1
n
u
x1
u
n
x1
c
n
x1
n
c
x1
c
s
x1
s
c
x1
c
u
x1
u
c
x1
c
r
x1
r
c
x1
s
u
x1
u
s
x1
r
s
x1
s
r
x1
t
s
u
x1
t
c
r
x1
true
Failed!
NaTT
certifiable-1.6