active
U11
tt
V2
mark
U12
isNat
V2
active
U12
tt
mark
tt
active
U21
tt
mark
tt
active
U31
tt
N
mark
N
active
U41
tt
M
N
mark
U42
isNat
N
M
N
active
U42
tt
M
N
mark
s
plus
N
M
active
isNat
0
mark
tt
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
active
isNat
s
V1
mark
U21
isNat
V1
active
plus
N
0
mark
U31
isNat
N
N
active
plus
N
s
M
mark
U41
isNat
M
M
N
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
tt
active
tt
mark
U12
X
active
U12
mark
X
mark
isNat
X
active
isNat
X
mark
U21
X
active
U21
mark
X
mark
U31
X1
X2
active
U31
mark
X1
X2
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
mark
U42
X1
X2
X3
active
U42
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
U11
X1
X2
U11
X1
mark
X2
U11
X1
X2
U11
active
X1
X2
U11
X1
X2
U11
X1
active
X2
U11
X1
X2
U12
mark
X
U12
X
U12
active
X
U12
X
isNat
mark
X
isNat
X
isNat
active
X
isNat
X
U21
mark
X
U21
X
U21
active
X
U21
X
U31
mark
X1
X2
U31
X1
X2
U31
X1
mark
X2
U31
X1
X2
U31
active
X1
X2
U31
X1
X2
U31
X1
active
X2
U31
X1
X2
U41
mark
X1
X2
X3
U41
X1
X2
X3
U41
X1
mark
X2
X3
U41
X1
X2
X3
U41
X1
X2
mark
X3
U41
X1
X2
X3
U41
active
X1
X2
X3
U41
X1
X2
X3
U41
X1
active
X2
X3
U41
X1
X2
X3
U41
X1
X2
active
X3
U41
X1
X2
X3
U42
mark
X1
X2
X3
U42
X1
X2
X3
U42
X1
mark
X2
X3
U42
X1
X2
X3
U42
X1
X2
mark
X3
U42
X1
X2
X3
U42
active
X1
X2
X3
U42
X1
X2
X3
U42
X1
active
X2
X3
U42
X1
X2
X3
U42
X1
X2
active
X3
U42
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
U42
mark
X1
X2
X3
U42
X1
X2
X3
U41
X1
X2
mark
X3
U41
X1
X2
X3
mark
U11
X1
X2
U11
mark
X1
X2
isNat
active
X
isNat
X
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
mark
plus
X1
X2
plus
mark
X1
mark
X2
active
plus
N
0
isNat
N
active
isNat
0
mark
tt
mark
s
X
mark
X
s
mark
X
s
X
active
U11
tt
V2
mark
U12
isNat
V2
U31
mark
X1
X2
U31
X1
X2
mark
0
active
0
mark
U21
X
mark
X
active
U41
tt
M
N
mark
U42
isNat
N
M
N
active
U11
tt
V2
isNat
V2
active
U11
tt
V2
U12
isNat
V2
mark
U31
X1
X2
mark
X1
mark
U42
X1
X2
X3
U42
mark
X1
X2
X3
U11
active
X1
X2
U11
X1
X2
U41
X1
X2
active
X3
U41
X1
X2
X3
U21
active
X
U21
X
U12
mark
X
U12
X
mark
plus
X1
X2
mark
X1
mark
s
X
s
mark
X
U42
X1
mark
X2
X3
U42
X1
X2
X3
active
U42
tt
M
N
mark
s
plus
N
M
U42
X1
active
X2
X3
U42
X1
X2
X3
U42
X1
X2
active
X3
U42
X1
X2
X3
mark
U31
X1
X2
U31
mark
X1
X2
plus
X1
active
X2
plus
X1
X2
active
plus
N
s
M
isNat
M
mark
U21
X
U21
mark
X
active
plus
N
s
M
U41
isNat
M
M
N
active
U31
tt
N
mark
N
active
isNat
plus
V1
V2
U11
isNat
V1
V2
active
plus
N
0
U31
isNat
N
N
mark
U21
X
active
U21
mark
X
U41
X1
mark
X2
X3
U41
X1
X2
X3
U21
mark
X
U21
X
active
isNat
plus
V1
V2
isNat
V1
mark
U31
X1
X2
active
U31
mark
X1
X2
s
active
X
s
X
active
U42
tt
M
N
s
plus
N
M
mark
U42
X1
X2
X3
mark
X1
mark
U11
X1
X2
mark
X1
U12
active
X
U12
X
active
U41
tt
M
N
U42
isNat
N
M
N
U11
X1
mark
X2
U11
X1
X2
active
isNat
s
V1
U21
isNat
V1
U41
X1
active
X2
X3
U41
X1
X2
X3
mark
s
X
active
s
mark
X
plus
active
X1
X2
plus
X1
X2
U31
X1
active
X2
U31
X1
X2
mark
U12
X
U12
mark
X
active
U21
tt
mark
tt
U42
active
X1
X2
X3
U42
X1
X2
X3
active
plus
N
0
mark
U31
isNat
N
N
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
U11
X1
X2
active
U11
mark
X1
X2
active
plus
N
s
M
mark
U41
isNat
M
M
N
mark
U12
X
mark
X
mark
U41
X1
X2
X3
U41
mark
X1
X2
X3
U42
X1
X2
mark
X3
U42
X1
X2
X3
mark
U42
X1
X2
X3
active
U42
mark
X1
X2
X3
plus
mark
X1
X2
plus
X1
X2
mark
U12
X
active
U12
mark
X
active
isNat
s
V1
mark
U21
isNat
V1
U11
X1
active
X2
U11
X1
X2
U11
mark
X1
X2
U11
X1
X2
mark
U41
X1
X2
X3
mark
X1
mark
plus
X1
X2
mark
X2
plus
X1
mark
X2
plus
X1
X2
active
isNat
s
V1
isNat
V1
U41
active
X1
X2
X3
U41
X1
X2
X3
isNat
mark
X
isNat
X
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
active
U12
tt
mark
tt
U31
X1
mark
X2
U31
X1
X2
U41
mark
X1
X2
X3
U41
X1
X2
X3
active
U42
tt
M
N
plus
N
M
U31
active
X1
X2
U31
X1
X2
mark
isNat
X
active
isNat
X
active
U41
tt
M
N
isNat
N
mark
tt
active
tt
true
mark
isNat
X
active
isNat
X
mark
U42
X1
X2
X3
mark
X1
mark
U11
X1
X2
mark
X1
mark
U31
X1
X2
active
U31
mark
X1
X2
mark
U21
X
active
U21
mark
X
active
U31
tt
N
mark
N
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
mark
plus
X1
X2
mark
X2
mark
U41
X1
X2
X3
mark
X1
active
U42
tt
M
N
mark
s
plus
N
M
mark
U12
X
active
U12
mark
X
active
isNat
s
V1
mark
U21
isNat
V1
mark
plus
X1
X2
mark
X1
mark
U42
X1
X2
X3
active
U42
mark
X1
X2
X3
mark
U31
X1
X2
mark
X1
mark
U12
X
mark
X
active
U41
tt
M
N
mark
U42
isNat
N
M
N
mark
U21
X
mark
X
active
plus
N
s
M
mark
U41
isNat
M
M
N
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
U11
tt
V2
mark
U12
isNat
V2
active
plus
N
0
mark
U31
isNat
N
N
mark
s
X
mark
X
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
mark
s
X
active
s
mark
X
true
U21
1
1
U11
2
30616
s
1
30615
isNat
1
0
U42
3
30616
plus
2
0
U12
1
28101
U42
3
0
U12
1
0
mark
1
30616
0
0
3
s
1
0
mark
1
1
isNat
1
30616
plus
2
30616
U11
2
0
active
1
2
U31
2
30616
U41
3
0
active
1
1
0
U21
1
0
tt
0
1
U41
3
30616
U31
2
0
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
mark
s
X
mark
X
active
plus
N
0
mark
U31
isNat
N
N
active
U11
tt
V2
mark
U12
isNat
V2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
U11
X1
X2
active
U11
mark
X1
X2
active
plus
N
s
M
mark
U41
isNat
M
M
N
mark
U21
X
mark
X
active
U41
tt
M
N
mark
U42
isNat
N
M
N
mark
U12
X
mark
X
mark
U31
X1
X2
mark
X1
mark
U42
X1
X2
X3
active
U42
mark
X1
X2
X3
mark
plus
X1
X2
mark
X1
active
isNat
s
V1
mark
U21
isNat
V1
active
U42
tt
M
N
mark
s
plus
N
M
mark
U41
X1
X2
X3
mark
X1
mark
plus
X1
X2
mark
X2
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
active
U31
tt
N
mark
N
mark
U31
X1
X2
active
U31
mark
X1
X2
mark
U11
X1
X2
mark
X1
mark
U42
X1
X2
X3
mark
X1
mark
isNat
X
active
isNat
X
s
active
X
s
X
plus
X1
active
X2
plus
X1
X2
U31
X1
active
X2
U31
X1
X2
U11
X1
active
X2
U11
X1
X2
U21
active
X
U21
X
U12
mark
X
U12
X
U31
X1
mark
X2
U31
X1
X2
U12
active
X
U12
X
U42
X1
mark
X2
X3
U42
X1
X2
X3
U31
mark
X1
X2
U31
X1
X2
U41
X1
X2
mark
X3
U41
X1
X2
X3
U11
active
X1
X2
U11
X1
X2
s
mark
X
s
X
plus
X1
mark
X2
plus
X1
X2
isNat
active
X
isNat
X
U21
mark
X
U21
X
U42
X1
X2
mark
X3
U42
X1
X2
X3
U11
mark
X1
X2
U11
X1
X2
U11
X1
mark
X2
U11
X1
X2
plus
mark
X1
X2
plus
X1
X2
U41
active
X1
X2
X3
U41
X1
X2
X3
U41
X1
mark
X2
X3
U41
X1
X2
X3
U42
X1
X2
active
X3
U42
X1
X2
X3
plus
active
X1
X2
plus
X1
X2
U42
X1
active
X2
X3
U42
X1
X2
X3
U41
mark
X1
X2
X3
U41
X1
X2
X3
U41
X1
active
X2
X3
U41
X1
X2
X3
U41
X1
X2
active
X3
U41
X1
X2
X3
U42
active
X1
X2
X3
U42
X1
X2
X3
U31
active
X1
X2
U31
X1
X2
isNat
mark
X
isNat
X
U42
mark
X1
X2
X3
U42
X1
X2
X3
mark
U41
X1
X2
X3
mark
X1
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
active
U31
tt
N
mark
N
mark
isNat
X
active
isNat
X
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
active
U11
tt
V2
mark
U12
isNat
V2
mark
U21
X
mark
X
mark
plus
X1
X2
mark
X2
mark
plus
X1
X2
mark
X1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
U42
X1
X2
X3
mark
X1
mark
U42
X1
X2
X3
active
U42
mark
X1
X2
X3
mark
U31
X1
X2
mark
X1
mark
U31
X1
X2
active
U31
mark
X1
X2
active
U41
tt
M
N
mark
U42
isNat
N
M
N
active
plus
N
0
mark
U31
isNat
N
N
mark
s
X
mark
X
mark
U12
X
mark
X
mark
U11
X1
X2
mark
X1
mark
U11
X1
X2
active
U11
mark
X1
X2
active
plus
N
s
M
mark
U41
isNat
M
M
N
active
isNat
s
V1
mark
U21
isNat
V1
active
U42
tt
M
N
mark
s
plus
N
M
true
U21
1
1
0
U11
2
1
0
s
1
1
29534
isNat
1
0
U42
3
1
2
3
41124
plus
2
0
U12
1
1
0
U42
3
0
U12
1
0
mark
1
1
0
0
0
868
s
1
0
mark
1
1
0
isNat
1
19496
plus
2
1
2
31086
U11
2
0
active
1
1
0
U31
2
1
2
12457
U41
3
0
active
1
1
0
U21
1
0
tt
0
19496
U41
3
1
2
3
41124
U31
2
0
active
U42
tt
M
N
mark
s
plus
N
M
active
isNat
s
V1
mark
U21
isNat
V1
active
plus
N
s
M
mark
U41
isNat
M
M
N
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
U11
X1
X2
mark
X1
mark
U12
X
mark
X
active
U41
tt
M
N
mark
U42
isNat
N
M
N
mark
U31
X1
X2
active
U31
mark
X1
X2
mark
U42
X1
X2
X3
active
U42
mark
X1
X2
X3
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
U21
X
mark
X
active
U11
tt
V2
mark
U12
isNat
V2
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
mark
isNat
X
active
isNat
X
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
s
active
X
s
X
active
U31
tt
N
mark
N
mark
isNat
X
active
isNat
X
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
plus
X1
active
X2
plus
X1
X2
active
U11
tt
V2
mark
U12
isNat
V2
active
U21
tt
mark
tt
mark
U21
X
active
U21
mark
X
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
U31
X1
active
X2
U31
X1
X2
U11
X1
active
X2
U11
X1
X2
mark
U42
X1
X2
X3
active
U42
mark
X1
X2
X3
U21
active
X
U21
X
mark
U31
X1
X2
active
U31
mark
X1
X2
U12
mark
X
U12
X
U31
X1
mark
X2
U31
X1
X2
mark
0
active
0
U12
active
X
U12
X
U42
X1
mark
X2
X3
U42
X1
X2
X3
active
U41
tt
M
N
mark
U42
isNat
N
M
N
U31
mark
X1
X2
U31
X1
X2
active
plus
N
0
mark
U31
isNat
N
N
U41
X1
X2
mark
X3
U41
X1
X2
X3
active
isNat
0
mark
tt
mark
s
X
active
s
mark
X
U11
active
X1
X2
U11
X1
X2
s
mark
X
s
X
plus
X1
mark
X2
plus
X1
X2
isNat
active
X
isNat
X
mark
U12
X
active
U12
mark
X
U21
mark
X
U21
X
mark
U11
X1
X2
active
U11
mark
X1
X2
U42
X1
X2
mark
X3
U42
X1
X2
X3
U11
mark
X1
X2
U11
X1
X2
U11
X1
mark
X2
U11
X1
X2
active
plus
N
s
M
mark
U41
isNat
M
M
N
active
isNat
s
V1
mark
U21
isNat
V1
mark
tt
active
tt
plus
mark
X1
X2
plus
X1
X2
U41
active
X1
X2
X3
U41
X1
X2
X3
active
U42
tt
M
N
mark
s
plus
N
M
U41
X1
mark
X2
X3
U41
X1
X2
X3
U42
X1
X2
active
X3
U42
X1
X2
X3
plus
active
X1
X2
plus
X1
X2
U42
X1
active
X2
X3
U42
X1
X2
X3
U41
mark
X1
X2
X3
U41
X1
X2
X3
U41
X1
active
X2
X3
U41
X1
X2
X3
U41
X1
X2
active
X3
U41
X1
X2
X3
U42
active
X1
X2
X3
U42
X1
X2
X3
U31
active
X1
X2
U31
X1
X2
isNat
mark
X
isNat
X
U42
mark
X1
X2
X3
U42
X1
X2
X3
active
U12
tt
mark
tt
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
mark
isNat
X
active
isNat
X
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
active
U11
tt
V2
mark
U12
isNat
V2
mark
U21
X
mark
X
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
U42
X1
X2
X3
active
U42
mark
X1
X2
X3
mark
U31
X1
X2
active
U31
mark
X1
X2
active
U41
tt
M
N
mark
U42
isNat
N
M
N
mark
U12
X
mark
X
mark
U11
X1
X2
mark
X1
mark
U11
X1
X2
active
U11
mark
X1
X2
active
plus
N
s
M
mark
U41
isNat
M
M
N
active
isNat
s
V1
mark
U21
isNat
V1
active
U42
tt
M
N
mark
s
plus
N
M
true
U21
1
1
0
U11
2
1
0
s
1
54785
isNat
1
0
U42
3
1
3
54785
plus
2
0
U12
1
1
0
U42
3
0
U12
1
0
mark
1
1
0
0
0
1
s
1
0
mark
1
1
0
isNat
1
1
plus
2
1
2
2
U11
2
0
active
1
1
0
U31
2
1
2
2
U41
3
0
active
1
1
0
U21
1
0
tt
0
1
U41
3
1
3
54786
U31
2
0
active
isNat
s
V1
mark
U21
isNat
V1
active
plus
N
s
M
mark
U41
isNat
M
M
N
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
U11
X1
X2
mark
X1
mark
U12
X
mark
X
mark
U31
X1
X2
active
U31
mark
X1
X2
mark
U42
X1
X2
X3
active
U42
mark
X1
X2
X3
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
U21
X
mark
X
active
U11
tt
V2
mark
U12
isNat
V2
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
mark
isNat
X
active
isNat
X
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
s
active
X
s
X
active
U31
tt
N
mark
N
mark
isNat
X
active
isNat
X
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
plus
X1
active
X2
plus
X1
X2
active
U11
tt
V2
mark
U12
isNat
V2
active
U21
tt
mark
tt
mark
U21
X
active
U21
mark
X
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
U31
X1
active
X2
U31
X1
X2
U11
X1
active
X2
U11
X1
X2
mark
U42
X1
X2
X3
active
U42
mark
X1
X2
X3
U21
active
X
U21
X
mark
U31
X1
X2
active
U31
mark
X1
X2
U12
mark
X
U12
X
U31
X1
mark
X2
U31
X1
X2
mark
0
active
0
U12
active
X
U12
X
U42
X1
mark
X2
X3
U42
X1
X2
X3
active
U41
tt
M
N
mark
U42
isNat
N
M
N
U31
mark
X1
X2
U31
X1
X2
active
plus
N
0
mark
U31
isNat
N
N
U41
X1
X2
mark
X3
U41
X1
X2
X3
active
isNat
0
mark
tt
mark
s
X
active
s
mark
X
U11
active
X1
X2
U11
X1
X2
s
mark
X
s
X
plus
X1
mark
X2
plus
X1
X2
isNat
active
X
isNat
X
mark
U12
X
active
U12
mark
X
U21
mark
X
U21
X
mark
U11
X1
X2
active
U11
mark
X1
X2
U42
X1
X2
mark
X3
U42
X1
X2
X3
U11
mark
X1
X2
U11
X1
X2
U11
X1
mark
X2
U11
X1
X2
active
plus
N
s
M
mark
U41
isNat
M
M
N
active
isNat
s
V1
mark
U21
isNat
V1
mark
tt
active
tt
plus
mark
X1
X2
plus
X1
X2
U41
active
X1
X2
X3
U41
X1
X2
X3
active
U42
tt
M
N
mark
s
plus
N
M
U41
X1
mark
X2
X3
U41
X1
X2
X3
U42
X1
X2
active
X3
U42
X1
X2
X3
plus
active
X1
X2
plus
X1
X2
U42
X1
active
X2
X3
U42
X1
X2
X3
U41
mark
X1
X2
X3
U41
X1
X2
X3
U41
X1
active
X2
X3
U41
X1
X2
X3
U41
X1
X2
active
X3
U41
X1
X2
X3
U42
active
X1
X2
X3
U42
X1
X2
X3
U31
active
X1
X2
U31
X1
X2
isNat
mark
X
isNat
X
U42
mark
X1
X2
X3
U42
X1
X2
X3
active
U12
tt
mark
tt
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
mark
isNat
X
active
isNat
X
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
active
U11
tt
V2
mark
U12
isNat
V2
mark
U21
X
mark
X
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
U42
X1
X2
X3
active
U42
mark
X1
X2
X3
mark
U31
X1
X2
active
U31
mark
X1
X2
mark
U12
X
mark
X
mark
U11
X1
X2
mark
X1
mark
U11
X1
X2
active
U11
mark
X1
X2
active
plus
N
s
M
mark
U41
isNat
M
M
N
active
isNat
s
V1
mark
U21
isNat
V1
true
U21
1
1
0
U11
2
1
0
s
1
1
isNat
1
0
U42
3
1
3
11820
plus
2
0
U12
1
1
0
U42
3
0
U12
1
0
mark
1
1
0
0
0
45545
s
1
0
mark
1
1
0
isNat
1
1
plus
2
1
2
54787
U11
2
0
active
1
1
0
U31
2
1
2
3153
U41
3
0
active
1
1
0
U21
1
0
tt
0
1
U41
3
1
3
54786
U31
2
0
active
isNat
s
V1
mark
U21
isNat
V1
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
U11
X1
X2
mark
X1
mark
U12
X
mark
X
mark
U31
X1
X2
active
U31
mark
X1
X2
mark
U42
X1
X2
X3
active
U42
mark
X1
X2
X3
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
U21
X
mark
X
active
U11
tt
V2
mark
U12
isNat
V2
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
mark
isNat
X
active
isNat
X
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
s
active
X
s
X
active
U31
tt
N
mark
N
mark
isNat
X
active
isNat
X
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
plus
X1
active
X2
plus
X1
X2
active
U11
tt
V2
mark
U12
isNat
V2
active
U21
tt
mark
tt
mark
U21
X
active
U21
mark
X
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
U31
X1
active
X2
U31
X1
X2
U11
X1
active
X2
U11
X1
X2
mark
U42
X1
X2
X3
active
U42
mark
X1
X2
X3
U21
active
X
U21
X
mark
U31
X1
X2
active
U31
mark
X1
X2
U12
mark
X
U12
X
U31
X1
mark
X2
U31
X1
X2
mark
0
active
0
U12
active
X
U12
X
U42
X1
mark
X2
X3
U42
X1
X2
X3
active
U41
tt
M
N
mark
U42
isNat
N
M
N
U31
mark
X1
X2
U31
X1
X2
active
plus
N
0
mark
U31
isNat
N
N
U41
X1
X2
mark
X3
U41
X1
X2
X3
active
isNat
0
mark
tt
mark
s
X
active
s
mark
X
U11
active
X1
X2
U11
X1
X2
s
mark
X
s
X
plus
X1
mark
X2
plus
X1
X2
isNat
active
X
isNat
X
mark
U12
X
active
U12
mark
X
U21
mark
X
U21
X
mark
U11
X1
X2
active
U11
mark
X1
X2
U42
X1
X2
mark
X3
U42
X1
X2
X3
U11
mark
X1
X2
U11
X1
X2
U11
X1
mark
X2
U11
X1
X2
active
plus
N
s
M
mark
U41
isNat
M
M
N
active
isNat
s
V1
mark
U21
isNat
V1
mark
tt
active
tt
plus
mark
X1
X2
plus
X1
X2
U41
active
X1
X2
X3
U41
X1
X2
X3
active
U42
tt
M
N
mark
s
plus
N
M
U41
X1
mark
X2
X3
U41
X1
X2
X3
U42
X1
X2
active
X3
U42
X1
X2
X3
plus
active
X1
X2
plus
X1
X2
U42
X1
active
X2
X3
U42
X1
X2
X3
U41
mark
X1
X2
X3
U41
X1
X2
X3
U41
X1
active
X2
X3
U41
X1
X2
X3
U41
X1
X2
active
X3
U41
X1
X2
X3
U42
active
X1
X2
X3
U42
X1
X2
X3
U31
active
X1
X2
U31
X1
X2
isNat
mark
X
isNat
X
U42
mark
X1
X2
X3
U42
X1
X2
X3
active
U12
tt
mark
tt
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
mark
isNat
X
active
isNat
X
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
active
U11
tt
V2
mark
U12
isNat
V2
mark
U21
X
mark
X
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
U42
X1
X2
X3
active
U42
mark
X1
X2
X3
mark
U31
X1
X2
active
U31
mark
X1
X2
mark
U12
X
mark
X
mark
U11
X1
X2
mark
X1
mark
U11
X1
X2
active
U11
mark
X1
X2
active
isNat
s
V1
mark
U21
isNat
V1
true
U21
1
1
0
U11
2
1
0
s
1
1
isNat
1
0
U42
3
3
19622
plus
2
0
U12
1
1
0
U42
3
0
U12
1
0
mark
1
1
0
0
0
1
s
1
0
mark
1
1
0
isNat
1
0
plus
2
2
0
U11
2
0
active
1
1
0
U31
2
0
U41
3
0
active
1
0
U21
1
0
tt
0
0
U41
3
2
1
U31
2
0
active
isNat
s
V1
mark
U21
isNat
V1
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
U11
X1
X2
mark
X1
mark
U12
X
mark
X
mark
U31
X1
X2
active
U31
mark
X1
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
U21
X
mark
X
active
U11
tt
V2
mark
U12
isNat
V2
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
mark
isNat
X
active
isNat
X
s
active
X
s
X
U31
X1
active
X2
U31
X1
X2
U11
X1
active
X2
U11
X1
X2
U21
active
X
U21
X
U12
mark
X
U12
X
U31
X1
mark
X2
U31
X1
X2
U12
active
X
U12
X
U42
X1
mark
X2
X3
U42
X1
X2
X3
U31
mark
X1
X2
U31
X1
X2
U41
X1
X2
mark
X3
U41
X1
X2
X3
U11
active
X1
X2
U11
X1
X2
s
mark
X
s
X
isNat
active
X
isNat
X
U21
mark
X
U21
X
U42
X1
X2
mark
X3
U42
X1
X2
X3
U11
mark
X1
X2
U11
X1
X2
U11
X1
mark
X2
U11
X1
X2
U41
active
X1
X2
X3
U41
X1
X2
X3
U41
X1
mark
X2
X3
U41
X1
X2
X3
U42
X1
X2
active
X3
U42
X1
X2
X3
U42
X1
active
X2
X3
U42
X1
X2
X3
U41
mark
X1
X2
X3
U41
X1
X2
X3
U41
X1
active
X2
X3
U41
X1
X2
X3
U41
X1
X2
active
X3
U41
X1
X2
X3
U42
active
X1
X2
X3
U42
X1
X2
X3
U31
active
X1
X2
U31
X1
X2
isNat
mark
X
isNat
X
U42
mark
X1
X2
X3
U42
X1
X2
X3
mark
isNat
X
active
isNat
X
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
active
U11
tt
V2
mark
U12
isNat
V2
mark
U21
X
mark
X
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
U31
X1
X2
active
U31
mark
X1
X2
mark
U12
X
mark
X
mark
U11
X1
X2
mark
X1
mark
U11
X1
X2
active
U11
mark
X1
X2
active
isNat
s
V1
mark
U21
isNat
V1
true
U21
1
1
0
U11
2
1
0
s
1
2
isNat
1
0
U42
3
3
3
plus
2
0
U12
1
1
0
U42
3
0
U12
1
0
mark
1
1
0
0
0
1
s
1
0
mark
1
1
0
isNat
1
0
plus
2
2
1
U11
2
0
active
1
1
0
U31
2
0
U41
3
0
active
1
0
U21
1
0
tt
0
0
U41
3
2
3
2
U31
2
0
active
isNat
s
V1
mark
U21
isNat
V1
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
U11
X1
X2
mark
X1
mark
U12
X
mark
X
mark
U31
X1
X2
active
U31
mark
X1
X2
mark
U21
X
mark
X
active
U11
tt
V2
mark
U12
isNat
V2
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
mark
isNat
X
active
isNat
X
s
active
X
s
X
U31
X1
active
X2
U31
X1
X2
U11
X1
active
X2
U11
X1
X2
U21
active
X
U21
X
U12
mark
X
U12
X
U31
X1
mark
X2
U31
X1
X2
U12
active
X
U12
X
U42
X1
mark
X2
X3
U42
X1
X2
X3
U31
mark
X1
X2
U31
X1
X2
U41
X1
X2
mark
X3
U41
X1
X2
X3
U11
active
X1
X2
U11
X1
X2
s
mark
X
s
X
isNat
active
X
isNat
X
U21
mark
X
U21
X
U42
X1
X2
mark
X3
U42
X1
X2
X3
U11
mark
X1
X2
U11
X1
X2
U11
X1
mark
X2
U11
X1
X2
U41
active
X1
X2
X3
U41
X1
X2
X3
U41
X1
mark
X2
X3
U41
X1
X2
X3
U42
X1
X2
active
X3
U42
X1
X2
X3
U42
X1
active
X2
X3
U42
X1
X2
X3
U41
mark
X1
X2
X3
U41
X1
X2
X3
U41
X1
active
X2
X3
U41
X1
X2
X3
U41
X1
X2
active
X3
U41
X1
X2
X3
U42
active
X1
X2
X3
U42
X1
X2
X3
U31
active
X1
X2
U31
X1
X2
isNat
mark
X
isNat
X
U42
mark
X1
X2
X3
U42
X1
X2
X3
mark
isNat
X
active
isNat
X
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
active
U11
tt
V2
mark
U12
isNat
V2
mark
U21
X
mark
X
mark
U31
X1
X2
active
U31
mark
X1
X2
mark
U12
X
mark
X
mark
U11
X1
X2
mark
X1
mark
U11
X1
X2
active
U11
mark
X1
X2
active
isNat
s
V1
mark
U21
isNat
V1
true
U21
1
1
0
U11
2
1
0
s
1
1
isNat
1
0
U42
3
3
9049
plus
2
0
U12
1
1
0
U42
3
0
U12
1
0
mark
1
1
0
0
0
1
s
1
0
mark
1
1
0
isNat
1
0
plus
2
2
23641
U11
2
0
active
1
1
0
U31
2
1
U41
3
0
active
1
0
U21
1
0
tt
0
0
U41
3
2
9048
U31
2
0
active
isNat
s
V1
mark
U21
isNat
V1
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
U11
X1
X2
mark
X1
mark
U12
X
mark
X
mark
U21
X
mark
X
active
U11
tt
V2
mark
U12
isNat
V2
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
mark
isNat
X
active
isNat
X
s
active
X
s
X
U31
X1
active
X2
U31
X1
X2
U11
X1
active
X2
U11
X1
X2
U21
active
X
U21
X
U12
mark
X
U12
X
U31
X1
mark
X2
U31
X1
X2
U12
active
X
U12
X
U42
X1
mark
X2
X3
U42
X1
X2
X3
U31
mark
X1
X2
U31
X1
X2
U41
X1
X2
mark
X3
U41
X1
X2
X3
U11
active
X1
X2
U11
X1
X2
s
mark
X
s
X
isNat
active
X
isNat
X
U21
mark
X
U21
X
U42
X1
X2
mark
X3
U42
X1
X2
X3
U11
mark
X1
X2
U11
X1
X2
U11
X1
mark
X2
U11
X1
X2
U41
active
X1
X2
X3
U41
X1
X2
X3
U41
X1
mark
X2
X3
U41
X1
X2
X3
U42
X1
X2
active
X3
U42
X1
X2
X3
U42
X1
active
X2
X3
U42
X1
X2
X3
U41
mark
X1
X2
X3
U41
X1
X2
X3
U41
X1
active
X2
X3
U41
X1
X2
X3
U41
X1
X2
active
X3
U41
X1
X2
X3
U42
active
X1
X2
X3
U42
X1
X2
X3
U31
active
X1
X2
U31
X1
X2
isNat
mark
X
isNat
X
U42
mark
X1
X2
X3
U42
X1
X2
X3
mark
isNat
X
active
isNat
X
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
active
U11
tt
V2
mark
U12
isNat
V2
mark
U21
X
mark
X
mark
U12
X
mark
X
mark
U11
X1
X2
mark
X1
mark
U11
X1
X2
active
U11
mark
X1
X2
active
isNat
s
V1
mark
U21
isNat
V1
true
U21
1
1
1
U11
2
1
2
0
s
1
1
2
isNat
1
0
U42
3
2
3
3
plus
2
0
U12
1
1
0
U42
3
0
U12
1
0
mark
1
1
0
0
0
0
s
1
0
mark
1
1
0
isNat
1
1
0
plus
2
1
2
1
U11
2
0
active
1
1
0
U31
2
2
1
U41
3
0
active
1
1
0
U21
1
0
tt
0
0
U41
3
2
3
3
U31
2
0
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
U11
X1
X2
mark
X1
mark
U12
X
mark
X
active
U11
tt
V2
mark
U12
isNat
V2
mark
isNat
X
active
isNat
X
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
s
active
X
s
X
active
U31
tt
N
mark
N
mark
isNat
X
active
isNat
X
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
plus
X1
active
X2
plus
X1
X2
active
U11
tt
V2
mark
U12
isNat
V2
active
U21
tt
mark
tt
mark
U21
X
active
U21
mark
X
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
U31
X1
active
X2
U31
X1
X2
U11
X1
active
X2
U11
X1
X2
mark
U42
X1
X2
X3
active
U42
mark
X1
X2
X3
U21
active
X
U21
X
mark
U31
X1
X2
active
U31
mark
X1
X2
U12
mark
X
U12
X
U31
X1
mark
X2
U31
X1
X2
mark
0
active
0
U12
active
X
U12
X
U42
X1
mark
X2
X3
U42
X1
X2
X3
active
U41
tt
M
N
mark
U42
isNat
N
M
N
U31
mark
X1
X2
U31
X1
X2
active
plus
N
0
mark
U31
isNat
N
N
U41
X1
X2
mark
X3
U41
X1
X2
X3
active
isNat
0
mark
tt
mark
s
X
active
s
mark
X
U11
active
X1
X2
U11
X1
X2
s
mark
X
s
X
plus
X1
mark
X2
plus
X1
X2
isNat
active
X
isNat
X
mark
U12
X
active
U12
mark
X
U21
mark
X
U21
X
mark
U11
X1
X2
active
U11
mark
X1
X2
U42
X1
X2
mark
X3
U42
X1
X2
X3
U11
mark
X1
X2
U11
X1
X2
U11
X1
mark
X2
U11
X1
X2
active
plus
N
s
M
mark
U41
isNat
M
M
N
active
isNat
s
V1
mark
U21
isNat
V1
mark
tt
active
tt
plus
mark
X1
X2
plus
X1
X2
U41
active
X1
X2
X3
U41
X1
X2
X3
active
U42
tt
M
N
mark
s
plus
N
M
U41
X1
mark
X2
X3
U41
X1
X2
X3
U42
X1
X2
active
X3
U42
X1
X2
X3
plus
active
X1
X2
plus
X1
X2
U42
X1
active
X2
X3
U42
X1
X2
X3
U41
mark
X1
X2
X3
U41
X1
X2
X3
U41
X1
active
X2
X3
U41
X1
X2
X3
U41
X1
X2
active
X3
U41
X1
X2
X3
U42
active
X1
X2
X3
U42
X1
X2
X3
U31
active
X1
X2
U31
X1
X2
isNat
mark
X
isNat
X
U42
mark
X1
X2
X3
U42
X1
X2
X3
active
U12
tt
mark
tt
mark
isNat
X
active
isNat
X
active
U11
tt
V2
mark
U12
isNat
V2
mark
U12
X
mark
X
mark
U11
X1
X2
mark
X1
mark
U11
X1
X2
active
U11
mark
X1
X2
true
U21
1
1
1
U11
2
1
2
3
s
1
1
1
isNat
1
0
U42
3
2
3
4
plus
2
0
U12
1
1
1
U42
3
0
U12
1
0
mark
1
1
1
0
0
0
s
1
0
mark
1
1
0
isNat
1
1
0
plus
2
1
2
3
U11
2
0
active
1
1
0
U31
2
2
1
U41
3
0
active
1
1
0
U21
1
0
tt
0
0
U41
3
2
3
4
U31
2
0
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
s
active
X
s
X
active
U31
tt
N
mark
N
mark
isNat
X
active
isNat
X
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
plus
X1
active
X2
plus
X1
X2
active
U11
tt
V2
mark
U12
isNat
V2
active
U21
tt
mark
tt
mark
U21
X
active
U21
mark
X
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
U31
X1
active
X2
U31
X1
X2
U11
X1
active
X2
U11
X1
X2
mark
U42
X1
X2
X3
active
U42
mark
X1
X2
X3
U21
active
X
U21
X
mark
U31
X1
X2
active
U31
mark
X1
X2
U12
mark
X
U12
X
U31
X1
mark
X2
U31
X1
X2
mark
0
active
0
U12
active
X
U12
X
U42
X1
mark
X2
X3
U42
X1
X2
X3
active
U41
tt
M
N
mark
U42
isNat
N
M
N
U31
mark
X1
X2
U31
X1
X2
active
plus
N
0
mark
U31
isNat
N
N
U41
X1
X2
mark
X3
U41
X1
X2
X3
active
isNat
0
mark
tt
mark
s
X
active
s
mark
X
U11
active
X1
X2
U11
X1
X2
s
mark
X
s
X
plus
X1
mark
X2
plus
X1
X2
isNat
active
X
isNat
X
mark
U12
X
active
U12
mark
X
U21
mark
X
U21
X
mark
U11
X1
X2
active
U11
mark
X1
X2
U42
X1
X2
mark
X3
U42
X1
X2
X3
U11
mark
X1
X2
U11
X1
X2
U11
X1
mark
X2
U11
X1
X2
active
plus
N
s
M
mark
U41
isNat
M
M
N
active
isNat
s
V1
mark
U21
isNat
V1
mark
tt
active
tt
plus
mark
X1
X2
plus
X1
X2
U41
active
X1
X2
X3
U41
X1
X2
X3
active
U42
tt
M
N
mark
s
plus
N
M
U41
X1
mark
X2
X3
U41
X1
X2
X3
U42
X1
X2
active
X3
U42
X1
X2
X3
plus
active
X1
X2
plus
X1
X2
U42
X1
active
X2
X3
U42
X1
X2
X3
U41
mark
X1
X2
X3
U41
X1
X2
X3
U41
X1
active
X2
X3
U41
X1
X2
X3
U41
X1
X2
active
X3
U41
X1
X2
X3
U42
active
X1
X2
X3
U42
X1
X2
X3
U31
active
X1
X2
U31
X1
X2
isNat
mark
X
isNat
X
U42
mark
X1
X2
X3
U42
X1
X2
X3
active
U12
tt
mark
tt
active
U12
tt
mark
tt
false
active
U42
tt
M
N
s
plus
N
M
false
active
U42
tt
M
N
plus
N
M
false
mark
U12
X
U12
mark
X
false
mark
s
X
s
mark
X
false
s
active
X
s
X
s
mark
X
s
X
true
U21
1
1
31320
U11
2
1
1894
s
1
1
1
isNat
1
0
U42
3
1
2699
plus
2
0
U12
1
19098
U42
3
0
U12
1
0
mark
1
1
0
0
1
s
1
1
0
mark
1
1
31322
isNat
1
1
1
plus
2
2
1
U11
2
0
active
1
1
1
U31
2
1
31319
U41
3
0
active
1
0
U21
1
0
tt
0
1
U41
3
1
2
1734
U31
2
0
U12
mark
X
U12
X
U12
active
X
U12
X
mark
0
active
0
false
active
isNat
s
V1
isNat
V1
false
mark
U31
X1
X2
U31
mark
X1
X2
false
active
plus
N
s
M
U41
isNat
M
M
N
false
active
plus
N
s
M
isNat
M
false
active
isNat
0
mark
tt
false
mark
U42
X1
X2
X3
U42
mark
X1
X2
X3
false
active
plus
N
0
U31
isNat
N
N
false
U31
active
X1
X2
U31
X1
X2
U31
X1
mark
X2
U31
X1
X2
U31
mark
X1
X2
U31
X1
X2
U31
X1
active
X2
U31
X1
X2
true
U21
1
1
1
U11
2
2
1
s
1
1
1
isNat
1
0
U42
3
1
1
plus
2
0
U12
1
2
U42
3
0
U12
1
0
mark
1
1
0
0
1
s
1
0
mark
1
1
3
isNat
1
1
1
plus
2
1
1
U11
2
0
active
1
1
1
U31
2
1
U41
3
0
active
1
0
U21
1
0
tt
0
1
U41
3
1
1
U31
2
1
2
0
U12
mark
X
U12
X
U12
active
X
U12
X
active
plus
N
0
isNat
N
false
mark
plus
X1
X2
plus
mark
X1
mark
X2
false
plus
X1
active
X2
plus
X1
X2
plus
X1
mark
X2
plus
X1
X2
plus
mark
X1
X2
plus
X1
X2
plus
active
X1
X2
plus
X1
X2
true
U21
1
13704
U11
2
21804
s
1
1
isNat
1
0
U42
3
1
2
8684
plus
2
1
2
0
U12
1
12384
U42
3
0
U12
1
0
mark
1
1
0
0
1
s
1
0
mark
1
1
34685
isNat
1
1
1
plus
2
1
2
13259
U11
2
0
active
1
1
1
U31
2
1
34682
U41
3
0
active
1
0
U21
1
0
tt
0
1
U41
3
1
2
3137
U31
2
0
s
active
X
s
X
U12
mark
X
U12
X
U12
active
X
U12
X
s
mark
X
s
X
active
U41
tt
M
N
U42
isNat
N
M
N
false
active
U41
tt
M
N
isNat
N
false
active
U21
tt
mark
tt
false
mark
tt
active
tt
false
mark
U21
X
U21
mark
X
false
active
U11
tt
V2
U12
isNat
V2
false
U12
active
X
U12
X
U12
mark
X
U12
X
true
U21
1
1
1
U11
2
1
1
s
1
1
1
isNat
1
0
U42
3
1
2
plus
2
0
U12
1
2
U42
3
0
U12
1
1
0
mark
1
1
0
0
1
s
1
0
mark
1
1
3
isNat
1
1
1
plus
2
1
2
1
U11
2
0
active
1
1
1
U31
2
1
U41
3
0
active
1
0
U21
1
0
tt
0
1
U41
3
1
2
2
U31
2
0
U12
mark
X
U12
X
U12
active
X
U12
X
active
U11
tt
V2
isNat
V2
false
active
isNat
plus
V1
V2
U11
isNat
V1
V2
false
active
isNat
plus
V1
V2
isNat
V1
false
mark
U41
X1
X2
X3
U41
mark
X1
X2
X3
false
isNat
mark
X
isNat
X
isNat
active
X
isNat
X
true
U21
1
1
2
U11
2
1
3
s
1
1
3
isNat
1
1
0
U42
3
1
2
plus
2
0
U12
1
3
U42
3
0
U12
1
0
mark
1
1
0
0
2
s
1
0
mark
1
1
4
isNat
1
1
1
plus
2
1
2
1
U11
2
0
active
1
1
1
U31
2
1
U41
3
0
active
1
0
U21
1
0
tt
0
2
U41
3
1
2
2
U31
2
0
U12
mark
X
U12
X
U12
active
X
U12
X
mark
U11
X1
X2
U11
mark
X1
X2
false
U11
X1
mark
X2
U11
X1
X2
U11
mark
X1
X2
U11
X1
X2
U11
X1
active
X2
U11
X1
X2
U11
active
X1
X2
U11
X1
X2
true
U21
1
1
11452
U11
2
1
18243
s
1
1
1
isNat
1
0
U42
3
1
4212
plus
2
0
U12
1
815
U42
3
0
U12
1
0
mark
1
1
0
0
8752
s
1
0
mark
1
1
45148
isNat
1
1
1
plus
2
1
2
3507
U11
2
1
2
0
active
1
1
1
U31
2
1
U41
3
0
active
1
0
U21
1
0
tt
0
27718
U41
3
1
2
5609
U31
2
0
U12
mark
X
U12
X
U12
active
X
U12
X
U41
X1
mark
X2
X3
U41
X1
X2
X3
U41
mark
X1
X2
X3
U41
X1
X2
X3
U41
active
X1
X2
X3
U41
X1
X2
X3
U41
X1
X2
active
X3
U41
X1
X2
X3
U41
X1
active
X2
X3
U41
X1
X2
X3
U41
X1
X2
mark
X3
U41
X1
X2
X3
true
U21
1
1
1
U11
2
1
1
s
1
1
1
isNat
1
0
U42
3
1
2
plus
2
0
U12
1
2
U42
3
0
U12
1
0
mark
1
1
0
0
1
s
1
0
mark
1
1
3
isNat
1
1
1
plus
2
1
2
1
U11
2
0
active
1
1
1
U31
2
1
U41
3
1
3
0
active
1
0
U21
1
0
tt
0
1
U41
3
1
2
1
U31
2
0
U41
X1
active
X2
X3
U41
X1
X2
X3
U41
X1
mark
X2
X3
U41
X1
X2
X3
U12
mark
X
U12
X
U12
active
X
U12
X
U41
X1
mark
X2
X3
U41
X1
X2
X3
U41
X1
active
X2
X3
U41
X1
X2
X3
true
U21
1
1
767
U11
2
1
24227
s
1
1
1
isNat
1
0
U42
3
1
3062
plus
2
0
U12
1
14212
U42
3
0
U12
1
0
mark
1
1
0
0
12341
s
1
0
mark
1
1
15093
isNat
1
1
1
plus
2
1
2
1
U11
2
0
active
1
1
1
U31
2
15091
U41
3
2
0
active
1
0
U21
1
0
tt
0
1
U41
3
1
2
2802
U31
2
0
U12
mark
X
U12
X
U12
active
X
U12
X
U42
X1
X2
active
X3
U42
X1
X2
X3
U42
X1
active
X2
X3
U42
X1
X2
X3
U42
X1
mark
X2
X3
U42
X1
X2
X3
U42
X1
X2
mark
X3
U42
X1
X2
X3
U42
active
X1
X2
X3
U42
X1
X2
X3
U42
mark
X1
X2
X3
U42
X1
X2
X3
true
U21
1
1
291
U11
2
1
1
s
1
1
1
isNat
1
0
U42
3
1
8842
plus
2
0
U12
1
615
U42
3
3
0
U12
1
0
mark
1
1
0
0
1
s
1
0
mark
1
1
15093
isNat
1
1
1
plus
2
1
2
1
U11
2
0
active
1
1
1
U31
2
1
U41
3
0
active
1
0
U21
1
0
tt
0
1
U41
3
1
2
8501
U31
2
0
U42
mark
X1
X2
X3
U42
X1
X2
X3
U42
active
X1
X2
X3
U42
X1
X2
X3
U42
X1
mark
X2
X3
U42
X1
X2
X3
U42
X1
active
X2
X3
U42
X1
X2
X3
U12
mark
X
U12
X
U12
active
X
U12
X
U42
X1
mark
X2
X3
U42
X1
X2
X3
U42
X1
active
X2
X3
U42
X1
X2
X3
U42
active
X1
X2
X3
U42
X1
X2
X3
U42
mark
X1
X2
X3
U42
X1
X2
X3
true
U21
1
1
49184
U11
2
1
27667
s
1
1
1
isNat
1
0
U42
3
1
28541
plus
2
0
U12
1
1
U42
3
1
2
0
U12
1
0
mark
1
1
0
0
35205
s
1
0
mark
1
1
49186
isNat
1
1
1
plus
2
1
2
1
U11
2
0
active
1
1
1
U31
2
49184
U41
3
0
active
1
0
U21
1
0
tt
0
1
U41
3
1
2
1602
U31
2
0
U12
mark
X
U12
X
U12
active
X
U12
X
active
isNat
s
V1
U21
isNat
V1
false
U21
mark
X
U21
X
U21
active
X
U21
X
true
U21
1
1
1
U11
2
1
1
s
1
1
2
isNat
1
0
U42
3
1
3
plus
2
0
U12
1
2
U42
3
0
U12
1
0
mark
1
1
0
0
1
s
1
0
mark
1
1
24329
isNat
1
1
1
plus
2
1
2
1
U11
2
0
active
1
1
24327
U31
2
1
U41
3
0
active
1
0
U21
1
1
0
tt
0
1
U41
3
1
2
1
U31
2
0
U12
mark
X
U12
X
U12
active
X
U12
X
NaTT
certifiable-1.6