aig 0 0 0 5 0
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
c
generated by xlsynth-g8r emit_aiger_binary