ariths-gen/generated_circuits/blif_circuits/flat/u_arrmul16.blif

.model u_arrmul16
.inputs a[0] a[1] a[2] a[3] a[4] a[5] a[6] a[7] a[8] a[9] a[10] a[11] a[12] a[13] a[14] a[15] b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15]
.outputs u_arrmul16_out[0] u_arrmul16_out[1] u_arrmul16_out[2] u_arrmul16_out[3] u_arrmul16_out[4] u_arrmul16_out[5] u_arrmul16_out[6] u_arrmul16_out[7] u_arrmul16_out[8] u_arrmul16_out[9] u_arrmul16_out[10] u_arrmul16_out[11] u_arrmul16_out[12] u_arrmul16_out[13] u_arrmul16_out[14] u_arrmul16_out[15] u_arrmul16_out[16] u_arrmul16_out[17] u_arrmul16_out[18] u_arrmul16_out[19] u_arrmul16_out[20] u_arrmul16_out[21] u_arrmul16_out[22] u_arrmul16_out[23] u_arrmul16_out[24] u_arrmul16_out[25] u_arrmul16_out[26] u_arrmul16_out[27] u_arrmul16_out[28] u_arrmul16_out[29] u_arrmul16_out[30] u_arrmul16_out[31]
.names vdd
1
.names gnd
0
.names a[0] b[0] u_arrmul16_and0_0
11 1
.names a[1] b[0] u_arrmul16_and1_0
11 1
.names a[2] b[0] u_arrmul16_and2_0
11 1
.names a[3] b[0] u_arrmul16_and3_0
11 1
.names a[4] b[0] u_arrmul16_and4_0
11 1
.names a[5] b[0] u_arrmul16_and5_0
11 1
.names a[6] b[0] u_arrmul16_and6_0
11 1
.names a[7] b[0] u_arrmul16_and7_0
11 1
.names a[8] b[0] u_arrmul16_and8_0
11 1
.names a[9] b[0] u_arrmul16_and9_0
11 1
.names a[10] b[0] u_arrmul16_and10_0
11 1
.names a[11] b[0] u_arrmul16_and11_0
11 1
.names a[12] b[0] u_arrmul16_and12_0
11 1
.names a[13] b[0] u_arrmul16_and13_0
11 1
.names a[14] b[0] u_arrmul16_and14_0
11 1
.names a[15] b[0] u_arrmul16_and15_0
11 1
.names a[0] b[1] u_arrmul16_and0_1
11 1
.names u_arrmul16_and0_1 u_arrmul16_and1_0 u_arrmul16_ha0_1_xor0
01 1
10 1
.names u_arrmul16_and0_1 u_arrmul16_and1_0 u_arrmul16_ha0_1_and0
11 1
.names a[1] b[1] u_arrmul16_and1_1
11 1
.names u_arrmul16_and1_1 u_arrmul16_and2_0 u_arrmul16_fa1_1_xor0
01 1
10 1
.names u_arrmul16_and1_1 u_arrmul16_and2_0 u_arrmul16_fa1_1_and0
11 1
.names u_arrmul16_fa1_1_xor0 u_arrmul16_ha0_1_and0 u_arrmul16_fa1_1_xor1
01 1
10 1
.names u_arrmul16_fa1_1_xor0 u_arrmul16_ha0_1_and0 u_arrmul16_fa1_1_and1
11 1
.names u_arrmul16_fa1_1_and0 u_arrmul16_fa1_1_and1 u_arrmul16_fa1_1_or0
1- 1
-1 1
.names a[2] b[1] u_arrmul16_and2_1
11 1
.names u_arrmul16_and2_1 u_arrmul16_and3_0 u_arrmul16_fa2_1_xor0
01 1
10 1
.names u_arrmul16_and2_1 u_arrmul16_and3_0 u_arrmul16_fa2_1_and0
11 1
.names u_arrmul16_fa2_1_xor0 u_arrmul16_fa1_1_or0 u_arrmul16_fa2_1_xor1
01 1
10 1
.names u_arrmul16_fa2_1_xor0 u_arrmul16_fa1_1_or0 u_arrmul16_fa2_1_and1
11 1
.names u_arrmul16_fa2_1_and0 u_arrmul16_fa2_1_and1 u_arrmul16_fa2_1_or0
1- 1
-1 1
.names a[3] b[1] u_arrmul16_and3_1
11 1
.names u_arrmul16_and3_1 u_arrmul16_and4_0 u_arrmul16_fa3_1_xor0
01 1
10 1
.names u_arrmul16_and3_1 u_arrmul16_and4_0 u_arrmul16_fa3_1_and0
11 1
.names u_arrmul16_fa3_1_xor0 u_arrmul16_fa2_1_or0 u_arrmul16_fa3_1_xor1
01 1
10 1
.names u_arrmul16_fa3_1_xor0 u_arrmul16_fa2_1_or0 u_arrmul16_fa3_1_and1
11 1
.names u_arrmul16_fa3_1_and0 u_arrmul16_fa3_1_and1 u_arrmul16_fa3_1_or0
1- 1
-1 1
.names a[4] b[1] u_arrmul16_and4_1
11 1
.names u_arrmul16_and4_1 u_arrmul16_and5_0 u_arrmul16_fa4_1_xor0
01 1
10 1
.names u_arrmul16_and4_1 u_arrmul16_and5_0 u_arrmul16_fa4_1_and0
11 1
.names u_arrmul16_fa4_1_xor0 u_arrmul16_fa3_1_or0 u_arrmul16_fa4_1_xor1
01 1
10 1
.names u_arrmul16_fa4_1_xor0 u_arrmul16_fa3_1_or0 u_arrmul16_fa4_1_and1
11 1
.names u_arrmul16_fa4_1_and0 u_arrmul16_fa4_1_and1 u_arrmul16_fa4_1_or0
1- 1
-1 1
.names a[5] b[1] u_arrmul16_and5_1
11 1
.names u_arrmul16_and5_1 u_arrmul16_and6_0 u_arrmul16_fa5_1_xor0
01 1
10 1
.names u_arrmul16_and5_1 u_arrmul16_and6_0 u_arrmul16_fa5_1_and0
11 1
.names u_arrmul16_fa5_1_xor0 u_arrmul16_fa4_1_or0 u_arrmul16_fa5_1_xor1
01 1
10 1
.names u_arrmul16_fa5_1_xor0 u_arrmul16_fa4_1_or0 u_arrmul16_fa5_1_and1
11 1
.names u_arrmul16_fa5_1_and0 u_arrmul16_fa5_1_and1 u_arrmul16_fa5_1_or0
1- 1
-1 1
.names a[6] b[1] u_arrmul16_and6_1
11 1
.names u_arrmul16_and6_1 u_arrmul16_and7_0 u_arrmul16_fa6_1_xor0
01 1
10 1
.names u_arrmul16_and6_1 u_arrmul16_and7_0 u_arrmul16_fa6_1_and0
11 1
.names u_arrmul16_fa6_1_xor0 u_arrmul16_fa5_1_or0 u_arrmul16_fa6_1_xor1
01 1
10 1
.names u_arrmul16_fa6_1_xor0 u_arrmul16_fa5_1_or0 u_arrmul16_fa6_1_and1
11 1
.names u_arrmul16_fa6_1_and0 u_arrmul16_fa6_1_and1 u_arrmul16_fa6_1_or0
1- 1
-1 1
.names a[7] b[1] u_arrmul16_and7_1
11 1
.names u_arrmul16_and7_1 u_arrmul16_and8_0 u_arrmul16_fa7_1_xor0
01 1
10 1
.names u_arrmul16_and7_1 u_arrmul16_and8_0 u_arrmul16_fa7_1_and0
11 1
.names u_arrmul16_fa7_1_xor0 u_arrmul16_fa6_1_or0 u_arrmul16_fa7_1_xor1
01 1
10 1
.names u_arrmul16_fa7_1_xor0 u_arrmul16_fa6_1_or0 u_arrmul16_fa7_1_and1
11 1
.names u_arrmul16_fa7_1_and0 u_arrmul16_fa7_1_and1 u_arrmul16_fa7_1_or0
1- 1
-1 1
.names a[8] b[1] u_arrmul16_and8_1
11 1
.names u_arrmul16_and8_1 u_arrmul16_and9_0 u_arrmul16_fa8_1_xor0
01 1
10 1
.names u_arrmul16_and8_1 u_arrmul16_and9_0 u_arrmul16_fa8_1_and0
11 1
.names u_arrmul16_fa8_1_xor0 u_arrmul16_fa7_1_or0 u_arrmul16_fa8_1_xor1
01 1
10 1
.names u_arrmul16_fa8_1_xor0 u_arrmul16_fa7_1_or0 u_arrmul16_fa8_1_and1
11 1
.names u_arrmul16_fa8_1_and0 u_arrmul16_fa8_1_and1 u_arrmul16_fa8_1_or0
1- 1
-1 1
.names a[9] b[1] u_arrmul16_and9_1
11 1
.names u_arrmul16_and9_1 u_arrmul16_and10_0 u_arrmul16_fa9_1_xor0
01 1
10 1
.names u_arrmul16_and9_1 u_arrmul16_and10_0 u_arrmul16_fa9_1_and0
11 1
.names u_arrmul16_fa9_1_xor0 u_arrmul16_fa8_1_or0 u_arrmul16_fa9_1_xor1
01 1
10 1
.names u_arrmul16_fa9_1_xor0 u_arrmul16_fa8_1_or0 u_arrmul16_fa9_1_and1
11 1
.names u_arrmul16_fa9_1_and0 u_arrmul16_fa9_1_and1 u_arrmul16_fa9_1_or0
1- 1
-1 1
.names a[10] b[1] u_arrmul16_and10_1
11 1
.names u_arrmul16_and10_1 u_arrmul16_and11_0 u_arrmul16_fa10_1_xor0
01 1
10 1
.names u_arrmul16_and10_1 u_arrmul16_and11_0 u_arrmul16_fa10_1_and0
11 1
.names u_arrmul16_fa10_1_xor0 u_arrmul16_fa9_1_or0 u_arrmul16_fa10_1_xor1
01 1
10 1
.names u_arrmul16_fa10_1_xor0 u_arrmul16_fa9_1_or0 u_arrmul16_fa10_1_and1
11 1
.names u_arrmul16_fa10_1_and0 u_arrmul16_fa10_1_and1 u_arrmul16_fa10_1_or0
1- 1
-1 1
.names a[11] b[1] u_arrmul16_and11_1
11 1
.names u_arrmul16_and11_1 u_arrmul16_and12_0 u_arrmul16_fa11_1_xor0
01 1
10 1
.names u_arrmul16_and11_1 u_arrmul16_and12_0 u_arrmul16_fa11_1_and0
11 1
.names u_arrmul16_fa11_1_xor0 u_arrmul16_fa10_1_or0 u_arrmul16_fa11_1_xor1
01 1
10 1
.names u_arrmul16_fa11_1_xor0 u_arrmul16_fa10_1_or0 u_arrmul16_fa11_1_and1
11 1
.names u_arrmul16_fa11_1_and0 u_arrmul16_fa11_1_and1 u_arrmul16_fa11_1_or0
1- 1
-1 1
.names a[12] b[1] u_arrmul16_and12_1
11 1
.names u_arrmul16_and12_1 u_arrmul16_and13_0 u_arrmul16_fa12_1_xor0
01 1
10 1
.names u_arrmul16_and12_1 u_arrmul16_and13_0 u_arrmul16_fa12_1_and0
11 1
.names u_arrmul16_fa12_1_xor0 u_arrmul16_fa11_1_or0 u_arrmul16_fa12_1_xor1
01 1
10 1
.names u_arrmul16_fa12_1_xor0 u_arrmul16_fa11_1_or0 u_arrmul16_fa12_1_and1
11 1
.names u_arrmul16_fa12_1_and0 u_arrmul16_fa12_1_and1 u_arrmul16_fa12_1_or0
1- 1
-1 1
.names a[13] b[1] u_arrmul16_and13_1
11 1
.names u_arrmul16_and13_1 u_arrmul16_and14_0 u_arrmul16_fa13_1_xor0
01 1
10 1
.names u_arrmul16_and13_1 u_arrmul16_and14_0 u_arrmul16_fa13_1_and0
11 1
.names u_arrmul16_fa13_1_xor0 u_arrmul16_fa12_1_or0 u_arrmul16_fa13_1_xor1
01 1
10 1
.names u_arrmul16_fa13_1_xor0 u_arrmul16_fa12_1_or0 u_arrmul16_fa13_1_and1
11 1
.names u_arrmul16_fa13_1_and0 u_arrmul16_fa13_1_and1 u_arrmul16_fa13_1_or0
1- 1
-1 1
.names a[14] b[1] u_arrmul16_and14_1
11 1
.names u_arrmul16_and14_1 u_arrmul16_and15_0 u_arrmul16_fa14_1_xor0
01 1
10 1
.names u_arrmul16_and14_1 u_arrmul16_and15_0 u_arrmul16_fa14_1_and0
11 1
.names u_arrmul16_fa14_1_xor0 u_arrmul16_fa13_1_or0 u_arrmul16_fa14_1_xor1
01 1
10 1
.names u_arrmul16_fa14_1_xor0 u_arrmul16_fa13_1_or0 u_arrmul16_fa14_1_and1
11 1
.names u_arrmul16_fa14_1_and0 u_arrmul16_fa14_1_and1 u_arrmul16_fa14_1_or0
1- 1
-1 1
.names a[15] b[1] u_arrmul16_and15_1
11 1
.names u_arrmul16_and15_1 u_arrmul16_fa14_1_or0 u_arrmul16_ha15_1_xor0
01 1
10 1
.names u_arrmul16_and15_1 u_arrmul16_fa14_1_or0 u_arrmul16_ha15_1_and0
11 1
.names a[0] b[2] u_arrmul16_and0_2
11 1
.names u_arrmul16_and0_2 u_arrmul16_fa1_1_xor1 u_arrmul16_ha0_2_xor0
01 1
10 1
.names u_arrmul16_and0_2 u_arrmul16_fa1_1_xor1 u_arrmul16_ha0_2_and0
11 1
.names a[1] b[2] u_arrmul16_and1_2
11 1
.names u_arrmul16_and1_2 u_arrmul16_fa2_1_xor1 u_arrmul16_fa1_2_xor0
01 1
10 1
.names u_arrmul16_and1_2 u_arrmul16_fa2_1_xor1 u_arrmul16_fa1_2_and0
11 1
.names u_arrmul16_fa1_2_xor0 u_arrmul16_ha0_2_and0 u_arrmul16_fa1_2_xor1
01 1
10 1
.names u_arrmul16_fa1_2_xor0 u_arrmul16_ha0_2_and0 u_arrmul16_fa1_2_and1
11 1
.names u_arrmul16_fa1_2_and0 u_arrmul16_fa1_2_and1 u_arrmul16_fa1_2_or0
1- 1
-1 1
.names a[2] b[2] u_arrmul16_and2_2
11 1
.names u_arrmul16_and2_2 u_arrmul16_fa3_1_xor1 u_arrmul16_fa2_2_xor0
01 1
10 1
.names u_arrmul16_and2_2 u_arrmul16_fa3_1_xor1 u_arrmul16_fa2_2_and0
11 1
.names u_arrmul16_fa2_2_xor0 u_arrmul16_fa1_2_or0 u_arrmul16_fa2_2_xor1
01 1
10 1
.names u_arrmul16_fa2_2_xor0 u_arrmul16_fa1_2_or0 u_arrmul16_fa2_2_and1
11 1
.names u_arrmul16_fa2_2_and0 u_arrmul16_fa2_2_and1 u_arrmul16_fa2_2_or0
1- 1
-1 1
.names a[3] b[2] u_arrmul16_and3_2
11 1
.names u_arrmul16_and3_2 u_arrmul16_fa4_1_xor1 u_arrmul16_fa3_2_xor0
01 1
10 1
.names u_arrmul16_and3_2 u_arrmul16_fa4_1_xor1 u_arrmul16_fa3_2_and0
11 1
.names u_arrmul16_fa3_2_xor0 u_arrmul16_fa2_2_or0 u_arrmul16_fa3_2_xor1
01 1
10 1
.names u_arrmul16_fa3_2_xor0 u_arrmul16_fa2_2_or0 u_arrmul16_fa3_2_and1
11 1
.names u_arrmul16_fa3_2_and0 u_arrmul16_fa3_2_and1 u_arrmul16_fa3_2_or0
1- 1
-1 1
.names a[4] b[2] u_arrmul16_and4_2
11 1
.names u_arrmul16_and4_2 u_arrmul16_fa5_1_xor1 u_arrmul16_fa4_2_xor0
01 1
10 1
.names u_arrmul16_and4_2 u_arrmul16_fa5_1_xor1 u_arrmul16_fa4_2_and0
11 1
.names u_arrmul16_fa4_2_xor0 u_arrmul16_fa3_2_or0 u_arrmul16_fa4_2_xor1
01 1
10 1
.names u_arrmul16_fa4_2_xor0 u_arrmul16_fa3_2_or0 u_arrmul16_fa4_2_and1
11 1
.names u_arrmul16_fa4_2_and0 u_arrmul16_fa4_2_and1 u_arrmul16_fa4_2_or0
1- 1
-1 1
.names a[5] b[2] u_arrmul16_and5_2
11 1
.names u_arrmul16_and5_2 u_arrmul16_fa6_1_xor1 u_arrmul16_fa5_2_xor0
01 1
10 1
.names u_arrmul16_and5_2 u_arrmul16_fa6_1_xor1 u_arrmul16_fa5_2_and0
11 1
.names u_arrmul16_fa5_2_xor0 u_arrmul16_fa4_2_or0 u_arrmul16_fa5_2_xor1
01 1
10 1
.names u_arrmul16_fa5_2_xor0 u_arrmul16_fa4_2_or0 u_arrmul16_fa5_2_and1
11 1
.names u_arrmul16_fa5_2_and0 u_arrmul16_fa5_2_and1 u_arrmul16_fa5_2_or0
1- 1
-1 1
.names a[6] b[2] u_arrmul16_and6_2
11 1
.names u_arrmul16_and6_2 u_arrmul16_fa7_1_xor1 u_arrmul16_fa6_2_xor0
01 1
10 1
.names u_arrmul16_and6_2 u_arrmul16_fa7_1_xor1 u_arrmul16_fa6_2_and0
11 1
.names u_arrmul16_fa6_2_xor0 u_arrmul16_fa5_2_or0 u_arrmul16_fa6_2_xor1
01 1
10 1
.names u_arrmul16_fa6_2_xor0 u_arrmul16_fa5_2_or0 u_arrmul16_fa6_2_and1
11 1
.names u_arrmul16_fa6_2_and0 u_arrmul16_fa6_2_and1 u_arrmul16_fa6_2_or0
1- 1
-1 1
.names a[7] b[2] u_arrmul16_and7_2
11 1
.names u_arrmul16_and7_2 u_arrmul16_fa8_1_xor1 u_arrmul16_fa7_2_xor0
01 1
10 1
.names u_arrmul16_and7_2 u_arrmul16_fa8_1_xor1 u_arrmul16_fa7_2_and0
11 1
.names u_arrmul16_fa7_2_xor0 u_arrmul16_fa6_2_or0 u_arrmul16_fa7_2_xor1
01 1
10 1
.names u_arrmul16_fa7_2_xor0 u_arrmul16_fa6_2_or0 u_arrmul16_fa7_2_and1
11 1
.names u_arrmul16_fa7_2_and0 u_arrmul16_fa7_2_and1 u_arrmul16_fa7_2_or0
1- 1
-1 1
.names a[8] b[2] u_arrmul16_and8_2
11 1
.names u_arrmul16_and8_2 u_arrmul16_fa9_1_xor1 u_arrmul16_fa8_2_xor0
01 1
10 1
.names u_arrmul16_and8_2 u_arrmul16_fa9_1_xor1 u_arrmul16_fa8_2_and0
11 1
.names u_arrmul16_fa8_2_xor0 u_arrmul16_fa7_2_or0 u_arrmul16_fa8_2_xor1
01 1
10 1
.names u_arrmul16_fa8_2_xor0 u_arrmul16_fa7_2_or0 u_arrmul16_fa8_2_and1
11 1
.names u_arrmul16_fa8_2_and0 u_arrmul16_fa8_2_and1 u_arrmul16_fa8_2_or0
1- 1
-1 1
.names a[9] b[2] u_arrmul16_and9_2
11 1
.names u_arrmul16_and9_2 u_arrmul16_fa10_1_xor1 u_arrmul16_fa9_2_xor0
01 1
10 1
.names u_arrmul16_and9_2 u_arrmul16_fa10_1_xor1 u_arrmul16_fa9_2_and0
11 1
.names u_arrmul16_fa9_2_xor0 u_arrmul16_fa8_2_or0 u_arrmul16_fa9_2_xor1
01 1
10 1
.names u_arrmul16_fa9_2_xor0 u_arrmul16_fa8_2_or0 u_arrmul16_fa9_2_and1
11 1
.names u_arrmul16_fa9_2_and0 u_arrmul16_fa9_2_and1 u_arrmul16_fa9_2_or0
1- 1
-1 1
.names a[10] b[2] u_arrmul16_and10_2
11 1
.names u_arrmul16_and10_2 u_arrmul16_fa11_1_xor1 u_arrmul16_fa10_2_xor0
01 1
10 1
.names u_arrmul16_and10_2 u_arrmul16_fa11_1_xor1 u_arrmul16_fa10_2_and0
11 1
.names u_arrmul16_fa10_2_xor0 u_arrmul16_fa9_2_or0 u_arrmul16_fa10_2_xor1
01 1
10 1
.names u_arrmul16_fa10_2_xor0 u_arrmul16_fa9_2_or0 u_arrmul16_fa10_2_and1
11 1
.names u_arrmul16_fa10_2_and0 u_arrmul16_fa10_2_and1 u_arrmul16_fa10_2_or0
1- 1
-1 1
.names a[11] b[2] u_arrmul16_and11_2
11 1
.names u_arrmul16_and11_2 u_arrmul16_fa12_1_xor1 u_arrmul16_fa11_2_xor0
01 1
10 1
.names u_arrmul16_and11_2 u_arrmul16_fa12_1_xor1 u_arrmul16_fa11_2_and0
11 1
.names u_arrmul16_fa11_2_xor0 u_arrmul16_fa10_2_or0 u_arrmul16_fa11_2_xor1
01 1
10 1
.names u_arrmul16_fa11_2_xor0 u_arrmul16_fa10_2_or0 u_arrmul16_fa11_2_and1
11 1
.names u_arrmul16_fa11_2_and0 u_arrmul16_fa11_2_and1 u_arrmul16_fa11_2_or0
1- 1
-1 1
.names a[12] b[2] u_arrmul16_and12_2
11 1
.names u_arrmul16_and12_2 u_arrmul16_fa13_1_xor1 u_arrmul16_fa12_2_xor0
01 1
10 1
.names u_arrmul16_and12_2 u_arrmul16_fa13_1_xor1 u_arrmul16_fa12_2_and0
11 1
.names u_arrmul16_fa12_2_xor0 u_arrmul16_fa11_2_or0 u_arrmul16_fa12_2_xor1
01 1
10 1
.names u_arrmul16_fa12_2_xor0 u_arrmul16_fa11_2_or0 u_arrmul16_fa12_2_and1
11 1
.names u_arrmul16_fa12_2_and0 u_arrmul16_fa12_2_and1 u_arrmul16_fa12_2_or0
1- 1
-1 1
.names a[13] b[2] u_arrmul16_and13_2
11 1
.names u_arrmul16_and13_2 u_arrmul16_fa14_1_xor1 u_arrmul16_fa13_2_xor0
01 1
10 1
.names u_arrmul16_and13_2 u_arrmul16_fa14_1_xor1 u_arrmul16_fa13_2_and0
11 1
.names u_arrmul16_fa13_2_xor0 u_arrmul16_fa12_2_or0 u_arrmul16_fa13_2_xor1
01 1
10 1
.names u_arrmul16_fa13_2_xor0 u_arrmul16_fa12_2_or0 u_arrmul16_fa13_2_and1
11 1
.names u_arrmul16_fa13_2_and0 u_arrmul16_fa13_2_and1 u_arrmul16_fa13_2_or0
1- 1
-1 1
.names a[14] b[2] u_arrmul16_and14_2
11 1
.names u_arrmul16_and14_2 u_arrmul16_ha15_1_xor0 u_arrmul16_fa14_2_xor0
01 1
10 1
.names u_arrmul16_and14_2 u_arrmul16_ha15_1_xor0 u_arrmul16_fa14_2_and0
11 1
.names u_arrmul16_fa14_2_xor0 u_arrmul16_fa13_2_or0 u_arrmul16_fa14_2_xor1
01 1
10 1
.names u_arrmul16_fa14_2_xor0 u_arrmul16_fa13_2_or0 u_arrmul16_fa14_2_and1
11 1
.names u_arrmul16_fa14_2_and0 u_arrmul16_fa14_2_and1 u_arrmul16_fa14_2_or0
1- 1
-1 1
.names a[15] b[2] u_arrmul16_and15_2
11 1
.names u_arrmul16_and15_2 u_arrmul16_ha15_1_and0 u_arrmul16_fa15_2_xor0
01 1
10 1
.names u_arrmul16_and15_2 u_arrmul16_ha15_1_and0 u_arrmul16_fa15_2_and0
11 1
.names u_arrmul16_fa15_2_xor0 u_arrmul16_fa14_2_or0 u_arrmul16_fa15_2_xor1
01 1
10 1
.names u_arrmul16_fa15_2_xor0 u_arrmul16_fa14_2_or0 u_arrmul16_fa15_2_and1
11 1
.names u_arrmul16_fa15_2_and0 u_arrmul16_fa15_2_and1 u_arrmul16_fa15_2_or0
1- 1
-1 1
.names a[0] b[3] u_arrmul16_and0_3
11 1
.names u_arrmul16_and0_3 u_arrmul16_fa1_2_xor1 u_arrmul16_ha0_3_xor0
01 1
10 1
.names u_arrmul16_and0_3 u_arrmul16_fa1_2_xor1 u_arrmul16_ha0_3_and0
11 1
.names a[1] b[3] u_arrmul16_and1_3
11 1
.names u_arrmul16_and1_3 u_arrmul16_fa2_2_xor1 u_arrmul16_fa1_3_xor0
01 1
10 1
.names u_arrmul16_and1_3 u_arrmul16_fa2_2_xor1 u_arrmul16_fa1_3_and0
11 1
.names u_arrmul16_fa1_3_xor0 u_arrmul16_ha0_3_and0 u_arrmul16_fa1_3_xor1
01 1
10 1
.names u_arrmul16_fa1_3_xor0 u_arrmul16_ha0_3_and0 u_arrmul16_fa1_3_and1
11 1
.names u_arrmul16_fa1_3_and0 u_arrmul16_fa1_3_and1 u_arrmul16_fa1_3_or0
1- 1
-1 1
.names a[2] b[3] u_arrmul16_and2_3
11 1
.names u_arrmul16_and2_3 u_arrmul16_fa3_2_xor1 u_arrmul16_fa2_3_xor0
01 1
10 1
.names u_arrmul16_and2_3 u_arrmul16_fa3_2_xor1 u_arrmul16_fa2_3_and0
11 1
.names u_arrmul16_fa2_3_xor0 u_arrmul16_fa1_3_or0 u_arrmul16_fa2_3_xor1
01 1
10 1
.names u_arrmul16_fa2_3_xor0 u_arrmul16_fa1_3_or0 u_arrmul16_fa2_3_and1
11 1
.names u_arrmul16_fa2_3_and0 u_arrmul16_fa2_3_and1 u_arrmul16_fa2_3_or0
1- 1
-1 1
.names a[3] b[3] u_arrmul16_and3_3
11 1
.names u_arrmul16_and3_3 u_arrmul16_fa4_2_xor1 u_arrmul16_fa3_3_xor0
01 1
10 1
.names u_arrmul16_and3_3 u_arrmul16_fa4_2_xor1 u_arrmul16_fa3_3_and0
11 1
.names u_arrmul16_fa3_3_xor0 u_arrmul16_fa2_3_or0 u_arrmul16_fa3_3_xor1
01 1
10 1
.names u_arrmul16_fa3_3_xor0 u_arrmul16_fa2_3_or0 u_arrmul16_fa3_3_and1
11 1
.names u_arrmul16_fa3_3_and0 u_arrmul16_fa3_3_and1 u_arrmul16_fa3_3_or0
1- 1
-1 1
.names a[4] b[3] u_arrmul16_and4_3
11 1
.names u_arrmul16_and4_3 u_arrmul16_fa5_2_xor1 u_arrmul16_fa4_3_xor0
01 1
10 1
.names u_arrmul16_and4_3 u_arrmul16_fa5_2_xor1 u_arrmul16_fa4_3_and0
11 1
.names u_arrmul16_fa4_3_xor0 u_arrmul16_fa3_3_or0 u_arrmul16_fa4_3_xor1
01 1
10 1
.names u_arrmul16_fa4_3_xor0 u_arrmul16_fa3_3_or0 u_arrmul16_fa4_3_and1
11 1
.names u_arrmul16_fa4_3_and0 u_arrmul16_fa4_3_and1 u_arrmul16_fa4_3_or0
1- 1
-1 1
.names a[5] b[3] u_arrmul16_and5_3
11 1
.names u_arrmul16_and5_3 u_arrmul16_fa6_2_xor1 u_arrmul16_fa5_3_xor0
01 1
10 1
.names u_arrmul16_and5_3 u_arrmul16_fa6_2_xor1 u_arrmul16_fa5_3_and0
11 1
.names u_arrmul16_fa5_3_xor0 u_arrmul16_fa4_3_or0 u_arrmul16_fa5_3_xor1
01 1
10 1
.names u_arrmul16_fa5_3_xor0 u_arrmul16_fa4_3_or0 u_arrmul16_fa5_3_and1
11 1
.names u_arrmul16_fa5_3_and0 u_arrmul16_fa5_3_and1 u_arrmul16_fa5_3_or0
1- 1
-1 1
.names a[6] b[3] u_arrmul16_and6_3
11 1
.names u_arrmul16_and6_3 u_arrmul16_fa7_2_xor1 u_arrmul16_fa6_3_xor0
01 1
10 1
.names u_arrmul16_and6_3 u_arrmul16_fa7_2_xor1 u_arrmul16_fa6_3_and0
11 1
.names u_arrmul16_fa6_3_xor0 u_arrmul16_fa5_3_or0 u_arrmul16_fa6_3_xor1
01 1
10 1
.names u_arrmul16_fa6_3_xor0 u_arrmul16_fa5_3_or0 u_arrmul16_fa6_3_and1
11 1
.names u_arrmul16_fa6_3_and0 u_arrmul16_fa6_3_and1 u_arrmul16_fa6_3_or0
1- 1
-1 1
.names a[7] b[3] u_arrmul16_and7_3
11 1
.names u_arrmul16_and7_3 u_arrmul16_fa8_2_xor1 u_arrmul16_fa7_3_xor0
01 1
10 1
.names u_arrmul16_and7_3 u_arrmul16_fa8_2_xor1 u_arrmul16_fa7_3_and0
11 1
.names u_arrmul16_fa7_3_xor0 u_arrmul16_fa6_3_or0 u_arrmul16_fa7_3_xor1
01 1
10 1
.names u_arrmul16_fa7_3_xor0 u_arrmul16_fa6_3_or0 u_arrmul16_fa7_3_and1
11 1
.names u_arrmul16_fa7_3_and0 u_arrmul16_fa7_3_and1 u_arrmul16_fa7_3_or0
1- 1
-1 1
.names a[8] b[3] u_arrmul16_and8_3
11 1
.names u_arrmul16_and8_3 u_arrmul16_fa9_2_xor1 u_arrmul16_fa8_3_xor0
01 1
10 1
.names u_arrmul16_and8_3 u_arrmul16_fa9_2_xor1 u_arrmul16_fa8_3_and0
11 1
.names u_arrmul16_fa8_3_xor0 u_arrmul16_fa7_3_or0 u_arrmul16_fa8_3_xor1
01 1
10 1
.names u_arrmul16_fa8_3_xor0 u_arrmul16_fa7_3_or0 u_arrmul16_fa8_3_and1
11 1
.names u_arrmul16_fa8_3_and0 u_arrmul16_fa8_3_and1 u_arrmul16_fa8_3_or0
1- 1
-1 1
.names a[9] b[3] u_arrmul16_and9_3
11 1
.names u_arrmul16_and9_3 u_arrmul16_fa10_2_xor1 u_arrmul16_fa9_3_xor0
01 1
10 1
.names u_arrmul16_and9_3 u_arrmul16_fa10_2_xor1 u_arrmul16_fa9_3_and0
11 1
.names u_arrmul16_fa9_3_xor0 u_arrmul16_fa8_3_or0 u_arrmul16_fa9_3_xor1
01 1
10 1
.names u_arrmul16_fa9_3_xor0 u_arrmul16_fa8_3_or0 u_arrmul16_fa9_3_and1
11 1
.names u_arrmul16_fa9_3_and0 u_arrmul16_fa9_3_and1 u_arrmul16_fa9_3_or0
1- 1
-1 1
.names a[10] b[3] u_arrmul16_and10_3
11 1
.names u_arrmul16_and10_3 u_arrmul16_fa11_2_xor1 u_arrmul16_fa10_3_xor0
01 1
10 1
.names u_arrmul16_and10_3 u_arrmul16_fa11_2_xor1 u_arrmul16_fa10_3_and0
11 1
.names u_arrmul16_fa10_3_xor0 u_arrmul16_fa9_3_or0 u_arrmul16_fa10_3_xor1
01 1
10 1
.names u_arrmul16_fa10_3_xor0 u_arrmul16_fa9_3_or0 u_arrmul16_fa10_3_and1
11 1
.names u_arrmul16_fa10_3_and0 u_arrmul16_fa10_3_and1 u_arrmul16_fa10_3_or0
1- 1
-1 1
.names a[11] b[3] u_arrmul16_and11_3
11 1
.names u_arrmul16_and11_3 u_arrmul16_fa12_2_xor1 u_arrmul16_fa11_3_xor0
01 1
10 1
.names u_arrmul16_and11_3 u_arrmul16_fa12_2_xor1 u_arrmul16_fa11_3_and0
11 1
.names u_arrmul16_fa11_3_xor0 u_arrmul16_fa10_3_or0 u_arrmul16_fa11_3_xor1
01 1
10 1
.names u_arrmul16_fa11_3_xor0 u_arrmul16_fa10_3_or0 u_arrmul16_fa11_3_and1
11 1
.names u_arrmul16_fa11_3_and0 u_arrmul16_fa11_3_and1 u_arrmul16_fa11_3_or0
1- 1
-1 1
.names a[12] b[3] u_arrmul16_and12_3
11 1
.names u_arrmul16_and12_3 u_arrmul16_fa13_2_xor1 u_arrmul16_fa12_3_xor0
01 1
10 1
.names u_arrmul16_and12_3 u_arrmul16_fa13_2_xor1 u_arrmul16_fa12_3_and0
11 1
.names u_arrmul16_fa12_3_xor0 u_arrmul16_fa11_3_or0 u_arrmul16_fa12_3_xor1
01 1
10 1
.names u_arrmul16_fa12_3_xor0 u_arrmul16_fa11_3_or0 u_arrmul16_fa12_3_and1
11 1
.names u_arrmul16_fa12_3_and0 u_arrmul16_fa12_3_and1 u_arrmul16_fa12_3_or0
1- 1
-1 1
.names a[13] b[3] u_arrmul16_and13_3
11 1
.names u_arrmul16_and13_3 u_arrmul16_fa14_2_xor1 u_arrmul16_fa13_3_xor0
01 1
10 1
.names u_arrmul16_and13_3 u_arrmul16_fa14_2_xor1 u_arrmul16_fa13_3_and0
11 1
.names u_arrmul16_fa13_3_xor0 u_arrmul16_fa12_3_or0 u_arrmul16_fa13_3_xor1
01 1
10 1
.names u_arrmul16_fa13_3_xor0 u_arrmul16_fa12_3_or0 u_arrmul16_fa13_3_and1
11 1
.names u_arrmul16_fa13_3_and0 u_arrmul16_fa13_3_and1 u_arrmul16_fa13_3_or0
1- 1
-1 1
.names a[14] b[3] u_arrmul16_and14_3
11 1
.names u_arrmul16_and14_3 u_arrmul16_fa15_2_xor1 u_arrmul16_fa14_3_xor0
01 1
10 1
.names u_arrmul16_and14_3 u_arrmul16_fa15_2_xor1 u_arrmul16_fa14_3_and0
11 1
.names u_arrmul16_fa14_3_xor0 u_arrmul16_fa13_3_or0 u_arrmul16_fa14_3_xor1
01 1
10 1
.names u_arrmul16_fa14_3_xor0 u_arrmul16_fa13_3_or0 u_arrmul16_fa14_3_and1
11 1
.names u_arrmul16_fa14_3_and0 u_arrmul16_fa14_3_and1 u_arrmul16_fa14_3_or0
1- 1
-1 1
.names a[15] b[3] u_arrmul16_and15_3
11 1
.names u_arrmul16_and15_3 u_arrmul16_fa15_2_or0 u_arrmul16_fa15_3_xor0
01 1
10 1
.names u_arrmul16_and15_3 u_arrmul16_fa15_2_or0 u_arrmul16_fa15_3_and0
11 1
.names u_arrmul16_fa15_3_xor0 u_arrmul16_fa14_3_or0 u_arrmul16_fa15_3_xor1
01 1
10 1
.names u_arrmul16_fa15_3_xor0 u_arrmul16_fa14_3_or0 u_arrmul16_fa15_3_and1
11 1
.names u_arrmul16_fa15_3_and0 u_arrmul16_fa15_3_and1 u_arrmul16_fa15_3_or0
1- 1
-1 1
.names a[0] b[4] u_arrmul16_and0_4
11 1
.names u_arrmul16_and0_4 u_arrmul16_fa1_3_xor1 u_arrmul16_ha0_4_xor0
01 1
10 1
.names u_arrmul16_and0_4 u_arrmul16_fa1_3_xor1 u_arrmul16_ha0_4_and0
11 1
.names a[1] b[4] u_arrmul16_and1_4
11 1
.names u_arrmul16_and1_4 u_arrmul16_fa2_3_xor1 u_arrmul16_fa1_4_xor0
01 1
10 1
.names u_arrmul16_and1_4 u_arrmul16_fa2_3_xor1 u_arrmul16_fa1_4_and0
11 1
.names u_arrmul16_fa1_4_xor0 u_arrmul16_ha0_4_and0 u_arrmul16_fa1_4_xor1
01 1
10 1
.names u_arrmul16_fa1_4_xor0 u_arrmul16_ha0_4_and0 u_arrmul16_fa1_4_and1
11 1
.names u_arrmul16_fa1_4_and0 u_arrmul16_fa1_4_and1 u_arrmul16_fa1_4_or0
1- 1
-1 1
.names a[2] b[4] u_arrmul16_and2_4
11 1
.names u_arrmul16_and2_4 u_arrmul16_fa3_3_xor1 u_arrmul16_fa2_4_xor0
01 1
10 1
.names u_arrmul16_and2_4 u_arrmul16_fa3_3_xor1 u_arrmul16_fa2_4_and0
11 1
.names u_arrmul16_fa2_4_xor0 u_arrmul16_fa1_4_or0 u_arrmul16_fa2_4_xor1
01 1
10 1
.names u_arrmul16_fa2_4_xor0 u_arrmul16_fa1_4_or0 u_arrmul16_fa2_4_and1
11 1
.names u_arrmul16_fa2_4_and0 u_arrmul16_fa2_4_and1 u_arrmul16_fa2_4_or0
1- 1
-1 1
.names a[3] b[4] u_arrmul16_and3_4
11 1
.names u_arrmul16_and3_4 u_arrmul16_fa4_3_xor1 u_arrmul16_fa3_4_xor0
01 1
10 1
.names u_arrmul16_and3_4 u_arrmul16_fa4_3_xor1 u_arrmul16_fa3_4_and0
11 1
.names u_arrmul16_fa3_4_xor0 u_arrmul16_fa2_4_or0 u_arrmul16_fa3_4_xor1
01 1
10 1
.names u_arrmul16_fa3_4_xor0 u_arrmul16_fa2_4_or0 u_arrmul16_fa3_4_and1
11 1
.names u_arrmul16_fa3_4_and0 u_arrmul16_fa3_4_and1 u_arrmul16_fa3_4_or0
1- 1
-1 1
.names a[4] b[4] u_arrmul16_and4_4
11 1
.names u_arrmul16_and4_4 u_arrmul16_fa5_3_xor1 u_arrmul16_fa4_4_xor0
01 1
10 1
.names u_arrmul16_and4_4 u_arrmul16_fa5_3_xor1 u_arrmul16_fa4_4_and0
11 1
.names u_arrmul16_fa4_4_xor0 u_arrmul16_fa3_4_or0 u_arrmul16_fa4_4_xor1
01 1
10 1
.names u_arrmul16_fa4_4_xor0 u_arrmul16_fa3_4_or0 u_arrmul16_fa4_4_and1
11 1
.names u_arrmul16_fa4_4_and0 u_arrmul16_fa4_4_and1 u_arrmul16_fa4_4_or0
1- 1
-1 1
.names a[5] b[4] u_arrmul16_and5_4
11 1
.names u_arrmul16_and5_4 u_arrmul16_fa6_3_xor1 u_arrmul16_fa5_4_xor0
01 1
10 1
.names u_arrmul16_and5_4 u_arrmul16_fa6_3_xor1 u_arrmul16_fa5_4_and0
11 1
.names u_arrmul16_fa5_4_xor0 u_arrmul16_fa4_4_or0 u_arrmul16_fa5_4_xor1
01 1
10 1
.names u_arrmul16_fa5_4_xor0 u_arrmul16_fa4_4_or0 u_arrmul16_fa5_4_and1
11 1
.names u_arrmul16_fa5_4_and0 u_arrmul16_fa5_4_and1 u_arrmul16_fa5_4_or0
1- 1
-1 1
.names a[6] b[4] u_arrmul16_and6_4
11 1
.names u_arrmul16_and6_4 u_arrmul16_fa7_3_xor1 u_arrmul16_fa6_4_xor0
01 1
10 1
.names u_arrmul16_and6_4 u_arrmul16_fa7_3_xor1 u_arrmul16_fa6_4_and0
11 1
.names u_arrmul16_fa6_4_xor0 u_arrmul16_fa5_4_or0 u_arrmul16_fa6_4_xor1
01 1
10 1
.names u_arrmul16_fa6_4_xor0 u_arrmul16_fa5_4_or0 u_arrmul16_fa6_4_and1
11 1
.names u_arrmul16_fa6_4_and0 u_arrmul16_fa6_4_and1 u_arrmul16_fa6_4_or0
1- 1
-1 1
.names a[7] b[4] u_arrmul16_and7_4
11 1
.names u_arrmul16_and7_4 u_arrmul16_fa8_3_xor1 u_arrmul16_fa7_4_xor0
01 1
10 1
.names u_arrmul16_and7_4 u_arrmul16_fa8_3_xor1 u_arrmul16_fa7_4_and0
11 1
.names u_arrmul16_fa7_4_xor0 u_arrmul16_fa6_4_or0 u_arrmul16_fa7_4_xor1
01 1
10 1
.names u_arrmul16_fa7_4_xor0 u_arrmul16_fa6_4_or0 u_arrmul16_fa7_4_and1
11 1
.names u_arrmul16_fa7_4_and0 u_arrmul16_fa7_4_and1 u_arrmul16_fa7_4_or0
1- 1
-1 1
.names a[8] b[4] u_arrmul16_and8_4
11 1
.names u_arrmul16_and8_4 u_arrmul16_fa9_3_xor1 u_arrmul16_fa8_4_xor0
01 1
10 1
.names u_arrmul16_and8_4 u_arrmul16_fa9_3_xor1 u_arrmul16_fa8_4_and0
11 1
.names u_arrmul16_fa8_4_xor0 u_arrmul16_fa7_4_or0 u_arrmul16_fa8_4_xor1
01 1
10 1
.names u_arrmul16_fa8_4_xor0 u_arrmul16_fa7_4_or0 u_arrmul16_fa8_4_and1
11 1
.names u_arrmul16_fa8_4_and0 u_arrmul16_fa8_4_and1 u_arrmul16_fa8_4_or0
1- 1
-1 1
.names a[9] b[4] u_arrmul16_and9_4
11 1
.names u_arrmul16_and9_4 u_arrmul16_fa10_3_xor1 u_arrmul16_fa9_4_xor0
01 1
10 1
.names u_arrmul16_and9_4 u_arrmul16_fa10_3_xor1 u_arrmul16_fa9_4_and0
11 1
.names u_arrmul16_fa9_4_xor0 u_arrmul16_fa8_4_or0 u_arrmul16_fa9_4_xor1
01 1
10 1
.names u_arrmul16_fa9_4_xor0 u_arrmul16_fa8_4_or0 u_arrmul16_fa9_4_and1
11 1
.names u_arrmul16_fa9_4_and0 u_arrmul16_fa9_4_and1 u_arrmul16_fa9_4_or0
1- 1
-1 1
.names a[10] b[4] u_arrmul16_and10_4
11 1
.names u_arrmul16_and10_4 u_arrmul16_fa11_3_xor1 u_arrmul16_fa10_4_xor0
01 1
10 1
.names u_arrmul16_and10_4 u_arrmul16_fa11_3_xor1 u_arrmul16_fa10_4_and0
11 1
.names u_arrmul16_fa10_4_xor0 u_arrmul16_fa9_4_or0 u_arrmul16_fa10_4_xor1
01 1
10 1
.names u_arrmul16_fa10_4_xor0 u_arrmul16_fa9_4_or0 u_arrmul16_fa10_4_and1
11 1
.names u_arrmul16_fa10_4_and0 u_arrmul16_fa10_4_and1 u_arrmul16_fa10_4_or0
1- 1
-1 1
.names a[11] b[4] u_arrmul16_and11_4
11 1
.names u_arrmul16_and11_4 u_arrmul16_fa12_3_xor1 u_arrmul16_fa11_4_xor0
01 1
10 1
.names u_arrmul16_and11_4 u_arrmul16_fa12_3_xor1 u_arrmul16_fa11_4_and0
11 1
.names u_arrmul16_fa11_4_xor0 u_arrmul16_fa10_4_or0 u_arrmul16_fa11_4_xor1
01 1
10 1
.names u_arrmul16_fa11_4_xor0 u_arrmul16_fa10_4_or0 u_arrmul16_fa11_4_and1
11 1
.names u_arrmul16_fa11_4_and0 u_arrmul16_fa11_4_and1 u_arrmul16_fa11_4_or0
1- 1
-1 1
.names a[12] b[4] u_arrmul16_and12_4
11 1
.names u_arrmul16_and12_4 u_arrmul16_fa13_3_xor1 u_arrmul16_fa12_4_xor0
01 1
10 1
.names u_arrmul16_and12_4 u_arrmul16_fa13_3_xor1 u_arrmul16_fa12_4_and0
11 1
.names u_arrmul16_fa12_4_xor0 u_arrmul16_fa11_4_or0 u_arrmul16_fa12_4_xor1
01 1
10 1
.names u_arrmul16_fa12_4_xor0 u_arrmul16_fa11_4_or0 u_arrmul16_fa12_4_and1
11 1
.names u_arrmul16_fa12_4_and0 u_arrmul16_fa12_4_and1 u_arrmul16_fa12_4_or0
1- 1
-1 1
.names a[13] b[4] u_arrmul16_and13_4
11 1
.names u_arrmul16_and13_4 u_arrmul16_fa14_3_xor1 u_arrmul16_fa13_4_xor0
01 1
10 1
.names u_arrmul16_and13_4 u_arrmul16_fa14_3_xor1 u_arrmul16_fa13_4_and0
11 1
.names u_arrmul16_fa13_4_xor0 u_arrmul16_fa12_4_or0 u_arrmul16_fa13_4_xor1
01 1
10 1
.names u_arrmul16_fa13_4_xor0 u_arrmul16_fa12_4_or0 u_arrmul16_fa13_4_and1
11 1
.names u_arrmul16_fa13_4_and0 u_arrmul16_fa13_4_and1 u_arrmul16_fa13_4_or0
1- 1
-1 1
.names a[14] b[4] u_arrmul16_and14_4
11 1
.names u_arrmul16_and14_4 u_arrmul16_fa15_3_xor1 u_arrmul16_fa14_4_xor0
01 1
10 1
.names u_arrmul16_and14_4 u_arrmul16_fa15_3_xor1 u_arrmul16_fa14_4_and0
11 1
.names u_arrmul16_fa14_4_xor0 u_arrmul16_fa13_4_or0 u_arrmul16_fa14_4_xor1
01 1
10 1
.names u_arrmul16_fa14_4_xor0 u_arrmul16_fa13_4_or0 u_arrmul16_fa14_4_and1
11 1
.names u_arrmul16_fa14_4_and0 u_arrmul16_fa14_4_and1 u_arrmul16_fa14_4_or0
1- 1
-1 1
.names a[15] b[4] u_arrmul16_and15_4
11 1
.names u_arrmul16_and15_4 u_arrmul16_fa15_3_or0 u_arrmul16_fa15_4_xor0
01 1
10 1
.names u_arrmul16_and15_4 u_arrmul16_fa15_3_or0 u_arrmul16_fa15_4_and0
11 1
.names u_arrmul16_fa15_4_xor0 u_arrmul16_fa14_4_or0 u_arrmul16_fa15_4_xor1
01 1
10 1
.names u_arrmul16_fa15_4_xor0 u_arrmul16_fa14_4_or0 u_arrmul16_fa15_4_and1
11 1
.names u_arrmul16_fa15_4_and0 u_arrmul16_fa15_4_and1 u_arrmul16_fa15_4_or0
1- 1
-1 1
.names a[0] b[5] u_arrmul16_and0_5
11 1
.names u_arrmul16_and0_5 u_arrmul16_fa1_4_xor1 u_arrmul16_ha0_5_xor0
01 1
10 1
.names u_arrmul16_and0_5 u_arrmul16_fa1_4_xor1 u_arrmul16_ha0_5_and0
11 1
.names a[1] b[5] u_arrmul16_and1_5
11 1
.names u_arrmul16_and1_5 u_arrmul16_fa2_4_xor1 u_arrmul16_fa1_5_xor0
01 1
10 1
.names u_arrmul16_and1_5 u_arrmul16_fa2_4_xor1 u_arrmul16_fa1_5_and0
11 1
.names u_arrmul16_fa1_5_xor0 u_arrmul16_ha0_5_and0 u_arrmul16_fa1_5_xor1
01 1
10 1
.names u_arrmul16_fa1_5_xor0 u_arrmul16_ha0_5_and0 u_arrmul16_fa1_5_and1
11 1
.names u_arrmul16_fa1_5_and0 u_arrmul16_fa1_5_and1 u_arrmul16_fa1_5_or0
1- 1
-1 1
.names a[2] b[5] u_arrmul16_and2_5
11 1
.names u_arrmul16_and2_5 u_arrmul16_fa3_4_xor1 u_arrmul16_fa2_5_xor0
01 1
10 1
.names u_arrmul16_and2_5 u_arrmul16_fa3_4_xor1 u_arrmul16_fa2_5_and0
11 1
.names u_arrmul16_fa2_5_xor0 u_arrmul16_fa1_5_or0 u_arrmul16_fa2_5_xor1
01 1
10 1
.names u_arrmul16_fa2_5_xor0 u_arrmul16_fa1_5_or0 u_arrmul16_fa2_5_and1
11 1
.names u_arrmul16_fa2_5_and0 u_arrmul16_fa2_5_and1 u_arrmul16_fa2_5_or0
1- 1
-1 1
.names a[3] b[5] u_arrmul16_and3_5
11 1
.names u_arrmul16_and3_5 u_arrmul16_fa4_4_xor1 u_arrmul16_fa3_5_xor0
01 1
10 1
.names u_arrmul16_and3_5 u_arrmul16_fa4_4_xor1 u_arrmul16_fa3_5_and0
11 1
.names u_arrmul16_fa3_5_xor0 u_arrmul16_fa2_5_or0 u_arrmul16_fa3_5_xor1
01 1
10 1
.names u_arrmul16_fa3_5_xor0 u_arrmul16_fa2_5_or0 u_arrmul16_fa3_5_and1
11 1
.names u_arrmul16_fa3_5_and0 u_arrmul16_fa3_5_and1 u_arrmul16_fa3_5_or0
1- 1
-1 1
.names a[4] b[5] u_arrmul16_and4_5
11 1
.names u_arrmul16_and4_5 u_arrmul16_fa5_4_xor1 u_arrmul16_fa4_5_xor0
01 1
10 1
.names u_arrmul16_and4_5 u_arrmul16_fa5_4_xor1 u_arrmul16_fa4_5_and0
11 1
.names u_arrmul16_fa4_5_xor0 u_arrmul16_fa3_5_or0 u_arrmul16_fa4_5_xor1
01 1
10 1
.names u_arrmul16_fa4_5_xor0 u_arrmul16_fa3_5_or0 u_arrmul16_fa4_5_and1
11 1
.names u_arrmul16_fa4_5_and0 u_arrmul16_fa4_5_and1 u_arrmul16_fa4_5_or0
1- 1
-1 1
.names a[5] b[5] u_arrmul16_and5_5
11 1
.names u_arrmul16_and5_5 u_arrmul16_fa6_4_xor1 u_arrmul16_fa5_5_xor0
01 1
10 1
.names u_arrmul16_and5_5 u_arrmul16_fa6_4_xor1 u_arrmul16_fa5_5_and0
11 1
.names u_arrmul16_fa5_5_xor0 u_arrmul16_fa4_5_or0 u_arrmul16_fa5_5_xor1
01 1
10 1
.names u_arrmul16_fa5_5_xor0 u_arrmul16_fa4_5_or0 u_arrmul16_fa5_5_and1
11 1
.names u_arrmul16_fa5_5_and0 u_arrmul16_fa5_5_and1 u_arrmul16_fa5_5_or0
1- 1
-1 1
.names a[6] b[5] u_arrmul16_and6_5
11 1
.names u_arrmul16_and6_5 u_arrmul16_fa7_4_xor1 u_arrmul16_fa6_5_xor0
01 1
10 1
.names u_arrmul16_and6_5 u_arrmul16_fa7_4_xor1 u_arrmul16_fa6_5_and0
11 1
.names u_arrmul16_fa6_5_xor0 u_arrmul16_fa5_5_or0 u_arrmul16_fa6_5_xor1
01 1
10 1
.names u_arrmul16_fa6_5_xor0 u_arrmul16_fa5_5_or0 u_arrmul16_fa6_5_and1
11 1
.names u_arrmul16_fa6_5_and0 u_arrmul16_fa6_5_and1 u_arrmul16_fa6_5_or0
1- 1
-1 1
.names a[7] b[5] u_arrmul16_and7_5
11 1
.names u_arrmul16_and7_5 u_arrmul16_fa8_4_xor1 u_arrmul16_fa7_5_xor0
01 1
10 1
.names u_arrmul16_and7_5 u_arrmul16_fa8_4_xor1 u_arrmul16_fa7_5_and0
11 1
.names u_arrmul16_fa7_5_xor0 u_arrmul16_fa6_5_or0 u_arrmul16_fa7_5_xor1
01 1
10 1
.names u_arrmul16_fa7_5_xor0 u_arrmul16_fa6_5_or0 u_arrmul16_fa7_5_and1
11 1
.names u_arrmul16_fa7_5_and0 u_arrmul16_fa7_5_and1 u_arrmul16_fa7_5_or0
1- 1
-1 1
.names a[8] b[5] u_arrmul16_and8_5
11 1
.names u_arrmul16_and8_5 u_arrmul16_fa9_4_xor1 u_arrmul16_fa8_5_xor0
01 1
10 1
.names u_arrmul16_and8_5 u_arrmul16_fa9_4_xor1 u_arrmul16_fa8_5_and0
11 1
.names u_arrmul16_fa8_5_xor0 u_arrmul16_fa7_5_or0 u_arrmul16_fa8_5_xor1
01 1
10 1
.names u_arrmul16_fa8_5_xor0 u_arrmul16_fa7_5_or0 u_arrmul16_fa8_5_and1
11 1
.names u_arrmul16_fa8_5_and0 u_arrmul16_fa8_5_and1 u_arrmul16_fa8_5_or0
1- 1
-1 1
.names a[9] b[5] u_arrmul16_and9_5
11 1
.names u_arrmul16_and9_5 u_arrmul16_fa10_4_xor1 u_arrmul16_fa9_5_xor0
01 1
10 1
.names u_arrmul16_and9_5 u_arrmul16_fa10_4_xor1 u_arrmul16_fa9_5_and0
11 1
.names u_arrmul16_fa9_5_xor0 u_arrmul16_fa8_5_or0 u_arrmul16_fa9_5_xor1
01 1
10 1
.names u_arrmul16_fa9_5_xor0 u_arrmul16_fa8_5_or0 u_arrmul16_fa9_5_and1
11 1
.names u_arrmul16_fa9_5_and0 u_arrmul16_fa9_5_and1 u_arrmul16_fa9_5_or0
1- 1
-1 1
.names a[10] b[5] u_arrmul16_and10_5
11 1
.names u_arrmul16_and10_5 u_arrmul16_fa11_4_xor1 u_arrmul16_fa10_5_xor0
01 1
10 1
.names u_arrmul16_and10_5 u_arrmul16_fa11_4_xor1 u_arrmul16_fa10_5_and0
11 1
.names u_arrmul16_fa10_5_xor0 u_arrmul16_fa9_5_or0 u_arrmul16_fa10_5_xor1
01 1
10 1
.names u_arrmul16_fa10_5_xor0 u_arrmul16_fa9_5_or0 u_arrmul16_fa10_5_and1
11 1
.names u_arrmul16_fa10_5_and0 u_arrmul16_fa10_5_and1 u_arrmul16_fa10_5_or0
1- 1
-1 1
.names a[11] b[5] u_arrmul16_and11_5
11 1
.names u_arrmul16_and11_5 u_arrmul16_fa12_4_xor1 u_arrmul16_fa11_5_xor0
01 1
10 1
.names u_arrmul16_and11_5 u_arrmul16_fa12_4_xor1 u_arrmul16_fa11_5_and0
11 1
.names u_arrmul16_fa11_5_xor0 u_arrmul16_fa10_5_or0 u_arrmul16_fa11_5_xor1
01 1
10 1
.names u_arrmul16_fa11_5_xor0 u_arrmul16_fa10_5_or0 u_arrmul16_fa11_5_and1
11 1
.names u_arrmul16_fa11_5_and0 u_arrmul16_fa11_5_and1 u_arrmul16_fa11_5_or0
1- 1
-1 1
.names a[12] b[5] u_arrmul16_and12_5
11 1
.names u_arrmul16_and12_5 u_arrmul16_fa13_4_xor1 u_arrmul16_fa12_5_xor0
01 1
10 1
.names u_arrmul16_and12_5 u_arrmul16_fa13_4_xor1 u_arrmul16_fa12_5_and0
11 1
.names u_arrmul16_fa12_5_xor0 u_arrmul16_fa11_5_or0 u_arrmul16_fa12_5_xor1
01 1
10 1
.names u_arrmul16_fa12_5_xor0 u_arrmul16_fa11_5_or0 u_arrmul16_fa12_5_and1
11 1
.names u_arrmul16_fa12_5_and0 u_arrmul16_fa12_5_and1 u_arrmul16_fa12_5_or0
1- 1
-1 1
.names a[13] b[5] u_arrmul16_and13_5
11 1
.names u_arrmul16_and13_5 u_arrmul16_fa14_4_xor1 u_arrmul16_fa13_5_xor0
01 1
10 1
.names u_arrmul16_and13_5 u_arrmul16_fa14_4_xor1 u_arrmul16_fa13_5_and0
11 1
.names u_arrmul16_fa13_5_xor0 u_arrmul16_fa12_5_or0 u_arrmul16_fa13_5_xor1
01 1
10 1
.names u_arrmul16_fa13_5_xor0 u_arrmul16_fa12_5_or0 u_arrmul16_fa13_5_and1
11 1
.names u_arrmul16_fa13_5_and0 u_arrmul16_fa13_5_and1 u_arrmul16_fa13_5_or0
1- 1
-1 1
.names a[14] b[5] u_arrmul16_and14_5
11 1
.names u_arrmul16_and14_5 u_arrmul16_fa15_4_xor1 u_arrmul16_fa14_5_xor0
01 1
10 1
.names u_arrmul16_and14_5 u_arrmul16_fa15_4_xor1 u_arrmul16_fa14_5_and0
11 1
.names u_arrmul16_fa14_5_xor0 u_arrmul16_fa13_5_or0 u_arrmul16_fa14_5_xor1
01 1
10 1
.names u_arrmul16_fa14_5_xor0 u_arrmul16_fa13_5_or0 u_arrmul16_fa14_5_and1
11 1
.names u_arrmul16_fa14_5_and0 u_arrmul16_fa14_5_and1 u_arrmul16_fa14_5_or0
1- 1
-1 1
.names a[15] b[5] u_arrmul16_and15_5
11 1
.names u_arrmul16_and15_5 u_arrmul16_fa15_4_or0 u_arrmul16_fa15_5_xor0
01 1
10 1
.names u_arrmul16_and15_5 u_arrmul16_fa15_4_or0 u_arrmul16_fa15_5_and0
11 1
.names u_arrmul16_fa15_5_xor0 u_arrmul16_fa14_5_or0 u_arrmul16_fa15_5_xor1
01 1
10 1
.names u_arrmul16_fa15_5_xor0 u_arrmul16_fa14_5_or0 u_arrmul16_fa15_5_and1
11 1
.names u_arrmul16_fa15_5_and0 u_arrmul16_fa15_5_and1 u_arrmul16_fa15_5_or0
1- 1
-1 1
.names a[0] b[6] u_arrmul16_and0_6
11 1
.names u_arrmul16_and0_6 u_arrmul16_fa1_5_xor1 u_arrmul16_ha0_6_xor0
01 1
10 1
.names u_arrmul16_and0_6 u_arrmul16_fa1_5_xor1 u_arrmul16_ha0_6_and0
11 1
.names a[1] b[6] u_arrmul16_and1_6
11 1
.names u_arrmul16_and1_6 u_arrmul16_fa2_5_xor1 u_arrmul16_fa1_6_xor0
01 1
10 1
.names u_arrmul16_and1_6 u_arrmul16_fa2_5_xor1 u_arrmul16_fa1_6_and0
11 1
.names u_arrmul16_fa1_6_xor0 u_arrmul16_ha0_6_and0 u_arrmul16_fa1_6_xor1
01 1
10 1
.names u_arrmul16_fa1_6_xor0 u_arrmul16_ha0_6_and0 u_arrmul16_fa1_6_and1
11 1
.names u_arrmul16_fa1_6_and0 u_arrmul16_fa1_6_and1 u_arrmul16_fa1_6_or0
1- 1
-1 1
.names a[2] b[6] u_arrmul16_and2_6
11 1
.names u_arrmul16_and2_6 u_arrmul16_fa3_5_xor1 u_arrmul16_fa2_6_xor0
01 1
10 1
.names u_arrmul16_and2_6 u_arrmul16_fa3_5_xor1 u_arrmul16_fa2_6_and0
11 1
.names u_arrmul16_fa2_6_xor0 u_arrmul16_fa1_6_or0 u_arrmul16_fa2_6_xor1
01 1
10 1
.names u_arrmul16_fa2_6_xor0 u_arrmul16_fa1_6_or0 u_arrmul16_fa2_6_and1
11 1
.names u_arrmul16_fa2_6_and0 u_arrmul16_fa2_6_and1 u_arrmul16_fa2_6_or0
1- 1
-1 1
.names a[3] b[6] u_arrmul16_and3_6
11 1
.names u_arrmul16_and3_6 u_arrmul16_fa4_5_xor1 u_arrmul16_fa3_6_xor0
01 1
10 1
.names u_arrmul16_and3_6 u_arrmul16_fa4_5_xor1 u_arrmul16_fa3_6_and0
11 1
.names u_arrmul16_fa3_6_xor0 u_arrmul16_fa2_6_or0 u_arrmul16_fa3_6_xor1
01 1
10 1
.names u_arrmul16_fa3_6_xor0 u_arrmul16_fa2_6_or0 u_arrmul16_fa3_6_and1
11 1
.names u_arrmul16_fa3_6_and0 u_arrmul16_fa3_6_and1 u_arrmul16_fa3_6_or0
1- 1
-1 1
.names a[4] b[6] u_arrmul16_and4_6
11 1
.names u_arrmul16_and4_6 u_arrmul16_fa5_5_xor1 u_arrmul16_fa4_6_xor0
01 1
10 1
.names u_arrmul16_and4_6 u_arrmul16_fa5_5_xor1 u_arrmul16_fa4_6_and0
11 1
.names u_arrmul16_fa4_6_xor0 u_arrmul16_fa3_6_or0 u_arrmul16_fa4_6_xor1
01 1
10 1
.names u_arrmul16_fa4_6_xor0 u_arrmul16_fa3_6_or0 u_arrmul16_fa4_6_and1
11 1
.names u_arrmul16_fa4_6_and0 u_arrmul16_fa4_6_and1 u_arrmul16_fa4_6_or0
1- 1
-1 1
.names a[5] b[6] u_arrmul16_and5_6
11 1
.names u_arrmul16_and5_6 u_arrmul16_fa6_5_xor1 u_arrmul16_fa5_6_xor0
01 1
10 1
.names u_arrmul16_and5_6 u_arrmul16_fa6_5_xor1 u_arrmul16_fa5_6_and0
11 1
.names u_arrmul16_fa5_6_xor0 u_arrmul16_fa4_6_or0 u_arrmul16_fa5_6_xor1
01 1
10 1
.names u_arrmul16_fa5_6_xor0 u_arrmul16_fa4_6_or0 u_arrmul16_fa5_6_and1
11 1
.names u_arrmul16_fa5_6_and0 u_arrmul16_fa5_6_and1 u_arrmul16_fa5_6_or0
1- 1
-1 1
.names a[6] b[6] u_arrmul16_and6_6
11 1
.names u_arrmul16_and6_6 u_arrmul16_fa7_5_xor1 u_arrmul16_fa6_6_xor0
01 1
10 1
.names u_arrmul16_and6_6 u_arrmul16_fa7_5_xor1 u_arrmul16_fa6_6_and0
11 1
.names u_arrmul16_fa6_6_xor0 u_arrmul16_fa5_6_or0 u_arrmul16_fa6_6_xor1
01 1
10 1
.names u_arrmul16_fa6_6_xor0 u_arrmul16_fa5_6_or0 u_arrmul16_fa6_6_and1
11 1
.names u_arrmul16_fa6_6_and0 u_arrmul16_fa6_6_and1 u_arrmul16_fa6_6_or0
1- 1
-1 1
.names a[7] b[6] u_arrmul16_and7_6
11 1
.names u_arrmul16_and7_6 u_arrmul16_fa8_5_xor1 u_arrmul16_fa7_6_xor0
01 1
10 1
.names u_arrmul16_and7_6 u_arrmul16_fa8_5_xor1 u_arrmul16_fa7_6_and0
11 1
.names u_arrmul16_fa7_6_xor0 u_arrmul16_fa6_6_or0 u_arrmul16_fa7_6_xor1
01 1
10 1
.names u_arrmul16_fa7_6_xor0 u_arrmul16_fa6_6_or0 u_arrmul16_fa7_6_and1
11 1
.names u_arrmul16_fa7_6_and0 u_arrmul16_fa7_6_and1 u_arrmul16_fa7_6_or0
1- 1
-1 1
.names a[8] b[6] u_arrmul16_and8_6
11 1
.names u_arrmul16_and8_6 u_arrmul16_fa9_5_xor1 u_arrmul16_fa8_6_xor0
01 1
10 1
.names u_arrmul16_and8_6 u_arrmul16_fa9_5_xor1 u_arrmul16_fa8_6_and0
11 1
.names u_arrmul16_fa8_6_xor0 u_arrmul16_fa7_6_or0 u_arrmul16_fa8_6_xor1
01 1
10 1
.names u_arrmul16_fa8_6_xor0 u_arrmul16_fa7_6_or0 u_arrmul16_fa8_6_and1
11 1
.names u_arrmul16_fa8_6_and0 u_arrmul16_fa8_6_and1 u_arrmul16_fa8_6_or0
1- 1
-1 1
.names a[9] b[6] u_arrmul16_and9_6
11 1
.names u_arrmul16_and9_6 u_arrmul16_fa10_5_xor1 u_arrmul16_fa9_6_xor0
01 1
10 1
.names u_arrmul16_and9_6 u_arrmul16_fa10_5_xor1 u_arrmul16_fa9_6_and0
11 1
.names u_arrmul16_fa9_6_xor0 u_arrmul16_fa8_6_or0 u_arrmul16_fa9_6_xor1
01 1
10 1
.names u_arrmul16_fa9_6_xor0 u_arrmul16_fa8_6_or0 u_arrmul16_fa9_6_and1
11 1
.names u_arrmul16_fa9_6_and0 u_arrmul16_fa9_6_and1 u_arrmul16_fa9_6_or0
1- 1
-1 1
.names a[10] b[6] u_arrmul16_and10_6
11 1
.names u_arrmul16_and10_6 u_arrmul16_fa11_5_xor1 u_arrmul16_fa10_6_xor0
01 1
10 1
.names u_arrmul16_and10_6 u_arrmul16_fa11_5_xor1 u_arrmul16_fa10_6_and0
11 1
.names u_arrmul16_fa10_6_xor0 u_arrmul16_fa9_6_or0 u_arrmul16_fa10_6_xor1
01 1
10 1
.names u_arrmul16_fa10_6_xor0 u_arrmul16_fa9_6_or0 u_arrmul16_fa10_6_and1
11 1
.names u_arrmul16_fa10_6_and0 u_arrmul16_fa10_6_and1 u_arrmul16_fa10_6_or0
1- 1
-1 1
.names a[11] b[6] u_arrmul16_and11_6
11 1
.names u_arrmul16_and11_6 u_arrmul16_fa12_5_xor1 u_arrmul16_fa11_6_xor0
01 1
10 1
.names u_arrmul16_and11_6 u_arrmul16_fa12_5_xor1 u_arrmul16_fa11_6_and0
11 1
.names u_arrmul16_fa11_6_xor0 u_arrmul16_fa10_6_or0 u_arrmul16_fa11_6_xor1
01 1
10 1
.names u_arrmul16_fa11_6_xor0 u_arrmul16_fa10_6_or0 u_arrmul16_fa11_6_and1
11 1
.names u_arrmul16_fa11_6_and0 u_arrmul16_fa11_6_and1 u_arrmul16_fa11_6_or0
1- 1
-1 1
.names a[12] b[6] u_arrmul16_and12_6
11 1
.names u_arrmul16_and12_6 u_arrmul16_fa13_5_xor1 u_arrmul16_fa12_6_xor0
01 1
10 1
.names u_arrmul16_and12_6 u_arrmul16_fa13_5_xor1 u_arrmul16_fa12_6_and0
11 1
.names u_arrmul16_fa12_6_xor0 u_arrmul16_fa11_6_or0 u_arrmul16_fa12_6_xor1
01 1
10 1
.names u_arrmul16_fa12_6_xor0 u_arrmul16_fa11_6_or0 u_arrmul16_fa12_6_and1
11 1
.names u_arrmul16_fa12_6_and0 u_arrmul16_fa12_6_and1 u_arrmul16_fa12_6_or0
1- 1
-1 1
.names a[13] b[6] u_arrmul16_and13_6
11 1
.names u_arrmul16_and13_6 u_arrmul16_fa14_5_xor1 u_arrmul16_fa13_6_xor0
01 1
10 1
.names u_arrmul16_and13_6 u_arrmul16_fa14_5_xor1 u_arrmul16_fa13_6_and0
11 1
.names u_arrmul16_fa13_6_xor0 u_arrmul16_fa12_6_or0 u_arrmul16_fa13_6_xor1
01 1
10 1
.names u_arrmul16_fa13_6_xor0 u_arrmul16_fa12_6_or0 u_arrmul16_fa13_6_and1
11 1
.names u_arrmul16_fa13_6_and0 u_arrmul16_fa13_6_and1 u_arrmul16_fa13_6_or0
1- 1
-1 1
.names a[14] b[6] u_arrmul16_and14_6
11 1
.names u_arrmul16_and14_6 u_arrmul16_fa15_5_xor1 u_arrmul16_fa14_6_xor0
01 1
10 1
.names u_arrmul16_and14_6 u_arrmul16_fa15_5_xor1 u_arrmul16_fa14_6_and0
11 1
.names u_arrmul16_fa14_6_xor0 u_arrmul16_fa13_6_or0 u_arrmul16_fa14_6_xor1
01 1
10 1
.names u_arrmul16_fa14_6_xor0 u_arrmul16_fa13_6_or0 u_arrmul16_fa14_6_and1
11 1
.names u_arrmul16_fa14_6_and0 u_arrmul16_fa14_6_and1 u_arrmul16_fa14_6_or0
1- 1
-1 1
.names a[15] b[6] u_arrmul16_and15_6
11 1
.names u_arrmul16_and15_6 u_arrmul16_fa15_5_or0 u_arrmul16_fa15_6_xor0
01 1
10 1
.names u_arrmul16_and15_6 u_arrmul16_fa15_5_or0 u_arrmul16_fa15_6_and0
11 1
.names u_arrmul16_fa15_6_xor0 u_arrmul16_fa14_6_or0 u_arrmul16_fa15_6_xor1
01 1
10 1
.names u_arrmul16_fa15_6_xor0 u_arrmul16_fa14_6_or0 u_arrmul16_fa15_6_and1
11 1
.names u_arrmul16_fa15_6_and0 u_arrmul16_fa15_6_and1 u_arrmul16_fa15_6_or0
1- 1
-1 1
.names a[0] b[7] u_arrmul16_and0_7
11 1
.names u_arrmul16_and0_7 u_arrmul16_fa1_6_xor1 u_arrmul16_ha0_7_xor0
01 1
10 1
.names u_arrmul16_and0_7 u_arrmul16_fa1_6_xor1 u_arrmul16_ha0_7_and0
11 1
.names a[1] b[7] u_arrmul16_and1_7
11 1
.names u_arrmul16_and1_7 u_arrmul16_fa2_6_xor1 u_arrmul16_fa1_7_xor0
01 1
10 1
.names u_arrmul16_and1_7 u_arrmul16_fa2_6_xor1 u_arrmul16_fa1_7_and0
11 1
.names u_arrmul16_fa1_7_xor0 u_arrmul16_ha0_7_and0 u_arrmul16_fa1_7_xor1
01 1
10 1
.names u_arrmul16_fa1_7_xor0 u_arrmul16_ha0_7_and0 u_arrmul16_fa1_7_and1
11 1
.names u_arrmul16_fa1_7_and0 u_arrmul16_fa1_7_and1 u_arrmul16_fa1_7_or0
1- 1
-1 1
.names a[2] b[7] u_arrmul16_and2_7
11 1
.names u_arrmul16_and2_7 u_arrmul16_fa3_6_xor1 u_arrmul16_fa2_7_xor0
01 1
10 1
.names u_arrmul16_and2_7 u_arrmul16_fa3_6_xor1 u_arrmul16_fa2_7_and0
11 1
.names u_arrmul16_fa2_7_xor0 u_arrmul16_fa1_7_or0 u_arrmul16_fa2_7_xor1
01 1
10 1
.names u_arrmul16_fa2_7_xor0 u_arrmul16_fa1_7_or0 u_arrmul16_fa2_7_and1
11 1
.names u_arrmul16_fa2_7_and0 u_arrmul16_fa2_7_and1 u_arrmul16_fa2_7_or0
1- 1
-1 1
.names a[3] b[7] u_arrmul16_and3_7
11 1
.names u_arrmul16_and3_7 u_arrmul16_fa4_6_xor1 u_arrmul16_fa3_7_xor0
01 1
10 1
.names u_arrmul16_and3_7 u_arrmul16_fa4_6_xor1 u_arrmul16_fa3_7_and0
11 1
.names u_arrmul16_fa3_7_xor0 u_arrmul16_fa2_7_or0 u_arrmul16_fa3_7_xor1
01 1
10 1
.names u_arrmul16_fa3_7_xor0 u_arrmul16_fa2_7_or0 u_arrmul16_fa3_7_and1
11 1
.names u_arrmul16_fa3_7_and0 u_arrmul16_fa3_7_and1 u_arrmul16_fa3_7_or0
1- 1
-1 1
.names a[4] b[7] u_arrmul16_and4_7
11 1
.names u_arrmul16_and4_7 u_arrmul16_fa5_6_xor1 u_arrmul16_fa4_7_xor0
01 1
10 1
.names u_arrmul16_and4_7 u_arrmul16_fa5_6_xor1 u_arrmul16_fa4_7_and0
11 1
.names u_arrmul16_fa4_7_xor0 u_arrmul16_fa3_7_or0 u_arrmul16_fa4_7_xor1
01 1
10 1
.names u_arrmul16_fa4_7_xor0 u_arrmul16_fa3_7_or0 u_arrmul16_fa4_7_and1
11 1
.names u_arrmul16_fa4_7_and0 u_arrmul16_fa4_7_and1 u_arrmul16_fa4_7_or0
1- 1
-1 1
.names a[5] b[7] u_arrmul16_and5_7
11 1
.names u_arrmul16_and5_7 u_arrmul16_fa6_6_xor1 u_arrmul16_fa5_7_xor0
01 1
10 1
.names u_arrmul16_and5_7 u_arrmul16_fa6_6_xor1 u_arrmul16_fa5_7_and0
11 1
.names u_arrmul16_fa5_7_xor0 u_arrmul16_fa4_7_or0 u_arrmul16_fa5_7_xor1
01 1
10 1
.names u_arrmul16_fa5_7_xor0 u_arrmul16_fa4_7_or0 u_arrmul16_fa5_7_and1
11 1
.names u_arrmul16_fa5_7_and0 u_arrmul16_fa5_7_and1 u_arrmul16_fa5_7_or0
1- 1
-1 1
.names a[6] b[7] u_arrmul16_and6_7
11 1
.names u_arrmul16_and6_7 u_arrmul16_fa7_6_xor1 u_arrmul16_fa6_7_xor0
01 1
10 1
.names u_arrmul16_and6_7 u_arrmul16_fa7_6_xor1 u_arrmul16_fa6_7_and0
11 1
.names u_arrmul16_fa6_7_xor0 u_arrmul16_fa5_7_or0 u_arrmul16_fa6_7_xor1
01 1
10 1
.names u_arrmul16_fa6_7_xor0 u_arrmul16_fa5_7_or0 u_arrmul16_fa6_7_and1
11 1
.names u_arrmul16_fa6_7_and0 u_arrmul16_fa6_7_and1 u_arrmul16_fa6_7_or0
1- 1
-1 1
.names a[7] b[7] u_arrmul16_and7_7
11 1
.names u_arrmul16_and7_7 u_arrmul16_fa8_6_xor1 u_arrmul16_fa7_7_xor0
01 1
10 1
.names u_arrmul16_and7_7 u_arrmul16_fa8_6_xor1 u_arrmul16_fa7_7_and0
11 1
.names u_arrmul16_fa7_7_xor0 u_arrmul16_fa6_7_or0 u_arrmul16_fa7_7_xor1
01 1
10 1
.names u_arrmul16_fa7_7_xor0 u_arrmul16_fa6_7_or0 u_arrmul16_fa7_7_and1
11 1
.names u_arrmul16_fa7_7_and0 u_arrmul16_fa7_7_and1 u_arrmul16_fa7_7_or0
1- 1
-1 1
.names a[8] b[7] u_arrmul16_and8_7
11 1
.names u_arrmul16_and8_7 u_arrmul16_fa9_6_xor1 u_arrmul16_fa8_7_xor0
01 1
10 1
.names u_arrmul16_and8_7 u_arrmul16_fa9_6_xor1 u_arrmul16_fa8_7_and0
11 1
.names u_arrmul16_fa8_7_xor0 u_arrmul16_fa7_7_or0 u_arrmul16_fa8_7_xor1
01 1
10 1
.names u_arrmul16_fa8_7_xor0 u_arrmul16_fa7_7_or0 u_arrmul16_fa8_7_and1
11 1
.names u_arrmul16_fa8_7_and0 u_arrmul16_fa8_7_and1 u_arrmul16_fa8_7_or0
1- 1
-1 1
.names a[9] b[7] u_arrmul16_and9_7
11 1
.names u_arrmul16_and9_7 u_arrmul16_fa10_6_xor1 u_arrmul16_fa9_7_xor0
01 1
10 1
.names u_arrmul16_and9_7 u_arrmul16_fa10_6_xor1 u_arrmul16_fa9_7_and0
11 1
.names u_arrmul16_fa9_7_xor0 u_arrmul16_fa8_7_or0 u_arrmul16_fa9_7_xor1
01 1
10 1
.names u_arrmul16_fa9_7_xor0 u_arrmul16_fa8_7_or0 u_arrmul16_fa9_7_and1
11 1
.names u_arrmul16_fa9_7_and0 u_arrmul16_fa9_7_and1 u_arrmul16_fa9_7_or0
1- 1
-1 1
.names a[10] b[7] u_arrmul16_and10_7
11 1
.names u_arrmul16_and10_7 u_arrmul16_fa11_6_xor1 u_arrmul16_fa10_7_xor0
01 1
10 1
.names u_arrmul16_and10_7 u_arrmul16_fa11_6_xor1 u_arrmul16_fa10_7_and0
11 1
.names u_arrmul16_fa10_7_xor0 u_arrmul16_fa9_7_or0 u_arrmul16_fa10_7_xor1
01 1
10 1
.names u_arrmul16_fa10_7_xor0 u_arrmul16_fa9_7_or0 u_arrmul16_fa10_7_and1
11 1
.names u_arrmul16_fa10_7_and0 u_arrmul16_fa10_7_and1 u_arrmul16_fa10_7_or0
1- 1
-1 1
.names a[11] b[7] u_arrmul16_and11_7
11 1
.names u_arrmul16_and11_7 u_arrmul16_fa12_6_xor1 u_arrmul16_fa11_7_xor0
01 1
10 1
.names u_arrmul16_and11_7 u_arrmul16_fa12_6_xor1 u_arrmul16_fa11_7_and0
11 1
.names u_arrmul16_fa11_7_xor0 u_arrmul16_fa10_7_or0 u_arrmul16_fa11_7_xor1
01 1
10 1
.names u_arrmul16_fa11_7_xor0 u_arrmul16_fa10_7_or0 u_arrmul16_fa11_7_and1
11 1
.names u_arrmul16_fa11_7_and0 u_arrmul16_fa11_7_and1 u_arrmul16_fa11_7_or0
1- 1
-1 1
.names a[12] b[7] u_arrmul16_and12_7
11 1
.names u_arrmul16_and12_7 u_arrmul16_fa13_6_xor1 u_arrmul16_fa12_7_xor0
01 1
10 1
.names u_arrmul16_and12_7 u_arrmul16_fa13_6_xor1 u_arrmul16_fa12_7_and0
11 1
.names u_arrmul16_fa12_7_xor0 u_arrmul16_fa11_7_or0 u_arrmul16_fa12_7_xor1
01 1
10 1
.names u_arrmul16_fa12_7_xor0 u_arrmul16_fa11_7_or0 u_arrmul16_fa12_7_and1
11 1
.names u_arrmul16_fa12_7_and0 u_arrmul16_fa12_7_and1 u_arrmul16_fa12_7_or0
1- 1
-1 1
.names a[13] b[7] u_arrmul16_and13_7
11 1
.names u_arrmul16_and13_7 u_arrmul16_fa14_6_xor1 u_arrmul16_fa13_7_xor0
01 1
10 1
.names u_arrmul16_and13_7 u_arrmul16_fa14_6_xor1 u_arrmul16_fa13_7_and0
11 1
.names u_arrmul16_fa13_7_xor0 u_arrmul16_fa12_7_or0 u_arrmul16_fa13_7_xor1
01 1
10 1
.names u_arrmul16_fa13_7_xor0 u_arrmul16_fa12_7_or0 u_arrmul16_fa13_7_and1
11 1
.names u_arrmul16_fa13_7_and0 u_arrmul16_fa13_7_and1 u_arrmul16_fa13_7_or0
1- 1
-1 1
.names a[14] b[7] u_arrmul16_and14_7
11 1
.names u_arrmul16_and14_7 u_arrmul16_fa15_6_xor1 u_arrmul16_fa14_7_xor0
01 1
10 1
.names u_arrmul16_and14_7 u_arrmul16_fa15_6_xor1 u_arrmul16_fa14_7_and0
11 1
.names u_arrmul16_fa14_7_xor0 u_arrmul16_fa13_7_or0 u_arrmul16_fa14_7_xor1
01 1
10 1
.names u_arrmul16_fa14_7_xor0 u_arrmul16_fa13_7_or0 u_arrmul16_fa14_7_and1
11 1
.names u_arrmul16_fa14_7_and0 u_arrmul16_fa14_7_and1 u_arrmul16_fa14_7_or0
1- 1
-1 1
.names a[15] b[7] u_arrmul16_and15_7
11 1
.names u_arrmul16_and15_7 u_arrmul16_fa15_6_or0 u_arrmul16_fa15_7_xor0
01 1
10 1
.names u_arrmul16_and15_7 u_arrmul16_fa15_6_or0 u_arrmul16_fa15_7_and0
11 1
.names u_arrmul16_fa15_7_xor0 u_arrmul16_fa14_7_or0 u_arrmul16_fa15_7_xor1
01 1
10 1
.names u_arrmul16_fa15_7_xor0 u_arrmul16_fa14_7_or0 u_arrmul16_fa15_7_and1
11 1
.names u_arrmul16_fa15_7_and0 u_arrmul16_fa15_7_and1 u_arrmul16_fa15_7_or0
1- 1
-1 1
.names a[0] b[8] u_arrmul16_and0_8
11 1
.names u_arrmul16_and0_8 u_arrmul16_fa1_7_xor1 u_arrmul16_ha0_8_xor0
01 1
10 1
.names u_arrmul16_and0_8 u_arrmul16_fa1_7_xor1 u_arrmul16_ha0_8_and0
11 1
.names a[1] b[8] u_arrmul16_and1_8
11 1
.names u_arrmul16_and1_8 u_arrmul16_fa2_7_xor1 u_arrmul16_fa1_8_xor0
01 1
10 1
.names u_arrmul16_and1_8 u_arrmul16_fa2_7_xor1 u_arrmul16_fa1_8_and0
11 1
.names u_arrmul16_fa1_8_xor0 u_arrmul16_ha0_8_and0 u_arrmul16_fa1_8_xor1
01 1
10 1
.names u_arrmul16_fa1_8_xor0 u_arrmul16_ha0_8_and0 u_arrmul16_fa1_8_and1
11 1
.names u_arrmul16_fa1_8_and0 u_arrmul16_fa1_8_and1 u_arrmul16_fa1_8_or0
1- 1
-1 1
.names a[2] b[8] u_arrmul16_and2_8
11 1
.names u_arrmul16_and2_8 u_arrmul16_fa3_7_xor1 u_arrmul16_fa2_8_xor0
01 1
10 1
.names u_arrmul16_and2_8 u_arrmul16_fa3_7_xor1 u_arrmul16_fa2_8_and0
11 1
.names u_arrmul16_fa2_8_xor0 u_arrmul16_fa1_8_or0 u_arrmul16_fa2_8_xor1
01 1
10 1
.names u_arrmul16_fa2_8_xor0 u_arrmul16_fa1_8_or0 u_arrmul16_fa2_8_and1
11 1
.names u_arrmul16_fa2_8_and0 u_arrmul16_fa2_8_and1 u_arrmul16_fa2_8_or0
1- 1
-1 1
.names a[3] b[8] u_arrmul16_and3_8
11 1
.names u_arrmul16_and3_8 u_arrmul16_fa4_7_xor1 u_arrmul16_fa3_8_xor0
01 1
10 1
.names u_arrmul16_and3_8 u_arrmul16_fa4_7_xor1 u_arrmul16_fa3_8_and0
11 1
.names u_arrmul16_fa3_8_xor0 u_arrmul16_fa2_8_or0 u_arrmul16_fa3_8_xor1
01 1
10 1
.names u_arrmul16_fa3_8_xor0 u_arrmul16_fa2_8_or0 u_arrmul16_fa3_8_and1
11 1
.names u_arrmul16_fa3_8_and0 u_arrmul16_fa3_8_and1 u_arrmul16_fa3_8_or0
1- 1
-1 1
.names a[4] b[8] u_arrmul16_and4_8
11 1
.names u_arrmul16_and4_8 u_arrmul16_fa5_7_xor1 u_arrmul16_fa4_8_xor0
01 1
10 1
.names u_arrmul16_and4_8 u_arrmul16_fa5_7_xor1 u_arrmul16_fa4_8_and0
11 1
.names u_arrmul16_fa4_8_xor0 u_arrmul16_fa3_8_or0 u_arrmul16_fa4_8_xor1
01 1
10 1
.names u_arrmul16_fa4_8_xor0 u_arrmul16_fa3_8_or0 u_arrmul16_fa4_8_and1
11 1
.names u_arrmul16_fa4_8_and0 u_arrmul16_fa4_8_and1 u_arrmul16_fa4_8_or0
1- 1
-1 1
.names a[5] b[8] u_arrmul16_and5_8
11 1
.names u_arrmul16_and5_8 u_arrmul16_fa6_7_xor1 u_arrmul16_fa5_8_xor0
01 1
10 1
.names u_arrmul16_and5_8 u_arrmul16_fa6_7_xor1 u_arrmul16_fa5_8_and0
11 1
.names u_arrmul16_fa5_8_xor0 u_arrmul16_fa4_8_or0 u_arrmul16_fa5_8_xor1
01 1
10 1
.names u_arrmul16_fa5_8_xor0 u_arrmul16_fa4_8_or0 u_arrmul16_fa5_8_and1
11 1
.names u_arrmul16_fa5_8_and0 u_arrmul16_fa5_8_and1 u_arrmul16_fa5_8_or0
1- 1
-1 1
.names a[6] b[8] u_arrmul16_and6_8
11 1
.names u_arrmul16_and6_8 u_arrmul16_fa7_7_xor1 u_arrmul16_fa6_8_xor0
01 1
10 1
.names u_arrmul16_and6_8 u_arrmul16_fa7_7_xor1 u_arrmul16_fa6_8_and0
11 1
.names u_arrmul16_fa6_8_xor0 u_arrmul16_fa5_8_or0 u_arrmul16_fa6_8_xor1
01 1
10 1
.names u_arrmul16_fa6_8_xor0 u_arrmul16_fa5_8_or0 u_arrmul16_fa6_8_and1
11 1
.names u_arrmul16_fa6_8_and0 u_arrmul16_fa6_8_and1 u_arrmul16_fa6_8_or0
1- 1
-1 1
.names a[7] b[8] u_arrmul16_and7_8
11 1
.names u_arrmul16_and7_8 u_arrmul16_fa8_7_xor1 u_arrmul16_fa7_8_xor0
01 1
10 1
.names u_arrmul16_and7_8 u_arrmul16_fa8_7_xor1 u_arrmul16_fa7_8_and0
11 1
.names u_arrmul16_fa7_8_xor0 u_arrmul16_fa6_8_or0 u_arrmul16_fa7_8_xor1
01 1
10 1
.names u_arrmul16_fa7_8_xor0 u_arrmul16_fa6_8_or0 u_arrmul16_fa7_8_and1
11 1
.names u_arrmul16_fa7_8_and0 u_arrmul16_fa7_8_and1 u_arrmul16_fa7_8_or0
1- 1
-1 1
.names a[8] b[8] u_arrmul16_and8_8
11 1
.names u_arrmul16_and8_8 u_arrmul16_fa9_7_xor1 u_arrmul16_fa8_8_xor0
01 1
10 1
.names u_arrmul16_and8_8 u_arrmul16_fa9_7_xor1 u_arrmul16_fa8_8_and0
11 1
.names u_arrmul16_fa8_8_xor0 u_arrmul16_fa7_8_or0 u_arrmul16_fa8_8_xor1
01 1
10 1
.names u_arrmul16_fa8_8_xor0 u_arrmul16_fa7_8_or0 u_arrmul16_fa8_8_and1
11 1
.names u_arrmul16_fa8_8_and0 u_arrmul16_fa8_8_and1 u_arrmul16_fa8_8_or0
1- 1
-1 1
.names a[9] b[8] u_arrmul16_and9_8
11 1
.names u_arrmul16_and9_8 u_arrmul16_fa10_7_xor1 u_arrmul16_fa9_8_xor0
01 1
10 1
.names u_arrmul16_and9_8 u_arrmul16_fa10_7_xor1 u_arrmul16_fa9_8_and0
11 1
.names u_arrmul16_fa9_8_xor0 u_arrmul16_fa8_8_or0 u_arrmul16_fa9_8_xor1
01 1
10 1
.names u_arrmul16_fa9_8_xor0 u_arrmul16_fa8_8_or0 u_arrmul16_fa9_8_and1
11 1
.names u_arrmul16_fa9_8_and0 u_arrmul16_fa9_8_and1 u_arrmul16_fa9_8_or0
1- 1
-1 1
.names a[10] b[8] u_arrmul16_and10_8
11 1
.names u_arrmul16_and10_8 u_arrmul16_fa11_7_xor1 u_arrmul16_fa10_8_xor0
01 1
10 1
.names u_arrmul16_and10_8 u_arrmul16_fa11_7_xor1 u_arrmul16_fa10_8_and0
11 1
.names u_arrmul16_fa10_8_xor0 u_arrmul16_fa9_8_or0 u_arrmul16_fa10_8_xor1
01 1
10 1
.names u_arrmul16_fa10_8_xor0 u_arrmul16_fa9_8_or0 u_arrmul16_fa10_8_and1
11 1
.names u_arrmul16_fa10_8_and0 u_arrmul16_fa10_8_and1 u_arrmul16_fa10_8_or0
1- 1
-1 1
.names a[11] b[8] u_arrmul16_and11_8
11 1
.names u_arrmul16_and11_8 u_arrmul16_fa12_7_xor1 u_arrmul16_fa11_8_xor0
01 1
10 1
.names u_arrmul16_and11_8 u_arrmul16_fa12_7_xor1 u_arrmul16_fa11_8_and0
11 1
.names u_arrmul16_fa11_8_xor0 u_arrmul16_fa10_8_or0 u_arrmul16_fa11_8_xor1
01 1
10 1
.names u_arrmul16_fa11_8_xor0 u_arrmul16_fa10_8_or0 u_arrmul16_fa11_8_and1
11 1
.names u_arrmul16_fa11_8_and0 u_arrmul16_fa11_8_and1 u_arrmul16_fa11_8_or0
1- 1
-1 1
.names a[12] b[8] u_arrmul16_and12_8
11 1
.names u_arrmul16_and12_8 u_arrmul16_fa13_7_xor1 u_arrmul16_fa12_8_xor0
01 1
10 1
.names u_arrmul16_and12_8 u_arrmul16_fa13_7_xor1 u_arrmul16_fa12_8_and0
11 1
.names u_arrmul16_fa12_8_xor0 u_arrmul16_fa11_8_or0 u_arrmul16_fa12_8_xor1
01 1
10 1
.names u_arrmul16_fa12_8_xor0 u_arrmul16_fa11_8_or0 u_arrmul16_fa12_8_and1
11 1
.names u_arrmul16_fa12_8_and0 u_arrmul16_fa12_8_and1 u_arrmul16_fa12_8_or0
1- 1
-1 1
.names a[13] b[8] u_arrmul16_and13_8
11 1
.names u_arrmul16_and13_8 u_arrmul16_fa14_7_xor1 u_arrmul16_fa13_8_xor0
01 1
10 1
.names u_arrmul16_and13_8 u_arrmul16_fa14_7_xor1 u_arrmul16_fa13_8_and0
11 1
.names u_arrmul16_fa13_8_xor0 u_arrmul16_fa12_8_or0 u_arrmul16_fa13_8_xor1
01 1
10 1
.names u_arrmul16_fa13_8_xor0 u_arrmul16_fa12_8_or0 u_arrmul16_fa13_8_and1
11 1
.names u_arrmul16_fa13_8_and0 u_arrmul16_fa13_8_and1 u_arrmul16_fa13_8_or0
1- 1
-1 1
.names a[14] b[8] u_arrmul16_and14_8
11 1
.names u_arrmul16_and14_8 u_arrmul16_fa15_7_xor1 u_arrmul16_fa14_8_xor0
01 1
10 1
.names u_arrmul16_and14_8 u_arrmul16_fa15_7_xor1 u_arrmul16_fa14_8_and0
11 1
.names u_arrmul16_fa14_8_xor0 u_arrmul16_fa13_8_or0 u_arrmul16_fa14_8_xor1
01 1
10 1
.names u_arrmul16_fa14_8_xor0 u_arrmul16_fa13_8_or0 u_arrmul16_fa14_8_and1
11 1
.names u_arrmul16_fa14_8_and0 u_arrmul16_fa14_8_and1 u_arrmul16_fa14_8_or0
1- 1
-1 1
.names a[15] b[8] u_arrmul16_and15_8
11 1
.names u_arrmul16_and15_8 u_arrmul16_fa15_7_or0 u_arrmul16_fa15_8_xor0
01 1
10 1
.names u_arrmul16_and15_8 u_arrmul16_fa15_7_or0 u_arrmul16_fa15_8_and0
11 1
.names u_arrmul16_fa15_8_xor0 u_arrmul16_fa14_8_or0 u_arrmul16_fa15_8_xor1
01 1
10 1
.names u_arrmul16_fa15_8_xor0 u_arrmul16_fa14_8_or0 u_arrmul16_fa15_8_and1
11 1
.names u_arrmul16_fa15_8_and0 u_arrmul16_fa15_8_and1 u_arrmul16_fa15_8_or0
1- 1
-1 1
.names a[0] b[9] u_arrmul16_and0_9
11 1
.names u_arrmul16_and0_9 u_arrmul16_fa1_8_xor1 u_arrmul16_ha0_9_xor0
01 1
10 1
.names u_arrmul16_and0_9 u_arrmul16_fa1_8_xor1 u_arrmul16_ha0_9_and0
11 1
.names a[1] b[9] u_arrmul16_and1_9
11 1
.names u_arrmul16_and1_9 u_arrmul16_fa2_8_xor1 u_arrmul16_fa1_9_xor0
01 1
10 1
.names u_arrmul16_and1_9 u_arrmul16_fa2_8_xor1 u_arrmul16_fa1_9_and0
11 1
.names u_arrmul16_fa1_9_xor0 u_arrmul16_ha0_9_and0 u_arrmul16_fa1_9_xor1
01 1
10 1
.names u_arrmul16_fa1_9_xor0 u_arrmul16_ha0_9_and0 u_arrmul16_fa1_9_and1
11 1
.names u_arrmul16_fa1_9_and0 u_arrmul16_fa1_9_and1 u_arrmul16_fa1_9_or0
1- 1
-1 1
.names a[2] b[9] u_arrmul16_and2_9
11 1
.names u_arrmul16_and2_9 u_arrmul16_fa3_8_xor1 u_arrmul16_fa2_9_xor0
01 1
10 1
.names u_arrmul16_and2_9 u_arrmul16_fa3_8_xor1 u_arrmul16_fa2_9_and0
11 1
.names u_arrmul16_fa2_9_xor0 u_arrmul16_fa1_9_or0 u_arrmul16_fa2_9_xor1
01 1
10 1
.names u_arrmul16_fa2_9_xor0 u_arrmul16_fa1_9_or0 u_arrmul16_fa2_9_and1
11 1
.names u_arrmul16_fa2_9_and0 u_arrmul16_fa2_9_and1 u_arrmul16_fa2_9_or0
1- 1
-1 1
.names a[3] b[9] u_arrmul16_and3_9
11 1
.names u_arrmul16_and3_9 u_arrmul16_fa4_8_xor1 u_arrmul16_fa3_9_xor0
01 1
10 1
.names u_arrmul16_and3_9 u_arrmul16_fa4_8_xor1 u_arrmul16_fa3_9_and0
11 1
.names u_arrmul16_fa3_9_xor0 u_arrmul16_fa2_9_or0 u_arrmul16_fa3_9_xor1
01 1
10 1
.names u_arrmul16_fa3_9_xor0 u_arrmul16_fa2_9_or0 u_arrmul16_fa3_9_and1
11 1
.names u_arrmul16_fa3_9_and0 u_arrmul16_fa3_9_and1 u_arrmul16_fa3_9_or0
1- 1
-1 1
.names a[4] b[9] u_arrmul16_and4_9
11 1
.names u_arrmul16_and4_9 u_arrmul16_fa5_8_xor1 u_arrmul16_fa4_9_xor0
01 1
10 1
.names u_arrmul16_and4_9 u_arrmul16_fa5_8_xor1 u_arrmul16_fa4_9_and0
11 1
.names u_arrmul16_fa4_9_xor0 u_arrmul16_fa3_9_or0 u_arrmul16_fa4_9_xor1
01 1
10 1
.names u_arrmul16_fa4_9_xor0 u_arrmul16_fa3_9_or0 u_arrmul16_fa4_9_and1
11 1
.names u_arrmul16_fa4_9_and0 u_arrmul16_fa4_9_and1 u_arrmul16_fa4_9_or0
1- 1
-1 1
.names a[5] b[9] u_arrmul16_and5_9
11 1
.names u_arrmul16_and5_9 u_arrmul16_fa6_8_xor1 u_arrmul16_fa5_9_xor0
01 1
10 1
.names u_arrmul16_and5_9 u_arrmul16_fa6_8_xor1 u_arrmul16_fa5_9_and0
11 1
.names u_arrmul16_fa5_9_xor0 u_arrmul16_fa4_9_or0 u_arrmul16_fa5_9_xor1
01 1
10 1
.names u_arrmul16_fa5_9_xor0 u_arrmul16_fa4_9_or0 u_arrmul16_fa5_9_and1
11 1
.names u_arrmul16_fa5_9_and0 u_arrmul16_fa5_9_and1 u_arrmul16_fa5_9_or0
1- 1
-1 1
.names a[6] b[9] u_arrmul16_and6_9
11 1
.names u_arrmul16_and6_9 u_arrmul16_fa7_8_xor1 u_arrmul16_fa6_9_xor0
01 1
10 1
.names u_arrmul16_and6_9 u_arrmul16_fa7_8_xor1 u_arrmul16_fa6_9_and0
11 1
.names u_arrmul16_fa6_9_xor0 u_arrmul16_fa5_9_or0 u_arrmul16_fa6_9_xor1
01 1
10 1
.names u_arrmul16_fa6_9_xor0 u_arrmul16_fa5_9_or0 u_arrmul16_fa6_9_and1
11 1
.names u_arrmul16_fa6_9_and0 u_arrmul16_fa6_9_and1 u_arrmul16_fa6_9_or0
1- 1
-1 1
.names a[7] b[9] u_arrmul16_and7_9
11 1
.names u_arrmul16_and7_9 u_arrmul16_fa8_8_xor1 u_arrmul16_fa7_9_xor0
01 1
10 1
.names u_arrmul16_and7_9 u_arrmul16_fa8_8_xor1 u_arrmul16_fa7_9_and0
11 1
.names u_arrmul16_fa7_9_xor0 u_arrmul16_fa6_9_or0 u_arrmul16_fa7_9_xor1
01 1
10 1
.names u_arrmul16_fa7_9_xor0 u_arrmul16_fa6_9_or0 u_arrmul16_fa7_9_and1
11 1
.names u_arrmul16_fa7_9_and0 u_arrmul16_fa7_9_and1 u_arrmul16_fa7_9_or0
1- 1
-1 1
.names a[8] b[9] u_arrmul16_and8_9
11 1
.names u_arrmul16_and8_9 u_arrmul16_fa9_8_xor1 u_arrmul16_fa8_9_xor0
01 1
10 1
.names u_arrmul16_and8_9 u_arrmul16_fa9_8_xor1 u_arrmul16_fa8_9_and0
11 1
.names u_arrmul16_fa8_9_xor0 u_arrmul16_fa7_9_or0 u_arrmul16_fa8_9_xor1
01 1
10 1
.names u_arrmul16_fa8_9_xor0 u_arrmul16_fa7_9_or0 u_arrmul16_fa8_9_and1
11 1
.names u_arrmul16_fa8_9_and0 u_arrmul16_fa8_9_and1 u_arrmul16_fa8_9_or0
1- 1
-1 1
.names a[9] b[9] u_arrmul16_and9_9
11 1
.names u_arrmul16_and9_9 u_arrmul16_fa10_8_xor1 u_arrmul16_fa9_9_xor0
01 1
10 1
.names u_arrmul16_and9_9 u_arrmul16_fa10_8_xor1 u_arrmul16_fa9_9_and0
11 1
.names u_arrmul16_fa9_9_xor0 u_arrmul16_fa8_9_or0 u_arrmul16_fa9_9_xor1
01 1
10 1
.names u_arrmul16_fa9_9_xor0 u_arrmul16_fa8_9_or0 u_arrmul16_fa9_9_and1
11 1
.names u_arrmul16_fa9_9_and0 u_arrmul16_fa9_9_and1 u_arrmul16_fa9_9_or0
1- 1
-1 1
.names a[10] b[9] u_arrmul16_and10_9
11 1
.names u_arrmul16_and10_9 u_arrmul16_fa11_8_xor1 u_arrmul16_fa10_9_xor0
01 1
10 1
.names u_arrmul16_and10_9 u_arrmul16_fa11_8_xor1 u_arrmul16_fa10_9_and0
11 1
.names u_arrmul16_fa10_9_xor0 u_arrmul16_fa9_9_or0 u_arrmul16_fa10_9_xor1
01 1
10 1
.names u_arrmul16_fa10_9_xor0 u_arrmul16_fa9_9_or0 u_arrmul16_fa10_9_and1
11 1
.names u_arrmul16_fa10_9_and0 u_arrmul16_fa10_9_and1 u_arrmul16_fa10_9_or0
1- 1
-1 1
.names a[11] b[9] u_arrmul16_and11_9
11 1
.names u_arrmul16_and11_9 u_arrmul16_fa12_8_xor1 u_arrmul16_fa11_9_xor0
01 1
10 1
.names u_arrmul16_and11_9 u_arrmul16_fa12_8_xor1 u_arrmul16_fa11_9_and0
11 1
.names u_arrmul16_fa11_9_xor0 u_arrmul16_fa10_9_or0 u_arrmul16_fa11_9_xor1
01 1
10 1
.names u_arrmul16_fa11_9_xor0 u_arrmul16_fa10_9_or0 u_arrmul16_fa11_9_and1
11 1
.names u_arrmul16_fa11_9_and0 u_arrmul16_fa11_9_and1 u_arrmul16_fa11_9_or0
1- 1
-1 1
.names a[12] b[9] u_arrmul16_and12_9
11 1
.names u_arrmul16_and12_9 u_arrmul16_fa13_8_xor1 u_arrmul16_fa12_9_xor0
01 1
10 1
.names u_arrmul16_and12_9 u_arrmul16_fa13_8_xor1 u_arrmul16_fa12_9_and0
11 1
.names u_arrmul16_fa12_9_xor0 u_arrmul16_fa11_9_or0 u_arrmul16_fa12_9_xor1
01 1
10 1
.names u_arrmul16_fa12_9_xor0 u_arrmul16_fa11_9_or0 u_arrmul16_fa12_9_and1
11 1
.names u_arrmul16_fa12_9_and0 u_arrmul16_fa12_9_and1 u_arrmul16_fa12_9_or0
1- 1
-1 1
.names a[13] b[9] u_arrmul16_and13_9
11 1
.names u_arrmul16_and13_9 u_arrmul16_fa14_8_xor1 u_arrmul16_fa13_9_xor0
01 1
10 1
.names u_arrmul16_and13_9 u_arrmul16_fa14_8_xor1 u_arrmul16_fa13_9_and0
11 1
.names u_arrmul16_fa13_9_xor0 u_arrmul16_fa12_9_or0 u_arrmul16_fa13_9_xor1
01 1
10 1
.names u_arrmul16_fa13_9_xor0 u_arrmul16_fa12_9_or0 u_arrmul16_fa13_9_and1
11 1
.names u_arrmul16_fa13_9_and0 u_arrmul16_fa13_9_and1 u_arrmul16_fa13_9_or0
1- 1
-1 1
.names a[14] b[9] u_arrmul16_and14_9
11 1
.names u_arrmul16_and14_9 u_arrmul16_fa15_8_xor1 u_arrmul16_fa14_9_xor0
01 1
10 1
.names u_arrmul16_and14_9 u_arrmul16_fa15_8_xor1 u_arrmul16_fa14_9_and0
11 1
.names u_arrmul16_fa14_9_xor0 u_arrmul16_fa13_9_or0 u_arrmul16_fa14_9_xor1
01 1
10 1
.names u_arrmul16_fa14_9_xor0 u_arrmul16_fa13_9_or0 u_arrmul16_fa14_9_and1
11 1
.names u_arrmul16_fa14_9_and0 u_arrmul16_fa14_9_and1 u_arrmul16_fa14_9_or0
1- 1
-1 1
.names a[15] b[9] u_arrmul16_and15_9
11 1
.names u_arrmul16_and15_9 u_arrmul16_fa15_8_or0 u_arrmul16_fa15_9_xor0
01 1
10 1
.names u_arrmul16_and15_9 u_arrmul16_fa15_8_or0 u_arrmul16_fa15_9_and0
11 1
.names u_arrmul16_fa15_9_xor0 u_arrmul16_fa14_9_or0 u_arrmul16_fa15_9_xor1
01 1
10 1
.names u_arrmul16_fa15_9_xor0 u_arrmul16_fa14_9_or0 u_arrmul16_fa15_9_and1
11 1
.names u_arrmul16_fa15_9_and0 u_arrmul16_fa15_9_and1 u_arrmul16_fa15_9_or0
1- 1
-1 1
.names a[0] b[10] u_arrmul16_and0_10
11 1
.names u_arrmul16_and0_10 u_arrmul16_fa1_9_xor1 u_arrmul16_ha0_10_xor0
01 1
10 1
.names u_arrmul16_and0_10 u_arrmul16_fa1_9_xor1 u_arrmul16_ha0_10_and0
11 1
.names a[1] b[10] u_arrmul16_and1_10
11 1
.names u_arrmul16_and1_10 u_arrmul16_fa2_9_xor1 u_arrmul16_fa1_10_xor0
01 1
10 1
.names u_arrmul16_and1_10 u_arrmul16_fa2_9_xor1 u_arrmul16_fa1_10_and0
11 1
.names u_arrmul16_fa1_10_xor0 u_arrmul16_ha0_10_and0 u_arrmul16_fa1_10_xor1
01 1
10 1
.names u_arrmul16_fa1_10_xor0 u_arrmul16_ha0_10_and0 u_arrmul16_fa1_10_and1
11 1
.names u_arrmul16_fa1_10_and0 u_arrmul16_fa1_10_and1 u_arrmul16_fa1_10_or0
1- 1
-1 1
.names a[2] b[10] u_arrmul16_and2_10
11 1
.names u_arrmul16_and2_10 u_arrmul16_fa3_9_xor1 u_arrmul16_fa2_10_xor0
01 1
10 1
.names u_arrmul16_and2_10 u_arrmul16_fa3_9_xor1 u_arrmul16_fa2_10_and0
11 1
.names u_arrmul16_fa2_10_xor0 u_arrmul16_fa1_10_or0 u_arrmul16_fa2_10_xor1
01 1
10 1
.names u_arrmul16_fa2_10_xor0 u_arrmul16_fa1_10_or0 u_arrmul16_fa2_10_and1
11 1
.names u_arrmul16_fa2_10_and0 u_arrmul16_fa2_10_and1 u_arrmul16_fa2_10_or0
1- 1
-1 1
.names a[3] b[10] u_arrmul16_and3_10
11 1
.names u_arrmul16_and3_10 u_arrmul16_fa4_9_xor1 u_arrmul16_fa3_10_xor0
01 1
10 1
.names u_arrmul16_and3_10 u_arrmul16_fa4_9_xor1 u_arrmul16_fa3_10_and0
11 1
.names u_arrmul16_fa3_10_xor0 u_arrmul16_fa2_10_or0 u_arrmul16_fa3_10_xor1
01 1
10 1
.names u_arrmul16_fa3_10_xor0 u_arrmul16_fa2_10_or0 u_arrmul16_fa3_10_and1
11 1
.names u_arrmul16_fa3_10_and0 u_arrmul16_fa3_10_and1 u_arrmul16_fa3_10_or0
1- 1
-1 1
.names a[4] b[10] u_arrmul16_and4_10
11 1
.names u_arrmul16_and4_10 u_arrmul16_fa5_9_xor1 u_arrmul16_fa4_10_xor0
01 1
10 1
.names u_arrmul16_and4_10 u_arrmul16_fa5_9_xor1 u_arrmul16_fa4_10_and0
11 1
.names u_arrmul16_fa4_10_xor0 u_arrmul16_fa3_10_or0 u_arrmul16_fa4_10_xor1
01 1
10 1
.names u_arrmul16_fa4_10_xor0 u_arrmul16_fa3_10_or0 u_arrmul16_fa4_10_and1
11 1
.names u_arrmul16_fa4_10_and0 u_arrmul16_fa4_10_and1 u_arrmul16_fa4_10_or0
1- 1
-1 1
.names a[5] b[10] u_arrmul16_and5_10
11 1
.names u_arrmul16_and5_10 u_arrmul16_fa6_9_xor1 u_arrmul16_fa5_10_xor0
01 1
10 1
.names u_arrmul16_and5_10 u_arrmul16_fa6_9_xor1 u_arrmul16_fa5_10_and0
11 1
.names u_arrmul16_fa5_10_xor0 u_arrmul16_fa4_10_or0 u_arrmul16_fa5_10_xor1
01 1
10 1
.names u_arrmul16_fa5_10_xor0 u_arrmul16_fa4_10_or0 u_arrmul16_fa5_10_and1
11 1
.names u_arrmul16_fa5_10_and0 u_arrmul16_fa5_10_and1 u_arrmul16_fa5_10_or0
1- 1
-1 1
.names a[6] b[10] u_arrmul16_and6_10
11 1
.names u_arrmul16_and6_10 u_arrmul16_fa7_9_xor1 u_arrmul16_fa6_10_xor0
01 1
10 1
.names u_arrmul16_and6_10 u_arrmul16_fa7_9_xor1 u_arrmul16_fa6_10_and0
11 1
.names u_arrmul16_fa6_10_xor0 u_arrmul16_fa5_10_or0 u_arrmul16_fa6_10_xor1
01 1
10 1
.names u_arrmul16_fa6_10_xor0 u_arrmul16_fa5_10_or0 u_arrmul16_fa6_10_and1
11 1
.names u_arrmul16_fa6_10_and0 u_arrmul16_fa6_10_and1 u_arrmul16_fa6_10_or0
1- 1
-1 1
.names a[7] b[10] u_arrmul16_and7_10
11 1
.names u_arrmul16_and7_10 u_arrmul16_fa8_9_xor1 u_arrmul16_fa7_10_xor0
01 1
10 1
.names u_arrmul16_and7_10 u_arrmul16_fa8_9_xor1 u_arrmul16_fa7_10_and0
11 1
.names u_arrmul16_fa7_10_xor0 u_arrmul16_fa6_10_or0 u_arrmul16_fa7_10_xor1
01 1
10 1
.names u_arrmul16_fa7_10_xor0 u_arrmul16_fa6_10_or0 u_arrmul16_fa7_10_and1
11 1
.names u_arrmul16_fa7_10_and0 u_arrmul16_fa7_10_and1 u_arrmul16_fa7_10_or0
1- 1
-1 1
.names a[8] b[10] u_arrmul16_and8_10
11 1
.names u_arrmul16_and8_10 u_arrmul16_fa9_9_xor1 u_arrmul16_fa8_10_xor0
01 1
10 1
.names u_arrmul16_and8_10 u_arrmul16_fa9_9_xor1 u_arrmul16_fa8_10_and0
11 1
.names u_arrmul16_fa8_10_xor0 u_arrmul16_fa7_10_or0 u_arrmul16_fa8_10_xor1
01 1
10 1
.names u_arrmul16_fa8_10_xor0 u_arrmul16_fa7_10_or0 u_arrmul16_fa8_10_and1
11 1
.names u_arrmul16_fa8_10_and0 u_arrmul16_fa8_10_and1 u_arrmul16_fa8_10_or0
1- 1
-1 1
.names a[9] b[10] u_arrmul16_and9_10
11 1
.names u_arrmul16_and9_10 u_arrmul16_fa10_9_xor1 u_arrmul16_fa9_10_xor0
01 1
10 1
.names u_arrmul16_and9_10 u_arrmul16_fa10_9_xor1 u_arrmul16_fa9_10_and0
11 1
.names u_arrmul16_fa9_10_xor0 u_arrmul16_fa8_10_or0 u_arrmul16_fa9_10_xor1
01 1
10 1
.names u_arrmul16_fa9_10_xor0 u_arrmul16_fa8_10_or0 u_arrmul16_fa9_10_and1
11 1
.names u_arrmul16_fa9_10_and0 u_arrmul16_fa9_10_and1 u_arrmul16_fa9_10_or0
1- 1
-1 1
.names a[10] b[10] u_arrmul16_and10_10
11 1
.names u_arrmul16_and10_10 u_arrmul16_fa11_9_xor1 u_arrmul16_fa10_10_xor0
01 1
10 1
.names u_arrmul16_and10_10 u_arrmul16_fa11_9_xor1 u_arrmul16_fa10_10_and0
11 1
.names u_arrmul16_fa10_10_xor0 u_arrmul16_fa9_10_or0 u_arrmul16_fa10_10_xor1
01 1
10 1
.names u_arrmul16_fa10_10_xor0 u_arrmul16_fa9_10_or0 u_arrmul16_fa10_10_and1
11 1
.names u_arrmul16_fa10_10_and0 u_arrmul16_fa10_10_and1 u_arrmul16_fa10_10_or0
1- 1
-1 1
.names a[11] b[10] u_arrmul16_and11_10
11 1
.names u_arrmul16_and11_10 u_arrmul16_fa12_9_xor1 u_arrmul16_fa11_10_xor0
01 1
10 1
.names u_arrmul16_and11_10 u_arrmul16_fa12_9_xor1 u_arrmul16_fa11_10_and0
11 1
.names u_arrmul16_fa11_10_xor0 u_arrmul16_fa10_10_or0 u_arrmul16_fa11_10_xor1
01 1
10 1
.names u_arrmul16_fa11_10_xor0 u_arrmul16_fa10_10_or0 u_arrmul16_fa11_10_and1
11 1
.names u_arrmul16_fa11_10_and0 u_arrmul16_fa11_10_and1 u_arrmul16_fa11_10_or0
1- 1
-1 1
.names a[12] b[10] u_arrmul16_and12_10
11 1
.names u_arrmul16_and12_10 u_arrmul16_fa13_9_xor1 u_arrmul16_fa12_10_xor0
01 1
10 1
.names u_arrmul16_and12_10 u_arrmul16_fa13_9_xor1 u_arrmul16_fa12_10_and0
11 1
.names u_arrmul16_fa12_10_xor0 u_arrmul16_fa11_10_or0 u_arrmul16_fa12_10_xor1
01 1
10 1
.names u_arrmul16_fa12_10_xor0 u_arrmul16_fa11_10_or0 u_arrmul16_fa12_10_and1
11 1
.names u_arrmul16_fa12_10_and0 u_arrmul16_fa12_10_and1 u_arrmul16_fa12_10_or0
1- 1
-1 1
.names a[13] b[10] u_arrmul16_and13_10
11 1
.names u_arrmul16_and13_10 u_arrmul16_fa14_9_xor1 u_arrmul16_fa13_10_xor0
01 1
10 1
.names u_arrmul16_and13_10 u_arrmul16_fa14_9_xor1 u_arrmul16_fa13_10_and0
11 1
.names u_arrmul16_fa13_10_xor0 u_arrmul16_fa12_10_or0 u_arrmul16_fa13_10_xor1
01 1
10 1
.names u_arrmul16_fa13_10_xor0 u_arrmul16_fa12_10_or0 u_arrmul16_fa13_10_and1
11 1
.names u_arrmul16_fa13_10_and0 u_arrmul16_fa13_10_and1 u_arrmul16_fa13_10_or0
1- 1
-1 1
.names a[14] b[10] u_arrmul16_and14_10
11 1
.names u_arrmul16_and14_10 u_arrmul16_fa15_9_xor1 u_arrmul16_fa14_10_xor0
01 1
10 1
.names u_arrmul16_and14_10 u_arrmul16_fa15_9_xor1 u_arrmul16_fa14_10_and0
11 1
.names u_arrmul16_fa14_10_xor0 u_arrmul16_fa13_10_or0 u_arrmul16_fa14_10_xor1
01 1
10 1
.names u_arrmul16_fa14_10_xor0 u_arrmul16_fa13_10_or0 u_arrmul16_fa14_10_and1
11 1
.names u_arrmul16_fa14_10_and0 u_arrmul16_fa14_10_and1 u_arrmul16_fa14_10_or0
1- 1
-1 1
.names a[15] b[10] u_arrmul16_and15_10
11 1
.names u_arrmul16_and15_10 u_arrmul16_fa15_9_or0 u_arrmul16_fa15_10_xor0
01 1
10 1
.names u_arrmul16_and15_10 u_arrmul16_fa15_9_or0 u_arrmul16_fa15_10_and0
11 1
.names u_arrmul16_fa15_10_xor0 u_arrmul16_fa14_10_or0 u_arrmul16_fa15_10_xor1
01 1
10 1
.names u_arrmul16_fa15_10_xor0 u_arrmul16_fa14_10_or0 u_arrmul16_fa15_10_and1
11 1
.names u_arrmul16_fa15_10_and0 u_arrmul16_fa15_10_and1 u_arrmul16_fa15_10_or0
1- 1
-1 1
.names a[0] b[11] u_arrmul16_and0_11
11 1
.names u_arrmul16_and0_11 u_arrmul16_fa1_10_xor1 u_arrmul16_ha0_11_xor0
01 1
10 1
.names u_arrmul16_and0_11 u_arrmul16_fa1_10_xor1 u_arrmul16_ha0_11_and0
11 1
.names a[1] b[11] u_arrmul16_and1_11
11 1
.names u_arrmul16_and1_11 u_arrmul16_fa2_10_xor1 u_arrmul16_fa1_11_xor0
01 1
10 1
.names u_arrmul16_and1_11 u_arrmul16_fa2_10_xor1 u_arrmul16_fa1_11_and0
11 1
.names u_arrmul16_fa1_11_xor0 u_arrmul16_ha0_11_and0 u_arrmul16_fa1_11_xor1
01 1
10 1
.names u_arrmul16_fa1_11_xor0 u_arrmul16_ha0_11_and0 u_arrmul16_fa1_11_and1
11 1
.names u_arrmul16_fa1_11_and0 u_arrmul16_fa1_11_and1 u_arrmul16_fa1_11_or0
1- 1
-1 1
.names a[2] b[11] u_arrmul16_and2_11
11 1
.names u_arrmul16_and2_11 u_arrmul16_fa3_10_xor1 u_arrmul16_fa2_11_xor0
01 1
10 1
.names u_arrmul16_and2_11 u_arrmul16_fa3_10_xor1 u_arrmul16_fa2_11_and0
11 1
.names u_arrmul16_fa2_11_xor0 u_arrmul16_fa1_11_or0 u_arrmul16_fa2_11_xor1
01 1
10 1
.names u_arrmul16_fa2_11_xor0 u_arrmul16_fa1_11_or0 u_arrmul16_fa2_11_and1
11 1
.names u_arrmul16_fa2_11_and0 u_arrmul16_fa2_11_and1 u_arrmul16_fa2_11_or0
1- 1
-1 1
.names a[3] b[11] u_arrmul16_and3_11
11 1
.names u_arrmul16_and3_11 u_arrmul16_fa4_10_xor1 u_arrmul16_fa3_11_xor0
01 1
10 1
.names u_arrmul16_and3_11 u_arrmul16_fa4_10_xor1 u_arrmul16_fa3_11_and0
11 1
.names u_arrmul16_fa3_11_xor0 u_arrmul16_fa2_11_or0 u_arrmul16_fa3_11_xor1
01 1
10 1
.names u_arrmul16_fa3_11_xor0 u_arrmul16_fa2_11_or0 u_arrmul16_fa3_11_and1
11 1
.names u_arrmul16_fa3_11_and0 u_arrmul16_fa3_11_and1 u_arrmul16_fa3_11_or0
1- 1
-1 1
.names a[4] b[11] u_arrmul16_and4_11
11 1
.names u_arrmul16_and4_11 u_arrmul16_fa5_10_xor1 u_arrmul16_fa4_11_xor0
01 1
10 1
.names u_arrmul16_and4_11 u_arrmul16_fa5_10_xor1 u_arrmul16_fa4_11_and0
11 1
.names u_arrmul16_fa4_11_xor0 u_arrmul16_fa3_11_or0 u_arrmul16_fa4_11_xor1
01 1
10 1
.names u_arrmul16_fa4_11_xor0 u_arrmul16_fa3_11_or0 u_arrmul16_fa4_11_and1
11 1
.names u_arrmul16_fa4_11_and0 u_arrmul16_fa4_11_and1 u_arrmul16_fa4_11_or0
1- 1
-1 1
.names a[5] b[11] u_arrmul16_and5_11
11 1
.names u_arrmul16_and5_11 u_arrmul16_fa6_10_xor1 u_arrmul16_fa5_11_xor0
01 1
10 1
.names u_arrmul16_and5_11 u_arrmul16_fa6_10_xor1 u_arrmul16_fa5_11_and0
11 1
.names u_arrmul16_fa5_11_xor0 u_arrmul16_fa4_11_or0 u_arrmul16_fa5_11_xor1
01 1
10 1
.names u_arrmul16_fa5_11_xor0 u_arrmul16_fa4_11_or0 u_arrmul16_fa5_11_and1
11 1
.names u_arrmul16_fa5_11_and0 u_arrmul16_fa5_11_and1 u_arrmul16_fa5_11_or0
1- 1
-1 1
.names a[6] b[11] u_arrmul16_and6_11
11 1
.names u_arrmul16_and6_11 u_arrmul16_fa7_10_xor1 u_arrmul16_fa6_11_xor0
01 1
10 1
.names u_arrmul16_and6_11 u_arrmul16_fa7_10_xor1 u_arrmul16_fa6_11_and0
11 1
.names u_arrmul16_fa6_11_xor0 u_arrmul16_fa5_11_or0 u_arrmul16_fa6_11_xor1
01 1
10 1
.names u_arrmul16_fa6_11_xor0 u_arrmul16_fa5_11_or0 u_arrmul16_fa6_11_and1
11 1
.names u_arrmul16_fa6_11_and0 u_arrmul16_fa6_11_and1 u_arrmul16_fa6_11_or0
1- 1
-1 1
.names a[7] b[11] u_arrmul16_and7_11
11 1
.names u_arrmul16_and7_11 u_arrmul16_fa8_10_xor1 u_arrmul16_fa7_11_xor0
01 1
10 1
.names u_arrmul16_and7_11 u_arrmul16_fa8_10_xor1 u_arrmul16_fa7_11_and0
11 1
.names u_arrmul16_fa7_11_xor0 u_arrmul16_fa6_11_or0 u_arrmul16_fa7_11_xor1
01 1
10 1
.names u_arrmul16_fa7_11_xor0 u_arrmul16_fa6_11_or0 u_arrmul16_fa7_11_and1
11 1
.names u_arrmul16_fa7_11_and0 u_arrmul16_fa7_11_and1 u_arrmul16_fa7_11_or0
1- 1
-1 1
.names a[8] b[11] u_arrmul16_and8_11
11 1
.names u_arrmul16_and8_11 u_arrmul16_fa9_10_xor1 u_arrmul16_fa8_11_xor0
01 1
10 1
.names u_arrmul16_and8_11 u_arrmul16_fa9_10_xor1 u_arrmul16_fa8_11_and0
11 1
.names u_arrmul16_fa8_11_xor0 u_arrmul16_fa7_11_or0 u_arrmul16_fa8_11_xor1
01 1
10 1
.names u_arrmul16_fa8_11_xor0 u_arrmul16_fa7_11_or0 u_arrmul16_fa8_11_and1
11 1
.names u_arrmul16_fa8_11_and0 u_arrmul16_fa8_11_and1 u_arrmul16_fa8_11_or0
1- 1
-1 1
.names a[9] b[11] u_arrmul16_and9_11
11 1
.names u_arrmul16_and9_11 u_arrmul16_fa10_10_xor1 u_arrmul16_fa9_11_xor0
01 1
10 1
.names u_arrmul16_and9_11 u_arrmul16_fa10_10_xor1 u_arrmul16_fa9_11_and0
11 1
.names u_arrmul16_fa9_11_xor0 u_arrmul16_fa8_11_or0 u_arrmul16_fa9_11_xor1
01 1
10 1
.names u_arrmul16_fa9_11_xor0 u_arrmul16_fa8_11_or0 u_arrmul16_fa9_11_and1
11 1
.names u_arrmul16_fa9_11_and0 u_arrmul16_fa9_11_and1 u_arrmul16_fa9_11_or0
1- 1
-1 1
.names a[10] b[11] u_arrmul16_and10_11
11 1
.names u_arrmul16_and10_11 u_arrmul16_fa11_10_xor1 u_arrmul16_fa10_11_xor0
01 1
10 1
.names u_arrmul16_and10_11 u_arrmul16_fa11_10_xor1 u_arrmul16_fa10_11_and0
11 1
.names u_arrmul16_fa10_11_xor0 u_arrmul16_fa9_11_or0 u_arrmul16_fa10_11_xor1
01 1
10 1
.names u_arrmul16_fa10_11_xor0 u_arrmul16_fa9_11_or0 u_arrmul16_fa10_11_and1
11 1
.names u_arrmul16_fa10_11_and0 u_arrmul16_fa10_11_and1 u_arrmul16_fa10_11_or0
1- 1
-1 1
.names a[11] b[11] u_arrmul16_and11_11
11 1
.names u_arrmul16_and11_11 u_arrmul16_fa12_10_xor1 u_arrmul16_fa11_11_xor0
01 1
10 1
.names u_arrmul16_and11_11 u_arrmul16_fa12_10_xor1 u_arrmul16_fa11_11_and0
11 1
.names u_arrmul16_fa11_11_xor0 u_arrmul16_fa10_11_or0 u_arrmul16_fa11_11_xor1
01 1
10 1
.names u_arrmul16_fa11_11_xor0 u_arrmul16_fa10_11_or0 u_arrmul16_fa11_11_and1
11 1
.names u_arrmul16_fa11_11_and0 u_arrmul16_fa11_11_and1 u_arrmul16_fa11_11_or0
1- 1
-1 1
.names a[12] b[11] u_arrmul16_and12_11
11 1
.names u_arrmul16_and12_11 u_arrmul16_fa13_10_xor1 u_arrmul16_fa12_11_xor0
01 1
10 1
.names u_arrmul16_and12_11 u_arrmul16_fa13_10_xor1 u_arrmul16_fa12_11_and0
11 1
.names u_arrmul16_fa12_11_xor0 u_arrmul16_fa11_11_or0 u_arrmul16_fa12_11_xor1
01 1
10 1
.names u_arrmul16_fa12_11_xor0 u_arrmul16_fa11_11_or0 u_arrmul16_fa12_11_and1
11 1
.names u_arrmul16_fa12_11_and0 u_arrmul16_fa12_11_and1 u_arrmul16_fa12_11_or0
1- 1
-1 1
.names a[13] b[11] u_arrmul16_and13_11
11 1
.names u_arrmul16_and13_11 u_arrmul16_fa14_10_xor1 u_arrmul16_fa13_11_xor0
01 1
10 1
.names u_arrmul16_and13_11 u_arrmul16_fa14_10_xor1 u_arrmul16_fa13_11_and0
11 1
.names u_arrmul16_fa13_11_xor0 u_arrmul16_fa12_11_or0 u_arrmul16_fa13_11_xor1
01 1
10 1
.names u_arrmul16_fa13_11_xor0 u_arrmul16_fa12_11_or0 u_arrmul16_fa13_11_and1
11 1
.names u_arrmul16_fa13_11_and0 u_arrmul16_fa13_11_and1 u_arrmul16_fa13_11_or0
1- 1
-1 1
.names a[14] b[11] u_arrmul16_and14_11
11 1
.names u_arrmul16_and14_11 u_arrmul16_fa15_10_xor1 u_arrmul16_fa14_11_xor0
01 1
10 1
.names u_arrmul16_and14_11 u_arrmul16_fa15_10_xor1 u_arrmul16_fa14_11_and0
11 1
.names u_arrmul16_fa14_11_xor0 u_arrmul16_fa13_11_or0 u_arrmul16_fa14_11_xor1
01 1
10 1
.names u_arrmul16_fa14_11_xor0 u_arrmul16_fa13_11_or0 u_arrmul16_fa14_11_and1
11 1
.names u_arrmul16_fa14_11_and0 u_arrmul16_fa14_11_and1 u_arrmul16_fa14_11_or0
1- 1
-1 1
.names a[15] b[11] u_arrmul16_and15_11
11 1
.names u_arrmul16_and15_11 u_arrmul16_fa15_10_or0 u_arrmul16_fa15_11_xor0
01 1
10 1
.names u_arrmul16_and15_11 u_arrmul16_fa15_10_or0 u_arrmul16_fa15_11_and0
11 1
.names u_arrmul16_fa15_11_xor0 u_arrmul16_fa14_11_or0 u_arrmul16_fa15_11_xor1
01 1
10 1
.names u_arrmul16_fa15_11_xor0 u_arrmul16_fa14_11_or0 u_arrmul16_fa15_11_and1
11 1
.names u_arrmul16_fa15_11_and0 u_arrmul16_fa15_11_and1 u_arrmul16_fa15_11_or0
1- 1
-1 1
.names a[0] b[12] u_arrmul16_and0_12
11 1
.names u_arrmul16_and0_12 u_arrmul16_fa1_11_xor1 u_arrmul16_ha0_12_xor0
01 1
10 1
.names u_arrmul16_and0_12 u_arrmul16_fa1_11_xor1 u_arrmul16_ha0_12_and0
11 1
.names a[1] b[12] u_arrmul16_and1_12
11 1
.names u_arrmul16_and1_12 u_arrmul16_fa2_11_xor1 u_arrmul16_fa1_12_xor0
01 1
10 1
.names u_arrmul16_and1_12 u_arrmul16_fa2_11_xor1 u_arrmul16_fa1_12_and0
11 1
.names u_arrmul16_fa1_12_xor0 u_arrmul16_ha0_12_and0 u_arrmul16_fa1_12_xor1
01 1
10 1
.names u_arrmul16_fa1_12_xor0 u_arrmul16_ha0_12_and0 u_arrmul16_fa1_12_and1
11 1
.names u_arrmul16_fa1_12_and0 u_arrmul16_fa1_12_and1 u_arrmul16_fa1_12_or0
1- 1
-1 1
.names a[2] b[12] u_arrmul16_and2_12
11 1
.names u_arrmul16_and2_12 u_arrmul16_fa3_11_xor1 u_arrmul16_fa2_12_xor0
01 1
10 1
.names u_arrmul16_and2_12 u_arrmul16_fa3_11_xor1 u_arrmul16_fa2_12_and0
11 1
.names u_arrmul16_fa2_12_xor0 u_arrmul16_fa1_12_or0 u_arrmul16_fa2_12_xor1
01 1
10 1
.names u_arrmul16_fa2_12_xor0 u_arrmul16_fa1_12_or0 u_arrmul16_fa2_12_and1
11 1
.names u_arrmul16_fa2_12_and0 u_arrmul16_fa2_12_and1 u_arrmul16_fa2_12_or0
1- 1
-1 1
.names a[3] b[12] u_arrmul16_and3_12
11 1
.names u_arrmul16_and3_12 u_arrmul16_fa4_11_xor1 u_arrmul16_fa3_12_xor0
01 1
10 1
.names u_arrmul16_and3_12 u_arrmul16_fa4_11_xor1 u_arrmul16_fa3_12_and0
11 1
.names u_arrmul16_fa3_12_xor0 u_arrmul16_fa2_12_or0 u_arrmul16_fa3_12_xor1
01 1
10 1
.names u_arrmul16_fa3_12_xor0 u_arrmul16_fa2_12_or0 u_arrmul16_fa3_12_and1
11 1
.names u_arrmul16_fa3_12_and0 u_arrmul16_fa3_12_and1 u_arrmul16_fa3_12_or0
1- 1
-1 1
.names a[4] b[12] u_arrmul16_and4_12
11 1
.names u_arrmul16_and4_12 u_arrmul16_fa5_11_xor1 u_arrmul16_fa4_12_xor0
01 1
10 1
.names u_arrmul16_and4_12 u_arrmul16_fa5_11_xor1 u_arrmul16_fa4_12_and0
11 1
.names u_arrmul16_fa4_12_xor0 u_arrmul16_fa3_12_or0 u_arrmul16_fa4_12_xor1
01 1
10 1
.names u_arrmul16_fa4_12_xor0 u_arrmul16_fa3_12_or0 u_arrmul16_fa4_12_and1
11 1
.names u_arrmul16_fa4_12_and0 u_arrmul16_fa4_12_and1 u_arrmul16_fa4_12_or0
1- 1
-1 1
.names a[5] b[12] u_arrmul16_and5_12
11 1
.names u_arrmul16_and5_12 u_arrmul16_fa6_11_xor1 u_arrmul16_fa5_12_xor0
01 1
10 1
.names u_arrmul16_and5_12 u_arrmul16_fa6_11_xor1 u_arrmul16_fa5_12_and0
11 1
.names u_arrmul16_fa5_12_xor0 u_arrmul16_fa4_12_or0 u_arrmul16_fa5_12_xor1
01 1
10 1
.names u_arrmul16_fa5_12_xor0 u_arrmul16_fa4_12_or0 u_arrmul16_fa5_12_and1
11 1
.names u_arrmul16_fa5_12_and0 u_arrmul16_fa5_12_and1 u_arrmul16_fa5_12_or0
1- 1
-1 1
.names a[6] b[12] u_arrmul16_and6_12
11 1
.names u_arrmul16_and6_12 u_arrmul16_fa7_11_xor1 u_arrmul16_fa6_12_xor0
01 1
10 1
.names u_arrmul16_and6_12 u_arrmul16_fa7_11_xor1 u_arrmul16_fa6_12_and0
11 1
.names u_arrmul16_fa6_12_xor0 u_arrmul16_fa5_12_or0 u_arrmul16_fa6_12_xor1
01 1
10 1
.names u_arrmul16_fa6_12_xor0 u_arrmul16_fa5_12_or0 u_arrmul16_fa6_12_and1
11 1
.names u_arrmul16_fa6_12_and0 u_arrmul16_fa6_12_and1 u_arrmul16_fa6_12_or0
1- 1
-1 1
.names a[7] b[12] u_arrmul16_and7_12
11 1
.names u_arrmul16_and7_12 u_arrmul16_fa8_11_xor1 u_arrmul16_fa7_12_xor0
01 1
10 1
.names u_arrmul16_and7_12 u_arrmul16_fa8_11_xor1 u_arrmul16_fa7_12_and0
11 1
.names u_arrmul16_fa7_12_xor0 u_arrmul16_fa6_12_or0 u_arrmul16_fa7_12_xor1
01 1
10 1
.names u_arrmul16_fa7_12_xor0 u_arrmul16_fa6_12_or0 u_arrmul16_fa7_12_and1
11 1
.names u_arrmul16_fa7_12_and0 u_arrmul16_fa7_12_and1 u_arrmul16_fa7_12_or0
1- 1
-1 1
.names a[8] b[12] u_arrmul16_and8_12
11 1
.names u_arrmul16_and8_12 u_arrmul16_fa9_11_xor1 u_arrmul16_fa8_12_xor0
01 1
10 1
.names u_arrmul16_and8_12 u_arrmul16_fa9_11_xor1 u_arrmul16_fa8_12_and0
11 1
.names u_arrmul16_fa8_12_xor0 u_arrmul16_fa7_12_or0 u_arrmul16_fa8_12_xor1
01 1
10 1
.names u_arrmul16_fa8_12_xor0 u_arrmul16_fa7_12_or0 u_arrmul16_fa8_12_and1
11 1
.names u_arrmul16_fa8_12_and0 u_arrmul16_fa8_12_and1 u_arrmul16_fa8_12_or0
1- 1
-1 1
.names a[9] b[12] u_arrmul16_and9_12
11 1
.names u_arrmul16_and9_12 u_arrmul16_fa10_11_xor1 u_arrmul16_fa9_12_xor0
01 1
10 1
.names u_arrmul16_and9_12 u_arrmul16_fa10_11_xor1 u_arrmul16_fa9_12_and0
11 1
.names u_arrmul16_fa9_12_xor0 u_arrmul16_fa8_12_or0 u_arrmul16_fa9_12_xor1
01 1
10 1
.names u_arrmul16_fa9_12_xor0 u_arrmul16_fa8_12_or0 u_arrmul16_fa9_12_and1
11 1
.names u_arrmul16_fa9_12_and0 u_arrmul16_fa9_12_and1 u_arrmul16_fa9_12_or0
1- 1
-1 1
.names a[10] b[12] u_arrmul16_and10_12
11 1
.names u_arrmul16_and10_12 u_arrmul16_fa11_11_xor1 u_arrmul16_fa10_12_xor0
01 1
10 1
.names u_arrmul16_and10_12 u_arrmul16_fa11_11_xor1 u_arrmul16_fa10_12_and0
11 1
.names u_arrmul16_fa10_12_xor0 u_arrmul16_fa9_12_or0 u_arrmul16_fa10_12_xor1
01 1
10 1
.names u_arrmul16_fa10_12_xor0 u_arrmul16_fa9_12_or0 u_arrmul16_fa10_12_and1
11 1
.names u_arrmul16_fa10_12_and0 u_arrmul16_fa10_12_and1 u_arrmul16_fa10_12_or0
1- 1
-1 1
.names a[11] b[12] u_arrmul16_and11_12
11 1
.names u_arrmul16_and11_12 u_arrmul16_fa12_11_xor1 u_arrmul16_fa11_12_xor0
01 1
10 1
.names u_arrmul16_and11_12 u_arrmul16_fa12_11_xor1 u_arrmul16_fa11_12_and0
11 1
.names u_arrmul16_fa11_12_xor0 u_arrmul16_fa10_12_or0 u_arrmul16_fa11_12_xor1
01 1
10 1
.names u_arrmul16_fa11_12_xor0 u_arrmul16_fa10_12_or0 u_arrmul16_fa11_12_and1
11 1
.names u_arrmul16_fa11_12_and0 u_arrmul16_fa11_12_and1 u_arrmul16_fa11_12_or0
1- 1
-1 1
.names a[12] b[12] u_arrmul16_and12_12
11 1
.names u_arrmul16_and12_12 u_arrmul16_fa13_11_xor1 u_arrmul16_fa12_12_xor0
01 1
10 1
.names u_arrmul16_and12_12 u_arrmul16_fa13_11_xor1 u_arrmul16_fa12_12_and0
11 1
.names u_arrmul16_fa12_12_xor0 u_arrmul16_fa11_12_or0 u_arrmul16_fa12_12_xor1
01 1
10 1
.names u_arrmul16_fa12_12_xor0 u_arrmul16_fa11_12_or0 u_arrmul16_fa12_12_and1
11 1
.names u_arrmul16_fa12_12_and0 u_arrmul16_fa12_12_and1 u_arrmul16_fa12_12_or0
1- 1
-1 1
.names a[13] b[12] u_arrmul16_and13_12
11 1
.names u_arrmul16_and13_12 u_arrmul16_fa14_11_xor1 u_arrmul16_fa13_12_xor0
01 1
10 1
.names u_arrmul16_and13_12 u_arrmul16_fa14_11_xor1 u_arrmul16_fa13_12_and0
11 1
.names u_arrmul16_fa13_12_xor0 u_arrmul16_fa12_12_or0 u_arrmul16_fa13_12_xor1
01 1
10 1
.names u_arrmul16_fa13_12_xor0 u_arrmul16_fa12_12_or0 u_arrmul16_fa13_12_and1
11 1
.names u_arrmul16_fa13_12_and0 u_arrmul16_fa13_12_and1 u_arrmul16_fa13_12_or0
1- 1
-1 1
.names a[14] b[12] u_arrmul16_and14_12
11 1
.names u_arrmul16_and14_12 u_arrmul16_fa15_11_xor1 u_arrmul16_fa14_12_xor0
01 1
10 1
.names u_arrmul16_and14_12 u_arrmul16_fa15_11_xor1 u_arrmul16_fa14_12_and0
11 1
.names u_arrmul16_fa14_12_xor0 u_arrmul16_fa13_12_or0 u_arrmul16_fa14_12_xor1
01 1
10 1
.names u_arrmul16_fa14_12_xor0 u_arrmul16_fa13_12_or0 u_arrmul16_fa14_12_and1
11 1
.names u_arrmul16_fa14_12_and0 u_arrmul16_fa14_12_and1 u_arrmul16_fa14_12_or0
1- 1
-1 1
.names a[15] b[12] u_arrmul16_and15_12
11 1
.names u_arrmul16_and15_12 u_arrmul16_fa15_11_or0 u_arrmul16_fa15_12_xor0
01 1
10 1
.names u_arrmul16_and15_12 u_arrmul16_fa15_11_or0 u_arrmul16_fa15_12_and0
11 1
.names u_arrmul16_fa15_12_xor0 u_arrmul16_fa14_12_or0 u_arrmul16_fa15_12_xor1
01 1
10 1
.names u_arrmul16_fa15_12_xor0 u_arrmul16_fa14_12_or0 u_arrmul16_fa15_12_and1
11 1
.names u_arrmul16_fa15_12_and0 u_arrmul16_fa15_12_and1 u_arrmul16_fa15_12_or0
1- 1
-1 1
.names a[0] b[13] u_arrmul16_and0_13
11 1
.names u_arrmul16_and0_13 u_arrmul16_fa1_12_xor1 u_arrmul16_ha0_13_xor0
01 1
10 1
.names u_arrmul16_and0_13 u_arrmul16_fa1_12_xor1 u_arrmul16_ha0_13_and0
11 1
.names a[1] b[13] u_arrmul16_and1_13
11 1
.names u_arrmul16_and1_13 u_arrmul16_fa2_12_xor1 u_arrmul16_fa1_13_xor0
01 1
10 1
.names u_arrmul16_and1_13 u_arrmul16_fa2_12_xor1 u_arrmul16_fa1_13_and0
11 1
.names u_arrmul16_fa1_13_xor0 u_arrmul16_ha0_13_and0 u_arrmul16_fa1_13_xor1
01 1
10 1
.names u_arrmul16_fa1_13_xor0 u_arrmul16_ha0_13_and0 u_arrmul16_fa1_13_and1
11 1
.names u_arrmul16_fa1_13_and0 u_arrmul16_fa1_13_and1 u_arrmul16_fa1_13_or0
1- 1
-1 1
.names a[2] b[13] u_arrmul16_and2_13
11 1
.names u_arrmul16_and2_13 u_arrmul16_fa3_12_xor1 u_arrmul16_fa2_13_xor0
01 1
10 1
.names u_arrmul16_and2_13 u_arrmul16_fa3_12_xor1 u_arrmul16_fa2_13_and0
11 1
.names u_arrmul16_fa2_13_xor0 u_arrmul16_fa1_13_or0 u_arrmul16_fa2_13_xor1
01 1
10 1
.names u_arrmul16_fa2_13_xor0 u_arrmul16_fa1_13_or0 u_arrmul16_fa2_13_and1
11 1
.names u_arrmul16_fa2_13_and0 u_arrmul16_fa2_13_and1 u_arrmul16_fa2_13_or0
1- 1
-1 1
.names a[3] b[13] u_arrmul16_and3_13
11 1
.names u_arrmul16_and3_13 u_arrmul16_fa4_12_xor1 u_arrmul16_fa3_13_xor0
01 1
10 1
.names u_arrmul16_and3_13 u_arrmul16_fa4_12_xor1 u_arrmul16_fa3_13_and0
11 1
.names u_arrmul16_fa3_13_xor0 u_arrmul16_fa2_13_or0 u_arrmul16_fa3_13_xor1
01 1
10 1
.names u_arrmul16_fa3_13_xor0 u_arrmul16_fa2_13_or0 u_arrmul16_fa3_13_and1
11 1
.names u_arrmul16_fa3_13_and0 u_arrmul16_fa3_13_and1 u_arrmul16_fa3_13_or0
1- 1
-1 1
.names a[4] b[13] u_arrmul16_and4_13
11 1
.names u_arrmul16_and4_13 u_arrmul16_fa5_12_xor1 u_arrmul16_fa4_13_xor0
01 1
10 1
.names u_arrmul16_and4_13 u_arrmul16_fa5_12_xor1 u_arrmul16_fa4_13_and0
11 1
.names u_arrmul16_fa4_13_xor0 u_arrmul16_fa3_13_or0 u_arrmul16_fa4_13_xor1
01 1
10 1
.names u_arrmul16_fa4_13_xor0 u_arrmul16_fa3_13_or0 u_arrmul16_fa4_13_and1
11 1
.names u_arrmul16_fa4_13_and0 u_arrmul16_fa4_13_and1 u_arrmul16_fa4_13_or0
1- 1
-1 1
.names a[5] b[13] u_arrmul16_and5_13
11 1
.names u_arrmul16_and5_13 u_arrmul16_fa6_12_xor1 u_arrmul16_fa5_13_xor0
01 1
10 1
.names u_arrmul16_and5_13 u_arrmul16_fa6_12_xor1 u_arrmul16_fa5_13_and0
11 1
.names u_arrmul16_fa5_13_xor0 u_arrmul16_fa4_13_or0 u_arrmul16_fa5_13_xor1
01 1
10 1
.names u_arrmul16_fa5_13_xor0 u_arrmul16_fa4_13_or0 u_arrmul16_fa5_13_and1
11 1
.names u_arrmul16_fa5_13_and0 u_arrmul16_fa5_13_and1 u_arrmul16_fa5_13_or0
1- 1
-1 1
.names a[6] b[13] u_arrmul16_and6_13
11 1
.names u_arrmul16_and6_13 u_arrmul16_fa7_12_xor1 u_arrmul16_fa6_13_xor0
01 1
10 1
.names u_arrmul16_and6_13 u_arrmul16_fa7_12_xor1 u_arrmul16_fa6_13_and0
11 1
.names u_arrmul16_fa6_13_xor0 u_arrmul16_fa5_13_or0 u_arrmul16_fa6_13_xor1
01 1
10 1
.names u_arrmul16_fa6_13_xor0 u_arrmul16_fa5_13_or0 u_arrmul16_fa6_13_and1
11 1
.names u_arrmul16_fa6_13_and0 u_arrmul16_fa6_13_and1 u_arrmul16_fa6_13_or0
1- 1
-1 1
.names a[7] b[13] u_arrmul16_and7_13
11 1
.names u_arrmul16_and7_13 u_arrmul16_fa8_12_xor1 u_arrmul16_fa7_13_xor0
01 1
10 1
.names u_arrmul16_and7_13 u_arrmul16_fa8_12_xor1 u_arrmul16_fa7_13_and0
11 1
.names u_arrmul16_fa7_13_xor0 u_arrmul16_fa6_13_or0 u_arrmul16_fa7_13_xor1
01 1
10 1
.names u_arrmul16_fa7_13_xor0 u_arrmul16_fa6_13_or0 u_arrmul16_fa7_13_and1
11 1
.names u_arrmul16_fa7_13_and0 u_arrmul16_fa7_13_and1 u_arrmul16_fa7_13_or0
1- 1
-1 1
.names a[8] b[13] u_arrmul16_and8_13
11 1
.names u_arrmul16_and8_13 u_arrmul16_fa9_12_xor1 u_arrmul16_fa8_13_xor0
01 1
10 1
.names u_arrmul16_and8_13 u_arrmul16_fa9_12_xor1 u_arrmul16_fa8_13_and0
11 1
.names u_arrmul16_fa8_13_xor0 u_arrmul16_fa7_13_or0 u_arrmul16_fa8_13_xor1
01 1
10 1
.names u_arrmul16_fa8_13_xor0 u_arrmul16_fa7_13_or0 u_arrmul16_fa8_13_and1
11 1
.names u_arrmul16_fa8_13_and0 u_arrmul16_fa8_13_and1 u_arrmul16_fa8_13_or0
1- 1
-1 1
.names a[9] b[13] u_arrmul16_and9_13
11 1
.names u_arrmul16_and9_13 u_arrmul16_fa10_12_xor1 u_arrmul16_fa9_13_xor0
01 1
10 1
.names u_arrmul16_and9_13 u_arrmul16_fa10_12_xor1 u_arrmul16_fa9_13_and0
11 1
.names u_arrmul16_fa9_13_xor0 u_arrmul16_fa8_13_or0 u_arrmul16_fa9_13_xor1
01 1
10 1
.names u_arrmul16_fa9_13_xor0 u_arrmul16_fa8_13_or0 u_arrmul16_fa9_13_and1
11 1
.names u_arrmul16_fa9_13_and0 u_arrmul16_fa9_13_and1 u_arrmul16_fa9_13_or0
1- 1
-1 1
.names a[10] b[13] u_arrmul16_and10_13
11 1
.names u_arrmul16_and10_13 u_arrmul16_fa11_12_xor1 u_arrmul16_fa10_13_xor0
01 1
10 1
.names u_arrmul16_and10_13 u_arrmul16_fa11_12_xor1 u_arrmul16_fa10_13_and0
11 1
.names u_arrmul16_fa10_13_xor0 u_arrmul16_fa9_13_or0 u_arrmul16_fa10_13_xor1
01 1
10 1
.names u_arrmul16_fa10_13_xor0 u_arrmul16_fa9_13_or0 u_arrmul16_fa10_13_and1
11 1
.names u_arrmul16_fa10_13_and0 u_arrmul16_fa10_13_and1 u_arrmul16_fa10_13_or0
1- 1
-1 1
.names a[11] b[13] u_arrmul16_and11_13
11 1
.names u_arrmul16_and11_13 u_arrmul16_fa12_12_xor1 u_arrmul16_fa11_13_xor0
01 1
10 1
.names u_arrmul16_and11_13 u_arrmul16_fa12_12_xor1 u_arrmul16_fa11_13_and0
11 1
.names u_arrmul16_fa11_13_xor0 u_arrmul16_fa10_13_or0 u_arrmul16_fa11_13_xor1
01 1
10 1
.names u_arrmul16_fa11_13_xor0 u_arrmul16_fa10_13_or0 u_arrmul16_fa11_13_and1
11 1
.names u_arrmul16_fa11_13_and0 u_arrmul16_fa11_13_and1 u_arrmul16_fa11_13_or0
1- 1
-1 1
.names a[12] b[13] u_arrmul16_and12_13
11 1
.names u_arrmul16_and12_13 u_arrmul16_fa13_12_xor1 u_arrmul16_fa12_13_xor0
01 1
10 1
.names u_arrmul16_and12_13 u_arrmul16_fa13_12_xor1 u_arrmul16_fa12_13_and0
11 1
.names u_arrmul16_fa12_13_xor0 u_arrmul16_fa11_13_or0 u_arrmul16_fa12_13_xor1
01 1
10 1
.names u_arrmul16_fa12_13_xor0 u_arrmul16_fa11_13_or0 u_arrmul16_fa12_13_and1
11 1
.names u_arrmul16_fa12_13_and0 u_arrmul16_fa12_13_and1 u_arrmul16_fa12_13_or0
1- 1
-1 1
.names a[13] b[13] u_arrmul16_and13_13
11 1
.names u_arrmul16_and13_13 u_arrmul16_fa14_12_xor1 u_arrmul16_fa13_13_xor0
01 1
10 1
.names u_arrmul16_and13_13 u_arrmul16_fa14_12_xor1 u_arrmul16_fa13_13_and0
11 1
.names u_arrmul16_fa13_13_xor0 u_arrmul16_fa12_13_or0 u_arrmul16_fa13_13_xor1
01 1
10 1
.names u_arrmul16_fa13_13_xor0 u_arrmul16_fa12_13_or0 u_arrmul16_fa13_13_and1
11 1
.names u_arrmul16_fa13_13_and0 u_arrmul16_fa13_13_and1 u_arrmul16_fa13_13_or0
1- 1
-1 1
.names a[14] b[13] u_arrmul16_and14_13
11 1
.names u_arrmul16_and14_13 u_arrmul16_fa15_12_xor1 u_arrmul16_fa14_13_xor0
01 1
10 1
.names u_arrmul16_and14_13 u_arrmul16_fa15_12_xor1 u_arrmul16_fa14_13_and0
11 1
.names u_arrmul16_fa14_13_xor0 u_arrmul16_fa13_13_or0 u_arrmul16_fa14_13_xor1
01 1
10 1
.names u_arrmul16_fa14_13_xor0 u_arrmul16_fa13_13_or0 u_arrmul16_fa14_13_and1
11 1
.names u_arrmul16_fa14_13_and0 u_arrmul16_fa14_13_and1 u_arrmul16_fa14_13_or0
1- 1
-1 1
.names a[15] b[13] u_arrmul16_and15_13
11 1
.names u_arrmul16_and15_13 u_arrmul16_fa15_12_or0 u_arrmul16_fa15_13_xor0
01 1
10 1
.names u_arrmul16_and15_13 u_arrmul16_fa15_12_or0 u_arrmul16_fa15_13_and0
11 1
.names u_arrmul16_fa15_13_xor0 u_arrmul16_fa14_13_or0 u_arrmul16_fa15_13_xor1
01 1
10 1
.names u_arrmul16_fa15_13_xor0 u_arrmul16_fa14_13_or0 u_arrmul16_fa15_13_and1
11 1
.names u_arrmul16_fa15_13_and0 u_arrmul16_fa15_13_and1 u_arrmul16_fa15_13_or0
1- 1
-1 1
.names a[0] b[14] u_arrmul16_and0_14
11 1
.names u_arrmul16_and0_14 u_arrmul16_fa1_13_xor1 u_arrmul16_ha0_14_xor0
01 1
10 1
.names u_arrmul16_and0_14 u_arrmul16_fa1_13_xor1 u_arrmul16_ha0_14_and0
11 1
.names a[1] b[14] u_arrmul16_and1_14
11 1
.names u_arrmul16_and1_14 u_arrmul16_fa2_13_xor1 u_arrmul16_fa1_14_xor0
01 1
10 1
.names u_arrmul16_and1_14 u_arrmul16_fa2_13_xor1 u_arrmul16_fa1_14_and0
11 1
.names u_arrmul16_fa1_14_xor0 u_arrmul16_ha0_14_and0 u_arrmul16_fa1_14_xor1
01 1
10 1
.names u_arrmul16_fa1_14_xor0 u_arrmul16_ha0_14_and0 u_arrmul16_fa1_14_and1
11 1
.names u_arrmul16_fa1_14_and0 u_arrmul16_fa1_14_and1 u_arrmul16_fa1_14_or0
1- 1
-1 1
.names a[2] b[14] u_arrmul16_and2_14
11 1
.names u_arrmul16_and2_14 u_arrmul16_fa3_13_xor1 u_arrmul16_fa2_14_xor0
01 1
10 1
.names u_arrmul16_and2_14 u_arrmul16_fa3_13_xor1 u_arrmul16_fa2_14_and0
11 1
.names u_arrmul16_fa2_14_xor0 u_arrmul16_fa1_14_or0 u_arrmul16_fa2_14_xor1
01 1
10 1
.names u_arrmul16_fa2_14_xor0 u_arrmul16_fa1_14_or0 u_arrmul16_fa2_14_and1
11 1
.names u_arrmul16_fa2_14_and0 u_arrmul16_fa2_14_and1 u_arrmul16_fa2_14_or0
1- 1
-1 1
.names a[3] b[14] u_arrmul16_and3_14
11 1
.names u_arrmul16_and3_14 u_arrmul16_fa4_13_xor1 u_arrmul16_fa3_14_xor0
01 1
10 1
.names u_arrmul16_and3_14 u_arrmul16_fa4_13_xor1 u_arrmul16_fa3_14_and0
11 1
.names u_arrmul16_fa3_14_xor0 u_arrmul16_fa2_14_or0 u_arrmul16_fa3_14_xor1
01 1
10 1
.names u_arrmul16_fa3_14_xor0 u_arrmul16_fa2_14_or0 u_arrmul16_fa3_14_and1
11 1
.names u_arrmul16_fa3_14_and0 u_arrmul16_fa3_14_and1 u_arrmul16_fa3_14_or0
1- 1
-1 1
.names a[4] b[14] u_arrmul16_and4_14
11 1
.names u_arrmul16_and4_14 u_arrmul16_fa5_13_xor1 u_arrmul16_fa4_14_xor0
01 1
10 1
.names u_arrmul16_and4_14 u_arrmul16_fa5_13_xor1 u_arrmul16_fa4_14_and0
11 1
.names u_arrmul16_fa4_14_xor0 u_arrmul16_fa3_14_or0 u_arrmul16_fa4_14_xor1
01 1
10 1
.names u_arrmul16_fa4_14_xor0 u_arrmul16_fa3_14_or0 u_arrmul16_fa4_14_and1
11 1
.names u_arrmul16_fa4_14_and0 u_arrmul16_fa4_14_and1 u_arrmul16_fa4_14_or0
1- 1
-1 1
.names a[5] b[14] u_arrmul16_and5_14
11 1
.names u_arrmul16_and5_14 u_arrmul16_fa6_13_xor1 u_arrmul16_fa5_14_xor0
01 1
10 1
.names u_arrmul16_and5_14 u_arrmul16_fa6_13_xor1 u_arrmul16_fa5_14_and0
11 1
.names u_arrmul16_fa5_14_xor0 u_arrmul16_fa4_14_or0 u_arrmul16_fa5_14_xor1
01 1
10 1
.names u_arrmul16_fa5_14_xor0 u_arrmul16_fa4_14_or0 u_arrmul16_fa5_14_and1
11 1
.names u_arrmul16_fa5_14_and0 u_arrmul16_fa5_14_and1 u_arrmul16_fa5_14_or0
1- 1
-1 1
.names a[6] b[14] u_arrmul16_and6_14
11 1
.names u_arrmul16_and6_14 u_arrmul16_fa7_13_xor1 u_arrmul16_fa6_14_xor0
01 1
10 1
.names u_arrmul16_and6_14 u_arrmul16_fa7_13_xor1 u_arrmul16_fa6_14_and0
11 1
.names u_arrmul16_fa6_14_xor0 u_arrmul16_fa5_14_or0 u_arrmul16_fa6_14_xor1
01 1
10 1
.names u_arrmul16_fa6_14_xor0 u_arrmul16_fa5_14_or0 u_arrmul16_fa6_14_and1
11 1
.names u_arrmul16_fa6_14_and0 u_arrmul16_fa6_14_and1 u_arrmul16_fa6_14_or0
1- 1
-1 1
.names a[7] b[14] u_arrmul16_and7_14
11 1
.names u_arrmul16_and7_14 u_arrmul16_fa8_13_xor1 u_arrmul16_fa7_14_xor0
01 1
10 1
.names u_arrmul16_and7_14 u_arrmul16_fa8_13_xor1 u_arrmul16_fa7_14_and0
11 1
.names u_arrmul16_fa7_14_xor0 u_arrmul16_fa6_14_or0 u_arrmul16_fa7_14_xor1
01 1
10 1
.names u_arrmul16_fa7_14_xor0 u_arrmul16_fa6_14_or0 u_arrmul16_fa7_14_and1
11 1
.names u_arrmul16_fa7_14_and0 u_arrmul16_fa7_14_and1 u_arrmul16_fa7_14_or0
1- 1
-1 1
.names a[8] b[14] u_arrmul16_and8_14
11 1
.names u_arrmul16_and8_14 u_arrmul16_fa9_13_xor1 u_arrmul16_fa8_14_xor0
01 1
10 1
.names u_arrmul16_and8_14 u_arrmul16_fa9_13_xor1 u_arrmul16_fa8_14_and0
11 1
.names u_arrmul16_fa8_14_xor0 u_arrmul16_fa7_14_or0 u_arrmul16_fa8_14_xor1
01 1
10 1
.names u_arrmul16_fa8_14_xor0 u_arrmul16_fa7_14_or0 u_arrmul16_fa8_14_and1
11 1
.names u_arrmul16_fa8_14_and0 u_arrmul16_fa8_14_and1 u_arrmul16_fa8_14_or0
1- 1
-1 1
.names a[9] b[14] u_arrmul16_and9_14
11 1
.names u_arrmul16_and9_14 u_arrmul16_fa10_13_xor1 u_arrmul16_fa9_14_xor0
01 1
10 1
.names u_arrmul16_and9_14 u_arrmul16_fa10_13_xor1 u_arrmul16_fa9_14_and0
11 1
.names u_arrmul16_fa9_14_xor0 u_arrmul16_fa8_14_or0 u_arrmul16_fa9_14_xor1
01 1
10 1
.names u_arrmul16_fa9_14_xor0 u_arrmul16_fa8_14_or0 u_arrmul16_fa9_14_and1
11 1
.names u_arrmul16_fa9_14_and0 u_arrmul16_fa9_14_and1 u_arrmul16_fa9_14_or0
1- 1
-1 1
.names a[10] b[14] u_arrmul16_and10_14
11 1
.names u_arrmul16_and10_14 u_arrmul16_fa11_13_xor1 u_arrmul16_fa10_14_xor0
01 1
10 1
.names u_arrmul16_and10_14 u_arrmul16_fa11_13_xor1 u_arrmul16_fa10_14_and0
11 1
.names u_arrmul16_fa10_14_xor0 u_arrmul16_fa9_14_or0 u_arrmul16_fa10_14_xor1
01 1
10 1
.names u_arrmul16_fa10_14_xor0 u_arrmul16_fa9_14_or0 u_arrmul16_fa10_14_and1
11 1
.names u_arrmul16_fa10_14_and0 u_arrmul16_fa10_14_and1 u_arrmul16_fa10_14_or0
1- 1
-1 1
.names a[11] b[14] u_arrmul16_and11_14
11 1
.names u_arrmul16_and11_14 u_arrmul16_fa12_13_xor1 u_arrmul16_fa11_14_xor0
01 1
10 1
.names u_arrmul16_and11_14 u_arrmul16_fa12_13_xor1 u_arrmul16_fa11_14_and0
11 1
.names u_arrmul16_fa11_14_xor0 u_arrmul16_fa10_14_or0 u_arrmul16_fa11_14_xor1
01 1
10 1
.names u_arrmul16_fa11_14_xor0 u_arrmul16_fa10_14_or0 u_arrmul16_fa11_14_and1
11 1
.names u_arrmul16_fa11_14_and0 u_arrmul16_fa11_14_and1 u_arrmul16_fa11_14_or0
1- 1
-1 1
.names a[12] b[14] u_arrmul16_and12_14
11 1
.names u_arrmul16_and12_14 u_arrmul16_fa13_13_xor1 u_arrmul16_fa12_14_xor0
01 1
10 1
.names u_arrmul16_and12_14 u_arrmul16_fa13_13_xor1 u_arrmul16_fa12_14_and0
11 1
.names u_arrmul16_fa12_14_xor0 u_arrmul16_fa11_14_or0 u_arrmul16_fa12_14_xor1
01 1
10 1
.names u_arrmul16_fa12_14_xor0 u_arrmul16_fa11_14_or0 u_arrmul16_fa12_14_and1
11 1
.names u_arrmul16_fa12_14_and0 u_arrmul16_fa12_14_and1 u_arrmul16_fa12_14_or0
1- 1
-1 1
.names a[13] b[14] u_arrmul16_and13_14
11 1
.names u_arrmul16_and13_14 u_arrmul16_fa14_13_xor1 u_arrmul16_fa13_14_xor0
01 1
10 1
.names u_arrmul16_and13_14 u_arrmul16_fa14_13_xor1 u_arrmul16_fa13_14_and0
11 1
.names u_arrmul16_fa13_14_xor0 u_arrmul16_fa12_14_or0 u_arrmul16_fa13_14_xor1
01 1
10 1
.names u_arrmul16_fa13_14_xor0 u_arrmul16_fa12_14_or0 u_arrmul16_fa13_14_and1
11 1
.names u_arrmul16_fa13_14_and0 u_arrmul16_fa13_14_and1 u_arrmul16_fa13_14_or0
1- 1
-1 1
.names a[14] b[14] u_arrmul16_and14_14
11 1
.names u_arrmul16_and14_14 u_arrmul16_fa15_13_xor1 u_arrmul16_fa14_14_xor0
01 1
10 1
.names u_arrmul16_and14_14 u_arrmul16_fa15_13_xor1 u_arrmul16_fa14_14_and0
11 1
.names u_arrmul16_fa14_14_xor0 u_arrmul16_fa13_14_or0 u_arrmul16_fa14_14_xor1
01 1
10 1
.names u_arrmul16_fa14_14_xor0 u_arrmul16_fa13_14_or0 u_arrmul16_fa14_14_and1
11 1
.names u_arrmul16_fa14_14_and0 u_arrmul16_fa14_14_and1 u_arrmul16_fa14_14_or0
1- 1
-1 1
.names a[15] b[14] u_arrmul16_and15_14
11 1
.names u_arrmul16_and15_14 u_arrmul16_fa15_13_or0 u_arrmul16_fa15_14_xor0
01 1
10 1
.names u_arrmul16_and15_14 u_arrmul16_fa15_13_or0 u_arrmul16_fa15_14_and0
11 1
.names u_arrmul16_fa15_14_xor0 u_arrmul16_fa14_14_or0 u_arrmul16_fa15_14_xor1
01 1
10 1
.names u_arrmul16_fa15_14_xor0 u_arrmul16_fa14_14_or0 u_arrmul16_fa15_14_and1
11 1
.names u_arrmul16_fa15_14_and0 u_arrmul16_fa15_14_and1 u_arrmul16_fa15_14_or0
1- 1
-1 1
.names a[0] b[15] u_arrmul16_and0_15
11 1
.names u_arrmul16_and0_15 u_arrmul16_fa1_14_xor1 u_arrmul16_ha0_15_xor0
01 1
10 1
.names u_arrmul16_and0_15 u_arrmul16_fa1_14_xor1 u_arrmul16_ha0_15_and0
11 1
.names a[1] b[15] u_arrmul16_and1_15
11 1
.names u_arrmul16_and1_15 u_arrmul16_fa2_14_xor1 u_arrmul16_fa1_15_xor0
01 1
10 1
.names u_arrmul16_and1_15 u_arrmul16_fa2_14_xor1 u_arrmul16_fa1_15_and0
11 1
.names u_arrmul16_fa1_15_xor0 u_arrmul16_ha0_15_and0 u_arrmul16_fa1_15_xor1
01 1
10 1
.names u_arrmul16_fa1_15_xor0 u_arrmul16_ha0_15_and0 u_arrmul16_fa1_15_and1
11 1
.names u_arrmul16_fa1_15_and0 u_arrmul16_fa1_15_and1 u_arrmul16_fa1_15_or0
1- 1
-1 1
.names a[2] b[15] u_arrmul16_and2_15
11 1
.names u_arrmul16_and2_15 u_arrmul16_fa3_14_xor1 u_arrmul16_fa2_15_xor0
01 1
10 1
.names u_arrmul16_and2_15 u_arrmul16_fa3_14_xor1 u_arrmul16_fa2_15_and0
11 1
.names u_arrmul16_fa2_15_xor0 u_arrmul16_fa1_15_or0 u_arrmul16_fa2_15_xor1
01 1
10 1
.names u_arrmul16_fa2_15_xor0 u_arrmul16_fa1_15_or0 u_arrmul16_fa2_15_and1
11 1
.names u_arrmul16_fa2_15_and0 u_arrmul16_fa2_15_and1 u_arrmul16_fa2_15_or0
1- 1
-1 1
.names a[3] b[15] u_arrmul16_and3_15
11 1
.names u_arrmul16_and3_15 u_arrmul16_fa4_14_xor1 u_arrmul16_fa3_15_xor0
01 1
10 1
.names u_arrmul16_and3_15 u_arrmul16_fa4_14_xor1 u_arrmul16_fa3_15_and0
11 1
.names u_arrmul16_fa3_15_xor0 u_arrmul16_fa2_15_or0 u_arrmul16_fa3_15_xor1
01 1
10 1
.names u_arrmul16_fa3_15_xor0 u_arrmul16_fa2_15_or0 u_arrmul16_fa3_15_and1
11 1
.names u_arrmul16_fa3_15_and0 u_arrmul16_fa3_15_and1 u_arrmul16_fa3_15_or0
1- 1
-1 1
.names a[4] b[15] u_arrmul16_and4_15
11 1
.names u_arrmul16_and4_15 u_arrmul16_fa5_14_xor1 u_arrmul16_fa4_15_xor0
01 1
10 1
.names u_arrmul16_and4_15 u_arrmul16_fa5_14_xor1 u_arrmul16_fa4_15_and0
11 1
.names u_arrmul16_fa4_15_xor0 u_arrmul16_fa3_15_or0 u_arrmul16_fa4_15_xor1
01 1
10 1
.names u_arrmul16_fa4_15_xor0 u_arrmul16_fa3_15_or0 u_arrmul16_fa4_15_and1
11 1
.names u_arrmul16_fa4_15_and0 u_arrmul16_fa4_15_and1 u_arrmul16_fa4_15_or0
1- 1
-1 1
.names a[5] b[15] u_arrmul16_and5_15
11 1
.names u_arrmul16_and5_15 u_arrmul16_fa6_14_xor1 u_arrmul16_fa5_15_xor0
01 1
10 1
.names u_arrmul16_and5_15 u_arrmul16_fa6_14_xor1 u_arrmul16_fa5_15_and0
11 1
.names u_arrmul16_fa5_15_xor0 u_arrmul16_fa4_15_or0 u_arrmul16_fa5_15_xor1
01 1
10 1
.names u_arrmul16_fa5_15_xor0 u_arrmul16_fa4_15_or0 u_arrmul16_fa5_15_and1
11 1
.names u_arrmul16_fa5_15_and0 u_arrmul16_fa5_15_and1 u_arrmul16_fa5_15_or0
1- 1
-1 1
.names a[6] b[15] u_arrmul16_and6_15
11 1
.names u_arrmul16_and6_15 u_arrmul16_fa7_14_xor1 u_arrmul16_fa6_15_xor0
01 1
10 1
.names u_arrmul16_and6_15 u_arrmul16_fa7_14_xor1 u_arrmul16_fa6_15_and0
11 1
.names u_arrmul16_fa6_15_xor0 u_arrmul16_fa5_15_or0 u_arrmul16_fa6_15_xor1
01 1
10 1
.names u_arrmul16_fa6_15_xor0 u_arrmul16_fa5_15_or0 u_arrmul16_fa6_15_and1
11 1
.names u_arrmul16_fa6_15_and0 u_arrmul16_fa6_15_and1 u_arrmul16_fa6_15_or0
1- 1
-1 1
.names a[7] b[15] u_arrmul16_and7_15
11 1
.names u_arrmul16_and7_15 u_arrmul16_fa8_14_xor1 u_arrmul16_fa7_15_xor0
01 1
10 1
.names u_arrmul16_and7_15 u_arrmul16_fa8_14_xor1 u_arrmul16_fa7_15_and0
11 1
.names u_arrmul16_fa7_15_xor0 u_arrmul16_fa6_15_or0 u_arrmul16_fa7_15_xor1
01 1
10 1
.names u_arrmul16_fa7_15_xor0 u_arrmul16_fa6_15_or0 u_arrmul16_fa7_15_and1
11 1
.names u_arrmul16_fa7_15_and0 u_arrmul16_fa7_15_and1 u_arrmul16_fa7_15_or0
1- 1
-1 1
.names a[8] b[15] u_arrmul16_and8_15
11 1
.names u_arrmul16_and8_15 u_arrmul16_fa9_14_xor1 u_arrmul16_fa8_15_xor0
01 1
10 1
.names u_arrmul16_and8_15 u_arrmul16_fa9_14_xor1 u_arrmul16_fa8_15_and0
11 1
.names u_arrmul16_fa8_15_xor0 u_arrmul16_fa7_15_or0 u_arrmul16_fa8_15_xor1
01 1
10 1
.names u_arrmul16_fa8_15_xor0 u_arrmul16_fa7_15_or0 u_arrmul16_fa8_15_and1
11 1
.names u_arrmul16_fa8_15_and0 u_arrmul16_fa8_15_and1 u_arrmul16_fa8_15_or0
1- 1
-1 1
.names a[9] b[15] u_arrmul16_and9_15
11 1
.names u_arrmul16_and9_15 u_arrmul16_fa10_14_xor1 u_arrmul16_fa9_15_xor0
01 1
10 1
.names u_arrmul16_and9_15 u_arrmul16_fa10_14_xor1 u_arrmul16_fa9_15_and0
11 1
.names u_arrmul16_fa9_15_xor0 u_arrmul16_fa8_15_or0 u_arrmul16_fa9_15_xor1
01 1
10 1
.names u_arrmul16_fa9_15_xor0 u_arrmul16_fa8_15_or0 u_arrmul16_fa9_15_and1
11 1
.names u_arrmul16_fa9_15_and0 u_arrmul16_fa9_15_and1 u_arrmul16_fa9_15_or0
1- 1
-1 1
.names a[10] b[15] u_arrmul16_and10_15
11 1
.names u_arrmul16_and10_15 u_arrmul16_fa11_14_xor1 u_arrmul16_fa10_15_xor0
01 1
10 1
.names u_arrmul16_and10_15 u_arrmul16_fa11_14_xor1 u_arrmul16_fa10_15_and0
11 1
.names u_arrmul16_fa10_15_xor0 u_arrmul16_fa9_15_or0 u_arrmul16_fa10_15_xor1
01 1
10 1
.names u_arrmul16_fa10_15_xor0 u_arrmul16_fa9_15_or0 u_arrmul16_fa10_15_and1
11 1
.names u_arrmul16_fa10_15_and0 u_arrmul16_fa10_15_and1 u_arrmul16_fa10_15_or0
1- 1
-1 1
.names a[11] b[15] u_arrmul16_and11_15
11 1
.names u_arrmul16_and11_15 u_arrmul16_fa12_14_xor1 u_arrmul16_fa11_15_xor0
01 1
10 1
.names u_arrmul16_and11_15 u_arrmul16_fa12_14_xor1 u_arrmul16_fa11_15_and0
11 1
.names u_arrmul16_fa11_15_xor0 u_arrmul16_fa10_15_or0 u_arrmul16_fa11_15_xor1
01 1
10 1
.names u_arrmul16_fa11_15_xor0 u_arrmul16_fa10_15_or0 u_arrmul16_fa11_15_and1
11 1
.names u_arrmul16_fa11_15_and0 u_arrmul16_fa11_15_and1 u_arrmul16_fa11_15_or0
1- 1
-1 1
.names a[12] b[15] u_arrmul16_and12_15
11 1
.names u_arrmul16_and12_15 u_arrmul16_fa13_14_xor1 u_arrmul16_fa12_15_xor0
01 1
10 1
.names u_arrmul16_and12_15 u_arrmul16_fa13_14_xor1 u_arrmul16_fa12_15_and0
11 1
.names u_arrmul16_fa12_15_xor0 u_arrmul16_fa11_15_or0 u_arrmul16_fa12_15_xor1
01 1
10 1
.names u_arrmul16_fa12_15_xor0 u_arrmul16_fa11_15_or0 u_arrmul16_fa12_15_and1
11 1
.names u_arrmul16_fa12_15_and0 u_arrmul16_fa12_15_and1 u_arrmul16_fa12_15_or0
1- 1
-1 1
.names a[13] b[15] u_arrmul16_and13_15
11 1
.names u_arrmul16_and13_15 u_arrmul16_fa14_14_xor1 u_arrmul16_fa13_15_xor0
01 1
10 1
.names u_arrmul16_and13_15 u_arrmul16_fa14_14_xor1 u_arrmul16_fa13_15_and0
11 1
.names u_arrmul16_fa13_15_xor0 u_arrmul16_fa12_15_or0 u_arrmul16_fa13_15_xor1
01 1
10 1
.names u_arrmul16_fa13_15_xor0 u_arrmul16_fa12_15_or0 u_arrmul16_fa13_15_and1
11 1
.names u_arrmul16_fa13_15_and0 u_arrmul16_fa13_15_and1 u_arrmul16_fa13_15_or0
1- 1
-1 1
.names a[14] b[15] u_arrmul16_and14_15
11 1
.names u_arrmul16_and14_15 u_arrmul16_fa15_14_xor1 u_arrmul16_fa14_15_xor0
01 1
10 1
.names u_arrmul16_and14_15 u_arrmul16_fa15_14_xor1 u_arrmul16_fa14_15_and0
11 1
.names u_arrmul16_fa14_15_xor0 u_arrmul16_fa13_15_or0 u_arrmul16_fa14_15_xor1
01 1
10 1
.names u_arrmul16_fa14_15_xor0 u_arrmul16_fa13_15_or0 u_arrmul16_fa14_15_and1
11 1
.names u_arrmul16_fa14_15_and0 u_arrmul16_fa14_15_and1 u_arrmul16_fa14_15_or0
1- 1
-1 1
.names a[15] b[15] u_arrmul16_and15_15
11 1
.names u_arrmul16_and15_15 u_arrmul16_fa15_14_or0 u_arrmul16_fa15_15_xor0
01 1
10 1
.names u_arrmul16_and15_15 u_arrmul16_fa15_14_or0 u_arrmul16_fa15_15_and0
11 1
.names u_arrmul16_fa15_15_xor0 u_arrmul16_fa14_15_or0 u_arrmul16_fa15_15_xor1
01 1
10 1
.names u_arrmul16_fa15_15_xor0 u_arrmul16_fa14_15_or0 u_arrmul16_fa15_15_and1
11 1
.names u_arrmul16_fa15_15_and0 u_arrmul16_fa15_15_and1 u_arrmul16_fa15_15_or0
1- 1
-1 1
.names u_arrmul16_and0_0 u_arrmul16_out[0]
1 1
.names u_arrmul16_ha0_1_xor0 u_arrmul16_out[1]
1 1
.names u_arrmul16_ha0_2_xor0 u_arrmul16_out[2]
1 1
.names u_arrmul16_ha0_3_xor0 u_arrmul16_out[3]
1 1
.names u_arrmul16_ha0_4_xor0 u_arrmul16_out[4]
1 1
.names u_arrmul16_ha0_5_xor0 u_arrmul16_out[5]
1 1
.names u_arrmul16_ha0_6_xor0 u_arrmul16_out[6]
1 1
.names u_arrmul16_ha0_7_xor0 u_arrmul16_out[7]
1 1
.names u_arrmul16_ha0_8_xor0 u_arrmul16_out[8]
1 1
.names u_arrmul16_ha0_9_xor0 u_arrmul16_out[9]
1 1
.names u_arrmul16_ha0_10_xor0 u_arrmul16_out[10]
1 1
.names u_arrmul16_ha0_11_xor0 u_arrmul16_out[11]
1 1
.names u_arrmul16_ha0_12_xor0 u_arrmul16_out[12]
1 1
.names u_arrmul16_ha0_13_xor0 u_arrmul16_out[13]
1 1
.names u_arrmul16_ha0_14_xor0 u_arrmul16_out[14]
1 1
.names u_arrmul16_ha0_15_xor0 u_arrmul16_out[15]
1 1
.names u_arrmul16_fa1_15_xor1 u_arrmul16_out[16]
1 1
.names u_arrmul16_fa2_15_xor1 u_arrmul16_out[17]
1 1
.names u_arrmul16_fa3_15_xor1 u_arrmul16_out[18]
1 1
.names u_arrmul16_fa4_15_xor1 u_arrmul16_out[19]
1 1
.names u_arrmul16_fa5_15_xor1 u_arrmul16_out[20]
1 1
.names u_arrmul16_fa6_15_xor1 u_arrmul16_out[21]
1 1
.names u_arrmul16_fa7_15_xor1 u_arrmul16_out[22]
1 1
.names u_arrmul16_fa8_15_xor1 u_arrmul16_out[23]
1 1
.names u_arrmul16_fa9_15_xor1 u_arrmul16_out[24]
1 1
.names u_arrmul16_fa10_15_xor1 u_arrmul16_out[25]
1 1
.names u_arrmul16_fa11_15_xor1 u_arrmul16_out[26]
1 1
.names u_arrmul16_fa12_15_xor1 u_arrmul16_out[27]
1 1
.names u_arrmul16_fa13_15_xor1 u_arrmul16_out[28]
1 1
.names u_arrmul16_fa14_15_xor1 u_arrmul16_out[29]
1 1
.names u_arrmul16_fa15_15_xor1 u_arrmul16_out[30]
1 1
.names u_arrmul16_fa15_15_or0 u_arrmul16_out[31]
1 1
.end