active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
active
U12
tt
V2
mark
U13
isNat
V2
active
U13
tt
mark
tt
active
U21
tt
V1
mark
U22
isNat
V1
active
U22
tt
mark
tt
active
U31
tt
V1
V2
mark
U32
isNat
V1
V2
active
U32
tt
V2
mark
U33
isNat
V2
active
U33
tt
mark
tt
active
U41
tt
N
mark
N
active
U51
tt
M
N
mark
s
plus
N
M
active
U61
tt
mark
0
active
U71
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
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
active
isNat
x
V1
V2
mark
U31
and
isNatKind
V1
isNatKind
V2
V1
V2
active
isNatKind
0
mark
tt
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
active
isNatKind
s
V1
mark
isNatKind
V1
active
isNatKind
x
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
active
plus
N
0
mark
U41
and
isNat
N
isNatKind
N
N
active
plus
N
s
M
mark
U51
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
active
x
N
0
mark
U61
and
isNat
N
isNatKind
N
active
x
N
s
M
mark
U71
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
tt
active
tt
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
isNat
X
active
isNat
X
mark
U13
X
active
U13
mark
X
mark
U21
X1
X2
active
U21
mark
X1
X2
mark
U22
X
active
U22
mark
X
mark
U31
X1
X2
X3
active
U31
mark
X1
X2
X3
mark
U32
X1
X2
active
U32
mark
X1
X2
mark
U33
X
active
U33
mark
X
mark
U41
X1
X2
active
U41
mark
X1
X2
mark
U51
X1
X2
X3
active
U51
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
x
X1
X2
active
x
mark
X1
mark
X2
mark
and
X1
X2
active
and
mark
X1
X2
mark
isNatKind
X
active
isNatKind
X
U11
mark
X1
X2
X3
U11
X1
X2
X3
U11
X1
mark
X2
X3
U11
X1
X2
X3
U11
X1
X2
mark
X3
U11
X1
X2
X3
U11
active
X1
X2
X3
U11
X1
X2
X3
U11
X1
active
X2
X3
U11
X1
X2
X3
U11
X1
X2
active
X3
U11
X1
X2
X3
U12
mark
X1
X2
U12
X1
X2
U12
X1
mark
X2
U12
X1
X2
U12
active
X1
X2
U12
X1
X2
U12
X1
active
X2
U12
X1
X2
isNat
mark
X
isNat
X
isNat
active
X
isNat
X
U13
mark
X
U13
X
U13
active
X
U13
X
U21
mark
X1
X2
U21
X1
X2
U21
X1
mark
X2
U21
X1
X2
U21
active
X1
X2
U21
X1
X2
U21
X1
active
X2
U21
X1
X2
U22
mark
X
U22
X
U22
active
X
U22
X
U31
mark
X1
X2
X3
U31
X1
X2
X3
U31
X1
mark
X2
X3
U31
X1
X2
X3
U31
X1
X2
mark
X3
U31
X1
X2
X3
U31
active
X1
X2
X3
U31
X1
X2
X3
U31
X1
active
X2
X3
U31
X1
X2
X3
U31
X1
X2
active
X3
U31
X1
X2
X3
U32
mark
X1
X2
U32
X1
X2
U32
X1
mark
X2
U32
X1
X2
U32
active
X1
X2
U32
X1
X2
U32
X1
active
X2
U32
X1
X2
U33
mark
X
U33
X
U33
active
X
U33
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
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
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
isNatKind
mark
X
isNatKind
X
isNatKind
active
X
isNatKind
X
2.2
active
U12
tt
V2
U13
isNat
V2
mark
U21
X1
X2
mark
X1
isNatKind
mark
X
isNatKind
X
U12
X1
mark
X2
U12
X1
X2
U21
X1
mark
X2
U21
X1
X2
active
U71
tt
M
N
x
N
M
active
plus
N
s
M
mark
U51
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
mark
U61
X
active
U61
mark
X
U13
active
X
U13
X
active
U32
tt
V2
isNat
V2
U41
active
X1
X2
U41
X1
X2
U21
mark
X1
X2
U21
X1
X2
mark
U13
X
active
U13
mark
X
active
U31
tt
V1
V2
isNat
V1
mark
s
X
s
mark
X
active
U32
tt
V2
U33
isNat
V2
U11
active
X1
X2
X3
U11
X1
X2
X3
x
X1
active
X2
x
X1
X2
mark
U13
X
mark
X
isNatKind
active
X
isNatKind
X
active
plus
N
s
M
isNat
N
mark
U61
X
U61
mark
X
active
isNat
plus
V1
V2
isNatKind
V2
active
U41
tt
N
mark
N
active
isNatKind
x
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
active
plus
N
s
M
isNatKind
M
U51
X1
X2
active
X3
U51
X1
X2
X3
active
plus
N
0
U41
and
isNat
N
isNatKind
N
N
mark
U61
X
mark
X
plus
active
X1
X2
plus
X1
X2
U41
X1
active
X2
U41
X1
X2
active
isNat
s
V1
U21
isNatKind
V1
V1
s
mark
X
s
X
active
plus
N
s
M
isNatKind
N
mark
U41
X1
X2
active
U41
mark
X1
X2
and
X1
active
X2
and
X1
X2
active
plus
N
0
mark
U41
and
isNat
N
isNatKind
N
N
active
U32
tt
V2
mark
U33
isNat
V2
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
active
x
N
0
U61
and
isNat
N
isNatKind
N
mark
s
X
mark
X
active
isNat
x
V1
V2
U31
and
isNatKind
V1
isNatKind
V2
V1
V2
active
isNat
x
V1
V2
isNatKind
V2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
U22
X
active
U22
mark
X
mark
x
X1
X2
x
mark
X1
mark
X2
active
U21
tt
V1
isNat
V1
mark
U11
X1
X2
X3
U11
mark
X1
X2
X3
U61
mark
X
U61
X
x
X1
mark
X2
x
X1
X2
active
isNatKind
s
V1
mark
isNatKind
V1
mark
and
X1
X2
and
mark
X1
X2
U71
X1
X2
mark
X3
U71
X1
X2
X3
active
plus
N
s
M
U51
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
active
U31
tt
V1
V2
U32
isNat
V1
V2
U51
mark
X1
X2
X3
U51
X1
X2
X3
U51
X1
X2
mark
X3
U51
X1
X2
X3
active
x
N
s
M
isNat
N
U11
X1
X2
active
X3
U11
X1
X2
X3
U51
X1
mark
X2
X3
U51
X1
X2
X3
mark
isNat
X
active
isNat
X
mark
U33
X
U33
mark
X
U12
mark
X1
X2
U12
X1
X2
mark
U22
X
U22
mark
X
U33
mark
X
U33
X
x
active
X1
X2
x
X1
X2
U41
mark
X1
X2
U41
X1
X2
U71
X1
active
X2
X3
U71
X1
X2
X3
active
isNat
plus
V1
V2
isNatKind
V1
and
active
X1
X2
and
X1
X2
U21
active
X1
X2
U21
X1
X2
U71
active
X1
X2
X3
U71
X1
X2
X3
U22
active
X
U22
X
active
plus
N
s
M
isNat
M
mark
U51
X1
X2
X3
mark
X1
mark
U31
X1
X2
X3
mark
X1
active
U71
tt
M
N
mark
plus
x
N
M
N
mark
plus
X1
X2
mark
X1
U71
mark
X1
X2
X3
U71
X1
X2
X3
U31
X1
mark
X2
X3
U31
X1
X2
X3
mark
U13
X
U13
mark
X
active
plus
N
s
M
and
isNat
M
isNatKind
M
active
x
N
s
M
U71
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
mark
U33
X
mark
X
U11
X1
X2
mark
X3
U11
X1
X2
X3
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
U31
active
X1
X2
X3
U31
X1
X2
X3
isNat
active
X
isNat
X
s
active
X
s
X
mark
and
X1
X2
mark
X1
active
U71
tt
M
N
plus
x
N
M
N
active
isNatKind
s
V1
isNatKind
V1
U31
mark
X1
X2
X3
U31
X1
X2
X3
active
x
N
s
M
and
isNat
N
isNatKind
N
U12
active
X1
X2
U12
X1
X2
active
x
N
0
and
isNat
N
isNatKind
N
U31
X1
X2
active
X3
U31
X1
X2
X3
active
isNatKind
0
mark
tt
active
and
tt
X
mark
X
plus
mark
X1
X2
plus
X1
X2
U71
X1
mark
X2
X3
U71
X1
X2
X3
active
U22
tt
mark
tt
mark
U11
X1
X2
X3
mark
X1
active
x
N
s
M
isNatKind
N
U32
mark
X1
X2
U32
X1
X2
mark
0
active
0
active
isNat
s
V1
isNatKind
V1
mark
U31
X1
X2
X3
active
U31
mark
X1
X2
X3
active
isNatKind
x
V1
V2
and
isNatKind
V1
isNatKind
V2
isNat
mark
X
isNat
X
mark
x
X1
X2
mark
X1
active
U31
tt
V1
V2
mark
U32
isNat
V1
V2
active
isNat
x
V1
V2
isNatKind
V1
mark
U12
X1
X2
U12
mark
X1
X2
mark
U33
X
active
U33
mark
X
active
isNat
0
mark
tt
active
isNatKind
x
V1
V2
isNatKind
V1
mark
plus
X1
X2
mark
X2
and
mark
X1
X2
and
X1
X2
active
x
N
0
isNatKind
N
U32
active
X1
X2
U32
X1
X2
active
plus
N
s
M
and
isNat
N
isNatKind
N
U21
X1
active
X2
U21
X1
X2
active
U11
tt
V1
V2
isNat
V1
active
U51
tt
M
N
mark
s
plus
N
M
mark
x
X1
X2
active
x
mark
X1
mark
X2
U12
X1
active
X2
U12
X1
X2
U31
X1
active
X2
X3
U31
X1
X2
X3
mark
tt
active
tt
U11
X1
mark
X2
X3
U11
X1
X2
X3
mark
U51
X1
X2
X3
U51
mark
X1
X2
X3
mark
U31
X1
X2
X3
U31
mark
X1
X2
X3
U31
X1
X2
mark
X3
U31
X1
X2
X3
U13
mark
X
U13
X
mark
U41
X1
X2
U41
mark
X1
X2
active
U11
tt
V1
V2
U12
isNat
V1
V2
mark
U21
X1
X2
active
U21
mark
X1
X2
U41
X1
mark
X2
U41
X1
X2
active
U21
tt
V1
mark
U22
isNat
V1
mark
U22
X
mark
X
U32
X1
mark
X2
U32
X1
X2
mark
U12
X1
X2
mark
X1
mark
U32
X1
X2
U32
mark
X1
X2
active
plus
N
0
isNatKind
N
active
isNatKind
plus
V1
V2
isNatKind
V2
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
active
isNat
x
V1
V2
mark
U31
and
isNatKind
V1
isNatKind
V2
V1
V2
active
x
N
0
mark
U61
and
isNat
N
isNatKind
N
mark
plus
X1
X2
plus
mark
X1
mark
X2
U11
X1
active
X2
X3
U11
X1
X2
X3
mark
U41
X1
X2
mark
X1
mark
U71
X1
X2
X3
U71
mark
X1
X2
X3
U32
X1
active
X2
U32
X1
X2
U61
active
X
U61
X
mark
U32
X1
X2
active
U32
mark
X1
X2
U22
mark
X
U22
X
x
mark
X1
X2
x
X1
X2
active
U33
tt
mark
tt
active
isNatKind
x
V1
V2
isNatKind
V2
active
x
N
0
isNat
N
mark
U12
X1
X2
active
U12
mark
X1
X2
active
x
N
s
M
isNatKind
M
plus
X1
mark
X2
plus
X1
X2
active
x
N
s
M
mark
U71
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
mark
U21
X1
X2
U21
mark
X1
X2
U33
active
X
U33
X
active
U51
tt
M
N
plus
N
M
active
plus
N
s
M
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
mark
and
X1
X2
active
and
mark
X1
X2
mark
s
X
active
s
mark
X
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
active
U12
tt
V2
isNat
V2
active
isNatKind
plus
V1
V2
and
isNatKind
V1
isNatKind
V2
mark
isNatKind
X
active
isNatKind
X
active
U12
tt
V2
mark
U13
isNat
V2
active
plus
N
0
and
isNat
N
isNatKind
N
plus
X1
active
X2
plus
X1
X2
active
U61
tt
mark
0
active
U21
tt
V1
U22
isNat
V1
active
isNatKind
plus
V1
V2
isNatKind
V1
mark
x
X1
X2
mark
X2
active
isNat
x
V1
V2
and
isNatKind
V1
isNatKind
V2
U51
active
X1
X2
X3
U51
X1
X2
X3
active
plus
N
0
isNat
N
active
U51
tt
M
N
s
plus
N
M
active
U13
tt
mark
tt
U11
mark
X1
X2
X3
U11
X1
X2
X3
mark
U32
X1
X2
mark
X1
active
x
N
s
M
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
active
isNat
plus
V1
V2
and
isNatKind
V1
isNatKind
V2
active
x
N
s
M
and
isNat
M
isNatKind
M
U51
X1
active
X2
X3
U51
X1
X2
X3
active
isNat
plus
V1
V2
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
active
x
N
s
M
isNat
M
U71
X1
X2
active
X3
U71
X1
X2
X3
and
X1
mark
X2
and
X1
X2
mark
U71
X1
X2
X3
mark
X1
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
true
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
mark
U71
X1
X2
X3
mark
X1
mark
U11
X1
X2
X3
mark
X1
active
and
tt
X
mark
X
mark
U32
X1
X2
mark
X1
mark
and
X1
X2
mark
X1
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
U33
X
mark
X
mark
x
X1
X2
mark
X2
mark
plus
X1
X2
mark
X1
mark
U31
X1
X2
X3
mark
X1
active
U71
tt
M
N
mark
plus
x
N
M
N
active
U12
tt
V2
mark
U13
isNat
V2
mark
U51
X1
X2
X3
mark
X1
mark
isNatKind
X
active
isNatKind
X
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
mark
s
X
active
s
mark
X
mark
and
X1
X2
active
and
mark
X1
X2
active
x
N
s
M
mark
U71
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
mark
isNat
X
active
isNat
X
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
U32
X1
X2
active
U32
mark
X1
X2
mark
U41
X1
X2
mark
X1
active
isNatKind
s
V1
mark
isNatKind
V1
active
isNat
x
V1
V2
mark
U31
and
isNatKind
V1
isNatKind
V2
V1
V2
active
x
N
0
mark
U61
and
isNat
N
isNatKind
N
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
mark
U22
X
active
U22
mark
X
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
U12
X1
X2
mark
X1
active
U21
tt
V1
mark
U22
isNat
V1
mark
U22
X
mark
X
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
mark
s
X
mark
X
active
plus
N
0
mark
U41
and
isNat
N
isNatKind
N
N
active
U32
tt
V2
mark
U33
isNat
V2
mark
U41
X1
X2
active
U41
mark
X1
X2
mark
U21
X1
X2
active
U21
mark
X1
X2
mark
U61
X
mark
X
active
isNatKind
x
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
active
U41
tt
N
mark
N
active
U51
tt
M
N
mark
s
plus
N
M
mark
x
X1
X2
active
x
mark
X1
mark
X2
mark
U13
X
mark
X
mark
plus
X1
X2
mark
X2
mark
U13
X
active
U13
mark
X
mark
U33
X
active
U33
mark
X
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
mark
U61
X
active
U61
mark
X
active
plus
N
s
M
mark
U51
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
active
U31
tt
V1
V2
mark
U32
isNat
V1
V2
mark
x
X1
X2
mark
X1
mark
U31
X1
X2
X3
active
U31
mark
X1
X2
X3
mark
U21
X1
X2
mark
X1
true
U32
2
0
isNatKind
1
2
U21
2
2
U11
3
2
s
1
1
isNat
1
0
U71
3
2
and
2
2
plus
2
0
U13
1
0
U12
2
2
U33
1
0
x
2
2
U12
2
0
mark
1
2
0
0
4
x
2
0
s
1
0
mark
1
3
U32
2
2
U33
1
1
isNat
1
2
plus
2
2
U61
1
1
U51
3
0
U11
3
0
active
1
1
0
U31
3
2
U41
2
0
active
1
1
0
U21
2
0
U22
1
0
tt
0
2335
U71
3
0
U13
1
1
U22
1
1
U51
3
2
isNatKind
1
0
U41
2
2
U31
3
0
and
2
0
U61
1
0
mark
U21
X1
X2
mark
X1
mark
U31
X1
X2
X3
active
U31
mark
X1
X2
X3
mark
x
X1
X2
mark
X1
active
U31
tt
V1
V2
mark
U32
isNat
V1
V2
active
plus
N
s
M
mark
U51
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
mark
plus
X1
X2
mark
X2
mark
U13
X
mark
X
mark
x
X1
X2
active
x
mark
X1
mark
X2
active
U51
tt
M
N
mark
s
plus
N
M
active
U41
tt
N
mark
N
active
isNatKind
x
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
mark
U61
X
mark
X
mark
U21
X1
X2
active
U21
mark
X1
X2
mark
U41
X1
X2
active
U41
mark
X1
X2
active
U32
tt
V2
mark
U33
isNat
V2
active
plus
N
0
mark
U41
and
isNat
N
isNatKind
N
N
mark
s
X
mark
X
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
mark
U22
X
mark
X
active
U21
tt
V1
mark
U22
isNat
V1
mark
U12
X1
X2
mark
X1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
active
x
N
0
mark
U61
and
isNat
N
isNatKind
N
active
isNat
x
V1
V2
mark
U31
and
isNatKind
V1
isNatKind
V2
V1
V2
active
isNatKind
s
V1
mark
isNatKind
V1
mark
U41
X1
X2
mark
X1
mark
U32
X1
X2
active
U32
mark
X1
X2
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
isNat
X
active
isNat
X
active
x
N
s
M
mark
U71
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
mark
and
X1
X2
active
and
mark
X1
X2
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
isNatKind
X
active
isNatKind
X
mark
U51
X1
X2
X3
mark
X1
active
U12
tt
V2
mark
U13
isNat
V2
active
U71
tt
M
N
mark
plus
x
N
M
N
mark
U31
X1
X2
X3
mark
X1
mark
plus
X1
X2
mark
X1
mark
x
X1
X2
mark
X2
mark
U33
X
mark
X
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
and
X1
X2
mark
X1
mark
U32
X1
X2
mark
X1
active
and
tt
X
mark
X
mark
U11
X1
X2
X3
mark
X1
mark
U71
X1
X2
X3
mark
X1
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
U11
X1
active
X2
X3
U11
X1
X2
X3
U41
active
X1
X2
U41
X1
X2
x
active
X1
X2
x
X1
X2
x
X1
mark
X2
x
X1
X2
x
mark
X1
X2
x
X1
X2
U12
active
X1
X2
U12
X1
X2
U33
active
X
U33
X
U31
X1
X2
mark
X3
U31
X1
X2
X3
U51
active
X1
X2
X3
U51
X1
X2
X3
U71
X1
active
X2
X3
U71
X1
X2
X3
x
X1
active
X2
x
X1
X2
U21
X1
active
X2
U21
X1
X2
U21
mark
X1
X2
U21
X1
X2
U51
X1
X2
active
X3
U51
X1
X2
X3
U51
X1
X2
mark
X3
U51
X1
X2
X3
U22
active
X
U22
X
U32
mark
X1
X2
U32
X1
X2
U22
mark
X
U22
X
plus
X1
active
X2
plus
X1
X2
plus
active
X1
X2
plus
X1
X2
s
mark
X
s
X
and
active
X1
X2
and
X1
X2
U11
active
X1
X2
X3
U11
X1
X2
X3
U12
mark
X1
X2
U12
X1
X2
U21
active
X1
X2
U21
X1
X2
and
mark
X1
X2
and
X1
X2
isNatKind
active
X
isNatKind
X
U51
mark
X1
X2
X3
U51
X1
X2
X3
s
active
X
s
X
isNat
mark
X
isNat
X
U41
X1
mark
X2
U41
X1
X2
U71
X1
X2
active
X3
U71
X1
X2
X3
U31
active
X1
X2
X3
U31
X1
X2
X3
U71
mark
X1
X2
X3
U71
X1
X2
X3
U41
mark
X1
X2
U41
X1
X2
U41
X1
active
X2
U41
X1
X2
U31
X1
active
X2
X3
U31
X1
X2
X3
U61
mark
X
U61
X
and
X1
active
X2
and
X1
X2
U33
mark
X
U33
X
isNat
active
X
isNat
X
U71
X1
X2
mark
X3
U71
X1
X2
X3
U11
X1
X2
active
X3
U11
X1
X2
X3
and
X1
mark
X2
and
X1
X2
plus
mark
X1
X2
plus
X1
X2
U31
X1
mark
X2
X3
U31
X1
X2
X3
U12
X1
active
X2
U12
X1
X2
isNatKind
mark
X
isNatKind
X
U13
active
X
U13
X
U21
X1
mark
X2
U21
X1
X2
U13
mark
X
U13
X
U32
active
X1
X2
U32
X1
X2
U32
X1
active
X2
U32
X1
X2
U11
X1
X2
mark
X3
U11
X1
X2
X3
U31
X1
X2
active
X3
U31
X1
X2
X3
U12
X1
mark
X2
U12
X1
X2
U11
X1
mark
X2
X3
U11
X1
X2
X3
U32
X1
mark
X2
U32
X1
X2
plus
X1
mark
X2
plus
X1
X2
U71
X1
mark
X2
X3
U71
X1
X2
X3
U71
active
X1
X2
X3
U71
X1
X2
X3
U61
active
X
U61
X
U11
mark
X1
X2
X3
U11
X1
X2
X3
U31
mark
X1
X2
X3
U31
X1
X2
X3
U51
X1
mark
X2
X3
U51
X1
X2
X3
U51
X1
active
X2
X3
U51
X1
X2
X3
active
U21
tt
V1
mark
U22
isNat
V1
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
active
isNatKind
x
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
mark
U41
X1
X2
mark
X1
mark
U41
X1
X2
active
U41
mark
X1
X2
mark
U11
X1
X2
X3
mark
X1
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
mark
U22
X
mark
X
active
isNat
x
V1
V2
mark
U31
and
isNatKind
V1
isNatKind
V2
V1
V2
mark
U32
X1
X2
mark
X1
mark
U32
X1
X2
active
U32
mark
X1
X2
active
plus
N
0
mark
U41
and
isNat
N
isNatKind
N
N
mark
U12
X1
X2
mark
X1
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
and
X1
X2
mark
X1
mark
and
X1
X2
active
and
mark
X1
X2
mark
U31
X1
X2
X3
mark
X1
mark
U31
X1
X2
X3
active
U31
mark
X1
X2
X3
active
U51
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
U32
tt
V2
mark
U33
isNat
V2
active
isNatKind
s
V1
mark
isNatKind
V1
active
x
N
s
M
mark
U71
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
mark
U13
X
mark
X
mark
U21
X1
X2
mark
X1
mark
U21
X1
X2
active
U21
mark
X1
X2
active
U71
tt
M
N
mark
plus
x
N
M
N
mark
isNatKind
X
active
isNatKind
X
active
plus
N
s
M
mark
U51
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
active
x
N
0
mark
U61
and
isNat
N
isNatKind
N
active
U41
tt
N
mark
N
active
and
tt
X
mark
X
mark
U61
X
mark
X
active
U31
tt
V1
V2
mark
U32
isNat
V1
V2
mark
s
X
mark
X
mark
U51
X1
X2
X3
mark
X1
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
mark
U71
X1
X2
X3
mark
X1
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U33
X
mark
X
mark
isNat
X
active
isNat
X
mark
x
X1
X2
mark
X2
mark
x
X1
X2
mark
X1
mark
x
X1
X2
active
x
mark
X1
mark
X2
active
U12
tt
V2
mark
U13
isNat
V2
true
U32
2
0
isNatKind
1
0
U21
2
1
0
0
U11
3
1
0
0
s
1
1
0
isNat
1
0
U71
3
1
591
2
32872
3
32871
0
and
2
1
0
2
0
0
plus
2
0
U13
1
0
U12
2
1
0
0
U33
1
0
x
2
1
32871
2
32872
0
U12
2
0
mark
1
1
0
0
0
841
x
2
0
s
1
0
mark
1
1
0
U32
2
1
0
0
U33
1
1
0
isNat
1
0
plus
2
1
0
2
592
0
U61
1
1
2447
U51
3
0
U11
3
0
active
1
1
0
U31
3
1
0
0
U41
2
0
active
1
1
0
U21
2
0
U22
1
0
tt
0
0
U71
3
0
U13
1
1
0
U22
1
1
0
U51
3
1
591
2
592
3
0
0
isNatKind
1
0
U41
2
1
1432
2
0
0
U31
3
0
and
2
0
U61
1
0
active
U12
tt
V2
mark
U13
isNat
V2
mark
x
X1
X2
active
x
mark
X1
mark
X2
mark
isNat
X
active
isNat
X
mark
U33
X
mark
X
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
mark
s
X
mark
X
active
U31
tt
V1
V2
mark
U32
isNat
V1
V2
active
and
tt
X
mark
X
active
U41
tt
N
mark
N
active
plus
N
s
M
mark
U51
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
mark
isNatKind
X
active
isNatKind
X
active
U71
tt
M
N
mark
plus
x
N
M
N
mark
U21
X1
X2
active
U21
mark
X1
X2
mark
U21
X1
X2
mark
X1
mark
U13
X
mark
X
active
x
N
s
M
mark
U71
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
active
isNatKind
s
V1
mark
isNatKind
V1
active
U32
tt
V2
mark
U33
isNat
V2
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
plus
X1
X2
mark
X1
active
U51
tt
M
N
mark
s
plus
N
M
mark
U31
X1
X2
X3
active
U31
mark
X1
X2
X3
mark
U31
X1
X2
X3
mark
X1
mark
and
X1
X2
active
and
mark
X1
X2
mark
and
X1
X2
mark
X1
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
U12
X1
X2
mark
X1
active
plus
N
0
mark
U41
and
isNat
N
isNatKind
N
N
mark
U32
X1
X2
active
U32
mark
X1
X2
mark
U32
X1
X2
mark
X1
active
isNat
x
V1
V2
mark
U31
and
isNatKind
V1
isNatKind
V2
V1
V2
mark
U22
X
mark
X
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
U11
X1
X2
X3
mark
X1
mark
U41
X1
X2
active
U41
mark
X1
X2
active
isNatKind
x
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
active
U21
tt
V1
mark
U22
isNat
V1
active
isNatKind
0
mark
tt
U11
X1
active
X2
X3
U11
X1
X2
X3
U41
active
X1
X2
U41
X1
X2
x
active
X1
X2
x
X1
X2
active
U21
tt
V1
mark
U22
isNat
V1
x
X1
mark
X2
x
X1
X2
x
mark
X1
X2
x
X1
X2
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
active
U33
tt
mark
tt
U12
active
X1
X2
U12
X1
X2
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
U33
active
X
U33
X
active
U13
tt
mark
tt
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
active
isNatKind
x
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
mark
U41
X1
X2
active
U41
mark
X1
X2
U31
X1
X2
mark
X3
U31
X1
X2
X3
U51
active
X1
X2
X3
U51
X1
X2
X3
U71
X1
active
X2
X3
U71
X1
X2
X3
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
x
X1
active
X2
x
X1
X2
U21
X1
active
X2
U21
X1
X2
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
mark
U22
X
active
U22
mark
X
active
isNat
x
V1
V2
mark
U31
and
isNatKind
V1
isNatKind
V2
V1
V2
U21
mark
X1
X2
U21
X1
X2
mark
tt
active
tt
U51
X1
X2
active
X3
U51
X1
X2
X3
U51
X1
X2
mark
X3
U51
X1
X2
X3
mark
U32
X1
X2
active
U32
mark
X1
X2
active
plus
N
0
mark
U41
and
isNat
N
isNatKind
N
N
mark
U12
X1
X2
active
U12
mark
X1
X2
U22
active
X
U22
X
mark
and
X1
X2
active
and
mark
X1
X2
active
U22
tt
mark
tt
U32
mark
X1
X2
U32
X1
X2
mark
U31
X1
X2
X3
active
U31
mark
X1
X2
X3
U22
mark
X
U22
X
plus
X1
active
X2
plus
X1
X2
plus
active
X1
X2
plus
X1
X2
active
U51
tt
M
N
mark
s
plus
N
M
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
U32
tt
V2
mark
U33
isNat
V2
s
mark
X
s
X
active
isNatKind
s
V1
mark
isNatKind
V1
and
active
X1
X2
and
X1
X2
active
x
N
s
M
mark
U71
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
U11
active
X1
X2
X3
U11
X1
X2
X3
U12
mark
X1
X2
U12
X1
X2
mark
U13
X
active
U13
mark
X
U21
active
X1
X2
U21
X1
X2
and
mark
X1
X2
and
X1
X2
active
isNat
0
mark
tt
isNatKind
active
X
isNatKind
X
U51
mark
X1
X2
X3
U51
X1
X2
X3
s
active
X
s
X
isNat
mark
X
isNat
X
U41
X1
mark
X2
U41
X1
X2
mark
U21
X1
X2
active
U21
mark
X1
X2
active
U71
tt
M
N
mark
plus
x
N
M
N
U71
X1
X2
active
X3
U71
X1
X2
X3
U31
active
X1
X2
X3
U31
X1
X2
X3
U71
mark
X1
X2
X3
U71
X1
X2
X3
mark
isNatKind
X
active
isNatKind
X
U41
mark
X1
X2
U41
X1
X2
U41
X1
active
X2
U41
X1
X2
active
plus
N
s
M
mark
U51
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
U31
X1
active
X2
X3
U31
X1
X2
X3
active
x
N
0
mark
U61
and
isNat
N
isNatKind
N
U61
mark
X
U61
X
and
X1
active
X2
and
X1
X2
U33
mark
X
U33
X
isNat
active
X
isNat
X
U71
X1
X2
mark
X3
U71
X1
X2
X3
active
U61
tt
mark
0
active
U41
tt
N
mark
N
active
and
tt
X
mark
X
U11
X1
X2
active
X3
U11
X1
X2
X3
and
X1
mark
X2
and
X1
X2
plus
mark
X1
X2
plus
X1
X2
mark
U61
X
active
U61
mark
X
U31
X1
mark
X2
X3
U31
X1
X2
X3
U12
X1
active
X2
U12
X1
X2
isNatKind
mark
X
isNatKind
X
U13
active
X
U13
X
active
U31
tt
V1
V2
mark
U32
isNat
V1
V2
mark
s
X
active
s
mark
X
U21
X1
mark
X2
U21
X1
X2
U13
mark
X
U13
X
U32
active
X1
X2
U32
X1
X2
U32
X1
active
X2
U32
X1
X2
U11
X1
X2
mark
X3
U11
X1
X2
X3
U31
X1
X2
active
X3
U31
X1
X2
X3
U12
X1
mark
X2
U12
X1
X2
U11
X1
mark
X2
X3
U11
X1
X2
X3
U32
X1
mark
X2
U32
X1
X2
plus
X1
mark
X2
plus
X1
X2
U71
X1
mark
X2
X3
U71
X1
X2
X3
U71
active
X1
X2
X3
U71
X1
X2
X3
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
mark
0
active
0
U61
active
X
U61
X
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
U11
mark
X1
X2
X3
U11
X1
X2
X3
U31
mark
X1
X2
X3
U31
X1
X2
X3
U51
X1
mark
X2
X3
U51
X1
X2
X3
mark
U33
X
active
U33
mark
X
mark
isNat
X
active
isNat
X
mark
x
X1
X2
active
x
mark
X1
mark
X2
U51
X1
active
X2
X3
U51
X1
X2
X3
active
U12
tt
V2
mark
U13
isNat
V2
active
U21
tt
V1
mark
U22
isNat
V1
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
active
isNatKind
x
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
mark
U41
X1
X2
active
U41
mark
X1
X2
mark
U11
X1
X2
X3
mark
X1
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
mark
U22
X
mark
X
active
isNat
x
V1
V2
mark
U31
and
isNatKind
V1
isNatKind
V2
V1
V2
mark
U32
X1
X2
mark
X1
mark
U32
X1
X2
active
U32
mark
X1
X2
active
plus
N
0
mark
U41
and
isNat
N
isNatKind
N
N
mark
U12
X1
X2
mark
X1
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
and
X1
X2
mark
X1
mark
and
X1
X2
active
and
mark
X1
X2
mark
U31
X1
X2
X3
mark
X1
mark
U31
X1
X2
X3
active
U31
mark
X1
X2
X3
active
U51
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
U32
tt
V2
mark
U33
isNat
V2
active
isNatKind
s
V1
mark
isNatKind
V1
active
x
N
s
M
mark
U71
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
mark
U13
X
mark
X
mark
U21
X1
X2
mark
X1
mark
U21
X1
X2
active
U21
mark
X1
X2
active
U71
tt
M
N
mark
plus
x
N
M
N
mark
isNatKind
X
active
isNatKind
X
active
plus
N
s
M
mark
U51
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
active
U41
tt
N
mark
N
active
and
tt
X
mark
X
active
U31
tt
V1
V2
mark
U32
isNat
V1
V2
mark
s
X
mark
X
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U33
X
mark
X
mark
isNat
X
active
isNat
X
mark
x
X1
X2
active
x
mark
X1
mark
X2
active
U12
tt
V2
mark
U13
isNat
V2
true
U32
2
0
isNatKind
1
1
1
U21
2
1
0
2
1
0
U11
3
1
0
2
1
3
1
0
s
1
1
0
isNat
1
0
U71
3
2
1
3
0
0
and
2
1
0
2
0
0
plus
2
0
U13
1
0
U12
2
1
0
2
1
0
U33
1
0
x
2
1
0
2
1
0
U12
2
0
mark
1
1
0
0
0
1
x
2
0
s
1
0
mark
1
1
0
U32
2
1
0
2
2
0
U33
1
1
0
isNat
1
1
1
plus
2
1
0
2
0
0
U61
1
1
U51
3
0
U11
3
0
active
1
1
0
U31
3
1
0
2
1
3
2
0
U41
2
0
active
1
1
0
U21
2
0
U22
1
0
tt
0
2
U71
3
0
U13
1
1
0
U22
1
1
0
U51
3
2
0
3
0
0
isNatKind
1
0
U41
2
2
0
0
U31
3
0
and
2
0
U61
1
0
active
U12
tt
V2
mark
U13
isNat
V2
mark
x
X1
X2
active
x
mark
X1
mark
X2
mark
isNat
X
active
isNat
X
mark
U33
X
mark
X
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
mark
s
X
mark
X
active
U31
tt
V1
V2
mark
U32
isNat
V1
V2
active
and
tt
X
mark
X
active
U41
tt
N
mark
N
active
plus
N
s
M
mark
U51
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
mark
isNatKind
X
active
isNatKind
X
active
U71
tt
M
N
mark
plus
x
N
M
N
mark
U21
X1
X2
active
U21
mark
X1
X2
mark
U21
X1
X2
mark
X1
mark
U13
X
mark
X
active
x
N
s
M
mark
U71
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
active
isNatKind
s
V1
mark
isNatKind
V1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
plus
X1
X2
mark
X1
active
U51
tt
M
N
mark
s
plus
N
M
mark
U31
X1
X2
X3
active
U31
mark
X1
X2
X3
mark
U31
X1
X2
X3
mark
X1
mark
and
X1
X2
active
and
mark
X1
X2
mark
and
X1
X2
mark
X1
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
U12
X1
X2
mark
X1
active
plus
N
0
mark
U41
and
isNat
N
isNatKind
N
N
mark
U32
X1
X2
active
U32
mark
X1
X2
mark
U32
X1
X2
mark
X1
active
isNat
x
V1
V2
mark
U31
and
isNatKind
V1
isNatKind
V2
V1
V2
mark
U22
X
mark
X
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
U11
X1
X2
X3
mark
X1
mark
U41
X1
X2
active
U41
mark
X1
X2
active
isNatKind
x
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
active
U21
tt
V1
mark
U22
isNat
V1
active
isNatKind
0
mark
tt
U11
X1
active
X2
X3
U11
X1
X2
X3
U41
active
X1
X2
U41
X1
X2
x
active
X1
X2
x
X1
X2
active
U21
tt
V1
mark
U22
isNat
V1
x
X1
mark
X2
x
X1
X2
x
mark
X1
X2
x
X1
X2
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
active
U33
tt
mark
tt
U12
active
X1
X2
U12
X1
X2
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
U33
active
X
U33
X
active
U13
tt
mark
tt
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
active
isNatKind
x
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
mark
U41
X1
X2
active
U41
mark
X1
X2
U31
X1
X2
mark
X3
U31
X1
X2
X3
U51
active
X1
X2
X3
U51
X1
X2
X3
U71
X1
active
X2
X3
U71
X1
X2
X3
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
x
X1
active
X2
x
X1
X2
U21
X1
active
X2
U21
X1
X2
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
mark
U22
X
active
U22
mark
X
active
isNat
x
V1
V2
mark
U31
and
isNatKind
V1
isNatKind
V2
V1
V2
U21
mark
X1
X2
U21
X1
X2
mark
tt
active
tt
U51
X1
X2
active
X3
U51
X1
X2
X3
U51
X1
X2
mark
X3
U51
X1
X2
X3
mark
U32
X1
X2
active
U32
mark
X1
X2
active
plus
N
0
mark
U41
and
isNat
N
isNatKind
N
N
mark
U12
X1
X2
active
U12
mark
X1
X2
U22
active
X
U22
X
mark
and
X1
X2
active
and
mark
X1
X2
active
U22
tt
mark
tt
U32
mark
X1
X2
U32
X1
X2
mark
U31
X1
X2
X3
active
U31
mark
X1
X2
X3
U22
mark
X
U22
X
plus
X1
active
X2
plus
X1
X2
plus
active
X1
X2
plus
X1
X2
active
U51
tt
M
N
mark
s
plus
N
M
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
U32
tt
V2
mark
U33
isNat
V2
s
mark
X
s
X
active
isNatKind
s
V1
mark
isNatKind
V1
and
active
X1
X2
and
X1
X2
active
x
N
s
M
mark
U71
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
U11
active
X1
X2
X3
U11
X1
X2
X3
U12
mark
X1
X2
U12
X1
X2
mark
U13
X
active
U13
mark
X
U21
active
X1
X2
U21
X1
X2
and
mark
X1
X2
and
X1
X2
active
isNat
0
mark
tt
isNatKind
active
X
isNatKind
X
U51
mark
X1
X2
X3
U51
X1
X2
X3
s
active
X
s
X
isNat
mark
X
isNat
X
U41
X1
mark
X2
U41
X1
X2
mark
U21
X1
X2
active
U21
mark
X1
X2
active
U71
tt
M
N
mark
plus
x
N
M
N
U71
X1
X2
active
X3
U71
X1
X2
X3
U31
active
X1
X2
X3
U31
X1
X2
X3
U71
mark
X1
X2
X3
U71
X1
X2
X3
mark
isNatKind
X
active
isNatKind
X
U41
mark
X1
X2
U41
X1
X2
U41
X1
active
X2
U41
X1
X2
active
plus
N
s
M
mark
U51
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
U31
X1
active
X2
X3
U31
X1
X2
X3
active
x
N
0
mark
U61
and
isNat
N
isNatKind
N
U61
mark
X
U61
X
and
X1
active
X2
and
X1
X2
U33
mark
X
U33
X
isNat
active
X
isNat
X
U71
X1
X2
mark
X3
U71
X1
X2
X3
active
U61
tt
mark
0
active
U41
tt
N
mark
N
active
and
tt
X
mark
X
U11
X1
X2
active
X3
U11
X1
X2
X3
and
X1
mark
X2
and
X1
X2
plus
mark
X1
X2
plus
X1
X2
mark
U61
X
active
U61
mark
X
U31
X1
mark
X2
X3
U31
X1
X2
X3
U12
X1
active
X2
U12
X1
X2
isNatKind
mark
X
isNatKind
X
U13
active
X
U13
X
active
U31
tt
V1
V2
mark
U32
isNat
V1
V2
mark
s
X
active
s
mark
X
U21
X1
mark
X2
U21
X1
X2
U13
mark
X
U13
X
U32
active
X1
X2
U32
X1
X2
U32
X1
active
X2
U32
X1
X2
U11
X1
X2
mark
X3
U11
X1
X2
X3
U31
X1
X2
active
X3
U31
X1
X2
X3
U12
X1
mark
X2
U12
X1
X2
U11
X1
mark
X2
X3
U11
X1
X2
X3
U32
X1
mark
X2
U32
X1
X2
plus
X1
mark
X2
plus
X1
X2
U71
X1
mark
X2
X3
U71
X1
X2
X3
U71
active
X1
X2
X3
U71
X1
X2
X3
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
mark
0
active
0
U61
active
X
U61
X
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
U11
mark
X1
X2
X3
U11
X1
X2
X3
U31
mark
X1
X2
X3
U31
X1
X2
X3
U51
X1
mark
X2
X3
U51
X1
X2
X3
mark
U33
X
active
U33
mark
X
mark
isNat
X
active
isNat
X
mark
x
X1
X2
active
x
mark
X1
mark
X2
U51
X1
active
X2
X3
U51
X1
X2
X3
active
U12
tt
V2
mark
U13
isNat
V2
active
U21
tt
V1
mark
U22
isNat
V1
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
active
isNatKind
x
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
mark
U41
X1
X2
active
U41
mark
X1
X2
mark
U11
X1
X2
X3
mark
X1
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
mark
U22
X
mark
X
active
isNat
x
V1
V2
mark
U31
and
isNatKind
V1
isNatKind
V2
V1
V2
mark
U32
X1
X2
mark
X1
mark
U32
X1
X2
active
U32
mark
X1
X2
active
plus
N
0
mark
U41
and
isNat
N
isNatKind
N
N
mark
U12
X1
X2
mark
X1
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
and
X1
X2
mark
X1
mark
and
X1
X2
active
and
mark
X1
X2
mark
U31
X1
X2
X3
mark
X1
mark
U31
X1
X2
X3
active
U31
mark
X1
X2
X3
active
U51
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
isNatKind
s
V1
mark
isNatKind
V1
active
x
N
s
M
mark
U71
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
mark
U13
X
mark
X
mark
U21
X1
X2
mark
X1
mark
U21
X1
X2
active
U21
mark
X1
X2
active
U71
tt
M
N
mark
plus
x
N
M
N
mark
isNatKind
X
active
isNatKind
X
active
plus
N
s
M
mark
U51
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
active
U41
tt
N
mark
N
active
and
tt
X
mark
X
active
U31
tt
V1
V2
mark
U32
isNat
V1
V2
mark
s
X
mark
X
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U33
X
mark
X
mark
isNat
X
active
isNat
X
mark
x
X1
X2
active
x
mark
X1
mark
X2
active
U12
tt
V2
mark
U13
isNat
V2
true
U32
2
0
isNatKind
1
20695
U21
2
20695
U11
3
20695
s
1
1
isNat
1
0
U71
3
20695
and
2
20695
plus
2
0
U13
1
0
U12
2
20695
U33
1
0
x
2
20695
U12
2
0
mark
1
20695
0
0
1
x
2
0
s
1
0
mark
1
1
U32
2
1
U33
1
2
isNat
1
20695
plus
2
20695
U61
1
6
U51
3
0
U11
3
0
active
1
2
U31
3
20695
U41
2
0
active
1
1
0
U21
2
0
U22
1
0
tt
0
1
U71
3
0
U13
1
1
U22
1
1
U51
3
20695
isNatKind
1
0
U41
2
20695
U31
3
0
and
2
0
U61
1
0
active
U12
tt
V2
mark
U13
isNat
V2
mark
x
X1
X2
active
x
mark
X1
mark
X2
mark
isNat
X
active
isNat
X
mark
U33
X
mark
X
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
mark
s
X
mark
X
active
U31
tt
V1
V2
mark
U32
isNat
V1
V2
active
and
tt
X
mark
X
active
U41
tt
N
mark
N
active
plus
N
s
M
mark
U51
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
mark
isNatKind
X
active
isNatKind
X
active
U71
tt
M
N
mark
plus
x
N
M
N
mark
U21
X1
X2
active
U21
mark
X1
X2
mark
U21
X1
X2
mark
X1
mark
U13
X
mark
X
active
x
N
s
M
mark
U71
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
active
isNatKind
s
V1
mark
isNatKind
V1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
plus
X1
X2
mark
X1
active
U51
tt
M
N
mark
s
plus
N
M
mark
U31
X1
X2
X3
active
U31
mark
X1
X2
X3
mark
U31
X1
X2
X3
mark
X1
mark
and
X1
X2
active
and
mark
X1
X2
mark
and
X1
X2
mark
X1
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
U12
X1
X2
mark
X1
active
plus
N
0
mark
U41
and
isNat
N
isNatKind
N
N
mark
U32
X1
X2
mark
X1
active
isNat
x
V1
V2
mark
U31
and
isNatKind
V1
isNatKind
V2
V1
V2
mark
U22
X
mark
X
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
U11
X1
X2
X3
mark
X1
mark
U41
X1
X2
active
U41
mark
X1
X2
active
isNatKind
x
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
active
U21
tt
V1
mark
U22
isNat
V1
U11
X1
active
X2
X3
U11
X1
X2
X3
U41
active
X1
X2
U41
X1
X2
x
active
X1
X2
x
X1
X2
x
X1
mark
X2
x
X1
X2
x
mark
X1
X2
x
X1
X2
U12
active
X1
X2
U12
X1
X2
U33
active
X
U33
X
U31
X1
X2
mark
X3
U31
X1
X2
X3
U51
active
X1
X2
X3
U51
X1
X2
X3
U71
X1
active
X2
X3
U71
X1
X2
X3
x
X1
active
X2
x
X1
X2
U21
X1
active
X2
U21
X1
X2
U21
mark
X1
X2
U21
X1
X2
U51
X1
X2
active
X3
U51
X1
X2
X3
U51
X1
X2
mark
X3
U51
X1
X2
X3
U22
active
X
U22
X
U32
mark
X1
X2
U32
X1
X2
U22
mark
X
U22
X
plus
X1
active
X2
plus
X1
X2
plus
active
X1
X2
plus
X1
X2
s
mark
X
s
X
and
active
X1
X2
and
X1
X2
U11
active
X1
X2
X3
U11
X1
X2
X3
U12
mark
X1
X2
U12
X1
X2
U21
active
X1
X2
U21
X1
X2
and
mark
X1
X2
and
X1
X2
isNatKind
active
X
isNatKind
X
U51
mark
X1
X2
X3
U51
X1
X2
X3
s
active
X
s
X
isNat
mark
X
isNat
X
U41
X1
mark
X2
U41
X1
X2
U71
X1
X2
active
X3
U71
X1
X2
X3
U31
active
X1
X2
X3
U31
X1
X2
X3
U71
mark
X1
X2
X3
U71
X1
X2
X3
U41
mark
X1
X2
U41
X1
X2
U41
X1
active
X2
U41
X1
X2
U31
X1
active
X2
X3
U31
X1
X2
X3
U61
mark
X
U61
X
and
X1
active
X2
and
X1
X2
U33
mark
X
U33
X
isNat
active
X
isNat
X
U71
X1
X2
mark
X3
U71
X1
X2
X3
U11
X1
X2
active
X3
U11
X1
X2
X3
and
X1
mark
X2
and
X1
X2
plus
mark
X1
X2
plus
X1
X2
U31
X1
mark
X2
X3
U31
X1
X2
X3
U12
X1
active
X2
U12
X1
X2
isNatKind
mark
X
isNatKind
X
U13
active
X
U13
X
U21
X1
mark
X2
U21
X1
X2
U13
mark
X
U13
X
U32
active
X1
X2
U32
X1
X2
U32
X1
active
X2
U32
X1
X2
U11
X1
X2
mark
X3
U11
X1
X2
X3
U31
X1
X2
active
X3
U31
X1
X2
X3
U12
X1
mark
X2
U12
X1
X2
U11
X1
mark
X2
X3
U11
X1
X2
X3
U32
X1
mark
X2
U32
X1
X2
plus
X1
mark
X2
plus
X1
X2
U71
X1
mark
X2
X3
U71
X1
X2
X3
U71
active
X1
X2
X3
U71
X1
X2
X3
U61
active
X
U61
X
U11
mark
X1
X2
X3
U11
X1
X2
X3
U31
mark
X1
X2
X3
U31
X1
X2
X3
U51
X1
mark
X2
X3
U51
X1
X2
X3
U51
X1
active
X2
X3
U51
X1
X2
X3
active
U21
tt
V1
mark
U22
isNat
V1
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
active
isNatKind
x
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
mark
U41
X1
X2
active
U41
mark
X1
X2
mark
U11
X1
X2
X3
mark
X1
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
mark
U22
X
mark
X
active
isNat
x
V1
V2
mark
U31
and
isNatKind
V1
isNatKind
V2
V1
V2
mark
U32
X1
X2
mark
X1
active
plus
N
0
mark
U41
and
isNat
N
isNatKind
N
N
mark
U12
X1
X2
mark
X1
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
and
X1
X2
mark
X1
mark
and
X1
X2
active
and
mark
X1
X2
mark
U31
X1
X2
X3
mark
X1
mark
U31
X1
X2
X3
active
U31
mark
X1
X2
X3
active
U51
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
isNatKind
s
V1
mark
isNatKind
V1
active
x
N
s
M
mark
U71
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
mark
U13
X
mark
X
mark
U21
X1
X2
mark
X1
mark
U21
X1
X2
active
U21
mark
X1
X2
active
U71
tt
M
N
mark
plus
x
N
M
N
mark
isNatKind
X
active
isNatKind
X
active
plus
N
s
M
mark
U51
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
active
U41
tt
N
mark
N
active
and
tt
X
mark
X
active
U31
tt
V1
V2
mark
U32
isNat
V1
V2
mark
s
X
mark
X
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U33
X
mark
X
mark
isNat
X
active
isNat
X
mark
x
X1
X2
active
x
mark
X1
mark
X2
active
U12
tt
V2
mark
U13
isNat
V2
true
U32
2
0
isNatKind
1
1
10066
U21
2
1
3
2
10072
0
U11
3
1
1
2
10072
3
19964
0
s
1
1
0
isNat
1
0
U71
3
1
39698
2
49773
3
49775
0
and
2
1
0
2
4
0
plus
2
0
U13
1
0
U12
2
1
0
2
10074
0
U33
1
0
x
2
1
49775
2
49773
0
U12
2
0
mark
1
1
0
0
0
8
x
2
0
s
1
0
mark
1
1
0
U32
2
1
9134
2
19206
0
U33
1
1
2
isNat
1
1
10072
plus
2
1
0
2
9893
0
U61
1
49776
U51
3
0
U11
3
0
active
1
1
0
U31
3
1
9133
2
19207
3
19208
0
U41
2
0
active
1
1
0
U21
2
0
U22
1
0
tt
0
10074
U71
3
0
U13
1
1
1
U22
1
1
0
U51
3
2
9893
3
0
0
isNatKind
1
0
U41
2
2
0
0
U31
3
0
and
2
0
U61
1
0
mark
x
X1
X2
active
x
mark
X1
mark
X2
mark
isNat
X
active
isNat
X
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
mark
s
X
mark
X
active
U41
tt
N
mark
N
active
plus
N
s
M
mark
U51
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
mark
isNatKind
X
active
isNatKind
X
active
U71
tt
M
N
mark
plus
x
N
M
N
mark
U21
X1
X2
active
U21
mark
X1
X2
active
x
N
s
M
mark
U71
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
active
isNatKind
s
V1
mark
isNatKind
V1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
plus
X1
X2
mark
X1
active
U51
tt
M
N
mark
s
plus
N
M
mark
U31
X1
X2
X3
active
U31
mark
X1
X2
X3
mark
and
X1
X2
active
and
mark
X1
X2
mark
and
X1
X2
mark
X1
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
U12
X1
X2
mark
X1
active
plus
N
0
mark
U41
and
isNat
N
isNatKind
N
N
mark
U22
X
mark
X
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
U41
X1
X2
active
U41
mark
X1
X2
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
active
U21
tt
V1
mark
U22
isNat
V1
active
isNatKind
0
mark
tt
U11
X1
active
X2
X3
U11
X1
X2
X3
U41
active
X1
X2
U41
X1
X2
x
active
X1
X2
x
X1
X2
active
U21
tt
V1
mark
U22
isNat
V1
x
X1
mark
X2
x
X1
X2
x
mark
X1
X2
x
X1
X2
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
active
U33
tt
mark
tt
U12
active
X1
X2
U12
X1
X2
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
U33
active
X
U33
X
active
U13
tt
mark
tt
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
active
isNatKind
x
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
mark
U41
X1
X2
active
U41
mark
X1
X2
U31
X1
X2
mark
X3
U31
X1
X2
X3
U51
active
X1
X2
X3
U51
X1
X2
X3
U71
X1
active
X2
X3
U71
X1
X2
X3
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
x
X1
active
X2
x
X1
X2
U21
X1
active
X2
U21
X1
X2
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
mark
U22
X
active
U22
mark
X
active
isNat
x
V1
V2
mark
U31
and
isNatKind
V1
isNatKind
V2
V1
V2
U21
mark
X1
X2
U21
X1
X2
mark
tt
active
tt
U51
X1
X2
active
X3
U51
X1
X2
X3
U51
X1
X2
mark
X3
U51
X1
X2
X3
mark
U32
X1
X2
active
U32
mark
X1
X2
active
plus
N
0
mark
U41
and
isNat
N
isNatKind
N
N
mark
U12
X1
X2
active
U12
mark
X1
X2
U22
active
X
U22
X
mark
and
X1
X2
active
and
mark
X1
X2
active
U22
tt
mark
tt
U32
mark
X1
X2
U32
X1
X2
mark
U31
X1
X2
X3
active
U31
mark
X1
X2
X3
U22
mark
X
U22
X
plus
X1
active
X2
plus
X1
X2
plus
active
X1
X2
plus
X1
X2
active
U51
tt
M
N
mark
s
plus
N
M
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
U32
tt
V2
mark
U33
isNat
V2
s
mark
X
s
X
active
isNatKind
s
V1
mark
isNatKind
V1
and
active
X1
X2
and
X1
X2
active
x
N
s
M
mark
U71
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
U11
active
X1
X2
X3
U11
X1
X2
X3
U12
mark
X1
X2
U12
X1
X2
mark
U13
X
active
U13
mark
X
U21
active
X1
X2
U21
X1
X2
and
mark
X1
X2
and
X1
X2
active
isNat
0
mark
tt
isNatKind
active
X
isNatKind
X
U51
mark
X1
X2
X3
U51
X1
X2
X3
s
active
X
s
X
isNat
mark
X
isNat
X
U41
X1
mark
X2
U41
X1
X2
mark
U21
X1
X2
active
U21
mark
X1
X2
active
U71
tt
M
N
mark
plus
x
N
M
N
U71
X1
X2
active
X3
U71
X1
X2
X3
U31
active
X1
X2
X3
U31
X1
X2
X3
U71
mark
X1
X2
X3
U71
X1
X2
X3
mark
isNatKind
X
active
isNatKind
X
U41
mark
X1
X2
U41
X1
X2
U41
X1
active
X2
U41
X1
X2
active
plus
N
s
M
mark
U51
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
U31
X1
active
X2
X3
U31
X1
X2
X3
active
x
N
0
mark
U61
and
isNat
N
isNatKind
N
U61
mark
X
U61
X
and
X1
active
X2
and
X1
X2
U33
mark
X
U33
X
isNat
active
X
isNat
X
U71
X1
X2
mark
X3
U71
X1
X2
X3
active
U61
tt
mark
0
active
U41
tt
N
mark
N
active
and
tt
X
mark
X
U11
X1
X2
active
X3
U11
X1
X2
X3
and
X1
mark
X2
and
X1
X2
plus
mark
X1
X2
plus
X1
X2
mark
U61
X
active
U61
mark
X
U31
X1
mark
X2
X3
U31
X1
X2
X3
U12
X1
active
X2
U12
X1
X2
isNatKind
mark
X
isNatKind
X
U13
active
X
U13
X
active
U31
tt
V1
V2
mark
U32
isNat
V1
V2
mark
s
X
active
s
mark
X
U21
X1
mark
X2
U21
X1
X2
U13
mark
X
U13
X
U32
active
X1
X2
U32
X1
X2
U32
X1
active
X2
U32
X1
X2
U11
X1
X2
mark
X3
U11
X1
X2
X3
U31
X1
X2
active
X3
U31
X1
X2
X3
U12
X1
mark
X2
U12
X1
X2
U11
X1
mark
X2
X3
U11
X1
X2
X3
U32
X1
mark
X2
U32
X1
X2
plus
X1
mark
X2
plus
X1
X2
U71
X1
mark
X2
X3
U71
X1
X2
X3
U71
active
X1
X2
X3
U71
X1
X2
X3
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
mark
0
active
0
U61
active
X
U61
X
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
U11
mark
X1
X2
X3
U11
X1
X2
X3
U31
mark
X1
X2
X3
U31
X1
X2
X3
U51
X1
mark
X2
X3
U51
X1
X2
X3
mark
U33
X
active
U33
mark
X
mark
isNat
X
active
isNat
X
mark
x
X1
X2
active
x
mark
X1
mark
X2
U51
X1
active
X2
X3
U51
X1
X2
X3
active
U12
tt
V2
mark
U13
isNat
V2
active
U21
tt
V1
mark
U22
isNat
V1
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
mark
U41
X1
X2
active
U41
mark
X1
X2
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
mark
U22
X
mark
X
active
plus
N
0
mark
U41
and
isNat
N
isNatKind
N
N
mark
U12
X1
X2
mark
X1
mark
U12
X1
X2
active
U12
mark
X1
X2
mark
and
X1
X2
mark
X1
mark
and
X1
X2
active
and
mark
X1
X2
mark
U31
X1
X2
X3
active
U31
mark
X1
X2
X3
active
U51
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
isNatKind
s
V1
mark
isNatKind
V1
active
x
N
s
M
mark
U71
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
mark
U21
X1
X2
active
U21
mark
X1
X2
active
U71
tt
M
N
mark
plus
x
N
M
N
mark
isNatKind
X
active
isNatKind
X
active
plus
N
s
M
mark
U51
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
active
U41
tt
N
mark
N
mark
s
X
mark
X
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
isNat
X
active
isNat
X
mark
x
X1
X2
active
x
mark
X1
mark
X2
true
U32
2
0
isNatKind
1
51803
U21
2
51803
U11
3
51803
s
1
1
isNat
1
0
U71
3
51803
and
2
5662
plus
2
0
U13
1
0
U12
2
51802
U33
1
0
x
2
51803
U12
2
0
mark
1
51803
0
0
1
x
2
0
s
1
0
mark
1
1
U32
2
4
U33
1
1
isNat
1
51803
plus
2
51803
U61
1
6
U51
3
0
U11
3
0
active
1
2
U31
3
33105
U41
2
0
active
1
1
0
U21
2
0
U22
1
0
tt
0
1
U71
3
0
U13
1
1
U22
1
1
U51
3
51803
isNatKind
1
0
U41
2
51803
U31
3
0
and
2
0
U61
1
0
mark
x
X1
X2
active
x
mark
X1
mark
X2
mark
isNat
X
active
isNat
X
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
mark
s
X
mark
X
active
U41
tt
N
mark
N
active
plus
N
s
M
mark
U51
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
mark
isNatKind
X
active
isNatKind
X
active
U71
tt
M
N
mark
plus
x
N
M
N
mark
U21
X1
X2
active
U21
mark
X1
X2
active
x
N
s
M
mark
U71
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
active
isNatKind
s
V1
mark
isNatKind
V1
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
mark
plus
X1
X2
mark
X1
active
U51
tt
M
N
mark
s
plus
N
M
mark
and
X1
X2
mark
X1
mark
U12
X1
X2
mark
X1
active
plus
N
0
mark
U41
and
isNat
N
isNatKind
N
N
mark
U22
X
mark
X
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
U41
X1
X2
active
U41
mark
X1
X2
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
active
U21
tt
V1
mark
U22
isNat
V1
U11
X1
active
X2
X3
U11
X1
X2
X3
U41
active
X1
X2
U41
X1
X2
x
active
X1
X2
x
X1
X2
x
X1
mark
X2
x
X1
X2
x
mark
X1
X2
x
X1
X2
U12
active
X1
X2
U12
X1
X2
U33
active
X
U33
X
U31
X1
X2
mark
X3
U31
X1
X2
X3
U51
active
X1
X2
X3
U51
X1
X2
X3
U71
X1
active
X2
X3
U71
X1
X2
X3
x
X1
active
X2
x
X1
X2
U21
X1
active
X2
U21
X1
X2
U21
mark
X1
X2
U21
X1
X2
U51
X1
X2
active
X3
U51
X1
X2
X3
U51
X1
X2
mark
X3
U51
X1
X2
X3
U22
active
X
U22
X
U32
mark
X1
X2
U32
X1
X2
U22
mark
X
U22
X
plus
X1
active
X2
plus
X1
X2
plus
active
X1
X2
plus
X1
X2
s
mark
X
s
X
and
active
X1
X2
and
X1
X2
U11
active
X1
X2
X3
U11
X1
X2
X3
U12
mark
X1
X2
U12
X1
X2
U21
active
X1
X2
U21
X1
X2
and
mark
X1
X2
and
X1
X2
isNatKind
active
X
isNatKind
X
U51
mark
X1
X2
X3
U51
X1
X2
X3
s
active
X
s
X
isNat
mark
X
isNat
X
U41
X1
mark
X2
U41
X1
X2
U71
X1
X2
active
X3
U71
X1
X2
X3
U31
active
X1
X2
X3
U31
X1
X2
X3
U71
mark
X1
X2
X3
U71
X1
X2
X3
U41
mark
X1
X2
U41
X1
X2
U41
X1
active
X2
U41
X1
X2
U31
X1
active
X2
X3
U31
X1
X2
X3
U61
mark
X
U61
X
and
X1
active
X2
and
X1
X2
U33
mark
X
U33
X
isNat
active
X
isNat
X
U71
X1
X2
mark
X3
U71
X1
X2
X3
U11
X1
X2
active
X3
U11
X1
X2
X3
and
X1
mark
X2
and
X1
X2
plus
mark
X1
X2
plus
X1
X2
U31
X1
mark
X2
X3
U31
X1
X2
X3
U12
X1
active
X2
U12
X1
X2
isNatKind
mark
X
isNatKind
X
U13
active
X
U13
X
U21
X1
mark
X2
U21
X1
X2
U13
mark
X
U13
X
U32
active
X1
X2
U32
X1
X2
U32
X1
active
X2
U32
X1
X2
U11
X1
X2
mark
X3
U11
X1
X2
X3
U31
X1
X2
active
X3
U31
X1
X2
X3
U12
X1
mark
X2
U12
X1
X2
U11
X1
mark
X2
X3
U11
X1
X2
X3
U32
X1
mark
X2
U32
X1
X2
plus
X1
mark
X2
plus
X1
X2
U71
X1
mark
X2
X3
U71
X1
X2
X3
U71
active
X1
X2
X3
U71
X1
X2
X3
U61
active
X
U61
X
U11
mark
X1
X2
X3
U11
X1
X2
X3
U31
mark
X1
X2
X3
U31
X1
X2
X3
U51
X1
mark
X2
X3
U51
X1
X2
X3
U51
X1
active
X2
X3
U51
X1
X2
X3
active
U21
tt
V1
mark
U22
isNat
V1
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
mark
U41
X1
X2
active
U41
mark
X1
X2
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
mark
U22
X
mark
X
active
plus
N
0
mark
U41
and
isNat
N
isNatKind
N
N
mark
U12
X1
X2
mark
X1
mark
and
X1
X2
mark
X1
active
U51
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
isNatKind
s
V1
mark
isNatKind
V1
active
x
N
s
M
mark
U71
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
mark
U21
X1
X2
active
U21
mark
X1
X2
active
U71
tt
M
N
mark
plus
x
N
M
N
mark
isNatKind
X
active
isNatKind
X
active
plus
N
s
M
mark
U51
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
active
U41
tt
N
mark
N
mark
s
X
mark
X
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
mark
isNat
X
active
isNat
X
mark
x
X1
X2
active
x
mark
X1
mark
X2
true
U32
2
1
U33
1
1
U12
2
1
mark
1
1
isNat
1
1
U61
1
1
active
1
1
U31
3
1
U41
2
2
active
1
1
and
2
2
isNatKind
1
3
1
U21
2
4
2
U11
3
6
2
s
1
5
1
isNat
1
0
U71
3
9
2
3
1
and
2
3
1
2
plus
2
0
1
2
U13
1
0
U12
2
5
1
x
2
9
2
1
mark
1
1
1
0
0
0
x
2
0
2
1
s
1
0
U32
2
0
U33
1
0
plus
2
7
1
2
U51
3
0
3
1
2
U11
3
0
3
1
2
U21
2
0
1
2
U22
1
0
tt
0
0
U71
3
0
2
1
U13
1
5
U22
1
3
1
U51
3
7
3
2
1
isNatKind
1
0
U41
2
7
2
U31
3
0
2
1
3
U61
1
0
isNatKind
1
1
0
U21
2
2
0
0
U11
3
2
0
0
s
1
1
0
isNat
1
0
U71
3
1
0
2
0
3
0
0
and
2
1
0
2
0
0
plus
2
1
0
2
0
0
U13
1
0
U12
2
1
0
0
x
2
1
0
2
0
0
mark
1
1
0
0
0
0
x
2
1
0
2
0
0
s
1
0
U32
2
0
U33
1
0
plus
2
1
0
2
0
0
U51
3
1
0
2
0
3
0
0
U11
3
1
0
2
0
3
0
0
U21
2
1
0
2
0
0
U22
1
0
tt
0
0
U71
3
1
0
2
0
0
U13
1
0
U22
1
1
0
U51
3
1
0
2
0
3
0
0
isNatKind
1
0
U41
2
2
0
0
U31
3
1
0
2
0
3
0
0
U61
1
0
active
isNatKind
0
mark
tt
U11
X1
active
X2
X3
U11
X1
X2
X3
U41
active
X1
X2
U41
X1
X2
x
active
X1
X2
x
X1
X2
active
U21
tt
V1
mark
U22
isNat
V1
x
X1
mark
X2
x
X1
X2
x
mark
X1
X2
x
X1
X2
active
isNat
plus
V1
V2
mark
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
active
U33
tt
mark
tt
U12
active
X1
X2
U12
X1
X2
active
U11
tt
V1
V2
mark
U12
isNat
V1
V2
U33
active
X
U33
X
active
U13
tt
mark
tt
active
isNat
s
V1
mark
U21
isNatKind
V1
V1
active
isNatKind
x
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
mark
U41
X1
X2
active
U41
mark
X1
X2
U31
X1
X2
mark
X3
U31
X1
X2
X3
U51
active
X1
X2
X3
U51
X1
X2
X3
U71
X1
active
X2
X3
U71
X1
X2
X3
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
x
X1
active
X2
x
X1
X2
U21
X1
active
X2
U21
X1
X2
active
isNatKind
plus
V1
V2
mark
and
isNatKind
V1
isNatKind
V2
mark
U22
X
active
U22
mark
X
active
isNat
x
V1
V2
mark
U31
and
isNatKind
V1
isNatKind
V2
V1
V2
U21
mark
X1
X2
U21
X1
X2
mark
tt
active
tt
U51
X1
X2
active
X3
U51
X1
X2
X3
U51
X1
X2
mark
X3
U51
X1
X2
X3
mark
U32
X1
X2
active
U32
mark
X1
X2
active
plus
N
0
mark
U41
and
isNat
N
isNatKind
N
N
mark
U12
X1
X2
active
U12
mark
X1
X2
U22
active
X
U22
X
mark
and
X1
X2
active
and
mark
X1
X2
active
U22
tt
mark
tt
U32
mark
X1
X2
U32
X1
X2
mark
U31
X1
X2
X3
active
U31
mark
X1
X2
X3
U22
mark
X
U22
X
plus
X1
active
X2
plus
X1
X2
plus
active
X1
X2
plus
X1
X2
active
U51
tt
M
N
mark
s
plus
N
M
mark
plus
X1
X2
active
plus
mark
X1
mark
X2
active
U32
tt
V2
mark
U33
isNat
V2
s
mark
X
s
X
active
isNatKind
s
V1
mark
isNatKind
V1
and
active
X1
X2
and
X1
X2
active
x
N
s
M
mark
U71
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
U11
active
X1
X2
X3
U11
X1
X2
X3
U12
mark
X1
X2
U12
X1
X2
mark
U13
X
active
U13
mark
X
U21
active
X1
X2
U21
X1
X2
and
mark
X1
X2
and
X1
X2
active
isNat
0
mark
tt
isNatKind
active
X
isNatKind
X
U51
mark
X1
X2
X3
U51
X1
X2
X3
s
active
X
s
X
isNat
mark
X
isNat
X
U41
X1
mark
X2
U41
X1
X2
mark
U21
X1
X2
active
U21
mark
X1
X2
active
U71
tt
M
N
mark
plus
x
N
M
N
U71
X1
X2
active
X3
U71
X1
X2
X3
U31
active
X1
X2
X3
U31
X1
X2
X3
U71
mark
X1
X2
X3
U71
X1
X2
X3
mark
isNatKind
X
active
isNatKind
X
U41
mark
X1
X2
U41
X1
X2
U41
X1
active
X2
U41
X1
X2
active
plus
N
s
M
mark
U51
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
U31
X1
active
X2
X3
U31
X1
X2
X3
active
x
N
0
mark
U61
and
isNat
N
isNatKind
N
U61
mark
X
U61
X
and
X1
active
X2
and
X1
X2
U33
mark
X
U33
X
isNat
active
X
isNat
X
U71
X1
X2
mark
X3
U71
X1
X2
X3
active
U61
tt
mark
0
active
U41
tt
N
mark
N
active
and
tt
X
mark
X
U11
X1
X2
active
X3
U11
X1
X2
X3
and
X1
mark
X2
and
X1
X2
plus
mark
X1
X2
plus
X1
X2
mark
U61
X
active
U61
mark
X
U31
X1
mark
X2
X3
U31
X1
X2
X3
U12
X1
active
X2
U12
X1
X2
isNatKind
mark
X
isNatKind
X
U13
active
X
U13
X
active
U31
tt
V1
V2
mark
U32
isNat
V1
V2
mark
s
X
active
s
mark
X
U21
X1
mark
X2
U21
X1
X2
U13
mark
X
U13
X
U32
active
X1
X2
U32
X1
X2
U32
X1
active
X2
U32
X1
X2
U11
X1
X2
mark
X3
U11
X1
X2
X3
U31
X1
X2
active
X3
U31
X1
X2
X3
U12
X1
mark
X2
U12
X1
X2
U11
X1
mark
X2
X3
U11
X1
X2
X3
U32
X1
mark
X2
U32
X1
X2
plus
X1
mark
X2
plus
X1
X2
U71
X1
mark
X2
X3
U71
X1
X2
X3
U71
active
X1
X2
X3
U71
X1
X2
X3
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
mark
0
active
0
U61
active
X
U61
X
mark
U71
X1
X2
X3
active
U71
mark
X1
X2
X3
U11
mark
X1
X2
X3
U11
X1
X2
X3
U31
mark
X1
X2
X3
U31
X1
X2
X3
U51
X1
mark
X2
X3
U51
X1
X2
X3
mark
U33
X
active
U33
mark
X
mark
isNat
X
active
isNat
X
mark
x
X1
X2
active
x
mark
X1
mark
X2
U51
X1
active
X2
X3
U51
X1
X2
X3
active
U12
tt
V2
mark
U13
isNat
V2
active
U12
tt
V2
isNat
V2
false
active
U31
tt
V1
V2
U32
isNat
V1
V2
false
active
U31
tt
V1
V2
isNat
V1
false
mark
x
X1
X2
x
mark
X1
mark
X2
false
active
U61
tt
mark
0
false
mark
U33
X
U33
mark
X
false
active
x
N
0
U61
and
isNat
N
isNatKind
N
false
active
x
N
0
and
isNat
N
isNatKind
N
false
active
x
N
0
isNat
N
false
active
x
N
0
isNatKind
N
false
mark
U71
X1
X2
X3
U71
mark
X1
X2
X3
false
active
plus
N
s
M
U51
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
false
active
plus
N
s
M
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
false
active
plus
N
s
M
and
isNat
M
isNatKind
M
false
active
plus
N
s
M
isNat
M
false
active
plus
N
s
M
isNatKind
M
false
active
plus
N
s
M
and
isNat
N
isNatKind
N
false
active
plus
N
s
M
isNat
N
false
active
plus
N
s
M
isNatKind
N
false
mark
U51
X1
X2
X3
U51
mark
X1
X2
X3
false
U51
X1
active
X2
X3
U51
X1
X2
X3
U51
active
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
mark
X1
X2
X3
U51
X1
X2
X3
U51
X1
X2
active
X3
U51
X1
X2
X3
true
U32
2
0
isNatKind
1
48285
U21
2
1
2
53013
U11
3
1
2
3
1
s
1
63326
isNat
1
0
U71
3
1
2
3
34650
and
2
120921
plus
2
0
U13
1
0
U12
2
80311
U33
1
0
x
2
1
2
10309
U12
2
0
mark
1
0
0
0
1
x
2
0
s
1
0
mark
1
1
1
U32
2
48283
U33
1
48285
isNat
1
1
37970
plus
2
1
2
72630
U61
1
1
39997
U51
3
1
2
3
0
U11
3
0
active
1
1
2
U31
3
48281
U41
2
0
active
1
0
U21
2
0
U22
1
0
tt
0
48287
U71
3
0
U13
1
80313
U22
1
101302
U51
3
1
3
15037
isNatKind
1
0
U41
2
72633
U31
3
0
and
2
0
U61
1
0
U33
active
X
U33
X
s
mark
X
s
X
isNatKind
active
X
isNatKind
X
s
active
X
s
X
U33
mark
X
U33
X
isNatKind
mark
X
isNatKind
X
active
U71
tt
M
N
plus
x
N
M
N
false
active
U71
tt
M
N
x
N
M
false
x
active
X1
X2
x
X1
X2
x
mark
X1
X2
x
X1
X2
x
X1
mark
X2
x
X1
X2
x
X1
active
X2
x
X1
X2
true
U32
2
0
isNatKind
1
4
U21
2
1
2
18
U11
3
1
2
3
1
s
1
19
isNat
1
0
U71
3
1
2
3
1
and
2
26
plus
2
0
U13
1
0
U12
2
13
U33
1
0
x
2
1
2
1
U12
2
0
mark
1
0
0
0
1
x
2
1
2
0
s
1
0
mark
1
1
1
U32
2
6
U33
1
8
isNat
1
1
1
plus
2
1
2
12
U61
1
1
1
U51
3
0
U11
3
0
active
1
1
2
U31
3
4
U41
2
0
active
1
0
U21
2
0
U22
1
0
tt
0
10
U71
3
0
U13
1
15
U22
1
30
U51
3
1
3
7
isNatKind
1
0
U41
2
17785
U31
3
0
and
2
0
U61
1
0
U33
active
X
U33
X
s
mark
X
s
X
isNatKind
active
X
isNatKind
X
s
active
X
s
X
U33
mark
X
U33
X
isNatKind
mark
X
isNatKind
X
active
isNat
0
mark
tt
false
mark
s
X
s
mark
X
false
active
x
N
s
M
U71
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
M
N
false
U71
X1
X2
active
X3
U71
X1
X2
X3
U71
X1
mark
X2
X3
U71
X1
X2
X3
U71
mark
X1
X2
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
mark
X3
U71
X1
X2
X3
true
U32
2
0
isNatKind
1
2285
U21
2
1
2
23
U11
3
1
2
3
1
s
1
2305
isNat
1
0
U71
3
1
2
3
27340
and
2
29642
plus
2
0
U13
1
0
U12
2
2709
U33
1
0
x
2
1
2
2278
U12
2
0
mark
1
0
0
0
1
x
2
0
s
1
0
mark
1
1
1
U32
2
2283
U33
1
2285
isNat
1
1
1
plus
2
1
2
27351
U61
1
1
37885
U51
3
0
U11
3
0
active
1
1
2
U31
3
2281
U41
2
0
active
1
0
U21
2
0
U22
1
0
tt
0
2287
U71
3
1
2
3
0
U13
1
2711
U22
1
2312
U51
3
1
3
16
isNatKind
1
0
U41
2
27354
U31
3
0
and
2
0
U61
1
0
U33
active
X
U33
X
s
mark
X
s
X
isNatKind
active
X
isNatKind
X
s
active
X
s
X
U33
mark
X
U33
X
isNatKind
mark
X
isNatKind
X
active
x
N
s
M
and
and
isNat
M
isNatKind
M
and
isNat
N
isNatKind
N
false
active
x
N
s
M
and
isNat
M
isNatKind
M
false
active
x
N
s
M
isNat
M
false
active
x
N
s
M
isNatKind
M
false
active
x
N
s
M
and
isNat
N
isNatKind
N
false
active
x
N
s
M
isNat
N
false
active
x
N
s
M
isNatKind
N
false
mark
U61
X
U61
mark
X
false
U61
active
X
U61
X
U61
mark
X
U61
X
true
U32
2
0
isNatKind
1
35945
U21
2
1
2
13653
U11
3
1
2
3
1
s
1
36282
isNat
1
0
U71
3
1
2
3
41897
and
2
91172
plus
2
0
U13
1
0
U12
2
62055
U33
1
0
x
2
1
2
22625
U12
2
0
mark
1
0
0
0
1
x
2
0
s
1
0
mark
1
1
1
U32
2
35943
U33
1
35945
isNat
1
1
13314
plus
2
1
2
55221
U61
1
1
18211
U51
3
0
U11
3
0
active
1
1
2
U31
3
35941
U41
2
0
active
1
0
U21
2
0
U22
1
0
tt
0
35947
U71
3
0
U13
1
62057
U22
1
49602
U51
3
1
3
333
isNatKind
1
0
U41
2
55224
U31
3
0
and
2
0
U61
1
1
0
U33
active
X
U33
X
s
mark
X
s
X
isNatKind
active
X
isNatKind
X
s
active
X
s
X
U33
mark
X
U33
X
isNatKind
mark
X
isNatKind
X
active
isNatKind
s
V1
isNatKind
V1
false
active
U32
tt
V2
U33
isNat
V2
false
U33
mark
X
U33
X
U33
active
X
U33
X
true
U32
2
0
isNatKind
1
7
U21
2
1
2
20
U11
3
1
2
3
21559
s
1
24
isNat
1
0
U71
3
1
2
3
1
and
2
26
plus
2
0
U13
1
0
U12
2
21571
U33
1
1
0
x
2
1
2
1
U12
2
0
mark
1
0
0
0
1
x
2
0
s
1
0
mark
1
1
1
U32
2
6
U33
1
8
isNat
1
1
1
plus
2
1
2
12
U61
1
1
14529
U51
3
0
U11
3
0
active
1
1
2
U31
3
4
U41
2
0
active
1
0
U21
2
0
U22
1
0
tt
0
10
U71
3
0
U13
1
21573
U22
1
32
U51
3
1
3
12
isNatKind
1
0
U41
2
16196
U31
3
0
and
2
0
U61
1
0
U33
active
X
U33
X
s
mark
X
s
X
isNatKind
active
X
isNatKind
X
s
active
X
s
X
U33
mark
X
U33
X
isNatKind
mark
X
isNatKind
X
active
U32
tt
V2
isNat
V2
false
mark
U21
X1
X2
U21
mark
X1
X2
false
active
U51
tt
M
N
s
plus
N
M
false
s
active
X
s
X
s
mark
X
s
X
true
U32
2
0
isNatKind
1
4
U21
2
1
2
7019
U11
3
1
2
3
1
s
1
7020
isNat
1
0
U71
3
1
2
3
28848
and
2
28873
plus
2
0
U13
1
0
U12
2
27810
U33
1
0
x
2
1
2
1
U12
2
0
mark
1
0
0
0
1
x
2
0
s
1
1
0
mark
1
1
1
U32
2
6
U33
1
8
isNat
1
1
1
plus
2
1
2
28859
U61
1
1
33320
U51
3
0
U11
3
0
active
1
1
2
U31
3
4
U41
2
0
active
1
0
U21
2
0
U22
1
0
tt
0
10
U71
3
0
U13
1
27812
U22
1
7031
U51
3
1
3
7008
isNatKind
1
0
U41
2
28862
U31
3
0
and
2
0
U61
1
0
U33
active
X
U33
X
s
mark
X
s
X
isNatKind
active
X
isNatKind
X
s
active
X
s
X
U33
mark
X
U33
X
isNatKind
mark
X
isNatKind
X
active
U51
tt
M
N
plus
N
M
false
active
U22
tt
mark
tt
false
mark
U13
X
U13
mark
X
false
active
plus
N
0
U41
and
isNat
N
isNatKind
N
N
false
active
plus
N
0
and
isNat
N
isNatKind
N
false
active
plus
N
0
isNat
N
false
active
plus
N
0
isNatKind
N
false
mark
plus
X1
X2
plus
mark
X1
mark
X2
false
plus
mark
X1
X2
plus
X1
X2
plus
X1
active
X2
plus
X1
X2
plus
X1
mark
X2
plus
X1
X2
plus
active
X1
X2
plus
X1
X2
true
U32
2
0
isNatKind
1
6
U21
2
1
2
15192
U11
3
1
2
3
1
s
1
15195
isNat
1
0
U71
3
1
2
3
21859
and
2
21884
plus
2
1
2
0
U13
1
0
U12
2
2259
U33
1
0
x
2
1
2
1
U12
2
0
mark
1
0
0
0
1
x
2
0
s
1
0
mark
1
1
1
U32
2
6
U33
1
8
isNat
1
1
1
plus
2
1
2
21870
U61
1
1
29329
U51
3
0
U11
3
0
active
1
1
2
U31
3
4
U41
2
0
active
1
0
U21
2
0
U22
1
0
tt
0
10
U71
3
0
U13
1
27812
U22
1
15204
U51
3
1
3
15183
isNatKind
1
0
U41
2
21873
U31
3
0
and
2
0
U61
1
0
U33
active
X
U33
X
s
mark
X
s
X
isNatKind
active
X
isNatKind
X
s
active
X
s
X
U33
mark
X
U33
X
isNatKind
mark
X
isNatKind
X
active
isNat
x
V1
V2
U31
and
isNatKind
V1
isNatKind
V2
V1
V2
false
active
isNat
x
V1
V2
and
isNatKind
V1
isNatKind
V2
false
active
isNat
x
V1
V2
isNatKind
V1
false
active
isNat
x
V1
V2
isNatKind
V2
false
mark
U31
X1
X2
X3
U31
mark
X1
X2
X3
false
U31
X1
X2
active
X3
U31
X1
X2
X3
U31
mark
X1
X2
X3
U31
X1
X2
X3
U31
active
X1
X2
X3
U31
X1
X2
X3
U31
X1
mark
X2
X3
U31
X1
X2
X3
U31
X1
X2
mark
X3
U31
X1
X2
X3
U31
X1
active
X2
X3
U31
X1
X2
X3
true
U32
2
0
isNatKind
1
5
U21
2
1
2
14
U11
3
1
2
3
1
s
1
16
isNat
1
0
U71
3
1
2
3
1
and
2
26
plus
2
0
U13
1
0
U12
2
13
U33
1
0
x
2
1
2
1
U12
2
0
mark
1
0
0
0
1
x
2
0
s
1
0
mark
1
1
1
U32
2
6
U33
1
8
isNat
1
1
1
plus
2
1
2
12
U61
1
468
U51
3
0
U11
3
0
active
1
1
2
U31
3
4
U41
2
0
active
1
0
U21
2
0
U22
1
0
tt
0
10
U71
3
0
U13
1
15
U22
1
26
U51
3
1
3
4
isNatKind
1
0
U41
2
15
U31
3
1
2
0
and
2
0
U61
1
0
U31
X1
X2
mark
X3
U31
X1
X2
X3
U31
X1
X2
active
X3
U31
X1
X2
X3
U33
active
X
U33
X
s
mark
X
s
X
isNatKind
active
X
isNatKind
X
s
active
X
s
X
U33
mark
X
U33
X
isNatKind
mark
X
isNatKind
X
U31
X1
X2
mark
X3
U31
X1
X2
X3
U31
X1
X2
active
X3
U31
X1
X2
X3
true
U32
2
0
isNatKind
1
1
40586
U21
2
2
24354
U11
3
2
73089
s
1
1
12146
isNat
1
0
U71
3
1
2
48665
and
2
1
2
20297
plus
2
0
U13
1
0
U12
2
1
60885
U33
1
0
x
2
21815
U12
2
0
mark
1
0
0
0
53746
x
2
0
s
1
0
mark
1
1
1
U32
2
2
34025
U33
1
34027
isNat
1
1
12206
plus
2
1
60881
U61
1
1
19715
U51
3
0
U11
3
0
active
1
1
2
U31
3
34023
U41
2
0
active
1
0
U21
2
0
U22
1
0
tt
0
34029
U71
3
0
U13
1
15819
U22
1
1
41602
U51
3
1
2
3
8809
isNatKind
1
0
U41
2
2
60883
U31
3
3
0
and
2
0
U61
1
0
active
isNatKind
plus
V1
V2
and
isNatKind
V1
isNatKind
V2
false
active
isNatKind
plus
V1
V2
isNatKind
V1
false
active
isNatKind
plus
V1
V2
isNatKind
V2
false
mark
and
X1
X2
and
mark
X1
X2
false
active
isNatKind
x
V1
V2
and
isNatKind
V1
isNatKind
V2
false
active
isNatKind
x
V1
V2
isNatKind
V1
false
active
isNatKind
x
V1
V2
isNatKind
V2
false
mark
U12
X1
X2
U12
mark
X1
X2
false
active
isNat
s
V1
U21
isNatKind
V1
V1
false
U21
active
X1
X2
U21
X1
X2
U21
X1
active
X2
U21
X1
X2
U21
mark
X1
X2
U21
X1
X2
U21
X1
mark
X2
U21
X1
X2
true
U32
2
0
isNatKind
1
1
783
U21
2
2
1139
U11
3
1
2
3
27404
s
1
1
1
isNat
1
0
U71
3
1
2
1
and
2
1
2
50360
plus
2
0
U13
1
0
U12
2
1
77408
U33
1
0
x
2
49994
U12
2
0
mark
1
0
0
0
49998
x
2
0
s
1
0
mark
1
1
1
U32
2
2
51134
U33
1
51136
isNat
1
1
1136
plus
2
2
51141
U61
1
49996
U51
3
0
U11
3
0
active
1
1
2
U31
3
51132
U41
2
0
active
1
0
U21
2
1
0
U22
1
0
tt
0
51138
U71
3
0
U13
1
28914
U22
1
1141
U51
3
1
2
3
1
isNatKind
1
0
U41
2
2
101141
U31
3
0
and
2
0
U61
1
0
U21
X1
mark
X2
U21
X1
X2
U21
X1
active
X2
U21
X1
X2
U22
active
X
U22
X
U22
mark
X
U22
X
isNatKind
active
X
isNatKind
X
isNat
mark
X
isNat
X
U61
mark
X
U61
X
isNat
active
X
isNat
X
isNatKind
mark
X
isNatKind
X
U13
active
X
U13
X
U13
mark
X
U13
X
U61
active
X
U61
X
U21
X1
active
X2
U21
X1
X2
U21
X1
mark
X2
U21
X1
X2
true
U32
2
0
isNatKind
1
1
1
U21
2
2
4
U11
3
2
3
12232
s
1
1
1
isNat
1
0
U71
3
1
2
1
and
2
1
2
14
plus
2
0
U13
1
0
U12
2
1
12233
U33
1
0
x
2
1
U12
2
0
mark
1
0
0
0
6
x
2
0
s
1
0
mark
1
1
1
U32
2
2
6
U33
1
8
isNat
1
1
1
plus
2
2
13
U61
1
4
U51
3
0
U11
3
0
active
1
1
2
U31
3
4
U41
2
0
active
1
0
U21
2
2
0
U22
1
0
tt
0
10
U71
3
0
U13
1
7
U22
1
8
U51
3
1
2
3
2
isNatKind
1
0
U41
2
2
21
U31
3
0
and
2
0
U61
1
0
U22
active
X
U22
X
U22
mark
X
U22
X
isNatKind
active
X
isNatKind
X
isNat
mark
X
isNat
X
U61
mark
X
U61
X
isNat
active
X
isNat
X
isNatKind
mark
X
isNatKind
X
U13
active
X
U13
X
U13
mark
X
U13
X
U61
active
X
U61
X
active
isNat
s
V1
isNatKind
V1
false
active
U13
tt
mark
tt
false
mark
U32
X1
X2
U32
mark
X1
X2
false
U32
mark
X1
X2
U32
X1
X2
U32
X1
active
X2
U32
X1
X2
U32
X1
mark
X2
U32
X1
X2
U32
active
X1
X2
U32
X1
X2
true
U32
2
2
0
isNatKind
1
1
28642
U21
2
2
45974
U11
3
2
3
151200
s
1
1
1
isNat
1
0
U71
3
1
2
59245
and
2
1
2
76587
plus
2
0
U13
1
0
U12
2
1
105231
U33
1
0
x
2
1
U12
2
0
mark
1
0
0
0
7
x
2
0
s
1
0
mark
1
1
1
U32
2
2
45976
U33
1
45978
isNat
1
1
45971
plus
2
2
105227
U61
1
5
U51
3
0
U11
3
0
active
1
1
2
U31
3
45974
U41
2
0
active
1
0
U21
2
0
U22
1
0
tt
0
45980
U71
3
0
U13
1
30324
U22
1
45976
U51
3
1
2
3
30067
isNatKind
1
0
U41
2
2
105236
U31
3
0
and
2
0
U61
1
0
U32
active
X1
X2
U32
X1
X2
U32
mark
X1
X2
U32
X1
X2
U22
active
X
U22
X
U22
mark
X
U22
X
isNatKind
active
X
isNatKind
X
isNat
mark
X
isNat
X
U61
mark
X
U61
X
isNat
active
X
isNat
X
isNatKind
mark
X
isNatKind
X
U13
active
X
U13
X
U13
mark
X
U13
X
U61
active
X
U61
X
U32
mark
X1
X2
U32
X1
X2
U32
active
X1
X2
U32
X1
X2
true
U32
2
1
0
isNatKind
1
1
1
U21
2
2
17453
U11
3
2
3
71068
s
1
1
1
isNat
1
0
U71
3
1
2
1
and
2
1
2
53617
plus
2
0
U13
1
0
U12
2
1
53620
U33
1
0
x
2
36155
U12
2
0
mark
1
0
0
0
36159
x
2
0
s
1
0
mark
1
1
1
U32
2
2
53609
U33
1
53611
isNat
1
1
17450
plus
2
2
53616
U61
1
36157
U51
3
0
U11
3
0
active
1
1
2
U31
3
53607
U41
2
0
active
1
0
U21
2
0
U22
1
0
tt
0
53613
U71
3
0
U13
1
21079
U22
1
17455
U51
3
1
2
3
1
isNatKind
1
0
U41
2
2
89777
U31
3
0
and
2
0
U61
1
0
U22
active
X
U22
X
U22
mark
X
U22
X
isNatKind
active
X
isNatKind
X
isNat
mark
X
isNat
X
U61
mark
X
U61
X
isNat
active
X
isNat
X
isNatKind
mark
X
isNatKind
X
U13
active
X
U13
X
U13
mark
X
U13
X
U61
active
X
U61
X
active
U11
tt
V1
V2
U12
isNat
V1
V2
false
U12
active
X1
X2
U12
X1
X2
U12
mark
X1
X2
U12
X1
X2
U12
X1
active
X2
U12
X1
X2
U12
X1
mark
X2
U12
X1
X2
true
U32
2
0
isNatKind
1
1
1
U21
2
2
9317
U11
3
2
3
49038
s
1
1
9314
isNat
1
0
U71
3
1
2
27655
and
2
1
2
49036
plus
2
0
U13
1
0
U12
2
1
49039
U33
1
0
x
2
21369
U12
2
1
0
mark
1
0
0
0
21373
x
2
0
s
1
0
mark
1
1
1
U32
2
2
21374
U33
1
21376
isNat
1
1
1
plus
2
2
49035
U61
1
21371
U51
3
0
U11
3
0
active
1
1
2
U31
3
21372
U41
2
0
active
1
0
U21
2
0
U22
1
0
tt
0
21378
U71
3
0
U13
1
8656
U22
1
9319
U51
3
1
2
3
6975
isNatKind
1
0
U41
2
2
70410
U31
3
0
and
2
0
U61
1
0
U12
X1
mark
X2
U12
X1
X2
U12
X1
active
X2
U12
X1
X2
U22
active
X
U22
X
U22
mark
X
U22
X
isNatKind
active
X
isNatKind
X
isNat
mark
X
isNat
X
U61
mark
X
U61
X
isNat
active
X
isNat
X
isNatKind
mark
X
isNatKind
X
U13
active
X
U13
X
U13
mark
X
U13
X
U61
active
X
U61
X
U12
X1
active
X2
U12
X1
X2
U12
X1
mark
X2
U12
X1
X2
true
U32
2
0
isNatKind
1
1
17985
U21
2
2
1346
U11
3
2
3
60912
s
1
1
1
isNat
1
0
U71
3
1
2
35878
and
2
1
2
42926
plus
2
0
U13
1
0
U12
2
1
60913
U33
1
0
x
2
1
U12
2
2
0
mark
1
0
0
0
5
x
2
0
s
1
0
mark
1
1
1
U32
2
2
25025
U33
1
25027
isNat
1
1
1
plus
2
2
60909
U61
1
3
U51
3
0
U11
3
0
active
1
1
2
U31
3
25023
U41
2
0
active
1
0
U21
2
0
U22
1
0
tt
0
25029
U71
3
0
U13
1
2191
U22
1
1348
U51
3
1
2
3
2691
isNatKind
1
0
U41
2
2
60916
U31
3
0
and
2
0
U61
1
0
U22
active
X
U22
X
U22
mark
X
U22
X
isNatKind
active
X
isNatKind
X
isNat
mark
X
isNat
X
U61
mark
X
U61
X
isNat
active
X
isNat
X
isNatKind
mark
X
isNatKind
X
U13
active
X
U13
X
U13
mark
X
U13
X
U61
active
X
U61
X
active
U11
tt
V1
V2
isNat
V1
false
active
U33
tt
mark
tt
false
mark
U22
X
U22
mark
X
false
active
isNat
plus
V1
V2
U11
and
isNatKind
V1
isNatKind
V2
V1
V2
false
active
isNat
plus
V1
V2
and
isNatKind
V1
isNatKind
V2
false
and
X1
mark
X2
and
X1
X2
and
active
X1
X2
and
X1
X2
and
X1
active
X2
and
X1
X2
and
mark
X1
X2
and
X1
X2
true
U32
2
0
isNatKind
1
1
2
U21
2
2
4
U11
3
2
3
16
s
1
1
1
isNat
1
0
U71
3
1
2
1
and
2
1
2
5343
plus
2
0
U13
1
0
U12
2
1
17
U33
1
0
x
2
1
U12
2
0
mark
1
0
0
0
5
x
2
0
s
1
0
mark
1
1
1
U32
2
2
6
U33
1
8
isNat
1
1
1
plus
2
2
13
U61
1
3
U51
3
0
U11
3
0
active
1
1
2
U31
3
4
U41
2
0
active
1
0
U21
2
0
U22
1
0
tt
0
10
U71
3
0
U13
1
1
U22
1
6
U51
3
1
2
3
2
isNatKind
1
0
U41
2
2
20
U31
3
0
and
2
1
2
0
U61
1
0
U22
active
X
U22
X
U22
mark
X
U22
X
isNatKind
active
X
isNatKind
X
isNat
mark
X
isNat
X
U61
mark
X
U61
X
isNat
active
X
isNat
X
isNatKind
mark
X
isNatKind
X
U13
active
X
U13
X
U13
mark
X
U13
X
U61
active
X
U61
X
active
isNat
plus
V1
V2
isNatKind
V1
false
active
isNat
plus
V1
V2
isNatKind
V2
false
mark
U11
X1
X2
X3
U11
mark
X1
X2
X3
false
U11
mark
X1
X2
X3
U11
X1
X2
X3
U11
X1
X2
mark
X3
U11
X1
X2
X3
U11
X1
X2
active
X3
U11
X1
X2
X3
U11
X1
active
X2
X3
U11
X1
X2
X3
U11
X1
mark
X2
X3
U11
X1
X2
X3
U11
active
X1
X2
X3
U11
X1
X2
X3
true
U32
2
0
isNatKind
1
1
1
U21
2
2
6
U11
3
2
3
16199
s
1
1
2
isNat
1
0
U71
3
1
2
1
and
2
1
2
25908
plus
2
0
U13
1
0
U12
2
1
16200
U33
1
0
x
2
1
U12
2
0
mark
1
0
0
0
5
x
2
0
s
1
0
mark
1
1
1
U32
2
2
6
U33
1
8
isNat
1
1
1
plus
2
2
13
U61
1
3
U51
3
0
U11
3
1
2
3
0
active
1
1
2
U31
3
4
U41
2
0
active
1
0
U21
2
0
U22
1
0
tt
0
10
U71
3
0
U13
1
2
U22
1
8
U51
3
1
2
3
3
isNatKind
1
0
U41
2
2
20
U31
3
0
and
2
0
U61
1
0
U22
active
X
U22
X
U22
mark
X
U22
X
isNatKind
active
X
isNatKind
X
isNat
mark
X
isNat
X
U61
mark
X
U61
X
isNat
active
X
isNat
X
isNatKind
mark
X
isNatKind
X
U13
active
X
U13
X
U13
mark
X
U13
X
U61
active
X
U61
X
active
U21
tt
V1
U22
isNat
V1
false
U22
active
X
U22
X
U22
mark
X
U22
X
true
U32
2
0
isNatKind
1
1
6099
U21
2
1
2
11099
U11
3
1
2
1132
s
1
1
12011
isNat
1
0
U71
3
2
3
590
and
2
1
2
90
plus
2
0
U13
1
0
U12
2
1
2579
U33
1
0
x
2
1765
U12
2
0
mark
1
0
0
0
2
x
2
0
s
1
0
mark
1
1
52127
U32
2
1
2
15531
U33
1
99995
isNat
1
1
1
plus
2
1
30352
U61
1
1
2369
U51
3
0
U11
3
0
active
1
1
1
U31
3
1
3341
U41
2
0
active
1
0
U21
2
0
U22
1
1
0
tt
0
47870
U71
3
0
U13
1
1
10546
U22
1
1
26210
U51
3
1
3
1385
isNatKind
1
0
U41
2
1
2
4255
U31
3
0
and
2
0
U61
1
0
U33
active
X
U33
X
isNatKind
active
X
isNatKind
X
isNat
mark
X
isNat
X
U33
mark
X
U33
X
isNat
active
X
isNat
X
isNatKind
mark
X
isNatKind
X
active
U21
tt
V1
isNat
V1
false
isNat
active
X
isNat
X
isNat
mark
X
isNat
X
true
U32
2
0
isNatKind
1
1
1
U21
2
1
2
10730
U11
3
1
2
3
59000
s
1
1
8474
isNat
1
1
0
U71
3
1
2
35210
and
2
1
2
35221
plus
2
0
U13
1
0
U12
2
1
59010
U33
1
0
x
2
1
U12
2
0
mark
1
0
0
0
5
x
2
0
s
1
0
mark
1
1
1
U32
2
5
U33
1
7
isNat
1
1
plus
2
1
35220
U61
1
3
U51
3
0
U11
3
0
active
1
1
2
U31
3
3
U41
2
0
active
1
0
U21
2
0
U22
1
0
tt
0
9
U71
3
0
U13
1
1
59020
U22
1
1
10740
U51
3
1
3
5084
isNatKind
1
0
U41
2
1
2
42468
U31
3
0
and
2
0
U61
1
0
U33
active
X
U33
X
isNatKind
active
X
isNatKind
X
isNat
mark
X
isNat
X
U61
mark
X
U61
X
U33
mark
X
U33
X
isNat
active
X
isNat
X
isNatKind
mark
X
isNatKind
X
U61
active
X
U61
X
active
isNatKind
0
mark
tt
false
mark
tt
active
tt
false
mark
U41
X1
X2
U41
mark
X1
X2
false
U41
mark
X1
X2
U41
X1
X2
U41
X1
mark
X2
U41
X1
X2
U41
X1
active
X2
U41
X1
X2
U41
active
X1
X2
U41
X1
X2
true
U32
2
0
isNatKind
1
1
1
U21
2
1
2
26709
U11
3
1
2
3
1
s
1
1
33470
isNat
1
0
U71
3
1
2
6019
and
2
1
2
6029
plus
2
0
U13
1
0
U12
2
1
11
U33
1
0
x
2
2
U12
2
0
mark
1
0
0
0
6
x
2
0
s
1
0
mark
1
1
1
U32
2
5
U33
1
7
isNat
1
1
plus
2
1
6028
U61
1
4
U51
3
0
U11
3
0
active
1
1
2
U31
3
3
U41
2
1
2
0
active
1
0
U21
2
0
U22
1
0
tt
0
9
U71
3
0
U13
1
1
21
U22
1
1
56558
U51
3
1
3
39487
isNatKind
1
0
U41
2
1
2
22493
U31
3
0
and
2
0
U61
1
0
U33
active
X
U33
X
isNatKind
active
X
isNatKind
X
isNat
mark
X
isNat
X
U61
mark
X
U61
X
U33
mark
X
U33
X
isNat
active
X
isNat
X
isNatKind
mark
X
isNatKind
X
U61
active
X
U61
X
isNatKind
active
X
isNatKind
X
isNatKind
mark
X
isNatKind
X
true
U32
2
0
isNatKind
1
1
2
U21
2
1
2
18781
U11
3
1
2
3
55679
s
1
1
18728
isNat
1
0
U71
3
1
2
20981
and
2
1
2
20991
plus
2
0
U13
1
0
U12
2
1
55689
U33
1
0
x
2
1
U12
2
0
mark
1
0
0
0
5
x
2
0
s
1
0
mark
1
1
1
U32
2
5
U33
1
7
isNat
1
1
plus
2
1
20991
U61
1
3
U51
3
0
U11
3
0
active
1
1
2
U31
3
3
U41
2
0
active
1
0
U21
2
0
U22
1
0
tt
0
9
U71
3
0
U13
1
1
55699
U22
1
1
18791
U51
3
1
3
39708
isNatKind
1
1
0
U41
2
1
2
5739
U31
3
0
and
2
0
U61
1
0
U33
active
X
U33
X
isNatKind
active
X
isNatKind
X
isNat
mark
X
isNat
X
U61
mark
X
U61
X
U33
mark
X
U33
X
isNat
active
X
isNat
X
isNatKind
mark
X
isNatKind
X
U61
active
X
U61
X
active
U12
tt
V2
U13
isNat
V2
false
U13
mark
X
U13
X
U13
active
X
U13
X
true
U32
2
0
isNatKind
1
1
1
U21
2
1
2
7319
U11
3
2
3
7320
s
1
1
40283
isNat
1
0
U71
3
1
2
2508
and
2
1
2
44029
plus
2
0
U13
1
1
0
U12
2
1
14638
U33
1
0
x
2
2393
U12
2
0
mark
1
0
0
0
21957
x
2
0
s
1
0
mark
1
1
1
U32
2
14639
U33
1
21958
isNat
1
1
plus
2
1
36711
U61
1
9712
U51
3
0
U11
3
0
active
1
1
7319
U31
3
7320
U41
2
0
active
1
0
U21
2
0
U22
1
0
tt
0
29277
U71
3
0
U13
1
1
51233
U22
1
1
43914
U51
3
1
3
40398
isNatKind
1
0
U41
2
1
2
46035
U31
3
0
and
2
0
U61
1
0
U33
active
X
U33
X
isNatKind
active
X
isNatKind
X
isNat
mark
X
isNat
X
U61
mark
X
U61
X
U33
mark
X
U33
X
isNat
active
X
isNat
X
isNatKind
mark
X
isNatKind
X
U61
active
X
U61
X
mark
0
active
0
false
NaTT
certifiable-1.6