XAND32_2 A[31:0] b2 p2_[31:0] and32
XFA32_2 0 s1_[30:0] p2_[31:0] s2_[30:0] out2 fa32mul

XAND32_3 A[31:0] b3 p3_[31:0] and32
XFA32_3 0 s2_[30:0] p3_[31:0] s3_[30:0] out3 fa32mul

XAND32_4 A[31:0] b4 p4_[31:0] and32
XFA32_4 0 s3_[30:0] p4_[31:0] s4_[30:0] out4 fa32mul

XAND32_5 A[31:0] b5 p5_[31:0] and32
XFA32_5 0 s4_[30:0] p5_[31:0] s5_[30:0] out5 fa32mul

XAND32_6 A[31:0] b6 p6_[31:0] and32
XFA32_6 0 s5_[30:0] p6_[31:0] s6_[30:0] out6 fa32mul

XAND32_7 A[31:0] b7 p7_[31:0] and32
XFA32_7 0 s6_[30:0] p7_[31:0] s7_[30:0] out7 fa32mul

XAND32_8 A[31:0] b8 p8_[31:0] and32
XFA32_8 0 s7_[30:0] p8_[31:0] s8_[30:0] out8 fa32mul

XAND32_9 A[31:0] b9 p9_[31:0] and32
XFA32_9 0 s8_[30:0] p9_[31:0] s9_[30:0] out9 fa32mul

XAND32_10 A[31:0] b10 p10_[31:0] and32
XFA32_10 0 s9_[30:0] p10_[31:0] s10_[30:0] out10 fa32mul

XAND32_11 A[31:0] b11 p11_[31:0] and32
XFA32_11 0 s10_[30:0] p11_[31:0] s11_[30:0] out11 fa32mul

XAND32_12 A[31:0] b12 p12_[31:0] and32
XFA32_12 0 s11_[30:0] p12_[31:0] s12_[30:0] out12 fa32mul

XAND32_13 A[31:0] b13 p13_[31:0] and32
XFA32_13 0 s12_[30:0] p13_[31:0] s13_[30:0] out13 fa32mul

XAND32_14 A[31:0] b14 p14_[31:0] and32
XFA32_14 0 s13_[30:0] p14_[31:0] s14_[30:0] out14 fa32mul

XAND32_15 A[31:0] b15 p15_[31:0] and32
XFA32_15 0 s14_[30:0] p15_[31:0] s15_[30:0] out15 fa32mul

XAND32_16 A[31:0] b16 p16_[31:0] and32
XFA32_16 0 s15_[30:0] p16_[31:0] s16_[30:0] out16 fa32mul

XAND32_17 A[31:0] b17 p17_[31:0] and32
XFA32_17 0 s16_[30:0] p17_[31:0] s17_[30:0] out17 fa32mul

XAND32_18 A[31:0] b18 p18_[31:0] and32
XFA32_18 0 s17_[30:0] p18_[31:0] s18_[30:0] out18 fa32mul

XAND32_19 A[31:0] b19 p19_[31:0] and32
XFA32_19 0 s18_[30:0] p19_[31:0] s19_[30:0] out19 fa32mul

XAND32_20 A[31:0] b20 p20_[31:0] and32
XFA32_20 0 s19_[30:0] p20_[31:0] s20_[30:0] out20 fa32mul

XAND32_21 A[31:0] b21 p21_[31:0] and32
XFA32_21 0 s20_[30:0] p21_[31:0] s21_[30:0] out21 fa32mul

XAND32_22 A[31:0] b22 p22_[31:0] and32
XFA32_22 0 s21_[30:0] p22_[31:0] s22_[30:0] out22 fa32mul

XAND32_23 A[31:0] b23 p23_[31:0] and32
XFA32_23 0 s22_[30:0] p23_[31:0] s23_[30:0] out23 fa32mul

XAND32_24 A[31:0] b24 p24_[31:0] and32
XFA32_24 0 s23_[30:0] p24_[31:0] s24_[30:0] out24 fa32mul

XAND32_25 A[31:0] b25 p25_[31:0] and32
XFA32_25 0 s24_[30:0] p25_[31:0] s25_[30:0] out25 fa32mul

XAND32_26 A[31:0] b26 p26_[31:0] and32
XFA32_26 0 s25_[30:0] p26_[31:0] s26_[30:0] out26 fa32mul

XAND32_27 A[31:0] b27 p27_[31:0] and32
XFA32_27 0 s26_[30:0] p27_[31:0] s27_[30:0] out27 fa32mul

XAND32_28 A[31:0] b28 p28_[31:0] and32
XFA32_28 0 s27_[30:0] p28_[31:0] s28_[30:0] out28 fa32mul

XAND32_29 A[31:0] b29 p29_[31:0] and32
XFA32_29 0 s28_[30:0] p29_[31:0] s29_[30:0] out29 fa32mul

XAND32_30 A[31:0] b30 p30_[31:0] and32
XFA32_30 0 s29_[30:0] p30_[31:0] s30_[30:0] out30 fa32mul

XAND32_31 A[31:0] b31 p31_[31:0] and32
XFA32_31 0 s30_[30:0] p31_[31:0] s31_[30:0] out31 fa32mul