and
tt
X
activate
X
plus
N
0
N
plus
N
s
M
s
plus
N
M
x
N
0
0
x
N
s
M
plus
x
N
M
N
activate
X
X
2.2
x
N
s
M
x
N
M
plus
N
s
M
plus
N
M
x
N
s
M
plus
x
N
M
N
and
tt
X
activate
X
true
and
tt
X
activate
X
false
x
N
s
M
x
N
M
true
s
1
1
1
activate
1
0
and
2
0
plus
2
0
activate
1
0
x
2
0
0
0
0
x
2
2
0
plus
2
0
tt
0
0
and
2
0
x
N
s
M
plus
x
N
M
N
false
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
x
2
0
0
0
0
x
2
0
plus
2
0
tt
0
0
and
2
0
NaTT
certifiable-1.6