aig 4 2 0 2 2
8
6

i0 value_0
i1 value_1
o0 output_value_0
o1 output_value_1
c
generated by xlsynth-g8r emit_aiger_binary