aig 64 64 0 32 0
66
68
70
72
74
76
78
80
82
84
86
88
90
92
94
96
98
100
102
104
106
108
110
112
114
116
118
120
122
124
126
128
i0 NB_0
i1 NB_1
i2 NB_2
i3 NB_3
i4 NB_4
i5 NB_5
i6 NB_6
i7 NB_7
i8 NB_8
i9 NB_9
i10 NB_10
i11 NB_11
i12 NB_12
i13 NB_13
i14 NB_14
i15 NB_15
i16 NB_16
i17 NB_17
i18 NB_18
i19 NB_19
i20 NB_20
i21 NB_21
i22 NB_22
i23 NB_23
i24 NB_24
i25 NB_25
i26 NB_26
i27 NB_27
i28 NB_28
i29 NB_29
i30 NB_30
i31 NB_31
i32 BE_0
i33 BE_1
i34 BE_2
i35 BE_3
i36 BE_4
i37 BE_5
i38 BE_6
i39 BE_7
i40 BE_8
i41 BE_9
i42 BE_10
i43 BE_11
i44 BE_12
i45 BE_13
i46 BE_14
i47 BE_15
i48 BE_16
i49 BE_17
i50 BE_18
i51 BE_19
i52 BE_20
i53 BE_21
i54 BE_22
i55 BE_23
i56 BE_24
i57 BE_25
i58 BE_26
i59 BE_27
i60 BE_28
i61 BE_29
i62 BE_30
i63 BE_31
o0 output_value_0
o1 output_value_1
o2 output_value_2
o3 output_value_3
o4 output_value_4
o5 output_value_5
o6 output_value_6
o7 output_value_7
o8 output_value_8
o9 output_value_9
o10 output_value_10
o11 output_value_11
o12 output_value_12
o13 output_value_13
o14 output_value_14
o15 output_value_15
o16 output_value_16
o17 output_value_17
o18 output_value_18
o19 output_value_19
o20 output_value_20
o21 output_value_21
o22 output_value_22
o23 output_value_23
o24 output_value_24
o25 output_value_25
o26 output_value_26
o27 output_value_27
o28 output_value_28
o29 output_value_29
o30 output_value_30
o31 output_value_31
c
generated by xlsynth-g8r emit_aiger_binary