Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Mistral-2.0 2017-07-28 | SAT | 4.4920902 | 4.5806499 |
Name | DeBruijnSequence/DeBruijnSequence-m1-s1/ DeBruijnSequence-04-05.xml |
MD5SUM | 7198b26315477549e19a49cdd0865ba2 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 4.4920902 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 6148 |
Number of constraints | 5123 |
Number of domains | 3 |
Minimum domain size | 4 |
Maximum domain size | 1025 |
Distribution of domain sizes | [{"size":4,"count":5120},{"size":1024,"count":1024},{"size":1025,"count":4}] |
Minimum variable degree | 1 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":1024},{"degree":3,"count":5120}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 1028 |
Distribution of constraint arities | [{"arity":2,"count":4096},{"arity":6,"count":1024},{"arity":1024,"count":2},{"arity":1028,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 4096 |
Distribution of constraint types | [{"type":"intension","count":4096},{"type":"allDifferent","count":1},{"type":"sum","count":1024},{"type":"cardinality","count":1},{"type":"minimum","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.09 c 280717 4.41/4.56 s SATISFIABLE 4.41/4.56 v <instantiation type="solution"> 4.41/4.56 v <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] bi[0][0] bi[0][1] bi[0][2] bi[0][3] bi[0][4] bi[1][0] bi[1][1] bi[1][2] bi[1][3] bi[1][4] bi[2][0] bi[2][1] bi[2][2] bi[2][3] bi[2][4] bi[3][0] bi[3][1] bi[3][2] bi[3][3] bi[3][4] bi[4][0] bi[4][1] bi[4][2] bi[4][3] bi[4][4] bi[5][0] bi[5][1] bi[5][2] bi[5][3] bi[5][4] bi[6][0] bi[6][1] bi[6][2] bi[6][3] bi[6][4] bi[7][0] bi[7][1] bi[7][2] bi[7][3] bi[7][4] bi[8][0] bi[8][1] bi[8][2] bi[8][3] bi[8][4] bi[9][0] bi[9][1] bi[9][2] bi[9][3] bi[9][4] bi[10][0] bi[10][1] bi[10][2] bi[10][3] bi[10][4] bi[11][0] bi[11][1] bi[11][2] bi[11][3] bi[11][4] bi[12][0] bi[12][1] bi[12][2] bi[12][3] bi[12][4] bi[13][0] bi[13][1] bi[13][2] bi[13][3] bi[13][4] bi[14][0] bi[14][1] bi[14][2] bi[14][3] bi[14][4] bi[15][0] bi[15][1] bi[15][2] bi[15][3] bi[15][4] bi[16][0] bi[16][1] bi[16][2] bi[16][3] bi[16][4] bi[17][0] bi[17][1] bi[17][2] bi[17][3] bi[17][4] bi[18][0] bi[18][1] bi[18][2] bi[18][3] bi[18][4] bi[19][0] bi[19][1] bi[19][2] bi[19][3] bi[19][4] bi[20][0] bi[20][1] bi[20][2] bi[20][3] bi[20][4] bi[21][0] bi[21][1] bi[21][2] bi[21][3] bi[21][4] bi[22][0] bi[22][1] bi[22][2] bi[22][3] bi[22][4] bi[23][0] bi[23][1] bi[23][2] bi[23][3] bi[23][4] bi[24][0] bi[24][1] bi[24][2] bi[24][3] bi[24][4] bi[25][0] bi[25][1] bi[25][2] bi[25][3] bi[25][4] bi[26][0] bi[26][1] bi[26][2] bi[26][3] bi[26][4] bi[27][0] bi[27][1] bi[27][2] bi[27][3] bi[27][4] bi[28][0] bi[28][1] bi[28][2] bi[28][3] bi[28][4] bi[29][0] bi[29][1] bi[29][2] bi[29][3] bi[29][4] bi[30][0] bi[30][1] bi[30][2] bi[30][3] bi[30][4] bi[31][0] bi[31][1] bi[31][2] bi[31][3] bi[31][4] bi[32][0] bi[32][1] bi[32][2] bi[32][3] bi[32][4] bi[33][0] bi[33][1] bi[33][2] bi[33][3] bi[33][4] bi[34][0] bi[34][1] bi[34][2] bi[34][3] bi[34][4] bi[35][0] bi[35][1] bi[35][2] bi[35][3] bi[35][4] bi[36][0] bi[36][1] bi[36][2] bi[36][3] bi[36][4] bi[37][0] bi[37][1] bi[37][2] bi[37][3] bi[37][4] bi[38][0] bi[38][1] bi[38][2] bi[38][3] bi[38][4] bi[39][0] bi[39][1] bi[39][2] bi[39][3] bi[39][4] bi[40][0] bi[40][1] bi[40][2] bi[40][3] bi[40][4] bi[41][0] bi[41][1] bi[41][2] bi[41][3] bi[41][4] bi[42][0] bi[42][1] bi[42][2] bi[42][3] bi[42][4] bi[43][0] bi[43][1] bi[43][2] bi[43][3] bi[43][4] bi[44][0] bi[44][1] bi[44][2] bi[44][3] bi[44][4] bi[45][0] bi[45][1] bi[45][2] bi[45][3] bi[45][4] bi[46][0] bi[46][1] bi[46][2] bi[46][3] bi[46][4] bi[47][0] bi[47][1] bi[47][2] bi[47][3] bi[47][4] bi[48][0] bi[48][1] bi[48][2] bi[48][3] bi[48][4] bi[49][0] bi[49][1] bi[49][2] bi[49][3] bi[49][4] bi[50][0] bi[50][1] bi[50][2] bi[50][3] bi[50][4] bi[51][0] bi[51][1] bi[51][2] bi[51][3] bi[51][4] bi[52][0] bi[52][1] bi[52][2] bi[52][3] bi[52][4] bi[53][0] bi[53][1] bi[53][2] bi[53][3] bi[53][4] bi[54][0] bi[54][1] bi[54][2] bi[54][3] bi[54][4] bi[55][0] bi[55][1] bi[55][2] bi[55][3] bi[55][4] bi[56][0] bi[56][1] bi[56][2] bi[56][3] bi[56][4] bi[57][0] bi[57][1] bi[57][2] bi[57][3] bi[57][4] bi[58][0] bi[58][1] bi[58][2] bi[58][3] bi[58][4] bi[59][0] bi[59][1] bi[59][2] bi[59][3] bi[59][4] bi[60][0] bi[60][1] bi[60][2] bi[60][3] bi[60][4] bi[61][0] bi[61][1] bi[61][2] bi[61][3] bi[61][4] bi[62][0] bi[62][1] bi[62][2] bi[62][3] bi[62][4] bi[63][0] bi[63][1] bi[63][2] bi[63][3] bi[63][4] bi[64][0] bi[64][1] bi[64][2] bi[64][3] bi[64][4] bi[65][0] bi[65][1] bi[65][2] bi[65][3] bi[65][4] bi[66][0] bi[66][1] bi[66][2] bi[66][3] bi[66][4] bi[67][0] bi[67][1] bi[67][2] bi[67][3] bi[67][4] bi[68][0] bi[68][1] bi[68][2] bi[68][3] bi[68][4] bi[69][0] bi[69][1] bi[69][2] bi[69][3] bi[69][4] bi[70][0] bi[70][1] bi[70][2] bi[70][3] bi[70][4] bi[71][0] bi[71][1] bi[71][2] bi[71][3] bi[71][4] bi[72][0] bi[72][1] bi[72][2] bi[72][3] bi[72][4] bi[73][0] bi[73][1] bi[73][2] bi[73][3] bi[73][4] bi[74][0] bi[74][1] bi[74][2] bi[74][3] bi[74][4] bi[75][0] bi[75][1] bi[75][2] bi[75][3] bi[75][4] bi[76][0] bi[76][1] bi[76][2] bi[76][3] bi[76][4] bi[77][0] bi[77][1] bi[77][2] bi[77][3] bi[77][4] bi[78][0] bi[78][1] bi[78][2] bi[78][3] bi[78][4] bi[79][0] bi[79][1] bi[79][2] bi[79][3] bi[79][4] bi[80][0] bi[80][1] bi[80][2] bi[80][3] bi[80][4] bi[81][0] bi[81][1] bi[81][2] bi[81][3] bi[81][4] bi[82][0] bi[82][1] bi[82][2] bi[82][3] bi[82][4] bi[83][0] bi[83][1] bi[83][2] bi[83][3] bi[83][4] bi[84][0] bi[84][1] bi[84][2] bi[84][3] bi[84][4] bi[85][0] bi[85][1] bi[85][2] bi[85][3] bi[85][4] bi[86][0] bi[86][1] bi[86][2] bi[86][3] bi[86][4] bi[87][0] bi[87][1] bi[87][2] bi[87][3] bi[87][4] bi[88][0] bi[88][1] bi[88][2] bi[88][3] bi[88][4] bi[89][0] bi[89][1] bi[89][2] bi[89][3] bi[89][4] bi[90][0] bi[90][1] bi[90][2] bi[90][3] bi[90][4] bi[91][0] bi[91][1] bi[91][2] bi[91][3] bi[91][4] bi[92][0] bi[92][1] bi[92][2] bi[92][3] bi[92][4] bi[93][0] bi[93][1] bi[93][2] bi[93][3] bi[93][4] bi[94][0] bi[94][1] bi[94][2] bi[94][3] bi[94][4] bi[95][0] bi[95][1] bi[95][2] bi[95][3] bi[95][4] bi[96][0] bi[96][1] bi[96][2] bi[96][3] bi[96][4] bi[97][0] bi[97][1] bi[97][2] bi[97][3] bi[97][4] bi[98][0] bi[98][1] bi[98][2] bi[98][3] bi[98][4] bi[99][0] bi[99][1] bi[99][2] bi[99][3] bi[99][4] bi[100][0] bi[100][1] bi[100][2] bi[100][3] bi[100][4] bi[101][0] bi[101][1] bi[101][2] bi[101][3] bi[101][4] bi[102][0] bi[102][1] bi[102][2] bi[102][3] bi[102][4] bi[103][0] bi[103][1] bi[103][2] bi[103][3] bi[103][4] bi[104][0] bi[104][1] bi[104][2] bi[104][3] bi[104][4] bi[105][0] bi[105][1] bi[105][2] bi[105][3] bi[105][4] bi[106][0] bi[106][1] bi[106][2] bi[106][3] bi[106][4] bi[107][0] bi[107][1] bi[107][2] bi[107][3] bi[107][4] bi[108][0] bi[108][1] bi[108][2] bi[108][3] bi[108][4] bi[109][0] bi[109][1] bi[109][2] bi[109][3] bi[109][4] bi[110][0] bi[110][1] bi[110][2] bi[110][3] bi[110][4] bi[111][0] bi[111][1] bi[111][2] bi[111][3] bi[111][4] bi[112][0] bi[112][1] bi[112][2] bi[112][3] bi[112][4] bi[113][0] bi[113][1] bi[113][2] bi[113][3] bi[113][4] bi[114][0] bi[114][1] bi[114][2] bi[114][3] bi[114][4] bi[115][0] bi[115][1] bi[115][2] bi[115][3] bi[115][4] bi[116][0] bi[116][1] bi[116][2] bi[116][3] bi[116][4] bi[117][0] bi[117][1] bi[117][2] bi[117][3] bi[117][4] bi[118][0] bi[118][1] bi[118][2] bi[118][3] bi[118][4] bi[119][0] bi[119][1] bi[119][2] bi[119][3] bi[119][4] bi[120][0] bi[120][1] bi[120][2] bi[120][3] bi[120][4] bi[121][0] bi[121][1] bi[121][2] bi[121][3] bi[121][4] bi[122][0] bi[122][1] bi[122][2] bi[122][3] bi[122][4] bi[123][0] bi[123][1] bi[123][2] bi[123][3] bi[123][4] bi[124][0] bi[124][1] bi[124][2] bi[124][3] bi[124][4] bi[125][0] bi[125][1] bi[125][2] bi[125][3] bi[125][4] bi[126][0] bi[126][1] bi[126][2] bi[126][3] bi[126][4] bi[127][0] bi[127][1] bi[127][2] bi[127][3] bi[127][4] bi[128][0] bi[128][1] bi[128][2] bi[128][3] bi[128][4] bi[129][0] bi[129][1] bi[129][2] bi[129][3] bi[129][4] bi[130][0] bi[130][1] bi[130][2] bi[130][3] bi[130][4] bi[131][0] bi[131][1] bi[131][2] bi[131][3] bi[131][4] bi[132][0] bi[132][1] bi[132][2] bi[132][3] bi[132][4] bi[133][0] bi[133][1] bi[133][2] bi[133][3] bi[133][4] bi[134][0] bi[134][1] bi[134][2] bi[134][3] bi[134][4] bi[135][0] bi[135][1] bi[135][2] bi[135][3] bi[135][4] bi[136][0] bi[136][1] bi[136][2] bi[136][3] bi[136][4] bi[137][0] bi[137][1] bi[137][2] bi[137][3] bi[137][4] bi[138][0] bi[138][1] bi[138][2] bi[138][3] bi[138][4] bi[139][0] bi[139][1] bi[139][2] bi[139][3] bi[139][4] bi[140][0] bi[140][1] bi[140][2] bi[140][3] bi[140][4] bi[141][0] bi[141][1] bi[141][2] bi[141][3] bi[141][4] bi[142][0] bi[142][1] bi[142][2] bi[142][3] bi[142][4] bi[143][0] bi[143][1] bi[143][2] bi[143][3] bi[143][4] bi[144][0] bi[144][1] bi[144][2] bi[144][3] bi[144][4] bi[145][0] bi[145][1] bi[145][2] bi[145][3] bi[145][4] bi[146][0] bi[146][1] bi[146][2] bi[146][3] bi[146][4] bi[147][0] bi[147][1] bi[147][2] bi[147][3] bi[147][4] bi[148][0] bi[148][1] bi[148][2] bi[148][3] bi[148][4] bi[149][0] bi[149][1] bi[149][2] bi[149][3] bi[149][4] bi[150][0] bi[150][1] bi[150][2] bi[150][3] bi[150][4] bi[151][0] bi[151][1] bi[151][2] bi[151][3] bi[151][4] bi[152][0] bi[152][1] bi[152][2] bi[152][3] bi[152][4] bi[153][0] bi[153][1] bi[153][2] bi[153][3] bi[153][4] bi[154][0] bi[154][1] bi[154][2] bi[154][3] bi[154][4] bi[155][0] bi[155][1] bi[155][2] bi[155][3] bi[155][4] bi[156][0] bi[156][1] bi[156][2] bi[156][3] bi[156][4] bi[157][0] bi[157][1] bi[157][2] bi[157][3] bi[157][4] bi[158][0] bi[158][1] bi[158][2] bi[158][3] bi[158][4] bi[159][0] bi[159][1] bi[159][2] bi[159][3] bi[159][4] bi[160][0] bi[160][1] bi[160][2] bi[160][3] bi[160][4] bi[161][0] bi[161][1] bi[161][2] bi[161][3] bi[161][4] bi[162][0] bi[162][1] bi[162][2] bi[162][3] bi[162][4] bi[163][0] bi[163][1] bi[163][2] bi[163][3] bi[163][4] bi[164][0] bi[164][1] bi[164][2] bi[164][3] bi[164][4] bi[165][0] bi[165][1] bi[165][2] bi[165][3] bi[165][4] bi[166][0] bi[166][1] bi[166][2] bi[166][3] bi[166][4] bi[167][0] bi[167][1] bi[167][2] bi[167][3] bi[167][4] bi[168][0] bi[168][1] bi[168][2] bi[168][3] bi[168][4] bi[169][0] bi[169][1] bi[169][2] bi[169][3] bi[169][4] bi[170][0] bi[170][1] bi[170][2] bi[170][3] bi[170][4] bi[171][0] bi[171][1] bi[171][2] bi[171][3] bi[171][4] bi[172][0] bi[172][1] bi[172][2] bi[172][3] bi[172][4] bi[173][0] bi[173][1] bi[173][2] bi[173][3] bi[173][4] bi[174][0] bi[174][1] bi[174][2] bi[174][3] bi[174][4] bi[175][0] bi[175][1] bi[175][2] bi[175][3] bi[175][4] bi[176][0] bi[176][1] bi[176][2] bi[176][3] bi[176][4] bi[177][0] bi[177][1] bi[177][2] bi[177][3] bi[177][4] bi[178][0] bi[178][1] bi[178][2] bi[178][3] bi[178][4] bi[179][0] bi[179][1] bi[179][2] bi[179][3] bi[179][4] bi[180][0] bi[180][1] bi[180][2] bi[180][3] bi[180][4] bi[181][0] bi[181][1] bi[181][2] bi[181][3] bi[181][4] bi[182][0] bi[182][1] bi[182][2] bi[182][3] bi[182][4] bi[183][0] bi[183][1] bi[183][2] bi[183][3] bi[183][4] bi[184][0] bi[184][1] bi[184][2] bi[184][3] bi[184][4] bi[185][0] bi[185][1] bi[185][2] bi[185][3] bi[185][4] bi[186][0] bi[186][1] bi[186][2] bi[186][3] bi[186][4] bi[187][0] bi[187][1] bi[187][2] bi[187][3] bi[187][4] bi[188][0] bi[188][1] bi[188][2] bi[188][3] bi[188][4] bi[189][0] bi[189][1] bi[189][2] bi[189][3] bi[189][4] bi[190][0] bi[190][1] bi[190][2] bi[190][3] bi[190][4] bi[191][0] bi[191][1] bi[191][2] bi[191][3] bi[191][4] bi[192][0] bi[192][1] bi[192][2] bi[192][3] bi[192][4] bi[193][0] bi[193][1] bi[193][2] bi[193][3] bi[193][4] bi[194][0] bi[194][1] bi[194][2] bi[194][3] bi[194][4] bi[195][0] bi[195][1] bi[195][2] bi[195][3] bi[195][4] bi[196][0] bi[196][1] bi[196][2] bi[196][3] bi[196][4] bi[197][0] bi[197][1] bi[197][2] bi[197][3] bi[197][4] bi[198][0] bi[198][1] bi[198][2] bi[198][3] bi[198][4] bi[199][0] bi[199][1] bi[199][2] bi[199][3] bi[199][4] bi[200][0] bi[200][1] bi[200][2] bi[200][3] bi[200][4] bi[201][0] bi[201][1] bi[201][2] bi[201][3] bi[201][4] bi[202][0] bi[202][1] bi[202][2] bi[202][3] bi[202][4] bi[203][0] bi[203][1] bi[203][2] bi[203][3] bi[203][4] bi[204][0] bi[204][1] bi[204][2] bi[204][3] bi[204][4] bi[205][0] bi[205][1] bi[205][2] bi[205][3] bi[205][4] bi[206][0] bi[206][1] bi[206][2] bi[206][3] bi[206][4] bi[207][0] bi[207][1] bi[207][2] bi[207][3] bi[207][4] bi[208][0] bi[208][1] bi[208][2] bi[208][3] bi[208][4] bi[209][0] bi[209][1] bi[209][2] bi[209][3] bi[209][4] bi[210][0] bi[210][1] bi[210][2] bi[210][3] bi[210][4] bi[211][0] bi[211][1] bi[211][2] bi[211][3] bi[211][4] bi[212][0] bi[212][1] bi[212][2] bi[212][3] bi[212][4] bi[213][0] bi[213][1] bi[213][2] bi[213][3] bi[213][4] bi[214][0] bi[214][1] bi[214][2] bi[214][3] bi[214][4] bi[215][0] bi[215][1] bi[215][2] bi[215][3] bi[215][4] bi[216][0] bi[216][1] bi[216][2] bi[216][3] bi[216][4] bi[217][0] bi[217][1] bi[217][2] bi[217][3] bi[217][4] bi[218][0] bi[218][1] bi[218][2] bi[218][3] bi[218][4] bi[219][0] bi[219][1] bi[219][2] bi[219][3] bi[219][4] bi[220][0] bi[220][1] bi[220][2] bi[220][3] bi[220][4] bi[221][0] bi[221][1] bi[221][2] bi[221][3] bi[221][4] bi[222][0] bi[222][1] bi[222][2] bi[222][3] bi[222][4] bi[223][0] bi[223][1] bi[223][2] bi[223][3] bi[223][4] bi[224][0] bi[224][1] bi[224][2] bi[224][3] bi[224][4] bi[225][0] bi[225][1] bi[225][2] bi[225][3] bi[225][4] bi[226][0] bi[226][1] bi[226][2] bi[226][3] bi[226][4] bi[227][0] bi[227][1] bi[227][2] bi[227][3] bi[227][4] bi[228][0] bi[228][1] bi[228][2] bi[228][3] bi[228][4] bi[229][0] bi[229][1] bi[229][2] bi[229][3] bi[229][4] bi[230][0] bi[230][1] bi[230][2] bi[230][3] bi[230][4] bi[231][0] bi[231][1] bi[231][2] bi[231][3] bi[231][4] bi[232][0] bi[232][1] bi[232][2] bi[232][3] bi[232][4] bi[233][0] bi[233][1] bi[233][2] bi[233][3] bi[233][4] bi[234][0] bi[234][1] bi[234][2] bi[234][3] bi[234][4] bi[235][0] bi[235][1] bi[235][2] bi[235][3] bi[235][4] bi[236][0] bi[236][1] bi[236][2] bi[236][3] bi[236][4] bi[237][0] bi[237][1] bi[237][2] bi[237][3] bi[237][4] bi[238][0] bi[238][1] bi[238][2] bi[238][3] bi[238][4] bi[239][0] bi[239][1] bi[239][2] bi[239][3] bi[239][4] bi[240][0] bi[240][1] bi[240][2] bi[240][3] bi[240][4] bi[241][0] bi[241][1] bi[241][2] bi[241][3] bi[241][4] bi[242][0] bi[242][1] bi[242][2] bi[242][3] bi[242][4] bi[243][0] bi[243][1] bi[243][2] bi[243][3] bi[243][4] bi[244][0] bi[244][1] bi[244][2] bi[244][3] bi[244][4] bi[245][0] bi[245][1] bi[245][2] bi[245][3] bi[245][4] bi[246][0] bi[246][1] bi[246][2] bi[246][3] bi[246][4] bi[247][0] bi[247][1] bi[247][2] bi[247][3] bi[247][4] bi[248][0] bi[248][1] bi[248][2] bi[248][3] bi[248][4] bi[249][0] bi[249][1] bi[249][2] bi[249][3] bi[249][4] bi[250][0] bi[250][1] bi[250][2] bi[250][3] bi[250][4] bi[251][0] bi[251][1] bi[251][2] bi[251][3] bi[251][4] bi[252][0] bi[252][1] bi[252][2] bi[252][3] bi[252][4] bi[253][0] bi[253][1] bi[253][2] bi[253][3] bi[253][4] bi[254][0] bi[254][1] bi[254][2] bi[254][3] bi[254][4] bi[255][0] bi[255][1] bi[255][2] bi[255][3] bi[255][4] bi[256][0] bi[256][1] bi[256][2] bi[256][3] bi[256][4] bi[257][0] bi[257][1] bi[257][2] bi[257][3] bi[257][4] bi[258][0] bi[258][1] bi[258][2] bi[258][3] bi[258][4] bi[259][0] bi[259][1] bi[259][2] bi[259][3] bi[259][4] bi[260][0] bi[260][1] bi[260][2] bi[260][3] bi[260][4] bi[261][0] bi[261][1] bi[261][2] bi[261][3] bi[261][4] bi[262][0] bi[262][1] bi[262][2] bi[262][3] bi[262][4] bi[263][0] bi[263][1] bi[263][2] bi[263][3] bi[263][4] bi[264][0] bi[264][1] bi[264][2] bi[264][3] bi[264][4] bi[265][0] bi[265][1] bi[265][2] bi[265][3] bi[265][4] bi[266][0] bi[266][1] bi[266][2] bi[266][3] bi[266][4] bi[267][0] bi[267][1] bi[267][2] bi[267][3] bi[267][4] bi[268][0] bi[268][1] bi[268][2] bi[268][3] bi[268][4] bi[269][0] bi[269][1] bi[269][2] bi[269][3] bi[269][4] bi[270][0] bi[270][1] bi[270][2] bi[270][3] bi[270][4] bi[271][0] bi[271][1] bi[271][2] bi[271][3] bi[271][4] bi[272][0] bi[272][1] bi[272][2] bi[272][3] bi[272][4] bi[273][0] bi[273][1] bi[273][2] bi[273][3] bi[273][4] bi[274][0] bi[274][1] bi[274][2] bi[274][3] bi[274][4] bi[275][0] bi[275][1] bi[275][2] bi[275][3] bi[275][4] bi[276][0] bi[276][1] bi[276][2] bi[276][3] bi[276][4] bi[277][0] bi[277][1] bi[277][2] bi[277][3] bi[277][4] bi[278][0] bi[278][1] bi[278][2] bi[278][3] bi[278][4] bi[279][0] bi[279][1] bi[279][2] bi[279][3] bi[279][4] bi[280][0] bi[280][1] bi[280][2] bi[280][3] bi[280][4] bi[281][0] bi[281][1] bi[281][2] bi[281][3] bi[281][4] bi[282][0] bi[282][1] bi[282][2] bi[282][3] bi[282][4] bi[283][0] bi[283][1] bi[283][2] bi[283][3] bi[283][4] bi[284][0] bi[284][1] bi[284][2] bi[284][3] bi[284][4] bi[285][0] bi[285][1] bi[285][2] bi[285][3] bi[285][4] bi[286][0] bi[286][1] bi[286][2] bi[286][3] bi[286][4] bi[287][0] bi[287][1] bi[287][2] bi[287][3] bi[287][4] bi[288][0] bi[288][1] bi[288][2] bi[288][3] bi[288][4] bi[289][0] bi[289][1] bi[289][2] bi[289][3] bi[289][4] bi[290][0] bi[290][1] bi[290][2] bi[290][3] bi[290][4] bi[291][0] bi[291][1] bi[291][2] bi[291][3] bi[291][4] bi[292][0] bi[292][1] bi[292][2] bi[292][3] bi[292][4] bi[293][0] bi[293][1] bi[293][2] bi[293][3] bi[293][4] bi[294][0] bi[294][1] bi[294][2] bi[294][3] bi[294][4] bi[295][0] bi[295][1] bi[295][2] bi[295][3] bi[295][4] bi[296][0] bi[296][1] bi[296][2] bi[296][3] bi[296][4] bi[297][0] bi[297][1] bi[297][2] bi[297][3] bi[297][4] bi[298][0] bi[298][1] bi[298][2] bi[298][3] bi[298][4] bi[299][0] bi[299][1] bi[299][2] bi[299][3] bi[299][4] bi[300][0] bi[300][1] bi[300][2] bi[300][3] bi[300][4] bi[301][0] bi[301][1] bi[301][2] bi[301][3] bi[301][4] bi[302][0] bi[302][1] bi[302][2] bi[302][3] bi[302][4] bi[303][0] bi[303][1] bi[303][2] bi[303][3] bi[303][4] bi[304][0] bi[304][1] bi[304][2] bi[304][3] bi[304][4] bi[305][0] bi[305][1] bi[305][2] bi[305][3] bi[305][4] bi[306][0] bi[306][1] bi[306][2] bi[306][3] bi[306][4] bi[307][0] bi[307][1] bi[307][2] bi[307][3] bi[307][4] bi[308][0] bi[308][1] bi[308][2] bi[308][3] bi[308][4] bi[309][0] bi[309][1] bi[309][2] bi[309][3] bi[309][4] bi[310][0] bi[310][1] bi[310][2] bi[310][3] bi[310][4] bi[311][0] bi[311][1] bi[311][2] bi[311][3] bi[311][4] bi[312][0] bi[312][1] bi[312][2] bi[312][3] bi[312][4] bi[313][0] bi[313][1] bi[313][2] bi[313][3] bi[313][4] bi[314][0] bi[314][1] bi[314][2] bi[314][3] bi[314][4] bi[315][0] bi[315][1] bi[315][2] bi[315][3] bi[315][4] bi[316][0] bi[316][1] bi[316][2] bi[316][3] bi[316][4] bi[317][0] bi[317][1] bi[317][2] bi[317][3] bi[317][4] bi[318][0] bi[318][1] bi[318][2] bi[318][3] bi[318][4] bi[319][0] bi[319][1] bi[319][2] bi[319][3] bi[319][4] bi[320][0] bi[320][1] bi[320][2] bi[320][3] bi[320][4] bi[321][0] bi[321][1] bi[321][2] bi[321][3] bi[321][4] bi[322][0] bi[322][1] bi[322][2] bi[322][3] bi[322][4] bi[323][0] bi[323][1] bi[323][2] bi[323][3] bi[323][4] bi[324][0] bi[324][1] bi[324][2] bi[324][3] bi[324][4] bi[325][0] bi[325][1] bi[325][2] bi[325][3] bi[325][4] bi[326][0] bi[326][1] bi[326][2] bi[326][3] bi[326][4] bi[327][0] bi[327][1] bi[327][2] bi[327][3] bi[327][4] bi[328][0] bi[328][1] bi[328][2] bi[328][3] bi[328][4] bi[329][0] bi[329][1] bi[329][2] bi[329][3] bi[329][4] bi[330][0] bi[330][1] bi[330][2] bi[330][3] bi[330][4] bi[331][0] bi[331][1] bi[331][2] bi[331][3] bi[331][4] bi[332][0] bi[332][1] bi[332][2] bi[332][3] bi[332][4] bi[333][0] bi[333][1] bi[333][2] bi[333][3] bi[333][4] bi[334][0] bi[334][1] bi[334][2] bi[334][3] bi[334][4] bi[335][0] bi[335][1] bi[335][2] bi[335][3] bi[335][4] bi[336][0] bi[336][1] bi[336][2] bi[336][3] bi[336][4] bi[337][0] bi[337][1] bi[337][2] bi[337][3] bi[337][4] bi[338][0] bi[338][1] bi[338][2] bi[338][3] bi[338][4] bi[339][0] bi[339][1] bi[339][2] bi[339][3] bi[339][4] bi[340][0] bi[340][1] bi[340][2] bi[340][3] bi[340][4] bi[341][0] bi[341][1] bi[341][2] bi[341][3] bi[341][4] bi[342][0] bi[342][1] bi[342][2] bi[342][3] bi[342][4] bi[343][0] bi[343][1] bi[343][2] bi[343][3] bi[343][4] bi[344][0] bi[344][1] bi[344][2] bi[344][3] bi[344][4] bi[345][0] bi[345][1] bi[345][2] bi[345][3] bi[345][4] bi[346][0] bi[346][1] bi[346][2] bi[346][3] bi[346][4] bi[347][0] bi[347][1] bi[347][2] bi[347][3] bi[347][4] bi[348][0] bi[348][1] bi[348][2] bi[348][3] bi[348][4] bi[349][0] bi[349][1] bi[349][2] bi[349][3] bi[349][4] bi[350][0] bi[350][1] bi[350][2] bi[350][3] bi[350][4] bi[351][0] bi[351][1] bi[351][2] bi[351][3] bi[351][4] bi[352][0] bi[352][1] bi[352][2] bi[352][3] bi[352][4] bi[353][0] bi[353][1] bi[353][2] bi[353][3] bi[353][4] bi[354][0] bi[354][1] bi[354][2] bi[354][3] bi[354][4] bi[355][0] bi[355][1] bi[355][2] bi[355][3] bi[355][4] bi[356][0] bi[356][1] bi[356][2] bi[356][3] bi[356][4] bi[357][0] bi[357][1] bi[357][2] bi[357][3] bi[357][4] bi[358][0] bi[358][1] bi[358][2] bi[358][3] bi[358][4] bi[359][0] bi[359][1] bi[359][2] bi[359][3] bi[359][4] bi[360][0] bi[360][1] bi[360][2] bi[360][3] bi[360][4] bi[361][0] bi[361][1] bi[361][2] bi[361][3] bi[361][4] bi[362][0] bi[362][1] bi[362][2] bi[362][3] bi[362][4] bi[363][0] bi[363][1] bi[363][2] bi[363][3] bi[363][4] bi[364][0] bi[364][1] bi[364][2] bi[364][3] bi[364][4] bi[365][0] bi[365][1] bi[365][2] bi[365][3] bi[365][4] bi[366][0] bi[366][1] bi[366][2] bi[366][3] bi[366][4] bi[367][0] bi[367][1] bi[367][2] bi[367][3] bi[367][4] bi[368][0] bi[368][1] bi[368][2] bi[368][3] bi[368][4] bi[369][0] bi[369][1] bi[369][2] bi[369][3] bi[369][4] bi[370][0] bi[370][1] bi[370][2] bi[370][3] bi[370][4] bi[371][0] bi[371][1] bi[371][2] bi[371][3] bi[371][4] bi[372][0] bi[372][1] bi[372][2] bi[372][3] bi[372][4] bi[373][0] bi[373][1] bi[373][2] bi[373][3] bi[373][4] bi[374][0] bi[374][1] bi[374][2] bi[374][3] bi[374][4] bi[375][0] bi[375][1] bi[375][2] bi[375][3] bi[375][4] bi[376][0] bi[376][1] bi[376][2] bi[376][3] bi[376][4] bi[377][0] bi[377][1] bi[377][2] bi[377][3] bi[377][4] bi[378][0] bi[378][1] bi[378][2] bi[378][3] bi[378][4] bi[379][0] bi[379][1] bi[379][2] bi[379][3] bi[379][4] bi[380][0] bi[380][1] bi[380][2] bi[380][3] bi[380][4] bi[381][0] bi[381][1] bi[381][2] bi[381][3] bi[381][4] bi[382][0] bi[382][1] bi[382][2] bi[382][3] bi[382][4] bi[383][0] bi[383][1] bi[383][2] bi[383][3] bi[383][4] bi[384][0] bi[384][1] bi[384][2] bi[384][3] bi[384][4] bi[385][0] bi[385][1] bi[385][2] bi[385][3] bi[385][4] bi[386][0] bi[386][1] bi[386][2] bi[386][3] bi[386][4] bi[387][0] bi[387][1] bi[387][2] bi[387][3] bi[387][4] bi[388][0] bi[388][1] bi[388][2] bi[388][3] bi[388][4] bi[389][0] bi[389][1] bi[389][2] bi[389][3] bi[389][4] bi[390][0] bi[390][1] bi[390][2] bi[390][3] bi[390][4] bi[391][0] bi[391][1] bi[391][2] bi[391][3] bi[391][4] bi[392][0] bi[392][1] bi[392][2] bi[392][3] bi[392][4] bi[393][0] bi[393][1] bi[393][2] bi[393][3] bi[393][4] bi[394][0] bi[394][1] bi[394][2] bi[394][3] bi[394][4] bi[395][0] bi[395][1] bi[395][2] bi[395][3] bi[395][4] bi[396][0] bi[396][1] bi[396][2] bi[396][3] bi[396][4] bi[397][0] bi[397][1] bi[397][2] bi[397][3] bi[397][4] bi[398][0] bi[398][1] bi[398][2] bi[398][3] bi[398][4] bi[399][0] bi[399][1] bi[399][2] bi[399][3] bi[399][4] bi[400][0] bi[400][1] bi[400][2] bi[400][3] bi[400][4] bi[401][0] bi[401][1] bi[401][2] bi[401][3] bi[401][4] bi[402][0] bi[402][1] bi[402][2] bi[402][3] bi[402][4] bi[403][0] bi[403][1] bi[403][2] bi[403][3] bi[403][4] bi[404][0] bi[404][1] bi[404][2] bi[404][3] bi[404][4] bi[405][0] bi[405][1] bi[405][2] bi[405][3] bi[405][4] bi[406][0] bi[406][1] bi[406][2] bi[406][3] bi[406][4] bi[407][0] bi[407][1] bi[407][2] bi[407][3] bi[407][4] bi[408][0] bi[408][1] bi[408][2] bi[408][3] bi[408][4] bi[409][0] bi[409][1] bi[409][2] bi[409][3] bi[409][4] bi[410][0] bi[410][1] bi[410][2] bi[410][3] bi[410][4] bi[411][0] bi[411][1] bi[411][2] bi[411][3] bi[411][4] bi[412][0] bi[412][1] bi[412][2] bi[412][3] bi[412][4] bi[413][0] bi[413][1] bi[413][2] bi[413][3] bi[413][4] bi[414][0] bi[414][1] bi[414][2] bi[414][3] bi[414][4] bi[415][0] bi[415][1] bi[415][2] bi[415][3] bi[415][4] bi[416][0] bi[416][1] bi[416][2] bi[416][3] bi[416][4] bi[417][0] bi[417][1] bi[417][2] bi[417][3] bi[417][4] bi[418][0] bi[418][1] bi[418][2] bi[418][3] bi[418][4] bi[419][0] bi[419][1] bi[419][2] bi[419][3] bi[419][4] bi[420][0] bi[420][1] bi[420][2] bi[420][3] bi[420][4] bi[421][0] bi[421][1] bi[421][2] bi[421][3] bi[421][4] bi[422][0] bi[422][1] bi[422][2] bi[422][3] bi[422][4] bi[423][0] bi[423][1] bi[423][2] bi[423][3] bi[423][4] bi[424][0] bi[424][1] bi[424][2] bi[424][3] bi[424][4] bi[425][0] bi[425][1] bi[425][2] bi[425][3] bi[425][4] bi[426][0] bi[426][1] bi[426][2] bi[426][3] bi[426][4] bi[427][0] bi[427][1] bi[427][2] bi[427][3] bi[427][4] bi[428][0] bi[428][1] bi[428][2] bi[428][3] bi[428][4] bi[429][0] bi[429][1] bi[429][2] bi[429][3] bi[429][4] bi[430][0] bi[430][1] bi[430][2] bi[430][3] bi[430][4] bi[431][0] bi[431][1] bi[431][2] bi[431][3] bi[431][4] bi[432][0] bi[432][1] bi[432][2] bi[432][3] bi[432][4] bi[433][0] bi[433][1] bi[433][2] bi[433][3] bi[433][4] bi[434][0] bi[434][1] bi[434][2] bi[434][3] bi[434][4] bi[435][0] bi[435][1] bi[435][2] bi[435][3] bi[435][4] bi[436][0] bi[436][1] bi[436][2] bi[436][3] bi[436][4] bi[437][0] bi[437][1] bi[437][2] bi[437][3] bi[437][4] bi[438][0] bi[438][1] bi[438][2] bi[438][3] bi[438][4] bi[439][0] bi[439][1] bi[439][2] bi[439][3] bi[439][4] bi[440][0] bi[440][1] bi[440][2] bi[440][3] bi[440][4] bi[441][0] bi[441][1] bi[441][2] bi[441][3] bi[441][4] bi[442][0] bi[442][1] bi[442][2] bi[442][3] bi[442][4] bi[443][0] bi[443][1] bi[443][2] bi[443][3] bi[443][4] bi[444][0] bi[444][1] bi[444][2] bi[444][3] bi[444][4] bi[445][0] bi[445][1] bi[445][2] bi[445][3] bi[445][4] bi[446][0] bi[446][1] bi[446][2] bi[446][3] bi[446][4] bi[447][0] bi[447][1] bi[447][2] bi[447][3] bi[447][4] bi[448][0] bi[448][1] bi[448][2] bi[448][3] bi[448][4] bi[449][0] bi[449][1] bi[449][2] bi[449][3] bi[449][4] bi[450][0] bi[450][1] bi[450][2] bi[450][3] bi[450][4] bi[451][0] bi[451][1] bi[451][2] bi[451][3] bi[451][4] bi[452][0] bi[452][1] bi[452][2] bi[452][3] bi[452][4] bi[453][0] bi[453][1] bi[453][2] bi[453][3] bi[453][4] bi[454][0] bi[454][1] bi[454][2] bi[454][3] bi[454][4] bi[455][0] bi[455][1] bi[455][2] bi[455][3] bi[455][4] bi[456][0] bi[456][1] bi[456][2] bi[456][3] bi[456][4] bi[457][0] bi[457][1] bi[457][2] bi[457][3] bi[457][4] bi[458][0] bi[458][1] bi[458][2] bi[458][3] bi[458][4] bi[459][0] bi[459][1] bi[459][2] bi[459][3] bi[459][4] bi[460][0] bi[460][1] bi[460][2] bi[460][3] bi[460][4] bi[461][0] bi[461][1] bi[461][2] bi[461][3] bi[461][4] bi[462][0] bi[462][1] bi[462][2] bi[462][3] bi[462][4] bi[463][0] bi[463][1] bi[463][2] bi[463][3] bi[463][4] bi[464][0] bi[464][1] bi[464][2] bi[464][3] bi[464][4] bi[465][0] bi[465][1] bi[465][2] bi[465][3] bi[465][4] bi[466][0] bi[466][1] bi[466][2] bi[466][3] bi[466][4] bi[467][0] bi[467][1] bi[467][2] bi[467][3] bi[467][4] bi[468][0] bi[468][1] bi[468][2] bi[468][3] bi[468][4] bi[469][0] bi[469][1] bi[469][2] bi[469][3] bi[469][4] bi[470][0] bi[470][1] bi[470][2] bi[470][3] bi[470][4] bi[471][0] bi[471][1] bi[471][2] bi[471][3] bi[471][4] bi[472][0] bi[472][1] bi[472][2] bi[472][3] bi[472][4] bi[473][0] bi[473][1] bi[473][2] bi[473][3] bi[473][4] bi[474][0] bi[474][1] bi[474][2] bi[474][3] bi[474][4] bi[475][0] bi[475][1] bi[475][2] bi[475][3] bi[475][4] bi[476][0] bi[476][1] bi[476][2] bi[476][3] bi[476][4] bi[477][0] bi[477][1] bi[477][2] bi[477][3] bi[477][4] bi[478][0] bi[478][1] bi[478][2] bi[478][3] bi[478][4] bi[479][0] bi[479][1] bi[479][2] bi[479][3] bi[479][4] bi[480][0] bi[480][1] bi[480][2] bi[480][3] bi[480][4] bi[481][0] bi[481][1] bi[481][2] bi[481][3] bi[481][4] bi[482][0] bi[482][1] bi[482][2] bi[482][3] bi[482][4] bi[483][0] bi[483][1] bi[483][2] bi[483][3] bi[483][4] bi[484][0] bi[484][1] bi[484][2] bi[484][3] bi[484][4] bi[485][0] bi[485][1] bi[485][2] bi[485][3] bi[485][4] bi[486][0] bi[486][1] bi[486][2] bi[486][3] bi[486][4] bi[487][0] bi[487][1] bi[487][2] bi[487][3] bi[487][4] bi[488][0] bi[488][1] bi[488][2] bi[488][3] bi[488][4] bi[489][0] bi[489][1] bi[489][2] bi[489][3] bi[489][4] bi[490][0] bi[490][1] bi[490][2] bi[490][3] bi[490][4] bi[491][0] bi[491][1] bi[491][2] bi[491][3] bi[491][4] bi[492][0] bi[492][1] bi[492][2] bi[492][3] bi[492][4] bi[493][0] bi[493][1] bi[493][2] bi[493][3] bi[493][4] bi[494][0] bi[494][1] bi[494][2] bi[494][3] bi[494][4] bi[495][0] bi[495][1] bi[495][2] bi[495][3] bi[495][4] bi[496][0] bi[496][1] bi[496][2] bi[496][3] bi[496][4] bi[497][0] bi[497][1] bi[497][2] bi[497][3] bi[497][4] bi[498][0] bi[498][1] bi[498][2] bi[498][3] bi[498][4] bi[499][0] bi[499][1] bi[499][2] bi[499][3] bi[499][4] bi[500][0] bi[500][1] bi[500][2] bi[500][3] bi[500][4] bi[501][0] bi[501][1] bi[501][2] bi[501][3] bi[501][4] bi[502][0] bi[502][1] bi[502][2] bi[502][3] bi[502][4] bi[503][0] bi[503][1] bi[503][2] bi[503][3] bi[503][4] bi[504][0] bi[504][1] bi[504][2] bi[504][3] bi[504][4] bi[505][0] bi[505][1] bi[505][2] bi[505][3] bi[505][4] bi[506][0] bi[506][1] bi[506][2] bi[506][3] bi[506][4] bi[507][0] bi[507][1] bi[507][2] bi[507][3] bi[507][4] bi[508][0] bi[508][1] bi[508][2] bi[508][3] bi[508][4] bi[509][0] bi[509][1] bi[509][2] bi[509][3] bi[509][4] bi[510][0] bi[510][1] bi[510][2] bi[510][3] bi[510][4] bi[511][0] bi[511][1] bi[511][2] bi[511][3] bi[511][4] bi[512][0] bi[512][1] bi[512][2] bi[512][3] bi[512][4] bi[513][0] bi[513][1] bi[513][2] bi[513][3] bi[513][4] bi[514][0] bi[514][1] bi[514][2] bi[514][3] bi[514][4] bi[515][0] bi[515][1] bi[515][2] bi[515][3] bi[515][4] bi[516][0] bi[516][1] bi[516][2] bi[516][3] bi[516][4] bi[517][0] bi[517][1] bi[517][2] bi[517][3] bi[517][4] bi[518][0] bi[518][1] bi[518][2] bi[518][3] bi[518][4] bi[519][0] bi[519][1] bi[519][2] bi[519][3] bi[519][4] bi[520][0] bi[520][1] bi[520][2] bi[520][3] bi[520][4] bi[521][0] bi[521][1] bi[521][2] bi[521][3] bi[521][4] bi[522][0] bi[522][1] bi[522][2] bi[522][3] bi[522][4] bi[523][0] bi[523][1] bi[523][2] bi[523][3] bi[523][4] bi[524][0] bi[524][1] bi[524][2] bi[524][3] bi[524][4] bi[525][0] bi[525][1] bi[525][2] bi[525][3] bi[525][4] bi[526][0] bi[526][1] bi[526][2] bi[526][3] bi[526][4] bi[527][0] bi[527][1] bi[527][2] bi[527][3] bi[527][4] bi[528][0] bi[528][1] bi[528][2] bi[528][3] bi[528][4] bi[529][0] bi[529][1] bi[529][2] bi[529][3] bi[529][4] bi[530][0] bi[530][1] bi[530][2] bi[530][3] bi[530][4] bi[531][0] bi[531][1] bi[531][2] bi[531][3] bi[531][4] bi[532][0] bi[532][1] bi[532][2] bi[532][3] bi[532][4] bi[533][0] bi[533][1] bi[533][2] bi[533][3] bi[533][4] bi[534][0] bi[534][1] bi[534][2] bi[534][3] bi[534][4] bi[535][0] bi[535][1] bi[535][2] bi[535][3] bi[535][4] bi[536][0] bi[536][1] bi[536][2] bi[536][3] bi[536][4] bi[537][0] bi[537][1] bi[537][2] bi[537][3] bi[537][4] bi[538][0] bi[538][1] bi[538][2] bi[538][3] bi[538][4] bi[539][0] bi[539][1] bi[539][2] bi[539][3] bi[539][4] bi[540][0] bi[540][1] bi[540][2] bi[540][3] bi[540][4] bi[541][0] bi[541][1] bi[541][2] bi[541][3] bi[541][4] bi[542][0] bi[542][1] bi[542][2] bi[542][3] bi[542][4] bi[543][0] bi[543][1] bi[543][2] bi[543][3] bi[543][4] bi[544][0] bi[544][1] bi[544][2] bi[544][3] bi[544][4] bi[545][0] bi[545][1] bi[545][2] bi[545][3] bi[545][4] bi[546][0] bi[546][1] bi[546][2] bi[546][3] bi[546][4] bi[547][0] bi[547][1] bi[547][2] bi[547][3] bi[547][4] bi[548][0] bi[548][1] bi[548][2] bi[548][3] bi[548][4] bi[549][0] bi[549][1] bi[549][2] bi[549][3] bi[549][4] bi[550][0] bi[550][1] bi[550][2] bi[550][3] bi[550][4] bi[551][0] bi[551][1] bi[551][2] bi[551][3] bi[551][4] bi[552][0] bi[552][1] bi[552][2] bi[552][3] bi[552][4] bi[553][0] bi[553][1] bi[553][2] bi[553][3] bi[553][4] bi[554][0] bi[554][1] bi[554][2] bi[554][3] bi[554][4] bi[555][0] bi[555][1] bi[555][2] bi[555][3] bi[555][4] bi[556][0] bi[556][1] bi[556][2] bi[556][3] bi[556][4] bi[557][0] bi[557][1] bi[557][2] bi[557][3] bi[557][4] bi[558][0] bi[558][1] bi[558][2] bi[558][3] bi[558][4] bi[559][0] bi[559][1] bi[559][2] bi[559][3] bi[559][4] bi[560][0] bi[560][1] bi[560][2] bi[560][3] bi[560][4] bi[561][0] bi[561][1] bi[561][2] bi[561][3] bi[561][4] bi[562][0] bi[562][1] bi[562][2] bi[562][3] bi[562][4] bi[563][0] bi[563][1] bi[563][2] bi[563][3] bi[563][4] bi[564][0] bi[564][1] bi[564][2] bi[564][3] bi[564][4] bi[565][0] bi[565][1] bi[565][2] bi[565][3] bi[565][4] bi[566][0] bi[566][1] bi[566][2] bi[566][3] bi[566][4] bi[567][0] bi[567][1] bi[567][2] bi[567][3] bi[567][4] bi[568][0] bi[568][1] bi[568][2] bi[568][3] bi[568][4] bi[569][0] bi[569][1] bi[569][2] bi[569][3] bi[569][4] bi[570][0] bi[570][1] bi[570][2] bi[570][3] bi[570][4] bi[571][0] bi[571][1] bi[571][2] bi[571][3] bi[571][4] bi[572][0] bi[572][1] bi[572][2] bi[572][3] bi[572][4] bi[573][0] bi[573][1] bi[573][2] bi[573][3] bi[573][4] bi[574][0] bi[574][1] bi[574][2] bi[574][3] bi[574][4] bi[575][0] bi[575][1] bi[575][2] bi[575][3] bi[575][4] bi[576][0] bi[576][1] bi[576][2] bi[576][3] bi[576][4] bi[577][0] bi[577][1] bi[577][2] bi[577][3] bi[577][4] bi[578][0] bi[578][1] bi[578][2] bi[578][3] bi[578][4] bi[579][0] bi[579][1] bi[579][2] bi[579][3] bi[579][4] bi[580][0] bi[580][1] bi[580][2] bi[580][3] bi[580][4] bi[581][0] bi[581][1] bi[581][2] bi[581][3] bi[581][4] bi[582][0] bi[582][1] bi[582][2] bi[582][3] bi[582][4] bi[583][0] bi[583][1] bi[583][2] bi[583][3] bi[583][4] bi[584][0] bi[584][1] bi[584][2] bi[584][3] bi[584][4] bi[585][0] bi[585][1] bi[585][2] bi[585][3] bi[585][4] bi[586][0] bi[586][1] bi[586][2] bi[586][3] bi[586][4] bi[587][0] bi[587][1] bi[587][2] bi[587][3] bi[587][4] bi[588][0] bi[588][1] bi[588][2] bi[588][3] bi[588][4] bi[589][0] bi[589][1] bi[589][2] bi[589][3] bi[589][4] bi[590][0] bi[590][1] bi[590][2] bi[590][3] bi[590][4] bi[591][0] bi[591][1] bi[591][2] bi[591][3] bi[591][4] bi[592][0] bi[592][1] bi[592][2] bi[592][3] bi[592][4] bi[593][0] bi[593][1] bi[593][2] bi[593][3] bi[593][4] bi[594][0] bi[594][1] bi[594][2] bi[594][3] bi[594][4] bi[595][0] bi[595][1] bi[595][2] bi[595][3] bi[595][4] bi[596][0] bi[596][1] bi[596][2] bi[596][3] bi[596][4] bi[597][0] bi[597][1] bi[597][2] bi[597][3] bi[597][4] bi[598][0] bi[598][1] bi[598][2] bi[598][3] bi[598][4] bi[599][0] bi[599][1] bi[599][2] bi[599][3] bi[599][4] bi[600][0] bi[600][1] bi[600][2] bi[600][3] bi[600][4] bi[601][0] bi[601][1] bi[601][2] bi[601][3] bi[601][4] bi[602][0] bi[602][1] bi[602][2] bi[602][3] bi[602][4] bi[603][0] bi[603][1] bi[603][2] bi[603][3] bi[603][4] bi[604][0] bi[604][1] bi[604][2] bi[604][3] bi[604][4] bi[605][0] bi[605][1] bi[605][2] bi[605][3] bi[605][4] bi[606][0] bi[606][1] bi[606][2] bi[606][3] bi[606][4] bi[607][0] bi[607][1] bi[607][2] bi[607][3] bi[607][4] bi[608][0] bi[608][1] bi[608][2] bi[608][3] bi[608][4] bi[609][0] bi[609][1] bi[609][2] bi[609][3] bi[609][4] bi[610][0] bi[610][1] bi[610][2] bi[610][3] bi[610][4] bi[611][0] bi[611][1] bi[611][2] bi[611][3] bi[611][4] bi[612][0] bi[612][1] bi[612][2] bi[612][3] bi[612][4] bi[613][0] bi[613][1] bi[613][2] bi[613][3] bi[613][4] bi[614][0] bi[614][1] bi[614][2] bi[614][3] bi[614][4] bi[615][0] bi[615][1] bi[615][2] bi[615][3] bi[615][4] bi[616][0] bi[616][1] bi[616][2] bi[616][3] bi[616][4] bi[617][0] bi[617][1] bi[617][2] bi[617][3] bi[617][4] bi[618][0] bi[618][1] bi[618][2] bi[618][3] bi[618][4] bi[619][0] bi[619][1] bi[619][2] bi[619][3] bi[619][4] bi[620][0] bi[620][1] bi[620][2] bi[620][3] bi[620][4] bi[621][0] bi[621][1] bi[621][2] bi[621][3] bi[621][4] bi[622][0] bi[622][1] bi[622][2] bi[622][3] bi[622][4] bi[623][0] bi[623][1] bi[623][2] bi[623][3] bi[623][4] bi[624][0] bi[624][1] bi[624][2] bi[624][3] bi[624][4] bi[625][0] bi[625][1] bi[625][2] bi[625][3] bi[625][4] bi[626][0] bi[626][1] bi[626][2] bi[626][3] bi[626][4] bi[627][0] bi[627][1] bi[627][2] bi[627][3] bi[627][4] bi[628][0] bi[628][1] bi[628][2] bi[628][3] bi[628][4] bi[629][0] bi[629][1] bi[629][2] bi[629][3] bi[629][4] bi[630][0] bi[630][1] bi[630][2] bi[630][3] bi[630][4] bi[631][0] bi[631][1] bi[631][2] bi[631][3] bi[631][4] bi[632][0] bi[632][1] bi[632][2] bi[632][3] bi[632][4] bi[633][0] bi[633][1] bi[633][2] bi[633][3] bi[633][4] bi[634][0] bi[634][1] bi[634][2] bi[634][3] bi[634][4] bi[635][0] bi[635][1] bi[635][2] bi[635][3] bi[635][4] bi[636][0] bi[636][1] bi[636][2] bi[636][3] bi[636][4] bi[637][0] bi[637][1] bi[637][2] bi[637][3] bi[637][4] bi[638][0] bi[638][1] bi[638][2] bi[638][3] bi[638][4] bi[639][0] bi[639][1] bi[639][2] bi[639][3] bi[639][4] bi[640][0] bi[640][1] bi[640][2] bi[640][3] bi[640][4] bi[641][0] bi[641][1] bi[641][2] bi[641][3] bi[641][4] bi[642][0] bi[642][1] bi[642][2] bi[642][3] bi[642][4] bi[643][0] bi[643][1] bi[643][2] bi[643][3] bi[643][4] bi[644][0] bi[644][1] bi[644][2] bi[644][3] bi[644][4] bi[645][0] bi[645][1] bi[645][2] bi[645][3] bi[645][4] bi[646][0] bi[646][1] bi[646][2] bi[646][3] bi[646][4] bi[647][0] bi[647][1] bi[647][2] bi[647][3] bi[647][4] bi[648][0] bi[648][1] bi[648][2] bi[648][3] bi[648][4] bi[649][0] bi[649][1] bi[649][2] bi[649][3] bi[649][4] bi[650][0] bi[650][1] bi[650][2] bi[650][3] bi[650][4] bi[651][0] bi[651][1] bi[651][2] bi[651][3] bi[651][4] bi[652][0] bi[652][1] bi[652][2] bi[652][3] bi[652][4] bi[653][0] bi[653][1] bi[653][2] bi[653][3] bi[653][4] bi[654][0] bi[654][1] bi[654][2] bi[654][3] bi[654][4] bi[655][0] bi[655][1] bi[655][2] bi[655][3] bi[655][4] bi[656][0] bi[656][1] bi[656][2] bi[656][3] bi[656][4] bi[657][0] bi[657][1] bi[657][2] bi[657][3] bi[657][4] bi[658][0] bi[658][1] bi[658][2] bi[658][3] bi[658][4] bi[659][0] bi[659][1] bi[659][2] bi[659][3] bi[659][4] bi[660][0] bi[660][1] bi[660][2] bi[660][3] bi[660][4] bi[661][0] bi[661][1] bi[661][2] bi[661][3] bi[661][4] bi[662][0] bi[662][1] bi[662][2] bi[662][3] bi[662][4] bi[663][0] bi[663][1] bi[663][2] bi[663][3] bi[663][4] bi[664][0] bi[664][1] bi[664][2] bi[664][3] bi[664][4] bi[665][0] bi[665][1] bi[665][2] bi[665][3] bi[665][4] bi[666][0] bi[666][1] bi[666][2] bi[666][3] bi[666][4] bi[667][0] bi[667][1] bi[667][2] bi[667][3] bi[667][4] bi[668][0] bi[668][1] bi[668][2] bi[668][3] bi[668][4] bi[669][0] bi[669][1] bi[669][2] bi[669][3] bi[669][4] bi[670][0] bi[670][1] bi[670][2] bi[670][3] bi[670][4] bi[671][0] bi[671][1] bi[671][2] bi[671][3] bi[671][4] bi[672][0] bi[672][1] bi[672][2] bi[672][3] bi[672][4] bi[673][0] bi[673][1] bi[673][2] bi[673][3] bi[673][4] bi[674][0] bi[674][1] bi[674][2] bi[674][3] bi[674][4] bi[675][0] bi[675][1] bi[675][2] bi[675][3] bi[675][4] bi[676][0] bi[676][1] bi[676][2] bi[676][3] bi[676][4] bi[677][0] bi[677][1] bi[677][2] bi[677][3] bi[677][4] bi[678][0] bi[678][1] bi[678][2] bi[678][3] bi[678][4] bi[679][0] bi[679][1] bi[679][2] bi[679][3] bi[679][4] bi[680][0] bi[680][1] bi[680][2] bi[680][3] bi[680][4] bi[681][0] bi[681][1] bi[681][2] bi[681][3] bi[681][4] bi[682][0] bi[682][1] bi[682][2] bi[682][3] bi[682][4] bi[683][0] bi[683][1] bi[683][2] bi[683][3] bi[683][4] bi[684][0] bi[684][1] bi[684][2] bi[684][3] bi[684][4] bi[685][0] bi[685][1] bi[685][2] bi[685][3] bi[685][4] bi[686][0] bi[686][1] bi[686][2] bi[686][3] bi[686][4] bi[687][0] bi[687][1] bi[687][2] bi[687][3] bi[687][4] bi[688][0] bi[688][1] bi[688][2] bi[688][3] bi[688][4] bi[689][0] bi[689][1] bi[689][2] bi[689][3] bi[689][4] bi[690][0] bi[690][1] bi[690][2] bi[690][3] bi[690][4] bi[691][0] bi[691][1] bi[691][2] bi[691][3] bi[691][4] bi[692][0] bi[692][1] bi[692][2] bi[692][3] bi[692][4] bi[693][0] bi[693][1] bi[693][2] bi[693][3] bi[693][4] bi[694][0] bi[694][1] bi[694][2] bi[694][3] bi[694][4] bi[695][0] bi[695][1] bi[695][2] bi[695][3] bi[695][4] bi[696][0] bi[696][1] bi[696][2] bi[696][3] bi[696][4] bi[697][0] bi[697][1] bi[697][2] bi[697][3] bi[697][4] bi[698][0] bi[698][1] bi[698][2] bi[698][3] bi[698][4] bi[699][0] bi[699][1] bi[699][2] bi[699][3] bi[699][4] bi[700][0] bi[700][1] bi[700][2] bi[700][3] bi[700][4] bi[701][0] bi[701][1] bi[701][2] bi[701][3] bi[701][4] bi[702][0] bi[702][1] bi[702][2] bi[702][3] bi[702][4] bi[703][0] bi[703][1] bi[703][2] bi[703][3] bi[703][4] bi[704][0] bi[704][1] bi[704][2] bi[704][3] bi[704][4] bi[705][0] bi[705][1] bi[705][2] bi[705][3] bi[705][4] bi[706][0] bi[706][1] bi[706][2] bi[706][3] bi[706][4] bi[707][0] bi[707][1] bi[707][2] bi[707][3] bi[707][4] bi[708][0] bi[708][1] bi[708][2] bi[708][3] bi[708][4] bi[709][0] bi[709][1] bi[709][2] bi[709][3] bi[709][4] bi[710][0] bi[710][1] bi[710][2] bi[710][3] bi[710][4] bi[711][0] bi[711][1] bi[711][2] bi[711][3] bi[711][4] bi[712][0] bi[712][1] bi[712][2] bi[712][3] bi[712][4] bi[713][0] bi[713][1] bi[713][2] bi[713][3] bi[713][4] bi[714][0] bi[714][1] bi[714][2] bi[714][3] bi[714][4] bi[715][0] bi[715][1] bi[715][2] bi[715][3] bi[715][4] bi[716][0] bi[716][1] bi[716][2] bi[716][3] bi[716][4] bi[717][0] bi[717][1] bi[717][2] bi[717][3] bi[717][4] bi[718][0] bi[718][1] bi[718][2] bi[718][3] bi[718][4] bi[719][0] bi[719][1] bi[719][2] bi[719][3] bi[719][4] bi[720][0] bi[720][1] bi[720][2] bi[720][3] bi[720][4] bi[721][0] bi[721][1] bi[721][2] bi[721][3] bi[721][4] bi[722][0] bi[722][1] bi[722][2] bi[722][3] bi[722][4] bi[723][0] bi[723][1] bi[723][2] bi[723][3] bi[723][4] bi[724][0] bi[724][1] bi[724][2] bi[724][3] bi[724][4] bi[725][0] bi[725][1] bi[725][2] bi[725][3] bi[725][4] bi[726][0] bi[726][1] bi[726][2] bi[726][3] bi[726][4] bi[727][0] bi[727][1] bi[727][2] bi[727][3] bi[727][4] bi[728][0] bi[728][1] bi[728][2] bi[728][3] bi[728][4] bi[729][0] bi[729][1] bi[729][2] bi[729][3] bi[729][4] bi[730][0] bi[730][1] bi[730][2] bi[730][3] bi[730][4] bi[731][0] bi[731][1] bi[731][2] bi[731][3] bi[731][4] bi[732][0] bi[732][1] bi[732][2] bi[732][3] bi[732][4] bi[733][0] bi[733][1] bi[733][2] bi[733][3] bi[733][4] bi[734][0] bi[734][1] bi[734][2] bi[734][3] bi[734][4] bi[735][0] bi[735][1] bi[735][2] bi[735][3] bi[735][4] bi[736][0] bi[736][1] bi[736][2] bi[736][3] bi[736][4] bi[737][0] bi[737][1] bi[737][2] bi[737][3] bi[737][4] bi[738][0] bi[738][1] bi[738][2] bi[738][3] bi[738][4] bi[739][0] bi[739][1] bi[739][2] bi[739][3] bi[739][4] bi[740][0] bi[740][1] bi[740][2] bi[740][3] bi[740][4] bi[741][0] bi[741][1] bi[741][2] bi[741][3] bi[741][4] bi[742][0] bi[742][1] bi[742][2] bi[742][3] bi[742][4] bi[743][0] bi[743][1] bi[743][2] bi[743][3] bi[743][4] bi[744][0] bi[744][1] bi[744][2] bi[744][3] bi[744][4] bi[745][0] bi[745][1] bi[745][2] bi[745][3] bi[745][4] bi[746][0] bi[746][1] bi[746][2] bi[746][3] bi[746][4] bi[747][0] bi[747][1] bi[747][2] bi[747][3] bi[747][4] bi[748][0] bi[748][1] bi[748][2] bi[748][3] bi[748][4] bi[749][0] bi[749][1] bi[749][2] bi[749][3] bi[749][4] bi[750][0] bi[750][1] bi[750][2] bi[750][3] bi[750][4] bi[751][0] bi[751][1] bi[751][2] bi[751][3] bi[751][4] bi[752][0] bi[752][1] bi[752][2] bi[752][3] bi[752][4] bi[753][0] bi[753][1] bi[753][2] bi[753][3] bi[753][4] bi[754][0] bi[754][1] bi[754][2] bi[754][3] bi[754][4] bi[755][0] bi[755][1] bi[755][2] bi[755][3] bi[755][4] bi[756][0] bi[756][1] bi[756][2] bi[756][3] bi[756][4] bi[757][0] bi[757][1] bi[757][2] bi[757][3] bi[757][4] bi[758][0] bi[758][1] bi[758][2] bi[758][3] bi[758][4] bi[759][0] bi[759][1] bi[759][2] bi[759][3] bi[759][4] bi[760][0] bi[760][1] bi[760][2] bi[760][3] bi[760][4] bi[761][0] bi[761][1] bi[761][2] bi[761][3] bi[761][4] bi[762][0] bi[762][1] bi[762][2] bi[762][3] bi[762][4] bi[763][0] bi[763][1] bi[763][2] bi[763][3] bi[763][4] bi[764][0] bi[764][1] bi[764][2] bi[764][3] bi[764][4] bi[765][0] bi[765][1] bi[765][2] bi[765][3] bi[765][4] bi[766][0] bi[766][1] bi[766][2] bi[766][3] bi[766][4] bi[767][0] bi[767][1] bi[767][2] bi[767][3] bi[767][4] bi[768][0] bi[768][1] bi[768][2] bi[768][3] bi[768][4] bi[769][0] bi[769][1] bi[769][2] bi[769][3] bi[769][4] bi[770][0] bi[770][1] bi[770][2] bi[770][3] bi[770][4] bi[771][0] bi[771][1] bi[771][2] bi[771][3] bi[771][4] bi[772][0] bi[772][1] bi[772][2] bi[772][3] bi[772][4] bi[773][0] bi[773][1] bi[773][2] bi[773][3] bi[773][4] bi[774][0] bi[774][1] bi[774][2] bi[774][3] bi[774][4] bi[775][0] bi[775][1] bi[775][2] bi[775][3] bi[775][4] bi[776][0] bi[776][1] bi[776][2] bi[776][3] bi[776][4] bi[777][0] bi[777][1] bi[777][2] bi[777][3] bi[777][4] bi[778][0] bi[778][1] bi[778][2] bi[778][3] bi[778][4] bi[779][0] bi[779][1] bi[779][2] bi[779][3] bi[779][4] bi[780][0] bi[780][1] bi[780][2] bi[780][3] bi[780][4] bi[781][0] bi[781][1] bi[781][2] bi[781][3] bi[781][4] bi[782][0] bi[782][1] bi[782][2] bi[782][3] bi[782][4] bi[783][0] bi[783][1] bi[783][2] bi[783][3] bi[783][4] bi[784][0] bi[784][1] bi[784][2] bi[784][3] bi[784][4] bi[785][0] bi[785][1] bi[785][2] bi[785][3] bi[785][4] bi[786][0] bi[786][1] bi[786][2] bi[786][3] bi[786][4] bi[787][0] bi[787][1] bi[787][2] bi[787][3] bi[787][4] bi[788][0] bi[788][1] bi[788][2] bi[788][3] bi[788][4] bi[789][0] bi[789][1] bi[789][2] bi[789][3] bi[789][4] bi[790][0] bi[790][1] bi[790][2] bi[790][3] bi[790][4] bi[791][0] bi[791][1] bi[791][2] bi[791][3] bi[791][4] bi[792][0] bi[792][1] bi[792][2] bi[792][3] bi[792][4] bi[793][0] bi[793][1] bi[793][2] bi[793][3] bi[793][4] bi[794][0] bi[794][1] bi[794][2] bi[794][3] bi[794][4] bi[795][0] bi[795][1] bi[795][2] bi[795][3] bi[795][4] bi[796][0] bi[796][1] bi[796][2] bi[796][3] bi[796][4] bi[797][0] bi[797][1] bi[797][2] bi[797][3] bi[797][4] bi[798][0] bi[798][1] bi[798][2] bi[798][3] bi[798][4] bi[799][0] bi[799][1] bi[799][2] bi[799][3] bi[799][4] bi[800][0] bi[800][1] bi[800][2] bi[800][3] bi[800][4] bi[801][0] bi[801][1] bi[801][2] bi[801][3] bi[801][4] bi[802][0] bi[802][1] bi[802][2] bi[802][3] bi[802][4] bi[803][0] bi[803][1] bi[803][2] bi[803][3] bi[803][4] bi[804][0] bi[804][1] bi[804][2] bi[804][3] bi[804][4] bi[805][0] bi[805][1] bi[805][2] bi[805][3] bi[805][4] bi[806][0] bi[806][1] bi[806][2] bi[806][3] bi[806][4] bi[807][0] bi[807][1] bi[807][2] bi[807][3] bi[807][4] bi[808][0] bi[808][1] bi[808][2] bi[808][3] bi[808][4] bi[809][0] bi[809][1] bi[809][2] bi[809][3] bi[809][4] bi[810][0] bi[810][1] bi[810][2] bi[810][3] bi[810][4] bi[811][0] bi[811][1] bi[811][2] bi[811][3] bi[811][4] bi[812][0] bi[812][1] bi[812][2] bi[812][3] bi[812][4] bi[813][0] bi[813][1] bi[813][2] bi[813][3] bi[813][4] bi[814][0] bi[814][1] bi[814][2] bi[814][3] bi[814][4] bi[815][0] bi[815][1] bi[815][2] bi[815][3] bi[815][4] bi[816][0] bi[816][1] bi[816][2] bi[816][3] bi[816][4] bi[817][0] bi[817][1] bi[817][2] bi[817][3] bi[817][4] bi[818][0] bi[818][1] bi[818][2] bi[818][3] bi[818][4] bi[819][0] bi[819][1] bi[819][2] bi[819][3] bi[819][4] bi[820][0] bi[820][1] bi[820][2] bi[820][3] bi[820][4] bi[821][0] bi[821][1] bi[821][2] bi[821][3] bi[821][4] bi[822][0] bi[822][1] bi[822][2] bi[822][3] bi[822][4] bi[823][0] bi[823][1] bi[823][2] bi[823][3] bi[823][4] bi[824][0] bi[824][1] bi[824][2] bi[824][3] bi[824][4] bi[825][0] bi[825][1] bi[825][2] bi[825][3] bi[825][4] bi[826][0] bi[826][1] bi[826][2] bi[826][3] bi[826][4] bi[827][0] bi[827][1] bi[827][2] bi[827][3] bi[827][4] bi[828][0] bi[828][1] bi[828][2] bi[828][3] bi[828][4] bi[829][0] bi[829][1] bi[829][2] bi[829][3] bi[829][4] bi[830][0] bi[830][1] bi[830][2] bi[830][3] bi[830][4] bi[831][0] bi[831][1] bi[831][2] bi[831][3] bi[831][4] bi[832][0] bi[832][1] bi[832][2] bi[832][3] bi[832][4] bi[833][0] bi[833][1] bi[833][2] bi[833][3] bi[833][4] bi[834][0] bi[834][1] bi[834][2] bi[834][3] bi[834][4] bi[835][0] bi[835][1] bi[835][2] bi[835][3] bi[835][4] bi[836][0] bi[836][1] bi[836][2] bi[836][3] bi[836][4] bi[837][0] bi[837][1] bi[837][2] bi[837][3] bi[837][4] bi[838][0] bi[838][1] bi[838][2] bi[838][3] bi[838][4] bi[839][0] bi[839][1] bi[839][2] bi[839][3] bi[839][4] bi[840][0] bi[840][1] bi[840][2] bi[840][3] bi[840][4] bi[841][0] bi[841][1] bi[841][2] bi[841][3] bi[841][4] bi[842][0] bi[842][1] bi[842][2] bi[842][3] bi[842][4] bi[843][0] bi[843][1] bi[843][2] bi[843][3] bi[843][4] bi[844][0] bi[844][1] bi[844][2] bi[844][3] bi[844][4] bi[845][0] bi[845][1] bi[845][2] bi[845][3] bi[845][4] bi[846][0] bi[846][1] bi[846][2] bi[846][3] bi[846][4] bi[847][0] bi[847][1] bi[847][2] bi[847][3] bi[847][4] bi[848][0] bi[848][1] bi[848][2] bi[848][3] bi[848][4] bi[849][0] bi[849][1] bi[849][2] bi[849][3] bi[849][4] bi[850][0] bi[850][1] bi[850][2] bi[850][3] bi[850][4] bi[851][0] bi[851][1] bi[851][2] bi[851][3] bi[851][4] bi[852][0] bi[852][1] bi[852][2] bi[852][3] bi[852][4] bi[853][0] bi[853][1] bi[853][2] bi[853][3] bi[853][4] bi[854][0] bi[854][1] bi[854][2] bi[854][3] bi[854][4] bi[855][0] bi[855][1] bi[855][2] bi[855][3] bi[855][4] bi[856][0] bi[856][1] bi[856][2] bi[856][3] bi[856][4] bi[857][0] bi[857][1] bi[857][2] bi[857][3] bi[857][4] bi[858][0] bi[858][1] bi[858][2] bi[858][3] bi[858][4] bi[859][0] bi[859][1] bi[859][2] bi[859][3] bi[859][4] bi[860][0] bi[860][1] bi[860][2] bi[860][3] bi[860][4] bi[861][0] bi[861][1] bi[861][2] bi[861][3] bi[861][4] bi[862][0] bi[862][1] bi[862][2] bi[862][3] bi[862][4] bi[863][0] bi[863][1] bi[863][2] bi[863][3] bi[863][4] bi[864][0] bi[864][1] bi[864][2] bi[864][3] bi[864][4] bi[865][0] bi[865][1] bi[865][2] bi[865][3] bi[865][4] bi[866][0] bi[866][1] bi[866][2] bi[866][3] bi[866][4] bi[867][0] bi[867][1] bi[867][2] bi[867][3] bi[867][4] bi[868][0] bi[868][1] bi[868][2] bi[868][3] bi[868][4] bi[869][0] bi[869][1] bi[869][2] bi[869][3] bi[869][4] bi[870][0] bi[870][1] bi[870][2] bi[870][3] bi[870][4] bi[871][0] bi[871][1] bi[871][2] bi[871][3] bi[871][4] bi[872][0] bi[872][1] bi[872][2] bi[872][3] bi[872][4] bi[873][0] bi[873][1] bi[873][2] bi[873][3] bi[873][4] bi[874][0] bi[874][1] bi[874][2] bi[874][3] bi[874][4] bi[875][0] bi[875][1] bi[875][2] bi[875][3] bi[875][4] bi[876][0] bi[876][1] bi[876][2] bi[876][3] bi[876][4] bi[877][0] bi[877][1] bi[877][2] bi[877][3] bi[877][4] bi[878][0] bi[878][1] bi[878][2] bi[878][3] bi[878][4] bi[879][0] bi[879][1] bi[879][2] bi[879][3] bi[879][4] bi[880][0] bi[880][1] bi[880][2] bi[880][3] bi[880][4] bi[881][0] bi[881][1] bi[881][2] bi[881][3] bi[881][4] bi[882][0] bi[882][1] bi[882][2] bi[882][3] bi[882][4] bi[883][0] bi[883][1] bi[883][2] bi[883][3] bi[883][4] bi[884][0] bi[884][1] bi[884][2] bi[884][3] bi[884][4] bi[885][0] bi[885][1] bi[885][2] bi[885][3] bi[885][4] bi[886][0] bi[886][1] bi[886][2] bi[886][3] bi[886][4] bi[887][0] bi[887][1] bi[887][2] bi[887][3] bi[887][4] bi[888][0] bi[888][1] bi[888][2] bi[888][3] bi[888][4] bi[889][0] bi[889][1] bi[889][2] bi[889][3] bi[889][4] bi[890][0] bi[890][1] bi[890][2] bi[890][3] bi[890][4] bi[891][0] bi[891][1] bi[891][2] bi[891][3] bi[891][4] bi[892][0] bi[892][1] bi[892][2] bi[892][3] bi[892][4] bi[893][0] bi[893][1] bi[893][2] bi[893][3] bi[893][4] bi[894][0] bi[894][1] bi[894][2] bi[894][3] bi[894][4] bi[895][0] bi[895][1] bi[895][2] bi[895][3] bi[895][4] bi[896][0] bi[896][1] bi[896][2] bi[896][3] bi[896][4] bi[897][0] bi[897][1] bi[897][2] bi[897][3] bi[897][4] bi[898][0] bi[898][1] bi[898][2] bi[898][3] bi[898][4] bi[899][0] bi[899][1] bi[899][2] bi[899][3] bi[899][4] bi[900][0] bi[900][1] bi[900][2] bi[900][3] bi[900][4] bi[901][0] bi[901][1] bi[901][2] bi[901][3] bi[901][4] bi[902][0] bi[902][1] bi[902][2] bi[902][3] bi[902][4] bi[903][0] bi[903][1] bi[903][2] bi[903][3] bi[903][4] bi[904][0] bi[904][1] bi[904][2] bi[904][3] bi[904][4] bi[905][0] bi[905][1] bi[905][2] bi[905][3] bi[905][4] bi[906][0] bi[906][1] bi[906][2] bi[906][3] bi[906][4] bi[907][0] bi[907][1] bi[907][2] bi[907][3] bi[907][4] bi[908][0] bi[908][1] bi[908][2] bi[908][3] bi[908][4] bi[909][0] bi[909][1] bi[909][2] bi[909][3] bi[909][4] bi[910][0] bi[910][1] bi[910][2] bi[910][3] bi[910][4] bi[911][0] bi[911][1] bi[911][2] bi[911][3] bi[911][4] bi[912][0] bi[912][1] bi[912][2] bi[912][3] bi[912][4] bi[913][0] bi[913][1] bi[913][2] bi[913][3] bi[913][4] bi[914][0] bi[914][1] bi[914][2] bi[914][3] bi[914][4] bi[915][0] bi[915][1] bi[915][2] bi[915][3] bi[915][4] bi[916][0] bi[916][1] bi[916][2] bi[916][3] bi[916][4] bi[917][0] bi[917][1] bi[917][2] bi[917][3] bi[917][4] bi[918][0] bi[918][1] bi[918][2] bi[918][3] bi[918][4] bi[919][0] bi[919][1] bi[919][2] bi[919][3] bi[919][4] bi[920][0] bi[920][1] bi[920][2] bi[920][3] bi[920][4] bi[921][0] bi[921][1] bi[921][2] bi[921][3] bi[921][4] bi[922][0] bi[922][1] bi[922][2] bi[922][3] bi[922][4] bi[923][0] bi[923][1] bi[923][2] bi[923][3] bi[923][4] bi[924][0] bi[924][1] bi[924][2] bi[924][3] bi[924][4] bi[925][0] bi[925][1] bi[925][2] bi[925][3] bi[925][4] bi[926][0] bi[926][1] bi[926][2] bi[926][3] bi[926][4] bi[927][0] bi[927][1] bi[927][2] bi[927][3] bi[927][4] bi[928][0] bi[928][1] bi[928][2] bi[928][3] bi[928][4] bi[929][0] bi[929][1] bi[929][2] bi[929][3] bi[929][4] bi[930][0] bi[930][1] bi[930][2] bi[930][3] bi[930][4] bi[931][0] bi[931][1] bi[931][2] bi[931][3] bi[931][4] bi[932][0] bi[932][1] bi[932][2] bi[932][3] bi[932][4] bi[933][0] bi[933][1] bi[933][2] bi[933][3] bi[933][4] bi[934][0] bi[934][1] bi[934][2] bi[934][3] bi[934][4] bi[935][0] bi[935][1] bi[935][2] bi[935][3] bi[935][4] bi[936][0] bi[936][1] bi[936][2] bi[936][3] bi[936][4] bi[937][0] bi[937][1] bi[937][2] bi[937][3] bi[937][4] bi[938][0] bi[938][1] bi[938][2] bi[938][3] bi[938][4] bi[939][0] bi[939][1] bi[939][2] bi[939][3] bi[939][4] bi[940][0] bi[940][1] bi[940][2] bi[940][3] bi[940][4] bi[941][0] bi[941][1] bi[941][2] bi[941][3] bi[941][4] bi[942][0] bi[942][1] bi[942][2] bi[942][3] bi[942][4] bi[943][0] bi[943][1] bi[943][2] bi[943][3] bi[943][4] bi[944][0] bi[944][1] bi[944][2] bi[944][3] bi[944][4] bi[945][0] bi[945][1] bi[945][2] bi[945][3] bi[945][4] bi[946][0] bi[946][1] bi[946][2] bi[946][3] bi[946][4] bi[947][0] bi[947][1] bi[947][2] bi[947][3] bi[947][4] bi[948][0] bi[948][1] bi[948][2] bi[948][3] bi[948][4] bi[949][0] bi[949][1] bi[949][2] bi[949][3] bi[949][4] bi[950][0] bi[950][1] bi[950][2] bi[950][3] bi[950][4] bi[951][0] bi[951][1] bi[951][2] bi[951][3] bi[951][4] bi[952][0] bi[952][1] bi[952][2] bi[952][3] bi[952][4] bi[953][0] bi[953][1] bi[953][2] bi[953][3] bi[953][4] bi[954][0] bi[954][1] bi[954][2] bi[954][3] bi[954][4] bi[955][0] bi[955][1] bi[955][2] bi[955][3] bi[955][4] bi[956][0] bi[956][1] bi[956][2] bi[956][3] bi[956][4] bi[957][0] bi[957][1] bi[957][2] bi[957][3] bi[957][4] bi[958][0] bi[958][1] bi[958][2] bi[958][3] bi[958][4] bi[959][0] bi[959][1] bi[959][2] bi[959][3] bi[959][4] bi[960][0] bi[960][1] bi[960][2] bi[960][3] bi[960][4] bi[961][0] bi[961][1] bi[961][2] bi[961][3] bi[961][4] bi[962][0] bi[962][1] bi[962][2] bi[962][3] bi[962][4] bi[963][0] bi[963][1] bi[963][2] bi[963][3] bi[963][4] bi[964][0] bi[964][1] bi[964][2] bi[964][3] bi[964][4] bi[965][0] bi[965][1] bi[965][2] bi[965][3] bi[965][4] bi[966][0] bi[966][1] bi[966][2] bi[966][3] bi[966][4] bi[967][0] bi[967][1] bi[967][2] bi[967][3] bi[967][4] bi[968][0] bi[968][1] bi[968][2] bi[968][3] bi[968][4] bi[969][0] bi[969][1] bi[969][2] bi[969][3] bi[969][4] bi[970][0] bi[970][1] bi[970][2] bi[970][3] bi[970][4] bi[971][0] bi[971][1] bi[971][2] bi[971][3] bi[971][4] bi[972][0] bi[972][1] bi[972][2] bi[972][3] bi[972][4] bi[973][0] bi[973][1] bi[973][2] bi[973][3] bi[973][4] bi[974][0] bi[974][1] bi[974][2] bi[974][3] bi[974][4] bi[975][0] bi[975][1] bi[975][2] bi[975][3] bi[975][4] bi[976][0] bi[976][1] bi[976][2] bi[976][3] bi[976][4] bi[977][0] bi[977][1] bi[977][2] bi[977][3] bi[977][4] bi[978][0] bi[978][1] bi[978][2] bi[978][3] bi[978][4] bi[979][0] bi[979][1] bi[979][2] bi[979][3] bi[979][4] bi[980][0] bi[980][1] bi[980][2] bi[980][3] bi[980][4] bi[981][0] bi[981][1] bi[981][2] bi[981][3] bi[981][4] bi[982][0] bi[982][1] bi[982][2] bi[982][3] bi[982][4] bi[983][0] bi[983][1] bi[983][2] bi[983][3] bi[983][4] bi[984][0] bi[984][1] bi[984][2] bi[984][3] bi[984][4] bi[985][0] bi[985][1] bi[985][2] bi[985][3] bi[985][4] bi[986][0] bi[986][1] bi[986][2] bi[986][3] bi[986][4] bi[987][0] bi[987][1] bi[987][2] bi[987][3] bi[987][4] bi[988][0] bi[988][1] bi[988][2] bi[988][3] bi[988][4] bi[989][0] bi[989][1] bi[989][2] bi[989][3] bi[989][4] bi[990][0] bi[990][1] bi[990][2] bi[990][3] bi[990][4] bi[991][0] bi[991][1] bi[991][2] bi[991][3] bi[991][4] bi[992][0] bi[992][1] bi[992][2] bi[992][3] bi[992][4] bi[993][0] bi[993][1] bi[993][2] bi[993][3] bi[993][4] bi[994][0] bi[994][1] bi[994][2] bi[994][3] bi[994][4] bi[995][0] bi[995][1] bi[995][2] bi[995][3] bi[995][4] bi[996][0] bi[996][1] bi[996][2] bi[996][3] bi[996][4] bi[997][0] bi[997][1] bi[997][2] bi[997][3] bi[997][4] bi[998][0] bi[998][1] bi[998][2] bi[998][3] bi[998][4] bi[999][0] bi[999][1] bi[999][2] bi[999][3] bi[999][4] bi[1000][0] bi[1000][1] bi[1000][2] bi[1000][3] bi[1000][4] bi[1001][0] bi[1001][1] bi[1001][2] bi[1001][3] bi[1001][4] bi[1002][0] bi[1002][1] bi[1002][2] bi[1002][3] bi[1002][4] bi[1003][0] bi[1003][1] bi[1003][2] bi[1003][3] bi[1003][4] bi[1004][0] bi[1004][1] bi[1004][2] bi[1004][3] bi[1004][4] bi[1005][0] bi[1005][1] bi[1005][2] bi[1005][3] bi[1005][4] bi[1006][0] bi[1006][1] bi[1006][2] bi[1006][3] bi[1006][4] bi[1007][0] bi[1007][1] bi[1007][2] bi[1007][3] bi[1007][4] bi[1008][0] bi[1008][1] bi[1008][2] bi[1008][3] bi[1008][4] bi[1009][0] bi[1009][1] bi[1009][2] bi[1009][3] bi[1009][4] bi[1010][0] bi[1010][1] bi[1010][2] bi[1010][3] bi[1010][4] bi[1011][0] bi[1011][1] bi[1011][2] bi[1011][3] bi[1011][4] bi[1012][0] bi[1012][1] bi[1012][2] bi[1012][3] bi[1012][4] bi[1013][0] bi[1013][1] bi[1013][2] bi[1013][3] bi[1013][4] bi[1014][0] bi[1014][1] bi[1014][2] bi[1014][3] bi[1014][4] bi[1015][0] bi[1015][1] bi[1015][2] bi[1015][3] bi[1015][4] bi[1016][0] bi[1016][1] bi[1016][2] bi[1016][3] bi[1016][4] bi[1017][0] bi[1017][1] bi[1017][2] bi[1017][3] bi[1017][4] bi[1018][0] bi[1018][1] bi[1018][2] bi[1018][3] bi[1018][4] bi[1019][0] bi[1019][1] bi[1019][2] bi[1019][3] bi[1019][4] bi[1020][0] bi[1020][1] bi[1020][2] bi[1020][3] bi[1020][4] bi[1021][0] bi[1021][1] bi[1021][2] bi[1021][3] bi[1021][4] bi[1022][0] bi[1022][1] bi[1022][2] bi[1022][3] bi[1022][4] bi[1023][0] bi[1023][1] bi[1023][2] bi[1023][3] bi[1023][4] g[0] g[1] g[2] g[3] </list> 4.41/4.56 v <values> 0 2 8 32 128 513 6 24 96 384 514 9 37 148 592 321 260 17 68 272 65 261 21 84 336 322 264 33 132 528 66 265 38 152 608 385 516 18 72 288 129 517 22 88 352 386 520 34 136 544 130 521 39 156 624 448 769 7 28 112 449 772 19 76 304 192 770 11 44 176 704 771 13 52 208 832 259 14 56 224 896 515 15 60 240 961 773 23 92 368 450 776 35 140 560 193 774 25 100 400 577 262 26 104 416 641 518 27 108 432 705 775 29 116 464 833 263 30 120 480 897 519 31 124 496 962 778 41 164 656 578 266 42 168 672 642 522 43 172 688 706 779 45 180 720 834 267 46 184 736 898 523 47 188 753 964 784 67 268 49 196 785 69 276 81 324 273 70 280 97 388 529 71 284 113 452 786 73 292 145 580 274 74 296 161 644 530 75 300 177 708 787 77 308 209 836 275 78 312 225 900 531 79 316 241 965 788 82 328 289 133 532 83 332 305 197 789 85 340 337 325 277 86 344 353 389 533 87 348 369 453 790 89 356 401 581 278 90 360 417 645 534 91 364 433 709 791 93 372 465 837 279 94 376 481 901 535 95 380 497 966 792 98 392 545 134 536 99 396 561 198 793 101 404 593 326 281 102 408 609 390 537 103 412 625 454 794 105 420 657 582 282 106 424 673 646 538 107 428 689 710 795 109 436 721 838 283 110 440 737 902 539 111 444 754 968 800 131 524 50 200 801 135 540 114 456 802 137 548 146 584 290 138 552 162 648 546 139 556 178 712 803 141 564 210 840 291 142 568 226 904 547 143 572 242 969 804 147 588 306 201 805 149 596 338 329 293 150 600 354 393 549 151 604 370 457 806 153 612 402 585 294 154 616 418 649 550 155 620 434 713 807 157 628 466 841 295 158 632 482 905 551 159 636 498 970 808 163 652 562 202 809 165 660 594 330 297 166 664 610 394 553 167 668 626 458 810 169 676 658 586 298 170 680 674 650 554 171 684 690 714 811 173 692 722 842 299 174 696 738 906 555 175 700 755 972 816 195 780 51 204 817 199 796 115 460 818 203 812 179 716 819 205 820 211 844 307 206 824 227 908 563 207 828 243 973 821 212 848 323 269 53 213 852 339 333 309 214 856 355 397 565 215 860 371 461 822 216 864 387 525 54 217 868 403 589 310 218 872 419 653 566 219 876 435 717 823 220 880 451 781 55 221 884 467 845 311 222 888 483 909 567 223 892 499 974 825 228 912 579 270 57 229 916 595 334 313 230 920 611 398 569 231 924 627 462 826 232 928 643 526 58 233 932 659 590 314 234 936 675 654 570 235 940 691 718 827 236 944 707 782 59 237 948 723 846 315 238 952 739 910 571 239 957 756 976 835 271 61 244 977 839 285 117 468 849 327 286 121 484 913 583 287 125 500 978 843 301 181 724 850 331 302 185 740 914 587 303 189 757 980 851 335 317 245 981 853 341 342 345 357 405 597 343 349 373 469 854 346 361 421 661 598 347 365 437 725 855 350 377 485 917 599 351 381 501 982 857 358 409 613 406 601 359 413 629 470 858 362 425 677 662 602 363 429 693 726 859 366 441 741 918 603 367 445 758 984 865 391 541 118 472 866 395 557 182 728 867 399 573 246 985 869 407 605 374 473 870 410 617 422 665 614 411 621 438 729 871 414 633 486 921 615 415 637 502 986 873 423 669 630 474 874 426 681 678 666 618 427 685 694 730 875 430 697 742 922 619 431 701 759 988 881 455 797 119 476 882 459 813 183 732 883 463 829 247 989 885 471 861 375 477 886 475 877 439 733 887 478 889 487 925 631 479 893 503 990 890 488 929 647 542 122 489 933 663 606 378 490 937 679 670 634 491 941 695 734 891 492 945 711 798 123 493 949 727 862 379 494 953 743 926 635 495 958 760 992 899 527 62 248 993 903 543 126 504 994 907 558 186 744 930 651 559 190 761 996 915 591 318 249 997 919 607 382 505 998 923 622 442 745 934 667 623 446 762 1000 931 655 574 250 1001 935 671 638 506 1002 938 682 683 686 698 746 939 687 702 763 1004 946 715 814 187 748 947 719 830 251 1005 950 731 878 443 749 951 735 894 507 1006 954 747 942 699 750 955 751 959 764 1008 963 783 63 252 1009 967 799 127 508 1010 971 815 191 765 1012 979 847 319 253 1013 983 863 383 509 1014 987 879 447 766 1016 995 911 575 254 1017 999 927 639 510 1018 1003 943 703 767 1020 1011 975 831 255 1021 1015 991 895 511 1023 1022 1019 1007 956 752 960 768 3 12 48 194 777 36 144 576 256 1 4 16 64 257 5 20 80 320 258 10 40 160 640 512 0 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 0 2 0 0 0 2 0 0 0 2 0 0 0 1 0 0 0 1 2 0 0 1 2 0 0 1 2 0 0 1 2 0 0 0 2 0 0 0 2 0 0 0 2 1 0 0 2 1 1 0 2 1 1 0 2 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 0 1 1 1 0 1 1 1 0 0 1 1 0 0 2 1 0 0 2 0 0 0 2 0 1 0 2 0 1 0 2 0 1 0 0 0 1 0 0 2 1 0 0 2 1 0 0 2 1 2 0 2 1 2 0 2 1 2 0 0 1 2 0 0 1 2 0 0 1 0 0 0 1 0 2 0 1 0 2 0 1 0 2 0 0 0 2 0 0 1 2 0 0 1 1 0 0 1 1 2 0 1 1 2 0 1 1 2 0 0 1 2 0 0 2 2 0 0 2 0 0 0 2 0 2 0 2 0 2 0 2 0 2 0 0 0 2 0 0 2 2 0 0 2 1 0 0 2 1 3 0 2 1 3 0 2 1 3 0 0 1 3 0 0 0 3 0 0 0 1 0 0 0 1 3 0 0 1 3 0 0 1 3 0 0 1 3 0 0 1 3 0 0 1 0 0 0 1 0 3 0 1 0 3 0 1 0 3 0 0 0 3 0 0 0 3 0 0 0 2 0 0 0 2 3 0 0 2 3 0 0 2 3 0 0 2 3 0 0 0 3 0 0 0 3 0 0 0 3 1 0 0 3 1 0 0 3 1 0 0 3 1 0 0 0 1 0 0 0 3 0 0 0 3 2 0 0 3 2 0 0 3 2 0 0 3 2 0 0 0 2 0 0 0 3 0 0 0 3 3 0 0 3 3 0 0 3 3 0 0 3 3 0 0 1 3 0 0 1 1 0 0 1 1 3 0 1 1 3 0 1 1 3 0 0 1 3 0 0 2 3 0 0 2 0 0 0 2 0 3 0 2 0 3 0 2 0 3 0 0 0 3 0 0 1 3 0 0 1 2 0 0 1 2 1 0 1 2 1 0 1 2 1 0 0 2 1 0 0 1 1 0 0 1 2 0 0 1 2 2 0 1 2 2 0 1 2 2 0 0 2 2 0 0 1 2 0 0 1 2 0 0 1 2 3 0 1 2 3 0 1 2 3 0 0 2 3 0 0 1 3 0 0 1 3 0 0 1 3 1 0 1 3 1 0 1 3 1 0 0 3 1 0 0 1 1 0 0 1 3 0 0 1 3 2 0 1 3 2 0 1 3 2 0 0 3 2 0 0 1 2 0 0 1 3 0 0 1 3 3 0 1 3 3 0 1 3 3 0 0 3 3 0 0 2 3 0 0 2 2 0 0 2 2 1 0 2 2 1 0 2 2 1 0 0 2 1 0 0 2 1 0 0 2 2 0 0 2 2 2 0 2 2 2 0 2 2 2 0 0 2 2 0 0 2 2 0 0 2 2 0 0 2 2 3 0 2 2 3 0 2 2 3 0 0 2 3 0 0 2 3 0 0 2 3 0 0 2 3 1 0 2 3 1 0 2 3 1 0 0 3 1 0 0 2 1 0 0 2 3 0 0 2 3 2 0 2 3 2 0 2 3 2 0 0 3 2 0 0 2 2 0 0 2 3 0 0 2 3 3 0 2 3 3 0 2 3 3 0 1 3 3 0 1 0 3 0 1 0 0 0 1 0 0 3 1 0 0 3 0 0 0 3 0 1 0 3 0 1 0 3 0 1 0 1 0 1 0 1 1 1 0 1 1 0 0 1 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 2 1 0 1 2 0 0 1 2 0 1 1 2 0 1 0 2 0 1 0 1 0 1 0 1 3 1 0 1 3 0 0 1 3 0 1 1 3 0 1 0 3 0 1 0 2 0 1 0 2 1 1 0 2 1 0 0 2 1 0 1 2 1 0 1 0 1 0 1 0 2 0 1 0 2 2 1 0 2 2 0 0 2 2 0 1 2 2 0 1 0 2 0 1 0 2 0 1 0 2 3 1 0 2 3 0 0 2 3 0 1 2 3 0 1 0 3 0 1 0 3 0 1 0 3 1 1 0 3 1 0 0 3 1 0 1 3 1 0 1 0 1 0 1 0 3 0 1 0 3 2 1 0 3 2 0 0 3 2 0 1 3 2 0 1 0 2 0 1 0 3 0 1 0 3 3 1 0 3 3 0 0 3 3 0 1 3 3 0 1 1 3 0 1 1 0 0 1 1 0 2 1 1 0 2 0 1 0 2 0 1 0 2 0 1 1 2 0 1 1 0 0 1 1 0 3 1 1 0 3 0 1 0 3 0 1 0 3 0 1 1 3 0 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 2 1 1 1 2 0 1 1 2 0 1 1 2 0 1 1 2 0 1 1 1 0 1 1 1 3 1 1 1 3 0 1 1 3 0 1 1 3 0 1 1 3 0 1 1 2 0 1 1 2 1 1 1 2 1 0 1 2 1 0 1 2 1 0 1 1 1 0 1 1 2 0 1 1 2 2 1 1 2 2 0 1 2 2 0 1 2 2 0 1 1 2 0 1 1 2 0 1 1 2 3 1 1 2 3 0 1 2 3 0 1 2 3 0 1 1 3 0 1 1 3 0 1 1 3 1 1 1 3 1 0 1 3 1 0 1 3 1 0 1 1 1 0 1 1 3 0 1 1 3 2 1 1 3 2 0 1 3 2 0 1 3 2 0 1 1 2 0 1 1 3 0 1 1 3 3 1 1 3 3 0 1 3 3 0 1 3 3 0 1 2 3 0 1 2 0 0 1 2 0 2 1 2 0 2 0 2 0 2 0 1 0 2 0 1 2 2 0 1 2 0 0 1 2 0 3 1 2 0 3 0 2 0 3 0 1 0 3 0 1 2 3 0 1 2 1 0 1 2 1 1 1 2 1 1 0 2 1 1 0 1 1 1 0 1 2 1 0 1 2 1 0 1 2 1 2 1 2 1 2 0 2 1 2 0 1 1 2 0 1 2 2 0 1 2 1 0 1 2 1 3 1 2 1 3 0 2 1 3 0 1 1 3 0 1 2 3 0 1 2 2 0 1 2 2 1 1 2 2 1 0 2 2 1 0 1 2 1 0 1 2 1 0 1 2 2 0 1 2 2 2 1 2 2 2 0 2 2 2 0 1 2 2 0 1 2 2 0 1 2 2 0 1 2 2 3 1 2 2 3 0 2 2 3 0 1 2 3 0 1 2 3 0 1 2 3 0 1 2 3 1 1 2 3 1 0 2 3 1 0 1 3 1 0 1 2 1 0 1 2 3 0 1 2 3 2 1 2 3 2 0 2 3 2 0 1 3 2 0 1 2 2 0 1 2 3 0 1 2 3 3 1 2 3 3 0 2 3 3 0 2 3 3 0 2 0 3 0 2 0 0 0 2 0 0 3 2 0 0 3 0 0 0 3 0 2 0 3 0 2 0 3 0 2 0 1 0 2 0 1 3 2 0 1 3 0 0 1 3 0 2 1 3 0 2 0 3 0 2 0 2 0 2 0 2 1 2 0 2 1 0 0 2 1 0 2 2 1 0 2 0 1 0 2 0 2 0 2 0 2 2 2 0 2 2 0 0 2 2 0 2 2 2 0 2 0 2 0 2 0 2 0 2 0 2 3 2 0 2 3 0 0 2 3 0 2 2 3 0 2 0 3 0 2 0 3 0 2 0 3 1 2 0 3 1 0 0 3 1 0 2 3 1 0 2 0 1 0 2 0 3 0 2 0 3 2 2 0 3 2 0 0 3 2 0 2 3 2 0 2 0 2 0 2 0 3 0 2 0 3 3 2 0 3 3 0 0 3 3 0 2 3 3 0 2 1 3 0 2 1 0 0 2 1 0 3 2 1 0 3 0 1 0 3 0 2 0 3 0 2 1 3 0 2 1 1 0 2 1 1 1 2 1 1 1 0 1 1 1 0 2 1 1 0 2 1 1 0 2 1 1 0 2 1 1 2 2 1 1 2 0 1 1 2 0 2 1 2 0 2 1 2 0 2 1 1 0 2 1 1 3 2 1 1 3 0 1 1 3 0 2 1 3 0 2 1 3 0 2 1 2 0 2 1 2 1 2 1 2 1 0 1 2 1 0 2 2 1 0 2 1 1 0 2 1 2 0 2 1 2 2 2 1 2 2 0 1 2 2 0 2 2 2 0 2 1 2 0 2 1 2 0 2 1 2 3 2 1 2 3 0 1 2 3 0 2 2 3 0 2 1 3 0 2 1 3 0 2 1 3 1 2 1 3 1 0 1 3 1 0 2 3 1 0 2 1 1 0 2 1 3 0 2 1 3 2 2 1 3 2 0 1 3 2 0 2 3 2 0 2 1 2 0 2 1 3 0 2 1 3 3 2 1 3 3 0 1 3 3 0 2 3 3 0 2 2 3 0 2 2 0 0 2 2 0 3 2 2 0 3 0 2 0 3 0 2 0 3 0 2 2 3 0 2 2 1 0 2 2 1 1 2 2 1 1 0 2 1 1 0 2 1 1 0 2 2 1 0 2 2 1 0 2 2 1 2 2 2 1 2 0 2 1 2 0 2 1 2 0 2 2 2 0 2 2 1 0 2 2 1 3 2 2 1 3 0 2 1 3 0 2 1 3 0 2 2 3 0 2 2 2 0 2 2 2 1 2 2 2 1 0 2 2 1 0 2 2 1 0 2 2 1 0 2 2 2 0 2 2 2 2 2 2 2 2 0 2 2 2 0 2 2 2 0 2 2 2 0 2 2 2 0 2 2 2 3 2 2 2 3 0 2 2 3 0 2 2 3 0 2 2 3 0 2 2 3 0 2 2 3 1 2 2 3 1 0 2 3 1 0 2 3 1 0 2 2 1 0 2 2 3 0 2 2 3 2 2 2 3 2 0 2 3 2 0 2 3 2 0 2 2 2 0 2 2 3 0 2 2 3 3 2 2 3 3 0 2 3 3 0 3 3 3 0 3 0 3 0 3 0 0 0 3 0 0 3 3 0 0 3 0 0 0 3 0 3 0 3 0 3 0 3 0 3 0 1 0 3 0 1 3 3 0 1 3 0 0 1 3 0 3 1 3 0 3 0 3 0 3 0 2 0 3 0 2 3 3 0 2 3 0 0 2 3 0 3 2 3 0 3 0 3 0 3 0 3 0 3 0 3 1 3 0 3 1 0 0 3 1 0 3 3 1 0 3 0 1 0 3 0 3 0 3 0 3 2 3 0 3 2 0 0 3 2 0 3 3 2 0 3 0 2 0 3 0 3 0 3 0 3 3 3 0 3 3 0 0 3 3 0 3 3 3 0 3 1 3 0 3 1 1 0 3 1 1 0 3 1 1 0 0 1 1 0 0 3 1 0 0 3 1 0 0 3 1 1 0 3 1 1 1 3 1 1 1 0 1 1 1 0 3 1 1 0 3 1 1 0 3 1 1 0 3 1 1 2 3 1 1 2 0 1 1 2 0 3 1 2 0 3 1 2 0 3 1 1 0 3 1 1 3 3 1 1 3 0 1 1 3 0 3 1 3 0 3 1 3 0 3 1 2 0 3 1 2 0 3 1 2 0 0 1 2 0 0 3 2 0 0 3 1 0 0 3 1 2 0 3 1 2 1 3 1 2 1 0 1 2 1 0 3 2 1 0 3 1 1 0 3 1 2 0 3 1 2 2 3 1 2 2 0 1 2 2 0 3 2 2 0 3 1 2 0 3 1 2 0 3 1 2 3 3 1 2 3 0 1 2 3 0 3 2 3 0 3 1 3 0 3 1 3 0 3 1 3 0 3 1 3 0 0 1 3 0 0 3 3 0 0 3 1 0 0 3 1 3 0 3 1 3 1 3 1 3 1 0 1 3 1 0 3 3 1 0 3 1 1 0 3 1 3 0 3 1 3 2 3 1 3 2 0 1 3 2 0 3 3 2 0 3 1 2 0 3 1 3 0 3 1 3 3 3 1 3 3 0 1 3 3 0 3 3 3 0 3 2 3 0 3 2 1 0 3 2 1 0 3 2 1 0 0 2 1 0 0 3 1 0 0 3 2 0 0 3 2 1 0 3 2 1 1 3 2 1 1 0 2 1 1 0 3 1 1 0 3 2 1 0 3 2 1 0 3 2 1 2 3 2 1 2 0 2 1 2 0 3 1 2 0 3 2 2 0 3 2 1 0 3 2 1 3 3 2 1 3 0 2 1 3 0 3 1 3 0 3 2 3 0 3 2 2 0 3 2 2 0 3 2 2 0 0 2 2 0 0 3 2 0 0 3 2 0 0 3 2 2 0 3 2 2 1 3 2 2 1 0 2 2 1 0 3 2 1 0 3 2 1 0 3 2 2 0 3 2 2 2 3 2 2 2 0 2 2 2 0 3 2 2 0 3 2 2 0 3 2 2 0 3 2 2 3 3 2 2 3 0 2 2 3 0 3 2 3 0 3 2 3 0 3 2 3 0 3 2 3 0 3 2 3 0 0 2 3 0 0 3 3 0 0 3 2 0 0 3 2 3 0 3 2 3 1 3 2 3 1 0 2 3 1 0 3 3 1 0 3 2 1 0 3 2 3 0 3 2 3 2 3 2 3 2 0 2 3 2 0 3 3 2 0 3 2 2 0 3 2 3 0 3 2 3 3 3 2 3 3 1 2 3 3 1 0 3 3 1 0 0 3 1 0 0 3 1 0 0 3 3 0 0 3 3 1 0 3 3 1 0 3 3 1 0 1 3 1 0 1 3 1 0 1 3 1 0 1 3 1 1 1 3 1 1 0 3 1 1 0 1 1 1 0 1 3 1 0 1 3 2 0 1 3 2 1 1 3 2 1 0 3 2 1 0 1 2 1 0 1 3 1 0 1 3 3 0 1 3 3 1 1 3 3 1 0 3 3 1 0 2 3 1 0 2 3 1 0 2 3 1 0 2 3 1 1 2 3 1 1 0 3 1 1 0 2 1 1 0 2 3 1 0 2 3 2 0 2 3 2 1 2 3 2 1 0 3 2 1 0 2 2 1 0 2 3 1 0 2 3 3 0 2 3 3 1 2 3 3 1 1 3 3 1 1 0 3 1 1 0 3 1 1 0 3 3 1 0 3 3 1 0 3 3 1 1 3 3 1 1 1 3 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 1 1 2 1 1 1 2 1 1 1 2 1 1 1 2 1 1 1 1 1 1 1 1 3 1 1 1 3 1 1 1 3 1 1 1 3 1 1 1 3 1 1 1 2 1 1 1 2 2 1 1 2 2 1 1 2 2 1 1 2 2 1 1 1 2 1 1 1 2 1 1 1 2 3 1 1 2 3 1 1 2 3 1 1 2 3 1 1 1 3 1 1 1 3 1 1 1 3 2 1 1 3 2 1 1 3 2 1 1 3 2 1 1 1 2 1 1 1 3 1 1 1 3 3 1 1 3 3 1 1 3 3 1 1 3 3 1 1 2 3 1 1 2 1 1 1 2 1 2 1 2 1 2 1 2 1 2 1 1 1 2 1 1 2 2 1 1 2 1 1 1 2 1 3 1 2 1 3 1 2 1 3 1 1 1 3 1 1 2 3 1 1 2 2 1 1 2 2 2 1 2 2 2 1 2 2 2 1 1 2 2 1 1 2 2 1 1 2 2 1 1 2 2 3 1 2 2 3 1 2 2 3 1 1 2 3 1 1 2 3 1 1 2 3 1 1 2 3 2 1 2 3 2 1 2 3 2 1 1 3 2 1 1 2 2 1 1 2 3 1 1 2 3 3 1 2 3 3 1 2 3 3 1 2 3 3 1 2 0 3 1 2 0 1 1 2 0 1 3 2 0 1 3 1 0 1 3 1 2 1 3 1 2 0 3 1 2 0 2 1 2 0 2 3 2 0 2 3 1 0 2 3 1 2 2 3 1 2 0 3 1 2 0 3 1 2 0 3 3 2 0 3 3 1 0 3 3 1 2 3 3 1 2 1 3 1 2 1 1 1 2 1 1 3 2 1 1 3 1 1 1 3 1 2 1 3 1 2 1 3 1 2 1 2 1 2 1 2 2 2 1 2 2 1 1 2 2 1 2 2 2 1 2 1 2 1 2 1 2 1 2 1 2 3 2 1 2 3 1 1 2 3 1 2 2 3 1 2 1 3 1 2 1 3 1 2 1 3 2 2 1 3 2 1 1 3 2 1 2 3 2 1 2 1 2 1 2 1 3 1 2 1 3 3 2 1 3 3 1 1 3 3 1 2 3 3 1 2 2 3 1 2 2 1 1 2 2 1 3 2 2 1 3 1 2 1 3 1 2 1 3 1 2 2 3 1 2 2 2 1 2 2 2 2 2 2 2 2 1 2 2 2 1 2 2 2 1 2 2 2 1 2 2 2 1 2 2 2 3 2 2 2 3 1 2 2 3 1 2 2 3 1 2 2 3 1 2 2 3 1 2 2 3 2 2 2 3 2 1 2 3 2 1 2 3 2 1 2 2 2 1 2 2 3 1 2 2 3 3 2 2 3 3 1 2 3 3 1 3 3 3 1 3 0 3 1 3 0 1 1 3 0 1 3 3 0 1 3 1 0 1 3 1 3 1 3 1 3 0 3 1 3 0 2 1 3 0 2 3 3 0 2 3 1 0 2 3 1 3 2 3 1 3 0 3 1 3 0 3 1 3 0 3 3 3 0 3 3 1 0 3 3 1 3 3 3 1 3 1 3 1 3 1 1 1 3 1 1 3 3 1 1 3 1 1 1 3 1 3 1 3 1 3 1 3 1 3 1 2 1 3 1 2 3 3 1 2 3 1 1 2 3 1 3 2 3 1 3 1 3 1 3 1 3 1 3 1 3 2 3 1 3 2 1 1 3 2 1 3 3 2 1 3 1 2 1 3 1 3 1 3 1 3 3 3 1 3 3 1 1 3 3 1 3 3 3 1 3 2 3 1 3 2 2 1 3 2 2 0 3 2 2 0 1 2 2 0 1 3 2 0 1 3 2 0 1 3 2 2 1 3 2 2 1 3 2 2 1 1 2 2 1 1 3 2 1 1 3 2 1 1 3 2 2 1 3 2 2 2 3 2 2 2 1 2 2 2 1 3 2 2 1 3 2 2 1 3 2 2 1 3 2 2 3 3 2 2 3 1 2 2 3 1 3 2 3 1 3 2 3 1 3 2 3 1 3 2 3 0 3 2 3 0 1 2 3 0 1 3 3 0 1 3 2 0 1 3 2 3 1 3 2 3 1 3 2 3 1 1 2 3 1 1 3 3 1 1 3 2 1 1 3 2 3 1 3 2 3 2 3 2 3 2 1 2 3 2 1 3 3 2 1 3 2 2 1 3 2 3 1 3 2 3 3 3 2 3 3 2 2 3 3 2 0 3 3 2 0 0 3 2 0 0 3 2 0 0 3 3 0 0 3 3 2 0 3 3 2 0 3 3 2 0 1 3 2 0 1 3 2 0 1 3 3 0 1 3 3 2 1 3 3 2 0 3 3 2 0 2 3 2 0 2 3 2 0 2 3 2 0 2 3 2 2 2 3 2 2 0 3 2 2 0 2 2 2 0 2 3 2 0 2 3 3 0 2 3 3 2 2 3 3 2 1 3 3 2 1 0 3 2 1 0 3 2 1 0 3 3 1 0 3 3 2 0 3 3 2 1 3 3 2 1 1 3 2 1 1 3 2 1 1 3 3 1 1 3 3 2 1 3 3 2 1 3 3 2 1 2 3 2 1 2 3 2 1 2 3 2 1 2 3 2 2 2 3 2 2 1 3 2 2 1 2 2 2 1 2 3 2 1 2 3 3 1 2 3 3 2 2 3 3 2 2 3 3 2 2 0 3 2 2 0 3 2 2 0 3 3 2 0 3 3 2 0 3 3 2 2 3 3 2 2 1 3 2 2 1 3 2 2 1 3 3 2 1 3 3 2 1 3 3 2 2 3 3 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 3 2 2 2 3 2 2 2 3 2 2 2 3 2 2 2 3 2 2 2 3 3 2 2 3 3 2 2 3 3 2 3 3 3 2 3 0 3 2 3 0 2 2 3 0 2 3 3 0 2 3 2 0 2 3 2 3 2 3 2 3 0 3 2 3 0 3 2 3 0 3 3 3 0 3 3 2 0 3 3 2 3 3 3 2 3 1 3 2 3 1 2 2 3 1 2 3 3 1 2 3 2 1 2 3 2 3 2 3 2 3 1 3 2 3 1 3 2 3 1 3 3 3 1 3 3 2 1 3 3 2 3 3 3 2 3 2 3 2 3 2 2 2 3 2 2 3 3 2 2 3 2 2 2 3 2 3 2 3 2 3 2 3 2 3 2 3 2 3 2 3 3 3 2 3 3 3 2 3 3 3 0 3 3 3 0 0 3 3 0 0 3 3 0 0 3 3 0 0 3 3 3 0 3 3 3 0 3 3 3 0 1 3 3 0 1 3 3 0 1 3 3 0 1 3 3 3 1 3 3 3 0 3 3 3 0 2 3 3 0 2 3 3 0 2 3 3 0 2 3 3 3 2 3 3 3 1 3 3 3 1 0 3 3 1 0 3 3 1 0 3 3 1 0 3 3 3 0 3 3 3 1 3 3 3 1 1 3 3 1 1 3 3 1 1 3 3 1 1 3 3 3 1 3 3 3 1 3 3 3 1 2 3 3 1 2 3 3 1 2 3 3 1 2 3 3 3 2 3 3 3 2 3 3 3 2 0 3 3 2 0 3 3 2 0 3 3 2 0 3 3 3 0 3 3 3 2 3 3 3 2 1 3 3 2 1 3 3 2 1 3 3 2 1 3 3 3 1 3 3 3 2 3 3 3 2 2 3 3 2 2 3 3 2 2 3 3 2 2 3 3 3 2 3 3 3 3 3 3 3 3 0 3 3 3 0 3 3 3 0 3 3 3 0 3 3 3 0 3 3 3 3 3 3 3 3 1 3 3 3 1 3 3 3 1 3 3 3 1 3 3 3 1 3 3 3 3 3 3 3 3 3 3 3 3 3 2 3 3 3 2 3 3 3 2 3 3 3 2 3 3 0 2 3 3 0 0 3 3 0 0 0 3 0 0 0 0 0 0 0 0 3 0 0 0 3 0 0 0 3 0 0 0 3 0 0 2 3 0 0 2 1 0 0 2 1 0 0 2 1 0 0 2 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 2 0 0 0 2 2 0 0 2 2 0 0 2 2 0 0 2 2 0 0 0 2 0 0 0 0 256 256 256 256 </values> 4.41/4.57 v </instantiation>
OK
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4261293-1502360107/watcher-4261293-1502360107 -o /tmp/evaluation-result-4261293-1502360107/solver-4261293-1502360107 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502333727-2686 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 13283111 HOME/instance-4261293-1502360107.xml pid=7483 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.06 2.03 2.05 3/184 7486 /proc/meminfo: memFree=31537760/32770624 swapFree=0/225400 [pid=7486] ppid=7483 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/7486/stat : 7486 (runsolver) D 7483 7486 15981 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 38206331 24240128 108 18446744073709551615 4194304 4338465 140721949474256 140721949471896 140717557101271 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 24289280 140721949483150 140721949483594 140721949483594 140721949487050 0 /proc/7486/statm: 5918 108 54 36 0 2156 0 [startup+0.100196 s] /proc/loadavg: 2.06 2.03 2.05 3/184 7486 /proc/meminfo: memFree=31537760/32770624 swapFree=0/225400 [pid=7486] ppid=7483 vsize=30016 CPUtime=0 cores=0,2,4,6 /proc/7486/stat : 7486 (MistralXCSP) R 7483 7486 15981 0 -1 4202496 1272 0 0 0 0 0 0 0 20 0 1 0 38206331 30736384 1085 18446744073709551615 4194304 7396336 140730178458912 140730178455912 140315816676325 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25186304 140730178466229 140730178466377 140730178466377 140730178469833 0 /proc/7486/statm: 7504 1085 607 782 0 520 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 30016 [startup+0.200348 s] /proc/loadavg: 2.06 2.03 2.05 3/184 7486 /proc/meminfo: memFree=31537760/32770624 swapFree=0/225400 [pid=7486] ppid=7483 vsize=37896 CPUtime=0.1 cores=0,2,4,6 /proc/7486/stat : 7486 (MistralXCSP) R 7483 7486 15981 0 -1 4202496 3406 0 0 0 10 0 0 0 20 0 1 0 38206331 38805504 3154 18446744073709551615 4194304 7396336 140730178458912 140730178455912 140315816676325 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25186304 140730178466229 140730178466377 140730178466377 140730178469833 0 /proc/7486/statm: 9474 3154 711 782 0 2490 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 37896 [startup+0.300365 s] /proc/loadavg: 2.06 2.03 2.05 3/184 7486 /proc/meminfo: memFree=31537760/32770624 swapFree=0/225400 [pid=7486] ppid=7483 vsize=39616 CPUtime=0.2 cores=0,2,4,6 /proc/7486/stat : 7486 (MistralXCSP) R 7483 7486 15981 0 -1 4202496 3802 0 0 0 20 0 0 0 20 0 1 0 38206331 40566784 3550 18446744073709551615 4194304 7396336 140730178458912 140730178455912 6034735 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25186304 140730178466229 140730178466377 140730178466377 140730178469833 0 /proc/7486/statm: 9904 3550 711 782 0 2920 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 39616 [startup+0.70028 s] /proc/loadavg: 2.06 2.03 2.05 3/184 7486 /proc/meminfo: memFree=31537760/32770624 swapFree=0/225400 [pid=7486] ppid=7483 vsize=39880 CPUtime=0.6 cores=0,2,4,6 /proc/7486/stat : 7486 (MistralXCSP) R 7483 7486 15981 0 -1 4202496 3906 0 0 0 60 0 0 0 20 0 1 0 38206331 40837120 3616 18446744073709551615 4194304 7396336 140730178458912 140730178452152 5920142 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25186304 140730178466229 140730178466377 140730178466377 140730178469833 0 /proc/7486/statm: 9970 3616 734 782 0 2986 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 39880 [startup+1.50028 s] /proc/loadavg: 2.06 2.03 2.05 3/185 7487 /proc/meminfo: memFree=31526716/32770624 swapFree=0/225424 [pid=7486] ppid=7483 vsize=40556 CPUtime=1.4 cores=0,2,4,6 /proc/7486/stat : 7486 (MistralXCSP) R 7483 7486 15981 0 -1 4202496 4079 0 0 0 140 0 0 0 20 0 1 0 38206331 41529344 3814 18446744073709551615 4194304 7396336 140730178458912 140730178449656 6029731 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25186304 140730178466229 140730178466377 140730178466377 140730178469833 0 /proc/7486/statm: 10139 3814 734 782 0 3155 0 Current children cumulated CPU time (s) 1.4 Current children cumulated vsize (KiB) 40556 [startup+3.10028 s] /proc/loadavg: 2.06 2.03 2.05 3/185 7487 /proc/meminfo: memFree=31525848/32770624 swapFree=0/225424 [pid=7486] ppid=7483 vsize=41664 CPUtime=3 cores=0,2,4,6 /proc/7486/stat : 7486 (MistralXCSP) R 7483 7486 15981 0 -1 4202496 4980 0 0 0 300 0 0 0 20 0 1 0 38206331 42663936 4128 18446744073709551615 4194304 7396336 140730178458912 140730178449656 6195359 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25186304 140730178466229 140730178466377 140730178466377 140730178469833 0 /proc/7486/statm: 10416 4128 734 782 0 3432 0 Current children cumulated CPU time (s) 3 Current children cumulated vsize (KiB) 41664 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 7486 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20034 s] /proc/loadavg: 2.06 2.03 2.05 3/185 7487 /proc/meminfo: memFree=31525848/32770624 swapFree=0/225424 [pid=7486] ppid=7483 vsize=48796 CPUtime=3.1 cores=0,2,4,6 /proc/7486/stat : 7486 (MistralXCSP) R 7483 7486 15981 0 -1 4202496 9108 0 0 0 310 0 0 0 20 0 1 0 38206331 49967104 5841 18446744073709551615 4194304 7396336 140730178458912 140730178449656 4565880 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25186304 140730178466229 140730178466377 140730178466377 140730178469833 0 /proc/7486/statm: 12199 5841 745 782 0 5215 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 48796 [startup+4.00034 s] /proc/loadavg: 2.06 2.03 2.05 3/185 7487 /proc/meminfo: memFree=31502156/32770624 swapFree=0/225424 [pid=7486] ppid=7483 vsize=79648 CPUtime=3.91 cores=0,2,4,6 /proc/7486/stat : 7486 (MistralXCSP) R 7483 7486 15981 0 -1 4202496 17538 0 0 0 389 2 0 0 20 0 1 0 38206331 81559552 13604 18446744073709551615 4194304 7396336 140730178458912 140730178449656 4257640 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25186304 140730178466229 140730178466377 140730178466377 140730178469833 0 /proc/7486/statm: 19912 13604 789 782 0 12928 0 Current children cumulated CPU time (s) 3.91 Current children cumulated vsize (KiB) 79648 [startup+4.40035 s] /proc/loadavg: 2.06 2.03 2.05 3/185 7487 /proc/meminfo: memFree=31486904/32770624 swapFree=0/225424 [pid=7486] ppid=7483 vsize=79648 CPUtime=4.31 cores=0,2,4,6 /proc/7486/stat : 7486 (MistralXCSP) R 7483 7486 15981 0 -1 4202496 25954 0 0 0 429 2 0 0 20 0 1 0 38206331 81559552 13656 18446744073709551615 4194304 7396336 140730178458912 140730178449656 4399501 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25186304 140730178466229 140730178466377 140730178466377 140730178469833 0 /proc/7486/statm: 19912 13656 790 782 0 12928 0 Current children cumulated CPU time (s) 4.31 Current children cumulated vsize (KiB) 79648 [startup+4.50604 s] /proc/loadavg: 2.06 2.03 2.05 3/185 7487 /proc/meminfo: memFree=31486904/32770624 swapFree=0/225424 [pid=7486] ppid=7483 vsize=79648 CPUtime=4.41 cores=0,2,4,6 /proc/7486/stat : 7486 (MistralXCSP) R 7483 7486 15981 0 -1 4202496 26492 0 0 0 439 2 0 0 20 0 1 0 38206331 81559552 13658 18446744073709551615 4194304 7396336 140730178458912 140730178449656 4257837 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25186304 140730178466229 140730178466377 140730178466377 140730178469833 0 /proc/7486/statm: 19912 13658 792 782 0 12928 0 Current children cumulated CPU time (s) 4.41 Current children cumulated vsize (KiB) 79648 Child status: 0 Real time (s): 4.58065 CPU time (s): 4.49209 CPU user time (s): 4.46109 CPU system time (s): 0.031 CPU usage (%): 98.0666 Max. virtual memory (cumulated for all children) (KiB): 79648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.46109 system time used= 0.031 maximum resident set size= 54632 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27838 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6 involuntary context switches= 3 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.01351 second user time and 0.024768 second system time The end
Begin job on node126 at 2017-08-10 12:01:08 IDJOB=4261293 IDBENCH=125565 IDSOLVER=2649 FILE ID=node126/4261293-1502360107 RUNJOBID= node126-1502333727-2686 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= Mistral-2.0 2017-07-28 BENCH NAME= XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-04-05.xml COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4261293-1502360107/watcher-4261293-1502360107 -o /tmp/evaluation-result-4261293-1502360107/solver-4261293-1502360107 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502333727-2686 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 13283111 HOME/instance-4261293-1502360107.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7198b26315477549e19a49cdd0865ba2 RANDOM SEED=13283111 node126.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31537500 kB MemAvailable: 31969400 kB Buffers: 249688 kB Cached: 456268 kB SwapCached: 524 kB Active: 478744 kB Inactive: 296736 kB Active(anon): 23436 kB Inactive(anon): 71336 kB Active(file): 455308 kB Inactive(file): 225400 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67105588 kB Dirty: 6356 kB Writeback: 4 kB AnonPages: 69104 kB Mapped: 41172 kB Shmem: 25248 kB Slab: 159996 kB SReclaimable: 134052 kB SUnreclaim: 25944 kB KernelStack: 3280 kB PageTables: 5372 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 332180 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 62020 MiB End job on node126 at 2017-08-10 12:01:12