active
U11
tt
M
N
mark
U12
tt
M
N
active
U12
tt
M
N
mark
s
plus
N
M
active
plus
N
0
mark
N
active
plus
N
s
M
mark
U11
tt
M
N
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
tt
active
tt
mark
U12
X1
X2
X3
active
U12
mark
X1
X2
X3
mark
s
X
active
s
mark
X
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
0
active
0
U11
mark
X1
X2
X3
U11
X1
X2
X3
U11
X1
mark
X2
X3
U11
X1
X2
X3
U11
X1
X2
mark
X3
U11
X1
X2
X3
U11
active
X1
X2
X3
U11
X1
X2
X3
U11
X1
active
X2
X3
U11
X1
X2
X3
U11
X1
X2
active
X3
U11
X1
X2
X3
U12
mark
X1
X2
X3
U12
X1
X2
X3
U12
X1
mark
X2
X3
U12
X1
X2
X3
U12
X1
X2
mark
X3
U12
X1
X2
X3
U12
active
X1
X2
X3
U12
X1
X2
X3
U12
X1
active
X2
X3
U12
X1
X2
X3
U12
X1
X2
active
X3
U12
X1
X2
X3
s
mark
X
s
X
s
active
X
s
X
plus
mark
X1
X2
plus
X1
X2
plus
X1
mark
X2
plus
X1
X2
plus
active
X1
X2
plus
X1
X2
plus
X1
active
X2
plus
X1
X2
2.2
active
U12
tt
M
N
s
plus
N
M
plus
X1
mark
X2
plus
X1
X2
mark
s
X
active
s
mark
X
U12
X1
mark
X2
X3
U12
X1
X2
X3
mark
s
X
mark
X
U11
X1
active
X2
X3
U11
X1
X2
X3
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
plus
N
s
M
U11
tt
M
N
U11
X1
mark
X2
X3
U11
X1
X2
X3
mark
plus
X1
X2
mark
X2
s
active
X
s
X
plus
X1
active
X2
plus
X1
X2
mark
U11
X1
X2
X3
mark
X1
s
mark
X
s
X
U11
X1
X2
active
X3
U11
X1
X2
X3
U11
active
X1
X2
X3
U11
X1
X2
X3
U12
X1
active
X2
X3
U12
X1
X2
X3
U12
X1
X2
active
X3
U12
X1
X2
X3
mark
0
active
0
mark
plus
X1
X2
plus
mark
X1
mark
X2
active
plus
N
s
M
mark
U11
tt
M
N
U11
mark
X1
X2
X3
U11
X1
X2
X3
active
U11
tt
M
N
mark
U12
tt
M
N
U11
X1
X2
mark
X3
U11
X1
X2
X3
U12
X1
X2
mark
X3
U12
X1
X2
X3
mark
U11
X1
X2
X3
U11
mark
X1
X2
X3
active
U11
tt
M
N
U12
tt
M
N
U12
mark
X1
X2
X3
U12
X1
X2
X3
mark
U12
X1
X2
X3
active
U12
mark
X1
X2
X3
active
plus
N
0
mark
N
mark
U12
X1
X2
X3
mark
X1
plus
active
X1
X2
plus
X1
X2
mark
s
X
s
mark
X
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
U12
active
X1
X2
X3
U12
X1
X2
X3
active
U12
tt
M
N
plus
N
M
active
U12
tt
M
N
mark
s
plus
N
M
mark
plus
X1
X2
mark
X1
plus
mark
X1
X2
plus
X1
X2
mark
tt
active
tt
mark
U12
X1
X2
X3
U12
mark
X1
X2
X3
true
mark
plus
X1
X2
mark
X1
active
U12
tt
M
N
mark
s
plus
N
M
mark
U11
X1
X2
X3
mark
X1
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
plus
X1
X2
mark
X2
active
plus
N
0
mark
N
mark
U12
X1
X2
X3
mark
X1
mark
U12
X1
X2
X3
active
U12
mark
X1
X2
X3
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
s
X
mark
X
active
U11
tt
M
N
mark
U12
tt
M
N
active
plus
N
s
M
mark
U11
tt
M
N
mark
s
X
active
s
mark
X
true
U11
3
32287
s
1
1
plus
2
0
U12
3
32287
U12
3
0
mark
1
32287
0
0
1
s
1
0
mark
1
1
plus
2
32287
U11
3
0
active
1
1
1
active
1
1
0
tt
0
8366
active
plus
N
s
M
mark
U11
tt
M
N
active
U11
tt
M
N
mark
U12
tt
M
N
mark
s
X
mark
X
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
U12
X1
X2
X3
active
U12
mark
X1
X2
X3
mark
U12
X1
X2
X3
mark
X1
active
plus
N
0
mark
N
mark
plus
X1
X2
mark
X2
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
U11
X1
X2
X3
mark
X1
active
U12
tt
M
N
mark
s
plus
N
M
mark
plus
X1
X2
mark
X1
U12
X1
mark
X2
X3
U12
X1
X2
X3
U11
X1
active
X2
X3
U11
X1
X2
X3
U11
X1
X2
active
X3
U11
X1
X2
X3
U12
X1
active
X2
X3
U12
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
U12
X1
X2
mark
X3
U12
X1
X2
X3
U12
mark
X1
X2
X3
U12
X1
X2
X3
plus
active
X1
X2
plus
X1
X2
U12
X1
X2
active
X3
U12
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U12
active
X1
X2
X3
U12
X1
X2
X3
plus
mark
X1
X2
plus
X1
X2
U11
active
X1
X2
X3
U11
X1
X2
X3
U11
X1
mark
X2
X3
U11
X1
X2
X3
s
mark
X
s
X
s
active
X
s
X
U11
mark
X1
X2
X3
U11
X1
X2
X3
U11
X1
X2
mark
X3
U11
X1
X2
X3
active
plus
N
s
M
mark
U11
tt
M
N
mark
s
X
mark
X
active
U11
tt
M
N
mark
U12
tt
M
N
active
plus
N
0
mark
N
mark
U11
X1
X2
X3
mark
X1
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
U12
X1
X2
X3
mark
X1
mark
U12
X1
X2
X3
active
U12
mark
X1
X2
X3
mark
plus
X1
X2
mark
X2
mark
plus
X1
X2
mark
X1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
U12
tt
M
N
mark
s
plus
N
M
true
U11
3
1
2
3
2447
s
1
1
34975
plus
2
0
U12
3
1
2
3
2447
U12
3
0
mark
1
1
0
0
0
1
s
1
0
mark
1
1
0
plus
2
1
2
591
U11
3
0
active
1
1
0
active
1
1
0
tt
0
33119
active
U12
tt
M
N
mark
s
plus
N
M
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
U12
X1
X2
X3
active
U12
mark
X1
X2
X3
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
active
U11
tt
M
N
mark
U12
tt
M
N
active
plus
N
s
M
mark
U11
tt
M
N
U12
X1
mark
X2
X3
U12
X1
X2
X3
active
plus
N
s
M
mark
U11
tt
M
N
U11
X1
active
X2
X3
U11
X1
X2
X3
mark
s
X
active
s
mark
X
active
U11
tt
M
N
mark
U12
tt
M
N
active
plus
N
0
mark
N
U11
X1
X2
active
X3
U11
X1
X2
X3
U12
X1
active
X2
X3
U12
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
U12
X1
X2
mark
X3
U12
X1
X2
X3
U12
mark
X1
X2
X3
U12
X1
X2
X3
plus
active
X1
X2
plus
X1
X2
U12
X1
X2
active
X3
U12
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
0
active
0
mark
U12
X1
X2
X3
active
U12
mark
X1
X2
X3
U12
active
X1
X2
X3
U12
X1
X2
X3
plus
mark
X1
X2
plus
X1
X2
U11
active
X1
X2
X3
U11
X1
X2
X3
U11
X1
mark
X2
X3
U11
X1
X2
X3
s
mark
X
s
X
s
active
X
s
X
U11
mark
X1
X2
X3
U11
X1
X2
X3
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
U11
X1
X2
mark
X3
U11
X1
X2
X3
mark
tt
active
tt
active
U12
tt
M
N
mark
s
plus
N
M
active
plus
N
s
M
mark
U11
tt
M
N
active
U11
tt
M
N
mark
U12
tt
M
N
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
U12
X1
X2
X3
active
U12
mark
X1
X2
X3
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
U12
tt
M
N
mark
s
plus
N
M
true
U11
3
1
3
17069
s
1
34975
plus
2
0
U12
3
1
3
17067
U12
3
0
mark
1
1
1
0
0
15208
s
1
0
mark
1
1
0
plus
2
1
2
6
U11
3
0
active
1
1
0
active
1
1
0
tt
0
17910
U12
X1
mark
X2
X3
U12
X1
X2
X3
active
plus
N
s
M
mark
U11
tt
M
N
U11
X1
active
X2
X3
U11
X1
X2
X3
mark
s
X
active
s
mark
X
active
U11
tt
M
N
mark
U12
tt
M
N
active
plus
N
0
mark
N
U11
X1
X2
active
X3
U11
X1
X2
X3
U12
X1
active
X2
X3
U12
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
U12
X1
X2
mark
X3
U12
X1
X2
X3
U12
mark
X1
X2
X3
U12
X1
X2
X3
plus
active
X1
X2
plus
X1
X2
U12
X1
X2
active
X3
U12
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
0
active
0
mark
U12
X1
X2
X3
active
U12
mark
X1
X2
X3
U12
active
X1
X2
X3
U12
X1
X2
X3
plus
mark
X1
X2
plus
X1
X2
U11
active
X1
X2
X3
U11
X1
X2
X3
U11
X1
mark
X2
X3
U11
X1
X2
X3
s
mark
X
s
X
s
active
X
s
X
U11
mark
X1
X2
X3
U11
X1
X2
X3
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
U11
X1
X2
mark
X3
U11
X1
X2
X3
mark
tt
active
tt
active
U12
tt
M
N
mark
s
plus
N
M
mark
tt
active
tt
false
active
U12
tt
M
N
plus
N
M
false
mark
plus
X1
X2
plus
mark
X1
mark
X2
false
mark
U12
X1
X2
X3
U12
mark
X1
X2
X3
false
active
U11
tt
M
N
U12
tt
M
N
false
U12
X1
X2
active
X3
U12
X1
X2
X3
U12
X1
active
X2
X3
U12
X1
X2
X3
U12
active
X1
X2
X3
U12
X1
X2
X3
U12
mark
X1
X2
X3
U12
X1
X2
X3
U12
X1
X2
mark
X3
U12
X1
X2
X3
U12
X1
mark
X2
X3
U12
X1
X2
X3
true
U11
3
2
3
4
s
1
10
plus
2
0
U12
3
7
U12
3
1
2
3
0
mark
1
1
1
0
0
1
s
1
0
mark
1
1
1
plus
2
1
U11
3
0
active
1
1
3
active
1
1
0
tt
0
28031
U12
X1
mark
X2
X3
U12
X1
X2
X3
U11
X1
active
X2
X3
U11
X1
X2
X3
U11
X1
X2
active
X3
U11
X1
X2
X3
U12
X1
active
X2
X3
U12
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
U12
X1
X2
mark
X3
U12
X1
X2
X3
U12
mark
X1
X2
X3
U12
X1
X2
X3
plus
active
X1
X2
plus
X1
X2
U12
X1
X2
active
X3
U12
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U12
active
X1
X2
X3
U12
X1
X2
X3
plus
mark
X1
X2
plus
X1
X2
U11
active
X1
X2
X3
U11
X1
X2
X3
U11
X1
mark
X2
X3
U11
X1
X2
X3
s
mark
X
s
X
s
active
X
s
X
U11
mark
X1
X2
X3
U11
X1
X2
X3
U11
X1
X2
mark
X3
U11
X1
X2
X3
mark
U11
X1
X2
X3
U11
mark
X1
X2
X3
false
mark
s
X
s
mark
X
false
active
plus
N
s
M
U11
tt
M
N
false
U11
active
X1
X2
X3
U11
X1
X2
X3
U11
X1
X2
active
X3
U11
X1
X2
X3
U11
X1
mark
X2
X3
U11
X1
X2
X3
U11
X1
active
X2
X3
U11
X1
X2
X3
U11
X1
X2
mark
X3
U11
X1
X2
X3
U11
mark
X1
X2
X3
U11
X1
X2
X3
true
U11
3
2
3
3
s
1
7
plus
2
0
U12
3
5
U12
3
0
mark
1
1
1
0
0
1
s
1
0
mark
1
1
1
plus
2
1
U11
3
1
2
3
0
active
1
1
2
active
1
1
0
tt
0
56247
U12
X1
mark
X2
X3
U12
X1
X2
X3
U11
X1
active
X2
X3
U11
X1
X2
X3
U11
X1
X2
active
X3
U11
X1
X2
X3
U12
X1
active
X2
X3
U12
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
U12
X1
X2
mark
X3
U12
X1
X2
X3
U12
mark
X1
X2
X3
U12
X1
X2
X3
plus
active
X1
X2
plus
X1
X2
U12
X1
X2
active
X3
U12
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U12
active
X1
X2
X3
U12
X1
X2
X3
plus
mark
X1
X2
plus
X1
X2
U11
active
X1
X2
X3
U11
X1
X2
X3
U11
X1
mark
X2
X3
U11
X1
X2
X3
s
mark
X
s
X
s
active
X
s
X
U11
mark
X1
X2
X3
U11
X1
X2
X3
U11
X1
X2
mark
X3
U11
X1
X2
X3
plus
mark
X1
X2
plus
X1
X2
plus
X1
active
X2
plus
X1
X2
plus
active
X1
X2
plus
X1
X2
plus
X1
mark
X2
plus
X1
X2
true
U11
3
2
3
26659
s
1
26663
plus
2
1
2
0
U12
3
26661
U12
3
0
mark
1
1
1
0
0
1
s
1
0
mark
1
1
1
plus
2
26657
U11
3
0
active
1
1
2
active
1
1
0
tt
0
12059
U12
X1
mark
X2
X3
U12
X1
X2
X3
U11
X1
active
X2
X3
U11
X1
X2
X3
U11
X1
X2
active
X3
U11
X1
X2
X3
U12
X1
active
X2
X3
U12
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
U12
X1
X2
mark
X3
U12
X1
X2
X3
U12
mark
X1
X2
X3
U12
X1
X2
X3
plus
active
X1
X2
plus
X1
X2
U12
X1
X2
active
X3
U12
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U12
active
X1
X2
X3
U12
X1
X2
X3
plus
mark
X1
X2
plus
X1
X2
U11
active
X1
X2
X3
U11
X1
X2
X3
U11
X1
mark
X2
X3
U11
X1
X2
X3
s
mark
X
s
X
s
active
X
s
X
U11
mark
X1
X2
X3
U11
X1
X2
X3
U11
X1
X2
mark
X3
U11
X1
X2
X3
active
U12
tt
M
N
s
plus
N
M
false
s
mark
X
s
X
s
active
X
s
X
true
U11
3
2
3
21029
s
1
21033
plus
2
0
U12
3
21031
U12
3
0
mark
1
1
1
0
0
1
s
1
1
0
mark
1
1
1
plus
2
21027
U11
3
0
active
1
1
2
active
1
1
0
tt
0
28194
U12
X1
mark
X2
X3
U12
X1
X2
X3
U11
X1
active
X2
X3
U11
X1
X2
X3
U11
X1
X2
active
X3
U11
X1
X2
X3
U12
X1
active
X2
X3
U12
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
U12
X1
X2
mark
X3
U12
X1
X2
X3
U12
mark
X1
X2
X3
U12
X1
X2
X3
plus
active
X1
X2
plus
X1
X2
U12
X1
X2
active
X3
U12
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U12
active
X1
X2
X3
U12
X1
X2
X3
plus
mark
X1
X2
plus
X1
X2
U11
active
X1
X2
X3
U11
X1
X2
X3
U11
X1
mark
X2
X3
U11
X1
X2
X3
s
mark
X
s
X
s
active
X
s
X
U11
mark
X1
X2
X3
U11
X1
X2
X3
U11
X1
X2
mark
X3
U11
X1
X2
X3
mark
0
active
0
false
NaTT
certifiable-1.6