another window build fix

This commit is contained in:
Arvid Norberg 2015-03-08 02:11:42 +00:00
parent 78f65bb37f
commit bfaf7cb28c
1 changed files with 220 additions and 220 deletions

View File

@ -593,106 +593,106 @@ void fe_mul(fe h, const fe f, const fe g) {
i32 f5_2 = 2 * f5;
i32 f7_2 = 2 * f7;
i32 f9_2 = 2 * f9;
i64 f0g0 = f0 * (int64_t) g0;
i64 f0g1 = f0 * (int64_t) g1;
i64 f0g2 = f0 * (int64_t) g2;
i64 f0g3 = f0 * (int64_t) g3;
i64 f0g4 = f0 * (int64_t) g4;
i64 f0g5 = f0 * (int64_t) g5;
i64 f0g6 = f0 * (int64_t) g6;
i64 f0g7 = f0 * (int64_t) g7;
i64 f0g8 = f0 * (int64_t) g8;
i64 f0g9 = f0 * (int64_t) g9;
i64 f1g0 = f1 * (int64_t) g0;
i64 f1g1_2 = f1_2 * (int64_t) g1;
i64 f1g2 = f1 * (int64_t) g2;
i64 f1g3_2 = f1_2 * (int64_t) g3;
i64 f1g4 = f1 * (int64_t) g4;
i64 f1g5_2 = f1_2 * (int64_t) g5;
i64 f1g6 = f1 * (int64_t) g6;
i64 f1g7_2 = f1_2 * (int64_t) g7;
i64 f1g8 = f1 * (int64_t) g8;
i64 f1g9_38 = f1_2 * (int64_t) g9_19;
i64 f2g0 = f2 * (int64_t) g0;
i64 f2g1 = f2 * (int64_t) g1;
i64 f2g2 = f2 * (int64_t) g2;
i64 f2g3 = f2 * (int64_t) g3;
i64 f2g4 = f2 * (int64_t) g4;
i64 f2g5 = f2 * (int64_t) g5;
i64 f2g6 = f2 * (int64_t) g6;
i64 f2g7 = f2 * (int64_t) g7;
i64 f2g8_19 = f2 * (int64_t) g8_19;
i64 f2g9_19 = f2 * (int64_t) g9_19;
i64 f3g0 = f3 * (int64_t) g0;
i64 f3g1_2 = f3_2 * (int64_t) g1;
i64 f3g2 = f3 * (int64_t) g2;
i64 f3g3_2 = f3_2 * (int64_t) g3;
i64 f3g4 = f3 * (int64_t) g4;
i64 f3g5_2 = f3_2 * (int64_t) g5;
i64 f3g6 = f3 * (int64_t) g6;
i64 f3g7_38 = f3_2 * (int64_t) g7_19;
i64 f3g8_19 = f3 * (int64_t) g8_19;
i64 f3g9_38 = f3_2 * (int64_t) g9_19;
i64 f4g0 = f4 * (int64_t) g0;
i64 f4g1 = f4 * (int64_t) g1;
i64 f4g2 = f4 * (int64_t) g2;
i64 f4g3 = f4 * (int64_t) g3;
i64 f4g4 = f4 * (int64_t) g4;
i64 f4g5 = f4 * (int64_t) g5;
i64 f4g6_19 = f4 * (int64_t) g6_19;
i64 f4g7_19 = f4 * (int64_t) g7_19;
i64 f4g8_19 = f4 * (int64_t) g8_19;
i64 f4g9_19 = f4 * (int64_t) g9_19;
i64 f5g0 = f5 * (int64_t) g0;
i64 f5g1_2 = f5_2 * (int64_t) g1;
i64 f5g2 = f5 * (int64_t) g2;
i64 f5g3_2 = f5_2 * (int64_t) g3;
i64 f5g4 = f5 * (int64_t) g4;
i64 f5g5_38 = f5_2 * (int64_t) g5_19;
i64 f5g6_19 = f5 * (int64_t) g6_19;
i64 f5g7_38 = f5_2 * (int64_t) g7_19;
i64 f5g8_19 = f5 * (int64_t) g8_19;
i64 f5g9_38 = f5_2 * (int64_t) g9_19;
i64 f6g0 = f6 * (int64_t) g0;
i64 f6g1 = f6 * (int64_t) g1;
i64 f6g2 = f6 * (int64_t) g2;
i64 f6g3 = f6 * (int64_t) g3;
i64 f6g4_19 = f6 * (int64_t) g4_19;
i64 f6g5_19 = f6 * (int64_t) g5_19;
i64 f6g6_19 = f6 * (int64_t) g6_19;
i64 f6g7_19 = f6 * (int64_t) g7_19;
i64 f6g8_19 = f6 * (int64_t) g8_19;
i64 f6g9_19 = f6 * (int64_t) g9_19;
i64 f7g0 = f7 * (int64_t) g0;
i64 f7g1_2 = f7_2 * (int64_t) g1;
i64 f7g2 = f7 * (int64_t) g2;
i64 f7g3_38 = f7_2 * (int64_t) g3_19;
i64 f7g4_19 = f7 * (int64_t) g4_19;
i64 f7g5_38 = f7_2 * (int64_t) g5_19;
i64 f7g6_19 = f7 * (int64_t) g6_19;
i64 f7g7_38 = f7_2 * (int64_t) g7_19;
i64 f7g8_19 = f7 * (int64_t) g8_19;
i64 f7g9_38 = f7_2 * (int64_t) g9_19;
i64 f8g0 = f8 * (int64_t) g0;
i64 f8g1 = f8 * (int64_t) g1;
i64 f8g2_19 = f8 * (int64_t) g2_19;
i64 f8g3_19 = f8 * (int64_t) g3_19;
i64 f8g4_19 = f8 * (int64_t) g4_19;
i64 f8g5_19 = f8 * (int64_t) g5_19;
i64 f8g6_19 = f8 * (int64_t) g6_19;
i64 f8g7_19 = f8 * (int64_t) g7_19;
i64 f8g8_19 = f8 * (int64_t) g8_19;
i64 f8g9_19 = f8 * (int64_t) g9_19;
i64 f9g0 = f9 * (int64_t) g0;
i64 f9g1_38 = f9_2 * (int64_t) g1_19;
i64 f9g2_19 = f9 * (int64_t) g2_19;
i64 f9g3_38 = f9_2 * (int64_t) g3_19;
i64 f9g4_19 = f9 * (int64_t) g4_19;
i64 f9g5_38 = f9_2 * (int64_t) g5_19;
i64 f9g6_19 = f9 * (int64_t) g6_19;
i64 f9g7_38 = f9_2 * (int64_t) g7_19;
i64 f9g8_19 = f9 * (int64_t) g8_19;
i64 f9g9_38 = f9_2 * (int64_t) g9_19;
i64 f0g0 = f0 * (i64) g0;
i64 f0g1 = f0 * (i64) g1;
i64 f0g2 = f0 * (i64) g2;
i64 f0g3 = f0 * (i64) g3;
i64 f0g4 = f0 * (i64) g4;
i64 f0g5 = f0 * (i64) g5;
i64 f0g6 = f0 * (i64) g6;
i64 f0g7 = f0 * (i64) g7;
i64 f0g8 = f0 * (i64) g8;
i64 f0g9 = f0 * (i64) g9;
i64 f1g0 = f1 * (i64) g0;
i64 f1g1_2 = f1_2 * (i64) g1;
i64 f1g2 = f1 * (i64) g2;
i64 f1g3_2 = f1_2 * (i64) g3;
i64 f1g4 = f1 * (i64) g4;
i64 f1g5_2 = f1_2 * (i64) g5;
i64 f1g6 = f1 * (i64) g6;
i64 f1g7_2 = f1_2 * (i64) g7;
i64 f1g8 = f1 * (i64) g8;
i64 f1g9_38 = f1_2 * (i64) g9_19;
i64 f2g0 = f2 * (i64) g0;
i64 f2g1 = f2 * (i64) g1;
i64 f2g2 = f2 * (i64) g2;
i64 f2g3 = f2 * (i64) g3;
i64 f2g4 = f2 * (i64) g4;
i64 f2g5 = f2 * (i64) g5;
i64 f2g6 = f2 * (i64) g6;
i64 f2g7 = f2 * (i64) g7;
i64 f2g8_19 = f2 * (i64) g8_19;
i64 f2g9_19 = f2 * (i64) g9_19;
i64 f3g0 = f3 * (i64) g0;
i64 f3g1_2 = f3_2 * (i64) g1;
i64 f3g2 = f3 * (i64) g2;
i64 f3g3_2 = f3_2 * (i64) g3;
i64 f3g4 = f3 * (i64) g4;
i64 f3g5_2 = f3_2 * (i64) g5;
i64 f3g6 = f3 * (i64) g6;
i64 f3g7_38 = f3_2 * (i64) g7_19;
i64 f3g8_19 = f3 * (i64) g8_19;
i64 f3g9_38 = f3_2 * (i64) g9_19;
i64 f4g0 = f4 * (i64) g0;
i64 f4g1 = f4 * (i64) g1;
i64 f4g2 = f4 * (i64) g2;
i64 f4g3 = f4 * (i64) g3;
i64 f4g4 = f4 * (i64) g4;
i64 f4g5 = f4 * (i64) g5;
i64 f4g6_19 = f4 * (i64) g6_19;
i64 f4g7_19 = f4 * (i64) g7_19;
i64 f4g8_19 = f4 * (i64) g8_19;
i64 f4g9_19 = f4 * (i64) g9_19;
i64 f5g0 = f5 * (i64) g0;
i64 f5g1_2 = f5_2 * (i64) g1;
i64 f5g2 = f5 * (i64) g2;
i64 f5g3_2 = f5_2 * (i64) g3;
i64 f5g4 = f5 * (i64) g4;
i64 f5g5_38 = f5_2 * (i64) g5_19;
i64 f5g6_19 = f5 * (i64) g6_19;
i64 f5g7_38 = f5_2 * (i64) g7_19;
i64 f5g8_19 = f5 * (i64) g8_19;
i64 f5g9_38 = f5_2 * (i64) g9_19;
i64 f6g0 = f6 * (i64) g0;
i64 f6g1 = f6 * (i64) g1;
i64 f6g2 = f6 * (i64) g2;
i64 f6g3 = f6 * (i64) g3;
i64 f6g4_19 = f6 * (i64) g4_19;
i64 f6g5_19 = f6 * (i64) g5_19;
i64 f6g6_19 = f6 * (i64) g6_19;
i64 f6g7_19 = f6 * (i64) g7_19;
i64 f6g8_19 = f6 * (i64) g8_19;
i64 f6g9_19 = f6 * (i64) g9_19;
i64 f7g0 = f7 * (i64) g0;
i64 f7g1_2 = f7_2 * (i64) g1;
i64 f7g2 = f7 * (i64) g2;
i64 f7g3_38 = f7_2 * (i64) g3_19;
i64 f7g4_19 = f7 * (i64) g4_19;
i64 f7g5_38 = f7_2 * (i64) g5_19;
i64 f7g6_19 = f7 * (i64) g6_19;
i64 f7g7_38 = f7_2 * (i64) g7_19;
i64 f7g8_19 = f7 * (i64) g8_19;
i64 f7g9_38 = f7_2 * (i64) g9_19;
i64 f8g0 = f8 * (i64) g0;
i64 f8g1 = f8 * (i64) g1;
i64 f8g2_19 = f8 * (i64) g2_19;
i64 f8g3_19 = f8 * (i64) g3_19;
i64 f8g4_19 = f8 * (i64) g4_19;
i64 f8g5_19 = f8 * (i64) g5_19;
i64 f8g6_19 = f8 * (i64) g6_19;
i64 f8g7_19 = f8 * (i64) g7_19;
i64 f8g8_19 = f8 * (i64) g8_19;
i64 f8g9_19 = f8 * (i64) g9_19;
i64 f9g0 = f9 * (i64) g0;
i64 f9g1_38 = f9_2 * (i64) g1_19;
i64 f9g2_19 = f9 * (i64) g2_19;
i64 f9g3_38 = f9_2 * (i64) g3_19;
i64 f9g4_19 = f9 * (i64) g4_19;
i64 f9g5_38 = f9_2 * (i64) g5_19;
i64 f9g6_19 = f9 * (i64) g6_19;
i64 f9g7_38 = f9_2 * (i64) g7_19;
i64 f9g8_19 = f9 * (i64) g8_19;
i64 f9g9_38 = f9_2 * (i64) g9_19;
i64 h0 = f0g0 + f1g9_38 + f2g8_19 + f3g7_38 + f4g6_19 + f5g5_38 + f6g4_19 + f7g3_38 + f8g2_19 + f9g1_38;
i64 h1 = f0g1 + f1g0 + f2g9_19 + f3g8_19 + f4g7_19 + f5g6_19 + f6g5_19 + f7g4_19 + f8g3_19 + f9g2_19;
i64 h2 = f0g2 + f1g1_2 + f2g0 + f3g9_38 + f4g8_19 + f5g7_38 + f6g6_19 + f7g5_38 + f8g4_19 + f9g3_38;
@ -792,16 +792,16 @@ void fe_mul121666(fe h, fe f) {
i32 f7 = f[7];
i32 f8 = f[8];
i32 f9 = f[9];
i64 h0 = f0 * (int64_t) 121666;
i64 h1 = f1 * (int64_t) 121666;
i64 h2 = f2 * (int64_t) 121666;
i64 h3 = f3 * (int64_t) 121666;
i64 h4 = f4 * (int64_t) 121666;
i64 h5 = f5 * (int64_t) 121666;
i64 h6 = f6 * (int64_t) 121666;
i64 h7 = f7 * (int64_t) 121666;
i64 h8 = f8 * (int64_t) 121666;
i64 h9 = f9 * (int64_t) 121666;
i64 h0 = f0 * (i64) 121666;
i64 h1 = f1 * (i64) 121666;
i64 h2 = f2 * (i64) 121666;
i64 h3 = f3 * (i64) 121666;
i64 h4 = f4 * (i64) 121666;
i64 h5 = f5 * (i64) 121666;
i64 h6 = f6 * (i64) 121666;
i64 h7 = f7 * (i64) 121666;
i64 h8 = f8 * (i64) 121666;
i64 h9 = f9 * (i64) 121666;
i64 carry0;
i64 carry1;
i64 carry2;
@ -1008,61 +1008,61 @@ void fe_sq(fe h, const fe f) {
i32 f7_38 = 38 * f7; /* 1.959375*2^30 */
i32 f8_19 = 19 * f8; /* 1.959375*2^30 */
i32 f9_38 = 38 * f9; /* 1.959375*2^30 */
i64 f0f0 = f0 * (int64_t) f0;
i64 f0f1_2 = f0_2 * (int64_t) f1;
i64 f0f2_2 = f0_2 * (int64_t) f2;
i64 f0f3_2 = f0_2 * (int64_t) f3;
i64 f0f4_2 = f0_2 * (int64_t) f4;
i64 f0f5_2 = f0_2 * (int64_t) f5;
i64 f0f6_2 = f0_2 * (int64_t) f6;
i64 f0f7_2 = f0_2 * (int64_t) f7;
i64 f0f8_2 = f0_2 * (int64_t) f8;
i64 f0f9_2 = f0_2 * (int64_t) f9;
i64 f1f1_2 = f1_2 * (int64_t) f1;
i64 f1f2_2 = f1_2 * (int64_t) f2;
i64 f1f3_4 = f1_2 * (int64_t) f3_2;
i64 f1f4_2 = f1_2 * (int64_t) f4;
i64 f1f5_4 = f1_2 * (int64_t) f5_2;
i64 f1f6_2 = f1_2 * (int64_t) f6;
i64 f1f7_4 = f1_2 * (int64_t) f7_2;
i64 f1f8_2 = f1_2 * (int64_t) f8;
i64 f1f9_76 = f1_2 * (int64_t) f9_38;
i64 f2f2 = f2 * (int64_t) f2;
i64 f2f3_2 = f2_2 * (int64_t) f3;
i64 f2f4_2 = f2_2 * (int64_t) f4;
i64 f2f5_2 = f2_2 * (int64_t) f5;
i64 f2f6_2 = f2_2 * (int64_t) f6;
i64 f2f7_2 = f2_2 * (int64_t) f7;
i64 f2f8_38 = f2_2 * (int64_t) f8_19;
i64 f2f9_38 = f2 * (int64_t) f9_38;
i64 f3f3_2 = f3_2 * (int64_t) f3;
i64 f3f4_2 = f3_2 * (int64_t) f4;
i64 f3f5_4 = f3_2 * (int64_t) f5_2;
i64 f3f6_2 = f3_2 * (int64_t) f6;
i64 f3f7_76 = f3_2 * (int64_t) f7_38;
i64 f3f8_38 = f3_2 * (int64_t) f8_19;
i64 f3f9_76 = f3_2 * (int64_t) f9_38;
i64 f4f4 = f4 * (int64_t) f4;
i64 f4f5_2 = f4_2 * (int64_t) f5;
i64 f4f6_38 = f4_2 * (int64_t) f6_19;
i64 f4f7_38 = f4 * (int64_t) f7_38;
i64 f4f8_38 = f4_2 * (int64_t) f8_19;
i64 f4f9_38 = f4 * (int64_t) f9_38;
i64 f5f5_38 = f5 * (int64_t) f5_38;
i64 f5f6_38 = f5_2 * (int64_t) f6_19;
i64 f5f7_76 = f5_2 * (int64_t) f7_38;
i64 f5f8_38 = f5_2 * (int64_t) f8_19;
i64 f5f9_76 = f5_2 * (int64_t) f9_38;
i64 f6f6_19 = f6 * (int64_t) f6_19;
i64 f6f7_38 = f6 * (int64_t) f7_38;
i64 f6f8_38 = f6_2 * (int64_t) f8_19;
i64 f6f9_38 = f6 * (int64_t) f9_38;
i64 f7f7_38 = f7 * (int64_t) f7_38;
i64 f7f8_38 = f7_2 * (int64_t) f8_19;
i64 f7f9_76 = f7_2 * (int64_t) f9_38;
i64 f8f8_19 = f8 * (int64_t) f8_19;
i64 f8f9_38 = f8 * (int64_t) f9_38;
i64 f9f9_38 = f9 * (int64_t) f9_38;
i64 f0f0 = f0 * (i64) f0;
i64 f0f1_2 = f0_2 * (i64) f1;
i64 f0f2_2 = f0_2 * (i64) f2;
i64 f0f3_2 = f0_2 * (i64) f3;
i64 f0f4_2 = f0_2 * (i64) f4;
i64 f0f5_2 = f0_2 * (i64) f5;
i64 f0f6_2 = f0_2 * (i64) f6;
i64 f0f7_2 = f0_2 * (i64) f7;
i64 f0f8_2 = f0_2 * (i64) f8;
i64 f0f9_2 = f0_2 * (i64) f9;
i64 f1f1_2 = f1_2 * (i64) f1;
i64 f1f2_2 = f1_2 * (i64) f2;
i64 f1f3_4 = f1_2 * (i64) f3_2;
i64 f1f4_2 = f1_2 * (i64) f4;
i64 f1f5_4 = f1_2 * (i64) f5_2;
i64 f1f6_2 = f1_2 * (i64) f6;
i64 f1f7_4 = f1_2 * (i64) f7_2;
i64 f1f8_2 = f1_2 * (i64) f8;
i64 f1f9_76 = f1_2 * (i64) f9_38;
i64 f2f2 = f2 * (i64) f2;
i64 f2f3_2 = f2_2 * (i64) f3;
i64 f2f4_2 = f2_2 * (i64) f4;
i64 f2f5_2 = f2_2 * (i64) f5;
i64 f2f6_2 = f2_2 * (i64) f6;
i64 f2f7_2 = f2_2 * (i64) f7;
i64 f2f8_38 = f2_2 * (i64) f8_19;
i64 f2f9_38 = f2 * (i64) f9_38;
i64 f3f3_2 = f3_2 * (i64) f3;
i64 f3f4_2 = f3_2 * (i64) f4;
i64 f3f5_4 = f3_2 * (i64) f5_2;
i64 f3f6_2 = f3_2 * (i64) f6;
i64 f3f7_76 = f3_2 * (i64) f7_38;
i64 f3f8_38 = f3_2 * (i64) f8_19;
i64 f3f9_76 = f3_2 * (i64) f9_38;
i64 f4f4 = f4 * (i64) f4;
i64 f4f5_2 = f4_2 * (i64) f5;
i64 f4f6_38 = f4_2 * (i64) f6_19;
i64 f4f7_38 = f4 * (i64) f7_38;
i64 f4f8_38 = f4_2 * (i64) f8_19;
i64 f4f9_38 = f4 * (i64) f9_38;
i64 f5f5_38 = f5 * (i64) f5_38;
i64 f5f6_38 = f5_2 * (i64) f6_19;
i64 f5f7_76 = f5_2 * (i64) f7_38;
i64 f5f8_38 = f5_2 * (i64) f8_19;
i64 f5f9_76 = f5_2 * (i64) f9_38;
i64 f6f6_19 = f6 * (i64) f6_19;
i64 f6f7_38 = f6 * (i64) f7_38;
i64 f6f8_38 = f6_2 * (i64) f8_19;
i64 f6f9_38 = f6 * (i64) f9_38;
i64 f7f7_38 = f7 * (i64) f7_38;
i64 f7f8_38 = f7_2 * (i64) f8_19;
i64 f7f9_76 = f7_2 * (i64) f9_38;
i64 f8f8_19 = f8 * (i64) f8_19;
i64 f8f9_38 = f8 * (i64) f9_38;
i64 f9f9_38 = f9 * (i64) f9_38;
i64 h0 = f0f0 + f1f9_76 + f2f8_38 + f3f7_76 + f4f6_38 + f5f5_38;
i64 h1 = f0f1_2 + f2f9_38 + f3f8_38 + f4f7_38 + f5f6_38;
i64 h2 = f0f2_2 + f1f1_2 + f3f9_76 + f4f8_38 + f5f7_76 + f6f6_19;
@ -1171,61 +1171,61 @@ void fe_sq2(fe h, const fe f) {
i32 f7_38 = 38 * f7; /* 1.959375*2^30 */
i32 f8_19 = 19 * f8; /* 1.959375*2^30 */
i32 f9_38 = 38 * f9; /* 1.959375*2^30 */
i64 f0f0 = f0 * (int64_t) f0;
i64 f0f1_2 = f0_2 * (int64_t) f1;
i64 f0f2_2 = f0_2 * (int64_t) f2;
i64 f0f3_2 = f0_2 * (int64_t) f3;
i64 f0f4_2 = f0_2 * (int64_t) f4;
i64 f0f5_2 = f0_2 * (int64_t) f5;
i64 f0f6_2 = f0_2 * (int64_t) f6;
i64 f0f7_2 = f0_2 * (int64_t) f7;
i64 f0f8_2 = f0_2 * (int64_t) f8;
i64 f0f9_2 = f0_2 * (int64_t) f9;
i64 f1f1_2 = f1_2 * (int64_t) f1;
i64 f1f2_2 = f1_2 * (int64_t) f2;
i64 f1f3_4 = f1_2 * (int64_t) f3_2;
i64 f1f4_2 = f1_2 * (int64_t) f4;
i64 f1f5_4 = f1_2 * (int64_t) f5_2;
i64 f1f6_2 = f1_2 * (int64_t) f6;
i64 f1f7_4 = f1_2 * (int64_t) f7_2;
i64 f1f8_2 = f1_2 * (int64_t) f8;
i64 f1f9_76 = f1_2 * (int64_t) f9_38;
i64 f2f2 = f2 * (int64_t) f2;
i64 f2f3_2 = f2_2 * (int64_t) f3;
i64 f2f4_2 = f2_2 * (int64_t) f4;
i64 f2f5_2 = f2_2 * (int64_t) f5;
i64 f2f6_2 = f2_2 * (int64_t) f6;
i64 f2f7_2 = f2_2 * (int64_t) f7;
i64 f2f8_38 = f2_2 * (int64_t) f8_19;
i64 f2f9_38 = f2 * (int64_t) f9_38;
i64 f3f3_2 = f3_2 * (int64_t) f3;
i64 f3f4_2 = f3_2 * (int64_t) f4;
i64 f3f5_4 = f3_2 * (int64_t) f5_2;
i64 f3f6_2 = f3_2 * (int64_t) f6;
i64 f3f7_76 = f3_2 * (int64_t) f7_38;
i64 f3f8_38 = f3_2 * (int64_t) f8_19;
i64 f3f9_76 = f3_2 * (int64_t) f9_38;
i64 f4f4 = f4 * (int64_t) f4;
i64 f4f5_2 = f4_2 * (int64_t) f5;
i64 f4f6_38 = f4_2 * (int64_t) f6_19;
i64 f4f7_38 = f4 * (int64_t) f7_38;
i64 f4f8_38 = f4_2 * (int64_t) f8_19;
i64 f4f9_38 = f4 * (int64_t) f9_38;
i64 f5f5_38 = f5 * (int64_t) f5_38;
i64 f5f6_38 = f5_2 * (int64_t) f6_19;
i64 f5f7_76 = f5_2 * (int64_t) f7_38;
i64 f5f8_38 = f5_2 * (int64_t) f8_19;
i64 f5f9_76 = f5_2 * (int64_t) f9_38;
i64 f6f6_19 = f6 * (int64_t) f6_19;
i64 f6f7_38 = f6 * (int64_t) f7_38;
i64 f6f8_38 = f6_2 * (int64_t) f8_19;
i64 f6f9_38 = f6 * (int64_t) f9_38;
i64 f7f7_38 = f7 * (int64_t) f7_38;
i64 f7f8_38 = f7_2 * (int64_t) f8_19;
i64 f7f9_76 = f7_2 * (int64_t) f9_38;
i64 f8f8_19 = f8 * (int64_t) f8_19;
i64 f8f9_38 = f8 * (int64_t) f9_38;
i64 f9f9_38 = f9 * (int64_t) f9_38;
i64 f0f0 = f0 * (i64) f0;
i64 f0f1_2 = f0_2 * (i64) f1;
i64 f0f2_2 = f0_2 * (i64) f2;
i64 f0f3_2 = f0_2 * (i64) f3;
i64 f0f4_2 = f0_2 * (i64) f4;
i64 f0f5_2 = f0_2 * (i64) f5;
i64 f0f6_2 = f0_2 * (i64) f6;
i64 f0f7_2 = f0_2 * (i64) f7;
i64 f0f8_2 = f0_2 * (i64) f8;
i64 f0f9_2 = f0_2 * (i64) f9;
i64 f1f1_2 = f1_2 * (i64) f1;
i64 f1f2_2 = f1_2 * (i64) f2;
i64 f1f3_4 = f1_2 * (i64) f3_2;
i64 f1f4_2 = f1_2 * (i64) f4;
i64 f1f5_4 = f1_2 * (i64) f5_2;
i64 f1f6_2 = f1_2 * (i64) f6;
i64 f1f7_4 = f1_2 * (i64) f7_2;
i64 f1f8_2 = f1_2 * (i64) f8;
i64 f1f9_76 = f1_2 * (i64) f9_38;
i64 f2f2 = f2 * (i64) f2;
i64 f2f3_2 = f2_2 * (i64) f3;
i64 f2f4_2 = f2_2 * (i64) f4;
i64 f2f5_2 = f2_2 * (i64) f5;
i64 f2f6_2 = f2_2 * (i64) f6;
i64 f2f7_2 = f2_2 * (i64) f7;
i64 f2f8_38 = f2_2 * (i64) f8_19;
i64 f2f9_38 = f2 * (i64) f9_38;
i64 f3f3_2 = f3_2 * (i64) f3;
i64 f3f4_2 = f3_2 * (i64) f4;
i64 f3f5_4 = f3_2 * (i64) f5_2;
i64 f3f6_2 = f3_2 * (i64) f6;
i64 f3f7_76 = f3_2 * (i64) f7_38;
i64 f3f8_38 = f3_2 * (i64) f8_19;
i64 f3f9_76 = f3_2 * (i64) f9_38;
i64 f4f4 = f4 * (i64) f4;
i64 f4f5_2 = f4_2 * (i64) f5;
i64 f4f6_38 = f4_2 * (i64) f6_19;
i64 f4f7_38 = f4 * (i64) f7_38;
i64 f4f8_38 = f4_2 * (i64) f8_19;
i64 f4f9_38 = f4 * (i64) f9_38;
i64 f5f5_38 = f5 * (i64) f5_38;
i64 f5f6_38 = f5_2 * (i64) f6_19;
i64 f5f7_76 = f5_2 * (i64) f7_38;
i64 f5f8_38 = f5_2 * (i64) f8_19;
i64 f5f9_76 = f5_2 * (i64) f9_38;
i64 f6f6_19 = f6 * (i64) f6_19;
i64 f6f7_38 = f6 * (i64) f7_38;
i64 f6f8_38 = f6_2 * (i64) f8_19;
i64 f6f9_38 = f6 * (i64) f9_38;
i64 f7f7_38 = f7 * (i64) f7_38;
i64 f7f8_38 = f7_2 * (i64) f8_19;
i64 f7f9_76 = f7_2 * (i64) f9_38;
i64 f8f8_19 = f8 * (i64) f8_19;
i64 f8f9_38 = f8 * (i64) f9_38;
i64 f9f9_38 = f9 * (i64) f9_38;
i64 h0 = f0f0 + f1f9_76 + f2f8_38 + f3f7_76 + f4f6_38 + f5f5_38;
i64 h1 = f0f1_2 + f2f9_38 + f3f8_38 + f4f7_38 + f5f6_38;
i64 h2 = f0f2_2 + f1f1_2 + f3f9_76 + f4f8_38 + f5f7_76 + f6f6_19;