U11
tt
V2
U12
isNat
activate
V2
U12
tt
tt
U21
tt
tt
U31
tt
N
activate
N
U41
tt
M
N
U42
isNat
activate
N
activate
M
activate
N
U42
tt
M
N
s
plus
activate
N
activate
M
isNat
n__0
tt
isNat
n__plus
V1
V2
U11
isNat
activate
V1
activate
V2
isNat
n__s
V1
U21
isNat
activate
V1
plus
N
0
U31
isNat
N
N
plus
N
s
M
U41
isNat
M
M
N
0
n__0
plus
X1
X2
n__plus
X1
X2
s
X
n__s
X
activate
n__0
0
activate
n__plus
X1
X2
plus
X1
X2
activate
n__s
X
s
X
activate
X
X
2.2
U42
tt
M
N
plus
activate
N
activate
M
isNat
n__s
V1
isNat
activate
V1
U41
tt
M
N
isNat
activate
N
plus
N
s
M
isNat
M
plus
N
0
isNat
N
isNat
n__plus
V1
V2
activate
V1
isNat
n__plus
V1
V2
isNat
activate
V1
U41
tt
M
N
U42
isNat
activate
N
activate
M
activate
N
U41
tt
M
N
activate
N
isNat
n__plus
V1
V2
activate
V2
U11
tt
V2
isNat
activate
V2
isNat
n__s
V1
activate
V1
plus
N
0
U31
isNat
N
N
isNat
n__s
V1
U21
isNat
activate
V1
isNat
n__plus
V1
V2
U11
isNat
activate
V1
activate
V2
U31
tt
N
activate
N
activate
n__s
X
s
X
U11
tt
V2
U12
isNat
activate
V2
activate
n__0
0
U11
tt
V2
activate
V2
U41
tt
M
N
activate
N
U42
tt
M
N
activate
N
U42
tt
M
N
s
plus
activate
N
activate
M
plus
N
s
M
U41
isNat
M
M
N
U41
tt
M
N
activate
M
U42
tt
M
N
activate
M
activate
n__plus
X1
X2
plus
X1
X2
true
activate
n__plus
X1
X2
plus
X1
X2
isNat
n__plus
V1
V2
activate
V2
U42
tt
M
N
activate
M
U41
tt
M
N
activate
N
U41
tt
M
N
activate
M
U41
tt
M
N
U42
isNat
activate
N
activate
M
activate
N
plus
N
s
M
U41
isNat
M
M
N
isNat
n__plus
V1
V2
isNat
activate
V1
U42
tt
M
N
activate
N
isNat
n__plus
V1
V2
activate
V1
U41
tt
M
N
activate
N
U11
tt
V2
activate
V2
plus
N
0
isNat
N
plus
N
s
M
isNat
M
U41
tt
M
N
isNat
activate
N
isNat
n__s
V1
isNat
activate
V1
U31
tt
N
activate
N
isNat
n__plus
V1
V2
U11
isNat
activate
V1
activate
V2
plus
N
0
U31
isNat
N
N
isNat
n__s
V1
activate
V1
U42
tt
M
N
plus
activate
N
activate
M
U11
tt
V2
isNat
activate
V2
true
0
0
0
U21
1
1
4
U11
2
20823
s
1
1
3
isNat
1
1
0
U42
3
2
3
6
activate
1
1
0
plus
2
1
2
2
activate
1
1
0
U12
1
20824
n__s
1
1
3
U42
3
2
3
3
U12
1
0
0
0
1
s
1
0
n__plus
2
1
2
3
n__0
0
1
isNat
1
1
20819
plus
2
1
2
3
U11
2
2
1
U31
2
2
0
U41
3
2
3
4
U21
1
0
tt
0
20825
U41
3
2
3
6
U31
2
2
2
activate
X
X
U31
tt
N
activate
N
activate
n__0
0
activate
n__plus
X1
X2
plus
X1
X2
activate
n__s
X
s
X
U41
tt
M
N
U42
isNat
activate
N
activate
M
activate
N
plus
N
0
U31
isNat
N
N
s
X
n__s
X
0
n__0
plus
N
s
M
U41
isNat
M
M
N
plus
X1
X2
n__plus
X1
X2
U42
tt
M
N
s
plus
activate
N
activate
M
U42
tt
M
N
s
plus
activate
N
activate
M
false
isNat
n__s
V1
U21
isNat
activate
V1
false
U11
tt
V2
U12
isNat
activate
V2
false
activate
n__s
X
s
X
false
activate
n__0
0
false
NaTT
certifiable-1.6