- x65 = (x64 + (x63 + x62));
- x66 = (fiat_id_tc26_gost_3410_2012_512_paramSetA_uint1)(x65 >> 23);
- x67 = (x65 & UINT32_C(0x7fffff));
- x68 = (x2 + x1);
- x69 = (x5 + (x4 + x3));
- x70 = (x8 + (x7 + x6));
- x71 = (x11 + (x10 + x9));
- x72 = (x13 + x12);
- x73 = (x16 + (x15 + x14));
- x74 = (x19 + (x18 + x17));
- x75 = (x22 + (x21 + x20));
- x76 = (x25 + (x24 + x23));
- x77 = (x27 + x26);
- x78 = (x30 + (x29 + x28));
- x79 = (x33 + (x32 + x31));
- x80 = (x36 + (x35 + x34));
- x81 = (x38 + x37);
- x82 = (x41 + (x40 + x39));
- x83 = (x44 + (x43 + x42));
- x84 = (x47 + (x46 + x45));
- x85 = (x50 + (x49 + x48));
- x86 = (x52 + x51);
- x87 = (x55 + (x54 + x53));
- x88 = (x58 + (x57 + x56));
- x89 = (x61 + (x60 + x59));
- x90 = (x66 + x89);
- x91 = (uint8_t)(x90 >> 22);
- x92 = (x90 & UINT32_C(0x3fffff));
- x93 = (x91 + x88);
- x94 = (uint8_t)(x93 >> 22);
- x95 = (x93 & UINT32_C(0x3fffff));
- x96 = (x94 + x87);
- x97 = (uint8_t)(x96 >> 23);
- x98 = (x96 & UINT32_C(0x7fffff));
- x99 = (x97 + x86);
- x100 = (x99 & UINT32_C(0x3fffff));
- x101 = (uint8_t)(x85 >> 22);
- x102 = (x85 & UINT32_C(0x3fffff));
- x103 = (x101 + x84);
- x104 = (uint8_t)(x103 >> 22);
- x105 = (x103 & UINT32_C(0x3fffff));
- x106 = (x104 + x83);
- x107 = (uint8_t)(x106 >> 23);
- x108 = (x106 & UINT32_C(0x7fffff));
- x109 = (x107 + x82);
- x110 = (uint8_t)(x109 >> 22);
- x111 = (x109 & UINT32_C(0x3fffff));
- x112 = (x110 + x81);
- x113 = (fiat_id_tc26_gost_3410_2012_512_paramSetA_uint1)(x112 >> 22);
- x114 = (x112 & UINT32_C(0x3fffff));
- x115 = (x113 + x80);
- x116 = (uint8_t)(x115 >> 22);
- x117 = (x115 & UINT32_C(0x3fffff));
- x118 = (x116 + x79);
- x119 = (uint8_t)(x118 >> 23);
- x120 = (x118 & UINT32_C(0x7fffff));
- x121 = (x119 + x78);
- x122 = (uint8_t)(x121 >> 22);
- x123 = (x121 & UINT32_C(0x3fffff));
- x124 = (x122 + x77);
- x125 = (x124 & UINT32_C(0x3fffff));
- x126 = (uint8_t)(x76 >> 22);
- x127 = (x76 & UINT32_C(0x3fffff));
- x128 = (x126 + x75);
- x129 = (uint8_t)(x128 >> 23);
- x130 = (x128 & UINT32_C(0x7fffff));
- x131 = (x129 + x74);
- x132 = (uint8_t)(x131 >> 22);
- x133 = (x131 & UINT32_C(0x3fffff));
- x134 = (x132 + x73);
- x135 = (uint8_t)(x134 >> 22);
- x136 = (x134 & UINT32_C(0x3fffff));
- x137 = (x135 + x72);
- x138 = (fiat_id_tc26_gost_3410_2012_512_paramSetA_uint1)(x137 >> 22);
- x139 = (x137 & UINT32_C(0x3fffff));
- x140 = (x138 + x71);
- x141 = (uint8_t)(x140 >> 23);
- x142 = (x140 & UINT32_C(0x7fffff));
- x143 = (x141 + x70);
- x144 = (uint8_t)(x143 >> 22);
- x145 = (x143 & UINT32_C(0x3fffff));
- x146 = (x144 + x69);
- x147 = (uint8_t)(x146 >> 22);
- x148 = (x146 & UINT32_C(0x3fffff));
- x149 = (x147 + x68);
+ x65 = (x63 + (uint32_t)x64);
+ x66 = (x62 + x65);
+ x67 = (x66 & UINT32_C(0x7fffff));
+ x68 = (fiat_id_tc26_gost_3410_2012_512_paramSetA_uint1)(x66 >> 23);
+ x69 = (x61 + (uint32_t)x68);
+ x70 = (x60 + x69);
+ x71 = (x59 + x70);
+ x72 = (x71 & UINT32_C(0x3fffff));
+ x73 = (uint8_t)(x71 >> 22);
+ x74 = (x58 + (uint32_t)x73);
+ x75 = (x57 + x74);
+ x76 = (x56 + x75);
+ x77 = (x76 & UINT32_C(0x3fffff));
+ x78 = (uint8_t)(x76 >> 22);
+ x79 = (x55 + (uint32_t)x78);
+ x80 = (x54 + x79);
+ x81 = (x53 + x80);
+ x82 = (x81 & UINT32_C(0x7fffff));
+ x83 = (uint8_t)(x81 >> 23);
+ x84 = (x52 + (uint32_t)x83);
+ x85 = (x51 + x84);
+ x86 = (x49 + (uint32_t)x50);
+ x87 = (x48 + x86);
+ x88 = (x87 & UINT32_C(0x3fffff));
+ x89 = (uint8_t)(x87 >> 22);
+ x90 = (x47 + (uint32_t)x89);
+ x91 = (x46 + x90);
+ x92 = (x45 + x91);
+ x93 = (x92 & UINT32_C(0x3fffff));
+ x94 = (uint8_t)(x92 >> 22);
+ x95 = (x44 + (uint32_t)x94);
+ x96 = (x43 + x95);
+ x97 = (x42 + x96);
+ x98 = (x97 & UINT32_C(0x7fffff));
+ x99 = (uint8_t)(x97 >> 23);
+ x100 = (x41 + (uint32_t)x99);
+ x101 = (x40 + x100);
+ x102 = (x39 + x101);
+ x103 = (x102 & UINT32_C(0x3fffff));
+ x104 = (uint8_t)(x102 >> 22);
+ x105 = (x38 + (uint32_t)x104);
+ x106 = (x37 + x105);
+ x107 = (x106 & UINT32_C(0x3fffff));
+ x108 = (fiat_id_tc26_gost_3410_2012_512_paramSetA_uint1)(x106 >> 22);
+ x109 = (x36 + (uint32_t)x108);
+ x110 = (x35 + x109);
+ x111 = (x34 + x110);
+ x112 = (x111 & UINT32_C(0x3fffff));
+ x113 = (uint8_t)(x111 >> 22);
+ x114 = (x33 + (uint32_t)x113);
+ x115 = (x32 + x114);
+ x116 = (x31 + x115);
+ x117 = (x116 & UINT32_C(0x7fffff));
+ x118 = (uint8_t)(x116 >> 23);
+ x119 = (x30 + (uint32_t)x118);
+ x120 = (x29 + x119);
+ x121 = (x28 + x120);
+ x122 = (x121 & UINT32_C(0x3fffff));
+ x123 = (uint8_t)(x121 >> 22);
+ x124 = (x27 + (uint32_t)x123);
+ x125 = (x26 + x124);
+ x126 = (x24 + (uint32_t)x25);
+ x127 = (x23 + x126);
+ x128 = (x127 & UINT32_C(0x3fffff));
+ x129 = (uint8_t)(x127 >> 22);
+ x130 = (x22 + (uint32_t)x129);
+ x131 = (x21 + x130);
+ x132 = (x20 + x131);
+ x133 = (x132 & UINT32_C(0x7fffff));
+ x134 = (uint8_t)(x132 >> 23);
+ x135 = (x19 + (uint32_t)x134);
+ x136 = (x18 + x135);
+ x137 = (x17 + x136);
+ x138 = (x137 & UINT32_C(0x3fffff));
+ x139 = (uint8_t)(x137 >> 22);
+ x140 = (x16 + (uint32_t)x139);
+ x141 = (x15 + x140);
+ x142 = (x14 + x141);
+ x143 = (x142 & UINT32_C(0x3fffff));
+ x144 = (uint8_t)(x142 >> 22);
+ x145 = (x13 + (uint32_t)x144);
+ x146 = (x12 + x145);
+ x147 = (x146 & UINT32_C(0x3fffff));
+ x148 = (fiat_id_tc26_gost_3410_2012_512_paramSetA_uint1)(x146 >> 22);
+ x149 = (x11 + (uint32_t)x148);
+ x150 = (x10 + x149);
+ x151 = (x9 + x150);
+ x152 = (x151 & UINT32_C(0x7fffff));
+ x153 = (uint8_t)(x151 >> 23);
+ x154 = (x8 + (uint32_t)x153);
+ x155 = (x7 + x154);
+ x156 = (x6 + x155);
+ x157 = (x156 & UINT32_C(0x3fffff));
+ x158 = (uint8_t)(x156 >> 22);
+ x159 = (x5 + (uint32_t)x158);
+ x160 = (x4 + x159);
+ x161 = (x3 + x160);
+ x162 = (x161 & UINT32_C(0x3fffff));
+ x163 = (uint8_t)(x161 >> 22);
+ x164 = (x2 + (uint32_t)x163);
+ x165 = (x1 + x164);