// Carry-less multiplier generated for N = 32: Karatsuba recursion, schoolbook below 5 bits (base 4).
// 432 AND, 799 XOR before synthesis.
// Scoring baseline only: correct at this N, NOT a parametric or proved entry.
module clmul_n #(parameter int N = 32) (
  input  logic [N-1:0]   a, b,
  output logic [2*N-2:0] p
);
  logic [1230:0] w;
  assign w[0] = a[0] & b[0];
  assign w[1] = a[0] & b[1];
  assign w[2] = a[0] & b[2];
  assign w[3] = a[0] & b[3];
  assign w[4] = a[1] & b[0];
  assign w[5] = a[1] & b[1];
  assign w[6] = a[1] & b[2];
  assign w[7] = a[1] & b[3];
  assign w[8] = a[2] & b[0];
  assign w[9] = a[2] & b[1];
  assign w[10] = a[2] & b[2];
  assign w[11] = a[2] & b[3];
  assign w[12] = a[3] & b[0];
  assign w[13] = a[3] & b[1];
  assign w[14] = a[3] & b[2];
  assign w[15] = a[3] & b[3];
  assign w[16] = w[1] ^ w[4];
  assign w[17] = w[2] ^ w[5];
  assign w[18] = w[17] ^ w[8];
  assign w[19] = w[3] ^ w[6];
  assign w[20] = w[9] ^ w[12];
  assign w[21] = w[19] ^ w[20];
  assign w[22] = w[7] ^ w[10];
  assign w[23] = w[22] ^ w[13];
  assign w[24] = w[11] ^ w[14];
  assign w[25] = a[4] & b[4];
  assign w[26] = a[4] & b[5];
  assign w[27] = a[4] & b[6];
  assign w[28] = a[4] & b[7];
  assign w[29] = a[5] & b[4];
  assign w[30] = a[5] & b[5];
  assign w[31] = a[5] & b[6];
  assign w[32] = a[5] & b[7];
  assign w[33] = a[6] & b[4];
  assign w[34] = a[6] & b[5];
  assign w[35] = a[6] & b[6];
  assign w[36] = a[6] & b[7];
  assign w[37] = a[7] & b[4];
  assign w[38] = a[7] & b[5];
  assign w[39] = a[7] & b[6];
  assign w[40] = a[7] & b[7];
  assign w[41] = w[26] ^ w[29];
  assign w[42] = w[27] ^ w[30];
  assign w[43] = w[42] ^ w[33];
  assign w[44] = w[28] ^ w[31];
  assign w[45] = w[34] ^ w[37];
  assign w[46] = w[44] ^ w[45];
  assign w[47] = w[32] ^ w[35];
  assign w[48] = w[47] ^ w[38];
  assign w[49] = w[36] ^ w[39];
  assign w[50] = a[0] ^ a[4];
  assign w[51] = a[1] ^ a[5];
  assign w[52] = a[2] ^ a[6];
  assign w[53] = a[3] ^ a[7];
  assign w[54] = b[0] ^ b[4];
  assign w[55] = b[1] ^ b[5];
  assign w[56] = b[2] ^ b[6];
  assign w[57] = b[3] ^ b[7];
  assign w[58] = w[50] & w[54];
  assign w[59] = w[50] & w[55];
  assign w[60] = w[50] & w[56];
  assign w[61] = w[50] & w[57];
  assign w[62] = w[51] & w[54];
  assign w[63] = w[51] & w[55];
  assign w[64] = w[51] & w[56];
  assign w[65] = w[51] & w[57];
  assign w[66] = w[52] & w[54];
  assign w[67] = w[52] & w[55];
  assign w[68] = w[52] & w[56];
  assign w[69] = w[52] & w[57];
  assign w[70] = w[53] & w[54];
  assign w[71] = w[53] & w[55];
  assign w[72] = w[53] & w[56];
  assign w[73] = w[53] & w[57];
  assign w[74] = w[59] ^ w[62];
  assign w[75] = w[60] ^ w[63];
  assign w[76] = w[75] ^ w[66];
  assign w[77] = w[61] ^ w[64];
  assign w[78] = w[67] ^ w[70];
  assign w[79] = w[77] ^ w[78];
  assign w[80] = w[65] ^ w[68];
  assign w[81] = w[80] ^ w[71];
  assign w[82] = w[69] ^ w[72];
  assign w[83] = w[0] ^ w[23];
  assign w[84] = w[25] ^ w[58];
  assign w[85] = w[83] ^ w[84];
  assign w[86] = w[16] ^ w[24];
  assign w[87] = w[41] ^ w[74];
  assign w[88] = w[86] ^ w[87];
  assign w[89] = w[18] ^ w[15];
  assign w[90] = w[43] ^ w[76];
  assign w[91] = w[89] ^ w[90];
  assign w[92] = w[21] ^ w[46];
  assign w[93] = w[92] ^ w[79];
  assign w[94] = w[23] ^ w[25];
  assign w[95] = w[48] ^ w[81];
  assign w[96] = w[94] ^ w[95];
  assign w[97] = w[24] ^ w[41];
  assign w[98] = w[49] ^ w[82];
  assign w[99] = w[97] ^ w[98];
  assign w[100] = w[15] ^ w[43];
  assign w[101] = w[40] ^ w[73];
  assign w[102] = w[100] ^ w[101];
  assign w[103] = a[8] & b[8];
  assign w[104] = a[8] & b[9];
  assign w[105] = a[8] & b[10];
  assign w[106] = a[8] & b[11];
  assign w[107] = a[9] & b[8];
  assign w[108] = a[9] & b[9];
  assign w[109] = a[9] & b[10];
  assign w[110] = a[9] & b[11];
  assign w[111] = a[10] & b[8];
  assign w[112] = a[10] & b[9];
  assign w[113] = a[10] & b[10];
  assign w[114] = a[10] & b[11];
  assign w[115] = a[11] & b[8];
  assign w[116] = a[11] & b[9];
  assign w[117] = a[11] & b[10];
  assign w[118] = a[11] & b[11];
  assign w[119] = w[104] ^ w[107];
  assign w[120] = w[105] ^ w[108];
  assign w[121] = w[120] ^ w[111];
  assign w[122] = w[106] ^ w[109];
  assign w[123] = w[112] ^ w[115];
  assign w[124] = w[122] ^ w[123];
  assign w[125] = w[110] ^ w[113];
  assign w[126] = w[125] ^ w[116];
  assign w[127] = w[114] ^ w[117];
  assign w[128] = a[12] & b[12];
  assign w[129] = a[12] & b[13];
  assign w[130] = a[12] & b[14];
  assign w[131] = a[12] & b[15];
  assign w[132] = a[13] & b[12];
  assign w[133] = a[13] & b[13];
  assign w[134] = a[13] & b[14];
  assign w[135] = a[13] & b[15];
  assign w[136] = a[14] & b[12];
  assign w[137] = a[14] & b[13];
  assign w[138] = a[14] & b[14];
  assign w[139] = a[14] & b[15];
  assign w[140] = a[15] & b[12];
  assign w[141] = a[15] & b[13];
  assign w[142] = a[15] & b[14];
  assign w[143] = a[15] & b[15];
  assign w[144] = w[129] ^ w[132];
  assign w[145] = w[130] ^ w[133];
  assign w[146] = w[145] ^ w[136];
  assign w[147] = w[131] ^ w[134];
  assign w[148] = w[137] ^ w[140];
  assign w[149] = w[147] ^ w[148];
  assign w[150] = w[135] ^ w[138];
  assign w[151] = w[150] ^ w[141];
  assign w[152] = w[139] ^ w[142];
  assign w[153] = a[8] ^ a[12];
  assign w[154] = a[9] ^ a[13];
  assign w[155] = a[10] ^ a[14];
  assign w[156] = a[11] ^ a[15];
  assign w[157] = b[8] ^ b[12];
  assign w[158] = b[9] ^ b[13];
  assign w[159] = b[10] ^ b[14];
  assign w[160] = b[11] ^ b[15];
  assign w[161] = w[153] & w[157];
  assign w[162] = w[153] & w[158];
  assign w[163] = w[153] & w[159];
  assign w[164] = w[153] & w[160];
  assign w[165] = w[154] & w[157];
  assign w[166] = w[154] & w[158];
  assign w[167] = w[154] & w[159];
  assign w[168] = w[154] & w[160];
  assign w[169] = w[155] & w[157];
  assign w[170] = w[155] & w[158];
  assign w[171] = w[155] & w[159];
  assign w[172] = w[155] & w[160];
  assign w[173] = w[156] & w[157];
  assign w[174] = w[156] & w[158];
  assign w[175] = w[156] & w[159];
  assign w[176] = w[156] & w[160];
  assign w[177] = w[162] ^ w[165];
  assign w[178] = w[163] ^ w[166];
  assign w[179] = w[178] ^ w[169];
  assign w[180] = w[164] ^ w[167];
  assign w[181] = w[170] ^ w[173];
  assign w[182] = w[180] ^ w[181];
  assign w[183] = w[168] ^ w[171];
  assign w[184] = w[183] ^ w[174];
  assign w[185] = w[172] ^ w[175];
  assign w[186] = w[103] ^ w[126];
  assign w[187] = w[128] ^ w[161];
  assign w[188] = w[186] ^ w[187];
  assign w[189] = w[119] ^ w[127];
  assign w[190] = w[144] ^ w[177];
  assign w[191] = w[189] ^ w[190];
  assign w[192] = w[121] ^ w[118];
  assign w[193] = w[146] ^ w[179];
  assign w[194] = w[192] ^ w[193];
  assign w[195] = w[124] ^ w[149];
  assign w[196] = w[195] ^ w[182];
  assign w[197] = w[126] ^ w[128];
  assign w[198] = w[151] ^ w[184];
  assign w[199] = w[197] ^ w[198];
  assign w[200] = w[127] ^ w[144];
  assign w[201] = w[152] ^ w[185];
  assign w[202] = w[200] ^ w[201];
  assign w[203] = w[118] ^ w[146];
  assign w[204] = w[143] ^ w[176];
  assign w[205] = w[203] ^ w[204];
  assign w[206] = a[0] ^ a[8];
  assign w[207] = a[1] ^ a[9];
  assign w[208] = a[2] ^ a[10];
  assign w[209] = a[3] ^ a[11];
  assign w[210] = a[4] ^ a[12];
  assign w[211] = a[5] ^ a[13];
  assign w[212] = a[6] ^ a[14];
  assign w[213] = a[7] ^ a[15];
  assign w[214] = b[0] ^ b[8];
  assign w[215] = b[1] ^ b[9];
  assign w[216] = b[2] ^ b[10];
  assign w[217] = b[3] ^ b[11];
  assign w[218] = b[4] ^ b[12];
  assign w[219] = b[5] ^ b[13];
  assign w[220] = b[6] ^ b[14];
  assign w[221] = b[7] ^ b[15];
  assign w[222] = w[206] & w[214];
  assign w[223] = w[206] & w[215];
  assign w[224] = w[206] & w[216];
  assign w[225] = w[206] & w[217];
  assign w[226] = w[207] & w[214];
  assign w[227] = w[207] & w[215];
  assign w[228] = w[207] & w[216];
  assign w[229] = w[207] & w[217];
  assign w[230] = w[208] & w[214];
  assign w[231] = w[208] & w[215];
  assign w[232] = w[208] & w[216];
  assign w[233] = w[208] & w[217];
  assign w[234] = w[209] & w[214];
  assign w[235] = w[209] & w[215];
  assign w[236] = w[209] & w[216];
  assign w[237] = w[209] & w[217];
  assign w[238] = w[223] ^ w[226];
  assign w[239] = w[224] ^ w[227];
  assign w[240] = w[239] ^ w[230];
  assign w[241] = w[225] ^ w[228];
  assign w[242] = w[231] ^ w[234];
  assign w[243] = w[241] ^ w[242];
  assign w[244] = w[229] ^ w[232];
  assign w[245] = w[244] ^ w[235];
  assign w[246] = w[233] ^ w[236];
  assign w[247] = w[210] & w[218];
  assign w[248] = w[210] & w[219];
  assign w[249] = w[210] & w[220];
  assign w[250] = w[210] & w[221];
  assign w[251] = w[211] & w[218];
  assign w[252] = w[211] & w[219];
  assign w[253] = w[211] & w[220];
  assign w[254] = w[211] & w[221];
  assign w[255] = w[212] & w[218];
  assign w[256] = w[212] & w[219];
  assign w[257] = w[212] & w[220];
  assign w[258] = w[212] & w[221];
  assign w[259] = w[213] & w[218];
  assign w[260] = w[213] & w[219];
  assign w[261] = w[213] & w[220];
  assign w[262] = w[213] & w[221];
  assign w[263] = w[248] ^ w[251];
  assign w[264] = w[249] ^ w[252];
  assign w[265] = w[264] ^ w[255];
  assign w[266] = w[250] ^ w[253];
  assign w[267] = w[256] ^ w[259];
  assign w[268] = w[266] ^ w[267];
  assign w[269] = w[254] ^ w[257];
  assign w[270] = w[269] ^ w[260];
  assign w[271] = w[258] ^ w[261];
  assign w[272] = w[206] ^ w[210];
  assign w[273] = w[207] ^ w[211];
  assign w[274] = w[208] ^ w[212];
  assign w[275] = w[209] ^ w[213];
  assign w[276] = w[214] ^ w[218];
  assign w[277] = w[215] ^ w[219];
  assign w[278] = w[216] ^ w[220];
  assign w[279] = w[217] ^ w[221];
  assign w[280] = w[272] & w[276];
  assign w[281] = w[272] & w[277];
  assign w[282] = w[272] & w[278];
  assign w[283] = w[272] & w[279];
  assign w[284] = w[273] & w[276];
  assign w[285] = w[273] & w[277];
  assign w[286] = w[273] & w[278];
  assign w[287] = w[273] & w[279];
  assign w[288] = w[274] & w[276];
  assign w[289] = w[274] & w[277];
  assign w[290] = w[274] & w[278];
  assign w[291] = w[274] & w[279];
  assign w[292] = w[275] & w[276];
  assign w[293] = w[275] & w[277];
  assign w[294] = w[275] & w[278];
  assign w[295] = w[275] & w[279];
  assign w[296] = w[281] ^ w[284];
  assign w[297] = w[282] ^ w[285];
  assign w[298] = w[297] ^ w[288];
  assign w[299] = w[283] ^ w[286];
  assign w[300] = w[289] ^ w[292];
  assign w[301] = w[299] ^ w[300];
  assign w[302] = w[287] ^ w[290];
  assign w[303] = w[302] ^ w[293];
  assign w[304] = w[291] ^ w[294];
  assign w[305] = w[222] ^ w[245];
  assign w[306] = w[247] ^ w[280];
  assign w[307] = w[305] ^ w[306];
  assign w[308] = w[238] ^ w[246];
  assign w[309] = w[263] ^ w[296];
  assign w[310] = w[308] ^ w[309];
  assign w[311] = w[240] ^ w[237];
  assign w[312] = w[265] ^ w[298];
  assign w[313] = w[311] ^ w[312];
  assign w[314] = w[243] ^ w[268];
  assign w[315] = w[314] ^ w[301];
  assign w[316] = w[245] ^ w[247];
  assign w[317] = w[270] ^ w[303];
  assign w[318] = w[316] ^ w[317];
  assign w[319] = w[246] ^ w[263];
  assign w[320] = w[271] ^ w[304];
  assign w[321] = w[319] ^ w[320];
  assign w[322] = w[237] ^ w[265];
  assign w[323] = w[262] ^ w[295];
  assign w[324] = w[322] ^ w[323];
  assign w[325] = w[0] ^ w[96];
  assign w[326] = w[103] ^ w[222];
  assign w[327] = w[325] ^ w[326];
  assign w[328] = w[16] ^ w[99];
  assign w[329] = w[119] ^ w[238];
  assign w[330] = w[328] ^ w[329];
  assign w[331] = w[18] ^ w[102];
  assign w[332] = w[121] ^ w[240];
  assign w[333] = w[331] ^ w[332];
  assign w[334] = w[21] ^ w[46];
  assign w[335] = w[124] ^ w[243];
  assign w[336] = w[334] ^ w[335];
  assign w[337] = w[85] ^ w[48];
  assign w[338] = w[188] ^ w[307];
  assign w[339] = w[337] ^ w[338];
  assign w[340] = w[88] ^ w[49];
  assign w[341] = w[191] ^ w[310];
  assign w[342] = w[340] ^ w[341];
  assign w[343] = w[91] ^ w[40];
  assign w[344] = w[194] ^ w[313];
  assign w[345] = w[343] ^ w[344];
  assign w[346] = w[93] ^ w[196];
  assign w[347] = w[346] ^ w[315];
  assign w[348] = w[96] ^ w[103];
  assign w[349] = w[199] ^ w[318];
  assign w[350] = w[348] ^ w[349];
  assign w[351] = w[99] ^ w[119];
  assign w[352] = w[202] ^ w[321];
  assign w[353] = w[351] ^ w[352];
  assign w[354] = w[102] ^ w[121];
  assign w[355] = w[205] ^ w[324];
  assign w[356] = w[354] ^ w[355];
  assign w[357] = w[46] ^ w[124];
  assign w[358] = w[149] ^ w[268];
  assign w[359] = w[357] ^ w[358];
  assign w[360] = w[48] ^ w[188];
  assign w[361] = w[151] ^ w[270];
  assign w[362] = w[360] ^ w[361];
  assign w[363] = w[49] ^ w[191];
  assign w[364] = w[152] ^ w[271];
  assign w[365] = w[363] ^ w[364];
  assign w[366] = w[40] ^ w[194];
  assign w[367] = w[143] ^ w[262];
  assign w[368] = w[366] ^ w[367];
  assign w[369] = a[16] & b[16];
  assign w[370] = a[16] & b[17];
  assign w[371] = a[16] & b[18];
  assign w[372] = a[16] & b[19];
  assign w[373] = a[17] & b[16];
  assign w[374] = a[17] & b[17];
  assign w[375] = a[17] & b[18];
  assign w[376] = a[17] & b[19];
  assign w[377] = a[18] & b[16];
  assign w[378] = a[18] & b[17];
  assign w[379] = a[18] & b[18];
  assign w[380] = a[18] & b[19];
  assign w[381] = a[19] & b[16];
  assign w[382] = a[19] & b[17];
  assign w[383] = a[19] & b[18];
  assign w[384] = a[19] & b[19];
  assign w[385] = w[370] ^ w[373];
  assign w[386] = w[371] ^ w[374];
  assign w[387] = w[386] ^ w[377];
  assign w[388] = w[372] ^ w[375];
  assign w[389] = w[378] ^ w[381];
  assign w[390] = w[388] ^ w[389];
  assign w[391] = w[376] ^ w[379];
  assign w[392] = w[391] ^ w[382];
  assign w[393] = w[380] ^ w[383];
  assign w[394] = a[20] & b[20];
  assign w[395] = a[20] & b[21];
  assign w[396] = a[20] & b[22];
  assign w[397] = a[20] & b[23];
  assign w[398] = a[21] & b[20];
  assign w[399] = a[21] & b[21];
  assign w[400] = a[21] & b[22];
  assign w[401] = a[21] & b[23];
  assign w[402] = a[22] & b[20];
  assign w[403] = a[22] & b[21];
  assign w[404] = a[22] & b[22];
  assign w[405] = a[22] & b[23];
  assign w[406] = a[23] & b[20];
  assign w[407] = a[23] & b[21];
  assign w[408] = a[23] & b[22];
  assign w[409] = a[23] & b[23];
  assign w[410] = w[395] ^ w[398];
  assign w[411] = w[396] ^ w[399];
  assign w[412] = w[411] ^ w[402];
  assign w[413] = w[397] ^ w[400];
  assign w[414] = w[403] ^ w[406];
  assign w[415] = w[413] ^ w[414];
  assign w[416] = w[401] ^ w[404];
  assign w[417] = w[416] ^ w[407];
  assign w[418] = w[405] ^ w[408];
  assign w[419] = a[16] ^ a[20];
  assign w[420] = a[17] ^ a[21];
  assign w[421] = a[18] ^ a[22];
  assign w[422] = a[19] ^ a[23];
  assign w[423] = b[16] ^ b[20];
  assign w[424] = b[17] ^ b[21];
  assign w[425] = b[18] ^ b[22];
  assign w[426] = b[19] ^ b[23];
  assign w[427] = w[419] & w[423];
  assign w[428] = w[419] & w[424];
  assign w[429] = w[419] & w[425];
  assign w[430] = w[419] & w[426];
  assign w[431] = w[420] & w[423];
  assign w[432] = w[420] & w[424];
  assign w[433] = w[420] & w[425];
  assign w[434] = w[420] & w[426];
  assign w[435] = w[421] & w[423];
  assign w[436] = w[421] & w[424];
  assign w[437] = w[421] & w[425];
  assign w[438] = w[421] & w[426];
  assign w[439] = w[422] & w[423];
  assign w[440] = w[422] & w[424];
  assign w[441] = w[422] & w[425];
  assign w[442] = w[422] & w[426];
  assign w[443] = w[428] ^ w[431];
  assign w[444] = w[429] ^ w[432];
  assign w[445] = w[444] ^ w[435];
  assign w[446] = w[430] ^ w[433];
  assign w[447] = w[436] ^ w[439];
  assign w[448] = w[446] ^ w[447];
  assign w[449] = w[434] ^ w[437];
  assign w[450] = w[449] ^ w[440];
  assign w[451] = w[438] ^ w[441];
  assign w[452] = w[369] ^ w[392];
  assign w[453] = w[394] ^ w[427];
  assign w[454] = w[452] ^ w[453];
  assign w[455] = w[385] ^ w[393];
  assign w[456] = w[410] ^ w[443];
  assign w[457] = w[455] ^ w[456];
  assign w[458] = w[387] ^ w[384];
  assign w[459] = w[412] ^ w[445];
  assign w[460] = w[458] ^ w[459];
  assign w[461] = w[390] ^ w[415];
  assign w[462] = w[461] ^ w[448];
  assign w[463] = w[392] ^ w[394];
  assign w[464] = w[417] ^ w[450];
  assign w[465] = w[463] ^ w[464];
  assign w[466] = w[393] ^ w[410];
  assign w[467] = w[418] ^ w[451];
  assign w[468] = w[466] ^ w[467];
  assign w[469] = w[384] ^ w[412];
  assign w[470] = w[409] ^ w[442];
  assign w[471] = w[469] ^ w[470];
  assign w[472] = a[24] & b[24];
  assign w[473] = a[24] & b[25];
  assign w[474] = a[24] & b[26];
  assign w[475] = a[24] & b[27];
  assign w[476] = a[25] & b[24];
  assign w[477] = a[25] & b[25];
  assign w[478] = a[25] & b[26];
  assign w[479] = a[25] & b[27];
  assign w[480] = a[26] & b[24];
  assign w[481] = a[26] & b[25];
  assign w[482] = a[26] & b[26];
  assign w[483] = a[26] & b[27];
  assign w[484] = a[27] & b[24];
  assign w[485] = a[27] & b[25];
  assign w[486] = a[27] & b[26];
  assign w[487] = a[27] & b[27];
  assign w[488] = w[473] ^ w[476];
  assign w[489] = w[474] ^ w[477];
  assign w[490] = w[489] ^ w[480];
  assign w[491] = w[475] ^ w[478];
  assign w[492] = w[481] ^ w[484];
  assign w[493] = w[491] ^ w[492];
  assign w[494] = w[479] ^ w[482];
  assign w[495] = w[494] ^ w[485];
  assign w[496] = w[483] ^ w[486];
  assign w[497] = a[28] & b[28];
  assign w[498] = a[28] & b[29];
  assign w[499] = a[28] & b[30];
  assign w[500] = a[28] & b[31];
  assign w[501] = a[29] & b[28];
  assign w[502] = a[29] & b[29];
  assign w[503] = a[29] & b[30];
  assign w[504] = a[29] & b[31];
  assign w[505] = a[30] & b[28];
  assign w[506] = a[30] & b[29];
  assign w[507] = a[30] & b[30];
  assign w[508] = a[30] & b[31];
  assign w[509] = a[31] & b[28];
  assign w[510] = a[31] & b[29];
  assign w[511] = a[31] & b[30];
  assign w[512] = a[31] & b[31];
  assign w[513] = w[498] ^ w[501];
  assign w[514] = w[499] ^ w[502];
  assign w[515] = w[514] ^ w[505];
  assign w[516] = w[500] ^ w[503];
  assign w[517] = w[506] ^ w[509];
  assign w[518] = w[516] ^ w[517];
  assign w[519] = w[504] ^ w[507];
  assign w[520] = w[519] ^ w[510];
  assign w[521] = w[508] ^ w[511];
  assign w[522] = a[24] ^ a[28];
  assign w[523] = a[25] ^ a[29];
  assign w[524] = a[26] ^ a[30];
  assign w[525] = a[27] ^ a[31];
  assign w[526] = b[24] ^ b[28];
  assign w[527] = b[25] ^ b[29];
  assign w[528] = b[26] ^ b[30];
  assign w[529] = b[27] ^ b[31];
  assign w[530] = w[522] & w[526];
  assign w[531] = w[522] & w[527];
  assign w[532] = w[522] & w[528];
  assign w[533] = w[522] & w[529];
  assign w[534] = w[523] & w[526];
  assign w[535] = w[523] & w[527];
  assign w[536] = w[523] & w[528];
  assign w[537] = w[523] & w[529];
  assign w[538] = w[524] & w[526];
  assign w[539] = w[524] & w[527];
  assign w[540] = w[524] & w[528];
  assign w[541] = w[524] & w[529];
  assign w[542] = w[525] & w[526];
  assign w[543] = w[525] & w[527];
  assign w[544] = w[525] & w[528];
  assign w[545] = w[525] & w[529];
  assign w[546] = w[531] ^ w[534];
  assign w[547] = w[532] ^ w[535];
  assign w[548] = w[547] ^ w[538];
  assign w[549] = w[533] ^ w[536];
  assign w[550] = w[539] ^ w[542];
  assign w[551] = w[549] ^ w[550];
  assign w[552] = w[537] ^ w[540];
  assign w[553] = w[552] ^ w[543];
  assign w[554] = w[541] ^ w[544];
  assign w[555] = w[472] ^ w[495];
  assign w[556] = w[497] ^ w[530];
  assign w[557] = w[555] ^ w[556];
  assign w[558] = w[488] ^ w[496];
  assign w[559] = w[513] ^ w[546];
  assign w[560] = w[558] ^ w[559];
  assign w[561] = w[490] ^ w[487];
  assign w[562] = w[515] ^ w[548];
  assign w[563] = w[561] ^ w[562];
  assign w[564] = w[493] ^ w[518];
  assign w[565] = w[564] ^ w[551];
  assign w[566] = w[495] ^ w[497];
  assign w[567] = w[520] ^ w[553];
  assign w[568] = w[566] ^ w[567];
  assign w[569] = w[496] ^ w[513];
  assign w[570] = w[521] ^ w[554];
  assign w[571] = w[569] ^ w[570];
  assign w[572] = w[487] ^ w[515];
  assign w[573] = w[512] ^ w[545];
  assign w[574] = w[572] ^ w[573];
  assign w[575] = a[16] ^ a[24];
  assign w[576] = a[17] ^ a[25];
  assign w[577] = a[18] ^ a[26];
  assign w[578] = a[19] ^ a[27];
  assign w[579] = a[20] ^ a[28];
  assign w[580] = a[21] ^ a[29];
  assign w[581] = a[22] ^ a[30];
  assign w[582] = a[23] ^ a[31];
  assign w[583] = b[16] ^ b[24];
  assign w[584] = b[17] ^ b[25];
  assign w[585] = b[18] ^ b[26];
  assign w[586] = b[19] ^ b[27];
  assign w[587] = b[20] ^ b[28];
  assign w[588] = b[21] ^ b[29];
  assign w[589] = b[22] ^ b[30];
  assign w[590] = b[23] ^ b[31];
  assign w[591] = w[575] & w[583];
  assign w[592] = w[575] & w[584];
  assign w[593] = w[575] & w[585];
  assign w[594] = w[575] & w[586];
  assign w[595] = w[576] & w[583];
  assign w[596] = w[576] & w[584];
  assign w[597] = w[576] & w[585];
  assign w[598] = w[576] & w[586];
  assign w[599] = w[577] & w[583];
  assign w[600] = w[577] & w[584];
  assign w[601] = w[577] & w[585];
  assign w[602] = w[577] & w[586];
  assign w[603] = w[578] & w[583];
  assign w[604] = w[578] & w[584];
  assign w[605] = w[578] & w[585];
  assign w[606] = w[578] & w[586];
  assign w[607] = w[592] ^ w[595];
  assign w[608] = w[593] ^ w[596];
  assign w[609] = w[608] ^ w[599];
  assign w[610] = w[594] ^ w[597];
  assign w[611] = w[600] ^ w[603];
  assign w[612] = w[610] ^ w[611];
  assign w[613] = w[598] ^ w[601];
  assign w[614] = w[613] ^ w[604];
  assign w[615] = w[602] ^ w[605];
  assign w[616] = w[579] & w[587];
  assign w[617] = w[579] & w[588];
  assign w[618] = w[579] & w[589];
  assign w[619] = w[579] & w[590];
  assign w[620] = w[580] & w[587];
  assign w[621] = w[580] & w[588];
  assign w[622] = w[580] & w[589];
  assign w[623] = w[580] & w[590];
  assign w[624] = w[581] & w[587];
  assign w[625] = w[581] & w[588];
  assign w[626] = w[581] & w[589];
  assign w[627] = w[581] & w[590];
  assign w[628] = w[582] & w[587];
  assign w[629] = w[582] & w[588];
  assign w[630] = w[582] & w[589];
  assign w[631] = w[582] & w[590];
  assign w[632] = w[617] ^ w[620];
  assign w[633] = w[618] ^ w[621];
  assign w[634] = w[633] ^ w[624];
  assign w[635] = w[619] ^ w[622];
  assign w[636] = w[625] ^ w[628];
  assign w[637] = w[635] ^ w[636];
  assign w[638] = w[623] ^ w[626];
  assign w[639] = w[638] ^ w[629];
  assign w[640] = w[627] ^ w[630];
  assign w[641] = w[575] ^ w[579];
  assign w[642] = w[576] ^ w[580];
  assign w[643] = w[577] ^ w[581];
  assign w[644] = w[578] ^ w[582];
  assign w[645] = w[583] ^ w[587];
  assign w[646] = w[584] ^ w[588];
  assign w[647] = w[585] ^ w[589];
  assign w[648] = w[586] ^ w[590];
  assign w[649] = w[641] & w[645];
  assign w[650] = w[641] & w[646];
  assign w[651] = w[641] & w[647];
  assign w[652] = w[641] & w[648];
  assign w[653] = w[642] & w[645];
  assign w[654] = w[642] & w[646];
  assign w[655] = w[642] & w[647];
  assign w[656] = w[642] & w[648];
  assign w[657] = w[643] & w[645];
  assign w[658] = w[643] & w[646];
  assign w[659] = w[643] & w[647];
  assign w[660] = w[643] & w[648];
  assign w[661] = w[644] & w[645];
  assign w[662] = w[644] & w[646];
  assign w[663] = w[644] & w[647];
  assign w[664] = w[644] & w[648];
  assign w[665] = w[650] ^ w[653];
  assign w[666] = w[651] ^ w[654];
  assign w[667] = w[666] ^ w[657];
  assign w[668] = w[652] ^ w[655];
  assign w[669] = w[658] ^ w[661];
  assign w[670] = w[668] ^ w[669];
  assign w[671] = w[656] ^ w[659];
  assign w[672] = w[671] ^ w[662];
  assign w[673] = w[660] ^ w[663];
  assign w[674] = w[591] ^ w[614];
  assign w[675] = w[616] ^ w[649];
  assign w[676] = w[674] ^ w[675];
  assign w[677] = w[607] ^ w[615];
  assign w[678] = w[632] ^ w[665];
  assign w[679] = w[677] ^ w[678];
  assign w[680] = w[609] ^ w[606];
  assign w[681] = w[634] ^ w[667];
  assign w[682] = w[680] ^ w[681];
  assign w[683] = w[612] ^ w[637];
  assign w[684] = w[683] ^ w[670];
  assign w[685] = w[614] ^ w[616];
  assign w[686] = w[639] ^ w[672];
  assign w[687] = w[685] ^ w[686];
  assign w[688] = w[615] ^ w[632];
  assign w[689] = w[640] ^ w[673];
  assign w[690] = w[688] ^ w[689];
  assign w[691] = w[606] ^ w[634];
  assign w[692] = w[631] ^ w[664];
  assign w[693] = w[691] ^ w[692];
  assign w[694] = w[369] ^ w[465];
  assign w[695] = w[472] ^ w[591];
  assign w[696] = w[694] ^ w[695];
  assign w[697] = w[385] ^ w[468];
  assign w[698] = w[488] ^ w[607];
  assign w[699] = w[697] ^ w[698];
  assign w[700] = w[387] ^ w[471];
  assign w[701] = w[490] ^ w[609];
  assign w[702] = w[700] ^ w[701];
  assign w[703] = w[390] ^ w[415];
  assign w[704] = w[493] ^ w[612];
  assign w[705] = w[703] ^ w[704];
  assign w[706] = w[454] ^ w[417];
  assign w[707] = w[557] ^ w[676];
  assign w[708] = w[706] ^ w[707];
  assign w[709] = w[457] ^ w[418];
  assign w[710] = w[560] ^ w[679];
  assign w[711] = w[709] ^ w[710];
  assign w[712] = w[460] ^ w[409];
  assign w[713] = w[563] ^ w[682];
  assign w[714] = w[712] ^ w[713];
  assign w[715] = w[462] ^ w[565];
  assign w[716] = w[715] ^ w[684];
  assign w[717] = w[465] ^ w[472];
  assign w[718] = w[568] ^ w[687];
  assign w[719] = w[717] ^ w[718];
  assign w[720] = w[468] ^ w[488];
  assign w[721] = w[571] ^ w[690];
  assign w[722] = w[720] ^ w[721];
  assign w[723] = w[471] ^ w[490];
  assign w[724] = w[574] ^ w[693];
  assign w[725] = w[723] ^ w[724];
  assign w[726] = w[415] ^ w[493];
  assign w[727] = w[518] ^ w[637];
  assign w[728] = w[726] ^ w[727];
  assign w[729] = w[417] ^ w[557];
  assign w[730] = w[520] ^ w[639];
  assign w[731] = w[729] ^ w[730];
  assign w[732] = w[418] ^ w[560];
  assign w[733] = w[521] ^ w[640];
  assign w[734] = w[732] ^ w[733];
  assign w[735] = w[409] ^ w[563];
  assign w[736] = w[512] ^ w[631];
  assign w[737] = w[735] ^ w[736];
  assign w[738] = a[0] ^ a[16];
  assign w[739] = a[1] ^ a[17];
  assign w[740] = a[2] ^ a[18];
  assign w[741] = a[3] ^ a[19];
  assign w[742] = a[4] ^ a[20];
  assign w[743] = a[5] ^ a[21];
  assign w[744] = a[6] ^ a[22];
  assign w[745] = a[7] ^ a[23];
  assign w[746] = a[8] ^ a[24];
  assign w[747] = a[9] ^ a[25];
  assign w[748] = a[10] ^ a[26];
  assign w[749] = a[11] ^ a[27];
  assign w[750] = a[12] ^ a[28];
  assign w[751] = a[13] ^ a[29];
  assign w[752] = a[14] ^ a[30];
  assign w[753] = a[15] ^ a[31];
  assign w[754] = b[0] ^ b[16];
  assign w[755] = b[1] ^ b[17];
  assign w[756] = b[2] ^ b[18];
  assign w[757] = b[3] ^ b[19];
  assign w[758] = b[4] ^ b[20];
  assign w[759] = b[5] ^ b[21];
  assign w[760] = b[6] ^ b[22];
  assign w[761] = b[7] ^ b[23];
  assign w[762] = b[8] ^ b[24];
  assign w[763] = b[9] ^ b[25];
  assign w[764] = b[10] ^ b[26];
  assign w[765] = b[11] ^ b[27];
  assign w[766] = b[12] ^ b[28];
  assign w[767] = b[13] ^ b[29];
  assign w[768] = b[14] ^ b[30];
  assign w[769] = b[15] ^ b[31];
  assign w[770] = w[738] & w[754];
  assign w[771] = w[738] & w[755];
  assign w[772] = w[738] & w[756];
  assign w[773] = w[738] & w[757];
  assign w[774] = w[739] & w[754];
  assign w[775] = w[739] & w[755];
  assign w[776] = w[739] & w[756];
  assign w[777] = w[739] & w[757];
  assign w[778] = w[740] & w[754];
  assign w[779] = w[740] & w[755];
  assign w[780] = w[740] & w[756];
  assign w[781] = w[740] & w[757];
  assign w[782] = w[741] & w[754];
  assign w[783] = w[741] & w[755];
  assign w[784] = w[741] & w[756];
  assign w[785] = w[741] & w[757];
  assign w[786] = w[771] ^ w[774];
  assign w[787] = w[772] ^ w[775];
  assign w[788] = w[787] ^ w[778];
  assign w[789] = w[773] ^ w[776];
  assign w[790] = w[779] ^ w[782];
  assign w[791] = w[789] ^ w[790];
  assign w[792] = w[777] ^ w[780];
  assign w[793] = w[792] ^ w[783];
  assign w[794] = w[781] ^ w[784];
  assign w[795] = w[742] & w[758];
  assign w[796] = w[742] & w[759];
  assign w[797] = w[742] & w[760];
  assign w[798] = w[742] & w[761];
  assign w[799] = w[743] & w[758];
  assign w[800] = w[743] & w[759];
  assign w[801] = w[743] & w[760];
  assign w[802] = w[743] & w[761];
  assign w[803] = w[744] & w[758];
  assign w[804] = w[744] & w[759];
  assign w[805] = w[744] & w[760];
  assign w[806] = w[744] & w[761];
  assign w[807] = w[745] & w[758];
  assign w[808] = w[745] & w[759];
  assign w[809] = w[745] & w[760];
  assign w[810] = w[745] & w[761];
  assign w[811] = w[796] ^ w[799];
  assign w[812] = w[797] ^ w[800];
  assign w[813] = w[812] ^ w[803];
  assign w[814] = w[798] ^ w[801];
  assign w[815] = w[804] ^ w[807];
  assign w[816] = w[814] ^ w[815];
  assign w[817] = w[802] ^ w[805];
  assign w[818] = w[817] ^ w[808];
  assign w[819] = w[806] ^ w[809];
  assign w[820] = w[738] ^ w[742];
  assign w[821] = w[739] ^ w[743];
  assign w[822] = w[740] ^ w[744];
  assign w[823] = w[741] ^ w[745];
  assign w[824] = w[754] ^ w[758];
  assign w[825] = w[755] ^ w[759];
  assign w[826] = w[756] ^ w[760];
  assign w[827] = w[757] ^ w[761];
  assign w[828] = w[820] & w[824];
  assign w[829] = w[820] & w[825];
  assign w[830] = w[820] & w[826];
  assign w[831] = w[820] & w[827];
  assign w[832] = w[821] & w[824];
  assign w[833] = w[821] & w[825];
  assign w[834] = w[821] & w[826];
  assign w[835] = w[821] & w[827];
  assign w[836] = w[822] & w[824];
  assign w[837] = w[822] & w[825];
  assign w[838] = w[822] & w[826];
  assign w[839] = w[822] & w[827];
  assign w[840] = w[823] & w[824];
  assign w[841] = w[823] & w[825];
  assign w[842] = w[823] & w[826];
  assign w[843] = w[823] & w[827];
  assign w[844] = w[829] ^ w[832];
  assign w[845] = w[830] ^ w[833];
  assign w[846] = w[845] ^ w[836];
  assign w[847] = w[831] ^ w[834];
  assign w[848] = w[837] ^ w[840];
  assign w[849] = w[847] ^ w[848];
  assign w[850] = w[835] ^ w[838];
  assign w[851] = w[850] ^ w[841];
  assign w[852] = w[839] ^ w[842];
  assign w[853] = w[770] ^ w[793];
  assign w[854] = w[795] ^ w[828];
  assign w[855] = w[853] ^ w[854];
  assign w[856] = w[786] ^ w[794];
  assign w[857] = w[811] ^ w[844];
  assign w[858] = w[856] ^ w[857];
  assign w[859] = w[788] ^ w[785];
  assign w[860] = w[813] ^ w[846];
  assign w[861] = w[859] ^ w[860];
  assign w[862] = w[791] ^ w[816];
  assign w[863] = w[862] ^ w[849];
  assign w[864] = w[793] ^ w[795];
  assign w[865] = w[818] ^ w[851];
  assign w[866] = w[864] ^ w[865];
  assign w[867] = w[794] ^ w[811];
  assign w[868] = w[819] ^ w[852];
  assign w[869] = w[867] ^ w[868];
  assign w[870] = w[785] ^ w[813];
  assign w[871] = w[810] ^ w[843];
  assign w[872] = w[870] ^ w[871];
  assign w[873] = w[746] & w[762];
  assign w[874] = w[746] & w[763];
  assign w[875] = w[746] & w[764];
  assign w[876] = w[746] & w[765];
  assign w[877] = w[747] & w[762];
  assign w[878] = w[747] & w[763];
  assign w[879] = w[747] & w[764];
  assign w[880] = w[747] & w[765];
  assign w[881] = w[748] & w[762];
  assign w[882] = w[748] & w[763];
  assign w[883] = w[748] & w[764];
  assign w[884] = w[748] & w[765];
  assign w[885] = w[749] & w[762];
  assign w[886] = w[749] & w[763];
  assign w[887] = w[749] & w[764];
  assign w[888] = w[749] & w[765];
  assign w[889] = w[874] ^ w[877];
  assign w[890] = w[875] ^ w[878];
  assign w[891] = w[890] ^ w[881];
  assign w[892] = w[876] ^ w[879];
  assign w[893] = w[882] ^ w[885];
  assign w[894] = w[892] ^ w[893];
  assign w[895] = w[880] ^ w[883];
  assign w[896] = w[895] ^ w[886];
  assign w[897] = w[884] ^ w[887];
  assign w[898] = w[750] & w[766];
  assign w[899] = w[750] & w[767];
  assign w[900] = w[750] & w[768];
  assign w[901] = w[750] & w[769];
  assign w[902] = w[751] & w[766];
  assign w[903] = w[751] & w[767];
  assign w[904] = w[751] & w[768];
  assign w[905] = w[751] & w[769];
  assign w[906] = w[752] & w[766];
  assign w[907] = w[752] & w[767];
  assign w[908] = w[752] & w[768];
  assign w[909] = w[752] & w[769];
  assign w[910] = w[753] & w[766];
  assign w[911] = w[753] & w[767];
  assign w[912] = w[753] & w[768];
  assign w[913] = w[753] & w[769];
  assign w[914] = w[899] ^ w[902];
  assign w[915] = w[900] ^ w[903];
  assign w[916] = w[915] ^ w[906];
  assign w[917] = w[901] ^ w[904];
  assign w[918] = w[907] ^ w[910];
  assign w[919] = w[917] ^ w[918];
  assign w[920] = w[905] ^ w[908];
  assign w[921] = w[920] ^ w[911];
  assign w[922] = w[909] ^ w[912];
  assign w[923] = w[746] ^ w[750];
  assign w[924] = w[747] ^ w[751];
  assign w[925] = w[748] ^ w[752];
  assign w[926] = w[749] ^ w[753];
  assign w[927] = w[762] ^ w[766];
  assign w[928] = w[763] ^ w[767];
  assign w[929] = w[764] ^ w[768];
  assign w[930] = w[765] ^ w[769];
  assign w[931] = w[923] & w[927];
  assign w[932] = w[923] & w[928];
  assign w[933] = w[923] & w[929];
  assign w[934] = w[923] & w[930];
  assign w[935] = w[924] & w[927];
  assign w[936] = w[924] & w[928];
  assign w[937] = w[924] & w[929];
  assign w[938] = w[924] & w[930];
  assign w[939] = w[925] & w[927];
  assign w[940] = w[925] & w[928];
  assign w[941] = w[925] & w[929];
  assign w[942] = w[925] & w[930];
  assign w[943] = w[926] & w[927];
  assign w[944] = w[926] & w[928];
  assign w[945] = w[926] & w[929];
  assign w[946] = w[926] & w[930];
  assign w[947] = w[932] ^ w[935];
  assign w[948] = w[933] ^ w[936];
  assign w[949] = w[948] ^ w[939];
  assign w[950] = w[934] ^ w[937];
  assign w[951] = w[940] ^ w[943];
  assign w[952] = w[950] ^ w[951];
  assign w[953] = w[938] ^ w[941];
  assign w[954] = w[953] ^ w[944];
  assign w[955] = w[942] ^ w[945];
  assign w[956] = w[873] ^ w[896];
  assign w[957] = w[898] ^ w[931];
  assign w[958] = w[956] ^ w[957];
  assign w[959] = w[889] ^ w[897];
  assign w[960] = w[914] ^ w[947];
  assign w[961] = w[959] ^ w[960];
  assign w[962] = w[891] ^ w[888];
  assign w[963] = w[916] ^ w[949];
  assign w[964] = w[962] ^ w[963];
  assign w[965] = w[894] ^ w[919];
  assign w[966] = w[965] ^ w[952];
  assign w[967] = w[896] ^ w[898];
  assign w[968] = w[921] ^ w[954];
  assign w[969] = w[967] ^ w[968];
  assign w[970] = w[897] ^ w[914];
  assign w[971] = w[922] ^ w[955];
  assign w[972] = w[970] ^ w[971];
  assign w[973] = w[888] ^ w[916];
  assign w[974] = w[913] ^ w[946];
  assign w[975] = w[973] ^ w[974];
  assign w[976] = w[738] ^ w[746];
  assign w[977] = w[739] ^ w[747];
  assign w[978] = w[740] ^ w[748];
  assign w[979] = w[741] ^ w[749];
  assign w[980] = w[742] ^ w[750];
  assign w[981] = w[743] ^ w[751];
  assign w[982] = w[744] ^ w[752];
  assign w[983] = w[745] ^ w[753];
  assign w[984] = w[754] ^ w[762];
  assign w[985] = w[755] ^ w[763];
  assign w[986] = w[756] ^ w[764];
  assign w[987] = w[757] ^ w[765];
  assign w[988] = w[758] ^ w[766];
  assign w[989] = w[759] ^ w[767];
  assign w[990] = w[760] ^ w[768];
  assign w[991] = w[761] ^ w[769];
  assign w[992] = w[976] & w[984];
  assign w[993] = w[976] & w[985];
  assign w[994] = w[976] & w[986];
  assign w[995] = w[976] & w[987];
  assign w[996] = w[977] & w[984];
  assign w[997] = w[977] & w[985];
  assign w[998] = w[977] & w[986];
  assign w[999] = w[977] & w[987];
  assign w[1000] = w[978] & w[984];
  assign w[1001] = w[978] & w[985];
  assign w[1002] = w[978] & w[986];
  assign w[1003] = w[978] & w[987];
  assign w[1004] = w[979] & w[984];
  assign w[1005] = w[979] & w[985];
  assign w[1006] = w[979] & w[986];
  assign w[1007] = w[979] & w[987];
  assign w[1008] = w[993] ^ w[996];
  assign w[1009] = w[994] ^ w[997];
  assign w[1010] = w[1009] ^ w[1000];
  assign w[1011] = w[995] ^ w[998];
  assign w[1012] = w[1001] ^ w[1004];
  assign w[1013] = w[1011] ^ w[1012];
  assign w[1014] = w[999] ^ w[1002];
  assign w[1015] = w[1014] ^ w[1005];
  assign w[1016] = w[1003] ^ w[1006];
  assign w[1017] = w[980] & w[988];
  assign w[1018] = w[980] & w[989];
  assign w[1019] = w[980] & w[990];
  assign w[1020] = w[980] & w[991];
  assign w[1021] = w[981] & w[988];
  assign w[1022] = w[981] & w[989];
  assign w[1023] = w[981] & w[990];
  assign w[1024] = w[981] & w[991];
  assign w[1025] = w[982] & w[988];
  assign w[1026] = w[982] & w[989];
  assign w[1027] = w[982] & w[990];
  assign w[1028] = w[982] & w[991];
  assign w[1029] = w[983] & w[988];
  assign w[1030] = w[983] & w[989];
  assign w[1031] = w[983] & w[990];
  assign w[1032] = w[983] & w[991];
  assign w[1033] = w[1018] ^ w[1021];
  assign w[1034] = w[1019] ^ w[1022];
  assign w[1035] = w[1034] ^ w[1025];
  assign w[1036] = w[1020] ^ w[1023];
  assign w[1037] = w[1026] ^ w[1029];
  assign w[1038] = w[1036] ^ w[1037];
  assign w[1039] = w[1024] ^ w[1027];
  assign w[1040] = w[1039] ^ w[1030];
  assign w[1041] = w[1028] ^ w[1031];
  assign w[1042] = w[976] ^ w[980];
  assign w[1043] = w[977] ^ w[981];
  assign w[1044] = w[978] ^ w[982];
  assign w[1045] = w[979] ^ w[983];
  assign w[1046] = w[984] ^ w[988];
  assign w[1047] = w[985] ^ w[989];
  assign w[1048] = w[986] ^ w[990];
  assign w[1049] = w[987] ^ w[991];
  assign w[1050] = w[1042] & w[1046];
  assign w[1051] = w[1042] & w[1047];
  assign w[1052] = w[1042] & w[1048];
  assign w[1053] = w[1042] & w[1049];
  assign w[1054] = w[1043] & w[1046];
  assign w[1055] = w[1043] & w[1047];
  assign w[1056] = w[1043] & w[1048];
  assign w[1057] = w[1043] & w[1049];
  assign w[1058] = w[1044] & w[1046];
  assign w[1059] = w[1044] & w[1047];
  assign w[1060] = w[1044] & w[1048];
  assign w[1061] = w[1044] & w[1049];
  assign w[1062] = w[1045] & w[1046];
  assign w[1063] = w[1045] & w[1047];
  assign w[1064] = w[1045] & w[1048];
  assign w[1065] = w[1045] & w[1049];
  assign w[1066] = w[1051] ^ w[1054];
  assign w[1067] = w[1052] ^ w[1055];
  assign w[1068] = w[1067] ^ w[1058];
  assign w[1069] = w[1053] ^ w[1056];
  assign w[1070] = w[1059] ^ w[1062];
  assign w[1071] = w[1069] ^ w[1070];
  assign w[1072] = w[1057] ^ w[1060];
  assign w[1073] = w[1072] ^ w[1063];
  assign w[1074] = w[1061] ^ w[1064];
  assign w[1075] = w[992] ^ w[1015];
  assign w[1076] = w[1017] ^ w[1050];
  assign w[1077] = w[1075] ^ w[1076];
  assign w[1078] = w[1008] ^ w[1016];
  assign w[1079] = w[1033] ^ w[1066];
  assign w[1080] = w[1078] ^ w[1079];
  assign w[1081] = w[1010] ^ w[1007];
  assign w[1082] = w[1035] ^ w[1068];
  assign w[1083] = w[1081] ^ w[1082];
  assign w[1084] = w[1013] ^ w[1038];
  assign w[1085] = w[1084] ^ w[1071];
  assign w[1086] = w[1015] ^ w[1017];
  assign w[1087] = w[1040] ^ w[1073];
  assign w[1088] = w[1086] ^ w[1087];
  assign w[1089] = w[1016] ^ w[1033];
  assign w[1090] = w[1041] ^ w[1074];
  assign w[1091] = w[1089] ^ w[1090];
  assign w[1092] = w[1007] ^ w[1035];
  assign w[1093] = w[1032] ^ w[1065];
  assign w[1094] = w[1092] ^ w[1093];
  assign w[1095] = w[770] ^ w[866];
  assign w[1096] = w[873] ^ w[992];
  assign w[1097] = w[1095] ^ w[1096];
  assign w[1098] = w[786] ^ w[869];
  assign w[1099] = w[889] ^ w[1008];
  assign w[1100] = w[1098] ^ w[1099];
  assign w[1101] = w[788] ^ w[872];
  assign w[1102] = w[891] ^ w[1010];
  assign w[1103] = w[1101] ^ w[1102];
  assign w[1104] = w[791] ^ w[816];
  assign w[1105] = w[894] ^ w[1013];
  assign w[1106] = w[1104] ^ w[1105];
  assign w[1107] = w[855] ^ w[818];
  assign w[1108] = w[958] ^ w[1077];
  assign w[1109] = w[1107] ^ w[1108];
  assign w[1110] = w[858] ^ w[819];
  assign w[1111] = w[961] ^ w[1080];
  assign w[1112] = w[1110] ^ w[1111];
  assign w[1113] = w[861] ^ w[810];
  assign w[1114] = w[964] ^ w[1083];
  assign w[1115] = w[1113] ^ w[1114];
  assign w[1116] = w[863] ^ w[966];
  assign w[1117] = w[1116] ^ w[1085];
  assign w[1118] = w[866] ^ w[873];
  assign w[1119] = w[969] ^ w[1088];
  assign w[1120] = w[1118] ^ w[1119];
  assign w[1121] = w[869] ^ w[889];
  assign w[1122] = w[972] ^ w[1091];
  assign w[1123] = w[1121] ^ w[1122];
  assign w[1124] = w[872] ^ w[891];
  assign w[1125] = w[975] ^ w[1094];
  assign w[1126] = w[1124] ^ w[1125];
  assign w[1127] = w[816] ^ w[894];
  assign w[1128] = w[919] ^ w[1038];
  assign w[1129] = w[1127] ^ w[1128];
  assign w[1130] = w[818] ^ w[958];
  assign w[1131] = w[921] ^ w[1040];
  assign w[1132] = w[1130] ^ w[1131];
  assign w[1133] = w[819] ^ w[961];
  assign w[1134] = w[922] ^ w[1041];
  assign w[1135] = w[1133] ^ w[1134];
  assign w[1136] = w[810] ^ w[964];
  assign w[1137] = w[913] ^ w[1032];
  assign w[1138] = w[1136] ^ w[1137];
  assign w[1139] = w[0] ^ w[350];
  assign w[1140] = w[369] ^ w[770];
  assign w[1141] = w[1139] ^ w[1140];
  assign w[1142] = w[16] ^ w[353];
  assign w[1143] = w[385] ^ w[786];
  assign w[1144] = w[1142] ^ w[1143];
  assign w[1145] = w[18] ^ w[356];
  assign w[1146] = w[387] ^ w[788];
  assign w[1147] = w[1145] ^ w[1146];
  assign w[1148] = w[21] ^ w[359];
  assign w[1149] = w[390] ^ w[791];
  assign w[1150] = w[1148] ^ w[1149];
  assign w[1151] = w[85] ^ w[362];
  assign w[1152] = w[454] ^ w[855];
  assign w[1153] = w[1151] ^ w[1152];
  assign w[1154] = w[88] ^ w[365];
  assign w[1155] = w[457] ^ w[858];
  assign w[1156] = w[1154] ^ w[1155];
  assign w[1157] = w[91] ^ w[368];
  assign w[1158] = w[460] ^ w[861];
  assign w[1159] = w[1157] ^ w[1158];
  assign w[1160] = w[93] ^ w[196];
  assign w[1161] = w[462] ^ w[863];
  assign w[1162] = w[1160] ^ w[1161];
  assign w[1163] = w[327] ^ w[199];
  assign w[1164] = w[696] ^ w[1097];
  assign w[1165] = w[1163] ^ w[1164];
  assign w[1166] = w[330] ^ w[202];
  assign w[1167] = w[699] ^ w[1100];
  assign w[1168] = w[1166] ^ w[1167];
  assign w[1169] = w[333] ^ w[205];
  assign w[1170] = w[702] ^ w[1103];
  assign w[1171] = w[1169] ^ w[1170];
  assign w[1172] = w[336] ^ w[149];
  assign w[1173] = w[705] ^ w[1106];
  assign w[1174] = w[1172] ^ w[1173];
  assign w[1175] = w[339] ^ w[151];
  assign w[1176] = w[708] ^ w[1109];
  assign w[1177] = w[1175] ^ w[1176];
  assign w[1178] = w[342] ^ w[152];
  assign w[1179] = w[711] ^ w[1112];
  assign w[1180] = w[1178] ^ w[1179];
  assign w[1181] = w[345] ^ w[143];
  assign w[1182] = w[714] ^ w[1115];
  assign w[1183] = w[1181] ^ w[1182];
  assign w[1184] = w[347] ^ w[716];
  assign w[1185] = w[1184] ^ w[1117];
  assign w[1186] = w[350] ^ w[369];
  assign w[1187] = w[719] ^ w[1120];
  assign w[1188] = w[1186] ^ w[1187];
  assign w[1189] = w[353] ^ w[385];
  assign w[1190] = w[722] ^ w[1123];
  assign w[1191] = w[1189] ^ w[1190];
  assign w[1192] = w[356] ^ w[387];
  assign w[1193] = w[725] ^ w[1126];
  assign w[1194] = w[1192] ^ w[1193];
  assign w[1195] = w[359] ^ w[390];
  assign w[1196] = w[728] ^ w[1129];
  assign w[1197] = w[1195] ^ w[1196];
  assign w[1198] = w[362] ^ w[454];
  assign w[1199] = w[731] ^ w[1132];
  assign w[1200] = w[1198] ^ w[1199];
  assign w[1201] = w[365] ^ w[457];
  assign w[1202] = w[734] ^ w[1135];
  assign w[1203] = w[1201] ^ w[1202];
  assign w[1204] = w[368] ^ w[460];
  assign w[1205] = w[737] ^ w[1138];
  assign w[1206] = w[1204] ^ w[1205];
  assign w[1207] = w[196] ^ w[462];
  assign w[1208] = w[565] ^ w[966];
  assign w[1209] = w[1207] ^ w[1208];
  assign w[1210] = w[199] ^ w[696];
  assign w[1211] = w[568] ^ w[969];
  assign w[1212] = w[1210] ^ w[1211];
  assign w[1213] = w[202] ^ w[699];
  assign w[1214] = w[571] ^ w[972];
  assign w[1215] = w[1213] ^ w[1214];
  assign w[1216] = w[205] ^ w[702];
  assign w[1217] = w[574] ^ w[975];
  assign w[1218] = w[1216] ^ w[1217];
  assign w[1219] = w[149] ^ w[705];
  assign w[1220] = w[518] ^ w[919];
  assign w[1221] = w[1219] ^ w[1220];
  assign w[1222] = w[151] ^ w[708];
  assign w[1223] = w[520] ^ w[921];
  assign w[1224] = w[1222] ^ w[1223];
  assign w[1225] = w[152] ^ w[711];
  assign w[1226] = w[521] ^ w[922];
  assign w[1227] = w[1225] ^ w[1226];
  assign w[1228] = w[143] ^ w[714];
  assign w[1229] = w[512] ^ w[913];
  assign w[1230] = w[1228] ^ w[1229];
  assign p[0] = w[0];
  assign p[1] = w[16];
  assign p[2] = w[18];
  assign p[3] = w[21];
  assign p[4] = w[85];
  assign p[5] = w[88];
  assign p[6] = w[91];
  assign p[7] = w[93];
  assign p[8] = w[327];
  assign p[9] = w[330];
  assign p[10] = w[333];
  assign p[11] = w[336];
  assign p[12] = w[339];
  assign p[13] = w[342];
  assign p[14] = w[345];
  assign p[15] = w[347];
  assign p[16] = w[1141];
  assign p[17] = w[1144];
  assign p[18] = w[1147];
  assign p[19] = w[1150];
  assign p[20] = w[1153];
  assign p[21] = w[1156];
  assign p[22] = w[1159];
  assign p[23] = w[1162];
  assign p[24] = w[1165];
  assign p[25] = w[1168];
  assign p[26] = w[1171];
  assign p[27] = w[1174];
  assign p[28] = w[1177];
  assign p[29] = w[1180];
  assign p[30] = w[1183];
  assign p[31] = w[1185];
  assign p[32] = w[1188];
  assign p[33] = w[1191];
  assign p[34] = w[1194];
  assign p[35] = w[1197];
  assign p[36] = w[1200];
  assign p[37] = w[1203];
  assign p[38] = w[1206];
  assign p[39] = w[1209];
  assign p[40] = w[1212];
  assign p[41] = w[1215];
  assign p[42] = w[1218];
  assign p[43] = w[1221];
  assign p[44] = w[1224];
  assign p[45] = w[1227];
  assign p[46] = w[1230];
  assign p[47] = w[716];
  assign p[48] = w[719];
  assign p[49] = w[722];
  assign p[50] = w[725];
  assign p[51] = w[728];
  assign p[52] = w[731];
  assign p[53] = w[734];
  assign p[54] = w[737];
  assign p[55] = w[565];
  assign p[56] = w[568];
  assign p[57] = w[571];
  assign p[58] = w[574];
  assign p[59] = w[518];
  assign p[60] = w[520];
  assign p[61] = w[521];
  assign p[62] = w[512];
endmodule