aig 1 1 0 1 0
3
i0 value
o0 output_value
c
generated by xlsynth-g8r emit_aiger_binary