active
U11
tt
M
N
mark
U12
tt
M
N
active
U12
tt
M
N
mark
s
plus
N
M
active
U21
tt
M
N
mark
U22
tt
M
N
active
U22
tt
M
N
mark
plus
x
N
M
N
active
plus
N
0
mark
N
active
plus
N
s
M
mark
U11
tt
M
N
active
x
N
0
mark
0
active
x
N
s
M
mark
U21
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
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
mark
U22
X1
X2
X3
active
U22
mark
X1
X2
X3
mark
x
X1
X2
active
x
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
U21
mark
X1
X2
X3
U21
X1
X2
X3
U21
X1
mark
X2
X3
U21
X1
X2
X3
U21
X1
X2
mark
X3
U21
X1
X2
X3
U21
active
X1
X2
X3
U21
X1
X2
X3
U21
X1
active
X2
X3
U21
X1
X2
X3
U21
X1
X2
active
X3
U21
X1
X2
X3
U22
mark
X1
X2
X3
U22
X1
X2
X3
U22
X1
mark
X2
X3
U22
X1
X2
X3
U22
X1
X2
mark
X3
U22
X1
X2
X3
U22
active
X1
X2
X3
U22
X1
X2
X3
U22
X1
active
X2
X3
U22
X1
X2
X3
U22
X1
X2
active
X3
U22
X1
X2
X3
x
mark
X1
X2
x
X1
X2
x
X1
mark
X2
x
X1
X2
x
active
X1
X2
x
X1
X2
x
X1
active
X2
x
X1
X2
2.2
active
U12
tt
M
N
s
plus
N
M
U21
active
X1
X2
X3
U21
X1
X2
X3
U11
X1
X2
active
X3
U11
X1
X2
X3
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
active
x
N
s
M
mark
U21
tt
M
N
active
plus
N
0
mark
N
active
x
N
0
mark
0
U11
X1
X2
mark
X3
U11
X1
X2
X3
mark
U21
X1
X2
X3
mark
X1
active
U22
tt
M
N
x
N
M
U22
X1
X2
mark
X3
U22
X1
X2
X3
plus
mark
X1
X2
plus
X1
X2
active
U22
tt
M
N
mark
plus
x
N
M
N
U12
X1
active
X2
X3
U12
X1
X2
X3
U11
mark
X1
X2
X3
U11
X1
X2
X3
x
active
X1
X2
x
X1
X2
mark
x
X1
X2
active
x
mark
X1
mark
X2
mark
x
X1
X2
mark
X2
s
mark
X
s
X
plus
X1
active
X2
plus
X1
X2
mark
x
X1
X2
x
mark
X1
mark
X2
U12
X1
X2
mark
X3
U12
X1
X2
X3
active
x
N
s
M
U21
tt
M
N
U12
X1
mark
X2
X3
U12
X1
X2
X3
U12
active
X1
X2
X3
U12
X1
X2
X3
U21
X1
X2
mark
X3
U21
X1
X2
X3
U21
X1
X2
active
X3
U21
X1
X2
X3
U22
X1
X2
active
X3
U22
X1
X2
X3
U11
active
X1
X2
X3
U11
X1
X2
X3
mark
U11
X1
X2
X3
mark
X1
mark
U22
X1
X2
X3
mark
X1
mark
U11
X1
X2
X3
U11
mark
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
mark
U22
X1
X2
X3
U22
mark
X1
X2
X3
x
mark
X1
X2
x
X1
X2
mark
s
X
active
s
mark
X
U21
mark
X1
X2
X3
U21
X1
X2
X3
active
plus
N
s
M
mark
U11
tt
M
N
active
U21
tt
M
N
mark
U22
tt
M
N
U22
active
X1
X2
X3
U22
X1
X2
X3
mark
0
active
0
U11
X1
active
X2
X3
U11
X1
X2
X3
mark
U12
X1
X2
X3
active
U12
mark
X1
X2
X3
mark
plus
X1
X2
mark
X1
U22
X1
active
X2
X3
U22
X1
X2
X3
x
X1
mark
X2
x
X1
X2
U21
X1
mark
X2
X3
U21
X1
X2
X3
active
U11
tt
M
N
mark
U12
tt
M
N
mark
s
X
mark
X
active
U22
tt
M
N
plus
x
N
M
N
U12
X1
X2
active
X3
U12
X1
X2
X3
mark
tt
active
tt
active
U11
tt
M
N
U12
tt
M
N
U12
mark
X1
X2
X3
U12
X1
X2
X3
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
s
active
X
s
X
mark
U12
X1
X2
X3
mark
X1
mark
x
X1
X2
mark
X1
x
X1
active
X2
x
X1
X2
mark
s
X
s
mark
X
mark
plus
X1
X2
plus
mark
X1
mark
X2
active
U21
tt
M
N
U22
tt
M
N
mark
U12
X1
X2
X3
U12
mark
X1
X2
X3
mark
U22
X1
X2
X3
active
U22
mark
X1
X2
X3
mark
U21
X1
X2
X3
U21
mark
X1
X2
X3
mark
plus
X1
X2
mark
X2
U21
X1
active
X2
X3
U21
X1
X2
X3
active
U12
tt
M
N
plus
N
M
active
U12
tt
M
N
mark
s
plus
N
M
U11
X1
mark
X2
X3
U11
X1
X2
X3
U22
mark
X1
X2
X3
U22
X1
X2
X3
active
plus
N
s
M
U11
tt
M
N
U22
X1
mark
X2
X3
U22
X1
X2
X3
plus
active
X1
X2
plus
X1
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
true
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
U12
X1
X2
X3
active
U12
mark
X1
X2
X3
active
U21
tt
M
N
mark
U22
tt
M
N
active
plus
N
s
M
mark
U11
tt
M
N
mark
s
X
active
s
mark
X
active
U12
tt
M
N
mark
s
plus
N
M
mark
U22
X1
X2
X3
mark
X1
mark
U11
X1
X2
X3
mark
X1
mark
plus
X1
X2
mark
X2
mark
U22
X1
X2
X3
active
U22
mark
X1
X2
X3
mark
x
X1
X2
mark
X1
mark
U12
X1
X2
X3
mark
X1
mark
x
X1
X2
mark
X2
mark
x
X1
X2
active
x
mark
X1
mark
X2
active
U22
tt
M
N
mark
plus
x
N
M
N
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
U21
X1
X2
X3
mark
X1
active
U11
tt
M
N
mark
U12
tt
M
N
mark
s
X
mark
X
active
plus
N
0
mark
N
active
x
N
s
M
mark
U21
tt
M
N
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
mark
plus
X1
X2
mark
X1
true
U21
3
9727
U11
3
9727
s
1
1
plus
2
0
U12
3
9727
x
2
9727
U12
3
0
mark
1
9727
0
0
1
x
2
0
s
1
0
mark
1
1
plus
2
9727
U11
3
0
active
1
2
active
1
1
0
U21
3
0
U22
3
0
tt
0
1
U22
3
9727
mark
plus
X1
X2
mark
X1
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
active
x
N
s
M
mark
U21
tt
M
N
active
plus
N
0
mark
N
mark
s
X
mark
X
active
U11
tt
M
N
mark
U12
tt
M
N
mark
U21
X1
X2
X3
mark
X1
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
active
U22
tt
M
N
mark
plus
x
N
M
N
mark
x
X1
X2
active
x
mark
X1
mark
X2
mark
x
X1
X2
mark
X2
mark
U12
X1
X2
X3
mark
X1
mark
x
X1
X2
mark
X1
mark
U22
X1
X2
X3
active
U22
mark
X1
X2
X3
mark
plus
X1
X2
mark
X2
mark
U11
X1
X2
X3
mark
X1
mark
U22
X1
X2
X3
mark
X1
active
U12
tt
M
N
mark
s
plus
N
M
active
plus
N
s
M
mark
U11
tt
M
N
active
U21
tt
M
N
mark
U22
tt
M
N
mark
U12
X1
X2
X3
active
U12
mark
X1
X2
X3
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
U11
mark
X1
X2
X3
U11
X1
X2
X3
x
active
X1
X2
x
X1
X2
U11
active
X1
X2
X3
U11
X1
X2
X3
U21
mark
X1
X2
X3
U21
X1
X2
X3
U12
X1
X2
mark
X3
U12
X1
X2
X3
U11
X1
mark
X2
X3
U11
X1
X2
X3
plus
mark
X1
X2
plus
X1
X2
U12
active
X1
X2
X3
U12
X1
X2
X3
plus
active
X1
X2
plus
X1
X2
U11
X1
active
X2
X3
U11
X1
X2
X3
U12
X1
active
X2
X3
U12
X1
X2
X3
U22
X1
X2
mark
X3
U22
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
U21
active
X1
X2
X3
U21
X1
X2
X3
U11
X1
X2
mark
X3
U11
X1
X2
X3
U12
X1
mark
X2
X3
U12
X1
X2
X3
x
X1
mark
X2
x
X1
X2
s
mark
X
s
X
s
active
X
s
X
U22
active
X1
X2
X3
U22
X1
X2
X3
U11
X1
X2
active
X3
U11
X1
X2
X3
U12
mark
X1
X2
X3
U12
X1
X2
X3
x
X1
active
X2
x
X1
X2
U21
X1
active
X2
X3
U21
X1
X2
X3
U21
X1
X2
mark
X3
U21
X1
X2
X3
x
mark
X1
X2
x
X1
X2
U22
X1
X2
active
X3
U22
X1
X2
X3
U21
X1
mark
X2
X3
U21
X1
X2
X3
U21
X1
X2
active
X3
U21
X1
X2
X3
U22
mark
X1
X2
X3
U22
X1
X2
X3
U22
X1
active
X2
X3
U22
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U12
X1
X2
active
X3
U12
X1
X2
X3
U22
X1
mark
X2
X3
U22
X1
X2
X3
active
U22
tt
M
N
mark
plus
x
N
M
N
mark
U22
X1
X2
X3
mark
X1
mark
U22
X1
X2
X3
active
U22
mark
X1
X2
X3
active
x
N
s
M
mark
U21
tt
M
N
active
U11
tt
M
N
mark
U12
tt
M
N
active
U21
tt
M
N
mark
U22
tt
M
N
mark
x
X1
X2
mark
X2
mark
x
X1
X2
mark
X1
mark
x
X1
X2
active
x
mark
X1
mark
X2
active
plus
N
0
mark
N
mark
U21
X1
X2
X3
mark
X1
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
mark
s
X
mark
X
mark
U12
X1
X2
X3
mark
X1
mark
U12
X1
X2
X3
active
U12
mark
X1
X2
X3
mark
U11
X1
X2
X3
mark
X1
mark
U11
X1
X2
X3
active
U11
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
plus
N
s
M
mark
U11
tt
M
N
active
U12
tt
M
N
mark
s
plus
N
M
true
U21
3
1
36470
2
42324
3
36469
0
U11
3
1
30614
2
36469
3
0
0
s
1
1
0
plus
2
0
U12
3
1
30613
2
36469
3
0
0
x
2
1
36469
2
42324
0
U12
3
0
mark
1
1
0
0
0
36470
x
2
0
s
1
0
mark
1
1
0
plus
2
1
0
2
36469
0
U11
3
0
active
1
1
0
active
1
1
0
U21
3
0
U22
3
0
tt
0
5854
U22
3
1
28101
2
42324
3
36469
0
active
U12
tt
M
N
mark
s
plus
N
M
active
plus
N
s
M
mark
U11
tt
M
N
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
plus
X1
X2
mark
X1
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
U12
X1
X2
X3
active
U12
mark
X1
X2
X3
mark
s
X
mark
X
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
active
plus
N
0
mark
N
mark
x
X1
X2
active
x
mark
X1
mark
X2
active
U21
tt
M
N
mark
U22
tt
M
N
active
U11
tt
M
N
mark
U12
tt
M
N
active
x
N
s
M
mark
U21
tt
M
N
mark
U22
X1
X2
X3
active
U22
mark
X1
X2
X3
active
U22
tt
M
N
mark
plus
x
N
M
N
U11
mark
X1
X2
X3
U11
X1
X2
X3
x
active
X1
X2
x
X1
X2
active
U22
tt
M
N
mark
plus
x
N
M
N
mark
U22
X1
X2
X3
active
U22
mark
X1
X2
X3
active
x
N
s
M
mark
U21
tt
M
N
active
U11
tt
M
N
mark
U12
tt
M
N
active
U21
tt
M
N
mark
U22
tt
M
N
mark
x
X1
X2
active
x
mark
X1
mark
X2
U11
active
X1
X2
X3
U11
X1
X2
X3
U21
mark
X1
X2
X3
U21
X1
X2
X3
U12
X1
X2
mark
X3
U12
X1
X2
X3
U11
X1
mark
X2
X3
U11
X1
X2
X3
plus
mark
X1
X2
plus
X1
X2
mark
0
active
0
U12
active
X1
X2
X3
U12
X1
X2
X3
plus
active
X1
X2
plus
X1
X2
U11
X1
active
X2
X3
U11
X1
X2
X3
U12
X1
active
X2
X3
U12
X1
X2
X3
U22
X1
X2
mark
X3
U22
X1
X2
X3
active
plus
N
0
mark
N
plus
X1
mark
X2
plus
X1
X2
mark
tt
active
tt
U21
active
X1
X2
X3
U21
X1
X2
X3
active
x
N
0
mark
0
U11
X1
X2
mark
X3
U11
X1
X2
X3
U12
X1
mark
X2
X3
U12
X1
X2
X3
x
X1
mark
X2
x
X1
X2
s
mark
X
s
X
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
s
active
X
s
X
mark
s
X
active
s
mark
X
U22
active
X1
X2
X3
U22
X1
X2
X3
U11
X1
X2
active
X3
U11
X1
X2
X3
U12
mark
X1
X2
X3
U12
X1
X2
X3
mark
U12
X1
X2
X3
active
U12
mark
X1
X2
X3
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
x
X1
active
X2
x
X1
X2
U21
X1
active
X2
X3
U21
X1
X2
X3
active
plus
N
s
M
mark
U11
tt
M
N
U21
X1
X2
mark
X3
U21
X1
X2
X3
x
mark
X1
X2
x
X1
X2
U22
X1
X2
active
X3
U22
X1
X2
X3
U21
X1
mark
X2
X3
U21
X1
X2
X3
U21
X1
X2
active
X3
U21
X1
X2
X3
U22
mark
X1
X2
X3
U22
X1
X2
X3
U22
X1
active
X2
X3
U22
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U12
X1
X2
active
X3
U12
X1
X2
X3
U22
X1
mark
X2
X3
U22
X1
X2
X3
active
U12
tt
M
N
mark
s
plus
N
M
active
U22
tt
M
N
mark
plus
x
N
M
N
mark
U22
X1
X2
X3
active
U22
mark
X1
X2
X3
active
x
N
s
M
mark
U21
tt
M
N
active
U11
tt
M
N
mark
U12
tt
M
N
active
U21
tt
M
N
mark
U22
tt
M
N
mark
x
X1
X2
active
x
mark
X1
mark
X2
active
plus
N
0
mark
N
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
mark
s
X
mark
X
mark
U12
X1
X2
X3
active
U12
mark
X1
X2
X3
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
plus
X1
X2
mark
X1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
plus
N
s
M
mark
U11
tt
M
N
active
U12
tt
M
N
mark
s
plus
N
M
true
x
2
1
mark
1
1
active
1
1
U21
3
2
3
2
1
U11
3
1
3
2
1
s
1
0
1
plus
2
0
2
1
U12
3
1
3
2
1
x
2
2
1
2
U12
3
0
1
2
3
mark
1
3
1
0
0
1
s
1
0
plus
2
1
1
2
U11
3
0
2
1
3
active
1
3
1
U21
3
0
3
2
1
U22
3
0
2
3
1
tt
0
0
U22
3
2
3
2
1
U21
3
1
0
2
0
3
0
0
U11
3
1
0
2
0
3
0
0
s
1
1
0
plus
2
1
0
2
0
0
U12
3
1
0
2
0
3
0
0
x
2
1
0
2
0
0
U12
3
1
0
2
0
3
0
0
mark
1
1
0
0
0
0
s
1
0
plus
2
1
0
2
0
0
U11
3
1
0
2
0
3
0
0
active
1
1
0
U21
3
1
0
2
0
3
0
0
U22
3
1
0
2
0
3
0
0
tt
0
0
U22
3
1
0
2
0
3
0
0
active
plus
N
s
M
mark
U11
tt
M
N
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
U12
X1
X2
X3
active
U12
mark
X1
X2
X3
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
mark
x
X1
X2
active
x
mark
X1
mark
X2
active
U21
tt
M
N
mark
U22
tt
M
N
active
U11
tt
M
N
mark
U12
tt
M
N
mark
U22
X1
X2
X3
active
U22
mark
X1
X2
X3
U11
mark
X1
X2
X3
U11
X1
X2
X3
x
active
X1
X2
x
X1
X2
active
U22
tt
M
N
mark
plus
x
N
M
N
mark
U22
X1
X2
X3
active
U22
mark
X1
X2
X3
active
x
N
s
M
mark
U21
tt
M
N
active
U11
tt
M
N
mark
U12
tt
M
N
active
U21
tt
M
N
mark
U22
tt
M
N
mark
x
X1
X2
active
x
mark
X1
mark
X2
U11
active
X1
X2
X3
U11
X1
X2
X3
U21
mark
X1
X2
X3
U21
X1
X2
X3
U12
X1
X2
mark
X3
U12
X1
X2
X3
U11
X1
mark
X2
X3
U11
X1
X2
X3
plus
mark
X1
X2
plus
X1
X2
mark
0
active
0
U12
active
X1
X2
X3
U12
X1
X2
X3
plus
active
X1
X2
plus
X1
X2
U11
X1
active
X2
X3
U11
X1
X2
X3
U12
X1
active
X2
X3
U12
X1
X2
X3
U22
X1
X2
mark
X3
U22
X1
X2
X3
active
plus
N
0
mark
N
plus
X1
mark
X2
plus
X1
X2
mark
tt
active
tt
U21
active
X1
X2
X3
U21
X1
X2
X3
active
x
N
0
mark
0
U11
X1
X2
mark
X3
U11
X1
X2
X3
U12
X1
mark
X2
X3
U12
X1
X2
X3
x
X1
mark
X2
x
X1
X2
s
mark
X
s
X
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
s
active
X
s
X
mark
s
X
active
s
mark
X
U22
active
X1
X2
X3
U22
X1
X2
X3
U11
X1
X2
active
X3
U11
X1
X2
X3
U12
mark
X1
X2
X3
U12
X1
X2
X3
mark
U12
X1
X2
X3
active
U12
mark
X1
X2
X3
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
x
X1
active
X2
x
X1
X2
U21
X1
active
X2
X3
U21
X1
X2
X3
active
plus
N
s
M
mark
U11
tt
M
N
U21
X1
X2
mark
X3
U21
X1
X2
X3
x
mark
X1
X2
x
X1
X2
U22
X1
X2
active
X3
U22
X1
X2
X3
U21
X1
mark
X2
X3
U21
X1
X2
X3
U21
X1
X2
active
X3
U21
X1
X2
X3
U22
mark
X1
X2
X3
U22
X1
X2
X3
U22
X1
active
X2
X3
U22
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U12
X1
X2
active
X3
U12
X1
X2
X3
U22
X1
mark
X2
X3
U22
X1
X2
X3
active
U12
tt
M
N
mark
s
plus
N
M
mark
U22
X1
X2
X3
active
U22
mark
X1
X2
X3
active
U11
tt
M
N
mark
U12
tt
M
N
active
U21
tt
M
N
mark
U22
tt
M
N
mark
x
X1
X2
active
x
mark
X1
mark
X2
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
mark
U12
X1
X2
X3
active
U12
mark
X1
X2
X3
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
plus
N
s
M
mark
U11
tt
M
N
true
U21
3
4296
U11
3
4295
s
1
15593
plus
2
0
U12
3
4295
x
2
2
4296
U12
3
0
mark
1
1
5432
0
0
19891
x
2
0
s
1
0
mark
1
19890
plus
2
4296
U11
3
0
active
1
1
0
active
1
9727
U21
3
0
U22
3
0
tt
0
19891
U22
3
4295
active
plus
N
s
M
mark
U11
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
active
U21
tt
M
N
mark
U22
tt
M
N
active
U11
tt
M
N
mark
U12
tt
M
N
mark
U22
X1
X2
X3
active
U22
mark
X1
X2
X3
U11
mark
X1
X2
X3
U11
X1
X2
X3
U11
active
X1
X2
X3
U11
X1
X2
X3
U21
mark
X1
X2
X3
U21
X1
X2
X3
U12
X1
X2
mark
X3
U12
X1
X2
X3
U11
X1
mark
X2
X3
U11
X1
X2
X3
plus
mark
X1
X2
plus
X1
X2
U12
active
X1
X2
X3
U12
X1
X2
X3
plus
active
X1
X2
plus
X1
X2
U11
X1
active
X2
X3
U11
X1
X2
X3
U12
X1
active
X2
X3
U12
X1
X2
X3
U22
X1
X2
mark
X3
U22
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
U21
active
X1
X2
X3
U21
X1
X2
X3
U11
X1
X2
mark
X3
U11
X1
X2
X3
U12
X1
mark
X2
X3
U12
X1
X2
X3
s
mark
X
s
X
s
active
X
s
X
U22
active
X1
X2
X3
U22
X1
X2
X3
U11
X1
X2
active
X3
U11
X1
X2
X3
U12
mark
X1
X2
X3
U12
X1
X2
X3
U21
X1
active
X2
X3
U21
X1
X2
X3
U21
X1
X2
mark
X3
U21
X1
X2
X3
U22
X1
X2
active
X3
U22
X1
X2
X3
U21
X1
mark
X2
X3
U21
X1
X2
X3
U21
X1
X2
active
X3
U21
X1
X2
X3
U22
mark
X1
X2
X3
U22
X1
X2
X3
U22
X1
active
X2
X3
U22
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U12
X1
X2
active
X3
U12
X1
X2
X3
U22
X1
mark
X2
X3
U22
X1
X2
X3
mark
U22
X1
X2
X3
active
U22
mark
X1
X2
X3
active
U11
tt
M
N
mark
U12
tt
M
N
active
U21
tt
M
N
mark
U22
tt
M
N
mark
U12
X1
X2
X3
active
U12
mark
X1
X2
X3
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
active
plus
N
s
M
mark
U11
tt
M
N
true
U21
3
0
U11
3
0
s
1
0
plus
2
0
U12
3
0
x
2
1
U12
3
0
mark
1
9727
0
0
1
x
2
0
s
1
0
mark
1
1
plus
2
1
U11
3
0
active
1
1
active
1
1
9727
U21
3
0
U22
3
0
tt
0
0
U22
3
0
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
U12
X1
X2
X3
active
U12
mark
X1
X2
X3
active
U21
tt
M
N
mark
U22
tt
M
N
active
U11
tt
M
N
mark
U12
tt
M
N
mark
U22
X1
X2
X3
active
U22
mark
X1
X2
X3
U11
mark
X1
X2
X3
U11
X1
X2
X3
x
active
X1
X2
x
X1
X2
active
U22
tt
M
N
mark
plus
x
N
M
N
mark
U22
X1
X2
X3
active
U22
mark
X1
X2
X3
active
x
N
s
M
mark
U21
tt
M
N
active
U11
tt
M
N
mark
U12
tt
M
N
active
U21
tt
M
N
mark
U22
tt
M
N
mark
x
X1
X2
active
x
mark
X1
mark
X2
U11
active
X1
X2
X3
U11
X1
X2
X3
U21
mark
X1
X2
X3
U21
X1
X2
X3
U12
X1
X2
mark
X3
U12
X1
X2
X3
U11
X1
mark
X2
X3
U11
X1
X2
X3
plus
mark
X1
X2
plus
X1
X2
mark
0
active
0
U12
active
X1
X2
X3
U12
X1
X2
X3
plus
active
X1
X2
plus
X1
X2
U11
X1
active
X2
X3
U11
X1
X2
X3
U12
X1
active
X2
X3
U12
X1
X2
X3
U22
X1
X2
mark
X3
U22
X1
X2
X3
active
plus
N
0
mark
N
plus
X1
mark
X2
plus
X1
X2
mark
tt
active
tt
U21
active
X1
X2
X3
U21
X1
X2
X3
active
x
N
0
mark
0
U11
X1
X2
mark
X3
U11
X1
X2
X3
U12
X1
mark
X2
X3
U12
X1
X2
X3
x
X1
mark
X2
x
X1
X2
s
mark
X
s
X
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
s
active
X
s
X
mark
s
X
active
s
mark
X
U22
active
X1
X2
X3
U22
X1
X2
X3
U11
X1
X2
active
X3
U11
X1
X2
X3
U12
mark
X1
X2
X3
U12
X1
X2
X3
mark
U12
X1
X2
X3
active
U12
mark
X1
X2
X3
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
x
X1
active
X2
x
X1
X2
U21
X1
active
X2
X3
U21
X1
X2
X3
active
plus
N
s
M
mark
U11
tt
M
N
U21
X1
X2
mark
X3
U21
X1
X2
X3
x
mark
X1
X2
x
X1
X2
U22
X1
X2
active
X3
U22
X1
X2
X3
U21
X1
mark
X2
X3
U21
X1
X2
X3
U21
X1
X2
active
X3
U21
X1
X2
X3
U22
mark
X1
X2
X3
U22
X1
X2
X3
U22
X1
active
X2
X3
U22
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U12
X1
X2
active
X3
U12
X1
X2
X3
U22
X1
mark
X2
X3
U22
X1
X2
X3
active
U12
tt
M
N
mark
s
plus
N
M
mark
U22
X1
X2
X3
active
U22
mark
X1
X2
X3
active
U11
tt
M
N
mark
U12
tt
M
N
active
U21
tt
M
N
mark
U22
tt
M
N
mark
U12
X1
X2
X3
active
U12
mark
X1
X2
X3
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
true
U21
3
2
3
9216
U11
3
9215
s
1
0
plus
2
0
U12
3
4608
x
2
13824
U12
3
0
mark
1
9727
0
0
9217
x
2
0
s
1
0
mark
1
1
4608
plus
2
1
U11
3
0
active
1
1
0
active
1
1
512
U21
3
0
U22
3
0
tt
0
24234
U22
3
4609
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
active
U11
tt
M
N
mark
U12
tt
M
N
U11
mark
X1
X2
X3
U11
X1
X2
X3
x
active
X1
X2
x
X1
X2
U11
active
X1
X2
X3
U11
X1
X2
X3
U21
mark
X1
X2
X3
U21
X1
X2
X3
U12
X1
X2
mark
X3
U12
X1
X2
X3
U11
X1
mark
X2
X3
U11
X1
X2
X3
plus
mark
X1
X2
plus
X1
X2
U12
active
X1
X2
X3
U12
X1
X2
X3
plus
active
X1
X2
plus
X1
X2
U11
X1
active
X2
X3
U11
X1
X2
X3
U12
X1
active
X2
X3
U12
X1
X2
X3
U22
X1
X2
mark
X3
U22
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
U21
active
X1
X2
X3
U21
X1
X2
X3
U11
X1
X2
mark
X3
U11
X1
X2
X3
U12
X1
mark
X2
X3
U12
X1
X2
X3
x
X1
mark
X2
x
X1
X2
s
mark
X
s
X
s
active
X
s
X
U22
active
X1
X2
X3
U22
X1
X2
X3
U11
X1
X2
active
X3
U11
X1
X2
X3
U12
mark
X1
X2
X3
U12
X1
X2
X3
x
X1
active
X2
x
X1
X2
U21
X1
active
X2
X3
U21
X1
X2
X3
U21
X1
X2
mark
X3
U21
X1
X2
X3
x
mark
X1
X2
x
X1
X2
U22
X1
X2
active
X3
U22
X1
X2
X3
U21
X1
mark
X2
X3
U21
X1
X2
X3
U21
X1
X2
active
X3
U21
X1
X2
X3
U22
mark
X1
X2
X3
U22
X1
X2
X3
U22
X1
active
X2
X3
U22
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U12
X1
X2
active
X3
U12
X1
X2
X3
U22
X1
mark
X2
X3
U22
X1
X2
X3
active
U11
tt
M
N
mark
U12
tt
M
N
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
true
U21
3
2
3
3621
U11
3
3
22631
s
1
0
plus
2
0
U12
3
11316
x
2
14937
U12
3
0
mark
1
1
1
0
0
9217
x
2
0
s
1
0
mark
1
1
11316
plus
2
1
U11
3
0
active
1
1
0
active
1
1
0
U21
3
0
U22
3
0
tt
0
24234
U22
3
15908
U11
mark
X1
X2
X3
U11
X1
X2
X3
x
active
X1
X2
x
X1
X2
U11
active
X1
X2
X3
U11
X1
X2
X3
U21
mark
X1
X2
X3
U21
X1
X2
X3
U12
X1
X2
mark
X3
U12
X1
X2
X3
U11
X1
mark
X2
X3
U11
X1
X2
X3
plus
mark
X1
X2
plus
X1
X2
U12
active
X1
X2
X3
U12
X1
X2
X3
plus
active
X1
X2
plus
X1
X2
U11
X1
active
X2
X3
U11
X1
X2
X3
U12
X1
active
X2
X3
U12
X1
X2
X3
U22
X1
X2
mark
X3
U22
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
U21
active
X1
X2
X3
U21
X1
X2
X3
U11
X1
X2
mark
X3
U11
X1
X2
X3
U12
X1
mark
X2
X3
U12
X1
X2
X3
x
X1
mark
X2
x
X1
X2
s
mark
X
s
X
s
active
X
s
X
U22
active
X1
X2
X3
U22
X1
X2
X3
U11
X1
X2
active
X3
U11
X1
X2
X3
U12
mark
X1
X2
X3
U12
X1
X2
X3
x
X1
active
X2
x
X1
X2
U21
X1
active
X2
X3
U21
X1
X2
X3
U21
X1
X2
mark
X3
U21
X1
X2
X3
x
mark
X1
X2
x
X1
X2
U22
X1
X2
active
X3
U22
X1
X2
X3
U21
X1
mark
X2
X3
U21
X1
X2
X3
U21
X1
X2
active
X3
U21
X1
X2
X3
U22
mark
X1
X2
X3
U22
X1
X2
X3
U22
X1
active
X2
X3
U22
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U12
X1
X2
active
X3
U12
X1
X2
X3
U22
X1
mark
X2
X3
U22
X1
X2
X3
active
U12
tt
M
N
s
plus
N
M
false
active
U12
tt
M
N
plus
N
M
false
mark
plus
X1
X2
plus
mark
X1
mark
X2
false
active
plus
N
s
M
U11
tt
M
N
false
active
x
N
0
mark
0
false
mark
U11
X1
X2
X3
U11
mark
X1
X2
X3
false
U11
X1
active
X2
X3
U11
X1
X2
X3
U11
X1
mark
X2
X3
U11
X1
X2
X3
U11
active
X1
X2
X3
U11
X1
X2
X3
U11
mark
X1
X2
X3
U11
X1
X2
X3
U11
X1
X2
mark
X3
U11
X1
X2
X3
U11
X1
X2
active
X3
U11
X1
X2
X3
true
U21
3
2
3
1
U11
3
3
2103
s
1
0
plus
2
0
U12
3
26785
x
2
5857
U12
3
0
mark
1
1
1
0
0
9217
x
2
0
s
1
0
mark
1
1
3
plus
2
1
U11
3
1
3
0
active
1
1
1
active
1
1
0
U21
3
0
U22
3
0
tt
0
1
U22
3
15908
U11
X1
mark
X2
X3
U11
X1
X2
X3
U11
X1
active
X2
X3
U11
X1
X2
X3
U11
mark
X1
X2
X3
U11
X1
X2
X3
x
active
X1
X2
x
X1
X2
U11
active
X1
X2
X3
U11
X1
X2
X3
U21
mark
X1
X2
X3
U21
X1
X2
X3
U12
X1
X2
mark
X3
U12
X1
X2
X3
U11
X1
mark
X2
X3
U11
X1
X2
X3
plus
mark
X1
X2
plus
X1
X2
U12
active
X1
X2
X3
U12
X1
X2
X3
plus
active
X1
X2
plus
X1
X2
U11
X1
active
X2
X3
U11
X1
X2
X3
U12
X1
active
X2
X3
U12
X1
X2
X3
U22
X1
X2
mark
X3
U22
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
U21
active
X1
X2
X3
U21
X1
X2
X3
U11
X1
X2
mark
X3
U11
X1
X2
X3
U12
X1
mark
X2
X3
U12
X1
X2
X3
x
X1
mark
X2
x
X1
X2
s
mark
X
s
X
s
active
X
s
X
U22
active
X1
X2
X3
U22
X1
X2
X3
U11
X1
X2
active
X3
U11
X1
X2
X3
U12
mark
X1
X2
X3
U12
X1
X2
X3
x
X1
active
X2
x
X1
X2
U21
X1
active
X2
X3
U21
X1
X2
X3
U21
X1
X2
mark
X3
U21
X1
X2
X3
x
mark
X1
X2
x
X1
X2
U22
X1
X2
active
X3
U22
X1
X2
X3
U21
X1
mark
X2
X3
U21
X1
X2
X3
U21
X1
X2
active
X3
U21
X1
X2
X3
U22
mark
X1
X2
X3
U22
X1
X2
X3
U22
X1
active
X2
X3
U22
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U12
X1
X2
active
X3
U12
X1
X2
X3
U22
X1
mark
X2
X3
U22
X1
X2
X3
U11
X1
mark
X2
X3
U11
X1
X2
X3
U11
X1
active
X2
X3
U11
X1
X2
X3
true
U21
3
2
3
2246
U11
3
3
1441
s
1
0
plus
2
0
U12
3
2632
x
2
21903
U12
3
0
mark
1
1
1
0
0
19272
x
2
0
s
1
0
mark
1
1
2633
plus
2
2631
U11
3
2
0
active
1
1
1
active
1
1
0
U21
3
0
U22
3
0
tt
0
21314
U22
3
5263
U11
mark
X1
X2
X3
U11
X1
X2
X3
x
active
X1
X2
x
X1
X2
U11
active
X1
X2
X3
U11
X1
X2
X3
U21
mark
X1
X2
X3
U21
X1
X2
X3
U12
X1
X2
mark
X3
U12
X1
X2
X3
U11
X1
mark
X2
X3
U11
X1
X2
X3
plus
mark
X1
X2
plus
X1
X2
U12
active
X1
X2
X3
U12
X1
X2
X3
plus
active
X1
X2
plus
X1
X2
U11
X1
active
X2
X3
U11
X1
X2
X3
U12
X1
active
X2
X3
U12
X1
X2
X3
U22
X1
X2
mark
X3
U22
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
U21
active
X1
X2
X3
U21
X1
X2
X3
U11
X1
X2
mark
X3
U11
X1
X2
X3
U12
X1
mark
X2
X3
U12
X1
X2
X3
x
X1
mark
X2
x
X1
X2
s
mark
X
s
X
s
active
X
s
X
U22
active
X1
X2
X3
U22
X1
X2
X3
U11
X1
X2
active
X3
U11
X1
X2
X3
U12
mark
X1
X2
X3
U12
X1
X2
X3
x
X1
active
X2
x
X1
X2
U21
X1
active
X2
X3
U21
X1
X2
X3
U21
X1
X2
mark
X3
U21
X1
X2
X3
x
mark
X1
X2
x
X1
X2
U22
X1
X2
active
X3
U22
X1
X2
X3
U21
X1
mark
X2
X3
U21
X1
X2
X3
U21
X1
X2
active
X3
U21
X1
X2
X3
U22
mark
X1
X2
X3
U22
X1
X2
X3
U22
X1
active
X2
X3
U22
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U12
X1
X2
active
X3
U12
X1
X2
X3
U22
X1
mark
X2
X3
U22
X1
X2
X3
mark
U12
X1
X2
X3
U12
mark
X1
X2
X3
false
active
U21
tt
M
N
U22
tt
M
N
false
mark
s
X
s
mark
X
false
s
mark
X
s
X
s
active
X
s
X
true
U21
3
2
3
20694
U11
3
3
1898
s
1
0
plus
2
0
U12
3
34052
x
2
85605
U12
3
0
mark
1
1
1
0
0
51554
x
2
0
s
1
1
0
mark
1
1
34053
plus
2
34051
U11
3
0
active
1
1
1
active
1
1
0
U21
3
0
U22
3
0
tt
0
39502
U22
3
68103
U11
mark
X1
X2
X3
U11
X1
X2
X3
x
active
X1
X2
x
X1
X2
U11
active
X1
X2
X3
U11
X1
X2
X3
U21
mark
X1
X2
X3
U21
X1
X2
X3
U12
X1
X2
mark
X3
U12
X1
X2
X3
U11
X1
mark
X2
X3
U11
X1
X2
X3
plus
mark
X1
X2
plus
X1
X2
U12
active
X1
X2
X3
U12
X1
X2
X3
plus
active
X1
X2
plus
X1
X2
U11
X1
active
X2
X3
U11
X1
X2
X3
U12
X1
active
X2
X3
U12
X1
X2
X3
U22
X1
X2
mark
X3
U22
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
U21
active
X1
X2
X3
U21
X1
X2
X3
U11
X1
X2
mark
X3
U11
X1
X2
X3
U12
X1
mark
X2
X3
U12
X1
X2
X3
x
X1
mark
X2
x
X1
X2
s
mark
X
s
X
s
active
X
s
X
U22
active
X1
X2
X3
U22
X1
X2
X3
U11
X1
X2
active
X3
U11
X1
X2
X3
U12
mark
X1
X2
X3
U12
X1
X2
X3
x
X1
active
X2
x
X1
X2
U21
X1
active
X2
X3
U21
X1
X2
X3
U21
X1
X2
mark
X3
U21
X1
X2
X3
x
mark
X1
X2
x
X1
X2
U22
X1
X2
active
X3
U22
X1
X2
X3
U21
X1
mark
X2
X3
U21
X1
X2
X3
U21
X1
X2
active
X3
U21
X1
X2
X3
U22
mark
X1
X2
X3
U22
X1
X2
X3
U22
X1
active
X2
X3
U22
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U12
X1
X2
active
X3
U12
X1
X2
X3
U22
X1
mark
X2
X3
U22
X1
X2
X3
active
U11
tt
M
N
U12
tt
M
N
false
U12
active
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
X1
active
X2
X3
U12
X1
X2
X3
U12
mark
X1
X2
X3
U12
X1
X2
X3
U12
X1
X2
active
X3
U12
X1
X2
X3
true
U21
3
2
3
1
U11
3
3
1
s
1
0
plus
2
0
U12
3
9994
x
2
3
U12
3
1
2
3
0
mark
1
1
1
0
0
2
x
2
0
s
1
0
mark
1
1
3
plus
2
1
U11
3
0
active
1
1
1
active
1
1
0
U21
3
0
U22
3
0
tt
0
57076
U22
3
32092
U11
mark
X1
X2
X3
U11
X1
X2
X3
x
active
X1
X2
x
X1
X2
U11
active
X1
X2
X3
U11
X1
X2
X3
U21
mark
X1
X2
X3
U21
X1
X2
X3
U12
X1
X2
mark
X3
U12
X1
X2
X3
U11
X1
mark
X2
X3
U11
X1
X2
X3
plus
mark
X1
X2
plus
X1
X2
U12
active
X1
X2
X3
U12
X1
X2
X3
plus
active
X1
X2
plus
X1
X2
U11
X1
active
X2
X3
U11
X1
X2
X3
U12
X1
active
X2
X3
U12
X1
X2
X3
U22
X1
X2
mark
X3
U22
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
U21
active
X1
X2
X3
U21
X1
X2
X3
U11
X1
X2
mark
X3
U11
X1
X2
X3
U12
X1
mark
X2
X3
U12
X1
X2
X3
x
X1
mark
X2
x
X1
X2
s
mark
X
s
X
s
active
X
s
X
U22
active
X1
X2
X3
U22
X1
X2
X3
U11
X1
X2
active
X3
U11
X1
X2
X3
U12
mark
X1
X2
X3
U12
X1
X2
X3
x
X1
active
X2
x
X1
X2
U21
X1
active
X2
X3
U21
X1
X2
X3
U21
X1
X2
mark
X3
U21
X1
X2
X3
x
mark
X1
X2
x
X1
X2
U22
X1
X2
active
X3
U22
X1
X2
X3
U21
X1
mark
X2
X3
U21
X1
X2
X3
U21
X1
X2
active
X3
U21
X1
X2
X3
U22
mark
X1
X2
X3
U22
X1
X2
X3
U22
X1
active
X2
X3
U22
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U12
X1
X2
active
X3
U12
X1
X2
X3
U22
X1
mark
X2
X3
U22
X1
X2
X3
mark
U21
X1
X2
X3
U21
mark
X1
X2
X3
false
mark
tt
active
tt
false
mark
0
active
0
false
active
x
N
s
M
U21
tt
M
N
false
U21
mark
X1
X2
X3
U21
X1
X2
X3
U21
X1
active
X2
X3
U21
X1
X2
X3
U21
X1
X2
active
X3
U21
X1
X2
X3
U21
X1
X2
mark
X3
U21
X1
X2
X3
U21
X1
mark
X2
X3
U21
X1
X2
X3
U21
active
X1
X2
X3
U21
X1
X2
X3
true
U21
3
2
3
1
U11
3
3
1
s
1
0
plus
2
0
U12
3
16960
x
2
3
U12
3
0
mark
1
1
1
0
0
2
x
2
0
s
1
0
mark
1
1
3
plus
2
1
U11
3
0
active
1
1
1
active
1
1
0
U21
3
1
2
3
0
U22
3
0
tt
0
1
U22
3
26357
U11
mark
X1
X2
X3
U11
X1
X2
X3
x
active
X1
X2
x
X1
X2
U11
active
X1
X2
X3
U11
X1
X2
X3
U21
mark
X1
X2
X3
U21
X1
X2
X3
U12
X1
X2
mark
X3
U12
X1
X2
X3
U11
X1
mark
X2
X3
U11
X1
X2
X3
plus
mark
X1
X2
plus
X1
X2
U12
active
X1
X2
X3
U12
X1
X2
X3
plus
active
X1
X2
plus
X1
X2
U11
X1
active
X2
X3
U11
X1
X2
X3
U12
X1
active
X2
X3
U12
X1
X2
X3
U22
X1
X2
mark
X3
U22
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
U21
active
X1
X2
X3
U21
X1
X2
X3
U11
X1
X2
mark
X3
U11
X1
X2
X3
U12
X1
mark
X2
X3
U12
X1
X2
X3
x
X1
mark
X2
x
X1
X2
s
mark
X
s
X
s
active
X
s
X
U22
active
X1
X2
X3
U22
X1
X2
X3
U11
X1
X2
active
X3
U11
X1
X2
X3
U12
mark
X1
X2
X3
U12
X1
X2
X3
x
X1
active
X2
x
X1
X2
U21
X1
active
X2
X3
U21
X1
X2
X3
U21
X1
X2
mark
X3
U21
X1
X2
X3
x
mark
X1
X2
x
X1
X2
U22
X1
X2
active
X3
U22
X1
X2
X3
U21
X1
mark
X2
X3
U21
X1
X2
X3
U21
X1
X2
active
X3
U21
X1
X2
X3
U22
mark
X1
X2
X3
U22
X1
X2
X3
U22
X1
active
X2
X3
U22
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U12
X1
X2
active
X3
U12
X1
X2
X3
U22
X1
mark
X2
X3
U22
X1
X2
X3
mark
x
X1
X2
x
mark
X1
mark
X2
false
active
U22
tt
M
N
plus
x
N
M
N
false
plus
active
X1
X2
plus
X1
X2
plus
X1
mark
X2
plus
X1
X2
plus
X1
active
X2
plus
X1
X2
plus
mark
X1
X2
plus
X1
X2
true
U21
3
2
3
1
U11
3
3
17724
s
1
0
plus
2
1
2
0
U12
3
25645
x
2
3
U12
3
0
mark
1
1
1
0
0
2
x
2
0
s
1
0
mark
1
1
3
plus
2
1
U11
3
0
active
1
1
1
active
1
1
0
U21
3
0
U22
3
0
tt
0
1
U22
3
26964
U11
mark
X1
X2
X3
U11
X1
X2
X3
x
active
X1
X2
x
X1
X2
U11
active
X1
X2
X3
U11
X1
X2
X3
U21
mark
X1
X2
X3
U21
X1
X2
X3
U12
X1
X2
mark
X3
U12
X1
X2
X3
U11
X1
mark
X2
X3
U11
X1
X2
X3
plus
mark
X1
X2
plus
X1
X2
U12
active
X1
X2
X3
U12
X1
X2
X3
plus
active
X1
X2
plus
X1
X2
U11
X1
active
X2
X3
U11
X1
X2
X3
U12
X1
active
X2
X3
U12
X1
X2
X3
U22
X1
X2
mark
X3
U22
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
U21
active
X1
X2
X3
U21
X1
X2
X3
U11
X1
X2
mark
X3
U11
X1
X2
X3
U12
X1
mark
X2
X3
U12
X1
X2
X3
x
X1
mark
X2
x
X1
X2
s
mark
X
s
X
s
active
X
s
X
U22
active
X1
X2
X3
U22
X1
X2
X3
U11
X1
X2
active
X3
U11
X1
X2
X3
U12
mark
X1
X2
X3
U12
X1
X2
X3
x
X1
active
X2
x
X1
X2
U21
X1
active
X2
X3
U21
X1
X2
X3
U21
X1
X2
mark
X3
U21
X1
X2
X3
x
mark
X1
X2
x
X1
X2
U22
X1
X2
active
X3
U22
X1
X2
X3
U21
X1
mark
X2
X3
U21
X1
X2
X3
U21
X1
X2
active
X3
U21
X1
X2
X3
U22
mark
X1
X2
X3
U22
X1
X2
X3
U22
X1
active
X2
X3
U22
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U12
X1
X2
active
X3
U12
X1
X2
X3
U22
X1
mark
X2
X3
U22
X1
X2
X3
active
U22
tt
M
N
x
N
M
false
x
mark
X1
X2
x
X1
X2
x
X1
active
X2
x
X1
X2
x
active
X1
X2
x
X1
X2
x
X1
mark
X2
x
X1
X2
true
U21
3
2
3
1
U11
3
3
1
s
1
0
plus
2
0
U12
3
29192
x
2
13521
U12
3
0
mark
1
1
1
0
0
39004
x
2
1
0
s
1
0
mark
1
1
3
plus
2
1
U11
3
0
active
1
1
1
active
1
1
0
U21
3
0
U22
3
0
tt
0
1
U22
3
3
x
X1
mark
X2
x
X1
X2
x
X1
active
X2
x
X1
X2
U11
mark
X1
X2
X3
U11
X1
X2
X3
x
active
X1
X2
x
X1
X2
U11
active
X1
X2
X3
U11
X1
X2
X3
U21
mark
X1
X2
X3
U21
X1
X2
X3
U12
X1
X2
mark
X3
U12
X1
X2
X3
U11
X1
mark
X2
X3
U11
X1
X2
X3
plus
mark
X1
X2
plus
X1
X2
U12
active
X1
X2
X3
U12
X1
X2
X3
plus
active
X1
X2
plus
X1
X2
U11
X1
active
X2
X3
U11
X1
X2
X3
U12
X1
active
X2
X3
U12
X1
X2
X3
U22
X1
X2
mark
X3
U22
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
U21
active
X1
X2
X3
U21
X1
X2
X3
U11
X1
X2
mark
X3
U11
X1
X2
X3
U12
X1
mark
X2
X3
U12
X1
X2
X3
x
X1
mark
X2
x
X1
X2
s
mark
X
s
X
s
active
X
s
X
U22
active
X1
X2
X3
U22
X1
X2
X3
U11
X1
X2
active
X3
U11
X1
X2
X3
U12
mark
X1
X2
X3
U12
X1
X2
X3
x
X1
active
X2
x
X1
X2
U21
X1
active
X2
X3
U21
X1
X2
X3
U21
X1
X2
mark
X3
U21
X1
X2
X3
x
mark
X1
X2
x
X1
X2
U22
X1
X2
active
X3
U22
X1
X2
X3
U21
X1
mark
X2
X3
U21
X1
X2
X3
U21
X1
X2
active
X3
U21
X1
X2
X3
U22
mark
X1
X2
X3
U22
X1
X2
X3
U22
X1
active
X2
X3
U22
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U12
X1
X2
active
X3
U12
X1
X2
X3
U22
X1
mark
X2
X3
U22
X1
X2
X3
x
X1
mark
X2
x
X1
X2
x
X1
active
X2
x
X1
X2
true
U21
3
2
3
10867
U11
3
3
1
s
1
0
plus
2
0
U12
3
7037
x
2
17904
U12
3
0
mark
1
1
1
0
0
39119
x
2
2
0
s
1
0
mark
1
1
7038
plus
2
1
U11
3
0
active
1
1
1
active
1
1
0
U21
3
0
U22
3
0
tt
0
40807
U22
3
28922
U11
mark
X1
X2
X3
U11
X1
X2
X3
x
active
X1
X2
x
X1
X2
U11
active
X1
X2
X3
U11
X1
X2
X3
U21
mark
X1
X2
X3
U21
X1
X2
X3
U12
X1
X2
mark
X3
U12
X1
X2
X3
U11
X1
mark
X2
X3
U11
X1
X2
X3
plus
mark
X1
X2
plus
X1
X2
U12
active
X1
X2
X3
U12
X1
X2
X3
plus
active
X1
X2
plus
X1
X2
U11
X1
active
X2
X3
U11
X1
X2
X3
U12
X1
active
X2
X3
U12
X1
X2
X3
U22
X1
X2
mark
X3
U22
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
U21
active
X1
X2
X3
U21
X1
X2
X3
U11
X1
X2
mark
X3
U11
X1
X2
X3
U12
X1
mark
X2
X3
U12
X1
X2
X3
x
X1
mark
X2
x
X1
X2
s
mark
X
s
X
s
active
X
s
X
U22
active
X1
X2
X3
U22
X1
X2
X3
U11
X1
X2
active
X3
U11
X1
X2
X3
U12
mark
X1
X2
X3
U12
X1
X2
X3
x
X1
active
X2
x
X1
X2
U21
X1
active
X2
X3
U21
X1
X2
X3
U21
X1
X2
mark
X3
U21
X1
X2
X3
x
mark
X1
X2
x
X1
X2
U22
X1
X2
active
X3
U22
X1
X2
X3
U21
X1
mark
X2
X3
U21
X1
X2
X3
U21
X1
X2
active
X3
U21
X1
X2
X3
U22
mark
X1
X2
X3
U22
X1
X2
X3
U22
X1
active
X2
X3
U22
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U12
X1
X2
active
X3
U12
X1
X2
X3
U22
X1
mark
X2
X3
U22
X1
X2
X3
mark
U22
X1
X2
X3
U22
mark
X1
X2
X3
false
U22
X1
mark
X2
X3
U22
X1
X2
X3
U22
active
X1
X2
X3
U22
X1
X2
X3
U22
mark
X1
X2
X3
U22
X1
X2
X3
U22
X1
X2
active
X3
U22
X1
X2
X3
U22
X1
X2
mark
X3
U22
X1
X2
X3
U22
X1
active
X2
X3
U22
X1
X2
X3
true
U21
3
2
3
1
U11
3
3
1
s
1
0
plus
2
0
U12
3
2
x
2
3
U12
3
0
mark
1
1
1
0
0
2
x
2
0
s
1
0
mark
1
1
3
plus
2
1
U11
3
0
active
1
1
1
active
1
1
0
U21
3
0
U22
3
1
3
0
tt
0
8128
U22
3
28118
U22
X1
active
X2
X3
U22
X1
X2
X3
U22
X1
mark
X2
X3
U22
X1
X2
X3
U11
mark
X1
X2
X3
U11
X1
X2
X3
x
active
X1
X2
x
X1
X2
U11
active
X1
X2
X3
U11
X1
X2
X3
U21
mark
X1
X2
X3
U21
X1
X2
X3
U12
X1
X2
mark
X3
U12
X1
X2
X3
U11
X1
mark
X2
X3
U11
X1
X2
X3
plus
mark
X1
X2
plus
X1
X2
U12
active
X1
X2
X3
U12
X1
X2
X3
plus
active
X1
X2
plus
X1
X2
U11
X1
active
X2
X3
U11
X1
X2
X3
U12
X1
active
X2
X3
U12
X1
X2
X3
U22
X1
X2
mark
X3
U22
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
U21
active
X1
X2
X3
U21
X1
X2
X3
U11
X1
X2
mark
X3
U11
X1
X2
X3
U12
X1
mark
X2
X3
U12
X1
X2
X3
x
X1
mark
X2
x
X1
X2
s
mark
X
s
X
s
active
X
s
X
U22
active
X1
X2
X3
U22
X1
X2
X3
U11
X1
X2
active
X3
U11
X1
X2
X3
U12
mark
X1
X2
X3
U12
X1
X2
X3
x
X1
active
X2
x
X1
X2
U21
X1
active
X2
X3
U21
X1
X2
X3
U21
X1
X2
mark
X3
U21
X1
X2
X3
x
mark
X1
X2
x
X1
X2
U22
X1
X2
active
X3
U22
X1
X2
X3
U21
X1
mark
X2
X3
U21
X1
X2
X3
U21
X1
X2
active
X3
U21
X1
X2
X3
U22
mark
X1
X2
X3
U22
X1
X2
X3
U22
X1
active
X2
X3
U22
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U12
X1
X2
active
X3
U12
X1
X2
X3
U22
X1
mark
X2
X3
U22
X1
X2
X3
U22
X1
active
X2
X3
U22
X1
X2
X3
U22
X1
mark
X2
X3
U22
X1
X2
X3
true
U21
3
2
3
1
U11
3
3
2089
s
1
0
plus
2
0
U12
3
39724
x
2
3
U12
3
0
mark
1
1
1
0
0
9590
x
2
0
s
1
0
mark
1
1
3
plus
2
1
U11
3
0
active
1
1
1
active
1
1
0
U21
3
0
U22
3
2
0
tt
0
57205
U22
3
19456
U11
mark
X1
X2
X3
U11
X1
X2
X3
x
active
X1
X2
x
X1
X2
U11
active
X1
X2
X3
U11
X1
X2
X3
U21
mark
X1
X2
X3
U21
X1
X2
X3
U12
X1
X2
mark
X3
U12
X1
X2
X3
U11
X1
mark
X2
X3
U11
X1
X2
X3
plus
mark
X1
X2
plus
X1
X2
U12
active
X1
X2
X3
U12
X1
X2
X3
plus
active
X1
X2
plus
X1
X2
U11
X1
active
X2
X3
U11
X1
X2
X3
U12
X1
active
X2
X3
U12
X1
X2
X3
U22
X1
X2
mark
X3
U22
X1
X2
X3
plus
X1
mark
X2
plus
X1
X2
U21
active
X1
X2
X3
U21
X1
X2
X3
U11
X1
X2
mark
X3
U11
X1
X2
X3
U12
X1
mark
X2
X3
U12
X1
X2
X3
x
X1
mark
X2
x
X1
X2
s
mark
X
s
X
s
active
X
s
X
U22
active
X1
X2
X3
U22
X1
X2
X3
U11
X1
X2
active
X3
U11
X1
X2
X3
U12
mark
X1
X2
X3
U12
X1
X2
X3
x
X1
active
X2
x
X1
X2
U21
X1
active
X2
X3
U21
X1
X2
X3
U21
X1
X2
mark
X3
U21
X1
X2
X3
x
mark
X1
X2
x
X1
X2
U22
X1
X2
active
X3
U22
X1
X2
X3
U21
X1
mark
X2
X3
U21
X1
X2
X3
U21
X1
X2
active
X3
U21
X1
X2
X3
U22
mark
X1
X2
X3
U22
X1
X2
X3
U22
X1
active
X2
X3
U22
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U12
X1
X2
active
X3
U12
X1
X2
X3
U22
X1
mark
X2
X3
U22
X1
X2
X3
NaTT
certifiable-1.6