blowfish.hms

/* Does not modify Sx or x. */
f(u32 x, u32 updatee, u32 S[1024]) {
  u32 h;

  h += S[x >> 24];
  h += S[256 + (x >> 16 & 0xff)];
  h ^= S[256*2 + (x >> 8 & 0xff)];
  h += S[256*3 + (x & 0xff)];

  updatee ^= h;

  h -= S[256*3 + (x & 0xff)]; /* Restore h. */
  h ^= S[256*2 + (x >> 8 & 0xff)];
  h -= S[256 + (x >> 16 & 0xff)];
  h -= S[x >> 24];
}

/* Does not modify P- and S-boxes. */
encrypt(u32 L, u32 R, u32 S[1024], u32 P[18]) {
  for (i=0 ;16) {
    L ^= P[i];

    call f(L, R, S);
    /* R ^= f(L); */

    R ^= P[i+1];

    /* L ^= f(R); */
    call f(R, L, S);

    i += 2;
  }
  L ^= P[16];
  R ^= P[17];
  L <-> R;
}

/* Assumes Lk = Rk = 0. */
keyScheduling(u32 Lk, u32 Rk, const u8 key[8], const u32 keyLen, u32 S[1024], u32 P[18]) {
  u32 PR[18];
  u32 SR[1024];
  call assignP(PR);
  call assignS(SR);

  {
    u32 j;
    for (i = 0; 18) {
      P[i] ^= (key[j % keyLen] << 24) | 
        (key[(j+1) % keyLen] << 16) | 
        (key[(j+2) % keyLen] << 8) | 
        key[(j+3) % keyLen];
      j += 4;
      i++;
    }
    j -= 18*4;

    for (i = 0; 18) {
      call encrypt(Lk, Rk, S, P);
      /* P[i] = L; */
      P[i] -= PR[i] ^ ((key[j % keyLen] << 24) | 
        (key[(j+1) % keyLen] << 16) | 
        (key[(j+2) % keyLen] << 8) | 
        key[(j+3) % keyLen]);
      P[i] += Lk;
      j += 4;
      /* P[i+1] = R; */
      P[i+1] -= PR[i+1] ^ ((key[j % keyLen] << 24) | 
        (key[(j+1) % keyLen] << 16) | 
        (key[(j+2) % keyLen] << 8) | 
        key[(j+3) % keyLen]);
      P[i+1] += Rk;
      j += 4;
      i += 2;
    }
    j-= 18*4;
  }

  for (i = 0; 4) {
    for (j = 0; 256) {
      call encrypt(Lk, Rk, S, P);
      /* S[i][j] = L; */
      S[i*256 + j] -= SR[i*256 + j];
      S[i*256 + j] += Lk;
      /* S[i][j+1] = R; */
      S[i*256 + (j+1)] -= SR[i*256 + (j+1)];
      S[i*256 + (j+1)] += Rk;
      j += 2;
    }
    i += 1;
  }

  uncall assignP(PR);
  uncall assignS(SR);
}

readKey(u8 key[7]) {
  for (i = 0; 7) {
    scanf("%u8", key[i]);
    i++;
  }
}

main() {
  u32 P[18];
  u32 S[1024];
  const u32 keyLen = 7;
  u8 key[7];
  u32 Lk, Rk;
  u32 tmpL, tmpR;
  u32 L, R;

  L += 1;
  R += 2;

  /* Setup. */
  call assignS(S);
  call assignP(P);
  call readKey(key);
  call keyScheduling(Lk, Rk, key, keyLen, S, P);

  /* Encrypt. */
  call encrypt(L, R, S, P);

  /* Output ciphertext and ensure, that L and R are not optimized away. */
  tmpL += L;
  tmpR += R;
  printf("%u32 %u32\n", L, R);
  L += tmpL;
  R += tmpR;
  tmpL -= L;
  tmpR -= R;

  /* Decrypt. */
  uncall encrypt(L, R, S, P);
  assert (L == 1);
  assert (R == 2);

  /* Restore local variables.*/
  uncall keyScheduling(Lk, Rk, key, keyLen, S, P);
  uncall readKey(key);
  uncall assignP(P); 
  uncall assignS(S);

  L -= 1;
  R -= 2;
}

/* Assigns initial values for P- and S-boxes. */
assignP(u32 P[18]) {
  P[0] += 0x243F6A88; P[1] += 0x85A308D3;
  P[2] += 0x13198A2E; P[3] += 0x03707344;
  P[4] += 0xA4093822; P[5] += 0x299F31D0;
  P[6] += 0x082EFA98; P[7] += 0xEC4E6C89;
  P[8] += 0x452821E6; P[9] += 0x38D01377;
  P[10] += 0xBE5466CF; P[11] += 0x34E90C6C;
  P[12] += 0xC0AC29B7; P[13] += 0xC97C50DD;
  P[14] += 0x3F84D5B5; P[15] += 0xB5470917;
  P[16] += 0x9216D5D9; P[17] += 0x8979FB1B;
}

