aig 74 64 0 1 10
149
	 



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
i16 f_16
i17 f_17
i18 f_18
i19 f_19
i20 f_20
i21 f_21
i22 f_22
i23 f_23
i24 f_24
i25 f_25
i26 f_26
i27 f_27
i28 f_28
i29 f_29
i30 f_30
i31 f_31
i32 f_32
i33 f_33
i34 f_34
i35 f_35
i36 f_36
i37 f_37
i38 f_38
i39 f_39
i40 f_40
i41 f_41
i42 f_42
i43 f_43
i44 f_44
i45 f_45
i46 f_46
i47 f_47
i48 f_48
i49 f_49
i50 f_50
i51 f_51
i52 f_52
i53 f_53
i54 f_54
i55 f_55
i56 f_56
i57 f_57
i58 f_58
i59 f_59
i60 f_60
i61 f_61
i62 f_62
i63 f_63
o0 output_value
c
generated by xlsynth-g8r emit_aiger_binary