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
active
U11
X1
X2
X3
U11
active
X1
X2
X3
active
U12
X1
X2
X3
U12
active
X1
X2
X3
active
s
X
s
active
X
active
plus
X1
X2
plus
active
X1
X2
active
plus
X1
X2
plus
X1
active
X2
U11
mark
X1
X2
X3
mark
U11
X1
X2
X3
U12
mark
X1
X2
X3
mark
U12
X1
X2
X3
s
mark
X
mark
s
X
plus
mark
X1
X2
mark
plus
X1
X2
plus
X1
mark
X2
mark
plus
X1
X2
proper
U11
X1
X2
X3
U11
proper
X1
proper
X2
proper
X3
proper
tt
ok
tt
proper
U12
X1
X2
X3
U12
proper
X1
proper
X2
proper
X3
proper
s
X
s
proper
X
proper
plus
X1
X2
plus
proper
X1
proper
X2
proper
0
ok
0
U11
ok
X1
ok
X2
ok
X3
ok
U11
X1
X2
X3
U12
ok
X1
ok
X2
ok
X3
ok
U12
X1
X2
X3
s
ok
X
ok
s
X
plus
ok
X1
ok
X2
ok
plus
X1
X2
top
mark
X
top
proper
X
top
ok
X
top
active
X
2.2
active
U12
tt
M
N
plus
N
M
top
ok
X
active
X
proper
U11
X1
X2
X3
proper
X1
proper
U11
X1
X2
X3
proper
X3
active
plus
N
s
M
U11
tt
M
N
active
plus
X1
X2
plus
X1
active
X2
proper
s
X
proper
X
top
mark
X
top
proper
X
plus
ok
X1
ok
X2
plus
X1
X2
s
mark
X
s
X
proper
U12
X1
X2
X3
proper
X3
proper
U12
X1
X2
X3
proper
X2
plus
X1
mark
X2
plus
X1
X2
active
U11
tt
M
N
U12
tt
M
N
top
mark
X
proper
X
U11
ok
X1
ok
X2
ok
X3
U11
X1
X2
X3
proper
plus
X1
X2
plus
proper
X1
proper
X2
U12
ok
X1
ok
X2
ok
X3
U12
X1
X2
X3
active
plus
X1
X2
active
X2
proper
s
X
s
proper
X
s
ok
X
s
X
active
plus
X1
X2
active
X1
plus
mark
X1
X2
plus
X1
X2
top
ok
X
top
active
X
proper
U12
X1
X2
X3
proper
X1
proper
U11
X1
X2
X3
U11
proper
X1
proper
X2
proper
X3
proper
plus
X1
X2
proper
X2
U11
mark
X1
X2
X3
U11
X1
X2
X3
active
plus
X1
X2
plus
active
X1
X2
active
U11
X1
X2
X3
active
X1
proper
plus
X1
X2
proper
X1
proper
U11
X1
X2
X3
proper
X2
proper
U12
X1
X2
X3
U12
proper
X1
proper
X2
proper
X3
active
s
X
active
X
active
U12
X1
X2
X3
U12
active
X1
X2
X3
active
U12
tt
M
N
s
plus
N
M
U12
mark
X1
X2
X3
U12
X1
X2
X3
active
s
X
s
active
X
active
U12
X1
X2
X3
active
X1
active
U11
X1
X2
X3
U11
active
X1
X2
X3
true
top
mark
X
top
proper
X
top
ok
X
top
active
X
true
top
1
1
proper
1
1
ok
1
1
proper
1
1
active
1
1
U11
3
6
1
2
s
1
4
1
plus
2
0
top
1
0
1
U12
3
5
3
2
1
U12
3
0
2
3
1
0
0
0
s
1
0
mark
1
1
1
plus
2
6
2
1
U11
3
0
3
2
active
1
0
tt
0
2
U11
3
1
2
3
1
s
1
1
12619
plus
2
2
1
top
1
1
1
U12
3
1
2
3
1
U12
3
1
2
3
1
0
0
36068
s
1
1
mark
1
1
0
plus
2
1
2
1
U11
3
2
3
1
active
1
1
tt
0
12619
top
ok
X
top
active
X
proper
s
X
s
proper
X
active
plus
N
s
M
mark
U11
tt
M
N
proper
U11
X1
X2
X3
U11
proper
X1
proper
X2
proper
X3
active
plus
X1
X2
plus
active
X1
X2
active
U11
tt
M
N
mark
U12
tt
M
N
active
plus
N
0
mark
N
proper
tt
ok
tt
U11
ok
X1
ok
X2
ok
X3
ok
U11
X1
X2
X3
proper
plus
X1
X2
plus
proper
X1
proper
X2
proper
U12
X1
X2
X3
U12
proper
X1
proper
X2
proper
X3
U12
ok
X1
ok
X2
ok
X3
ok
U12
X1
X2
X3
active
U11
X1
X2
X3
U11
active
X1
X2
X3
U11
mark
X1
X2
X3
mark
U11
X1
X2
X3
active
s
X
s
active
X
proper
0
ok
0
plus
X1
mark
X2
mark
plus
X1
X2
s
mark
X
mark
s
X
s
ok
X
ok
s
X
plus
ok
X1
ok
X2
ok
plus
X1
X2
U12
mark
X1
X2
X3
mark
U12
X1
X2
X3
active
plus
X1
X2
plus
X1
active
X2
plus
mark
X1
X2
mark
plus
X1
X2
active
U12
X1
X2
X3
U12
active
X1
X2
X3
active
U12
tt
M
N
mark
s
plus
N
M
top
ok
X
top
active
X
true
U11
3
1
0
s
1
1
0
top
1
0
plus
2
0
top
1
1
0
U12
3
1
0
U12
3
0
proper
1
14588
ok
1
1
14587
0
0
1
s
1
0
mark
1
0
proper
1
0
plus
2
1
0
U11
3
0
active
1
1
14586
active
1
0
tt
0
1
proper
s
X
s
proper
X
active
plus
N
s
M
mark
U11
tt
M
N
proper
U11
X1
X2
X3
U11
proper
X1
proper
X2
proper
X3
active
plus
X1
X2
plus
active
X1
X2
active
U11
tt
M
N
mark
U12
tt
M
N
active
plus
N
0
mark
N
proper
tt
ok
tt
U11
ok
X1
ok
X2
ok
X3
ok
U11
X1
X2
X3
proper
plus
X1
X2
plus
proper
X1
proper
X2
proper
U12
X1
X2
X3
U12
proper
X1
proper
X2
proper
X3
U12
ok
X1
ok
X2
ok
X3
ok
U12
X1
X2
X3
active
U11
X1
X2
X3
U11
active
X1
X2
X3
U11
mark
X1
X2
X3
mark
U11
X1
X2
X3
active
s
X
s
active
X
proper
0
ok
0
plus
X1
mark
X2
mark
plus
X1
X2
s
mark
X
mark
s
X
s
ok
X
ok
s
X
plus
ok
X1
ok
X2
ok
plus
X1
X2
U12
mark
X1
X2
X3
mark
U12
X1
X2
X3
active
plus
X1
X2
plus
X1
active
X2
plus
mark
X1
X2
mark
plus
X1
X2
active
U12
X1
X2
X3
U12
active
X1
X2
X3
active
U12
tt
M
N
mark
s
plus
N
M
top
mark
X
proper
X
false
proper
U12
X1
X2
X3
proper
X2
proper
U12
X1
X2
X3
proper
X3
proper
U11
X1
X2
X3
proper
X2
proper
plus
X1
X2
proper
X1
proper
s
X
proper
X
proper
plus
X1
X2
proper
X2
proper
U12
X1
X2
X3
proper
X1
proper
U11
X1
X2
X3
proper
X3
proper
U11
X1
X2
X3
proper
X1
true
U11
3
1
2
3
1
s
1
1
1
top
1
0
plus
2
0
top
1
0
U12
3
1
2
3
1
U12
3
0
proper
1
0
ok
1
1
1
0
0
1
s
1
0
mark
1
1
0
proper
1
1
0
plus
2
1
2
1
U11
3
0
active
1
2
active
1
0
tt
0
1
U11
ok
X1
ok
X2
ok
X3
ok
U11
X1
X2
X3
U12
ok
X1
ok
X2
ok
X3
ok
U12
X1
X2
X3
U11
mark
X1
X2
X3
mark
U11
X1
X2
X3
plus
X1
mark
X2
mark
plus
X1
X2
s
mark
X
mark
s
X
s
ok
X
ok
s
X
plus
ok
X1
ok
X2
ok
plus
X1
X2
U12
mark
X1
X2
X3
mark
U12
X1
X2
X3
plus
mark
X1
X2
mark
plus
X1
X2
proper
U12
X1
X2
X3
U12
proper
X1
proper
X2
proper
X3
false
proper
plus
X1
X2
plus
proper
X1
proper
X2
false
proper
U11
X1
X2
X3
U11
proper
X1
proper
X2
proper
X3
false
proper
s
X
s
proper
X
false
top
ok
X
active
X
false
active
U12
X1
X2
X3
active
X1
active
s
X
active
X
active
U11
X1
X2
X3
active
X1
active
plus
X1
X2
active
X1
active
plus
X1
X2
active
X2
true
U11
3
1
2
3
1
s
1
1
1
top
1
0
plus
2
0
top
1
0
U12
3
1
2
3
1
U12
3
0
proper
1
0
ok
1
1
1
0
0
25311
s
1
0
mark
1
1
0
proper
1
0
plus
2
1
2
1
U11
3
0
active
1
2
active
1
1
0
tt
0
1
U11
ok
X1
ok
X2
ok
X3
ok
U11
X1
X2
X3
U12
ok
X1
ok
X2
ok
X3
ok
U12
X1
X2
X3
U11
mark
X1
X2
X3
mark
U11
X1
X2
X3
plus
X1
mark
X2
mark
plus
X1
X2
s
mark
X
mark
s
X
s
ok
X
ok
s
X
plus
ok
X1
ok
X2
ok
plus
X1
X2
U12
mark
X1
X2
X3
mark
U12
X1
X2
X3
plus
mark
X1
X2
mark
plus
X1
X2
active
U12
tt
M
N
s
plus
N
M
false
active
U12
X1
X2
X3
U12
active
X1
X2
X3
false
active
plus
X1
X2
plus
X1
active
X2
false
active
s
X
s
active
X
false
s
mark
X
s
X
s
ok
X
s
X
true
U11
3
1
2
3
1
s
1
1
1
top
1
0
plus
2
0
top
1
0
U12
3
1
2
3
1
U12
3
0
proper
1
0
ok
1
1
1
0
0
55803
s
1
1
0
mark
1
1
0
proper
1
0
plus
2
1
2
1
U11
3
0
active
1
2
active
1
0
tt
0
1
s
mark
X
s
X
U11
ok
X1
ok
X2
ok
X3
ok
U11
X1
X2
X3
U12
ok
X1
ok
X2
ok
X3
ok
U12
X1
X2
X3
U11
mark
X1
X2
X3
mark
U11
X1
X2
X3
plus
X1
mark
X2
mark
plus
X1
X2
s
mark
X
mark
s
X
s
ok
X
ok
s
X
plus
ok
X1
ok
X2
ok
plus
X1
X2
U12
mark
X1
X2
X3
mark
U12
X1
X2
X3
plus
mark
X1
X2
mark
plus
X1
X2
s
mark
X
s
X
true
U11
3
1
2
3
1
s
1
1
1
top
1
0
plus
2
0
top
1
0
U12
3
1
2
3
1
U12
3
0
proper
1
0
ok
1
1
1
0
0
1
s
1
1
0
mark
1
1
1
proper
1
0
plus
2
1
2
1
U11
3
0
active
1
3
active
1
0
tt
0
1
U11
ok
X1
ok
X2
ok
X3
ok
U11
X1
X2
X3
U12
ok
X1
ok
X2
ok
X3
ok
U12
X1
X2
X3
U11
mark
X1
X2
X3
mark
U11
X1
X2
X3
plus
X1
mark
X2
mark
plus
X1
X2
s
mark
X
mark
s
X
s
ok
X
ok
s
X
plus
ok
X1
ok
X2
ok
plus
X1
X2
U12
mark
X1
X2
X3
mark
U12
X1
X2
X3
plus
mark
X1
X2
mark
plus
X1
X2
active
U11
X1
X2
X3
U11
active
X1
X2
X3
false
U11
ok
X1
ok
X2
ok
X3
U11
X1
X2
X3
U11
mark
X1
X2
X3
U11
X1
X2
X3
true
U11
3
1
2
3
1
s
1
1
1
top
1
0
plus
2
0
top
1
0
U12
3
1
2
3
1
U12
3
0
proper
1
0
ok
1
1
1
0
0
1
s
1
0
mark
1
1
1
proper
1
0
plus
2
1
2
1
U11
3
3
0
active
1
3
active
1
0
tt
0
1
U11
mark
X1
X2
X3
U11
X1
X2
X3
U11
ok
X1
ok
X2
ok
X3
ok
U11
X1
X2
X3
U12
ok
X1
ok
X2
ok
X3
ok
U12
X1
X2
X3
U11
mark
X1
X2
X3
mark
U11
X1
X2
X3
plus
X1
mark
X2
mark
plus
X1
X2
s
mark
X
mark
s
X
s
ok
X
ok
s
X
plus
ok
X1
ok
X2
ok
plus
X1
X2
U12
mark
X1
X2
X3
mark
U12
X1
X2
X3
plus
mark
X1
X2
mark
plus
X1
X2
U11
mark
X1
X2
X3
U11
X1
X2
X3
true
U11
3
1
2
3
1
s
1
1
1
top
1
0
plus
2
0
top
1
0
U12
3
1
2
3
1
U12
3
0
proper
1
0
ok
1
1
1
0
0
1
s
1
0
mark
1
1
1
proper
1
0
plus
2
1
2
1
U11
3
1
0
active
1
3
active
1
0
tt
0
1
U11
ok
X1
ok
X2
ok
X3
ok
U11
X1
X2
X3
U12
ok
X1
ok
X2
ok
X3
ok
U12
X1
X2
X3
U11
mark
X1
X2
X3
mark
U11
X1
X2
X3
plus
X1
mark
X2
mark
plus
X1
X2
s
mark
X
mark
s
X
s
ok
X
ok
s
X
plus
ok
X1
ok
X2
ok
plus
X1
X2
U12
mark
X1
X2
X3
mark
U12
X1
X2
X3
plus
mark
X1
X2
mark
plus
X1
X2
active
U11
tt
M
N
U12
tt
M
N
false
active
plus
X1
X2
plus
active
X1
X2
false
active
plus
N
s
M
U11
tt
M
N
false
active
U12
tt
M
N
plus
N
M
false
plus
X1
mark
X2
plus
X1
X2
plus
ok
X1
ok
X2
plus
X1
X2
plus
mark
X1
X2
plus
X1
X2
true
U11
3
1
2
3
1
s
1
1
1
top
1
0
plus
2
1
2
0
top
1
0
U12
3
1
2
3
1
U12
3
0
proper
1
0
ok
1
1
1
0
0
1
s
1
0
mark
1
1
1
proper
1
0
plus
2
1
2
1
U11
3
0
active
1
3
active
1
0
tt
0
1
U11
ok
X1
ok
X2
ok
X3
ok
U11
X1
X2
X3
U12
ok
X1
ok
X2
ok
X3
ok
U12
X1
X2
X3
U11
mark
X1
X2
X3
mark
U11
X1
X2
X3
plus
X1
mark
X2
mark
plus
X1
X2
s
mark
X
mark
s
X
s
ok
X
ok
s
X
plus
ok
X1
ok
X2
ok
plus
X1
X2
U12
mark
X1
X2
X3
mark
U12
X1
X2
X3
plus
mark
X1
X2
mark
plus
X1
X2
U12
mark
X1
X2
X3
U12
X1
X2
X3
U12
ok
X1
ok
X2
ok
X3
U12
X1
X2
X3
true
U11
3
1
2
3
1
s
1
1
1
top
1
0
plus
2
0
top
1
0
U12
3
1
2
3
1
U12
3
2
3
0
proper
1
0
ok
1
1
1
0
0
31490
s
1
0
mark
1
1
1
proper
1
0
plus
2
1
2
1
U11
3
0
active
1
3
active
1
0
tt
0
1
U12
mark
X1
X2
X3
U12
X1
X2
X3
U11
ok
X1
ok
X2
ok
X3
ok
U11
X1
X2
X3
U12
ok
X1
ok
X2
ok
X3
ok
U12
X1
X2
X3
U11
mark
X1
X2
X3
mark
U11
X1
X2
X3
plus
X1
mark
X2
mark
plus
X1
X2
s
mark
X
mark
s
X
s
ok
X
ok
s
X
plus
ok
X1
ok
X2
ok
plus
X1
X2
U12
mark
X1
X2
X3
mark
U12
X1
X2
X3
plus
mark
X1
X2
mark
plus
X1
X2
U12
mark
X1
X2
X3
U12
X1
X2
X3
true
U11
3
1
2
3
1
s
1
1
1
top
1
0
plus
2
0
top
1
0
U12
3
1
2
3
1
U12
3
1
0
proper
1
0
ok
1
1
1
0
0
11453
s
1
0
mark
1
1
1
proper
1
0
plus
2
1
2
1
U11
3
0
active
1
3
active
1
0
tt
0
1
U11
ok
X1
ok
X2
ok
X3
ok
U11
X1
X2
X3
U12
ok
X1
ok
X2
ok
X3
ok
U12
X1
X2
X3
U11
mark
X1
X2
X3
mark
U11
X1
X2
X3
plus
X1
mark
X2
mark
plus
X1
X2
s
mark
X
mark
s
X
s
ok
X
ok
s
X
plus
ok
X1
ok
X2
ok
plus
X1
X2
U12
mark
X1
X2
X3
mark
U12
X1
X2
X3
plus
mark
X1
X2
mark
plus
X1
X2
NaTT
certifiable-1.6