r
e
x1
w
r
x1
i
t
x1
e
r
x1
e
w
x1
r
i
x1
t
e
x1
r
e
x1
w
r
x1
i
t
x1
e
r
x1
e
w
x1
r
i
t
e
r
x1
e
w
r
i
t
e
x1
2.2
i
t
x1
r
x1
r
i
t
e
r
x1
w
r
i
t
e
x1
e
w
x1
r
i
x1
r
i
t
e
r
x1
t
e
x1
w
r
x1
i
t
x1
w
r
x1
t
x1
e
w
x1
i
x1
r
i
t
e
r
x1
r
i
t
e
x1
r
i
t
e
r
x1
e
x1
r
i
t
e
r
x1
e
w
r
i
t
e
x1
t
e
x1
r
e
x1
r
e
x1
r
x1
e
r
x1
e
w
x1
i
t
x1
e
r
x1
r
i
t
e
r
x1
i
t
e
x1
r
e
x1
w
r
x1
e
r
x1
w
x1
true
e
r
x1
w
x1
e
w
x1
i
x1
r
e
x1
w
r
x1
w
r
x1
t
x1
r
i
t
e
r
x1
i
t
e
x1
i
t
x1
e
r
x1
e
r
x1
e
w
x1
r
e
x1
r
x1
w
r
x1
i
t
x1
r
i
t
e
r
x1
t
e
x1
e
w
x1
r
i
x1
t
e
x1
r
e
x1
r
i
t
e
r
x1
w
r
i
t
e
x1
r
i
t
e
r
x1
e
w
r
i
t
e
x1
r
i
t
e
r
x1
e
x1
r
i
t
e
r
x1
r
i
t
e
x1
i
t
x1
r
x1
true
w
1
1
15923
e
1
1
15923
r
1
1
31846
t
1
1
47769
w
1
1
15923
i
1
1
0
r
1
1
31846
e
1
1
15923
t
1
1
47768
i
1
1
0
r
i
t
e
r
x1
e
w
r
i
t
e
x1
e
w
x1
r
i
x1
w
r
x1
i
t
x1
i
t
x1
e
r
x1
r
e
x1
w
r
x1
t
e
x1
r
e
x1
r
e
x1
w
r
x1
e
w
x1
r
i
x1
w
r
x1
i
t
x1
r
i
t
e
r
x1
e
w
r
i
t
e
x1
e
r
x1
e
w
x1
i
t
x1
e
r
x1
r
e
x1
w
r
x1
e
w
x1
r
i
x1
w
r
x1
i
t
x1
r
i
t
e
r
x1
e
w
r
i
t
e
x1
i
t
x1
e
r
x1
true
2
1
w
1
0
0
0
1
1
41651
35841
e
1
1
1
1
0
1
0
0
r
1
35842
1
t
1
1
0
1
0
1
1
5810
w
1
0
0
1
0
1
35841
1
i
1
0
0
1
0
1
30032
1
r
1
1
1
0
0
1
5810
5809
e
1
35842
1
t
1
0
0
i
1
41650
35842
e
w
x1
r
i
x1
t
e
x1
r
e
x1
r
e
x1
w
r
x1
e
w
x1
r
i
x1
w
r
x1
i
t
x1
r
i
t
e
r
x1
e
w
r
i
t
e
x1
e
r
x1
e
w
x1
i
t
x1
e
r
x1
e
w
x1
r
i
x1
false
NaTT
certifiable-1.6