aig 11 4 0 3 7
22
16
14




i0 value_0
i1 value_1
i2 value_2
i3 value_3
o0 output_value_0
o1 output_value_1
o2 output_value_2
c
generated by xlsynth-g8r emit_aiger_binary