aig 37 8 0 4 29 74 51 32 30   +-,,? *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