nats
adx
zeros
zeros
cons
n__0
n__zeros
incr
cons
X
Y
cons
n__s
activate
X
n__incr
activate
Y
adx
cons
X
Y
incr
cons
activate
X
n__adx
activate
Y
hd
cons
X
Y
activate
X
tl
cons
X
Y
activate
Y
0
n__0
zeros
n__zeros
s
X
n__s
X
incr
X
n__incr
X
adx
X
n__adx
X
activate
n__0
0
activate
n__zeros
zeros
activate
n__s
X
s
X
activate
n__incr
X
incr
activate
X
activate
n__adx
X
adx
activate
X
activate
X
X
2.2
activate
n__zeros
zeros
activate
n__adx
X
adx
activate
X
activate
n__incr
X
activate
X
incr
cons
X
Y
activate
Y
nats
zeros
activate
n__incr
X
incr
activate
X
adx
cons
X
Y
incr
cons
activate
X
n__adx
activate
Y
activate
n__adx
X
activate
X
nats
adx
zeros
hd
cons
X
Y
activate
X
adx
cons
X
Y
activate
Y
activate
n__0
0
tl
cons
X
Y
activate
Y
incr
cons
X
Y
activate
X
adx
cons
X
Y
activate
X
activate
n__s
X
s
X
true
tl
cons
X
Y
activate
Y
false
nats
zeros
false
hd
cons
X
Y
activate
X
false
nats
adx
zeros
false
adx
cons
X
Y
incr
cons
activate
X
n__adx
activate
Y
adx
cons
X
Y
activate
X
activate
n__incr
X
incr
activate
X
incr
cons
X
Y
activate
X
adx
cons
X
Y
activate
Y
incr
cons
X
Y
activate
Y
activate
n__incr
X
activate
X
activate
n__adx
X
adx
activate
X
activate
n__adx
X
activate
X
true
adx
1
1
5854
0
0
0
incr
1
1
0
hd
1
0
nats
0
0
s
1
1
0
n__adx
1
1
5854
activate
1
1
0
n__zeros
0
58713
activate
1
1
0
adx
1
1
5854
zeros
0
58713
tl
1
0
n__s
1
1
0
0
0
0
zeros
0
0
s
1
0
tl
1
0
incr
1
1
0
n__0
0
0
hd
1
0
nats
0
0
cons
2
1
2
0
n__incr
1
1
0
activate
n__adx
X
adx
activate
X
activate
n__incr
X
activate
X
incr
cons
X
Y
activate
Y
incr
cons
X
Y
activate
X
activate
n__incr
X
incr
activate
X
adx
cons
X
Y
incr
cons
activate
X
n__adx
activate
Y
adx
cons
X
Y
incr
cons
activate
X
n__adx
activate
Y
activate
n__incr
X
incr
activate
X
zeros
n__zeros
incr
cons
X
Y
cons
n__s
activate
X
n__incr
activate
Y
activate
n__adx
X
adx
activate
X
activate
X
X
incr
X
n__incr
X
0
n__0
activate
n__s
X
s
X
activate
n__0
0
adx
X
n__adx
X
s
X
n__s
X
activate
n__zeros
zeros
zeros
cons
n__0
n__zeros
adx
cons
X
Y
incr
cons
activate
X
n__adx
activate
Y
activate
n__incr
X
activate
X
activate
n__incr
X
incr
activate
X
incr
cons
X
Y
activate
Y
incr
cons
X
Y
activate
X
activate
n__adx
X
adx
activate
X
true
adx
1
1
5854
0
0
0
incr
1
1
0
hd
1
0
nats
0
0
s
1
1
0
n__adx
1
1
5854
activate
1
1
0
n__zeros
0
75018
activate
1
1
0
adx
1
1
5854
zeros
0
75018
tl
1
0
n__s
1
1
0
0
0
38551
zeros
0
0
s
1
0
tl
1
0
incr
1
1
0
n__0
0
38551
hd
1
0
nats
0
0
cons
2
1
36467
2
0
0
n__incr
1
1
0
activate
n__adx
X
adx
activate
X
incr
cons
X
Y
activate
Y
activate
n__incr
X
incr
activate
X
activate
n__incr
X
activate
X
adx
cons
X
Y
incr
cons
activate
X
n__adx
activate
Y
adx
cons
X
Y
incr
cons
activate
X
n__adx
activate
Y
activate
n__incr
X
incr
activate
X
zeros
n__zeros
incr
cons
X
Y
cons
n__s
activate
X
n__incr
activate
Y
activate
n__adx
X
adx
activate
X
activate
X
X
incr
X
n__incr
X
0
n__0
activate
n__s
X
s
X
activate
n__0
0
adx
X
n__adx
X
s
X
n__s
X
activate
n__zeros
zeros
zeros
cons
n__0
n__zeros
adx
cons
X
Y
incr
cons
activate
X
n__adx
activate
Y
activate
n__incr
X
activate
X
activate
n__incr
X
incr
activate
X
incr
cons
X
Y
activate
Y
activate
n__adx
X
adx
activate
X
true
Failed!
NaTT
certifiable-1.6