aig 23 16 0 1 7
46


i0 f_0
i1 f_1
i2 f_2
i3 f_3
i4 f_4
i5 f_5
i6 f_6
i7 f_7
i8 f_8
i9 f_9
i10 f_10
i11 f_11
i12 f_12
i13 f_13
i14 f_14
i15 f_15
o0 output_value
c
generated by xlsynth-g8r emit_aiger_binary