| aig 84 8 14 0 62 0 1 2 |
| 48 |
| 52 |
| 2 |
| 62 |
| 4 |
| 72 |
| 6 |
| 8 |
| 10 |
| 12 |
| 14 |
| 16 |
| 140 |
| 1 |
| 149 |
| 2 |
| 2 |
| 156 |
| 158 |
| 166 |
| 168 |
| "!#('?;"0%&P:: 4 |
| 4DD;$'dNN H |
| HX\]:svgu~{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 |
| c |