assignS(u32 S[1024]) {
  S[0] += 0xD1310BA6; S[1] += 0x98DFB5AC;
  S[2] += 0x2FFD72DB; S[3] += 0xD01ADFB7;
  S[4] += 0xB8E1AFED; S[5] += 0x6A267E96;
  S[6] += 0xBA7C9045; S[7] += 0xF12C7F99;
  S[8] += 0x24A19947; S[9] += 0xB3916CF7;
  S[10] += 0x0801F2E2; S[11] += 0x858EFC16;
  S[12] += 0x636920D8; S[13] += 0x71574E69;
  S[14] += 0xA458FEA3; S[15] += 0xF4933D7E;
  S[16] += 0x0D95748F; S[17] += 0x728EB658;
  S[18] += 0x718BCD58; S[19] += 0x82154AEE;
  S[20] += 0x7B54A41D; S[21] += 0xC25A59B5;
  S[22] += 0x9C30D539; S[23] += 0x2AF26013;
  S[24] += 0xC5D1B023; S[25] += 0x286085F0;
  S[26] += 0xCA417918; S[27] += 0xB8DB38EF;
  S[28] += 0x8E79DCB0; S[29] += 0x603A180E;
  S[30] += 0x6C9E0E8B; S[31] += 0xB01E8A3E;
  S[32] += 0xD71577C1; S[33] += 0xBD314B27;
  S[34] += 0x78AF2FDA; S[35] += 0x55605C60;
  S[36] += 0xE65525F3; S[37] += 0xAA55AB94;
  S[38] += 0x57489862; S[39] += 0x63E81440;
  S[40] += 0x55CA396A; S[41] += 0x2AAB10B6;
  S[42] += 0xB4CC5C34; S[43] += 0x1141E8CE;
  S[44] += 0xA15486AF; S[45] += 0x7C72E993;
  S[46] += 0xB3EE1411; S[47] += 0x636FBC2A;
  S[48] += 0x2BA9C55D; S[49] += 0x741831F6;
  S[50] += 0xCE5C3E16; S[51] += 0x9B87931E;
  S[52] += 0xAFD6BA33; S[53] += 0x6C24CF5C;
  S[54] += 0x7A325381; S[55] += 0x28958677;
  S[56] += 0x3B8F4898; S[57] += 0x6B4BB9AF;
  S[58] += 0xC4BFE81B; S[59] += 0x66282193;
  S[60] += 0x61D809CC; S[61] += 0xFB21A991;
  S[62] += 0x487CAC60; S[63] += 0x5DEC8032;
  S[64] += 0xEF845D5D; S[65] += 0xE98575B1;
  S[66] += 0xDC262302; S[67] += 0xEB651B88;
  S[68] += 0x23893E81; S[69] += 0xD396ACC5;
  S[70] += 0x0F6D6FF3; S[71] += 0x83F44239;
  S[72] += 0x2E0B4482; S[73] += 0xA4842004;
  S[74] += 0x69C8F04A; S[75] += 0x9E1F9B5E;
  S[76] += 0x21C66842; S[77] += 0xF6E96C9A;
  S[78] += 0x670C9C61; S[79] += 0xABD388F0;
  S[80] += 0x6A51A0D2; S[81] += 0xD8542F68;
  S[82] += 0x960FA728; S[83] += 0xAB5133A3;
  S[84] += 0x6EEF0B6C; S[85] += 0x137A3BE4;
  S[86] += 0xBA3BF050; S[87] += 0x7EFB2A98;
  S[88] += 0xA1F1651D; S[89] += 0x39AF0176;
  S[90] += 0x66CA593E; S[91] += 0x82430E88;
  S[92] += 0x8CEE8619; S[93] += 0x456F9FB4;
  S[94] += 0x7D84A5C3; S[95] += 0x3B8B5EBE;
  S[96] += 0xE06F75D8; S[97] += 0x85C12073;
  S[98] += 0x401A449F; S[99] += 0x56C16AA6;
  S[100] += 0x4ED3AA62; S[101] += 0x363F7706;
  S[102] += 0x1BFEDF72; S[103] += 0x429B023D;
  S[104] += 0x37D0D724; S[105] += 0xD00A1248;
  S[106] += 0xDB0FEAD3; S[107] += 0x49F1C09B;
  S[108] += 0x075372C9; S[109] += 0x80991B7B;
  S[110] += 0x25D479D8; S[111] += 0xF6E8DEF7;
  S[112] += 0xE3FE501A; S[113] += 0xB6794C3B;
  S[114] += 0x976CE0BD; S[115] += 0x04C006BA;
  S[116] += 0xC1A94FB6; S[117] += 0x409F60C4;
  S[118] += 0x5E5C9EC2; S[119] += 0x196A2463;
  S[120] += 0x68FB6FAF; S[121] += 0x3E6C53B5;
  S[122] += 0x1339B2EB; S[123] += 0x3B52EC6F;
  S[124] += 0x6DFC511F; S[125] += 0x9B30952C;
  S[126] += 0xCC814544; S[127] += 0xAF5EBD09;
  S[128] += 0xBEE3D004; S[129] += 0xDE334AFD;
  S[130] += 0x660F2807; S[131] += 0x192E4BB3;
  S[132] += 0xC0CBA857; S[133] += 0x45C8740F;
  S[134] += 0xD20B5F39; S[135] += 0xB9D3FBDB;
  S[136] += 0x5579C0BD; S[137] += 0x1A60320A;
  S[138] += 0xD6A100C6; S[139] += 0x402C7279;
  S[140] += 0x679F25FE; S[141] += 0xFB1FA3CC;
  S[142] += 0x8EA5E9F8; S[143] += 0xDB3222F8;
  S[144] += 0x3C7516DF; S[145] += 0xFD616B15;
  S[146] += 0x2F501EC8; S[147] += 0xAD0552AB;
  S[148] += 0x323DB5FA; S[149] += 0xFD238760;
  S[150] += 0x53317B48; S[151] += 0x3E00DF82;
  S[152] += 0x9E5C57BB; S[153] += 0xCA6F8CA0;
  S[154] += 0x1A87562E; S[155] += 0xDF1769DB;
  S[156] += 0xD542A8F6; S[157] += 0x287EFFC3;
  S[158] += 0xAC6732C6; S[159] += 0x8C4F5573;
  S[160] += 0x695B27B0; S[161] += 0xBBCA58C8;
  S[162] += 0xE1FFA35D; S[163] += 0xB8F011A0;
  S[164] += 0x10FA3D98; S[165] += 0xFD2183B8;
  S[166] += 0x4AFCB56C; S[167] += 0x2DD1D35B;
  S[168] += 0x9A53E479; S[169] += 0xB6F84565;
  S[170] += 0xD28E49BC; S[171] += 0x4BFB9790;
  S[172] += 0xE1DDF2DA; S[173] += 0xA4CB7E33;
  S[174] += 0x62FB1341; S[175] += 0xCEE4C6E8;
  S[176] += 0xEF20CADA; S[177] += 0x36774C01;
  S[178] += 0xD07E9EFE; S[179] += 0x2BF11FB4;
  S[180] += 0x95DBDA4D; S[181] += 0xAE909198;
  S[182] += 0xEAAD8E71; S[183] += 0x6B93D5A0;
  S[184] += 0xD08ED1D0; S[185] += 0xAFC725E0;
  S[186] += 0x8E3C5B2F; S[187] += 0x8E7594B7;
  S[188] += 0x8FF6E2FB; S[189] += 0xF2122B64;
  S[190] += 0x8888B812; S[191] += 0x900DF01C;
  S[192] += 0x4FAD5EA0; S[193] += 0x688FC31C;
  S[194] += 0xD1CFF191; S[195] += 0xB3A8C1AD;
  S[196] += 0x2F2F2218; S[197] += 0xBE0E1777;
  S[198] += 0xEA752DFE; S[199] += 0x8B021FA1;
  S[200] += 0xE5A0CC0F; S[201] += 0xB56F74E8;
  S[202] += 0x18ACF3D6; S[203] += 0xCE89E299;
  S[204] += 0xB4A84FE0; S[205] += 0xFD13E0B7;
  S[206] += 0x7CC43B81; S[207] += 0xD2ADA8D9;
  S[208] += 0x165FA266; S[209] += 0x80957705;
  S[210] += 0x93CC7314; S[211] += 0x211A1477;
  S[212] += 0xE6AD2065; S[213] += 0x77B5FA86;
  S[214] += 0xC75442F5; S[215] += 0xFB9D35CF;
  S[216] += 0xEBCDAF0C; S[217] += 0x7B3E89A0;
  S[218] += 0xD6411BD3; S[219] += 0xAE1E7E49;
  S[220] += 0x00250E2D; S[221] += 0x2071B35E;
  S[222] += 0x226800BB; S[223] += 0x57B8E0AF;
  S[224] += 0x2464369B; S[225] += 0xF009B91E;
  S[226] += 0x5563911D; S[227] += 0x59DFA6AA;
  S[228] += 0x78C14389; S[229] += 0xD95A537F;
  S[230] += 0x207D5BA2; S[231] += 0x02E5B9C5;
  S[232] += 0x83260376; S[233] += 0x6295CFA9;
  S[234] += 0x11C81968; S[235] += 0x4E734A41;
  S[236] += 0xB3472DCA; S[237] += 0x7B14A94A;
  S[238] += 0x1B510052; S[239] += 0x9A532915;
  S[240] += 0xD60F573F; S[241] += 0xBC9BC6E4;
  S[242] += 0x2B60A476; S[243] += 0x81E67400;
  S[244] += 0x08BA6FB5; S[245] += 0x571BE91F;
  S[246] += 0xF296EC6B; S[247] += 0x2A0DD915;
  S[248] += 0xB6636521; S[249] += 0xE7B9F9B6;
  S[250] += 0xFF34052E; S[251] += 0xC5855664;
  S[252] += 0x53B02D5D; S[253] += 0xA99F8FA1;
  S[254] += 0x08BA4799; S[255] += 0x6E85076A;
  S[256] += 0x4B7A70E9; S[257] += 0xB5B32944;
  S[258] += 0xDB75092E; S[259] += 0xC4192623;
  S[260] += 0xAD6EA6B0; S[261] += 0x49A7DF7D;
  S[262] += 0x9CEE60B8; S[263] += 0x8FEDB266;
  S[264] += 0xECAA8C71; S[265] += 0x699A17FF;
  S[266] += 0x5664526C; S[267] += 0xC2B19EE1;
  S[268] += 0x193602A5; S[269] += 0x75094C29;
  S[270] += 0xA0591340; S[271] += 0xE4183A3E;
  S[272] += 0x3F54989A; S[273] += 0x5B429D65;
  S[274] += 0x6B8FE4D6; S[275] += 0x99F73FD6;
  S[276] += 0xA1D29C07; S[277] += 0xEFE830F5;
  S[278] += 0x4D2D38E6; S[279] += 0xF0255DC1;
  S[280] += 0x4CDD2086; S[281] += 0x8470EB26;
  S[282] += 0x6382E9C6; S[283] += 0x021ECC5E;
  S[284] += 0x09686B3F; S[285] += 0x3EBAEFC9;
  S[286] += 0x3C971814; S[287] += 0x6B6A70A1;
  S[288] += 0x687F3584; S[289] += 0x52A0E286;
  S[290] += 0xB79C5305; S[291] += 0xAA500737;
  S[292] += 0x3E07841C; S[293] += 0x7FDEAE5C;
  S[294] += 0x8E7D44EC; S[295] += 0x5716F2B8;
  S[296] += 0xB03ADA37; S[297] += 0xF0500C0D;
  S[298] += 0xF01C1F04; S[299] += 0x0200B3FF;
  S[300] += 0xAE0CF51A; S[301] += 0x3CB574B2;
  S[302] += 0x25837A58; S[303] += 0xDC0921BD;
  S[304] += 0xD19113F9; S[305] += 0x7CA92FF6;
  S[306] += 0x94324773; S[307] += 0x22F54701;
  S[308] += 0x3AE5E581; S[309] += 0x37C2DADC;
  S[310] += 0xC8B57634; S[311] += 0x9AF3DDA7;
  S[312] += 0xA9446146; S[313] += 0x0FD0030E;
  S[314] += 0xECC8C73E; S[315] += 0xA4751E41;
  S[316] += 0xE238CD99; S[317] += 0x3BEA0E2F;
  S[318] += 0x3280BBA1; S[319] += 0x183EB331;
  S[320] += 0x4E548B38; S[321] += 0x4F6DB908;
  S[322] += 0x6F420D03; S[323] += 0xF60A04BF;
  S[324] += 0x2CB81290; S[325] += 0x24977C79;
  S[326] += 0x5679B072; S[327] += 0xBCAF89AF;
  S[328] += 0xDE9A771F; S[329] += 0xD9930810;
  S[330] += 0xB38BAE12; S[331] += 0xDCCF3F2E;
  S[332] += 0x5512721F; S[333] += 0x2E6B7124;
  S[334] += 0x501ADDE6; S[335] += 0x9F84CD87;
  S[336] += 0x7A584718; S[337] += 0x7408DA17;
  S[338] += 0xBC9F9ABC; S[339] += 0xE94B7D8C;
  S[340] += 0xEC7AEC3A; S[341] += 0xDB851DFA;
  S[342] += 0x63094366; S[343] += 0xC464C3D2;
  S[344] += 0xEF1C1847; S[345] += 0x3215D908;
  S[346] += 0xDD433B37; S[347] += 0x24C2BA16;
  S[348] += 0x12A14D43; S[349] += 0x2A65C451;
  S[350] += 0x50940002; S[351] += 0x133AE4DD;
  S[352] += 0x71DFF89E; S[353] += 0x10314E55;
  S[354] += 0x81AC77D6; S[355] += 0x5F11199B;
  S[356] += 0x043556F1; S[357] += 0xD7A3C76B;
  S[358] += 0x3C11183B; S[359] += 0x5924A509;
  S[360] += 0xF28FE6ED; S[361] += 0x97F1FBFA;
  S[362] += 0x9EBABF2C; S[363] += 0x1E153C6E;
  S[364] += 0x86E34570; S[365] += 0xEAE96FB1;
  S[366] += 0x860E5E0A; S[367] += 0x5A3E2AB3;
  S[368] += 0x771FE71C; S[369] += 0x4E3D06FA;
  S[370] += 0x2965DCB9; S[371] += 0x99E71D0F;
  S[372] += 0x803E89D6; S[373] += 0x5266C825;
  S[374] += 0x2E4CC978; S[375] += 0x9C10B36A;
  S[376] += 0xC6150EBA; S[377] += 0x94E2EA78;
  S[378] += 0xA5FC3C53; S[379] += 0x1E0A2DF4;
  S[380] += 0xF2F74EA7; S[381] += 0x361D2B3D;
  S[382] += 0x1939260F; S[383] += 0x19C27960;
  S[384] += 0x5223A708; S[385] += 0xF71312B6;
  S[386] += 0xEBADFE6E; S[387] += 0xEAC31F66;
  S[388] += 0xE3BC4595; S[389] += 0xA67BC883;
  S[390] += 0xB17F37D1; S[391] += 0x018CFF28;
  S[392] += 0xC332DDEF; S[393] += 0xBE6C5AA5;
  S[394] += 0x65582185; S[395] += 0x68AB9802;
  S[396] += 0xEECEA50F; S[397] += 0xDB2F953B;
  S[398] += 0x2AEF7DAD; S[399] += 0x5B6E2F84;
  S[400] += 0x1521B628; S[401] += 0x29076170;
  S[402] += 0xECDD4775; S[403] += 0x619F1510;
  S[404] += 0x13CCA830; S[405] += 0xEB61BD96;
  S[406] += 0x0334FE1E; S[407] += 0xAA0363CF;
  S[408] += 0xB5735C90; S[409] += 0x4C70A239;
  S[410] += 0xD59E9E0B; S[411] += 0xCBAADE14;
  S[412] += 0xEECC86BC; S[413] += 0x60622CA7;
  S[414] += 0x9CAB5CAB; S[415] += 0xB2F3846E;
  S[416] += 0x648B1EAF; S[417] += 0x19BDF0CA;
  S[418] += 0xA02369B9; S[419] += 0x655ABB50;
  S[420] += 0x40685A32; S[421] += 0x3C2AB4B3;
  S[422] += 0x319EE9D5; S[423] += 0xC021B8F7;
  S[424] += 0x9B540B19; S[425] += 0x875FA099;
  S[426] += 0x95F7997E; S[427] += 0x623D7DA8;
  S[428] += 0xF837889A; S[429] += 0x97E32D77;
  S[430] += 0x11ED935F; S[431] += 0x16681281;
  S[432] += 0x0E358829; S[433] += 0xC7E61FD6;
  S[434] += 0x96DEDFA1; S[435] += 0x7858BA99;
  S[436] += 0x57F584A5; S[437] += 0x1B227263;
  S[438] += 0x9B83C3FF; S[439] += 0x1AC24696;
  S[440] += 0xCDB30AEB; S[441] += 0x532E3054;
  S[442] += 0x8FD948E4; S[443] += 0x6DBC3128;
  S[444] += 0x58EBF2EF; S[445] += 0x34C6FFEA;
  S[446] += 0xFE28ED61; S[447] += 0xEE7C3C73;
  S[448] += 0x5D4A14D9; S[449] += 0xE864B7E3;
  S[450] += 0x42105D14; S[451] += 0x203E13E0;
  S[452] += 0x45EEE2B6; S[453] += 0xA3AAABEA;
  S[454] += 0xDB6C4F15; S[455] += 0xFACB4FD0;
  S[456] += 0xC742F442; S[457] += 0xEF6ABBB5;
  S[458] += 0x654F3B1D; S[459] += 0x41CD2105;
  S[460] += 0xD81E799E; S[461] += 0x86854DC7;
  S[462] += 0xE44B476A; S[463] += 0x3D816250;
  S[464] += 0xCF62A1F2; S[465] += 0x5B8D2646;
  S[466] += 0xFC8883A0; S[467] += 0xC1C7B6A3;
  S[468] += 0x7F1524C3; S[469] += 0x69CB7492;
  S[470] += 0x47848A0B; S[471] += 0x5692B285;
  S[472] += 0x095BBF00; S[473] += 0xAD19489D;
  S[474] += 0x1462B174; S[475] += 0x23820E00;
  S[476] += 0x58428D2A; S[477] += 0x0C55F5EA;
  S[478] += 0x1DADF43E; S[479] += 0x233F7061;
  S[480] += 0x3372F092; S[481] += 0x8D937E41;
  S[482] += 0xD65FECF1; S[483] += 0x6C223BDB;
  S[484] += 0x7CDE3759; S[485] += 0xCBEE7460;
  S[486] += 0x4085F2A7; S[487] += 0xCE77326E;
  S[488] += 0xA6078084; S[489] += 0x19F8509E;
  S[490] += 0xE8EFD855; S[491] += 0x61D99735;
  S[492] += 0xA969A7AA; S[493] += 0xC50C06C2;
  S[494] += 0x5A04ABFC; S[495] += 0x800BCADC;
  S[496] += 0x9E447A2E; S[497] += 0xC3453484;
  S[498] += 0xFDD56705; S[499] += 0x0E1E9EC9;
  S[500] += 0xDB73DBD3; S[501] += 0x105588CD;
  S[502] += 0x675FDA79; S[503] += 0xE3674340;
  S[504] += 0xC5C43465; S[505] += 0x713E38D8;
  S[506] += 0x3D28F89E; S[507] += 0xF16DFF20;
  S[508] += 0x153E21E7; S[509] += 0x8FB03D4A;
  S[510] += 0xE6E39F2B; S[511] += 0xDB83ADF7;
  S[512] += 0xE93D5A68; S[513] += 0x948140F7;
  S[514] += 0xF64C261C; S[515] += 0x94692934;
  S[516] += 0x411520F7; S[517] += 0x7602D4F7;
  S[518] += 0xBCF46B2E; S[519] += 0xD4A20068;
  S[520] += 0xD4082471; S[521] += 0x3320F46A;
  S[522] += 0x43B7D4B7; S[523] += 0x500061AF;
  S[524] += 0x1E39F62E; S[525] += 0x97244546;
  S[526] += 0x14214F74; S[527] += 0xBF8B8840;
  S[528] += 0x4D95FC1D; S[529] += 0x96B591AF;
  S[530] += 0x70F4DDD3; S[531] += 0x66A02F45;
  S[532] += 0xBFBC09EC; S[533] += 0x03BD9785;
  S[534] += 0x7FAC6DD0; S[535] += 0x31CB8504;
  S[536] += 0x96EB27B3; S[537] += 0x55FD3941;
  S[538] += 0xDA2547E6; S[539] += 0xABCA0A9A;
  S[540] += 0x28507825; S[541] += 0x530429F4;
  S[542] += 0x0A2C86DA; S[543] += 0xE9B66DFB;
  S[544] += 0x68DC1462; S[545] += 0xD7486900;
  S[546] += 0x680EC0A4; S[547] += 0x27A18DEE;
  S[548] += 0x4F3FFEA2; S[549] += 0xE887AD8C;
  S[550] += 0xB58CE006; S[551] += 0x7AF4D6B6;
  S[552] += 0xAACE1E7C; S[553] += 0xD3375FEC;
  S[554] += 0xCE78A399; S[555] += 0x406B2A42;
  S[556] += 0x20FE9E35; S[557] += 0xD9F385B9;
  S[558] += 0xEE39D7AB; S[559] += 0x3B124E8B;
  S[560] += 0x1DC9FAF7; S[561] += 0x4B6D1856;
  S[562] += 0x26A36631; S[563] += 0xEAE397B2;
  S[564] += 0x3A6EFA74; S[565] += 0xDD5B4332;
  S[566] += 0x6841E7F7; S[567] += 0xCA7820FB;
  S[568] += 0xFB0AF54E; S[569] += 0xD8FEB397;
  S[570] += 0x454056AC; S[571] += 0xBA489527;
  S[572] += 0x55533A3A; S[573] += 0x20838D87;
  S[574] += 0xFE6BA9B7; S[575] += 0xD096954B;
  S[576] += 0x55A867BC; S[577] += 0xA1159A58;
  S[578] += 0xCCA92963; S[579] += 0x99E1DB33;
  S[580] += 0xA62A4A56; S[581] += 0x3F3125F9;
  S[582] += 0x5EF47E1C; S[583] += 0x9029317C;
  S[584] += 0xFDF8E802; S[585] += 0x04272F70;
  S[586] += 0x80BB155C; S[587] += 0x05282CE3;
  S[588] += 0x95C11548; S[589] += 0xE4C66D22;
  S[590] += 0x48C1133F; S[591] += 0xC70F86DC;
  S[592] += 0x07F9C9EE; S[593] += 0x41041F0F;
  S[594] += 0x404779A4; S[595] += 0x5D886E17;
  S[596] += 0x325F51EB; S[597] += 0xD59BC0D1;
  S[598] += 0xF2BCC18F; S[599] += 0x41113564;
  S[600] += 0x257B7834; S[601] += 0x602A9C60;
  S[602] += 0xDFF8E8A3; S[603] += 0x1F636C1B;
  S[604] += 0x0E12B4C2; S[605] += 0x02E1329E;
  S[606] += 0xAF664FD1; S[607] += 0xCAD18115;
  S[608] += 0x6B2395E0; S[609] += 0x333E92E1;
  S[610] += 0x3B240B62; S[611] += 0xEEBEB922;
  S[612] += 0x85B2A20E; S[613] += 0xE6BA0D99;
  S[614] += 0xDE720C8C; S[615] += 0x2DA2F728;
  S[616] += 0xD0127845; S[617] += 0x95B794FD;
  S[618] += 0x647D0862; S[619] += 0xE7CCF5F0;
  S[620] += 0x5449A36F; S[621] += 0x877D48FA;
  S[622] += 0xC39DFD27; S[623] += 0xF33E8D1E;
  S[624] += 0x0A476341; S[625] += 0x992EFF74;
  S[626] += 0x3A6F6EAB; S[627] += 0xF4F8FD37;
  S[628] += 0xA812DC60; S[629] += 0xA1EBDDF8;
  S[630] += 0x991BE14C; S[631] += 0xDB6E6B0D;
  S[632] += 0xC67B5510; S[633] += 0x6D672C37;
  S[634] += 0x2765D43B; S[635] += 0xDCD0E804;
  S[636] += 0xF1290DC7; S[637] += 0xCC00FFA3;
  S[638] += 0xB5390F92; S[639] += 0x690FED0B;
  S[640] += 0x667B9FFB; S[641] += 0xCEDB7D9C;
  S[642] += 0xA091CF0B; S[643] += 0xD9155EA3;
  S[644] += 0xBB132F88; S[645] += 0x515BAD24;
  S[646] += 0x7B9479BF; S[647] += 0x763BD6EB;
  S[648] += 0x37392EB3; S[649] += 0xCC115979;
  S[650] += 0x8026E297; S[651] += 0xF42E312D;
  S[652] += 0x6842ADA7; S[653] += 0xC66A2B3B;
  S[654] += 0x12754CCC; S[655] += 0x782EF11C;
  S[656] += 0x6A124237; S[657] += 0xB79251E7;
  S[658] += 0x06A1BBE6; S[659] += 0x4BFB6350;
  S[660] += 0x1A6B1018; S[661] += 0x11CAEDFA;
  S[662] += 0x3D25BDD8; S[663] += 0xE2E1C3C9;
  S[664] += 0x44421659; S[665] += 0x0A121386;
  S[666] += 0xD90CEC6E; S[667] += 0xD5ABEA2A;
  S[668] += 0x64AF674E; S[669] += 0xDA86A85F;
  S[670] += 0xBEBFE988; S[671] += 0x64E4C3FE;
  S[672] += 0x9DBC8057; S[673] += 0xF0F7C086;
  S[674] += 0x60787BF8; S[675] += 0x6003604D;
  S[676] += 0xD1FD8346; S[677] += 0xF6381FB0;
  S[678] += 0x7745AE04; S[679] += 0xD736FCCC;
  S[680] += 0x83426B33; S[681] += 0xF01EAB71;
  S[682] += 0xB0804187; S[683] += 0x3C005E5F;
  S[684] += 0x77A057BE; S[685] += 0xBDE8AE24;
  S[686] += 0x55464299; S[687] += 0xBF582E61;
  S[688] += 0x4E58F48F; S[689] += 0xF2DDFDA2;
  S[690] += 0xF474EF38; S[691] += 0x8789BDC2;
  S[692] += 0x5366F9C3; S[693] += 0xC8B38E74;
  S[694] += 0xB475F255; S[695] += 0x46FCD9B9;
  S[696] += 0x7AEB2661; S[697] += 0x8B1DDF84;
  S[698] += 0x846A0E79; S[699] += 0x915F95E2;
  S[700] += 0x466E598E; S[701] += 0x20B45770;
  S[702] += 0x8CD55591; S[703] += 0xC902DE4C;
  S[704] += 0xB90BACE1; S[705] += 0xBB8205D0;
  S[706] += 0x11A86248; S[707] += 0x7574A99E;
  S[708] += 0xB77F19B6; S[709] += 0xE0A9DC09;
  S[710] += 0x662D09A1; S[711] += 0xC4324633;
  S[712] += 0xE85A1F02; S[713] += 0x09F0BE8C;
  S[714] += 0x4A99A025; S[715] += 0x1D6EFE10;
  S[716] += 0x1AB93D1D; S[717] += 0x0BA5A4DF;
  S[718] += 0xA186F20F; S[719] += 0x2868F169;
  S[720] += 0xDCB7DA83; S[721] += 0x573906FE;
  S[722] += 0xA1E2CE9B; S[723] += 0x4FCD7F52;
  S[724] += 0x50115E01; S[725] += 0xA70683FA;
  S[726] += 0xA002B5C4; S[727] += 0x0DE6D027;
  S[728] += 0x9AF88C27; S[729] += 0x773F8641;
  S[730] += 0xC3604C06; S[731] += 0x61A806B5;
  S[732] += 0xF0177A28; S[733] += 0xC0F586E0;
  S[734] += 0x006058AA; S[735] += 0x30DC7D62;
  S[736] += 0x11E69ED7; S[737] += 0x2338EA63;
  S[738] += 0x53C2DD94; S[739] += 0xC2C21634;
  S[740] += 0xBBCBEE56; S[741] += 0x90BCB6DE;
  S[742] += 0xEBFC7DA1; S[743] += 0xCE591D76;
  S[744] += 0x6F05E409; S[745] += 0x4B7C0188;
  S[746] += 0x39720A3D; S[747] += 0x7C927C24;
  S[748] += 0x86E3725F; S[749] += 0x724D9DB9;
  S[750] += 0x1AC15BB4; S[751] += 0xD39EB8FC;
  S[752] += 0xED545578; S[753] += 0x08FCA5B5;
  S[754] += 0xD83D7CD3; S[755] += 0x4DAD0FC4;
  S[756] += 0x1E50EF5E; S[757] += 0xB161E6F8;
  S[758] += 0xA28514D9; S[759] += 0x6C51133C;
  S[760] += 0x6FD5C7E7; S[761] += 0x56E14EC4;
  S[762] += 0x362ABFCE; S[763] += 0xDDC6C837;
  S[764] += 0xD79A3234; S[765] += 0x92638212;
  S[766] += 0x670EFA8E; S[767] += 0x406000E0;
  S[768] += 0x3A39CE37; S[769] += 0xD3FAF5CF;
  S[770] += 0xABC27737; S[771] += 0x5AC52D1B;
  S[772] += 0x5CB0679E; S[773] += 0x4FA33742;
  S[774] += 0xD3822740; S[775] += 0x99BC9BBE;
  S[776] += 0xD5118E9D; S[777] += 0xBF0F7315;
  S[778] += 0xD62D1C7E; S[779] += 0xC700C47B;
  S[780] += 0xB78C1B6B; S[781] += 0x21A19045;
  S[782] += 0xB26EB1BE; S[783] += 0x6A366EB4;
  S[784] += 0x5748AB2F; S[785] += 0xBC946E79;
  S[786] += 0xC6A376D2; S[787] += 0x6549C2C8;
  S[788] += 0x530FF8EE; S[789] += 0x468DDE7D;
  S[790] += 0xD5730A1D; S[791] += 0x4CD04DC6;
  S[792] += 0x2939BBDB; S[793] += 0xA9BA4650;
  S[794] += 0xAC9526E8; S[795] += 0xBE5EE304;
  S[796] += 0xA1FAD5F0; S[797] += 0x6A2D519A;
  S[798] += 0x63EF8CE2; S[799] += 0x9A86EE22;
  S[800] += 0xC089C2B8; S[801] += 0x43242EF6;
  S[802] += 0xA51E03AA; S[803] += 0x9CF2D0A4;
  S[804] += 0x83C061BA; S[805] += 0x9BE96A4D;
  S[806] += 0x8FE51550; S[807] += 0xBA645BD6;
  S[808] += 0x2826A2F9; S[809] += 0xA73A3AE1;
  S[810] += 0x4BA99586; S[811] += 0xEF5562E9;
  S[812] += 0xC72FEFD3; S[813] += 0xF752F7DA;
  S[814] += 0x3F046F69; S[815] += 0x77FA0A59;
  S[816] += 0x80E4A915; S[817] += 0x87B08601;
  S[818] += 0x9B09E6AD; S[819] += 0x3B3EE593;
  S[820] += 0xE990FD5A; S[821] += 0x9E34D797;
  S[822] += 0x2CF0B7D9; S[823] += 0x022B8B51;
  S[824] += 0x96D5AC3A; S[825] += 0x017DA67D;
  S[826] += 0xD1CF3ED6; S[827] += 0x7C7D2D28;
  S[828] += 0x1F9F25CF; S[829] += 0xADF2B89B;
  S[830] += 0x5AD6B472; S[831] += 0x5A88F54C;
  S[832] += 0xE029AC71; S[833] += 0xE019A5E6;
  S[834] += 0x47B0ACFD; S[835] += 0xED93FA9B;
  S[836] += 0xE8D3C48D; S[837] += 0x283B57CC;
  S[838] += 0xF8D56629; S[839] += 0x79132E28;
  S[840] += 0x785F0191; S[841] += 0xED756055;
  S[842] += 0xF7960E44; S[843] += 0xE3D35E8C;
  S[844] += 0x15056DD4; S[845] += 0x88F46DBA;
  S[846] += 0x03A16125; S[847] += 0x0564F0BD;
  S[848] += 0xC3EB9E15; S[849] += 0x3C9057A2;
  S[850] += 0x97271AEC; S[851] += 0xA93A072A;
  S[852] += 0x1B3F6D9B; S[853] += 0x1E6321F5;
  S[854] += 0xF59C66FB; S[855] += 0x26DCF319;
  S[856] += 0x7533D928; S[857] += 0xB155FDF5;
  S[858] += 0x03563482; S[859] += 0x8ABA3CBB;
  S[860] += 0x28517711; S[861] += 0xC20AD9F8;
  S[862] += 0xABCC5167; S[863] += 0xCCAD925F;
  S[864] += 0x4DE81751; S[865] += 0x3830DC8E;
  S[866] += 0x379D5862; S[867] += 0x9320F991;
  S[868] += 0xEA7A90C2; S[869] += 0xFB3E7BCE;
  S[870] += 0x5121CE64; S[871] += 0x774FBE32;
  S[872] += 0xA8B6E37E; S[873] += 0xC3293D46;
  S[874] += 0x48DE5369; S[875] += 0x6413E680;
  S[876] += 0xA2AE0810; S[877] += 0xDD6DB224;
  S[878] += 0x69852DFD; S[879] += 0x09072166;
  S[880] += 0xB39A460A; S[881] += 0x6445C0DD;
  S[882] += 0x586CDECF; S[883] += 0x1C20C8AE;
  S[884] += 0x5BBEF7DD; S[885] += 0x1B588D40;
  S[886] += 0xCCD2017F; S[887] += 0x6BB4E3BB;
  S[888] += 0xDDA26A7E; S[889] += 0x3A59FF45;
  S[890] += 0x3E350A44; S[891] += 0xBCB4CDD5;
  S[892] += 0x72EACEA8; S[893] += 0xFA6484BB;
  S[894] += 0x8D6612AE; S[895] += 0xBF3C6F47;
  S[896] += 0xD29BE463; S[897] += 0x542F5D9E;
  S[898] += 0xAEC2771B; S[899] += 0xF64E6370;
  S[900] += 0x740E0D8D; S[901] += 0xE75B1357;
  S[902] += 0xF8721671; S[903] += 0xAF537D5D;
  S[904] += 0x4040CB08; S[905] += 0x4EB4E2CC;
  S[906] += 0x34D2466A; S[907] += 0x0115AF84;
  S[908] += 0xE1B00428; S[909] += 0x95983A1D;
  S[910] += 0x06B89FB4; S[911] += 0xCE6EA048;
  S[912] += 0x6F3F3B82; S[913] += 0x3520AB82;
  S[914] += 0x011A1D4B; S[915] += 0x277227F8;
  S[916] += 0x611560B1; S[917] += 0xE7933FDC;
  S[918] += 0xBB3A792B; S[919] += 0x344525BD;
  S[920] += 0xA08839E1; S[921] += 0x51CE794B;
  S[922] += 0x2F32C9B7; S[923] += 0xA01FBAC9;
  S[924] += 0xE01CC87E; S[925] += 0xBCC7D1F6;
  S[926] += 0xCF0111C3; S[927] += 0xA1E8AAC7;
  S[928] += 0x1A908749; S[929] += 0xD44FBD9A;
  S[930] += 0xD0DADECB; S[931] += 0xD50ADA38;
  S[932] += 0x0339C32A; S[933] += 0xC6913667;
  S[934] += 0x8DF9317C; S[935] += 0xE0B12B4F;
  S[936] += 0xF79E59B7; S[937] += 0x43F5BB3A;
  S[938] += 0xF2D519FF; S[939] += 0x27D9459C;
  S[940] += 0xBF97222C; S[941] += 0x15E6FC2A;
  S[942] += 0x0F91FC71; S[943] += 0x9B941525;
  S[944] += 0xFAE59361; S[945] += 0xCEB69CEB;
  S[946] += 0xC2A86459; S[947] += 0x12BAA8D1;
  S[948] += 0xB6C1075E; S[949] += 0xE3056A0C;
  S[950] += 0x10D25065; S[951] += 0xCB03A442;
  S[952] += 0xE0EC6E0E; S[953] += 0x1698DB3B;
  S[954] += 0x4C98A0BE; S[955] += 0x3278E964;
  S[956] += 0x9F1F9532; S[957] += 0xE0D392DF;
  S[958] += 0xD3A0342B; S[959] += 0x8971F21E;
  S[960] += 0x1B0A7441; S[961] += 0x4BA3348C;
  S[962] += 0xC5BE7120; S[963] += 0xC37632D8;
  S[964] += 0xDF359F8D; S[965] += 0x9B992F2E;
  S[966] += 0xE60B6F47; S[967] += 0x0FE3F11D;
  S[968] += 0xE54CDA54; S[969] += 0x1EDAD891;
  S[970] += 0xCE6279CF; S[971] += 0xCD3E7E6F;
  S[972] += 0x1618B166; S[973] += 0xFD2C1D05;
  S[974] += 0x848FD2C5; S[975] += 0xF6FB2299;
  S[976] += 0xF523F357; S[977] += 0xA6327623;
  S[978] += 0x93A83531; S[979] += 0x56CCCD02;
  S[980] += 0xACF08162; S[981] += 0x5A75EBB5;
  S[982] += 0x6E163697; S[983] += 0x88D273CC;
  S[984] += 0xDE966292; S[985] += 0x81B949D0;
  S[986] += 0x4C50901B; S[987] += 0x71C65614;
  S[988] += 0xE6C6C7BD; S[989] += 0x327A140A;
  S[990] += 0x45E1D006; S[991] += 0xC3F27B9A;
  S[992] += 0xC9AA53FD; S[993] += 0x62A80F00;
  S[994] += 0xBB25BFE2; S[995] += 0x35BDD2F6;
  S[996] += 0x71126905; S[997] += 0xB2040222;
  S[998] += 0xB6CBCF7C; S[999] += 0xCD769C2B;
  S[1000] += 0x53113EC0; S[1001] += 0x1640E3D3;
  S[1002] += 0x38ABBD60; S[1003] += 0x2547ADF0;
  S[1004] += 0xBA38209C; S[1005] += 0xF746CE76;
  S[1006] += 0x77AFA1C5; S[1007] += 0x20756060;
  S[1008] += 0x85CBFE4E; S[1009] += 0x8AE88DD8;
  S[1010] += 0x7AAAF9B0; S[1011] += 0x4CF9AA7E;
  S[1012] += 0x1948C25C; S[1013] += 0x02FB8A8C;
  S[1014] += 0x01C36AE4; S[1015] += 0xD6EBE1F9;
  S[1016] += 0x90D4F869; S[1017] += 0xA65CDEA0;
  S[1018] += 0x3F09252D; S[1019] += 0xC208E69F;
  S[1020] += 0xB74E6132; S[1021] += 0xCE77E25B;
  S[1022] += 0x578FDFE3; S[1023] += 0x3AC372E6;
}