aig 0 0 0 8 0
1
1
1
1
1
1
1
0
o0 output_value_0
o1 output_value_1
o2 output_value_2
o3 output_value_3
o4 output_value_4
o5 output_value_5
o6 output_value_6
o7 output_value_7
c
generated by xlsynth-g8r emit_aiger_binary