aig 32 8 0 4 24
64
41
32
30


!
+
5

 i0 value_0
i1 value_1
i2 value_2
i3 value_3
i4 value_4
i5 value_5
i6 value_6
i7 value_7
o0 output_value_0
o1 output_value_1
o2 output_value_2
o3 output_value_3
c
generated by xlsynth-g8r emit_aiger_binary