aig 22 5 0 5 17
3
45
41
35
25
	






	
&
i0 unbiased_exponent_in_0
i1 unbiased_exponent_in_1
i2 unbiased_exponent_in_2
i3 unbiased_exponent_in_3
i4 unbiased_exponent_in_4
o0 output_value_0
o1 output_value_1
o2 output_value_2
o3 output_value_3
o4 output_value_4
c
generated by xlsynth-g8r emit_aiger_binary