and
tt
X
activate
X
plus
N
0
N
plus
N
s
M
s
plus
N
M
activate
X
X
2.2
and
tt
X
activate
X
plus
N
s
M
plus
N
M
true
plus
N
s
M
plus
N
M
true
s
1
1
1
activate
1
0
and
2
0
plus
2
2
0
activate
1
0
0
0
0
plus
2
0
tt
0
0
and
2
0
and
tt
X
activate
X
false
NaTT
certifiable-1.6