active
U11
tt
N
mark
N
active
U21
tt
M
N
mark
s
plus
N
M
active
U31
tt
mark
0
active
U41
tt
M
N
mark
plus
x
N
M
N
active
and
tt
X
mark
X
active
isNat
0
mark
tt
active
isNat
plus
V1
V2
mark
and
isNat
V1
isNat
V2
active
isNat
s
V1
mark
isNat
V1
active
isNat
x
V1
V2
mark
and
isNat
V1
isNat
V2
active
plus
N
0
mark
U11
isNat
N
N
active
plus
N
s
M
mark
U21
and
isNat
M
isNat
N
M
N
active
x
N
0
mark
U31
isNat
N
active
x
N
s
M
mark
U41
and
isNat
M
isNat
N
M
N
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
tt
active
tt
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
mark
s
X
active
s
mark
X
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
U31
X
active
U31
mark
X
mark
0
active
0
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
mark
x
X1
X2
active
x
mark
X1
mark
X2
mark
and
X1
X2
active
and
mark
X1
X2
mark
isNat
X
active
isNat
X
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
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
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
U31
mark
X
U31
X
U31
active
X
U31
X
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
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
and
mark
X1
X2
and
X1
X2
and
X1
mark
X2
and
X1
X2
and
active
X1
X2
and
X1
X2
and
X1
active
X2
and
X1
X2
isNat
mark
X
isNat
X
isNat
active
X
isNat
X
2.2
active
U21
tt
M
N
s
plus
N
M
active
U31
tt
mark
0
U21
X1
X2
mark
X3
U21
X1
X2
X3
active
plus
N
s
M
mark
U21
and
isNat
M
isNat
N
M
N
mark
isNat
X
active
isNat
X
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
mark
x
X1
X2
x
mark
X1
mark
X2
mark
U11
X1
X2
U11
mark
X1
X2
active
x
N
0
isNat
N
x
X1
mark
X2
x
X1
X2
active
x
N
0
U31
isNat
N
mark
and
X1
X2
and
mark
X1
X2
mark
plus
X1
X2
mark
X2
mark
plus
X1
X2
plus
mark
X1
mark
X2
mark
tt
active
tt
mark
s
X
mark
X
mark
U11
X1
X2
mark
X1
active
isNat
plus
V1
V2
mark
and
isNat
V1
isNat
V2
mark
s
X
active
s
mark
X
U21
X1
mark
X2
X3
U21
X1
X2
X3
mark
U31
X
active
U31
mark
X
U21
active
X1
X2
X3
U21
X1
X2
X3
active
plus
N
0
mark
U11
isNat
N
N
U21
X1
active
X2
X3
U21
X1
X2
X3
mark
and
X1
X2
mark
X1
s
mark
X
s
X
active
plus
N
0
U11
isNat
N
N
active
isNat
plus
V1
V2
isNat
V1
mark
x
X1
X2
mark
X1
active
x
N
0
mark
U31
isNat
N
active
isNat
s
V1
isNat
V1
U11
mark
X1
X2
U11
X1
X2
U41
X1
X2
active
X3
U41
X1
X2
X3
U31
mark
X
U31
X
U41
X1
active
X2
X3
U41
X1
X2
X3
mark
plus
X1
X2
mark
X1
plus
active
X1
X2
plus
X1
X2
mark
U31
X
U31
mark
X
active
U41
tt
M
N
x
N
M
active
x
N
s
M
isNat
N
U11
active
X1
X2
U11
X1
X2
active
x
N
s
M
isNat
M
mark
U41
X1
X2
X3
U41
mark
X1
X2
X3
U11
X1
mark
X2
U11
X1
X2
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
U21
X1
X2
active
X3
U21
X1
X2
X3
and
mark
X1
X2
and
X1
X2
active
plus
N
s
M
and
isNat
M
isNat
N
s
active
X
s
X
active
isNat
plus
V1
V2
isNat
V2
active
isNat
s
V1
mark
isNat
V1
mark
U41
X1
X2
X3
mark
X1
isNat
active
X
isNat
X
active
and
tt
X
mark
X
active
plus
N
s
M
U21
and
isNat
M
isNat
N
M
N
mark
0
active
0
x
X1
active
X2
x
X1
X2
active
isNat
x
V1
V2
mark
and
isNat
V1
isNat
V2
active
x
N
s
M
mark
U41
and
isNat
M
isNat
N
M
N
and
X1
mark
X2
and
X1
X2
U41
active
X1
X2
X3
U41
X1
X2
X3
U41
X1
X2
mark
X3
U41
X1
X2
X3
plus
mark
X1
X2
plus
X1
X2
active
U41
tt
M
N
mark
plus
x
N
M
N
active
U41
tt
M
N
plus
x
N
M
N
U11
X1
active
X2
U11
X1
X2
active
plus
N
s
M
isNat
N
mark
s
X
s
mark
X
U21
mark
X1
X2
X3
U21
X1
X2
X3
and
X1
active
X2
and
X1
X2
mark
x
X1
X2
active
x
mark
X1
mark
X2
active
isNat
x
V1
V2
isNat
V2
active
x
N
s
M
and
isNat
M
isNat
N
isNat
mark
X
isNat
X
mark
U21
X1
X2
X3
U21
mark
X1
X2
X3
active
U11
tt
N
mark
N
active
isNat
x
V1
V2
isNat
V1
active
plus
N
0
isNat
N
and
active
X1
X2
and
X1
X2
active
plus
N
s
M
isNat
M
x
active
X1
X2
x
X1
X2
U41
X1
mark
X2
X3
U41
X1
X2
X3
active
isNat
x
V1
V2
and
isNat
V1
isNat
V2
mark
U21
X1
X2
X3
mark
X1
mark
x
X1
X2
mark
X2
mark
and
X1
X2
active
and
mark
X1
X2
active
x
N
s
M
U41
and
isNat
M
isNat
N
M
N
active
isNat
0
mark
tt
active
U21
tt
M
N
plus
N
M
mark
U31
X
mark
X
active
U21
tt
M
N
mark
s
plus
N
M
active
isNat
plus
V1
V2
and
isNat
V1
isNat
V2
U31
active
X
U31
X
plus
X1
mark
X2
plus
X1
X2
U41
mark
X1
X2
X3
U41
X1
X2
X3
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
x
mark
X1
X2
x
X1
X2
plus
X1
active
X2
plus
X1
X2
true
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
active
isNat
x
V1
V2
mark
and
isNat
V1
isNat
V2
active
and
tt
X
mark
X
mark
U41
X1
X2
X3
mark
X1
active
isNat
s
V1
mark
isNat
V1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
U11
X1
X2
active
U11
mark
X1
X2
active
U21
tt
M
N
mark
s
plus
N
M
mark
U31
X
mark
X
mark
and
X1
X2
active
and
mark
X1
X2
mark
x
X1
X2
mark
X2
mark
U21
X1
X2
X3
mark
X1
mark
plus
X1
X2
mark
X1
active
x
N
0
mark
U31
isNat
N
mark
x
X1
X2
mark
X1
mark
and
X1
X2
mark
X1
active
U11
tt
N
mark
N
active
plus
N
0
mark
U11
isNat
N
N
mark
U31
X
active
U31
mark
X
mark
s
X
active
s
mark
X
active
isNat
plus
V1
V2
mark
and
isNat
V1
isNat
V2
mark
x
X1
X2
active
x
mark
X1
mark
X2
mark
s
X
mark
X
mark
U11
X1
X2
mark
X1
mark
plus
X1
X2
mark
X2
active
U41
tt
M
N
mark
plus
x
N
M
N
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
mark
isNat
X
active
isNat
X
active
plus
N
s
M
mark
U21
and
isNat
M
isNat
N
M
N
active
x
N
s
M
mark
U41
and
isNat
M
isNat
N
M
N
true
U21
3
36336
U11
2
36336
s
1
35495
isNat
1
0
and
2
36336
plus
2
0
x
2
36336
mark
1
36336
0
0
1
x
2
0
s
1
0
mark
1
1
isNat
1
36336
plus
2
36336
U11
2
0
active
1
1
U31
1
1
U41
3
0
active
1
1
0
U21
3
0
tt
0
5
U41
3
36336
U31
1
0
and
2
0
active
x
N
s
M
mark
U41
and
isNat
M
isNat
N
M
N
active
plus
N
s
M
mark
U21
and
isNat
M
isNat
N
M
N
mark
isNat
X
active
isNat
X
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
active
U41
tt
M
N
mark
plus
x
N
M
N
mark
plus
X1
X2
mark
X2
mark
U11
X1
X2
mark
X1
mark
s
X
mark
X
mark
x
X1
X2
active
x
mark
X1
mark
X2
active
isNat
plus
V1
V2
mark
and
isNat
V1
isNat
V2
active
plus
N
0
mark
U11
isNat
N
N
active
U11
tt
N
mark
N
mark
and
X1
X2
mark
X1
mark
x
X1
X2
mark
X1
active
x
N
0
mark
U31
isNat
N
mark
plus
X1
X2
mark
X1
mark
U21
X1
X2
X3
mark
X1
mark
x
X1
X2
mark
X2
mark
and
X1
X2
active
and
mark
X1
X2
mark
U31
X
mark
X
active
U21
tt
M
N
mark
s
plus
N
M
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
isNat
s
V1
mark
isNat
V1
mark
U41
X1
X2
X3
mark
X1
active
and
tt
X
mark
X
active
isNat
x
V1
V2
mark
and
isNat
V1
isNat
V2
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
x
X1
mark
X2
x
X1
X2
active
U41
tt
M
N
mark
plus
x
N
M
N
mark
tt
active
tt
active
isNat
s
V1
mark
isNat
V1
and
X1
mark
X2
and
X1
X2
active
U11
tt
N
mark
N
active
U31
tt
mark
0
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
s
active
X
s
X
U11
X1
mark
X2
U11
X1
X2
mark
U31
X
active
U31
mark
X
U21
active
X1
X2
X3
U21
X1
X2
X3
mark
s
X
active
s
mark
X
U11
active
X1
X2
U11
X1
X2
U21
X1
X2
active
X3
U21
X1
X2
X3
mark
x
X1
X2
active
x
mark
X1
mark
X2
U11
X1
active
X2
U11
X1
X2
U41
X1
mark
X2
X3
U41
X1
X2
X3
active
and
tt
X
mark
X
U21
X1
active
X2
X3
U21
X1
X2
X3
active
plus
N
0
mark
U11
isNat
N
N
plus
active
X1
X2
plus
X1
X2
active
isNat
plus
V1
V2
mark
and
isNat
V1
isNat
V2
mark
0
active
0
U11
mark
X1
X2
U11
X1
X2
x
mark
X1
X2
x
X1
X2
x
X1
active
X2
x
X1
X2
U21
X1
mark
X2
X3
U21
X1
X2
X3
mark
U11
X1
X2
active
U11
mark
X1
X2
and
X1
active
X2
and
X1
X2
U21
X1
X2
mark
X3
U21
X1
X2
X3
active
x
N
0
mark
U31
isNat
N
U41
X1
X2
mark
X3
U41
X1
X2
X3
mark
and
X1
X2
active
and
mark
X1
X2
mark
isNat
X
active
isNat
X
isNat
mark
X
isNat
X
active
plus
N
s
M
mark
U21
and
isNat
M
isNat
N
M
N
active
isNat
x
V1
V2
mark
and
isNat
V1
isNat
V2
active
x
N
s
M
mark
U41
and
isNat
M
isNat
N
M
N
x
active
X1
X2
x
X1
X2
plus
X1
active
X2
plus
X1
X2
and
active
X1
X2
and
X1
X2
active
isNat
0
mark
tt
plus
X1
mark
X2
plus
X1
X2
isNat
active
X
isNat
X
U41
X1
X2
active
X3
U41
X1
X2
X3
and
mark
X1
X2
and
X1
X2
U41
X1
active
X2
X3
U41
X1
X2
X3
plus
mark
X1
X2
plus
X1
X2
U31
mark
X
U31
X
U31
active
X
U31
X
U41
active
X1
X2
X3
U41
X1
X2
X3
s
mark
X
s
X
U21
mark
X1
X2
X3
U21
X1
X2
X3
U41
mark
X1
X2
X3
U41
X1
X2
X3
active
U21
tt
M
N
mark
s
plus
N
M
mark
plus
X1
X2
mark
X2
mark
plus
X1
X2
mark
X1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
U41
tt
M
N
mark
plus
x
N
M
N
active
isNat
s
V1
mark
isNat
V1
active
U11
tt
N
mark
N
mark
U21
X1
X2
X3
mark
X1
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
mark
U41
X1
X2
X3
mark
X1
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
mark
U31
X
mark
X
mark
s
X
mark
X
mark
x
X1
X2
mark
X2
mark
x
X1
X2
mark
X1
mark
x
X1
X2
active
x
mark
X1
mark
X2
active
and
tt
X
mark
X
active
plus
N
0
mark
U11
isNat
N
N
active
isNat
plus
V1
V2
mark
and
isNat
V1
isNat
V2
mark
U11
X1
X2
mark
X1
mark
U11
X1
X2
active
U11
mark
X1
X2
active
x
N
0
mark
U31
isNat
N
mark
and
X1
X2
mark
X1
mark
and
X1
X2
active
and
mark
X1
X2
mark
isNat
X
active
isNat
X
active
plus
N
s
M
mark
U21
and
isNat
M
isNat
N
M
N
active
isNat
x
V1
V2
mark
and
isNat
V1
isNat
V2
active
x
N
s
M
mark
U41
and
isNat
M
isNat
N
M
N
active
U21
tt
M
N
mark
s
plus
N
M
true
U21
3
1
1
2
21878
3
0
0
U11
2
1
1
2
0
0
s
1
1
0
isNat
1
0
and
2
1
0
2
0
0
plus
2
0
x
2
1
21880
2
21881
0
mark
1
1
0
0
0
1
x
2
0
s
1
0
mark
1
1
0
isNat
1
19430
plus
2
1
0
2
21878
0
U11
2
0
active
1
1
0
U31
1
1
591
U41
3
0
active
1
1
0
U21
3
0
tt
0
19428
U41
3
1
2451
2
21881
3
21880
0
U31
1
0
and
2
0
active
U21
tt
M
N
mark
s
plus
N
M
active
x
N
s
M
mark
U41
and
isNat
M
isNat
N
M
N
active
isNat
x
V1
V2
mark
and
isNat
V1
isNat
V2
active
plus
N
s
M
mark
U21
and
isNat
M
isNat
N
M
N
mark
isNat
X
active
isNat
X
mark
and
X1
X2
active
and
mark
X1
X2
mark
and
X1
X2
mark
X1
mark
U11
X1
X2
active
U11
mark
X1
X2
active
isNat
plus
V1
V2
mark
and
isNat
V1
isNat
V2
active
plus
N
0
mark
U11
isNat
N
N
active
and
tt
X
mark
X
mark
x
X1
X2
active
x
mark
X1
mark
X2
mark
s
X
mark
X
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
active
U11
tt
N
mark
N
active
isNat
s
V1
mark
isNat
V1
active
U41
tt
M
N
mark
plus
x
N
M
N
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
plus
X1
X2
mark
X1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
x
X1
mark
X2
x
X1
X2
active
U41
tt
M
N
mark
plus
x
N
M
N
mark
tt
active
tt
active
isNat
s
V1
mark
isNat
V1
and
X1
mark
X2
and
X1
X2
active
U11
tt
N
mark
N
active
U31
tt
mark
0
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
s
active
X
s
X
U11
X1
mark
X2
U11
X1
X2
mark
U31
X
active
U31
mark
X
U21
active
X1
X2
X3
U21
X1
X2
X3
mark
s
X
active
s
mark
X
U11
active
X1
X2
U11
X1
X2
U21
X1
X2
active
X3
U21
X1
X2
X3
mark
x
X1
X2
active
x
mark
X1
mark
X2
U11
X1
active
X2
U11
X1
X2
U41
X1
mark
X2
X3
U41
X1
X2
X3
active
and
tt
X
mark
X
U21
X1
active
X2
X3
U21
X1
X2
X3
active
plus
N
0
mark
U11
isNat
N
N
plus
active
X1
X2
plus
X1
X2
active
isNat
plus
V1
V2
mark
and
isNat
V1
isNat
V2
mark
0
active
0
U11
mark
X1
X2
U11
X1
X2
x
mark
X1
X2
x
X1
X2
x
X1
active
X2
x
X1
X2
U21
X1
mark
X2
X3
U21
X1
X2
X3
mark
U11
X1
X2
active
U11
mark
X1
X2
and
X1
active
X2
and
X1
X2
U21
X1
X2
mark
X3
U21
X1
X2
X3
active
x
N
0
mark
U31
isNat
N
U41
X1
X2
mark
X3
U41
X1
X2
X3
mark
and
X1
X2
active
and
mark
X1
X2
mark
isNat
X
active
isNat
X
isNat
mark
X
isNat
X
active
plus
N
s
M
mark
U21
and
isNat
M
isNat
N
M
N
active
isNat
x
V1
V2
mark
and
isNat
V1
isNat
V2
active
x
N
s
M
mark
U41
and
isNat
M
isNat
N
M
N
x
active
X1
X2
x
X1
X2
plus
X1
active
X2
plus
X1
X2
and
active
X1
X2
and
X1
X2
active
isNat
0
mark
tt
plus
X1
mark
X2
plus
X1
X2
isNat
active
X
isNat
X
U41
X1
X2
active
X3
U41
X1
X2
X3
and
mark
X1
X2
and
X1
X2
U41
X1
active
X2
X3
U41
X1
X2
X3
plus
mark
X1
X2
plus
X1
X2
U31
mark
X
U31
X
U31
active
X
U31
X
U41
active
X1
X2
X3
U41
X1
X2
X3
s
mark
X
s
X
U21
mark
X1
X2
X3
U21
X1
X2
X3
U41
mark
X1
X2
X3
U41
X1
X2
X3
active
U21
tt
M
N
mark
s
plus
N
M
mark
plus
X1
X2
mark
X1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
U41
tt
M
N
mark
plus
x
N
M
N
active
isNat
s
V1
mark
isNat
V1
active
U11
tt
N
mark
N
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
mark
s
X
mark
X
mark
x
X1
X2
active
x
mark
X1
mark
X2
active
and
tt
X
mark
X
active
plus
N
0
mark
U11
isNat
N
N
active
isNat
plus
V1
V2
mark
and
isNat
V1
isNat
V2
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
and
X1
X2
mark
X1
mark
and
X1
X2
active
and
mark
X1
X2
mark
isNat
X
active
isNat
X
active
plus
N
s
M
mark
U21
and
isNat
M
isNat
N
M
N
active
isNat
x
V1
V2
mark
and
isNat
V1
isNat
V2
active
x
N
s
M
mark
U41
and
isNat
M
isNat
N
M
N
active
U21
tt
M
N
mark
s
plus
N
M
true
U21
3
2
38781
3
0
0
U11
2
2
0
0
s
1
1
0
isNat
1
0
and
2
1
0
2
1
0
plus
2
0
x
2
1
38781
2
16336
0
mark
1
1
0
0
0
22325
x
2
0
s
1
0
mark
1
1
0
isNat
1
1
5969
plus
2
1
0
2
38781
0
U11
2
0
active
1
1
0
U31
1
1
32812
U41
3
0
active
1
1
0
U21
3
0
tt
0
17525
U41
3
2
16336
3
38781
0
U31
1
0
and
2
0
active
U21
tt
M
N
mark
s
plus
N
M
active
x
N
s
M
mark
U41
and
isNat
M
isNat
N
M
N
active
plus
N
s
M
mark
U21
and
isNat
M
isNat
N
M
N
mark
isNat
X
active
isNat
X
mark
and
X1
X2
active
and
mark
X1
X2
mark
and
X1
X2
mark
X1
mark
U11
X1
X2
active
U11
mark
X1
X2
active
isNat
plus
V1
V2
mark
and
isNat
V1
isNat
V2
active
plus
N
0
mark
U11
isNat
N
N
mark
x
X1
X2
active
x
mark
X1
mark
X2
mark
s
X
mark
X
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
active
U11
tt
N
mark
N
active
isNat
s
V1
mark
isNat
V1
active
U41
tt
M
N
mark
plus
x
N
M
N
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
plus
X1
X2
mark
X1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
x
X1
mark
X2
x
X1
X2
active
U41
tt
M
N
mark
plus
x
N
M
N
mark
tt
active
tt
active
isNat
s
V1
mark
isNat
V1
and
X1
mark
X2
and
X1
X2
active
U11
tt
N
mark
N
active
U31
tt
mark
0
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
s
active
X
s
X
U11
X1
mark
X2
U11
X1
X2
mark
U31
X
active
U31
mark
X
U21
active
X1
X2
X3
U21
X1
X2
X3
mark
s
X
active
s
mark
X
U11
active
X1
X2
U11
X1
X2
U21
X1
X2
active
X3
U21
X1
X2
X3
mark
x
X1
X2
active
x
mark
X1
mark
X2
U11
X1
active
X2
U11
X1
X2
U41
X1
mark
X2
X3
U41
X1
X2
X3
active
and
tt
X
mark
X
U21
X1
active
X2
X3
U21
X1
X2
X3
active
plus
N
0
mark
U11
isNat
N
N
plus
active
X1
X2
plus
X1
X2
active
isNat
plus
V1
V2
mark
and
isNat
V1
isNat
V2
mark
0
active
0
U11
mark
X1
X2
U11
X1
X2
x
mark
X1
X2
x
X1
X2
x
X1
active
X2
x
X1
X2
U21
X1
mark
X2
X3
U21
X1
X2
X3
mark
U11
X1
X2
active
U11
mark
X1
X2
and
X1
active
X2
and
X1
X2
U21
X1
X2
mark
X3
U21
X1
X2
X3
active
x
N
0
mark
U31
isNat
N
U41
X1
X2
mark
X3
U41
X1
X2
X3
mark
and
X1
X2
active
and
mark
X1
X2
mark
isNat
X
active
isNat
X
isNat
mark
X
isNat
X
active
plus
N
s
M
mark
U21
and
isNat
M
isNat
N
M
N
active
isNat
x
V1
V2
mark
and
isNat
V1
isNat
V2
active
x
N
s
M
mark
U41
and
isNat
M
isNat
N
M
N
x
active
X1
X2
x
X1
X2
plus
X1
active
X2
plus
X1
X2
and
active
X1
X2
and
X1
X2
active
isNat
0
mark
tt
plus
X1
mark
X2
plus
X1
X2
isNat
active
X
isNat
X
U41
X1
X2
active
X3
U41
X1
X2
X3
and
mark
X1
X2
and
X1
X2
U41
X1
active
X2
X3
U41
X1
X2
X3
plus
mark
X1
X2
plus
X1
X2
U31
mark
X
U31
X
U31
active
X
U31
X
U41
active
X1
X2
X3
U41
X1
X2
X3
s
mark
X
s
X
U21
mark
X1
X2
X3
U21
X1
X2
X3
U41
mark
X1
X2
X3
U41
X1
X2
X3
active
U21
tt
M
N
mark
s
plus
N
M
mark
plus
X1
X2
mark
X1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
U41
tt
M
N
mark
plus
x
N
M
N
active
isNat
s
V1
mark
isNat
V1
active
U11
tt
N
mark
N
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
mark
s
X
mark
X
mark
x
X1
X2
active
x
mark
X1
mark
X2
active
plus
N
0
mark
U11
isNat
N
N
active
isNat
plus
V1
V2
mark
and
isNat
V1
isNat
V2
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
and
X1
X2
mark
X1
mark
and
X1
X2
active
and
mark
X1
X2
mark
isNat
X
active
isNat
X
active
plus
N
s
M
mark
U21
and
isNat
M
isNat
N
M
N
active
x
N
s
M
mark
U41
and
isNat
M
isNat
N
M
N
active
U21
tt
M
N
mark
s
plus
N
M
true
U21
3
9049
U11
2
9049
s
1
1
isNat
1
0
and
2
1
plus
2
0
x
2
9049
mark
1
9049
0
0
1
x
2
0
s
1
0
mark
1
0
isNat
1
9049
plus
2
9049
U11
2
0
active
1
0
U31
1
1
U41
3
0
active
1
1
0
U21
3
0
tt
0
1
U41
3
9049
U31
1
0
and
2
0
active
U21
tt
M
N
mark
s
plus
N
M
active
x
N
s
M
mark
U41
and
isNat
M
isNat
N
M
N
active
plus
N
s
M
mark
U21
and
isNat
M
isNat
N
M
N
mark
isNat
X
active
isNat
X
mark
and
X1
X2
mark
X1
mark
U11
X1
X2
active
U11
mark
X1
X2
active
isNat
plus
V1
V2
mark
and
isNat
V1
isNat
V2
active
plus
N
0
mark
U11
isNat
N
N
mark
x
X1
X2
active
x
mark
X1
mark
X2
mark
s
X
mark
X
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
active
U11
tt
N
mark
N
active
isNat
s
V1
mark
isNat
V1
active
U41
tt
M
N
mark
plus
x
N
M
N
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
plus
X1
X2
mark
X1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
x
X1
mark
X2
x
X1
X2
active
U41
tt
M
N
mark
plus
x
N
M
N
mark
tt
active
tt
active
isNat
s
V1
mark
isNat
V1
and
X1
mark
X2
and
X1
X2
active
U11
tt
N
mark
N
active
U31
tt
mark
0
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
s
active
X
s
X
U11
X1
mark
X2
U11
X1
X2
mark
U31
X
active
U31
mark
X
U21
active
X1
X2
X3
U21
X1
X2
X3
mark
s
X
active
s
mark
X
U11
active
X1
X2
U11
X1
X2
U21
X1
X2
active
X3
U21
X1
X2
X3
mark
x
X1
X2
active
x
mark
X1
mark
X2
U11
X1
active
X2
U11
X1
X2
U41
X1
mark
X2
X3
U41
X1
X2
X3
active
and
tt
X
mark
X
U21
X1
active
X2
X3
U21
X1
X2
X3
active
plus
N
0
mark
U11
isNat
N
N
plus
active
X1
X2
plus
X1
X2
active
isNat
plus
V1
V2
mark
and
isNat
V1
isNat
V2
mark
0
active
0
U11
mark
X1
X2
U11
X1
X2
x
mark
X1
X2
x
X1
X2
x
X1
active
X2
x
X1
X2
U21
X1
mark
X2
X3
U21
X1
X2
X3
mark
U11
X1
X2
active
U11
mark
X1
X2
and
X1
active
X2
and
X1
X2
U21
X1
X2
mark
X3
U21
X1
X2
X3
active
x
N
0
mark
U31
isNat
N
U41
X1
X2
mark
X3
U41
X1
X2
X3
mark
and
X1
X2
active
and
mark
X1
X2
mark
isNat
X
active
isNat
X
isNat
mark
X
isNat
X
active
plus
N
s
M
mark
U21
and
isNat
M
isNat
N
M
N
active
isNat
x
V1
V2
mark
and
isNat
V1
isNat
V2
active
x
N
s
M
mark
U41
and
isNat
M
isNat
N
M
N
x
active
X1
X2
x
X1
X2
plus
X1
active
X2
plus
X1
X2
and
active
X1
X2
and
X1
X2
active
isNat
0
mark
tt
plus
X1
mark
X2
plus
X1
X2
isNat
active
X
isNat
X
U41
X1
X2
active
X3
U41
X1
X2
X3
and
mark
X1
X2
and
X1
X2
U41
X1
active
X2
X3
U41
X1
X2
X3
plus
mark
X1
X2
plus
X1
X2
U31
mark
X
U31
X
U31
active
X
U31
X
U41
active
X1
X2
X3
U41
X1
X2
X3
s
mark
X
s
X
U21
mark
X1
X2
X3
U21
X1
X2
X3
U41
mark
X1
X2
X3
U41
X1
X2
X3
active
U21
tt
M
N
mark
s
plus
N
M
mark
plus
X1
X2
mark
X1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
U41
tt
M
N
mark
plus
x
N
M
N
active
isNat
s
V1
mark
isNat
V1
active
U11
tt
N
mark
N
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
mark
s
X
mark
X
mark
x
X1
X2
active
x
mark
X1
mark
X2
active
plus
N
0
mark
U11
isNat
N
N
active
isNat
plus
V1
V2
mark
and
isNat
V1
isNat
V2
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
and
X1
X2
mark
X1
mark
isNat
X
active
isNat
X
active
plus
N
s
M
mark
U21
and
isNat
M
isNat
N
M
N
active
x
N
s
M
mark
U41
and
isNat
M
isNat
N
M
N
active
U21
tt
M
N
mark
s
plus
N
M
true
s
1
1
mark
1
1
active
1
1
active
1
1
U21
3
4
2
3
1
U11
2
3
2
1
s
1
1
1
isNat
1
0
and
2
3
2
1
plus
2
0
x
2
5
2
1
mark
1
2
1
0
0
0
x
2
0
2
1
isNat
1
3
1
plus
2
4
2
1
U11
2
0
1
2
U31
1
4
U41
3
0
1
2
3
U21
3
0
3
1
tt
0
0
U41
3
5
2
3
1
U31
1
0
and
2
0
2
1
U21
3
1
0
2
0
3
0
0
U11
2
1
0
2
0
0
s
1
1
0
isNat
1
0
and
2
1
0
2
0
0
plus
2
0
x
2
1
0
2
0
0
mark
1
1
0
0
0
0
x
2
1
0
2
0
0
isNat
1
1
0
plus
2
1
0
2
0
0
U11
2
1
0
2
0
0
U31
1
0
U41
3
1
0
2
0
3
0
0
U21
3
1
0
3
0
0
tt
0
0
U41
3
1
0
2
0
3
0
0
U31
1
0
and
2
1
0
2
0
0
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
x
X1
mark
X2
x
X1
X2
active
U41
tt
M
N
mark
plus
x
N
M
N
mark
tt
active
tt
active
isNat
s
V1
mark
isNat
V1
and
X1
mark
X2
and
X1
X2
active
U11
tt
N
mark
N
active
U31
tt
mark
0
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
s
active
X
s
X
U11
X1
mark
X2
U11
X1
X2
mark
U31
X
active
U31
mark
X
U21
active
X1
X2
X3
U21
X1
X2
X3
mark
s
X
active
s
mark
X
U11
active
X1
X2
U11
X1
X2
U21
X1
X2
active
X3
U21
X1
X2
X3
mark
x
X1
X2
active
x
mark
X1
mark
X2
U11
X1
active
X2
U11
X1
X2
U41
X1
mark
X2
X3
U41
X1
X2
X3
active
and
tt
X
mark
X
U21
X1
active
X2
X3
U21
X1
X2
X3
active
plus
N
0
mark
U11
isNat
N
N
plus
active
X1
X2
plus
X1
X2
active
isNat
plus
V1
V2
mark
and
isNat
V1
isNat
V2
mark
0
active
0
U11
mark
X1
X2
U11
X1
X2
x
mark
X1
X2
x
X1
X2
x
X1
active
X2
x
X1
X2
U21
X1
mark
X2
X3
U21
X1
X2
X3
mark
U11
X1
X2
active
U11
mark
X1
X2
and
X1
active
X2
and
X1
X2
U21
X1
X2
mark
X3
U21
X1
X2
X3
active
x
N
0
mark
U31
isNat
N
U41
X1
X2
mark
X3
U41
X1
X2
X3
mark
and
X1
X2
active
and
mark
X1
X2
mark
isNat
X
active
isNat
X
isNat
mark
X
isNat
X
active
plus
N
s
M
mark
U21
and
isNat
M
isNat
N
M
N
active
isNat
x
V1
V2
mark
and
isNat
V1
isNat
V2
active
x
N
s
M
mark
U41
and
isNat
M
isNat
N
M
N
x
active
X1
X2
x
X1
X2
plus
X1
active
X2
plus
X1
X2
and
active
X1
X2
and
X1
X2
active
isNat
0
mark
tt
plus
X1
mark
X2
plus
X1
X2
isNat
active
X
isNat
X
U41
X1
X2
active
X3
U41
X1
X2
X3
and
mark
X1
X2
and
X1
X2
U41
X1
active
X2
X3
U41
X1
X2
X3
plus
mark
X1
X2
plus
X1
X2
U31
mark
X
U31
X
U31
active
X
U31
X
U41
active
X1
X2
X3
U41
X1
X2
X3
s
mark
X
s
X
U21
mark
X1
X2
X3
U21
X1
X2
X3
U41
mark
X1
X2
X3
U41
X1
X2
X3
active
U21
tt
M
N
mark
s
plus
N
M
active
U21
tt
M
N
s
plus
N
M
false
active
U21
tt
M
N
plus
N
M
false
active
isNat
0
mark
tt
false
active
x
N
s
M
U41
and
isNat
M
isNat
N
M
N
false
active
x
N
s
M
and
isNat
M
isNat
N
false
active
x
N
s
M
isNat
M
false
active
x
N
s
M
isNat
N
false
active
isNat
x
V1
V2
and
isNat
V1
isNat
V2
false
active
isNat
x
V1
V2
isNat
V1
false
active
isNat
x
V1
V2
isNat
V2
false
active
plus
N
s
M
U21
and
isNat
M
isNat
N
M
N
false
active
plus
N
s
M
and
isNat
M
isNat
N
false
active
plus
N
s
M
isNat
M
false
active
plus
N
s
M
isNat
N
false
mark
and
X1
X2
and
mark
X1
X2
false
active
x
N
0
U31
isNat
N
false
active
x
N
0
isNat
N
false
mark
U11
X1
X2
U11
mark
X1
X2
false
active
isNat
plus
V1
V2
and
isNat
V1
isNat
V2
false
and
mark
X1
X2
and
X1
X2
and
active
X1
X2
and
X1
X2
and
X1
active
X2
and
X1
X2
and
X1
mark
X2
and
X1
X2
true
U21
3
1
U11
2
1
s
1
1
isNat
1
0
and
2
1
plus
2
0
x
2
2
1
mark
1
0
0
0
0
x
2
0
s
1
0
mark
1
1
3
isNat
1
1
plus
2
1
1
U11
2
0
active
1
1
1
U31
1
1
U41
3
0
active
1
0
U21
3
0
tt
0
0
U41
3
2
2
U31
1
0
and
2
2
0
and
active
X1
X2
and
X1
X2
and
mark
X1
X2
and
X1
X2
U31
mark
X
U31
X
U31
active
X
U31
X
and
active
X1
X2
and
X1
X2
and
mark
X1
X2
and
X1
X2
true
U21
3
2
U11
2
2
s
1
1
isNat
1
0
and
2
1
plus
2
0
x
2
2
1
mark
1
0
0
0
1
x
2
0
s
1
0
mark
1
1
4
isNat
1
1
1
plus
2
1
2
U11
2
0
active
1
1
1
U31
1
1
U41
3
0
active
1
0
U21
3
0
tt
0
0
U41
3
2
2
U31
1
0
and
2
1
0
U31
mark
X
U31
X
U31
active
X
U31
X
active
isNat
plus
V1
V2
isNat
V1
false
active
isNat
plus
V1
V2
isNat
V2
false
mark
x
X1
X2
x
mark
X1
mark
X2
false
active
plus
N
0
U11
isNat
N
N
false
U11
X1
mark
X2
U11
X1
X2
U11
active
X1
X2
U11
X1
X2
U11
mark
X1
X2
U11
X1
X2
U11
X1
active
X2
U11
X1
X2
true
U21
3
3
U11
2
1
s
1
1
isNat
1
0
and
2
1
plus
2
0
x
2
2
1
mark
1
0
0
0
1
x
2
0
s
1
0
mark
1
1
4
isNat
1
1
1
plus
2
1
1
U11
2
1
2
0
active
1
1
1
U31
1
1
U41
3
0
active
1
0
U21
3
0
tt
0
0
U41
3
2
1
U31
1
0
and
2
0
U31
mark
X
U31
X
U31
active
X
U31
X
active
plus
N
0
isNat
N
false
mark
s
X
s
mark
X
false
s
active
X
s
X
s
mark
X
s
X
true
U21
3
10949
U11
2
6447
s
1
1
isNat
1
0
and
2
13856
plus
2
0
x
2
2
8028
mark
1
0
0
0
1
x
2
0
s
1
1
0
mark
1
1
21807
isNat
1
1
21804
plus
2
1
3
U11
2
0
active
1
1
1
U31
1
6773
U41
3
0
active
1
0
U21
3
0
tt
0
0
U41
3
2
3103
U31
1
0
and
2
0
U31
mark
X
U31
X
U31
active
X
U31
X
active
U31
tt
mark
0
false
mark
0
active
0
false
mark
U31
X
U31
mark
X
false
U31
active
X
U31
X
U31
mark
X
U31
X
true
U21
3
1
U11
2
2
s
1
1
isNat
1
0
and
2
1
plus
2
0
x
2
2
1
mark
1
0
0
0
1
x
2
0
s
1
0
mark
1
1
4
isNat
1
1
1
plus
2
1
1
U11
2
0
active
1
1
1
U31
1
3
U41
3
0
active
1
0
U21
3
0
tt
0
0
U41
3
2
4
U31
1
1
0
and
2
0
U31
mark
X
U31
X
U31
active
X
U31
X
mark
U41
X1
X2
X3
U41
mark
X1
X2
X3
false
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
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
true
U21
3
1
U11
2
2
s
1
1
isNat
1
0
and
2
1
plus
2
0
x
2
2
1
mark
1
0
0
0
1
x
2
0
s
1
0
mark
1
1
4
isNat
1
1
1
plus
2
1
1
U11
2
0
active
1
1
1
U31
1
1
U41
3
1
2
3
0
active
1
0
U21
3
0
tt
0
0
U41
3
2
1
U31
1
0
and
2
0
U31
mark
X
U31
X
U31
active
X
U31
X
active
isNat
s
V1
isNat
V1
false
isNat
active
X
isNat
X
isNat
mark
X
isNat
X
true
U21
3
2
U11
2
2
s
1
1
isNat
1
1
0
and
2
1
plus
2
0
x
2
2
1
mark
1
0
0
0
1
x
2
0
s
1
0
mark
1
1
4
isNat
1
1
1
plus
2
1
1
U11
2
0
active
1
1
1
U31
1
1
U41
3
0
active
1
0
U21
3
0
tt
0
0
U41
3
2
3
U31
1
0
and
2
0
U31
mark
X
U31
X
U31
active
X
U31
X
mark
U21
X1
X2
X3
U21
mark
X1
X2
X3
false
U21
X1
X2
active
X3
U21
X1
X2
X3
U21
X1
active
X2
X3
U21
X1
X2
X3
U21
active
X1
X2
X3
U21
X1
X2
X3
U21
X1
mark
X2
X3
U21
X1
X2
X3
U21
mark
X1
X2
X3
U21
X1
X2
X3
U21
X1
X2
mark
X3
U21
X1
X2
X3
true
U21
3
1
U11
2
1
s
1
1
isNat
1
0
and
2
2
plus
2
0
x
2
2
1
mark
1
0
0
0
1
x
2
0
s
1
0
mark
1
1
4
isNat
1
1
1
plus
2
1
3
U11
2
0
active
1
1
1
U31
1
1
U41
3
0
active
1
0
U21
3
2
3
0
tt
0
0
U41
3
2
1
U31
1
0
and
2
0
U21
mark
X1
X2
X3
U21
X1
X2
X3
U21
active
X1
X2
X3
U21
X1
X2
X3
U31
mark
X
U31
X
U31
active
X
U31
X
U21
active
X1
X2
X3
U21
X1
X2
X3
U21
mark
X1
X2
X3
U21
X1
X2
X3
true
U21
3
2488
U11
2
410
s
1
1
isNat
1
0
and
2
1142
plus
2
0
x
2
2
1
mark
1
0
0
0
1
x
2
0
s
1
0
mark
1
1
4513
isNat
1
1
2101
plus
2
1
1
U11
2
0
active
1
1
1
U31
1
1
U41
3
0
active
1
0
U21
3
1
0
tt
0
0
U41
3
2
28
U31
1
0
and
2
0
U31
mark
X
U31
X
U31
active
X
U31
X
mark
tt
active
tt
false
active
U41
tt
M
N
plus
x
N
M
N
false
active
U41
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
19314
U11
2
23959
s
1
1
isNat
1
0
and
2
1
plus
2
0
x
2
2
15155
mark
1
0
0
0
37883
x
2
2
0
s
1
0
mark
1
1
54021
isNat
1
1
16136
plus
2
1
8752
U11
2
0
active
1
1
1
U31
1
1
U41
3
0
active
1
0
U21
3
0
tt
0
0
U41
3
2
12692
U31
1
0
and
2
0
x
active
X1
X2
x
X1
X2
x
mark
X1
X2
x
X1
X2
U31
mark
X
U31
X
U31
active
X
U31
X
x
mark
X1
X2
x
X1
X2
x
active
X1
X2
x
X1
X2
true
U21
3
1
1
U11
2
1
44033
s
1
1
29823
isNat
1
0
and
2
13862
plus
2
0
x
2
2
16019
mark
1
0
0
0
10026
x
2
1
0
s
1
0
mark
1
1
73356
isNat
1
1
3901
plus
2
2
2061
U11
2
0
active
1
1
1
U31
1
1
14809
U41
3
0
active
1
0
U21
3
0
tt
0
29321
U41
3
1
2
13780
U31
1
0
and
2
0
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
active
X1
X2
plus
X1
X2
plus
mark
X1
X2
plus
X1
X2
true
U21
3
1
2
U11
2
1
1
s
1
1
1
isNat
1
0
and
2
1
2
1
plus
2
1
0
x
2
1
2
mark
1
0
0
0
1
x
2
0
s
1
0
mark
1
1
4
isNat
1
1
1
plus
2
2
2
U11
2
0
active
1
1
1
U31
1
1
1
U41
3
0
active
1
0
U21
3
0
tt
0
1
U41
3
1
3
1
U31
1
0
and
2
0
plus
X1
mark
X2
plus
X1
X2
plus
X1
active
X2
plus
X1
X2
plus
X1
active
X2
plus
X1
X2
plus
X1
mark
X2
plus
X1
X2
true
U21
3
1
22315
U11
2
1
2
47469
s
1
3162
isNat
1
0
and
2
2
17603
plus
2
2
0
x
2
1
2
7135
mark
1
0
0
0
1
x
2
0
s
1
0
mark
1
1
47476
isNat
1
1
plus
2
2
25
U11
2
0
active
1
1
5
U31
1
1
1602
U41
3
0
active
1
0
U21
3
0
tt
0
1
U41
3
1
2
3
11413
U31
1
0
and
2
0
NaTT
certifiable-1.6