aig 86 8 14 0 64 0 1 2 2
48
52
2
62
4
72
6
8
10
12
14
16
140
1
149
2
2
156
158
166
168
170
172
"
!

#(
'

?;

"0%&
P::
4
4

D
D;$'
dNN
H
H

X
\
]
:sv

gu~
{
qty„


{~
€
‚
i0 AIGER_NEXT_c0.run
i1 AIGER_NEXT_c1.run
i2 AIGER_NEXT_LTL_1_SPECF_1
i3 AIGER_NEXT_LTL_1_SPECF_3
i4 AIGER_NEXT_IGNORE_LTL_1
i5 AIGER_NEXT_LTL_2_SPECF_1
i6 AIGER_NEXT_LTL_2_SPECF_3
i7 AIGER_NEXT_IGNORE_LTL_2
l0 a0
l1 a1
l2 c0.run
l3 c0.req
l4 c1.run
l5 c1.req
l6 LTL_1_SPECF_1
l7 LTL_1_SPECF_3
l8 IGNORE_LTL_1
l9 LTL_2_SPECF_1
l10 LTL_2_SPECF_3
l11 IGNORE_LTL_2
l12 AIGER_VALID
l13 AIGER_INITIALIZED
c0 AIGER_INVAR_0
j0 AIGER_JUST_0
j1 AIGER_JUST_1
f0 AIGER_FAIR_0
f1 AIGER_FAIR_1
c
smvtoaig
1.9
s2cfair.flatsmv