active
U11
tt
V2
mark
U12
isNat
V2
active
U12
tt
mark
tt
active
U21
tt
mark
tt
active
U31
tt
V2
mark
U32
isNat
V2
active
U32
tt
mark
tt
active
U41
tt
N
mark
N
active
U51
tt
M
N
mark
U52
isNat
N
M
N
active
U52
tt
M
N
mark
s
plus
N
M
active
U61
tt
mark
0
active
U71
tt
M
N
mark
U72
isNat
N
M
N
active
U72
tt
M
N
mark
plus
x
N
M
N
active
isNat
0
mark
tt
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
active
isNat
s
V1
mark
U21
isNat
V1
active
isNat
x
V1
V2
mark
U31
isNat
V1
V2
active
plus
N
0
mark
U41
isNat
N
N
active
plus
N
s
M
mark
U51
isNat
M
M
N
active
x
N
0
mark
U61
isNat
N
active
x
N
s
M
mark
U71
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
U32
X
active
U32
mark
X
mark
U41
X1
X2
active
U41
mark
X1
X2
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
mark
U52
X1
X2
X3
active
U52
mark
X1
X2
X3
mark
s
X
active
s
mark
X
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
U61
X
active
U61
mark
X
mark
0
active
0
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U72
X1
X2
X3
active
U72
mark
X1
X2
X3
mark
x
X1
X2
active
x
mark
X1
mark
X2
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
U32
mark
X
U32
X
U32
active
X
U32
X
U41
mark
X1
X2
U41
X1
X2
U41
X1
mark
X2
U41
X1
X2
U41
active
X1
X2
U41
X1
X2
U41
X1
active
X2
U41
X1
X2
U51
mark
X1
X2
X3
U51
X1
X2
X3
U51
X1
mark
X2
X3
U51
X1
X2
X3
U51
X1
X2
mark
X3
U51
X1
X2
X3
U51
active
X1
X2
X3
U51
X1
X2
X3
U51
X1
active
X2
X3
U51
X1
X2
X3
U51
X1
X2
active
X3
U51
X1
X2
X3
U52
mark
X1
X2
X3
U52
X1
X2
X3
U52
X1
mark
X2
X3
U52
X1
X2
X3
U52
X1
X2
mark
X3
U52
X1
X2
X3
U52
active
X1
X2
X3
U52
X1
X2
X3
U52
X1
active
X2
X3
U52
X1
X2
X3
U52
X1
X2
active
X3
U52
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
U61
mark
X
U61
X
U61
active
X
U61
X
U71
mark
X1
X2
X3
U71
X1
X2
X3
U71
X1
mark
X2
X3
U71
X1
X2
X3
U71
X1
X2
mark
X3
U71
X1
X2
X3
U71
active
X1
X2
X3
U71
X1
X2
X3
U71
X1
active
X2
X3
U71
X1
X2
X3
U71
X1
X2
active
X3
U71
X1
X2
X3
U72
mark
X1
X2
X3
U72
X1
X2
X3
U72
X1
mark
X2
X3
U72
X1
X2
X3
U72
X1
X2
mark
X3
U72
X1
X2
X3
U72
active
X1
X2
X3
U72
X1
X2
X3
U72
X1
active
X2
X3
U72
X1
X2
X3
U72
X1
X2
active
X3
U72
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
U72
active
X1
X2
X3
U72
X1
X2
X3
mark
0
active
0
mark
U21
X
active
U21
mark
X
U41
active
X1
X2
U41
X1
X2
active
isNat
plus
V1
V2
U11
isNat
V1
V2
active
U71
tt
M
N
isNat
N
mark
s
X
s
mark
X
s
active
X
s
X
U61
active
X
U61
X
U52
mark
X1
X2
X3
U52
X1
X2
X3
mark
U12
X
U12
mark
X
U51
mark
X1
X2
X3
U51
X1
X2
X3
active
U61
tt
mark
0
active
x
N
s
M
isNat
M
mark
U71
X1
X2
X3
mark
X1
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
isNat
X
active
isNat
X
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
U31
X1
X2
U31
mark
X1
X2
active
x
N
0
U61
isNat
N
active
isNat
x
V1
V2
U31
isNat
V1
V2
U71
X1
active
X2
X3
U71
X1
X2
X3
mark
x
X1
X2
mark
X1
mark
U11
X1
X2
mark
X1
active
x
N
s
M
mark
U71
isNat
M
M
N
mark
U11
X1
X2
U11
mark
X1
X2
U41
X1
active
X2
U41
X1
X2
active
isNat
x
V1
V2
mark
U31
isNat
V1
V2
active
x
N
s
M
U71
isNat
M
M
N
active
isNat
s
V1
mark
U21
isNat
V1
active
U72
tt
M
N
mark
plus
x
N
M
N
mark
U32
X
active
U32
mark
X
mark
U52
X1
X2
X3
mark
X1
x
mark
X1
X2
x
X1
X2
mark
U61
X
U61
mark
X
active
U11
tt
V2
U12
isNat
V2
mark
plus
X1
X2
mark
X1
mark
s
X
mark
X
active
U72
tt
M
N
x
N
M
U52
X1
X2
mark
X3
U52
X1
X2
X3
active
x
N
0
mark
U61
isNat
N
active
plus
N
s
M
U51
isNat
M
M
N
s
mark
X
s
X
U12
active
X
U12
X
mark
U72
X1
X2
X3
mark
X1
U52
active
X1
X2
X3
U52
X1
X2
X3
mark
U71
X1
X2
X3
U71
mark
X1
X2
X3
U71
X1
X2
mark
X3
U71
X1
X2
X3
U72
X1
X2
active
X3
U72
X1
X2
X3
mark
U61
X
active
U61
mark
X
mark
U12
X
active
U12
mark
X
U51
X1
mark
X2
X3
U51
X1
X2
X3
U41
X1
mark
X2
U41
X1
X2
mark
U31
X1
X2
active
U31
mark
X1
X2
plus
X1
active
X2
plus
X1
X2
active
plus
N
0
isNat
N
active
U71
tt
M
N
mark
U72
isNat
N
M
N
mark
U32
X
mark
X
active
U51
tt
M
N
U52
isNat
N
M
N
mark
U21
X
mark
X
mark
U12
X
mark
X
U31
active
X1
X2
U31
X1
X2
U72
X1
active
X2
X3
U72
X1
X2
X3
U21
active
X
U21
X
U11
X1
active
X2
U11
X1
X2
active
U51
tt
M
N
isNat
N
mark
plus
X1
X2
mark
X2
isNat
active
X
isNat
X
active
U11
tt
V2
isNat
V2
active
U71
tt
M
N
U72
isNat
N
M
N
mark
U61
X
mark
X
U12
mark
X
U12
X
active
plus
N
s
M
mark
U51
isNat
M
M
N
active
isNat
s
V1
U21
isNat
V1
U52
X1
active
X2
X3
U52
X1
X2
X3
active
isNat
0
mark
tt
U71
X1
mark
X2
X3
U71
X1
X2
X3
U51
X1
active
X2
X3
U51
X1
X2
X3
U71
mark
X1
X2
X3
U71
X1
X2
X3
active
plus
N
s
M
isNat
M
active
U21
tt
mark
tt
plus
mark
X1
X2
plus
X1
X2
active
plus
N
0
mark
U41
isNat
N
N
active
U32
tt
mark
tt
mark
U72
X1
X2
X3
active
U72
mark
X1
X2
X3
active
U72
tt
M
N
plus
x
N
M
N
active
U52
tt
M
N
s
plus
N
M
U72
mark
X1
X2
X3
U72
X1
X2
X3
mark
U51
X1
X2
X3
U51
mark
X1
X2
X3
U72
X1
X2
mark
X3
U72
X1
X2
X3
mark
U51
X1
X2
X3
mark
X1
U51
X1
X2
active
X3
U51
X1
X2
X3
U32
mark
X
U32
X
mark
U31
X1
X2
mark
X1
U52
X1
X2
active
X3
U52
X1
X2
X3
mark
U52
X1
X2
X3
U52
mark
X1
X2
X3
mark
U21
X
U21
mark
X
mark
s
X
active
s
mark
X
active
x
N
0
isNat
N
U51
X1
X2
mark
X3
U51
X1
X2
X3
U61
mark
X
U61
X
active
plus
N
0
U41
isNat
N
N
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
x
X1
active
X2
x
X1
X2
plus
X1
mark
X2
plus
X1
X2
active
U41
tt
N
mark
N
active
U52
tt
M
N
plus
N
M
U71
active
X1
X2
X3
U71
X1
X2
X3
active
U31
tt
V2
U32
isNat
V2
U71
X1
X2
active
X3
U71
X1
X2
X3
mark
U32
X
U32
mark
X
plus
active
X1
X2
plus
X1
X2
x
X1
mark
X2
x
X1
X2
U41
mark
X1
X2
U41
X1
X2
active
U31
tt
V2
isNat
V2
mark
tt
active
tt
active
isNat
s
V1
isNat
V1
active
U52
tt
M
N
mark
s
plus
N
M
U51
active
X1
X2
X3
U51
X1
X2
X3
U11
X1
mark
X2
U11
X1
X2
U72
X1
mark
X2
X3
U72
X1
X2
X3
U52
X1
mark
X2
X3
U52
X1
X2
X3
mark
x
X1
X2
x
mark
X1
mark
X2
U32
active
X
U32
X
active
U11
tt
V2
mark
U12
isNat
V2
active
isNat
plus
V1
V2
isNat
V1
U31
X1
mark
X2
U31
X1
X2
x
active
X1
X2
x
X1
X2
isNat
mark
X
isNat
X
active
U51
tt
M
N
mark
U52
isNat
N
M
N
active
U12
tt
mark
tt
active
isNat
x
V1
V2
isNat
V1
mark
x
X1
X2
mark
X2
mark
plus
X1
X2
plus
mark
X1
mark
X2
mark
U72
X1
X2
X3
U72
mark
X1
X2
X3
active
U31
tt
V2
mark
U32
isNat
V2
mark
x
X1
X2
active
x
mark
X1
mark
X2
U11
mark
X1
X2
U11
X1
X2
U31
X1
active
X2
U31
X1
X2
mark
U41
X1
X2
active
U41
mark
X1
X2
mark
U41
X1
X2
U41
mark
X1
X2
mark
U52
X1
X2
X3
active
U52
mark
X1
X2
X3
mark
U41
X1
X2
mark
X1
U11
active
X1
X2
U11
X1
X2
U21
mark
X
U21
X
U31
mark
X1
X2
U31
X1
X2
true
mark
U41
X1
X2
mark
X1
mark
U52
X1
X2
X3
active
U52
mark
X1
X2
X3
active
plus
N
s
M
mark
U51
isNat
M
M
N
mark
U41
X1
X2
active
U41
mark
X1
X2
mark
U61
X
mark
X
mark
plus
X1
X2
mark
X2
mark
x
X1
X2
active
x
mark
X1
mark
X2
active
U31
tt
V2
mark
U32
isNat
V2
mark
U12
X
mark
X
mark
U21
X
mark
X
mark
x
X1
X2
mark
X2
mark
U32
X
mark
X
active
U71
tt
M
N
mark
U72
isNat
N
M
N
active
U51
tt
M
N
mark
U52
isNat
N
M
N
mark
U31
X1
X2
active
U31
mark
X1
X2
mark
U61
X
active
U61
mark
X
mark
U12
X
active
U12
mark
X
active
U11
tt
V2
mark
U12
isNat
V2
mark
U72
X1
X2
X3
mark
X1
active
U52
tt
M
N
mark
s
plus
N
M
active
x
N
0
mark
U61
isNat
N
mark
s
X
mark
X
mark
plus
X1
X2
mark
X1
mark
U52
X1
X2
X3
mark
X1
mark
U32
X
active
U32
mark
X
active
U41
tt
N
mark
N
active
isNat
s
V1
mark
U21
isNat
V1
active
U72
tt
M
N
mark
plus
x
N
M
N
active
isNat
x
V1
V2
mark
U31
isNat
V1
V2
active
x
N
s
M
mark
U71
isNat
M
M
N
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
mark
x
X1
X2
mark
X1
mark
U11
X1
X2
mark
X1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
s
X
active
s
mark
X
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
isNat
X
active
isNat
X
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U71
X1
X2
X3
mark
X1
mark
U31
X1
X2
mark
X1
mark
U51
X1
X2
X3
mark
X1
mark
U72
X1
X2
X3
active
U72
mark
X1
X2
X3
active
plus
N
0
mark
U41
isNat
N
N
mark
U21
X
active
U21
mark
X
true
U72
3
0
U32
1
0
U21
1
591
U11
2
48030
s
1
841
isNat
1
0
U71
3
48030
plus
2
0
U72
3
48030
U52
3
0
U12
1
18588
x
2
48030
U12
1
0
mark
1
48030
0
0
1
x
2
0
s
1
0
mark
1
1
U32
1
1
isNat
1
48030
U52
3
48030
plus
2
48030
U61
1
19148
U51
3
0
U11
2
0
active
1
1
U31
2
48030
U41
2
0
active
1
1
0
U21
1
0
tt
0
1
U71
3
0
U51
3
48030
U41
2
48030
U31
2
0
U61
1
0
active
plus
N
0
mark
U41
isNat
N
N
mark
U72
X1
X2
X3
active
U72
mark
X1
X2
X3
mark
U51
X1
X2
X3
mark
X1
mark
U31
X1
X2
mark
X1
mark
U71
X1
X2
X3
mark
X1
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
mark
isNat
X
active
isNat
X
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
U11
X1
X2
mark
X1
mark
x
X1
X2
mark
X1
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
active
x
N
s
M
mark
U71
isNat
M
M
N
active
isNat
x
V1
V2
mark
U31
isNat
V1
V2
active
U72
tt
M
N
mark
plus
x
N
M
N
active
isNat
s
V1
mark
U21
isNat
V1
active
U41
tt
N
mark
N
mark
U52
X1
X2
X3
mark
X1
mark
plus
X1
X2
mark
X1
mark
s
X
mark
X
active
x
N
0
mark
U61
isNat
N
active
U52
tt
M
N
mark
s
plus
N
M
mark
U72
X1
X2
X3
mark
X1
active
U11
tt
V2
mark
U12
isNat
V2
mark
U31
X1
X2
active
U31
mark
X1
X2
active
U51
tt
M
N
mark
U52
isNat
N
M
N
active
U71
tt
M
N
mark
U72
isNat
N
M
N
mark
U32
X
mark
X
mark
x
X1
X2
mark
X2
mark
U21
X
mark
X
mark
U12
X
mark
X
active
U31
tt
V2
mark
U32
isNat
V2
mark
x
X1
X2
active
x
mark
X1
mark
X2
mark
plus
X1
X2
mark
X2
mark
U61
X
mark
X
mark
U41
X1
X2
active
U41
mark
X1
X2
active
plus
N
s
M
mark
U51
isNat
M
M
N
mark
U52
X1
X2
X3
active
U52
mark
X1
X2
X3
mark
U41
X1
X2
mark
X1
active
x
N
0
mark
U61
isNat
N
U31
X1
active
X2
U31
X1
X2
U71
active
X1
X2
X3
U71
X1
X2
X3
active
U31
tt
V2
mark
U32
isNat
V2
active
isNat
x
V1
V2
mark
U31
isNat
V1
V2
active
U52
tt
M
N
mark
s
plus
N
M
U41
X1
mark
X2
U41
X1
X2
active
U11
tt
V2
mark
U12
isNat
V2
U71
mark
X1
X2
X3
U71
X1
X2
X3
active
U21
tt
mark
tt
active
plus
N
0
mark
U41
isNat
N
N
mark
tt
active
tt
mark
x
X1
X2
active
x
mark
X1
mark
X2
U52
X1
X2
active
X3
U52
X1
X2
X3
U72
X1
X2
mark
X3
U72
X1
X2
X3
mark
U32
X
active
U32
mark
X
U52
mark
X1
X2
X3
U52
X1
X2
X3
active
x
N
s
M
mark
U71
isNat
M
M
N
mark
U61
X
active
U61
mark
X
active
plus
N
s
M
mark
U51
isNat
M
M
N
U51
active
X1
X2
X3
U51
X1
X2
X3
mark
U41
X1
X2
active
U41
mark
X1
X2
U72
X1
active
X2
X3
U72
X1
X2
X3
U72
X1
mark
X2
X3
U72
X1
X2
X3
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U12
X
active
U12
mark
X
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
U52
X1
X2
mark
X3
U52
X1
X2
X3
isNat
active
X
isNat
X
active
U32
tt
mark
tt
plus
X1
mark
X2
plus
X1
X2
mark
0
active
0
U52
X1
mark
X2
X3
U52
X1
X2
X3
x
X1
active
X2
x
X1
X2
active
U71
tt
M
N
mark
U72
isNat
N
M
N
U11
active
X1
X2
U11
X1
X2
active
U51
tt
M
N
mark
U52
isNat
N
M
N
U72
X1
X2
active
X3
U72
X1
X2
X3
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
U31
X1
X2
active
U31
mark
X1
X2
U31
active
X1
X2
U31
X1
X2
U32
active
X
U32
X
mark
s
X
active
s
mark
X
U51
X1
X2
active
X3
U51
X1
X2
X3
active
isNat
s
V1
mark
U21
isNat
V1
U71
X1
X2
active
X3
U71
X1
X2
X3
x
mark
X1
X2
x
X1
X2
U41
X1
active
X2
U41
X1
X2
U71
X1
X2
mark
X3
U71
X1
X2
X3
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
isNat
0
mark
tt
s
mark
X
s
X
U21
mark
X
U21
X
U71
X1
mark
X2
X3
U71
X1
X2
X3
U71
X1
active
X2
X3
U71
X1
X2
X3
mark
isNat
X
active
isNat
X
s
active
X
s
X
mark
U21
X
active
U21
mark
X
U61
active
X
U61
X
U51
mark
X1
X2
X3
U51
X1
X2
X3
active
U72
tt
M
N
mark
plus
x
N
M
N
active
U61
tt
mark
0
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
U32
mark
X
U32
X
x
X1
mark
X2
x
X1
X2
U11
X1
active
X2
U11
X1
X2
U52
X1
active
X2
X3
U52
X1
X2
X3
U41
active
X1
X2
U41
X1
X2
U51
X1
X2
mark
X3
U51
X1
X2
X3
active
U41
tt
N
mark
N
U11
X1
mark
X2
U11
X1
X2
U51
X1
active
X2
X3
U51
X1
X2
X3
U51
X1
mark
X2
X3
U51
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U61
mark
X
U61
X
U31
X1
mark
X2
U31
X1
X2
plus
mark
X1
X2
plus
X1
X2
U41
mark
X1
X2
U41
X1
X2
U31
mark
X1
X2
U31
X1
X2
plus
active
X1
X2
plus
X1
X2
x
active
X1
X2
x
X1
X2
U11
mark
X1
X2
U11
X1
X2
U12
mark
X
U12
X
U12
active
X
U12
X
U21
active
X
U21
X
U52
active
X1
X2
X3
U52
X1
X2
X3
U72
mark
X1
X2
X3
U72
X1
X2
X3
mark
U72
X1
X2
X3
active
U72
mark
X1
X2
X3
mark
U52
X1
X2
X3
active
U52
mark
X1
X2
X3
isNat
mark
X
isNat
X
U72
active
X1
X2
X3
U72
X1
X2
X3
active
U12
tt
mark
tt
active
x
N
0
mark
U61
isNat
N
active
U31
tt
V2
mark
U32
isNat
V2
active
isNat
x
V1
V2
mark
U31
isNat
V1
V2
active
U52
tt
M
N
mark
s
plus
N
M
active
U11
tt
V2
mark
U12
isNat
V2
active
plus
N
0
mark
U41
isNat
N
N
mark
x
X1
X2
mark
X2
mark
x
X1
X2
mark
X1
mark
x
X1
X2
active
x
mark
X1
mark
X2
mark
U32
X
mark
X
active
x
N
s
M
mark
U71
isNat
M
M
N
mark
U61
X
mark
X
active
plus
N
s
M
mark
U51
isNat
M
M
N
mark
U41
X1
X2
mark
X1
mark
U41
X1
X2
active
U41
mark
X1
X2
mark
U71
X1
X2
X3
mark
X1
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U12
X
mark
X
mark
U51
X1
X2
X3
mark
X1
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
active
U71
tt
M
N
mark
U72
isNat
N
M
N
active
U51
tt
M
N
mark
U52
isNat
N
M
N
mark
U11
X1
X2
mark
X1
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
U31
X1
X2
mark
X1
mark
U31
X1
X2
active
U31
mark
X1
X2
mark
s
X
mark
X
active
isNat
s
V1
mark
U21
isNat
V1
mark
plus
X1
X2
mark
X2
mark
plus
X1
X2
mark
X1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
isNat
X
active
isNat
X
mark
U21
X
mark
X
active
U72
tt
M
N
mark
plus
x
N
M
N
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
active
U41
tt
N
mark
N
mark
U72
X1
X2
X3
mark
X1
mark
U72
X1
X2
X3
active
U72
mark
X1
X2
X3
mark
U52
X1
X2
X3
mark
X1
mark
U52
X1
X2
X3
active
U52
mark
X1
X2
X3
true
U72
3
0
U32
1
0
U21
1
1
0
U11
2
1
0
0
s
1
1
0
isNat
1
0
U71
3
1
1
2
842
3
17752
0
plus
2
0
U72
3
1
1
2
842
3
17752
0
U52
3
0
U12
1
1
0
x
2
1
17752
2
842
0
U12
1
0
mark
1
1
0
0
0
4330
x
2
0
s
1
0
mark
1
1
0
U32
1
1
0
isNat
1
842
U52
3
1
16909
2
17751
3
0
0
plus
2
1
0
2
17751
0
U61
1
1
4329
U51
3
0
U11
2
0
active
1
1
0
U31
2
1
0
0
U41
2
0
active
1
1
0
U21
1
0
tt
0
842
U71
3
0
U51
3
1
16909
2
17751
3
0
0
U41
2
1
2374
2
0
0
U31
2
0
U61
1
0
mark
U52
X1
X2
X3
active
U52
mark
X1
X2
X3
mark
U72
X1
X2
X3
active
U72
mark
X1
X2
X3
active
U41
tt
N
mark
N
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
active
U72
tt
M
N
mark
plus
x
N
M
N
mark
U21
X
mark
X
mark
isNat
X
active
isNat
X
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
plus
X1
X2
mark
X1
active
isNat
s
V1
mark
U21
isNat
V1
mark
s
X
mark
X
mark
U31
X1
X2
active
U31
mark
X1
X2
mark
U31
X1
X2
mark
X1
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
U11
X1
X2
mark
X1
active
U51
tt
M
N
mark
U52
isNat
N
M
N
active
U71
tt
M
N
mark
U72
isNat
N
M
N
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
mark
U12
X
mark
X
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U41
X1
X2
active
U41
mark
X1
X2
active
plus
N
s
M
mark
U51
isNat
M
M
N
active
x
N
s
M
mark
U71
isNat
M
M
N
mark
U32
X
mark
X
mark
x
X1
X2
active
x
mark
X1
mark
X2
active
plus
N
0
mark
U41
isNat
N
N
active
U11
tt
V2
mark
U12
isNat
V2
active
U52
tt
M
N
mark
s
plus
N
M
active
isNat
x
V1
V2
mark
U31
isNat
V1
V2
active
U31
tt
V2
mark
U32
isNat
V2
active
x
N
0
mark
U61
isNat
N
U31
X1
active
X2
U31
X1
X2
U71
active
X1
X2
X3
U71
X1
X2
X3
active
U31
tt
V2
mark
U32
isNat
V2
active
isNat
x
V1
V2
mark
U31
isNat
V1
V2
active
U52
tt
M
N
mark
s
plus
N
M
U41
X1
mark
X2
U41
X1
X2
active
U11
tt
V2
mark
U12
isNat
V2
U71
mark
X1
X2
X3
U71
X1
X2
X3
active
U21
tt
mark
tt
active
plus
N
0
mark
U41
isNat
N
N
mark
tt
active
tt
mark
x
X1
X2
active
x
mark
X1
mark
X2
U52
X1
X2
active
X3
U52
X1
X2
X3
U72
X1
X2
mark
X3
U72
X1
X2
X3
mark
U32
X
active
U32
mark
X
U52
mark
X1
X2
X3
U52
X1
X2
X3
active
x
N
s
M
mark
U71
isNat
M
M
N
mark
U61
X
active
U61
mark
X
active
plus
N
s
M
mark
U51
isNat
M
M
N
U51
active
X1
X2
X3
U51
X1
X2
X3
mark
U41
X1
X2
active
U41
mark
X1
X2
U72
X1
active
X2
X3
U72
X1
X2
X3
U72
X1
mark
X2
X3
U72
X1
X2
X3
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U12
X
active
U12
mark
X
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
U52
X1
X2
mark
X3
U52
X1
X2
X3
isNat
active
X
isNat
X
active
U32
tt
mark
tt
plus
X1
mark
X2
plus
X1
X2
mark
0
active
0
U52
X1
mark
X2
X3
U52
X1
X2
X3
x
X1
active
X2
x
X1
X2
active
U71
tt
M
N
mark
U72
isNat
N
M
N
U11
active
X1
X2
U11
X1
X2
active
U51
tt
M
N
mark
U52
isNat
N
M
N
U72
X1
X2
active
X3
U72
X1
X2
X3
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
U31
X1
X2
active
U31
mark
X1
X2
U31
active
X1
X2
U31
X1
X2
U32
active
X
U32
X
mark
s
X
active
s
mark
X
U51
X1
X2
active
X3
U51
X1
X2
X3
active
isNat
s
V1
mark
U21
isNat
V1
U71
X1
X2
active
X3
U71
X1
X2
X3
x
mark
X1
X2
x
X1
X2
U41
X1
active
X2
U41
X1
X2
U71
X1
X2
mark
X3
U71
X1
X2
X3
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
isNat
0
mark
tt
s
mark
X
s
X
U21
mark
X
U21
X
U71
X1
mark
X2
X3
U71
X1
X2
X3
U71
X1
active
X2
X3
U71
X1
X2
X3
mark
isNat
X
active
isNat
X
s
active
X
s
X
mark
U21
X
active
U21
mark
X
U61
active
X
U61
X
U51
mark
X1
X2
X3
U51
X1
X2
X3
active
U72
tt
M
N
mark
plus
x
N
M
N
active
U61
tt
mark
0
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
U32
mark
X
U32
X
x
X1
mark
X2
x
X1
X2
U11
X1
active
X2
U11
X1
X2
U52
X1
active
X2
X3
U52
X1
X2
X3
U41
active
X1
X2
U41
X1
X2
U51
X1
X2
mark
X3
U51
X1
X2
X3
active
U41
tt
N
mark
N
U11
X1
mark
X2
U11
X1
X2
U51
X1
active
X2
X3
U51
X1
X2
X3
U51
X1
mark
X2
X3
U51
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U61
mark
X
U61
X
U31
X1
mark
X2
U31
X1
X2
plus
mark
X1
X2
plus
X1
X2
U41
mark
X1
X2
U41
X1
X2
U31
mark
X1
X2
U31
X1
X2
plus
active
X1
X2
plus
X1
X2
x
active
X1
X2
x
X1
X2
U11
mark
X1
X2
U11
X1
X2
U12
mark
X
U12
X
U12
active
X
U12
X
U21
active
X
U21
X
U52
active
X1
X2
X3
U52
X1
X2
X3
U72
mark
X1
X2
X3
U72
X1
X2
X3
mark
U72
X1
X2
X3
active
U72
mark
X1
X2
X3
mark
U52
X1
X2
X3
active
U52
mark
X1
X2
X3
isNat
mark
X
isNat
X
U72
active
X1
X2
X3
U72
X1
X2
X3
active
U12
tt
mark
tt
active
U31
tt
V2
mark
U32
isNat
V2
active
isNat
x
V1
V2
mark
U31
isNat
V1
V2
active
U52
tt
M
N
mark
s
plus
N
M
active
U11
tt
V2
mark
U12
isNat
V2
active
plus
N
0
mark
U41
isNat
N
N
mark
x
X1
X2
active
x
mark
X1
mark
X2
mark
U32
X
mark
X
active
x
N
s
M
mark
U71
isNat
M
M
N
active
plus
N
s
M
mark
U51
isNat
M
M
N
mark
U41
X1
X2
active
U41
mark
X1
X2
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U12
X
mark
X
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
active
U71
tt
M
N
mark
U72
isNat
N
M
N
active
U51
tt
M
N
mark
U52
isNat
N
M
N
mark
U11
X1
X2
mark
X1
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
U31
X1
X2
mark
X1
mark
U31
X1
X2
active
U31
mark
X1
X2
mark
s
X
mark
X
active
isNat
s
V1
mark
U21
isNat
V1
mark
plus
X1
X2
mark
X1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
isNat
X
active
isNat
X
mark
U21
X
mark
X
active
U72
tt
M
N
mark
plus
x
N
M
N
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
active
U41
tt
N
mark
N
mark
U72
X1
X2
X3
active
U72
mark
X1
X2
X3
mark
U52
X1
X2
X3
active
U52
mark
X1
X2
X3
true
U72
3
0
U32
1
0
U21
1
1
0
U11
2
1
0
2
63491
0
s
1
1
0
isNat
1
0
U71
3
2
3
3
31747
0
plus
2
0
U72
3
1
0
2
3
3
31747
0
U52
3
0
U12
1
1
28940
x
2
1
31747
2
3
0
U12
1
0
mark
1
1
0
0
0
31744
x
2
0
s
1
0
mark
1
1
0
U32
1
1
0
isNat
1
1
31746
U52
3
2
31746
3
0
0
plus
2
1
0
2
31746
0
U61
1
1
1
U51
3
0
U11
2
0
active
1
1
0
U31
2
1
1
2
31747
0
U41
2
0
active
1
1
0
U21
1
0
tt
0
60685
U71
3
0
U51
3
2
31746
3
0
0
U41
2
2
0
0
U31
2
0
U61
1
0
mark
U52
X1
X2
X3
active
U52
mark
X1
X2
X3
mark
U72
X1
X2
X3
active
U72
mark
X1
X2
X3
active
U41
tt
N
mark
N
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
active
U72
tt
M
N
mark
plus
x
N
M
N
mark
U21
X
mark
X
mark
isNat
X
active
isNat
X
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
plus
X1
X2
mark
X1
active
isNat
s
V1
mark
U21
isNat
V1
mark
s
X
mark
X
mark
U31
X1
X2
active
U31
mark
X1
X2
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
U11
X1
X2
mark
X1
active
U51
tt
M
N
mark
U52
isNat
N
M
N
active
U71
tt
M
N
mark
U72
isNat
N
M
N
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U41
X1
X2
active
U41
mark
X1
X2
active
plus
N
s
M
mark
U51
isNat
M
M
N
active
x
N
s
M
mark
U71
isNat
M
M
N
mark
U32
X
mark
X
mark
x
X1
X2
active
x
mark
X1
mark
X2
active
plus
N
0
mark
U41
isNat
N
N
active
U52
tt
M
N
mark
s
plus
N
M
active
x
N
0
mark
U61
isNat
N
U31
X1
active
X2
U31
X1
X2
U71
active
X1
X2
X3
U71
X1
X2
X3
active
U31
tt
V2
mark
U32
isNat
V2
active
isNat
x
V1
V2
mark
U31
isNat
V1
V2
active
U52
tt
M
N
mark
s
plus
N
M
U41
X1
mark
X2
U41
X1
X2
active
U11
tt
V2
mark
U12
isNat
V2
U71
mark
X1
X2
X3
U71
X1
X2
X3
active
U21
tt
mark
tt
active
plus
N
0
mark
U41
isNat
N
N
mark
tt
active
tt
mark
x
X1
X2
active
x
mark
X1
mark
X2
U52
X1
X2
active
X3
U52
X1
X2
X3
U72
X1
X2
mark
X3
U72
X1
X2
X3
mark
U32
X
active
U32
mark
X
U52
mark
X1
X2
X3
U52
X1
X2
X3
active
x
N
s
M
mark
U71
isNat
M
M
N
mark
U61
X
active
U61
mark
X
active
plus
N
s
M
mark
U51
isNat
M
M
N
U51
active
X1
X2
X3
U51
X1
X2
X3
mark
U41
X1
X2
active
U41
mark
X1
X2
U72
X1
active
X2
X3
U72
X1
X2
X3
U72
X1
mark
X2
X3
U72
X1
X2
X3
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U12
X
active
U12
mark
X
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
U52
X1
X2
mark
X3
U52
X1
X2
X3
isNat
active
X
isNat
X
active
U32
tt
mark
tt
plus
X1
mark
X2
plus
X1
X2
mark
0
active
0
U52
X1
mark
X2
X3
U52
X1
X2
X3
x
X1
active
X2
x
X1
X2
active
U71
tt
M
N
mark
U72
isNat
N
M
N
U11
active
X1
X2
U11
X1
X2
active
U51
tt
M
N
mark
U52
isNat
N
M
N
U72
X1
X2
active
X3
U72
X1
X2
X3
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
U31
X1
X2
active
U31
mark
X1
X2
U31
active
X1
X2
U31
X1
X2
U32
active
X
U32
X
mark
s
X
active
s
mark
X
U51
X1
X2
active
X3
U51
X1
X2
X3
active
isNat
s
V1
mark
U21
isNat
V1
U71
X1
X2
active
X3
U71
X1
X2
X3
x
mark
X1
X2
x
X1
X2
U41
X1
active
X2
U41
X1
X2
U71
X1
X2
mark
X3
U71
X1
X2
X3
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
isNat
0
mark
tt
s
mark
X
s
X
U21
mark
X
U21
X
U71
X1
mark
X2
X3
U71
X1
X2
X3
U71
X1
active
X2
X3
U71
X1
X2
X3
mark
isNat
X
active
isNat
X
s
active
X
s
X
mark
U21
X
active
U21
mark
X
U61
active
X
U61
X
U51
mark
X1
X2
X3
U51
X1
X2
X3
active
U72
tt
M
N
mark
plus
x
N
M
N
active
U61
tt
mark
0
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
U32
mark
X
U32
X
x
X1
mark
X2
x
X1
X2
U11
X1
active
X2
U11
X1
X2
U52
X1
active
X2
X3
U52
X1
X2
X3
U41
active
X1
X2
U41
X1
X2
U51
X1
X2
mark
X3
U51
X1
X2
X3
active
U41
tt
N
mark
N
U11
X1
mark
X2
U11
X1
X2
U51
X1
active
X2
X3
U51
X1
X2
X3
U51
X1
mark
X2
X3
U51
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U61
mark
X
U61
X
U31
X1
mark
X2
U31
X1
X2
plus
mark
X1
X2
plus
X1
X2
U41
mark
X1
X2
U41
X1
X2
U31
mark
X1
X2
U31
X1
X2
plus
active
X1
X2
plus
X1
X2
x
active
X1
X2
x
X1
X2
U11
mark
X1
X2
U11
X1
X2
U12
mark
X
U12
X
U12
active
X
U12
X
U21
active
X
U21
X
U52
active
X1
X2
X3
U52
X1
X2
X3
U72
mark
X1
X2
X3
U72
X1
X2
X3
mark
U72
X1
X2
X3
active
U72
mark
X1
X2
X3
mark
U52
X1
X2
X3
active
U52
mark
X1
X2
X3
isNat
mark
X
isNat
X
U72
active
X1
X2
X3
U72
X1
X2
X3
active
U12
tt
mark
tt
active
U52
tt
M
N
mark
s
plus
N
M
active
plus
N
0
mark
U41
isNat
N
N
mark
x
X1
X2
active
x
mark
X1
mark
X2
mark
U32
X
mark
X
active
x
N
s
M
mark
U71
isNat
M
M
N
active
plus
N
s
M
mark
U51
isNat
M
M
N
mark
U41
X1
X2
active
U41
mark
X1
X2
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
active
U71
tt
M
N
mark
U72
isNat
N
M
N
active
U51
tt
M
N
mark
U52
isNat
N
M
N
mark
U11
X1
X2
mark
X1
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
U31
X1
X2
active
U31
mark
X1
X2
mark
s
X
mark
X
active
isNat
s
V1
mark
U21
isNat
V1
mark
plus
X1
X2
mark
X1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
isNat
X
active
isNat
X
mark
U21
X
mark
X
active
U72
tt
M
N
mark
plus
x
N
M
N
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
active
U41
tt
N
mark
N
mark
U72
X1
X2
X3
active
U72
mark
X1
X2
X3
mark
U52
X1
X2
X3
active
U52
mark
X1
X2
X3
true
U72
3
0
U32
1
0
U21
1
1
U11
2
1
s
1
0
isNat
1
0
U71
3
17019
plus
2
0
U72
3
17019
U52
3
0
U12
1
25
x
2
17019
U12
1
0
mark
1
65049
0
0
24
x
2
0
s
1
0
mark
1
1
U32
1
1
isNat
1
17019
U52
3
17019
plus
2
17019
U61
1
25
U51
3
0
U11
2
0
active
1
2
U31
2
3
U41
2
0
active
1
1
48030
U21
1
0
tt
0
1
U71
3
0
U51
3
17019
U41
2
17019
U31
2
0
U61
1
0
mark
U52
X1
X2
X3
active
U52
mark
X1
X2
X3
mark
U72
X1
X2
X3
active
U72
mark
X1
X2
X3
active
U41
tt
N
mark
N
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
active
U72
tt
M
N
mark
plus
x
N
M
N
mark
U21
X
mark
X
mark
isNat
X
active
isNat
X
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
plus
X1
X2
mark
X1
active
isNat
s
V1
mark
U21
isNat
V1
mark
s
X
mark
X
mark
U11
X1
X2
mark
X1
active
U51
tt
M
N
mark
U52
isNat
N
M
N
active
U71
tt
M
N
mark
U72
isNat
N
M
N
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U41
X1
X2
active
U41
mark
X1
X2
active
plus
N
s
M
mark
U51
isNat
M
M
N
active
x
N
s
M
mark
U71
isNat
M
M
N
mark
U32
X
mark
X
mark
x
X1
X2
active
x
mark
X1
mark
X2
active
plus
N
0
mark
U41
isNat
N
N
active
U52
tt
M
N
mark
s
plus
N
M
U31
X1
active
X2
U31
X1
X2
U71
active
X1
X2
X3
U71
X1
X2
X3
U41
X1
mark
X2
U41
X1
X2
U71
mark
X1
X2
X3
U71
X1
X2
X3
U52
X1
X2
active
X3
U52
X1
X2
X3
U72
X1
X2
mark
X3
U72
X1
X2
X3
U52
mark
X1
X2
X3
U52
X1
X2
X3
U51
active
X1
X2
X3
U51
X1
X2
X3
U72
X1
active
X2
X3
U72
X1
X2
X3
U72
X1
mark
X2
X3
U72
X1
X2
X3
U52
X1
X2
mark
X3
U52
X1
X2
X3
isNat
active
X
isNat
X
plus
X1
mark
X2
plus
X1
X2
U52
X1
mark
X2
X3
U52
X1
X2
X3
x
X1
active
X2
x
X1
X2
U11
active
X1
X2
U11
X1
X2
U72
X1
X2
active
X3
U72
X1
X2
X3
U31
active
X1
X2
U31
X1
X2
U32
active
X
U32
X
U51
X1
X2
active
X3
U51
X1
X2
X3
U71
X1
X2
active
X3
U71
X1
X2
X3
x
mark
X1
X2
x
X1
X2
U41
X1
active
X2
U41
X1
X2
U71
X1
X2
mark
X3
U71
X1
X2
X3
s
mark
X
s
X
U21
mark
X
U21
X
U71
X1
mark
X2
X3
U71
X1
X2
X3
U71
X1
active
X2
X3
U71
X1
X2
X3
s
active
X
s
X
U61
active
X
U61
X
U51
mark
X1
X2
X3
U51
X1
X2
X3
U32
mark
X
U32
X
x
X1
mark
X2
x
X1
X2
U11
X1
active
X2
U11
X1
X2
U52
X1
active
X2
X3
U52
X1
X2
X3
U41
active
X1
X2
U41
X1
X2
U51
X1
X2
mark
X3
U51
X1
X2
X3
U11
X1
mark
X2
U11
X1
X2
U51
X1
active
X2
X3
U51
X1
X2
X3
U51
X1
mark
X2
X3
U51
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U61
mark
X
U61
X
U31
X1
mark
X2
U31
X1
X2
plus
mark
X1
X2
plus
X1
X2
U41
mark
X1
X2
U41
X1
X2
U31
mark
X1
X2
U31
X1
X2
plus
active
X1
X2
plus
X1
X2
x
active
X1
X2
x
X1
X2
U11
mark
X1
X2
U11
X1
X2
U12
mark
X
U12
X
U12
active
X
U12
X
U21
active
X
U21
X
U52
active
X1
X2
X3
U52
X1
X2
X3
U72
mark
X1
X2
X3
U72
X1
X2
X3
isNat
mark
X
isNat
X
U72
active
X1
X2
X3
U72
X1
X2
X3
active
U52
tt
M
N
mark
s
plus
N
M
active
plus
N
0
mark
U41
isNat
N
N
mark
x
X1
X2
active
x
mark
X1
mark
X2
mark
U32
X
mark
X
active
x
N
s
M
mark
U71
isNat
M
M
N
active
plus
N
s
M
mark
U51
isNat
M
M
N
mark
U41
X1
X2
active
U41
mark
X1
X2
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
active
U71
tt
M
N
mark
U72
isNat
N
M
N
active
U51
tt
M
N
mark
U52
isNat
N
M
N
mark
U11
X1
X2
mark
X1
mark
s
X
mark
X
active
isNat
s
V1
mark
U21
isNat
V1
mark
plus
X1
X2
mark
X1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
isNat
X
active
isNat
X
mark
U21
X
mark
X
active
U72
tt
M
N
mark
plus
x
N
M
N
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
active
U41
tt
N
mark
N
mark
U72
X1
X2
X3
active
U72
mark
X1
X2
X3
mark
U52
X1
X2
X3
active
U52
mark
X1
X2
X3
true
U72
3
0
U32
1
0
U21
1
1
0
U11
2
1
0
s
1
1
0
isNat
1
0
U71
3
2
3
1
plus
2
0
U72
3
2
3
1
U52
3
0
U12
1
1
x
2
1
2
1
U12
1
0
mark
1
1
48030
0
0
0
x
2
0
s
1
0
mark
1
1
0
U32
1
1
1
isNat
1
1
1
U52
3
3
0
plus
2
1
0
U61
1
1
U51
3
0
U11
2
0
active
1
1
0
U31
2
1
2
1
U41
2
0
active
1
1
48030
U21
1
0
tt
0
1
U71
3
0
U51
3
3
0
U41
2
2
0
U31
2
0
U61
1
0
mark
U52
X1
X2
X3
active
U52
mark
X1
X2
X3
mark
U72
X1
X2
X3
active
U72
mark
X1
X2
X3
active
U41
tt
N
mark
N
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
active
U72
tt
M
N
mark
plus
x
N
M
N
mark
U21
X
mark
X
mark
isNat
X
active
isNat
X
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
plus
X1
X2
mark
X1
active
isNat
s
V1
mark
U21
isNat
V1
mark
s
X
mark
X
mark
U11
X1
X2
mark
X1
active
U51
tt
M
N
mark
U52
isNat
N
M
N
active
U71
tt
M
N
mark
U72
isNat
N
M
N
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U41
X1
X2
active
U41
mark
X1
X2
active
plus
N
s
M
mark
U51
isNat
M
M
N
active
x
N
s
M
mark
U71
isNat
M
M
N
mark
x
X1
X2
active
x
mark
X1
mark
X2
active
plus
N
0
mark
U41
isNat
N
N
active
U52
tt
M
N
mark
s
plus
N
M
active
x
N
0
mark
U61
isNat
N
U31
X1
active
X2
U31
X1
X2
U71
active
X1
X2
X3
U71
X1
X2
X3
active
U31
tt
V2
mark
U32
isNat
V2
active
isNat
x
V1
V2
mark
U31
isNat
V1
V2
active
U52
tt
M
N
mark
s
plus
N
M
U41
X1
mark
X2
U41
X1
X2
active
U11
tt
V2
mark
U12
isNat
V2
U71
mark
X1
X2
X3
U71
X1
X2
X3
active
U21
tt
mark
tt
active
plus
N
0
mark
U41
isNat
N
N
mark
tt
active
tt
mark
x
X1
X2
active
x
mark
X1
mark
X2
U52
X1
X2
active
X3
U52
X1
X2
X3
U72
X1
X2
mark
X3
U72
X1
X2
X3
mark
U32
X
active
U32
mark
X
U52
mark
X1
X2
X3
U52
X1
X2
X3
active
x
N
s
M
mark
U71
isNat
M
M
N
mark
U61
X
active
U61
mark
X
active
plus
N
s
M
mark
U51
isNat
M
M
N
U51
active
X1
X2
X3
U51
X1
X2
X3
mark
U41
X1
X2
active
U41
mark
X1
X2
U72
X1
active
X2
X3
U72
X1
X2
X3
U72
X1
mark
X2
X3
U72
X1
X2
X3
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U12
X
active
U12
mark
X
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
U52
X1
X2
mark
X3
U52
X1
X2
X3
isNat
active
X
isNat
X
active
U32
tt
mark
tt
plus
X1
mark
X2
plus
X1
X2
mark
0
active
0
U52
X1
mark
X2
X3
U52
X1
X2
X3
x
X1
active
X2
x
X1
X2
active
U71
tt
M
N
mark
U72
isNat
N
M
N
U11
active
X1
X2
U11
X1
X2
active
U51
tt
M
N
mark
U52
isNat
N
M
N
U72
X1
X2
active
X3
U72
X1
X2
X3
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
U31
X1
X2
active
U31
mark
X1
X2
U31
active
X1
X2
U31
X1
X2
U32
active
X
U32
X
mark
s
X
active
s
mark
X
U51
X1
X2
active
X3
U51
X1
X2
X3
active
isNat
s
V1
mark
U21
isNat
V1
U71
X1
X2
active
X3
U71
X1
X2
X3
x
mark
X1
X2
x
X1
X2
U41
X1
active
X2
U41
X1
X2
U71
X1
X2
mark
X3
U71
X1
X2
X3
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
isNat
0
mark
tt
s
mark
X
s
X
U21
mark
X
U21
X
U71
X1
mark
X2
X3
U71
X1
X2
X3
U71
X1
active
X2
X3
U71
X1
X2
X3
mark
isNat
X
active
isNat
X
s
active
X
s
X
mark
U21
X
active
U21
mark
X
U61
active
X
U61
X
U51
mark
X1
X2
X3
U51
X1
X2
X3
active
U72
tt
M
N
mark
plus
x
N
M
N
active
U61
tt
mark
0
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
U32
mark
X
U32
X
x
X1
mark
X2
x
X1
X2
U11
X1
active
X2
U11
X1
X2
U52
X1
active
X2
X3
U52
X1
X2
X3
U41
active
X1
X2
U41
X1
X2
U51
X1
X2
mark
X3
U51
X1
X2
X3
active
U41
tt
N
mark
N
U11
X1
mark
X2
U11
X1
X2
U51
X1
active
X2
X3
U51
X1
X2
X3
U51
X1
mark
X2
X3
U51
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U61
mark
X
U61
X
U31
X1
mark
X2
U31
X1
X2
plus
mark
X1
X2
plus
X1
X2
U41
mark
X1
X2
U41
X1
X2
U31
mark
X1
X2
U31
X1
X2
plus
active
X1
X2
plus
X1
X2
x
active
X1
X2
x
X1
X2
U11
mark
X1
X2
U11
X1
X2
U12
mark
X
U12
X
U12
active
X
U12
X
U21
active
X
U21
X
U52
active
X1
X2
X3
U52
X1
X2
X3
U72
mark
X1
X2
X3
U72
X1
X2
X3
mark
U72
X1
X2
X3
active
U72
mark
X1
X2
X3
mark
U52
X1
X2
X3
active
U52
mark
X1
X2
X3
isNat
mark
X
isNat
X
U72
active
X1
X2
X3
U72
X1
X2
X3
active
U12
tt
mark
tt
active
U52
tt
M
N
mark
s
plus
N
M
active
plus
N
0
mark
U41
isNat
N
N
mark
x
X1
X2
active
x
mark
X1
mark
X2
active
x
N
s
M
mark
U71
isNat
M
M
N
active
plus
N
s
M
mark
U51
isNat
M
M
N
mark
U41
X1
X2
active
U41
mark
X1
X2
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
active
U71
tt
M
N
mark
U72
isNat
N
M
N
active
U51
tt
M
N
mark
U52
isNat
N
M
N
mark
U11
X1
X2
mark
X1
mark
s
X
mark
X
active
isNat
s
V1
mark
U21
isNat
V1
mark
plus
X1
X2
mark
X1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
isNat
X
active
isNat
X
mark
U21
X
mark
X
active
U72
tt
M
N
mark
plus
x
N
M
N
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
active
U41
tt
N
mark
N
mark
U72
X1
X2
X3
active
U72
mark
X1
X2
X3
mark
U52
X1
X2
X3
active
U52
mark
X1
X2
X3
true
U72
3
1
U21
1
1
U11
2
1
plus
2
1
U12
1
1
x
2
1
s
1
1
mark
1
1
U11
2
2
active
1
1
U31
2
1
U21
1
1
U71
3
1
U41
2
2
U32
1
0
s
1
2
1
isNat
1
0
U71
3
4
2
3
1
U72
3
4
2
3
1
U52
3
0
3
2
x
2
4
2
1
U12
1
0
mark
1
3
1
0
0
1
U32
1
1
isNat
1
1
U52
3
3
3
2
1
plus
2
3
1
2
U61
1
4
1
U51
3
0
3
2
1
U41
2
0
1
2
active
1
3
1
tt
0
1
U51
3
3
3
2
1
U31
2
0
2
1
U61
1
0
U32
1
0
s
1
1
0
isNat
1
0
U71
3
1
0
2
0
3
0
0
U72
3
1
0
2
0
3
0
0
U52
3
2
0
3
0
0
x
2
1
0
2
0
0
U12
1
0
mark
1
1
0
0
0
0
U32
1
0
isNat
1
0
U52
3
1
0
2
0
3
0
0
plus
2
1
0
2
0
0
U61
1
1
0
U51
3
1
0
2
0
3
0
0
U41
2
1
0
2
0
0
active
1
1
0
tt
0
0
U51
3
1
0
2
0
3
0
0
U31
2
1
0
2
0
0
U61
1
0
mark
U52
X1
X2
X3
active
U52
mark
X1
X2
X3
mark
U72
X1
X2
X3
active
U72
mark
X1
X2
X3
active
U41
tt
N
mark
N
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
mark
U21
X
mark
X
mark
isNat
X
active
isNat
X
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
isNat
s
V1
mark
U21
isNat
V1
mark
U11
X1
X2
mark
X1
active
U51
tt
M
N
mark
U52
isNat
N
M
N
active
U71
tt
M
N
mark
U72
isNat
N
M
N
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U41
X1
X2
active
U41
mark
X1
X2
mark
x
X1
X2
active
x
mark
X1
mark
X2
active
x
N
0
mark
U61
isNat
N
U31
X1
active
X2
U31
X1
X2
U71
active
X1
X2
X3
U71
X1
X2
X3
active
U31
tt
V2
mark
U32
isNat
V2
active
isNat
x
V1
V2
mark
U31
isNat
V1
V2
active
U52
tt
M
N
mark
s
plus
N
M
U41
X1
mark
X2
U41
X1
X2
active
U11
tt
V2
mark
U12
isNat
V2
U71
mark
X1
X2
X3
U71
X1
X2
X3
active
U21
tt
mark
tt
active
plus
N
0
mark
U41
isNat
N
N
mark
tt
active
tt
mark
x
X1
X2
active
x
mark
X1
mark
X2
U52
X1
X2
active
X3
U52
X1
X2
X3
U72
X1
X2
mark
X3
U72
X1
X2
X3
mark
U32
X
active
U32
mark
X
U52
mark
X1
X2
X3
U52
X1
X2
X3
active
x
N
s
M
mark
U71
isNat
M
M
N
mark
U61
X
active
U61
mark
X
active
plus
N
s
M
mark
U51
isNat
M
M
N
U51
active
X1
X2
X3
U51
X1
X2
X3
mark
U41
X1
X2
active
U41
mark
X1
X2
U72
X1
active
X2
X3
U72
X1
X2
X3
U72
X1
mark
X2
X3
U72
X1
X2
X3
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U12
X
active
U12
mark
X
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
U52
X1
X2
mark
X3
U52
X1
X2
X3
isNat
active
X
isNat
X
active
U32
tt
mark
tt
plus
X1
mark
X2
plus
X1
X2
mark
0
active
0
U52
X1
mark
X2
X3
U52
X1
X2
X3
x
X1
active
X2
x
X1
X2
active
U71
tt
M
N
mark
U72
isNat
N
M
N
U11
active
X1
X2
U11
X1
X2
active
U51
tt
M
N
mark
U52
isNat
N
M
N
U72
X1
X2
active
X3
U72
X1
X2
X3
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
U31
X1
X2
active
U31
mark
X1
X2
U31
active
X1
X2
U31
X1
X2
U32
active
X
U32
X
mark
s
X
active
s
mark
X
U51
X1
X2
active
X3
U51
X1
X2
X3
active
isNat
s
V1
mark
U21
isNat
V1
U71
X1
X2
active
X3
U71
X1
X2
X3
x
mark
X1
X2
x
X1
X2
U41
X1
active
X2
U41
X1
X2
U71
X1
X2
mark
X3
U71
X1
X2
X3
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
isNat
0
mark
tt
s
mark
X
s
X
U21
mark
X
U21
X
U71
X1
mark
X2
X3
U71
X1
X2
X3
U71
X1
active
X2
X3
U71
X1
X2
X3
mark
isNat
X
active
isNat
X
s
active
X
s
X
mark
U21
X
active
U21
mark
X
U61
active
X
U61
X
U51
mark
X1
X2
X3
U51
X1
X2
X3
active
U72
tt
M
N
mark
plus
x
N
M
N
active
U61
tt
mark
0
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
U32
mark
X
U32
X
x
X1
mark
X2
x
X1
X2
U11
X1
active
X2
U11
X1
X2
U52
X1
active
X2
X3
U52
X1
X2
X3
U41
active
X1
X2
U41
X1
X2
U51
X1
X2
mark
X3
U51
X1
X2
X3
active
U41
tt
N
mark
N
U11
X1
mark
X2
U11
X1
X2
U51
X1
active
X2
X3
U51
X1
X2
X3
U51
X1
mark
X2
X3
U51
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U61
mark
X
U61
X
U31
X1
mark
X2
U31
X1
X2
plus
mark
X1
X2
plus
X1
X2
U41
mark
X1
X2
U41
X1
X2
U31
mark
X1
X2
U31
X1
X2
plus
active
X1
X2
plus
X1
X2
x
active
X1
X2
x
X1
X2
U11
mark
X1
X2
U11
X1
X2
U12
mark
X
U12
X
U12
active
X
U12
X
U21
active
X
U21
X
U52
active
X1
X2
X3
U52
X1
X2
X3
U72
mark
X1
X2
X3
U72
X1
X2
X3
mark
U72
X1
X2
X3
active
U72
mark
X1
X2
X3
mark
U52
X1
X2
X3
active
U52
mark
X1
X2
X3
isNat
mark
X
isNat
X
U72
active
X1
X2
X3
U72
X1
X2
X3
active
U12
tt
mark
tt
mark
x
X1
X2
active
x
mark
X1
mark
X2
mark
U41
X1
X2
active
U41
mark
X1
X2
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
active
U71
tt
M
N
mark
U72
isNat
N
M
N
active
U51
tt
M
N
mark
U52
isNat
N
M
N
mark
U11
X1
X2
mark
X1
active
isNat
s
V1
mark
U21
isNat
V1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
isNat
X
active
isNat
X
mark
U21
X
mark
X
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
active
U41
tt
N
mark
N
mark
U72
X1
X2
X3
active
U72
mark
X1
X2
X3
mark
U52
X1
X2
X3
active
U52
mark
X1
X2
X3
true
U72
3
0
U32
1
0
U21
1
13862
U11
2
23889
s
1
23889
isNat
1
0
U71
3
1
plus
2
0
U72
3
1
U52
3
0
U12
1
23889
x
2
1
U12
1
0
mark
1
48031
0
0
23889
x
2
0
s
1
0
mark
1
23888
U32
1
1920
isNat
1
1
U52
3
1
plus
2
0
U61
1
6946
U51
3
0
U11
2
0
active
1
1
0
U31
2
6047
U41
2
0
active
1
1
48030
U21
1
0
tt
0
23889
U71
3
0
U51
3
1
U41
2
1
U31
2
0
U61
1
0
mark
U52
X1
X2
X3
active
U52
mark
X1
X2
X3
mark
U72
X1
X2
X3
active
U72
mark
X1
X2
X3
active
U41
tt
N
mark
N
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
mark
U21
X
mark
X
mark
isNat
X
active
isNat
X
active
isNat
s
V1
mark
U21
isNat
V1
mark
U11
X1
X2
mark
X1
active
U51
tt
M
N
mark
U52
isNat
N
M
N
active
U71
tt
M
N
mark
U72
isNat
N
M
N
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U41
X1
X2
active
U41
mark
X1
X2
mark
x
X1
X2
active
x
mark
X1
mark
X2
U31
X1
active
X2
U31
X1
X2
U71
active
X1
X2
X3
U71
X1
X2
X3
U41
X1
mark
X2
U41
X1
X2
U71
mark
X1
X2
X3
U71
X1
X2
X3
U52
X1
X2
active
X3
U52
X1
X2
X3
U72
X1
X2
mark
X3
U72
X1
X2
X3
U52
mark
X1
X2
X3
U52
X1
X2
X3
U51
active
X1
X2
X3
U51
X1
X2
X3
U72
X1
active
X2
X3
U72
X1
X2
X3
U72
X1
mark
X2
X3
U72
X1
X2
X3
U52
X1
X2
mark
X3
U52
X1
X2
X3
isNat
active
X
isNat
X
plus
X1
mark
X2
plus
X1
X2
U52
X1
mark
X2
X3
U52
X1
X2
X3
x
X1
active
X2
x
X1
X2
U11
active
X1
X2
U11
X1
X2
U72
X1
X2
active
X3
U72
X1
X2
X3
U31
active
X1
X2
U31
X1
X2
U32
active
X
U32
X
U51
X1
X2
active
X3
U51
X1
X2
X3
U71
X1
X2
active
X3
U71
X1
X2
X3
x
mark
X1
X2
x
X1
X2
U41
X1
active
X2
U41
X1
X2
U71
X1
X2
mark
X3
U71
X1
X2
X3
s
mark
X
s
X
U21
mark
X
U21
X
U71
X1
mark
X2
X3
U71
X1
X2
X3
U71
X1
active
X2
X3
U71
X1
X2
X3
s
active
X
s
X
U61
active
X
U61
X
U51
mark
X1
X2
X3
U51
X1
X2
X3
U32
mark
X
U32
X
x
X1
mark
X2
x
X1
X2
U11
X1
active
X2
U11
X1
X2
U52
X1
active
X2
X3
U52
X1
X2
X3
U41
active
X1
X2
U41
X1
X2
U51
X1
X2
mark
X3
U51
X1
X2
X3
U11
X1
mark
X2
U11
X1
X2
U51
X1
active
X2
X3
U51
X1
X2
X3
U51
X1
mark
X2
X3
U51
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U61
mark
X
U61
X
U31
X1
mark
X2
U31
X1
X2
plus
mark
X1
X2
plus
X1
X2
U41
mark
X1
X2
U41
X1
X2
U31
mark
X1
X2
U31
X1
X2
plus
active
X1
X2
plus
X1
X2
x
active
X1
X2
x
X1
X2
U11
mark
X1
X2
U11
X1
X2
U12
mark
X
U12
X
U12
active
X
U12
X
U21
active
X
U21
X
U52
active
X1
X2
X3
U52
X1
X2
X3
U72
mark
X1
X2
X3
U72
X1
X2
X3
isNat
mark
X
isNat
X
U72
active
X1
X2
X3
U72
X1
X2
X3
mark
x
X1
X2
active
x
mark
X1
mark
X2
mark
U41
X1
X2
active
U41
mark
X1
X2
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
active
U71
tt
M
N
mark
U72
isNat
N
M
N
active
U51
tt
M
N
mark
U52
isNat
N
M
N
mark
U11
X1
X2
mark
X1
active
isNat
s
V1
mark
U21
isNat
V1
mark
isNat
X
active
isNat
X
mark
U21
X
mark
X
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
active
U41
tt
N
mark
N
mark
U72
X1
X2
X3
active
U72
mark
X1
X2
X3
mark
U52
X1
X2
X3
active
U52
mark
X1
X2
X3
true
U72
3
0
U32
1
0
U21
1
1
U11
2
26837
s
1
31329
isNat
1
0
U71
3
2
plus
2
0
U72
3
1
U52
3
0
U12
1
8509
x
2
1
U12
1
0
mark
1
48032
0
0
4
x
2
0
s
1
0
mark
1
3
U32
1
1
isNat
1
2
U52
3
1
plus
2
0
U61
1
1
U51
3
0
U11
2
0
active
1
1
0
U31
2
2
U41
2
0
active
1
1
48030
U21
1
0
tt
0
23889
U71
3
0
U51
3
2
U41
2
2
U31
2
0
U61
1
0
active
U41
tt
N
mark
N
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
mark
U21
X
mark
X
mark
isNat
X
active
isNat
X
active
isNat
s
V1
mark
U21
isNat
V1
mark
U11
X1
X2
mark
X1
active
U51
tt
M
N
mark
U52
isNat
N
M
N
active
U71
tt
M
N
mark
U72
isNat
N
M
N
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U41
X1
X2
active
U41
mark
X1
X2
U31
X1
active
X2
U31
X1
X2
U71
active
X1
X2
X3
U71
X1
X2
X3
U41
X1
mark
X2
U41
X1
X2
U71
mark
X1
X2
X3
U71
X1
X2
X3
U52
X1
X2
active
X3
U52
X1
X2
X3
U72
X1
X2
mark
X3
U72
X1
X2
X3
U52
mark
X1
X2
X3
U52
X1
X2
X3
U51
active
X1
X2
X3
U51
X1
X2
X3
U72
X1
active
X2
X3
U72
X1
X2
X3
U72
X1
mark
X2
X3
U72
X1
X2
X3
U52
X1
X2
mark
X3
U52
X1
X2
X3
isNat
active
X
isNat
X
plus
X1
mark
X2
plus
X1
X2
U52
X1
mark
X2
X3
U52
X1
X2
X3
x
X1
active
X2
x
X1
X2
U11
active
X1
X2
U11
X1
X2
U72
X1
X2
active
X3
U72
X1
X2
X3
U31
active
X1
X2
U31
X1
X2
U32
active
X
U32
X
U51
X1
X2
active
X3
U51
X1
X2
X3
U71
X1
X2
active
X3
U71
X1
X2
X3
x
mark
X1
X2
x
X1
X2
U41
X1
active
X2
U41
X1
X2
U71
X1
X2
mark
X3
U71
X1
X2
X3
s
mark
X
s
X
U21
mark
X
U21
X
U71
X1
mark
X2
X3
U71
X1
X2
X3
U71
X1
active
X2
X3
U71
X1
X2
X3
s
active
X
s
X
U61
active
X
U61
X
U51
mark
X1
X2
X3
U51
X1
X2
X3
U32
mark
X
U32
X
x
X1
mark
X2
x
X1
X2
U11
X1
active
X2
U11
X1
X2
U52
X1
active
X2
X3
U52
X1
X2
X3
U41
active
X1
X2
U41
X1
X2
U51
X1
X2
mark
X3
U51
X1
X2
X3
U11
X1
mark
X2
U11
X1
X2
U51
X1
active
X2
X3
U51
X1
X2
X3
U51
X1
mark
X2
X3
U51
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U61
mark
X
U61
X
U31
X1
mark
X2
U31
X1
X2
plus
mark
X1
X2
plus
X1
X2
U41
mark
X1
X2
U41
X1
X2
U31
mark
X1
X2
U31
X1
X2
plus
active
X1
X2
plus
X1
X2
x
active
X1
X2
x
X1
X2
U11
mark
X1
X2
U11
X1
X2
U12
mark
X
U12
X
U12
active
X
U12
X
U21
active
X
U21
X
U52
active
X1
X2
X3
U52
X1
X2
X3
U72
mark
X1
X2
X3
U72
X1
X2
X3
isNat
mark
X
isNat
X
U72
active
X1
X2
X3
U72
X1
X2
X3
mark
U41
X1
X2
active
U41
mark
X1
X2
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
active
U71
tt
M
N
mark
U72
isNat
N
M
N
active
U51
tt
M
N
mark
U52
isNat
N
M
N
mark
U11
X1
X2
mark
X1
active
isNat
s
V1
mark
U21
isNat
V1
mark
isNat
X
active
isNat
X
mark
U21
X
mark
X
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
active
U41
tt
N
mark
N
true
U72
3
0
U32
1
0
U21
1
1
0
U11
2
1
0
0
s
1
0
isNat
1
0
U71
3
3
3
0
plus
2
0
U72
3
1
1
3
3
0
U52
3
0
U12
1
0
x
2
1
3
0
U12
1
0
mark
1
1
0
0
0
1
x
2
0
s
1
0
mark
1
1
0
U32
1
0
isNat
1
1
U52
3
0
plus
2
1
0
2
3
0
U61
1
3
U51
3
0
U11
2
0
active
1
1
0
U31
2
0
U41
2
0
active
1
1
0
U21
1
0
tt
0
0
U71
3
0
U51
3
1
1
0
U41
2
1
1
2
0
0
U31
2
0
U61
1
0
active
U41
tt
N
mark
N
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
mark
U21
X
mark
X
mark
isNat
X
active
isNat
X
active
isNat
s
V1
mark
U21
isNat
V1
mark
U11
X1
X2
mark
X1
active
U71
tt
M
N
mark
U72
isNat
N
M
N
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U41
X1
X2
active
U41
mark
X1
X2
active
x
N
0
mark
U61
isNat
N
U31
X1
active
X2
U31
X1
X2
U71
active
X1
X2
X3
U71
X1
X2
X3
active
U31
tt
V2
mark
U32
isNat
V2
active
isNat
x
V1
V2
mark
U31
isNat
V1
V2
active
U52
tt
M
N
mark
s
plus
N
M
U41
X1
mark
X2
U41
X1
X2
active
U11
tt
V2
mark
U12
isNat
V2
U71
mark
X1
X2
X3
U71
X1
X2
X3
active
U21
tt
mark
tt
active
plus
N
0
mark
U41
isNat
N
N
mark
tt
active
tt
mark
x
X1
X2
active
x
mark
X1
mark
X2
U52
X1
X2
active
X3
U52
X1
X2
X3
U72
X1
X2
mark
X3
U72
X1
X2
X3
mark
U32
X
active
U32
mark
X
U52
mark
X1
X2
X3
U52
X1
X2
X3
active
x
N
s
M
mark
U71
isNat
M
M
N
mark
U61
X
active
U61
mark
X
active
plus
N
s
M
mark
U51
isNat
M
M
N
U51
active
X1
X2
X3
U51
X1
X2
X3
mark
U41
X1
X2
active
U41
mark
X1
X2
U72
X1
active
X2
X3
U72
X1
X2
X3
U72
X1
mark
X2
X3
U72
X1
X2
X3
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U12
X
active
U12
mark
X
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
U52
X1
X2
mark
X3
U52
X1
X2
X3
isNat
active
X
isNat
X
active
U32
tt
mark
tt
plus
X1
mark
X2
plus
X1
X2
mark
0
active
0
U52
X1
mark
X2
X3
U52
X1
X2
X3
x
X1
active
X2
x
X1
X2
active
U71
tt
M
N
mark
U72
isNat
N
M
N
U11
active
X1
X2
U11
X1
X2
active
U51
tt
M
N
mark
U52
isNat
N
M
N
U72
X1
X2
active
X3
U72
X1
X2
X3
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
U31
X1
X2
active
U31
mark
X1
X2
U31
active
X1
X2
U31
X1
X2
U32
active
X
U32
X
mark
s
X
active
s
mark
X
U51
X1
X2
active
X3
U51
X1
X2
X3
active
isNat
s
V1
mark
U21
isNat
V1
U71
X1
X2
active
X3
U71
X1
X2
X3
x
mark
X1
X2
x
X1
X2
U41
X1
active
X2
U41
X1
X2
U71
X1
X2
mark
X3
U71
X1
X2
X3
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
isNat
0
mark
tt
s
mark
X
s
X
U21
mark
X
U21
X
U71
X1
mark
X2
X3
U71
X1
X2
X3
U71
X1
active
X2
X3
U71
X1
X2
X3
mark
isNat
X
active
isNat
X
s
active
X
s
X
mark
U21
X
active
U21
mark
X
U61
active
X
U61
X
U51
mark
X1
X2
X3
U51
X1
X2
X3
active
U72
tt
M
N
mark
plus
x
N
M
N
active
U61
tt
mark
0
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
U32
mark
X
U32
X
x
X1
mark
X2
x
X1
X2
U11
X1
active
X2
U11
X1
X2
U52
X1
active
X2
X3
U52
X1
X2
X3
U41
active
X1
X2
U41
X1
X2
U51
X1
X2
mark
X3
U51
X1
X2
X3
active
U41
tt
N
mark
N
U11
X1
mark
X2
U11
X1
X2
U51
X1
active
X2
X3
U51
X1
X2
X3
U51
X1
mark
X2
X3
U51
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U61
mark
X
U61
X
U31
X1
mark
X2
U31
X1
X2
plus
mark
X1
X2
plus
X1
X2
U41
mark
X1
X2
U41
X1
X2
U31
mark
X1
X2
U31
X1
X2
plus
active
X1
X2
plus
X1
X2
x
active
X1
X2
x
X1
X2
U11
mark
X1
X2
U11
X1
X2
U12
mark
X
U12
X
U12
active
X
U12
X
U21
active
X
U21
X
U52
active
X1
X2
X3
U52
X1
X2
X3
U72
mark
X1
X2
X3
U72
X1
X2
X3
mark
U72
X1
X2
X3
active
U72
mark
X1
X2
X3
mark
U52
X1
X2
X3
active
U52
mark
X1
X2
X3
isNat
mark
X
isNat
X
U72
active
X1
X2
X3
U72
X1
X2
X3
active
U12
tt
mark
tt
mark
U41
X1
X2
active
U41
mark
X1
X2
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
active
U71
tt
M
N
mark
U72
isNat
N
M
N
mark
U11
X1
X2
mark
X1
active
isNat
s
V1
mark
U21
isNat
V1
mark
isNat
X
active
isNat
X
mark
U21
X
mark
X
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
active
U41
tt
N
mark
N
true
U72
3
0
U32
1
0
U21
1
7
U11
2
2
7
s
1
8
isNat
1
0
U71
3
5
plus
2
0
U72
3
0
U52
3
0
U12
1
9
x
2
2
U12
1
0
mark
1
48032
0
0
6
x
2
0
s
1
0
mark
1
1
3
U32
1
9
isNat
1
5
U52
3
3
6
plus
2
2
U61
1
4
U51
3
0
U11
2
0
active
1
1
4
U31
2
7
U41
2
0
active
1
1
48027
U21
1
0
tt
0
11
U71
3
0
U51
3
4
U41
2
5
U31
2
0
U61
1
0
active
U41
tt
N
mark
N
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
mark
U21
X
mark
X
mark
isNat
X
active
isNat
X
active
isNat
s
V1
mark
U21
isNat
V1
mark
U11
X1
X2
mark
X1
active
U71
tt
M
N
mark
U72
isNat
N
M
N
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U41
X1
X2
active
U41
mark
X1
X2
U31
X1
active
X2
U31
X1
X2
U71
active
X1
X2
X3
U71
X1
X2
X3
U41
X1
mark
X2
U41
X1
X2
U71
mark
X1
X2
X3
U71
X1
X2
X3
U52
X1
X2
active
X3
U52
X1
X2
X3
U72
X1
X2
mark
X3
U72
X1
X2
X3
U52
mark
X1
X2
X3
U52
X1
X2
X3
U51
active
X1
X2
X3
U51
X1
X2
X3
U72
X1
active
X2
X3
U72
X1
X2
X3
U72
X1
mark
X2
X3
U72
X1
X2
X3
U52
X1
X2
mark
X3
U52
X1
X2
X3
isNat
active
X
isNat
X
plus
X1
mark
X2
plus
X1
X2
U52
X1
mark
X2
X3
U52
X1
X2
X3
x
X1
active
X2
x
X1
X2
U11
active
X1
X2
U11
X1
X2
U72
X1
X2
active
X3
U72
X1
X2
X3
U31
active
X1
X2
U31
X1
X2
U32
active
X
U32
X
U51
X1
X2
active
X3
U51
X1
X2
X3
U71
X1
X2
active
X3
U71
X1
X2
X3
x
mark
X1
X2
x
X1
X2
U41
X1
active
X2
U41
X1
X2
U71
X1
X2
mark
X3
U71
X1
X2
X3
s
mark
X
s
X
U21
mark
X
U21
X
U71
X1
mark
X2
X3
U71
X1
X2
X3
U71
X1
active
X2
X3
U71
X1
X2
X3
s
active
X
s
X
U61
active
X
U61
X
U51
mark
X1
X2
X3
U51
X1
X2
X3
U32
mark
X
U32
X
x
X1
mark
X2
x
X1
X2
U11
X1
active
X2
U11
X1
X2
U52
X1
active
X2
X3
U52
X1
X2
X3
U41
active
X1
X2
U41
X1
X2
U51
X1
X2
mark
X3
U51
X1
X2
X3
U11
X1
mark
X2
U11
X1
X2
U51
X1
active
X2
X3
U51
X1
X2
X3
U51
X1
mark
X2
X3
U51
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U61
mark
X
U61
X
U31
X1
mark
X2
U31
X1
X2
plus
mark
X1
X2
plus
X1
X2
U41
mark
X1
X2
U41
X1
X2
U31
mark
X1
X2
U31
X1
X2
plus
active
X1
X2
plus
X1
X2
x
active
X1
X2
x
X1
X2
U11
mark
X1
X2
U11
X1
X2
U12
mark
X
U12
X
U12
active
X
U12
X
U21
active
X
U21
X
U52
active
X1
X2
X3
U52
X1
X2
X3
U72
mark
X1
X2
X3
U72
X1
X2
X3
isNat
mark
X
isNat
X
U72
active
X1
X2
X3
U72
X1
X2
X3
mark
U41
X1
X2
active
U41
mark
X1
X2
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
active
U71
tt
M
N
mark
U72
isNat
N
M
N
mark
U11
X1
X2
mark
X1
active
isNat
s
V1
mark
U21
isNat
V1
mark
isNat
X
active
isNat
X
mark
U21
X
mark
X
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
active
U41
tt
N
mark
N
true
U72
3
1
U21
1
1
U11
2
1
plus
2
1
U12
1
1
mark
1
1
x
2
1
s
1
1
mark
1
1
U11
2
2
active
1
1
U31
2
1
active
1
1
U21
1
1
U71
3
1
U32
1
0
s
1
2
1
isNat
1
0
U71
3
4
2
3
1
U72
3
4
2
3
1
U52
3
0
3
2
x
2
4
2
1
U12
1
0
0
0
1
U32
1
1
isNat
1
1
U52
3
3
3
2
1
plus
2
3
1
2
U61
1
4
1
U51
3
0
3
2
1
U41
2
0
1
2
tt
0
1
U51
3
3
3
2
1
U41
2
3
2
U31
2
0
2
1
U61
1
0
U32
1
0
s
1
1
0
isNat
1
0
U71
3
1
0
2
0
3
0
0
U72
3
1
0
2
0
3
0
0
U52
3
2
0
3
0
0
x
2
1
0
2
0
0
U12
1
0
0
0
0
U32
1
0
isNat
1
0
U52
3
1
0
2
0
3
0
0
plus
2
1
0
2
0
0
U61
1
1
0
U51
3
1
0
2
0
3
0
0
U41
2
1
0
2
0
0
tt
0
0
U51
3
1
0
2
0
3
0
0
U41
2
2
0
0
U31
2
1
0
2
0
0
U61
1
0
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
mark
U21
X
mark
X
mark
isNat
X
active
isNat
X
active
isNat
s
V1
mark
U21
isNat
V1
mark
U11
X1
X2
mark
X1
active
U71
tt
M
N
mark
U72
isNat
N
M
N
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U41
X1
X2
active
U41
mark
X1
X2
active
x
N
0
mark
U61
isNat
N
U31
X1
active
X2
U31
X1
X2
U71
active
X1
X2
X3
U71
X1
X2
X3
active
U31
tt
V2
mark
U32
isNat
V2
active
isNat
x
V1
V2
mark
U31
isNat
V1
V2
active
U52
tt
M
N
mark
s
plus
N
M
U41
X1
mark
X2
U41
X1
X2
active
U11
tt
V2
mark
U12
isNat
V2
U71
mark
X1
X2
X3
U71
X1
X2
X3
active
U21
tt
mark
tt
active
plus
N
0
mark
U41
isNat
N
N
mark
tt
active
tt
mark
x
X1
X2
active
x
mark
X1
mark
X2
U52
X1
X2
active
X3
U52
X1
X2
X3
U72
X1
X2
mark
X3
U72
X1
X2
X3
mark
U32
X
active
U32
mark
X
U52
mark
X1
X2
X3
U52
X1
X2
X3
active
x
N
s
M
mark
U71
isNat
M
M
N
mark
U61
X
active
U61
mark
X
active
plus
N
s
M
mark
U51
isNat
M
M
N
U51
active
X1
X2
X3
U51
X1
X2
X3
mark
U41
X1
X2
active
U41
mark
X1
X2
U72
X1
active
X2
X3
U72
X1
X2
X3
U72
X1
mark
X2
X3
U72
X1
X2
X3
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U12
X
active
U12
mark
X
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
U52
X1
X2
mark
X3
U52
X1
X2
X3
isNat
active
X
isNat
X
active
U32
tt
mark
tt
plus
X1
mark
X2
plus
X1
X2
mark
0
active
0
U52
X1
mark
X2
X3
U52
X1
X2
X3
x
X1
active
X2
x
X1
X2
active
U71
tt
M
N
mark
U72
isNat
N
M
N
U11
active
X1
X2
U11
X1
X2
active
U51
tt
M
N
mark
U52
isNat
N
M
N
U72
X1
X2
active
X3
U72
X1
X2
X3
mark
U11
X1
X2
active
U11
mark
X1
X2
mark
U31
X1
X2
active
U31
mark
X1
X2
U31
active
X1
X2
U31
X1
X2
U32
active
X
U32
X
mark
s
X
active
s
mark
X
U51
X1
X2
active
X3
U51
X1
X2
X3
active
isNat
s
V1
mark
U21
isNat
V1
U71
X1
X2
active
X3
U71
X1
X2
X3
x
mark
X1
X2
x
X1
X2
U41
X1
active
X2
U41
X1
X2
U71
X1
X2
mark
X3
U71
X1
X2
X3
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
isNat
0
mark
tt
s
mark
X
s
X
U21
mark
X
U21
X
U71
X1
mark
X2
X3
U71
X1
X2
X3
U71
X1
active
X2
X3
U71
X1
X2
X3
mark
isNat
X
active
isNat
X
s
active
X
s
X
mark
U21
X
active
U21
mark
X
U61
active
X
U61
X
U51
mark
X1
X2
X3
U51
X1
X2
X3
active
U72
tt
M
N
mark
plus
x
N
M
N
active
U61
tt
mark
0
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
U32
mark
X
U32
X
x
X1
mark
X2
x
X1
X2
U11
X1
active
X2
U11
X1
X2
U52
X1
active
X2
X3
U52
X1
X2
X3
U41
active
X1
X2
U41
X1
X2
U51
X1
X2
mark
X3
U51
X1
X2
X3
active
U41
tt
N
mark
N
U11
X1
mark
X2
U11
X1
X2
U51
X1
active
X2
X3
U51
X1
X2
X3
U51
X1
mark
X2
X3
U51
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U61
mark
X
U61
X
U31
X1
mark
X2
U31
X1
X2
plus
mark
X1
X2
plus
X1
X2
U41
mark
X1
X2
U41
X1
X2
U31
mark
X1
X2
U31
X1
X2
plus
active
X1
X2
plus
X1
X2
x
active
X1
X2
x
X1
X2
U11
mark
X1
X2
U11
X1
X2
U12
mark
X
U12
X
U12
active
X
U12
X
U21
active
X
U21
X
U52
active
X1
X2
X3
U52
X1
X2
X3
U72
mark
X1
X2
X3
U72
X1
X2
X3
mark
U72
X1
X2
X3
active
U72
mark
X1
X2
X3
mark
U52
X1
X2
X3
active
U52
mark
X1
X2
X3
isNat
mark
X
isNat
X
U72
active
X1
X2
X3
U72
X1
X2
X3
active
U12
tt
mark
tt
mark
U41
X1
X2
active
U41
mark
X1
X2
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
active
U71
tt
M
N
mark
U72
isNat
N
M
N
mark
U11
X1
X2
mark
X1
active
isNat
s
V1
mark
U21
isNat
V1
mark
isNat
X
active
isNat
X
mark
U21
X
mark
X
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
true
U72
3
0
U32
1
0
U21
1
5539
U11
2
12229
s
1
12229
isNat
1
0
U71
3
12227
plus
2
0
U72
3
4908
U52
3
0
U12
1
12229
x
2
4037
U12
1
0
mark
1
60254
0
0
12229
x
2
0
s
1
0
mark
1
12228
U32
1
12229
isNat
1
12227
U52
3
1
plus
2
12229
U61
1
12227
U51
3
0
U11
2
0
active
1
1
0
U31
2
1
U41
2
0
active
1
1
48027
U21
1
0
tt
0
12229
U71
3
0
U51
3
12227
U41
2
5656
U31
2
0
U61
1
0
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
mark
U21
X
mark
X
mark
isNat
X
active
isNat
X
active
isNat
s
V1
mark
U21
isNat
V1
mark
U11
X1
X2
mark
X1
active
U71
tt
M
N
mark
U72
isNat
N
M
N
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
U31
X1
active
X2
U31
X1
X2
U71
active
X1
X2
X3
U71
X1
X2
X3
U41
X1
mark
X2
U41
X1
X2
U71
mark
X1
X2
X3
U71
X1
X2
X3
U52
X1
X2
active
X3
U52
X1
X2
X3
U72
X1
X2
mark
X3
U72
X1
X2
X3
U52
mark
X1
X2
X3
U52
X1
X2
X3
U51
active
X1
X2
X3
U51
X1
X2
X3
U72
X1
active
X2
X3
U72
X1
X2
X3
U72
X1
mark
X2
X3
U72
X1
X2
X3
U52
X1
X2
mark
X3
U52
X1
X2
X3
isNat
active
X
isNat
X
plus
X1
mark
X2
plus
X1
X2
U52
X1
mark
X2
X3
U52
X1
X2
X3
x
X1
active
X2
x
X1
X2
U11
active
X1
X2
U11
X1
X2
U72
X1
X2
active
X3
U72
X1
X2
X3
U31
active
X1
X2
U31
X1
X2
U32
active
X
U32
X
U51
X1
X2
active
X3
U51
X1
X2
X3
U71
X1
X2
active
X3
U71
X1
X2
X3
x
mark
X1
X2
x
X1
X2
U41
X1
active
X2
U41
X1
X2
U71
X1
X2
mark
X3
U71
X1
X2
X3
s
mark
X
s
X
U21
mark
X
U21
X
U71
X1
mark
X2
X3
U71
X1
X2
X3
U71
X1
active
X2
X3
U71
X1
X2
X3
s
active
X
s
X
U61
active
X
U61
X
U51
mark
X1
X2
X3
U51
X1
X2
X3
U32
mark
X
U32
X
x
X1
mark
X2
x
X1
X2
U11
X1
active
X2
U11
X1
X2
U52
X1
active
X2
X3
U52
X1
X2
X3
U41
active
X1
X2
U41
X1
X2
U51
X1
X2
mark
X3
U51
X1
X2
X3
U11
X1
mark
X2
U11
X1
X2
U51
X1
active
X2
X3
U51
X1
X2
X3
U51
X1
mark
X2
X3
U51
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U61
mark
X
U61
X
U31
X1
mark
X2
U31
X1
X2
plus
mark
X1
X2
plus
X1
X2
U41
mark
X1
X2
U41
X1
X2
U31
mark
X1
X2
U31
X1
X2
plus
active
X1
X2
plus
X1
X2
x
active
X1
X2
x
X1
X2
U11
mark
X1
X2
U11
X1
X2
U12
mark
X
U12
X
U12
active
X
U12
X
U21
active
X
U21
X
U52
active
X1
X2
X3
U52
X1
X2
X3
U72
mark
X1
X2
X3
U72
X1
X2
X3
isNat
mark
X
isNat
X
U72
active
X1
X2
X3
U72
X1
X2
X3
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
active
U71
tt
M
N
mark
U72
isNat
N
M
N
mark
U11
X1
X2
mark
X1
active
isNat
s
V1
mark
U21
isNat
V1
mark
isNat
X
active
isNat
X
mark
U21
X
mark
X
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
true
U72
3
0
U32
1
0
U21
1
1
0
U11
2
1
0
s
1
1
16552
isNat
1
0
U71
3
1
3
20350
plus
2
0
U72
3
1
0
U52
3
0
U12
1
36
x
2
2
3828
U12
1
0
mark
1
1
47995
0
0
36803
x
2
0
s
1
0
mark
1
1
0
U32
1
1
14625
isNat
1
32
U52
3
3
16586
plus
2
36
U61
1
36801
U51
3
0
U11
2
0
active
1
1
1
U31
2
2
34
U41
2
0
active
1
48027
U21
1
0
tt
0
34
U71
3
0
U51
3
2
38
U41
2
38
U31
2
0
U61
1
0
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
mark
U21
X
mark
X
mark
isNat
X
active
isNat
X
active
isNat
s
V1
mark
U21
isNat
V1
mark
U11
X1
X2
mark
X1
active
U71
tt
M
N
mark
U72
isNat
N
M
N
U31
X1
active
X2
U31
X1
X2
U71
active
X1
X2
X3
U71
X1
X2
X3
U41
X1
mark
X2
U41
X1
X2
U71
mark
X1
X2
X3
U71
X1
X2
X3
U52
X1
X2
active
X3
U52
X1
X2
X3
U72
X1
X2
mark
X3
U72
X1
X2
X3
U52
mark
X1
X2
X3
U52
X1
X2
X3
U51
active
X1
X2
X3
U51
X1
X2
X3
U72
X1
active
X2
X3
U72
X1
X2
X3
U72
X1
mark
X2
X3
U72
X1
X2
X3
U52
X1
X2
mark
X3
U52
X1
X2
X3
isNat
active
X
isNat
X
plus
X1
mark
X2
plus
X1
X2
U52
X1
mark
X2
X3
U52
X1
X2
X3
U11
active
X1
X2
U11
X1
X2
U72
X1
X2
active
X3
U72
X1
X2
X3
U31
active
X1
X2
U31
X1
X2
U32
active
X
U32
X
U51
X1
X2
active
X3
U51
X1
X2
X3
U71
X1
X2
active
X3
U71
X1
X2
X3
U41
X1
active
X2
U41
X1
X2
U71
X1
X2
mark
X3
U71
X1
X2
X3
s
mark
X
s
X
U21
mark
X
U21
X
U71
X1
mark
X2
X3
U71
X1
X2
X3
U71
X1
active
X2
X3
U71
X1
X2
X3
s
active
X
s
X
U61
active
X
U61
X
U51
mark
X1
X2
X3
U51
X1
X2
X3
U32
mark
X
U32
X
U11
X1
active
X2
U11
X1
X2
U52
X1
active
X2
X3
U52
X1
X2
X3
U41
active
X1
X2
U41
X1
X2
U51
X1
X2
mark
X3
U51
X1
X2
X3
U11
X1
mark
X2
U11
X1
X2
U51
X1
active
X2
X3
U51
X1
X2
X3
U51
X1
mark
X2
X3
U51
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U61
mark
X
U61
X
U31
X1
mark
X2
U31
X1
X2
plus
mark
X1
X2
plus
X1
X2
U41
mark
X1
X2
U41
X1
X2
U31
mark
X1
X2
U31
X1
X2
plus
active
X1
X2
plus
X1
X2
U11
mark
X1
X2
U11
X1
X2
U12
mark
X
U12
X
U12
active
X
U12
X
U21
active
X
U21
X
U52
active
X1
X2
X3
U52
X1
X2
X3
U72
mark
X1
X2
X3
U72
X1
X2
X3
isNat
mark
X
isNat
X
U72
active
X1
X2
X3
U72
X1
X2
X3
active
U71
tt
M
N
mark
U72
isNat
N
M
N
mark
U11
X1
X2
mark
X1
active
isNat
s
V1
mark
U21
isNat
V1
mark
isNat
X
active
isNat
X
mark
U21
X
mark
X
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
true
U72
3
0
U32
1
0
U21
1
1
0
U11
2
1
0
s
1
1
23201
isNat
1
0
U71
3
1
3
14367
plus
2
0
U72
3
830
U52
3
0
U12
1
40214
x
2
2
31374
U12
1
0
mark
1
1
47995
0
0
41385
x
2
0
s
1
0
mark
1
1
0
U32
1
1
23492
isNat
1
40210
U52
3
3
24031
plus
2
832
U61
1
41383
U51
3
0
U11
2
0
active
1
1
1
U31
2
2
40212
U41
2
0
active
1
88205
U21
1
0
tt
0
40212
U71
3
0
U51
3
2
834
U41
2
834
U31
2
0
U61
1
0
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
mark
U21
X
mark
X
mark
isNat
X
active
isNat
X
active
isNat
s
V1
mark
U21
isNat
V1
mark
U11
X1
X2
mark
X1
U31
X1
active
X2
U31
X1
X2
U71
active
X1
X2
X3
U71
X1
X2
X3
U41
X1
mark
X2
U41
X1
X2
U71
mark
X1
X2
X3
U71
X1
X2
X3
U52
X1
X2
active
X3
U52
X1
X2
X3
U72
X1
X2
mark
X3
U72
X1
X2
X3
U52
mark
X1
X2
X3
U52
X1
X2
X3
U51
active
X1
X2
X3
U51
X1
X2
X3
U72
X1
active
X2
X3
U72
X1
X2
X3
U72
X1
mark
X2
X3
U72
X1
X2
X3
U52
X1
X2
mark
X3
U52
X1
X2
X3
isNat
active
X
isNat
X
plus
X1
mark
X2
plus
X1
X2
U52
X1
mark
X2
X3
U52
X1
X2
X3
U11
active
X1
X2
U11
X1
X2
U72
X1
X2
active
X3
U72
X1
X2
X3
U31
active
X1
X2
U31
X1
X2
U32
active
X
U32
X
U51
X1
X2
active
X3
U51
X1
X2
X3
U71
X1
X2
active
X3
U71
X1
X2
X3
U41
X1
active
X2
U41
X1
X2
U71
X1
X2
mark
X3
U71
X1
X2
X3
s
mark
X
s
X
U21
mark
X
U21
X
U71
X1
mark
X2
X3
U71
X1
X2
X3
U71
X1
active
X2
X3
U71
X1
X2
X3
s
active
X
s
X
U61
active
X
U61
X
U51
mark
X1
X2
X3
U51
X1
X2
X3
U32
mark
X
U32
X
U11
X1
active
X2
U11
X1
X2
U52
X1
active
X2
X3
U52
X1
X2
X3
U41
active
X1
X2
U41
X1
X2
U51
X1
X2
mark
X3
U51
X1
X2
X3
U11
X1
mark
X2
U11
X1
X2
U51
X1
active
X2
X3
U51
X1
X2
X3
U51
X1
mark
X2
X3
U51
X1
X2
X3
plus
X1
active
X2
plus
X1
X2
U61
mark
X
U61
X
U31
X1
mark
X2
U31
X1
X2
plus
mark
X1
X2
plus
X1
X2
U41
mark
X1
X2
U41
X1
X2
U31
mark
X1
X2
U31
X1
X2
plus
active
X1
X2
plus
X1
X2
U11
mark
X1
X2
U11
X1
X2
U12
mark
X
U12
X
U12
active
X
U12
X
U21
active
X
U21
X
U52
active
X1
X2
X3
U52
X1
X2
X3
U72
mark
X1
X2
X3
U72
X1
X2
X3
isNat
mark
X
isNat
X
U72
active
X1
X2
X3
U72
X1
X2
X3
mark
U11
X1
X2
mark
X1
active
isNat
s
V1
mark
U21
isNat
V1
mark
isNat
X
active
isNat
X
mark
U21
X
mark
X
active
isNat
plus
V1
V2
mark
U11
isNat
V1
V2
true
U72
3
0
U32
1
0
U21
1
1
1
U11
2
1
1
2
2
0
s
1
1
3
isNat
1
0
U71
3
0
plus
2
0
U72
3
0
U52
3
0
U12
1
0
x
2
0
U12
1
0
mark
1
1
1
0
0
0
x
2
0
s
1
0
mark
1
1
0
U32
1
0
isNat
1
1
4685
U52
3
0
plus
2
1
1172
2
1145
0
U61
1
0
U51
3
0
U11
2
0
active
1
1
0
U31
2
0
U41
2
0
active
1
1
0
U21
1
0
tt
0
0
U71
3
0
U51
3
0
U41
2
0
U31
2
0
U61
1
0
isNat
active
X
isNat
X
U11
active
X1
X2
U11
X1
X2
U21
mark
X
U21
X
U11
X1
active
X2
U11
X1
X2
U11
X1
mark
X2
U11
X1
X2
U11
mark
X1
X2
U11
X1
X2
U21
active
X
U21
X
isNat
mark
X
isNat
X
active
U12
tt
mark
tt
false
mark
U52
X1
X2
X3
U52
mark
X1
X2
X3
false
mark
U72
X1
X2
X3
U72
mark
X1
X2
X3
false
mark
U21
X
U21
mark
X
false
active
isNat
plus
V1
V2
U11
isNat
V1
V2
false
active
isNat
plus
V1
V2
isNat
V1
false
active
U61
tt
mark
0
false
active
U72
tt
M
N
plus
x
N
M
N
false
active
U72
tt
M
N
x
N
M
false
active
isNat
0
mark
tt
false
mark
plus
X1
X2
plus
mark
X1
mark
X2
false
active
isNat
s
V1
U21
isNat
V1
false
U21
mark
X
U21
X
U21
active
X
U21
X
true
U72
3
0
U32
1
0
U21
1
1
2
U11
2
2
10183
s
1
1
11419
isNat
1
0
U71
3
3
23185
plus
2
0
U72
3
1
23186
U52
3
0
U12
1
1
19725
x
2
2
11764
U12
1
0
mark
1
88205
0
0
82942
x
2
0
s
1
0
mark
1
1
1
U32
1
1
23605
isNat
1
1
U52
3
2
42840
plus
2
31423
U61
1
1
57887
U51
3
0
U11
2
0
active
1
1
2
U31
2
1
15369
U41
2
0
active
1
88205
U21
1
1
0
tt
0
8235
U71
3
0
U51
3
3
31425
U41
2
31425
U31
2
0
U61
1
0
active
isNat
s
V1
isNat
V1
false
mark
s
X
s
mark
X
false
active
U51
tt
M
N
U52
isNat
N
M
N
false
U52
X1
active
X2
X3
U52
X1
X2
X3
U52
X1
mark
X2
X3
U52
X1
X2
X3
U52
active
X1
X2
X3
U52
X1
X2
X3
U52
X1
X2
mark
X3
U52
X1
X2
X3
U52
X1
X2
active
X3
U52
X1
X2
X3
U52
mark
X1
X2
X3
U52
X1
X2
X3
true
U72
3
0
U32
1
0
U21
1
1
2
U11
2
2
24898
s
1
1
15188
isNat
1
0
U71
3
3
15191
plus
2
0
U72
3
1
15192
U52
3
1
3
0
U12
1
1
38476
x
2
2
1
U12
1
0
mark
1
88205
0
0
34663
x
2
0
s
1
0
mark
1
1
1
U32
1
1
4
isNat
1
1
U52
3
2
30383
plus
2
15197
U61
1
1
34658
U51
3
0
U11
2
0
active
1
1
2
U31
2
3
U41
2
0
active
1
88205
U21
1
0
tt
0
3
U71
3
0
U51
3
3
15199
U41
2
19811
U31
2
0
U61
1
0
U52
X1
mark
X2
X3
U52
X1
X2
X3
U52
X1
active
X2
X3
U52
X1
X2
X3
U52
X1
mark
X2
X3
U52
X1
X2
X3
U52
X1
active
X2
X3
U52
X1
X2
X3
true
U72
3
0
U32
1
0
U21
1
1
2
U11
2
2
4421
s
1
1
8349
isNat
1
0
U71
3
3
8352
plus
2
0
U72
3
1
8353
U52
3
2
0
U12
1
1
4422
x
2
2
1
U12
1
0
mark
1
88205
0
0
6
x
2
0
s
1
0
mark
1
1
1
U32
1
1
30974
isNat
1
1
U52
3
2
16705
plus
2
8358
U61
1
1
1
U51
3
0
U11
2
0
active
1
1
2
U31
2
9462
U41
2
0
active
1
88205
U21
1
0
tt
0
3
U71
3
0
U51
3
3
8360
U41
2
12097
U31
2
0
U61
1
0
active
U51
tt
M
N
isNat
N
false
mark
U31
X1
X2
U31
mark
X1
X2
false
active
U71
tt
M
N
U72
isNat
N
M
N
false
active
U71
tt
M
N
isNat
N
false
active
U32
tt
mark
tt
false
mark
U11
X1
X2
U11
mark
X1
X2
false
U11
active
X1
X2
U11
X1
X2
U11
mark
X1
X2
U11
X1
X2
U11
X1
active
X2
U11
X1
X2
U11
X1
mark
X2
U11
X1
X2
true
U72
3
0
U32
1
0
U21
1
1
2
U11
2
2
3
s
1
1
6
isNat
1
0
U71
3
3
9
plus
2
0
U72
3
1
10
U52
3
0
U12
1
1
4
x
2
2
1
U12
1
0
mark
1
88205
0
0
39183
x
2
0
s
1
0
mark
1
1
1
U32
1
1
40134
isNat
1
1
U52
3
2
19
plus
2
15
U61
1
1
15338
U51
3
0
U11
2
1
2
0
active
1
1
2
U31
2
29970
U41
2
0
active
1
88205
U21
1
0
tt
0
3
U71
3
0
U51
3
3
17
U41
2
17
U31
2
0
U61
1
0
mark
0
active
0
false
active
plus
N
s
M
U51
isNat
M
M
N
false
active
plus
N
s
M
isNat
M
false
mark
U51
X1
X2
X3
U51
mark
X1
X2
X3
false
U51
X1
active
X2
X3
U51
X1
X2
X3
U51
X1
mark
X2
X3
U51
X1
X2
X3
U51
active
X1
X2
X3
U51
X1
X2
X3
U51
X1
X2
mark
X3
U51
X1
X2
X3
U51
X1
X2
active
X3
U51
X1
X2
X3
U51
mark
X1
X2
X3
U51
X1
X2
X3
true
U72
3
0
U32
1
0
U21
1
1
24152
U11
2
2
15435
s
1
1
21292
isNat
1
0
U71
3
3
47142
plus
2
0
U72
3
1
39145
U52
3
0
U12
1
1
7438
x
2
2
17218
U12
1
0
mark
1
88205
0
0
75386
x
2
0
s
1
0
mark
1
1
1
U32
1
1
21096
isNat
1
7999
U52
3
2
68438
plus
2
47148
U61
1
1
53362
U51
3
2
0
U11
2
0
active
1
1
2
U31
2
8001
U41
2
0
active
1
88205
U21
1
0
tt
0
8001
U71
3
0
U51
3
3
68436
U41
2
71135
U31
2
0
U61
1
0
U51
mark
X1
X2
X3
U51
X1
X2
X3
U51
X1
X2
active
X3
U51
X1
X2
X3
U51
X1
X2
mark
X3
U51
X1
X2
X3
U51
active
X1
X2
X3
U51
X1
X2
X3
U51
active
X1
X2
X3
U51
X1
X2
X3
U51
X1
X2
active
X3
U51
X1
X2
X3
U51
mark
X1
X2
X3
U51
X1
X2
X3
U51
X1
X2
mark
X3
U51
X1
X2
X3
true
U72
3
0
U32
1
0
U21
1
1
17773
U11
2
2
3
s
1
1
6
isNat
1
0
U71
3
3
9
plus
2
0
U72
3
1
10
U52
3
0
U12
1
1
4
x
2
2
1
U12
1
0
mark
1
88205
0
0
45941
x
2
0
s
1
0
mark
1
1
1
U32
1
1
4
isNat
1
1
U52
3
2
19
plus
2
15
U61
1
1
45936
U51
3
1
3
0
U11
2
0
active
1
1
2
U31
2
3
U41
2
0
active
1
88205
U21
1
0
tt
0
3
U71
3
0
U51
3
3
17
U41
2
17
U31
2
0
U61
1
0
active
x
N
s
M
U71
isNat
M
M
N
false
active
x
N
s
M
isNat
M
false
mark
U12
X
U12
mark
X
false
active
plus
N
0
U41
isNat
N
N
false
active
plus
N
0
isNat
N
false
active
U21
tt
mark
tt
false
mark
U71
X1
X2
X3
U71
mark
X1
X2
X3
false
U71
mark
X1
X2
X3
U71
X1
X2
X3
U71
X1
mark
X2
X3
U71
X1
X2
X3
U71
X1
X2
mark
X3
U71
X1
X2
X3
U71
X1
X2
active
X3
U71
X1
X2
X3
U71
active
X1
X2
X3
U71
X1
X2
X3
U71
X1
active
X2
X3
U71
X1
X2
X3
true
U72
3
0
U32
1
0
U21
1
9779
U11
2
1
2
13372
s
1
72557
isNat
1
0
U71
3
3
36895
plus
2
0
U72
3
1
3840
U52
3
0
U12
1
75340
x
2
36893
U12
1
0
mark
1
88205
0
0
46476
x
2
0
s
1
0
mark
1
1
1
U32
1
1
50635
isNat
1
33057
U52
3
1
39502
plus
2
1
2
2
U61
1
1
13421
U51
3
0
U11
2
0
active
1
1
2
U31
2
1
2
14318
U41
2
0
active
1
88205
U21
1
0
tt
0
33053
U71
3
1
2
3
0
U51
3
1
3
39504
U41
2
1
13423
U31
2
0
U61
1
0
U12
mark
X
U12
X
U12
active
X
U12
X
active
U11
tt
V2
U12
isNat
V2
false
U12
mark
X
U12
X
U12
active
X
U12
X
true
U72
3
0
U32
1
0
U21
1
15426
U11
2
1
2
2656
s
1
1
51855
isNat
1
0
U71
3
3
10207
plus
2
0
U72
3
1
93
U52
3
0
U12
1
26050
x
2
7551
U12
1
1
0
mark
1
88205
0
0
46476
x
2
0
s
1
0
mark
1
1
1
U32
1
18082
isNat
1
12770
U52
3
65135
plus
2
1
15936
U61
1
1
6523
U51
3
0
U11
2
0
active
1
1
2656
U31
2
2
15426
U41
2
0
active
1
88205
U21
1
0
tt
0
20738
U71
3
0
U51
3
1
3
41741
U41
2
1
5822
U31
2
0
U61
1
0
U32
active
X
U32
X
U32
mark
X
U32
X
U12
mark
X
U12
X
U12
active
X
U12
X
active
U11
tt
V2
isNat
V2
false
mark
U41
X1
X2
U41
mark
X1
X2
false
U41
X1
mark
X2
U41
X1
X2
U41
mark
X1
X2
U41
X1
X2
U41
X1
active
X2
U41
X1
X2
U41
active
X1
X2
U41
X1
X2
true
U72
3
0
U32
1
0
U21
1
11
U11
2
1
2
2656
s
1
1
51855
isNat
1
0
U71
3
3
11547
plus
2
0
U72
3
1
11540
U52
3
0
U12
1
2673
x
2
11545
U12
1
0
mark
1
88205
0
0
46476
x
2
0
s
1
0
mark
1
1
1
U32
1
13
isNat
1
9
U52
3
23229
plus
2
1
17
U61
1
1
11538
U51
3
0
U11
2
0
active
1
1
2
U31
2
2
11
U41
2
1
0
active
1
88205
U21
1
0
tt
0
15
U71
3
0
U51
3
1
3
6873
U41
2
1
10
U31
2
0
U61
1
0
U41
X1
active
X2
U41
X1
X2
U41
X1
mark
X2
U41
X1
X2
U32
active
X
U32
X
U32
mark
X
U32
X
U12
mark
X
U12
X
U12
active
X
U12
X
U41
X1
mark
X2
U41
X1
X2
U41
X1
active
X2
U41
X1
X2
true
U72
3
0
U32
1
0
U21
1
3
U11
2
1
2
21637
s
1
1
1485
isNat
1
0
U71
3
3
52684
plus
2
0
U72
3
1
52685
U52
3
0
U12
1
23119
x
2
33228
U12
1
0
mark
1
88205
0
0
34711
x
2
0
s
1
0
mark
1
1
1
U32
1
5
isNat
1
1
U52
3
22422
plus
2
1
20939
U61
1
1
33229
U51
3
0
U11
2
0
active
1
1
2
U31
2
2
3
U41
2
2
0
active
1
88205
U21
1
0
tt
0
1480
U71
3
0
U51
3
1
3
20940
U41
2
1
20940
U31
2
0
U61
1
0
U32
active
X
U32
X
U32
mark
X
U32
X
U12
mark
X
U12
X
U12
active
X
U12
X
active
U52
tt
M
N
s
plus
N
M
false
s
mark
X
s
X
s
active
X
s
X
true
U72
3
0
U32
1
0
U21
1
10746
U11
2
1
2
4098
s
1
1
24588
isNat
1
0
U71
3
3
9607
plus
2
0
U72
3
1
7057
U52
3
0
U12
1
27138
x
2
5509
U12
1
0
mark
1
88205
0
0
34711
x
2
0
s
1
1
0
mark
1
1
1
U32
1
14844
isNat
1
6648
U52
3
45078
plus
2
1
24588
U61
1
1
2959
U51
3
0
U11
2
0
active
1
1
4098
U31
2
2
10746
U41
2
0
active
1
88205
U21
1
0
tt
0
18942
U71
3
0
U51
3
1
3
22038
U41
2
1
22038
U31
2
0
U61
1
0
U32
active
X
U32
X
U32
mark
X
U32
X
U12
mark
X
U12
X
U12
active
X
U12
X
active
U52
tt
M
N
plus
N
M
false
mark
U61
X
U61
mark
X
false
active
isNat
x
V1
V2
U31
isNat
V1
V2
false
U31
mark
X1
X2
U31
X1
X2
U31
X1
active
X2
U31
X1
X2
U31
active
X1
X2
U31
X1
X2
U31
X1
mark
X2
U31
X1
X2
true
U72
3
0
U32
1
0
U21
1
3
U11
2
1
2
31254
s
1
1
15231
isNat
1
0
U71
3
3
3
plus
2
0
U72
3
1
4
U52
3
0
U12
1
33437
x
2
1
U12
1
0
mark
1
88205
0
0
34711
x
2
0
s
1
0
mark
1
1
1
U32
1
5
isNat
1
1
U52
3
22
plus
2
1
12
U61
1
1
2
U51
3
0
U11
2
0
active
1
1
2
U31
2
2
3
U41
2
0
active
1
88205
U21
1
0
tt
0
7
U71
3
0
U51
3
1
3
13
U41
2
1
13
U31
2
1
2
0
U61
1
0
U32
active
X
U32
X
U32
mark
X
U32
X
U12
mark
X
U12
X
U12
active
X
U12
X
active
isNat
x
V1
V2
isNat
V1
false
mark
U32
X
U32
mark
X
false
active
U31
tt
V2
U32
isNat
V2
false
U32
active
X
U32
X
U32
mark
X
U32
X
true
U72
3
0
U32
1
1
0
U21
1
21307
U11
2
1
2
2
s
1
1
20646
isNat
1
0
U71
3
3
21304
plus
2
0
U72
3
1
1
U52
3
0
U12
1
21315
x
2
2
U12
1
0
mark
1
88205
0
0
61173
x
2
0
s
1
0
mark
1
1
25058
U32
1
21309
isNat
1
21305
U52
3
41956
plus
2
1
21312
U61
1
1
39860
U51
3
0
U11
2
0
active
1
1
25059
U31
2
2
21307
U41
2
0
active
1
88205
U21
1
0
tt
0
21311
U71
3
0
U51
3
1
3
20643
U41
2
1
9
U31
2
0
U61
1
0
U32
active
X
U32
X
U32
mark
X
U32
X
U12
mark
X
U12
X
U12
active
X
U12
X
active
U31
tt
V2
isNat
V2
false
mark
x
X1
X2
x
mark
X1
mark
X2
false
x
active
X1
X2
x
X1
X2
x
X1
mark
X2
x
X1
X2
x
mark
X1
X2
x
X1
X2
x
X1
active
X2
x
X1
X2
true
U72
3
0
U32
1
0
U21
1
12
U11
2
1
2
27924
s
1
1
12
isNat
1
0
U71
3
3
23347
plus
2
0
U72
3
1
23339
U52
3
0
U12
1
27942
x
2
25
U12
1
0
mark
1
88205
0
0
35
x
2
1
2
0
s
1
0
mark
1
1
25058
U32
1
14
isNat
1
10
U52
3
23342
plus
2
1
23332
U61
1
1
17
U51
3
0
U11
2
0
active
1
1
25059
U31
2
2
12
U41
2
0
active
1
88205
U21
1
0
tt
0
16
U71
3
0
U51
3
1
3
23324
U41
2
1
23324
U31
2
0
U61
1
0
U32
active
X
U32
X
U32
mark
X
U32
X
U12
mark
X
U12
X
U12
active
X
U12
X
mark
tt
active
tt
false
active
x
N
0
U61
isNat
N
false
U61
mark
X
U61
X
U61
active
X
U61
X
true
U72
3
0
U32
1
0
U21
1
507
U11
2
1
2
2
s
1
1
12
isNat
1
0
U71
3
3
19745
plus
2
0
U72
3
1
19242
U52
3
0
U12
1
515
x
2
16816
U12
1
0
mark
1
88205
0
0
42945
x
2
0
s
1
0
mark
1
1
31874
U32
1
509
isNat
1
505
U52
3
2949
plus
2
1
2939
U61
1
1
16313
U51
3
0
U11
2
0
active
1
1
31875
U31
2
2
507
U41
2
0
active
1
88205
U21
1
0
tt
0
511
U71
3
0
U51
3
1
3
2436
U41
2
1
2436
U31
2
0
U61
1
1
0
U32
active
X
U32
X
U32
mark
X
U32
X
U12
mark
X
U12
X
U12
active
X
U12
X
active
x
N
0
isNat
N
false
isNat
active
X
isNat
X
isNat
mark
X
isNat
X
true
U72
3
0
U32
1
0
U21
1
1345
U11
2
1
2
2
s
1
1
12
isNat
1
1
0
U71
3
3
19891
plus
2
0
U72
3
1
18550
U52
3
0
U12
1
1353
x
2
8558
U12
1
0
mark
1
88205
0
0
42945
x
2
0
s
1
0
mark
1
1
9141
U32
1
1347
isNat
1
1343
U52
3
11353
plus
2
1
11343
U61
1
1
7217
U51
3
0
U11
2
0
active
1
1
9142
U31
2
2
1345
U41
2
0
active
1
88205
U21
1
0
tt
0
1349
U71
3
0
U51
3
1
3
10002
U41
2
1
10002
U31
2
0
U61
1
0
U32
active
X
U32
X
U32
mark
X
U32
X
U12
mark
X
U12
X
U12
active
X
U12
X
U72
X1
active
X2
X3
U72
X1
X2
X3
U72
X1
X2
active
X3
U72
X1
X2
X3
U72
X1
mark
X2
X3
U72
X1
X2
X3
U72
X1
X2
mark
X3
U72
X1
X2
X3
U72
mark
X1
X2
X3
U72
X1
X2
X3
U72
active
X1
X2
X3
U72
X1
X2
X3
true
U72
3
1
2
0
U32
1
0
U21
1
3
U11
2
1
2
2
s
1
1
1354
isNat
1
0
U71
3
3
24018
plus
2
0
U72
3
1
24019
U52
3
0
U12
1
11
x
2
6283
U12
1
0
mark
1
88205
0
0
42945
x
2
0
s
1
0
mark
1
1
22284
U32
1
5
isNat
1
1
U52
3
17755
plus
2
1
17745
U61
1
1
26040
U51
3
0
U11
2
0
active
1
1
22285
U31
2
2
3
U41
2
0
active
1
88205
U21
1
0
tt
0
7
U71
3
0
U51
3
1
3
17746
U41
2
1
17746
U31
2
0
U61
1
0
U72
X1
X2
mark
X3
U72
X1
X2
X3
U72
X1
X2
active
X3
U72
X1
X2
X3
U32
active
X
U32
X
U32
mark
X
U32
X
U12
mark
X
U12
X
U12
active
X
U12
X
U72
X1
X2
mark
X3
U72
X1
X2
X3
U72
X1
X2
active
X3
U72
X1
X2
X3
true
U72
3
3
0
U32
1
0
U21
1
1
12605
U11
2
1
2
15366
s
1
1
32209
isNat
1
0
U71
3
1
3
26063
plus
2
0
U72
3
3
31739
U52
3
0
U12
1
1
7688
x
2
1
3
U12
1
0
mark
1
88205
0
0
25057
x
2
0
s
1
0
mark
1
1
52474
U32
1
6283
isNat
1
2238
U52
3
1
2
3669
plus
2
1
U61
1
1
11430
U51
3
0
U11
2
0
active
1
1
1
U31
2
1
5839
U41
2
0
active
1
88205
U21
1
0
tt
0
1
U71
3
0
U51
3
3
23748
U41
2
52472
U31
2
0
U61
1
0
plus
X1
active
X2
plus
X1
X2
plus
active
X1
X2
plus
X1
X2
plus
X1
mark
X2
plus
X1
X2
plus
mark
X1
X2
plus
X1
X2
true
U72
3
0
U32
1
0
U21
1
1
9596
U11
2
2
85
s
1
1
1
isNat
1
0
U71
3
1
3
7192
plus
2
1
2
0
U72
3
1
3
3577
U52
3
0
U12
1
5447
x
2
1
1083
U12
1
0
mark
1
88205
0
0
14181
x
2
0
s
1
0
mark
1
1
24077
U32
1
10708
isNat
1
1
U52
3
1
25646
plus
2
2
11745
U61
1
6794
U51
3
0
U11
2
0
active
1
1
1
U31
2
8743
U41
2
0
active
1
88205
U21
1
0
tt
0
1
U71
3
0
U51
3
1
3
5513
U41
2
1851
U31
2
0
U61
1
0
U32
active
X
U32
X
U61
active
X
U61
X
U32
mark
X
U32
X
U61
mark
X
U61
X
NaTT
certifiable-1.6