0.00/0.00	c Mistral-2017-06-28
2.89/2.94	s SATISFIABLE
2.89/2.94	v <instantiation type="solution">
2.89/2.94	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] bi[0][0] bi[0][1] bi[0][2] bi[0][3] bi[0][4] bi[0][5] bi[1][0] bi[1][1] bi[1][2] bi[1][3] bi[1][4] bi[1][5] bi[2][0] bi[2][1] bi[2][2] bi[2][3] bi[2][4] bi[2][5] bi[3][0] bi[3][1] bi[3][2] bi[3][3] bi[3][4] bi[3][5] bi[4][0] bi[4][1] bi[4][2] bi[4][3] bi[4][4] bi[4][5] bi[5][0] bi[5][1] bi[5][2] bi[5][3] bi[5][4] bi[5][5] bi[6][0] bi[6][1] bi[6][2] bi[6][3] bi[6][4] bi[6][5] bi[7][0] bi[7][1] bi[7][2] bi[7][3] bi[7][4] bi[7][5] bi[8][0] bi[8][1] bi[8][2] bi[8][3] bi[8][4] bi[8][5] bi[9][0] bi[9][1] bi[9][2] bi[9][3] bi[9][4] bi[9][5] bi[10][0] bi[10][1] bi[10][2] bi[10][3] bi[10][4] bi[10][5] bi[11][0] bi[11][1] bi[11][2] bi[11][3] bi[11][4] bi[11][5] bi[12][0] bi[12][1] bi[12][2] bi[12][3] bi[12][4] bi[12][5] bi[13][0] bi[13][1] bi[13][2] bi[13][3] bi[13][4] bi[13][5] bi[14][0] bi[14][1] bi[14][2] bi[14][3] bi[14][4] bi[14][5] bi[15][0] bi[15][1] bi[15][2] bi[15][3] bi[15][4] bi[15][5] bi[16][0] bi[16][1] bi[16][2] bi[16][3] bi[16][4] bi[16][5] bi[17][0] bi[17][1] bi[17][2] bi[17][3] bi[17][4] bi[17][5] bi[18][0] bi[18][1] bi[18][2] bi[18][3] bi[18][4] bi[18][5] bi[19][0] bi[19][1] bi[19][2] bi[19][3] bi[19][4] bi[19][5] bi[20][0] bi[20][1] bi[20][2] bi[20][3] bi[20][4] bi[20][5] bi[21][0] bi[21][1] bi[21][2] bi[21][3] bi[21][4] bi[21][5] bi[22][0] bi[22][1] bi[22][2] bi[22][3] bi[22][4] bi[22][5] bi[23][0] bi[23][1] bi[23][2] bi[23][3] bi[23][4] bi[23][5] bi[24][0] bi[24][1] bi[24][2] bi[24][3] bi[24][4] bi[24][5] bi[25][0] bi[25][1] bi[25][2] bi[25][3] bi[25][4] bi[25][5] bi[26][0] bi[26][1] bi[26][2] bi[26][3] bi[26][4] bi[26][5] bi[27][0] bi[27][1] bi[27][2] bi[27][3] bi[27][4] bi[27][5] bi[28][0] bi[28][1] bi[28][2] bi[28][3] bi[28][4] bi[28][5] bi[29][0] bi[29][1] bi[29][2] bi[29][3] bi[29][4] bi[29][5] bi[30][0] bi[30][1] bi[30][2] bi[30][3] bi[30][4] bi[30][5] bi[31][0] bi[31][1] bi[31][2] bi[31][3] bi[31][4] bi[31][5] bi[32][0] bi[32][1] bi[32][2] bi[32][3] bi[32][4] bi[32][5] bi[33][0] bi[33][1] bi[33][2] bi[33][3] bi[33][4] bi[33][5] bi[34][0] bi[34][1] bi[34][2] bi[34][3] bi[34][4] bi[34][5] bi[35][0] bi[35][1] bi[35][2] bi[35][3] bi[35][4] bi[35][5] bi[36][0] bi[36][1] bi[36][2] bi[36][3] bi[36][4] bi[36][5] bi[37][0] bi[37][1] bi[37][2] bi[37][3] bi[37][4] bi[37][5] bi[38][0] bi[38][1] bi[38][2] bi[38][3] bi[38][4] bi[38][5] bi[39][0] bi[39][1] bi[39][2] bi[39][3] bi[39][4] bi[39][5] bi[40][0] bi[40][1] bi[40][2] bi[40][3] bi[40][4] bi[40][5] bi[41][0] bi[41][1] bi[41][2] bi[41][3] bi[41][4] bi[41][5] bi[42][0] bi[42][1] bi[42][2] bi[42][3] bi[42][4] bi[42][5] bi[43][0] bi[43][1] bi[43][2] bi[43][3] bi[43][4] bi[43][5] bi[44][0] bi[44][1] bi[44][2] bi[44][3] bi[44][4] bi[44][5] bi[45][0] bi[45][1] bi[45][2] bi[45][3] bi[45][4] bi[45][5] bi[46][0] bi[46][1] bi[46][2] bi[46][3] bi[46][4] bi[46][5] bi[47][0] bi[47][1] bi[47][2] bi[47][3] bi[47][4] bi[47][5] bi[48][0] bi[48][1] bi[48][2] bi[48][3] bi[48][4] bi[48][5] bi[49][0] bi[49][1] bi[49][2] bi[49][3] bi[49][4] bi[49][5] bi[50][0] bi[50][1] bi[50][2] bi[50][3] bi[50][4] bi[50][5] bi[51][0] bi[51][1] bi[51][2] bi[51][3] bi[51][4] bi[51][5] bi[52][0] bi[52][1] bi[52][2] bi[52][3] bi[52][4] bi[52][5] bi[53][0] bi[53][1] bi[53][2] bi[53][3] bi[53][4] bi[53][5] bi[54][0] bi[54][1] bi[54][2] bi[54][3] bi[54][4] bi[54][5] bi[55][0] bi[55][1] bi[55][2] bi[55][3] bi[55][4] bi[55][5] bi[56][0] bi[56][1] bi[56][2] bi[56][3] bi[56][4] bi[56][5] bi[57][0] bi[57][1] bi[57][2] bi[57][3] bi[57][4] bi[57][5] bi[58][0] bi[58][1] bi[58][2] bi[58][3] bi[58][4] bi[58][5] bi[59][0] bi[59][1] bi[59][2] bi[59][3] bi[59][4] bi[59][5] bi[60][0] bi[60][1] bi[60][2] bi[60][3] bi[60][4] bi[60][5] bi[61][0] bi[61][1] bi[61][2] bi[61][3] bi[61][4] bi[61][5] bi[62][0] bi[62][1] bi[62][2] bi[62][3] bi[62][4] bi[62][5] bi[63][0] bi[63][1] bi[63][2] bi[63][3] bi[63][4] bi[63][5] bi[64][0] bi[64][1] bi[64][2] bi[64][3] bi[64][4] bi[64][5] bi[65][0] bi[65][1] bi[65][2] bi[65][3] bi[65][4] bi[65][5] bi[66][0] bi[66][1] bi[66][2] bi[66][3] bi[66][4] bi[66][5] bi[67][0] bi[67][1] bi[67][2] bi[67][3] bi[67][4] bi[67][5] bi[68][0] bi[68][1] bi[68][2] bi[68][3] bi[68][4] bi[68][5] bi[69][0] bi[69][1] bi[69][2] bi[69][3] bi[69][4] bi[69][5] bi[70][0] bi[70][1] bi[70][2] bi[70][3] bi[70][4] bi[70][5] bi[71][0] bi[71][1] bi[71][2] bi[71][3] bi[71][4] bi[71][5] bi[72][0] bi[72][1] bi[72][2] bi[72][3] bi[72][4] bi[72][5] bi[73][0] bi[73][1] bi[73][2] bi[73][3] bi[73][4] bi[73][5] bi[74][0] bi[74][1] bi[74][2] bi[74][3] bi[74][4] bi[74][5] bi[75][0] bi[75][1] bi[75][2] bi[75][3] bi[75][4] bi[75][5] bi[76][0] bi[76][1] bi[76][2] bi[76][3] bi[76][4] bi[76][5] bi[77][0] bi[77][1] bi[77][2] bi[77][3] bi[77][4] bi[77][5] bi[78][0] bi[78][1] bi[78][2] bi[78][3] bi[78][4] bi[78][5] bi[79][0] bi[79][1] bi[79][2] bi[79][3] bi[79][4] bi[79][5] bi[80][0] bi[80][1] bi[80][2] bi[80][3] bi[80][4] bi[80][5] bi[81][0] bi[81][1] bi[81][2] bi[81][3] bi[81][4] bi[81][5] bi[82][0] bi[82][1] bi[82][2] bi[82][3] bi[82][4] bi[82][5] bi[83][0] bi[83][1] bi[83][2] bi[83][3] bi[83][4] bi[83][5] bi[84][0] bi[84][1] bi[84][2] bi[84][3] bi[84][4] bi[84][5] bi[85][0] bi[85][1] bi[85][2] bi[85][3] bi[85][4] bi[85][5] bi[86][0] bi[86][1] bi[86][2] bi[86][3] bi[86][4] bi[86][5] bi[87][0] bi[87][1] bi[87][2] bi[87][3] bi[87][4] bi[87][5] bi[88][0] bi[88][1] bi[88][2] bi[88][3] bi[88][4] bi[88][5] bi[89][0] bi[89][1] bi[89][2] bi[89][3] bi[89][4] bi[89][5] bi[90][0] bi[90][1] bi[90][2] bi[90][3] bi[90][4] bi[90][5] bi[91][0] bi[91][1] bi[91][2] bi[91][3] bi[91][4] bi[91][5] bi[92][0] bi[92][1] bi[92][2] bi[92][3] bi[92][4] bi[92][5] bi[93][0] bi[93][1] bi[93][2] bi[93][3] bi[93][4] bi[93][5] bi[94][0] bi[94][1] bi[94][2] bi[94][3] bi[94][4] bi[94][5] bi[95][0] bi[95][1] bi[95][2] bi[95][3] bi[95][4] bi[95][5] bi[96][0] bi[96][1] bi[96][2] bi[96][3] bi[96][4] bi[96][5] bi[97][0] bi[97][1] bi[97][2] bi[97][3] bi[97][4] bi[97][5] bi[98][0] bi[98][1] bi[98][2] bi[98][3] bi[98][4] bi[98][5] bi[99][0] bi[99][1] bi[99][2] bi[99][3] bi[99][4] bi[99][5] bi[100][0] bi[100][1] bi[100][2] bi[100][3] bi[100][4] bi[100][5] bi[101][0] bi[101][1] bi[101][2] bi[101][3] bi[101][4] bi[101][5] bi[102][0] bi[102][1] bi[102][2] bi[102][3] bi[102][4] bi[102][5] bi[103][0] bi[103][1] bi[103][2] bi[103][3] bi[103][4] bi[103][5] bi[104][0] bi[104][1] bi[104][2] bi[104][3] bi[104][4] bi[104][5] bi[105][0] bi[105][1] bi[105][2] bi[105][3] bi[105][4] bi[105][5] bi[106][0] bi[106][1] bi[106][2] bi[106][3] bi[106][4] bi[106][5] bi[107][0] bi[107][1] bi[107][2] bi[107][3] bi[107][4] bi[107][5] bi[108][0] bi[108][1] bi[108][2] bi[108][3] bi[108][4] bi[108][5] bi[109][0] bi[109][1] bi[109][2] bi[109][3] bi[109][4] bi[109][5] bi[110][0] bi[110][1] bi[110][2] bi[110][3] bi[110][4] bi[110][5] bi[111][0] bi[111][1] bi[111][2] bi[111][3] bi[111][4] bi[111][5] bi[112][0] bi[112][1] bi[112][2] bi[112][3] bi[112][4] bi[112][5] bi[113][0] bi[113][1] bi[113][2] bi[113][3] bi[113][4] bi[113][5] bi[114][0] bi[114][1] bi[114][2] bi[114][3] bi[114][4] bi[114][5] bi[115][0] bi[115][1] bi[115][2] bi[115][3] bi[115][4] bi[115][5] bi[116][0] bi[116][1] bi[116][2] bi[116][3] bi[116][4] bi[116][5] bi[117][0] bi[117][1] bi[117][2] bi[117][3] bi[117][4] bi[117][5] bi[118][0] bi[118][1] bi[118][2] bi[118][3] bi[118][4] bi[118][5] bi[119][0] bi[119][1] bi[119][2] bi[119][3] bi[119][4] bi[119][5] bi[120][0] bi[120][1] bi[120][2] bi[120][3] bi[120][4] bi[120][5] bi[121][0] bi[121][1] bi[121][2] bi[121][3] bi[121][4] bi[121][5] bi[122][0] bi[122][1] bi[122][2] bi[122][3] bi[122][4] bi[122][5] bi[123][0] bi[123][1] bi[123][2] bi[123][3] bi[123][4] bi[123][5] bi[124][0] bi[124][1] bi[124][2] bi[124][3] bi[124][4] bi[124][5] bi[125][0] bi[125][1] bi[125][2] bi[125][3] bi[125][4] bi[125][5] bi[126][0] bi[126][1] bi[126][2] bi[126][3] bi[126][4] bi[126][5] bi[127][0] bi[127][1] bi[127][2] bi[127][3] bi[127][4] bi[127][5] bi[128][0] bi[128][1] bi[128][2] bi[128][3] bi[128][4] bi[128][5] bi[129][0] bi[129][1] bi[129][2] bi[129][3] bi[129][4] bi[129][5] bi[130][0] bi[130][1] bi[130][2] bi[130][3] bi[130][4] bi[130][5] bi[131][0] bi[131][1] bi[131][2] bi[131][3] bi[131][4] bi[131][5] bi[132][0] bi[132][1] bi[132][2] bi[132][3] bi[132][4] bi[132][5] bi[133][0] bi[133][1] bi[133][2] bi[133][3] bi[133][4] bi[133][5] bi[134][0] bi[134][1] bi[134][2] bi[134][3] bi[134][4] bi[134][5] bi[135][0] bi[135][1] bi[135][2] bi[135][3] bi[135][4] bi[135][5] bi[136][0] bi[136][1] bi[136][2] bi[136][3] bi[136][4] bi[136][5] bi[137][0] bi[137][1] bi[137][2] bi[137][3] bi[137][4] bi[137][5] bi[138][0] bi[138][1] bi[138][2] bi[138][3] bi[138][4] bi[138][5] bi[139][0] bi[139][1] bi[139][2] bi[139][3] bi[139][4] bi[139][5] bi[140][0] bi[140][1] bi[140][2] bi[140][3] bi[140][4] bi[140][5] bi[141][0] bi[141][1] bi[141][2] bi[141][3] bi[141][4] bi[141][5] bi[142][0] bi[142][1] bi[142][2] bi[142][3] bi[142][4] bi[142][5] bi[143][0] bi[143][1] bi[143][2] bi[143][3] bi[143][4] bi[143][5] bi[144][0] bi[144][1] bi[144][2] bi[144][3] bi[144][4] bi[144][5] bi[145][0] bi[145][1] bi[145][2] bi[145][3] bi[145][4] bi[145][5] bi[146][0] bi[146][1] bi[146][2] bi[146][3] bi[146][4] bi[146][5] bi[147][0] bi[147][1] bi[147][2] bi[147][3] bi[147][4] bi[147][5] bi[148][0] bi[148][1] bi[148][2] bi[148][3] bi[148][4] bi[148][5] bi[149][0] bi[149][1] bi[149][2] bi[149][3] bi[149][4] bi[149][5] bi[150][0] bi[150][1] bi[150][2] bi[150][3] bi[150][4] bi[150][5] bi[151][0] bi[151][1] bi[151][2] bi[151][3] bi[151][4] bi[151][5] bi[152][0] bi[152][1] bi[152][2] bi[152][3] bi[152][4] bi[152][5] bi[153][0] bi[153][1] bi[153][2] bi[153][3] bi[153][4] bi[153][5] bi[154][0] bi[154][1] bi[154][2] bi[154][3] bi[154][4] bi[154][5] bi[155][0] bi[155][1] bi[155][2] bi[155][3] bi[155][4] bi[155][5] bi[156][0] bi[156][1] bi[156][2] bi[156][3] bi[156][4] bi[156][5] bi[157][0] bi[157][1] bi[157][2] bi[157][3] bi[157][4] bi[157][5] bi[158][0] bi[158][1] bi[158][2] bi[158][3] bi[158][4] bi[158][5] bi[159][0] bi[159][1] bi[159][2] bi[159][3] bi[159][4] bi[159][5] bi[160][0] bi[160][1] bi[160][2] bi[160][3] bi[160][4] bi[160][5] bi[161][0] bi[161][1] bi[161][2] bi[161][3] bi[161][4] bi[161][5] bi[162][0] bi[162][1] bi[162][2] bi[162][3] bi[162][4] bi[162][5] bi[163][0] bi[163][1] bi[163][2] bi[163][3] bi[163][4] bi[163][5] bi[164][0] bi[164][1] bi[164][2] bi[164][3] bi[164][4] bi[164][5] bi[165][0] bi[165][1] bi[165][2] bi[165][3] bi[165][4] bi[165][5] bi[166][0] bi[166][1] bi[166][2] bi[166][3] bi[166][4] bi[166][5] bi[167][0] bi[167][1] bi[167][2] bi[167][3] bi[167][4] bi[167][5] bi[168][0] bi[168][1] bi[168][2] bi[168][3] bi[168][4] bi[168][5] bi[169][0] bi[169][1] bi[169][2] bi[169][3] bi[169][4] bi[169][5] bi[170][0] bi[170][1] bi[170][2] bi[170][3] bi[170][4] bi[170][5] bi[171][0] bi[171][1] bi[171][2] bi[171][3] bi[171][4] bi[171][5] bi[172][0] bi[172][1] bi[172][2] bi[172][3] bi[172][4] bi[172][5] bi[173][0] bi[173][1] bi[173][2] bi[173][3] bi[173][4] bi[173][5] bi[174][0] bi[174][1] bi[174][2] bi[174][3] bi[174][4] bi[174][5] bi[175][0] bi[175][1] bi[175][2] bi[175][3] bi[175][4] bi[175][5] bi[176][0] bi[176][1] bi[176][2] bi[176][3] bi[176][4] bi[176][5] bi[177][0] bi[177][1] bi[177][2] bi[177][3] bi[177][4] bi[177][5] bi[178][0] bi[178][1] bi[178][2] bi[178][3] bi[178][4] bi[178][5] bi[179][0] bi[179][1] bi[179][2] bi[179][3] bi[179][4] bi[179][5] bi[180][0] bi[180][1] bi[180][2] bi[180][3] bi[180][4] bi[180][5] bi[181][0] bi[181][1] bi[181][2] bi[181][3] bi[181][4] bi[181][5] bi[182][0] bi[182][1] bi[182][2] bi[182][3] bi[182][4] bi[182][5] bi[183][0] bi[183][1] bi[183][2] bi[183][3] bi[183][4] bi[183][5] bi[184][0] bi[184][1] bi[184][2] bi[184][3] bi[184][4] bi[184][5] bi[185][0] bi[185][1] bi[185][2] bi[185][3] bi[185][4] bi[185][5] bi[186][0] bi[186][1] bi[186][2] bi[186][3] bi[186][4] bi[186][5] bi[187][0] bi[187][1] bi[187][2] bi[187][3] bi[187][4] bi[187][5] bi[188][0] bi[188][1] bi[188][2] bi[188][3] bi[188][4] bi[188][5] bi[189][0] bi[189][1] bi[189][2] bi[189][3] bi[189][4] bi[189][5] bi[190][0] bi[190][1] bi[190][2] bi[190][3] bi[190][4] bi[190][5] bi[191][0] bi[191][1] bi[191][2] bi[191][3] bi[191][4] bi[191][5] bi[192][0] bi[192][1] bi[192][2] bi[192][3] bi[192][4] bi[192][5] bi[193][0] bi[193][1] bi[193][2] bi[193][3] bi[193][4] bi[193][5] bi[194][0] bi[194][1] bi[194][2] bi[194][3] bi[194][4] bi[194][5] bi[195][0] bi[195][1] bi[195][2] bi[195][3] bi[195][4] bi[195][5] bi[196][0] bi[196][1] bi[196][2] bi[196][3] bi[196][4] bi[196][5] bi[197][0] bi[197][1] bi[197][2] bi[197][3] bi[197][4] bi[197][5] bi[198][0] bi[198][1] bi[198][2] bi[198][3] bi[198][4] bi[198][5] bi[199][0] bi[199][1] bi[199][2] bi[199][3] bi[199][4] bi[199][5] bi[200][0] bi[200][1] bi[200][2] bi[200][3] bi[200][4] bi[200][5] bi[201][0] bi[201][1] bi[201][2] bi[201][3] bi[201][4] bi[201][5] bi[202][0] bi[202][1] bi[202][2] bi[202][3] bi[202][4] bi[202][5] bi[203][0] bi[203][1] bi[203][2] bi[203][3] bi[203][4] bi[203][5] bi[204][0] bi[204][1] bi[204][2] bi[204][3] bi[204][4] bi[204][5] bi[205][0] bi[205][1] bi[205][2] bi[205][3] bi[205][4] bi[205][5] bi[206][0] bi[206][1] bi[206][2] bi[206][3] bi[206][4] bi[206][5] bi[207][0] bi[207][1] bi[207][2] bi[207][3] bi[207][4] bi[207][5] bi[208][0] bi[208][1] bi[208][2] bi[208][3] bi[208][4] bi[208][5] bi[209][0] bi[209][1] bi[209][2] bi[209][3] bi[209][4] bi[209][5] bi[210][0] bi[210][1] bi[210][2] bi[210][3] bi[210][4] bi[210][5] bi[211][0] bi[211][1] bi[211][2] bi[211][3] bi[211][4] bi[211][5] bi[212][0] bi[212][1] bi[212][2] bi[212][3] bi[212][4] bi[212][5] bi[213][0] bi[213][1] bi[213][2] bi[213][3] bi[213][4] bi[213][5] bi[214][0] bi[214][1] bi[214][2] bi[214][3] bi[214][4] bi[214][5] bi[215][0] bi[215][1] bi[215][2] bi[215][3] bi[215][4] bi[215][5] bi[216][0] bi[216][1] bi[216][2] bi[216][3] bi[216][4] bi[216][5] bi[217][0] bi[217][1] bi[217][2] bi[217][3] bi[217][4] bi[217][5] bi[218][0] bi[218][1] bi[218][2] bi[218][3] bi[218][4] bi[218][5] bi[219][0] bi[219][1] bi[219][2] bi[219][3] bi[219][4] bi[219][5] bi[220][0] bi[220][1] bi[220][2] bi[220][3] bi[220][4] bi[220][5] bi[221][0] bi[221][1] bi[221][2] bi[221][3] bi[221][4] bi[221][5] bi[222][0] bi[222][1] bi[222][2] bi[222][3] bi[222][4] bi[222][5] bi[223][0] bi[223][1] bi[223][2] bi[223][3] bi[223][4] bi[223][5] bi[224][0] bi[224][1] bi[224][2] bi[224][3] bi[224][4] bi[224][5] bi[225][0] bi[225][1] bi[225][2] bi[225][3] bi[225][4] bi[225][5] bi[226][0] bi[226][1] bi[226][2] bi[226][3] bi[226][4] bi[226][5] bi[227][0] bi[227][1] bi[227][2] bi[227][3] bi[227][4] bi[227][5] bi[228][0] bi[228][1] bi[228][2] bi[228][3] bi[228][4] bi[228][5] bi[229][0] bi[229][1] bi[229][2] bi[229][3] bi[229][4] bi[229][5] bi[230][0] bi[230][1] bi[230][2] bi[230][3] bi[230][4] bi[230][5] bi[231][0] bi[231][1] bi[231][2] bi[231][3] bi[231][4] bi[231][5] bi[232][0] bi[232][1] bi[232][2] bi[232][3] bi[232][4] bi[232][5] bi[233][0] bi[233][1] bi[233][2] bi[233][3] bi[233][4] bi[233][5] bi[234][0] bi[234][1] bi[234][2] bi[234][3] bi[234][4] bi[234][5] bi[235][0] bi[235][1] bi[235][2] bi[235][3] bi[235][4] bi[235][5] bi[236][0] bi[236][1] bi[236][2] bi[236][3] bi[236][4] bi[236][5] bi[237][0] bi[237][1] bi[237][2] bi[237][3] bi[237][4] bi[237][5] bi[238][0] bi[238][1] bi[238][2] bi[238][3] bi[238][4] bi[238][5] bi[239][0] bi[239][1] bi[239][2] bi[239][3] bi[239][4] bi[239][5] bi[240][0] bi[240][1] bi[240][2] bi[240][3] bi[240][4] bi[240][5] bi[241][0] bi[241][1] bi[241][2] bi[241][3] bi[241][4] bi[241][5] bi[242][0] bi[242][1] bi[242][2] bi[242][3] bi[242][4] bi[242][5] bi[243][0] bi[243][1] bi[243][2] bi[243][3] bi[243][4] bi[243][5] bi[244][0] bi[244][1] bi[244][2] bi[244][3] bi[244][4] bi[244][5] bi[245][0] bi[245][1] bi[245][2] bi[245][3] bi[245][4] bi[245][5] bi[246][0] bi[246][1] bi[246][2] bi[246][3] bi[246][4] bi[246][5] bi[247][0] bi[247][1] bi[247][2] bi[247][3] bi[247][4] bi[247][5] bi[248][0] bi[248][1] bi[248][2] bi[248][3] bi[248][4] bi[248][5] bi[249][0] bi[249][1] bi[249][2] bi[249][3] bi[249][4] bi[249][5] bi[250][0] bi[250][1] bi[250][2] bi[250][3] bi[250][4] bi[250][5] bi[251][0] bi[251][1] bi[251][2] bi[251][3] bi[251][4] bi[251][5] bi[252][0] bi[252][1] bi[252][2] bi[252][3] bi[252][4] bi[252][5] bi[253][0] bi[253][1] bi[253][2] bi[253][3] bi[253][4] bi[253][5] bi[254][0] bi[254][1] bi[254][2] bi[254][3] bi[254][4] bi[254][5] bi[255][0] bi[255][1] bi[255][2] bi[255][3] bi[255][4] bi[255][5] bi[256][0] bi[256][1] bi[256][2] bi[256][3] bi[256][4] bi[256][5] bi[257][0] bi[257][1] bi[257][2] bi[257][3] bi[257][4] bi[257][5] bi[258][0] bi[258][1] bi[258][2] bi[258][3] bi[258][4] bi[258][5] bi[259][0] bi[259][1] bi[259][2] bi[259][3] bi[259][4] bi[259][5] bi[260][0] bi[260][1] bi[260][2] bi[260][3] bi[260][4] bi[260][5] bi[261][0] bi[261][1] bi[261][2] bi[261][3] bi[261][4] bi[261][5] bi[262][0] bi[262][1] bi[262][2] bi[262][3] bi[262][4] bi[262][5] bi[263][0] bi[263][1] bi[263][2] bi[263][3] bi[263][4] bi[263][5] bi[264][0] bi[264][1] bi[264][2] bi[264][3] bi[264][4] bi[264][5] bi[265][0] bi[265][1] bi[265][2] bi[265][3] bi[265][4] bi[265][5] bi[266][0] bi[266][1] bi[266][2] bi[266][3] bi[266][4] bi[266][5] bi[267][0] bi[267][1] bi[267][2] bi[267][3] bi[267][4] bi[267][5] bi[268][0] bi[268][1] bi[268][2] bi[268][3] bi[268][4] bi[268][5] bi[269][0] bi[269][1] bi[269][2] bi[269][3] bi[269][4] bi[269][5] bi[270][0] bi[270][1] bi[270][2] bi[270][3] bi[270][4] bi[270][5] bi[271][0] bi[271][1] bi[271][2] bi[271][3] bi[271][4] bi[271][5] bi[272][0] bi[272][1] bi[272][2] bi[272][3] bi[272][4] bi[272][5] bi[273][0] bi[273][1] bi[273][2] bi[273][3] bi[273][4] bi[273][5] bi[274][0] bi[274][1] bi[274][2] bi[274][3] bi[274][4] bi[274][5] bi[275][0] bi[275][1] bi[275][2] bi[275][3] bi[275][4] bi[275][5] bi[276][0] bi[276][1] bi[276][2] bi[276][3] bi[276][4] bi[276][5] bi[277][0] bi[277][1] bi[277][2] bi[277][3] bi[277][4] bi[277][5] bi[278][0] bi[278][1] bi[278][2] bi[278][3] bi[278][4] bi[278][5] bi[279][0] bi[279][1] bi[279][2] bi[279][3] bi[279][4] bi[279][5] bi[280][0] bi[280][1] bi[280][2] bi[280][3] bi[280][4] bi[280][5] bi[281][0] bi[281][1] bi[281][2] bi[281][3] bi[281][4] bi[281][5] bi[282][0] bi[282][1] bi[282][2] bi[282][3] bi[282][4] bi[282][5] bi[283][0] bi[283][1] bi[283][2] bi[283][3] bi[283][4] bi[283][5] bi[284][0] bi[284][1] bi[284][2] bi[284][3] bi[284][4] bi[284][5] bi[285][0] bi[285][1] bi[285][2] bi[285][3] bi[285][4] bi[285][5] bi[286][0] bi[286][1] bi[286][2] bi[286][3] bi[286][4] bi[286][5] bi[287][0] bi[287][1] bi[287][2] bi[287][3] bi[287][4] bi[287][5] bi[288][0] bi[288][1] bi[288][2] bi[288][3] bi[288][4] bi[288][5] bi[289][0] bi[289][1] bi[289][2] bi[289][3] bi[289][4] bi[289][5] bi[290][0] bi[290][1] bi[290][2] bi[290][3] bi[290][4] bi[290][5] bi[291][0] bi[291][1] bi[291][2] bi[291][3] bi[291][4] bi[291][5] bi[292][0] bi[292][1] bi[292][2] bi[292][3] bi[292][4] bi[292][5] bi[293][0] bi[293][1] bi[293][2] bi[293][3] bi[293][4] bi[293][5] bi[294][0] bi[294][1] bi[294][2] bi[294][3] bi[294][4] bi[294][5] bi[295][0] bi[295][1] bi[295][2] bi[295][3] bi[295][4] bi[295][5] bi[296][0] bi[296][1] bi[296][2] bi[296][3] bi[296][4] bi[296][5] bi[297][0] bi[297][1] bi[297][2] bi[297][3] bi[297][4] bi[297][5] bi[298][0] bi[298][1] bi[298][2] bi[298][3] bi[298][4] bi[298][5] bi[299][0] bi[299][1] bi[299][2] bi[299][3] bi[299][4] bi[299][5] bi[300][0] bi[300][1] bi[300][2] bi[300][3] bi[300][4] bi[300][5] bi[301][0] bi[301][1] bi[301][2] bi[301][3] bi[301][4] bi[301][5] bi[302][0] bi[302][1] bi[302][2] bi[302][3] bi[302][4] bi[302][5] bi[303][0] bi[303][1] bi[303][2] bi[303][3] bi[303][4] bi[303][5] bi[304][0] bi[304][1] bi[304][2] bi[304][3] bi[304][4] bi[304][5] bi[305][0] bi[305][1] bi[305][2] bi[305][3] bi[305][4] bi[305][5] bi[306][0] bi[306][1] bi[306][2] bi[306][3] bi[306][4] bi[306][5] bi[307][0] bi[307][1] bi[307][2] bi[307][3] bi[307][4] bi[307][5] bi[308][0] bi[308][1] bi[308][2] bi[308][3] bi[308][4] bi[308][5] bi[309][0] bi[309][1] bi[309][2] bi[309][3] bi[309][4] bi[309][5] bi[310][0] bi[310][1] bi[310][2] bi[310][3] bi[310][4] bi[310][5] bi[311][0] bi[311][1] bi[311][2] bi[311][3] bi[311][4] bi[311][5] bi[312][0] bi[312][1] bi[312][2] bi[312][3] bi[312][4] bi[312][5] bi[313][0] bi[313][1] bi[313][2] bi[313][3] bi[313][4] bi[313][5] bi[314][0] bi[314][1] bi[314][2] bi[314][3] bi[314][4] bi[314][5] bi[315][0] bi[315][1] bi[315][2] bi[315][3] bi[315][4] bi[315][5] bi[316][0] bi[316][1] bi[316][2] bi[316][3] bi[316][4] bi[316][5] bi[317][0] bi[317][1] bi[317][2] bi[317][3] bi[317][4] bi[317][5] bi[318][0] bi[318][1] bi[318][2] bi[318][3] bi[318][4] bi[318][5] bi[319][0] bi[319][1] bi[319][2] bi[319][3] bi[319][4] bi[319][5] bi[320][0] bi[320][1] bi[320][2] bi[320][3] bi[320][4] bi[320][5] bi[321][0] bi[321][1] bi[321][2] bi[321][3] bi[321][4] bi[321][5] bi[322][0] bi[322][1] bi[322][2] bi[322][3] bi[322][4] bi[322][5] bi[323][0] bi[323][1] bi[323][2] bi[323][3] bi[323][4] bi[323][5] bi[324][0] bi[324][1] bi[324][2] bi[324][3] bi[324][4] bi[324][5] bi[325][0] bi[325][1] bi[325][2] bi[325][3] bi[325][4] bi[325][5] bi[326][0] bi[326][1] bi[326][2] bi[326][3] bi[326][4] bi[326][5] bi[327][0] bi[327][1] bi[327][2] bi[327][3] bi[327][4] bi[327][5] bi[328][0] bi[328][1] bi[328][2] bi[328][3] bi[328][4] bi[328][5] bi[329][0] bi[329][1] bi[329][2] bi[329][3] bi[329][4] bi[329][5] bi[330][0] bi[330][1] bi[330][2] bi[330][3] bi[330][4] bi[330][5] bi[331][0] bi[331][1] bi[331][2] bi[331][3] bi[331][4] bi[331][5] bi[332][0] bi[332][1] bi[332][2] bi[332][3] bi[332][4] bi[332][5] bi[333][0] bi[333][1] bi[333][2] bi[333][3] bi[333][4] bi[333][5] bi[334][0] bi[334][1] bi[334][2] bi[334][3] bi[334][4] bi[334][5] bi[335][0] bi[335][1] bi[335][2] bi[335][3] bi[335][4] bi[335][5] bi[336][0] bi[336][1] bi[336][2] bi[336][3] bi[336][4] bi[336][5] bi[337][0] bi[337][1] bi[337][2] bi[337][3] bi[337][4] bi[337][5] bi[338][0] bi[338][1] bi[338][2] bi[338][3] bi[338][4] bi[338][5] bi[339][0] bi[339][1] bi[339][2] bi[339][3] bi[339][4] bi[339][5] bi[340][0] bi[340][1] bi[340][2] bi[340][3] bi[340][4] bi[340][5] bi[341][0] bi[341][1] bi[341][2] bi[341][3] bi[341][4] bi[341][5] bi[342][0] bi[342][1] bi[342][2] bi[342][3] bi[342][4] bi[342][5] bi[343][0] bi[343][1] bi[343][2] bi[343][3] bi[343][4] bi[343][5] bi[344][0] bi[344][1] bi[344][2] bi[344][3] bi[344][4] bi[344][5] bi[345][0] bi[345][1] bi[345][2] bi[345][3] bi[345][4] bi[345][5] bi[346][0] bi[346][1] bi[346][2] bi[346][3] bi[346][4] bi[346][5] bi[347][0] bi[347][1] bi[347][2] bi[347][3] bi[347][4] bi[347][5] bi[348][0] bi[348][1] bi[348][2] bi[348][3] bi[348][4] bi[348][5] bi[349][0] bi[349][1] bi[349][2] bi[349][3] bi[349][4] bi[349][5] bi[350][0] bi[350][1] bi[350][2] bi[350][3] bi[350][4] bi[350][5] bi[351][0] bi[351][1] bi[351][2] bi[351][3] bi[351][4] bi[351][5] bi[352][0] bi[352][1] bi[352][2] bi[352][3] bi[352][4] bi[352][5] bi[353][0] bi[353][1] bi[353][2] bi[353][3] bi[353][4] bi[353][5] bi[354][0] bi[354][1] bi[354][2] bi[354][3] bi[354][4] bi[354][5] bi[355][0] bi[355][1] bi[355][2] bi[355][3] bi[355][4] bi[355][5] bi[356][0] bi[356][1] bi[356][2] bi[356][3] bi[356][4] bi[356][5] bi[357][0] bi[357][1] bi[357][2] bi[357][3] bi[357][4] bi[357][5] bi[358][0] bi[358][1] bi[358][2] bi[358][3] bi[358][4] bi[358][5] bi[359][0] bi[359][1] bi[359][2] bi[359][3] bi[359][4] bi[359][5] bi[360][0] bi[360][1] bi[360][2] bi[360][3] bi[360][4] bi[360][5] bi[361][0] bi[361][1] bi[361][2] bi[361][3] bi[361][4] bi[361][5] bi[362][0] bi[362][1] bi[362][2] bi[362][3] bi[362][4] bi[362][5] bi[363][0] bi[363][1] bi[363][2] bi[363][3] bi[363][4] bi[363][5] bi[364][0] bi[364][1] bi[364][2] bi[364][3] bi[364][4] bi[364][5] bi[365][0] bi[365][1] bi[365][2] bi[365][3] bi[365][4] bi[365][5] bi[366][0] bi[366][1] bi[366][2] bi[366][3] bi[366][4] bi[366][5] bi[367][0] bi[367][1] bi[367][2] bi[367][3] bi[367][4] bi[367][5] bi[368][0] bi[368][1] bi[368][2] bi[368][3] bi[368][4] bi[368][5] bi[369][0] bi[369][1] bi[369][2] bi[369][3] bi[369][4] bi[369][5] bi[370][0] bi[370][1] bi[370][2] bi[370][3] bi[370][4] bi[370][5] bi[371][0] bi[371][1] bi[371][2] bi[371][3] bi[371][4] bi[371][5] bi[372][0] bi[372][1] bi[372][2] bi[372][3] bi[372][4] bi[372][5] bi[373][0] bi[373][1] bi[373][2] bi[373][3] bi[373][4] bi[373][5] bi[374][0] bi[374][1] bi[374][2] bi[374][3] bi[374][4] bi[374][5] bi[375][0] bi[375][1] bi[375][2] bi[375][3] bi[375][4] bi[375][5] bi[376][0] bi[376][1] bi[376][2] bi[376][3] bi[376][4] bi[376][5] bi[377][0] bi[377][1] bi[377][2] bi[377][3] bi[377][4] bi[377][5] bi[378][0] bi[378][1] bi[378][2] bi[378][3] bi[378][4] bi[378][5] bi[379][0] bi[379][1] bi[379][2] bi[379][3] bi[379][4] bi[379][5] bi[380][0] bi[380][1] bi[380][2] bi[380][3] bi[380][4] bi[380][5] bi[381][0] bi[381][1] bi[381][2] bi[381][3] bi[381][4] bi[381][5] bi[382][0] bi[382][1] bi[382][2] bi[382][3] bi[382][4] bi[382][5] bi[383][0] bi[383][1] bi[383][2] bi[383][3] bi[383][4] bi[383][5] bi[384][0] bi[384][1] bi[384][2] bi[384][3] bi[384][4] bi[384][5] bi[385][0] bi[385][1] bi[385][2] bi[385][3] bi[385][4] bi[385][5] bi[386][0] bi[386][1] bi[386][2] bi[386][3] bi[386][4] bi[386][5] bi[387][0] bi[387][1] bi[387][2] bi[387][3] bi[387][4] bi[387][5] bi[388][0] bi[388][1] bi[388][2] bi[388][3] bi[388][4] bi[388][5] bi[389][0] bi[389][1] bi[389][2] bi[389][3] bi[389][4] bi[389][5] bi[390][0] bi[390][1] bi[390][2] bi[390][3] bi[390][4] bi[390][5] bi[391][0] bi[391][1] bi[391][2] bi[391][3] bi[391][4] bi[391][5] bi[392][0] bi[392][1] bi[392][2] bi[392][3] bi[392][4] bi[392][5] bi[393][0] bi[393][1] bi[393][2] bi[393][3] bi[393][4] bi[393][5] bi[394][0] bi[394][1] bi[394][2] bi[394][3] bi[394][4] bi[394][5] bi[395][0] bi[395][1] bi[395][2] bi[395][3] bi[395][4] bi[395][5] bi[396][0] bi[396][1] bi[396][2] bi[396][3] bi[396][4] bi[396][5] bi[397][0] bi[397][1] bi[397][2] bi[397][3] bi[397][4] bi[397][5] bi[398][0] bi[398][1] bi[398][2] bi[398][3] bi[398][4] bi[398][5] bi[399][0] bi[399][1] bi[399][2] bi[399][3] bi[399][4] bi[399][5] bi[400][0] bi[400][1] bi[400][2] bi[400][3] bi[400][4] bi[400][5] bi[401][0] bi[401][1] bi[401][2] bi[401][3] bi[401][4] bi[401][5] bi[402][0] bi[402][1] bi[402][2] bi[402][3] bi[402][4] bi[402][5] bi[403][0] bi[403][1] bi[403][2] bi[403][3] bi[403][4] bi[403][5] bi[404][0] bi[404][1] bi[404][2] bi[404][3] bi[404][4] bi[404][5] bi[405][0] bi[405][1] bi[405][2] bi[405][3] bi[405][4] bi[405][5] bi[406][0] bi[406][1] bi[406][2] bi[406][3] bi[406][4] bi[406][5] bi[407][0] bi[407][1] bi[407][2] bi[407][3] bi[407][4] bi[407][5] bi[408][0] bi[408][1] bi[408][2] bi[408][3] bi[408][4] bi[408][5] bi[409][0] bi[409][1] bi[409][2] bi[409][3] bi[409][4] bi[409][5] bi[410][0] bi[410][1] bi[410][2] bi[410][3] bi[410][4] bi[410][5] bi[411][0] bi[411][1] bi[411][2] bi[411][3] bi[411][4] bi[411][5] bi[412][0] bi[412][1] bi[412][2] bi[412][3] bi[412][4] bi[412][5] bi[413][0] bi[413][1] bi[413][2] bi[413][3] bi[413][4] bi[413][5] bi[414][0] bi[414][1] bi[414][2] bi[414][3] bi[414][4] bi[414][5] bi[415][0] bi[415][1] bi[415][2] bi[415][3] bi[415][4] bi[415][5] bi[416][0] bi[416][1] bi[416][2] bi[416][3] bi[416][4] bi[416][5] bi[417][0] bi[417][1] bi[417][2] bi[417][3] bi[417][4] bi[417][5] bi[418][0] bi[418][1] bi[418][2] bi[418][3] bi[418][4] bi[418][5] bi[419][0] bi[419][1] bi[419][2] bi[419][3] bi[419][4] bi[419][5] bi[420][0] bi[420][1] bi[420][2] bi[420][3] bi[420][4] bi[420][5] bi[421][0] bi[421][1] bi[421][2] bi[421][3] bi[421][4] bi[421][5] bi[422][0] bi[422][1] bi[422][2] bi[422][3] bi[422][4] bi[422][5] bi[423][0] bi[423][1] bi[423][2] bi[423][3] bi[423][4] bi[423][5] bi[424][0] bi[424][1] bi[424][2] bi[424][3] bi[424][4] bi[424][5] bi[425][0] bi[425][1] bi[425][2] bi[425][3] bi[425][4] bi[425][5] bi[426][0] bi[426][1] bi[426][2] bi[426][3] bi[426][4] bi[426][5] bi[427][0] bi[427][1] bi[427][2] bi[427][3] bi[427][4] bi[427][5] bi[428][0] bi[428][1] bi[428][2] bi[428][3] bi[428][4] bi[428][5] bi[429][0] bi[429][1] bi[429][2] bi[429][3] bi[429][4] bi[429][5] bi[430][0] bi[430][1] bi[430][2] bi[430][3] bi[430][4] bi[430][5] bi[431][0] bi[431][1] bi[431][2] bi[431][3] bi[431][4] bi[431][5] bi[432][0] bi[432][1] bi[432][2] bi[432][3] bi[432][4] bi[432][5] bi[433][0] bi[433][1] bi[433][2] bi[433][3] bi[433][4] bi[433][5] bi[434][0] bi[434][1] bi[434][2] bi[434][3] bi[434][4] bi[434][5] bi[435][0] bi[435][1] bi[435][2] bi[435][3] bi[435][4] bi[435][5] bi[436][0] bi[436][1] bi[436][2] bi[436][3] bi[436][4] bi[436][5] bi[437][0] bi[437][1] bi[437][2] bi[437][3] bi[437][4] bi[437][5] bi[438][0] bi[438][1] bi[438][2] bi[438][3] bi[438][4] bi[438][5] bi[439][0] bi[439][1] bi[439][2] bi[439][3] bi[439][4] bi[439][5] bi[440][0] bi[440][1] bi[440][2] bi[440][3] bi[440][4] bi[440][5] bi[441][0] bi[441][1] bi[441][2] bi[441][3] bi[441][4] bi[441][5] bi[442][0] bi[442][1] bi[442][2] bi[442][3] bi[442][4] bi[442][5] bi[443][0] bi[443][1] bi[443][2] bi[443][3] bi[443][4] bi[443][5] bi[444][0] bi[444][1] bi[444][2] bi[444][3] bi[444][4] bi[444][5] bi[445][0] bi[445][1] bi[445][2] bi[445][3] bi[445][4] bi[445][5] bi[446][0] bi[446][1] bi[446][2] bi[446][3] bi[446][4] bi[446][5] bi[447][0] bi[447][1] bi[447][2] bi[447][3] bi[447][4] bi[447][5] bi[448][0] bi[448][1] bi[448][2] bi[448][3] bi[448][4] bi[448][5] bi[449][0] bi[449][1] bi[449][2] bi[449][3] bi[449][4] bi[449][5] bi[450][0] bi[450][1] bi[450][2] bi[450][3] bi[450][4] bi[450][5] bi[451][0] bi[451][1] bi[451][2] bi[451][3] bi[451][4] bi[451][5] bi[452][0] bi[452][1] bi[452][2] bi[452][3] bi[452][4] bi[452][5] bi[453][0] bi[453][1] bi[453][2] bi[453][3] bi[453][4] bi[453][5] bi[454][0] bi[454][1] bi[454][2] bi[454][3] bi[454][4] bi[454][5] bi[455][0] bi[455][1] bi[455][2] bi[455][3] bi[455][4] bi[455][5] bi[456][0] bi[456][1] bi[456][2] bi[456][3] bi[456][4] bi[456][5] bi[457][0] bi[457][1] bi[457][2] bi[457][3] bi[457][4] bi[457][5] bi[458][0] bi[458][1] bi[458][2] bi[458][3] bi[458][4] bi[458][5] bi[459][0] bi[459][1] bi[459][2] bi[459][3] bi[459][4] bi[459][5] bi[460][0] bi[460][1] bi[460][2] bi[460][3] bi[460][4] bi[460][5] bi[461][0] bi[461][1] bi[461][2] bi[461][3] bi[461][4] bi[461][5] bi[462][0] bi[462][1] bi[462][2] bi[462][3] bi[462][4] bi[462][5] bi[463][0] bi[463][1] bi[463][2] bi[463][3] bi[463][4] bi[463][5] bi[464][0] bi[464][1] bi[464][2] bi[464][3] bi[464][4] bi[464][5] bi[465][0] bi[465][1] bi[465][2] bi[465][3] bi[465][4] bi[465][5] bi[466][0] bi[466][1] bi[466][2] bi[466][3] bi[466][4] bi[466][5] bi[467][0] bi[467][1] bi[467][2] bi[467][3] bi[467][4] bi[467][5] bi[468][0] bi[468][1] bi[468][2] bi[468][3] bi[468][4] bi[468][5] bi[469][0] bi[469][1] bi[469][2] bi[469][3] bi[469][4] bi[469][5] bi[470][0] bi[470][1] bi[470][2] bi[470][3] bi[470][4] bi[470][5] bi[471][0] bi[471][1] bi[471][2] bi[471][3] bi[471][4] bi[471][5] bi[472][0] bi[472][1] bi[472][2] bi[472][3] bi[472][4] bi[472][5] bi[473][0] bi[473][1] bi[473][2] bi[473][3] bi[473][4] bi[473][5] bi[474][0] bi[474][1] bi[474][2] bi[474][3] bi[474][4] bi[474][5] bi[475][0] bi[475][1] bi[475][2] bi[475][3] bi[475][4] bi[475][5] bi[476][0] bi[476][1] bi[476][2] bi[476][3] bi[476][4] bi[476][5] bi[477][0] bi[477][1] bi[477][2] bi[477][3] bi[477][4] bi[477][5] bi[478][0] bi[478][1] bi[478][2] bi[478][3] bi[478][4] bi[478][5] bi[479][0] bi[479][1] bi[479][2] bi[479][3] bi[479][4] bi[479][5] bi[480][0] bi[480][1] bi[480][2] bi[480][3] bi[480][4] bi[480][5] bi[481][0] bi[481][1] bi[481][2] bi[481][3] bi[481][4] bi[481][5] bi[482][0] bi[482][1] bi[482][2] bi[482][3] bi[482][4] bi[482][5] bi[483][0] bi[483][1] bi[483][2] bi[483][3] bi[483][4] bi[483][5] bi[484][0] bi[484][1] bi[484][2] bi[484][3] bi[484][4] bi[484][5] bi[485][0] bi[485][1] bi[485][2] bi[485][3] bi[485][4] bi[485][5] bi[486][0] bi[486][1] bi[486][2] bi[486][3] bi[486][4] bi[486][5] bi[487][0] bi[487][1] bi[487][2] bi[487][3] bi[487][4] bi[487][5] bi[488][0] bi[488][1] bi[488][2] bi[488][3] bi[488][4] bi[488][5] bi[489][0] bi[489][1] bi[489][2] bi[489][3] bi[489][4] bi[489][5] bi[490][0] bi[490][1] bi[490][2] bi[490][3] bi[490][4] bi[490][5] bi[491][0] bi[491][1] bi[491][2] bi[491][3] bi[491][4] bi[491][5] bi[492][0] bi[492][1] bi[492][2] bi[492][3] bi[492][4] bi[492][5] bi[493][0] bi[493][1] bi[493][2] bi[493][3] bi[493][4] bi[493][5] bi[494][0] bi[494][1] bi[494][2] bi[494][3] bi[494][4] bi[494][5] bi[495][0] bi[495][1] bi[495][2] bi[495][3] bi[495][4] bi[495][5] bi[496][0] bi[496][1] bi[496][2] bi[496][3] bi[496][4] bi[496][5] bi[497][0] bi[497][1] bi[497][2] bi[497][3] bi[497][4] bi[497][5] bi[498][0] bi[498][1] bi[498][2] bi[498][3] bi[498][4] bi[498][5] bi[499][0] bi[499][1] bi[499][2] bi[499][3] bi[499][4] bi[499][5] bi[500][0] bi[500][1] bi[500][2] bi[500][3] bi[500][4] bi[500][5] bi[501][0] bi[501][1] bi[501][2] bi[501][3] bi[501][4] bi[501][5] bi[502][0] bi[502][1] bi[502][2] bi[502][3] bi[502][4] bi[502][5] bi[503][0] bi[503][1] bi[503][2] bi[503][3] bi[503][4] bi[503][5] bi[504][0] bi[504][1] bi[504][2] bi[504][3] bi[504][4] bi[504][5] bi[505][0] bi[505][1] bi[505][2] bi[505][3] bi[505][4] bi[505][5] bi[506][0] bi[506][1] bi[506][2] bi[506][3] bi[506][4] bi[506][5] bi[507][0] bi[507][1] bi[507][2] bi[507][3] bi[507][4] bi[507][5] bi[508][0] bi[508][1] bi[508][2] bi[508][3] bi[508][4] bi[508][5] bi[509][0] bi[509][1] bi[509][2] bi[509][3] bi[509][4] bi[509][5] bi[510][0] bi[510][1] bi[510][2] bi[510][3] bi[510][4] bi[510][5] bi[511][0] bi[511][1] bi[511][2] bi[511][3] bi[511][4] bi[511][5] bi[512][0] bi[512][1] bi[512][2] bi[512][3] bi[512][4] bi[512][5] bi[513][0] bi[513][1] bi[513][2] bi[513][3] bi[513][4] bi[513][5] bi[514][0] bi[514][1] bi[514][2] bi[514][3] bi[514][4] bi[514][5] bi[515][0] bi[515][1] bi[515][2] bi[515][3] bi[515][4] bi[515][5] bi[516][0] bi[516][1] bi[516][2] bi[516][3] bi[516][4] bi[516][5] bi[517][0] bi[517][1] bi[517][2] bi[517][3] bi[517][4] bi[517][5] bi[518][0] bi[518][1] bi[518][2] bi[518][3] bi[518][4] bi[518][5] bi[519][0] bi[519][1] bi[519][2] bi[519][3] bi[519][4] bi[519][5] bi[520][0] bi[520][1] bi[520][2] bi[520][3] bi[520][4] bi[520][5] bi[521][0] bi[521][1] bi[521][2] bi[521][3] bi[521][4] bi[521][5] bi[522][0] bi[522][1] bi[522][2] bi[522][3] bi[522][4] bi[522][5] bi[523][0] bi[523][1] bi[523][2] bi[523][3] bi[523][4] bi[523][5] bi[524][0] bi[524][1] bi[524][2] bi[524][3] bi[524][4] bi[524][5] bi[525][0] bi[525][1] bi[525][2] bi[525][3] bi[525][4] bi[525][5] bi[526][0] bi[526][1] bi[526][2] bi[526][3] bi[526][4] bi[526][5] bi[527][0] bi[527][1] bi[527][2] bi[527][3] bi[527][4] bi[527][5] bi[528][0] bi[528][1] bi[528][2] bi[528][3] bi[528][4] bi[528][5] bi[529][0] bi[529][1] bi[529][2] bi[529][3] bi[529][4] bi[529][5] bi[530][0] bi[530][1] bi[530][2] bi[530][3] bi[530][4] bi[530][5] bi[531][0] bi[531][1] bi[531][2] bi[531][3] bi[531][4] bi[531][5] bi[532][0] bi[532][1] bi[532][2] bi[532][3] bi[532][4] bi[532][5] bi[533][0] bi[533][1] bi[533][2] bi[533][3] bi[533][4] bi[533][5] bi[534][0] bi[534][1] bi[534][2] bi[534][3] bi[534][4] bi[534][5] bi[535][0] bi[535][1] bi[535][2] bi[535][3] bi[535][4] bi[535][5] bi[536][0] bi[536][1] bi[536][2] bi[536][3] bi[536][4] bi[536][5] bi[537][0] bi[537][1] bi[537][2] bi[537][3] bi[537][4] bi[537][5] bi[538][0] bi[538][1] bi[538][2] bi[538][3] bi[538][4] bi[538][5] bi[539][0] bi[539][1] bi[539][2] bi[539][3] bi[539][4] bi[539][5] bi[540][0] bi[540][1] bi[540][2] bi[540][3] bi[540][4] bi[540][5] bi[541][0] bi[541][1] bi[541][2] bi[541][3] bi[541][4] bi[541][5] bi[542][0] bi[542][1] bi[542][2] bi[542][3] bi[542][4] bi[542][5] bi[543][0] bi[543][1] bi[543][2] bi[543][3] bi[543][4] bi[543][5] bi[544][0] bi[544][1] bi[544][2] bi[544][3] bi[544][4] bi[544][5] bi[545][0] bi[545][1] bi[545][2] bi[545][3] bi[545][4] bi[545][5] bi[546][0] bi[546][1] bi[546][2] bi[546][3] bi[546][4] bi[546][5] bi[547][0] bi[547][1] bi[547][2] bi[547][3] bi[547][4] bi[547][5] bi[548][0] bi[548][1] bi[548][2] bi[548][3] bi[548][4] bi[548][5] bi[549][0] bi[549][1] bi[549][2] bi[549][3] bi[549][4] bi[549][5] bi[550][0] bi[550][1] bi[550][2] bi[550][3] bi[550][4] bi[550][5] bi[551][0] bi[551][1] bi[551][2] bi[551][3] bi[551][4] bi[551][5] bi[552][0] bi[552][1] bi[552][2] bi[552][3] bi[552][4] bi[552][5] bi[553][0] bi[553][1] bi[553][2] bi[553][3] bi[553][4] bi[553][5] bi[554][0] bi[554][1] bi[554][2] bi[554][3] bi[554][4] bi[554][5] bi[555][0] bi[555][1] bi[555][2] bi[555][3] bi[555][4] bi[555][5] bi[556][0] bi[556][1] bi[556][2] bi[556][3] bi[556][4] bi[556][5] bi[557][0] bi[557][1] bi[557][2] bi[557][3] bi[557][4] bi[557][5] bi[558][0] bi[558][1] bi[558][2] bi[558][3] bi[558][4] bi[558][5] bi[559][0] bi[559][1] bi[559][2] bi[559][3] bi[559][4] bi[559][5] bi[560][0] bi[560][1] bi[560][2] bi[560][3] bi[560][4] bi[560][5] bi[561][0] bi[561][1] bi[561][2] bi[561][3] bi[561][4] bi[561][5] bi[562][0] bi[562][1] bi[562][2] bi[562][3] bi[562][4] bi[562][5] bi[563][0] bi[563][1] bi[563][2] bi[563][3] bi[563][4] bi[563][5] bi[564][0] bi[564][1] bi[564][2] bi[564][3] bi[564][4] bi[564][5] bi[565][0] bi[565][1] bi[565][2] bi[565][3] bi[565][4] bi[565][5] bi[566][0] bi[566][1] bi[566][2] bi[566][3] bi[566][4] bi[566][5] bi[567][0] bi[567][1] bi[567][2] bi[567][3] bi[567][4] bi[567][5] bi[568][0] bi[568][1] bi[568][2] bi[568][3] bi[568][4] bi[568][5] bi[569][0] bi[569][1] bi[569][2] bi[569][3] bi[569][4] bi[569][5] bi[570][0] bi[570][1] bi[570][2] bi[570][3] bi[570][4] bi[570][5] bi[571][0] bi[571][1] bi[571][2] bi[571][3] bi[571][4] bi[571][5] bi[572][0] bi[572][1] bi[572][2] bi[572][3] bi[572][4] bi[572][5] bi[573][0] bi[573][1] bi[573][2] bi[573][3] bi[573][4] bi[573][5] bi[574][0] bi[574][1] bi[574][2] bi[574][3] bi[574][4] bi[574][5] bi[575][0] bi[575][1] bi[575][2] bi[575][3] bi[575][4] bi[575][5] bi[576][0] bi[576][1] bi[576][2] bi[576][3] bi[576][4] bi[576][5] bi[577][0] bi[577][1] bi[577][2] bi[577][3] bi[577][4] bi[577][5] bi[578][0] bi[578][1] bi[578][2] bi[578][3] bi[578][4] bi[578][5] bi[579][0] bi[579][1] bi[579][2] bi[579][3] bi[579][4] bi[579][5] bi[580][0] bi[580][1] bi[580][2] bi[580][3] bi[580][4] bi[580][5] bi[581][0] bi[581][1] bi[581][2] bi[581][3] bi[581][4] bi[581][5] bi[582][0] bi[582][1] bi[582][2] bi[582][3] bi[582][4] bi[582][5] bi[583][0] bi[583][1] bi[583][2] bi[583][3] bi[583][4] bi[583][5] bi[584][0] bi[584][1] bi[584][2] bi[584][3] bi[584][4] bi[584][5] bi[585][0] bi[585][1] bi[585][2] bi[585][3] bi[585][4] bi[585][5] bi[586][0] bi[586][1] bi[586][2] bi[586][3] bi[586][4] bi[586][5] bi[587][0] bi[587][1] bi[587][2] bi[587][3] bi[587][4] bi[587][5] bi[588][0] bi[588][1] bi[588][2] bi[588][3] bi[588][4] bi[588][5] bi[589][0] bi[589][1] bi[589][2] bi[589][3] bi[589][4] bi[589][5] bi[590][0] bi[590][1] bi[590][2] bi[590][3] bi[590][4] bi[590][5] bi[591][0] bi[591][1] bi[591][2] bi[591][3] bi[591][4] bi[591][5] bi[592][0] bi[592][1] bi[592][2] bi[592][3] bi[592][4] bi[592][5] bi[593][0] bi[593][1] bi[593][2] bi[593][3] bi[593][4] bi[593][5] bi[594][0] bi[594][1] bi[594][2] bi[594][3] bi[594][4] bi[594][5] bi[595][0] bi[595][1] bi[595][2] bi[595][3] bi[595][4] bi[595][5] bi[596][0] bi[596][1] bi[596][2] bi[596][3] bi[596][4] bi[596][5] bi[597][0] bi[597][1] bi[597][2] bi[597][3] bi[597][4] bi[597][5] bi[598][0] bi[598][1] bi[598][2] bi[598][3] bi[598][4] bi[598][5] bi[599][0] bi[599][1] bi[599][2] bi[599][3] bi[599][4] bi[599][5] bi[600][0] bi[600][1] bi[600][2] bi[600][3] bi[600][4] bi[600][5] bi[601][0] bi[601][1] bi[601][2] bi[601][3] bi[601][4] bi[601][5] bi[602][0] bi[602][1] bi[602][2] bi[602][3] bi[602][4] bi[602][5] bi[603][0] bi[603][1] bi[603][2] bi[603][3] bi[603][4] bi[603][5] bi[604][0] bi[604][1] bi[604][2] bi[604][3] bi[604][4] bi[604][5] bi[605][0] bi[605][1] bi[605][2] bi[605][3] bi[605][4] bi[605][5] bi[606][0] bi[606][1] bi[606][2] bi[606][3] bi[606][4] bi[606][5] bi[607][0] bi[607][1] bi[607][2] bi[607][3] bi[607][4] bi[607][5] bi[608][0] bi[608][1] bi[608][2] bi[608][3] bi[608][4] bi[608][5] bi[609][0] bi[609][1] bi[609][2] bi[609][3] bi[609][4] bi[609][5] bi[610][0] bi[610][1] bi[610][2] bi[610][3] bi[610][4] bi[610][5] bi[611][0] bi[611][1] bi[611][2] bi[611][3] bi[611][4] bi[611][5] bi[612][0] bi[612][1] bi[612][2] bi[612][3] bi[612][4] bi[612][5] bi[613][0] bi[613][1] bi[613][2] bi[613][3] bi[613][4] bi[613][5] bi[614][0] bi[614][1] bi[614][2] bi[614][3] bi[614][4] bi[614][5] bi[615][0] bi[615][1] bi[615][2] bi[615][3] bi[615][4] bi[615][5] bi[616][0] bi[616][1] bi[616][2] bi[616][3] bi[616][4] bi[616][5] bi[617][0] bi[617][1] bi[617][2] bi[617][3] bi[617][4] bi[617][5] bi[618][0] bi[618][1] bi[618][2] bi[618][3] bi[618][4] bi[618][5] bi[619][0] bi[619][1] bi[619][2] bi[619][3] bi[619][4] bi[619][5] bi[620][0] bi[620][1] bi[620][2] bi[620][3] bi[620][4] bi[620][5] bi[621][0] bi[621][1] bi[621][2] bi[621][3] bi[621][4] bi[621][5] bi[622][0] bi[622][1] bi[622][2] bi[622][3] bi[622][4] bi[622][5] bi[623][0] bi[623][1] bi[623][2] bi[623][3] bi[623][4] bi[623][5] bi[624][0] bi[624][1] bi[624][2] bi[624][3] bi[624][4] bi[624][5] bi[625][0] bi[625][1] bi[625][2] bi[625][3] bi[625][4] bi[625][5] bi[626][0] bi[626][1] bi[626][2] bi[626][3] bi[626][4] bi[626][5] bi[627][0] bi[627][1] bi[627][2] bi[627][3] bi[627][4] bi[627][5] bi[628][0] bi[628][1] bi[628][2] bi[628][3] bi[628][4] bi[628][5] bi[629][0] bi[629][1] bi[629][2] bi[629][3] bi[629][4] bi[629][5] bi[630][0] bi[630][1] bi[630][2] bi[630][3] bi[630][4] bi[630][5] bi[631][0] bi[631][1] bi[631][2] bi[631][3] bi[631][4] bi[631][5] bi[632][0] bi[632][1] bi[632][2] bi[632][3] bi[632][4] bi[632][5] bi[633][0] bi[633][1] bi[633][2] bi[633][3] bi[633][4] bi[633][5] bi[634][0] bi[634][1] bi[634][2] bi[634][3] bi[634][4] bi[634][5] bi[635][0] bi[635][1] bi[635][2] bi[635][3] bi[635][4] bi[635][5] bi[636][0] bi[636][1] bi[636][2] bi[636][3] bi[636][4] bi[636][5] bi[637][0] bi[637][1] bi[637][2] bi[637][3] bi[637][4] bi[637][5] bi[638][0] bi[638][1] bi[638][2] bi[638][3] bi[638][4] bi[638][5] bi[639][0] bi[639][1] bi[639][2] bi[639][3] bi[639][4] bi[639][5] bi[640][0] bi[640][1] bi[640][2] bi[640][3] bi[640][4] bi[640][5] bi[641][0] bi[641][1] bi[641][2] bi[641][3] bi[641][4] bi[641][5] bi[642][0] bi[642][1] bi[642][2] bi[642][3] bi[642][4] bi[642][5] bi[643][0] bi[643][1] bi[643][2] bi[643][3] bi[643][4] bi[643][5] bi[644][0] bi[644][1] bi[644][2] bi[644][3] bi[644][4] bi[644][5] bi[645][0] bi[645][1] bi[645][2] bi[645][3] bi[645][4] bi[645][5] bi[646][0] bi[646][1] bi[646][2] bi[646][3] bi[646][4] bi[646][5] bi[647][0] bi[647][1] bi[647][2] bi[647][3] bi[647][4] bi[647][5] bi[648][0] bi[648][1] bi[648][2] bi[648][3] bi[648][4] bi[648][5] bi[649][0] bi[649][1] bi[649][2] bi[649][3] bi[649][4] bi[649][5] bi[650][0] bi[650][1] bi[650][2] bi[650][3] bi[650][4] bi[650][5] bi[651][0] bi[651][1] bi[651][2] bi[651][3] bi[651][4] bi[651][5] bi[652][0] bi[652][1] bi[652][2] bi[652][3] bi[652][4] bi[652][5] bi[653][0] bi[653][1] bi[653][2] bi[653][3] bi[653][4] bi[653][5] bi[654][0] bi[654][1] bi[654][2] bi[654][3] bi[654][4] bi[654][5] bi[655][0] bi[655][1] bi[655][2] bi[655][3] bi[655][4] bi[655][5] bi[656][0] bi[656][1] bi[656][2] bi[656][3] bi[656][4] bi[656][5] bi[657][0] bi[657][1] bi[657][2] bi[657][3] bi[657][4] bi[657][5] bi[658][0] bi[658][1] bi[658][2] bi[658][3] bi[658][4] bi[658][5] bi[659][0] bi[659][1] bi[659][2] bi[659][3] bi[659][4] bi[659][5] bi[660][0] bi[660][1] bi[660][2] bi[660][3] bi[660][4] bi[660][5] bi[661][0] bi[661][1] bi[661][2] bi[661][3] bi[661][4] bi[661][5] bi[662][0] bi[662][1] bi[662][2] bi[662][3] bi[662][4] bi[662][5] bi[663][0] bi[663][1] bi[663][2] bi[663][3] bi[663][4] bi[663][5] bi[664][0] bi[664][1] bi[664][2] bi[664][3] bi[664][4] bi[664][5] bi[665][0] bi[665][1] bi[665][2] bi[665][3] bi[665][4] bi[665][5] bi[666][0] bi[666][1] bi[666][2] bi[666][3] bi[666][4] bi[666][5] bi[667][0] bi[667][1] bi[667][2] bi[667][3] bi[667][4] bi[667][5] bi[668][0] bi[668][1] bi[668][2] bi[668][3] bi[668][4] bi[668][5] bi[669][0] bi[669][1] bi[669][2] bi[669][3] bi[669][4] bi[669][5] bi[670][0] bi[670][1] bi[670][2] bi[670][3] bi[670][4] bi[670][5] bi[671][0] bi[671][1] bi[671][2] bi[671][3] bi[671][4] bi[671][5] bi[672][0] bi[672][1] bi[672][2] bi[672][3] bi[672][4] bi[672][5] bi[673][0] bi[673][1] bi[673][2] bi[673][3] bi[673][4] bi[673][5] bi[674][0] bi[674][1] bi[674][2] bi[674][3] bi[674][4] bi[674][5] bi[675][0] bi[675][1] bi[675][2] bi[675][3] bi[675][4] bi[675][5] bi[676][0] bi[676][1] bi[676][2] bi[676][3] bi[676][4] bi[676][5] bi[677][0] bi[677][1] bi[677][2] bi[677][3] bi[677][4] bi[677][5] bi[678][0] bi[678][1] bi[678][2] bi[678][3] bi[678][4] bi[678][5] bi[679][0] bi[679][1] bi[679][2] bi[679][3] bi[679][4] bi[679][5] bi[680][0] bi[680][1] bi[680][2] bi[680][3] bi[680][4] bi[680][5] bi[681][0] bi[681][1] bi[681][2] bi[681][3] bi[681][4] bi[681][5] bi[682][0] bi[682][1] bi[682][2] bi[682][3] bi[682][4] bi[682][5] bi[683][0] bi[683][1] bi[683][2] bi[683][3] bi[683][4] bi[683][5] bi[684][0] bi[684][1] bi[684][2] bi[684][3] bi[684][4] bi[684][5] bi[685][0] bi[685][1] bi[685][2] bi[685][3] bi[685][4] bi[685][5] bi[686][0] bi[686][1] bi[686][2] bi[686][3] bi[686][4] bi[686][5] bi[687][0] bi[687][1] bi[687][2] bi[687][3] bi[687][4] bi[687][5] bi[688][0] bi[688][1] bi[688][2] bi[688][3] bi[688][4] bi[688][5] bi[689][0] bi[689][1] bi[689][2] bi[689][3] bi[689][4] bi[689][5] bi[690][0] bi[690][1] bi[690][2] bi[690][3] bi[690][4] bi[690][5] bi[691][0] bi[691][1] bi[691][2] bi[691][3] bi[691][4] bi[691][5] bi[692][0] bi[692][1] bi[692][2] bi[692][3] bi[692][4] bi[692][5] bi[693][0] bi[693][1] bi[693][2] bi[693][3] bi[693][4] bi[693][5] bi[694][0] bi[694][1] bi[694][2] bi[694][3] bi[694][4] bi[694][5] bi[695][0] bi[695][1] bi[695][2] bi[695][3] bi[695][4] bi[695][5] bi[696][0] bi[696][1] bi[696][2] bi[696][3] bi[696][4] bi[696][5] bi[697][0] bi[697][1] bi[697][2] bi[697][3] bi[697][4] bi[697][5] bi[698][0] bi[698][1] bi[698][2] bi[698][3] bi[698][4] bi[698][5] bi[699][0] bi[699][1] bi[699][2] bi[699][3] bi[699][4] bi[699][5] bi[700][0] bi[700][1] bi[700][2] bi[700][3] bi[700][4] bi[700][5] bi[701][0] bi[701][1] bi[701][2] bi[701][3] bi[701][4] bi[701][5] bi[702][0] bi[702][1] bi[702][2] bi[702][3] bi[702][4] bi[702][5] bi[703][0] bi[703][1] bi[703][2] bi[703][3] bi[703][4] bi[703][5] bi[704][0] bi[704][1] bi[704][2] bi[704][3] bi[704][4] bi[704][5] bi[705][0] bi[705][1] bi[705][2] bi[705][3] bi[705][4] bi[705][5] bi[706][0] bi[706][1] bi[706][2] bi[706][3] bi[706][4] bi[706][5] bi[707][0] bi[707][1] bi[707][2] bi[707][3] bi[707][4] bi[707][5] bi[708][0] bi[708][1] bi[708][2] bi[708][3] bi[708][4] bi[708][5] bi[709][0] bi[709][1] bi[709][2] bi[709][3] bi[709][4] bi[709][5] bi[710][0] bi[710][1] bi[710][2] bi[710][3] bi[710][4] bi[710][5] bi[711][0] bi[711][1] bi[711][2] bi[711][3] bi[711][4] bi[711][5] bi[712][0] bi[712][1] bi[712][2] bi[712][3] bi[712][4] bi[712][5] bi[713][0] bi[713][1] bi[713][2] bi[713][3] bi[713][4] bi[713][5] bi[714][0] bi[714][1] bi[714][2] bi[714][3] bi[714][4] bi[714][5] bi[715][0] bi[715][1] bi[715][2] bi[715][3] bi[715][4] bi[715][5] bi[716][0] bi[716][1] bi[716][2] bi[716][3] bi[716][4] bi[716][5] bi[717][0] bi[717][1] bi[717][2] bi[717][3] bi[717][4] bi[717][5] bi[718][0] bi[718][1] bi[718][2] bi[718][3] bi[718][4] bi[718][5] bi[719][0] bi[719][1] bi[719][2] bi[719][3] bi[719][4] bi[719][5] bi[720][0] bi[720][1] bi[720][2] bi[720][3] bi[720][4] bi[720][5] bi[721][0] bi[721][1] bi[721][2] bi[721][3] bi[721][4] bi[721][5] bi[722][0] bi[722][1] bi[722][2] bi[722][3] bi[722][4] bi[722][5] bi[723][0] bi[723][1] bi[723][2] bi[723][3] bi[723][4] bi[723][5] bi[724][0] bi[724][1] bi[724][2] bi[724][3] bi[724][4] bi[724][5] bi[725][0] bi[725][1] bi[725][2] bi[725][3] bi[725][4] bi[725][5] bi[726][0] bi[726][1] bi[726][2] bi[726][3] bi[726][4] bi[726][5] bi[727][0] bi[727][1] bi[727][2] bi[727][3] bi[727][4] bi[727][5] bi[728][0] bi[728][1] bi[728][2] bi[728][3] bi[728][4] bi[728][5] g[0] g[1] g[2] </list>
2.89/2.94	v   <values> 0 2 6 18 54 162 487 4 12 36 108 324 245 7 21 63 189 568 246 11 33 99 297 163 490 14 42 126 378 405 488 8 24 73 219 657 513 83 249 20 60 180 540 164 493 22 66 198 594 326 250 23 69 207 621 407 494 25 75 225 675 569 251 26 78 234 703 651 495 29 88 264 64 192 576 272 89 268 76 228 684 595 328 256 40 120 360 352 329 259 49 147 441 596 330 262 58 174 522 110 331 265 67 201 603 353 332 269 79 237 711 676 571 257 43 129 387 433 572 260 52 156 468 677 573 263 61 183 549 191 574 266 70 210 631 435 577 273 91 274 94 282 118 354 334 275 97 291 145 436 579 280 112 336 281 115 345 307 193 580 283 121 363 361 355 337 284 124 372 388 437 582 289 139 417 523 113 339 290 143 429 559 220 660 524 116 348 316 221 663 531 137 413 512 80 240 721 705 658 517 95 285 127 381 415 518 98 294 154 462 659 519 101 303 181 543 173 520 104 312 208 624 416 521 107 321 235 706 661 525 119 357 343 301 175 526 122 366 370 382 418 527 125 375 397 463 662 528 128 384 424 544 176 529 131 393 451 625 419 530 134 402 478 707 664 535 148 444 604 356 340 292 149 447 613 383 420 532 140 421 536 151 453 632 440 591 317 223 669 550 194 584 295 157 471 685 599 341 296 160 480 713 683 592 319 229 687 605 359 349 320 232 697 634 445 607 364 365 367 373 391 446 609 371 385 426 551 197 593 322 238 714 686 602 350 323 242 726 722 709 670 553 203 610 374 394 454 635 448 616 392 449 618 398 466 671 556 212 636 452 628 427 554 206 619 400 472 688 608 368 376 401 474 694 626 422 538 158 475 698 637 455 638 457 643 473 690 614 386 430 562 230 691 617 395 458 646 481 715 689 611 377 403 482 717 695 629 431 564 236 710 672 560 224 673 563 233 699 641 467 674 565 239 719 700 644 476 701 647 484 724 716 692 620 404 485 728 727 723 712 680 583 293 152 456 640 464 665 539 161 483 720 702 649 489 10 30 90 270 82 247 13 39 117 351 325 248 16 48 144 434 575 267 72 216 648 486 1 3 9 27 81 244 5 15 45 135 406 491 17 51 153 459 650 492 19 57 171 514 84 252 28 85 255 37 111 333 271 86 258 46 138 414 515 87 261 55 165 496 31 93 279 109 327 253 32 96 288 136 408 497 34 102 306 190 570 254 35 105 315 217 652 498 38 114 342 298 166 499 41 123 369 379 409 500 44 132 396 461 655 507 65 195 586 302 177 533 142 428 557 213 639 460 653 501 47 141 423 541 167 502 50 150 450 622 410 503 53 159 477 704 654 504 56 168 505 59 178 534 146 438 585 299 169 508 68 204 612 380 411 506 62 186 558 218 656 510 74 222 666 542 170 511 77 231 693 623 412 509 71 214 642 469 678 578 276 100 300 172 516 92 277 103 309 199 597 335 278 106 318 226 679 581 286 130 390 442 598 338 287 133 399 470 681 587 304 184 552 200 600 344 305 187 561 227 682 588 308 196 589 310 202 606 362 358 346 311 205 615 389 439 590 313 211 633 443 601 347 314 215 645 479 708 667 545 179 537 155 465 668 546 182 547 185 555 209 627 425 548 188 566 241 725 718 696 630 432 567 243 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 2 0 0 0 0 2 1 0 0 0 2 1 0 0 0 2 1 0 0 0 2 1 0 0 0 2 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 2 0 0 1 0 2 0 0 1 0 2 0 0 1 0 2 0 0 0 0 2 0 0 0 1 2 0 0 0 1 1 0 0 0 1 1 2 0 0 1 1 2 0 0 1 1 2 0 0 1 1 2 0 0 0 1 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 2 0 0 0 2 2 0 0 0 2 2 0 1 0 2 2 0 1 0 2 2 0 1 0 0 2 0 1 0 0 0 0 1 0 0 0 2 1 0 0 0 2 0 0 0 0 2 0 2 0 0 2 0 2 0 0 2 0 2 0 0 2 0 2 0 0 0 0 2 0 0 0 2 2 0 0 0 2 1 0 0 0 2 1 1 0 0 2 1 1 0 0 2 1 1 0 0 2 1 1 0 0 0 1 1 0 0 0 2 1 0 0 0 2 1 0 0 0 2 1 2 0 0 2 1 2 0 0 2 1 2 0 0 2 1 2 0 0 0 1 2 0 0 0 2 2 0 0 0 2 2 0 0 0 2 2 1 0 0 2 2 1 0 0 2 2 1 0 0 2 2 1 0 0 0 2 1 0 0 0 2 1 0 0 0 2 2 0 0 0 2 2 2 0 0 2 2 2 0 0 2 2 2 0 0 2 2 2 0 0 1 2 2 0 0 1 0 2 0 0 1 0 0 0 0 1 0 0 2 0 1 0 0 2 1 1 0 0 2 1 0 0 0 2 1 0 1 0 2 1 0 1 0 2 1 0 1 0 0 1 0 1 0 0 2 0 1 0 0 2 2 1 0 0 2 2 1 0 0 2 2 1 1 0 2 2 1 1 0 2 2 1 1 0 0 2 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 2 1 0 0 1 2 1 0 0 1 2 1 1 0 1 2 1 1 0 1 2 1 1 0 0 2 1 1 0 0 2 1 1 0 0 2 0 1 0 0 2 0 1 0 0 2 0 1 1 0 2 0 1 1 0 2 0 1 1 0 0 0 1 1 0 0 2 1 1 0 0 2 1 1 0 0 2 1 1 0 0 2 1 1 1 0 2 1 1 1 0 2 1 1 1 0 0 1 1 1 0 0 2 1 1 0 0 2 2 1 0 0 2 2 2 0 0 2 2 2 1 0 2 2 2 1 0 2 2 2 1 0 0 2 2 1 0 0 1 2 1 0 0 1 1 1 0 0 1 1 2 0 0 1 1 2 1 0 1 1 2 1 0 1 1 2 1 0 0 1 2 1 0 0 1 2 1 0 0 1 2 1 0 0 1 2 2 0 0 1 2 2 1 0 1 2 2 1 0 1 2 2 1 0 0 2 2 1 0 0 2 2 1 0 0 2 0 1 0 0 2 0 2 0 0 2 0 2 1 0 2 0 2 1 0 2 0 2 1 0 0 0 2 1 0 0 2 2 1 0 0 2 1 1 0 0 2 1 2 0 0 2 1 2 1 0 2 1 2 1 0 2 1 2 1 0 1 1 2 1 0 1 0 2 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 1 2 0 1 0 1 2 1 1 0 1 2 1 0 0 1 2 1 0 1 1 2 1 0 1 1 2 1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 1 1 1 0 1 1 0 1 0 1 1 0 2 0 1 1 0 2 1 1 1 0 2 1 0 1 0 2 1 0 1 0 2 1 0 1 1 2 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 2 0 1 1 1 2 1 1 1 1 2 1 0 1 1 2 1 0 1 1 2 1 0 1 2 2 1 0 1 2 0 1 0 1 2 0 1 0 1 2 0 1 1 1 2 0 1 1 0 2 0 1 1 0 1 0 1 1 0 1 2 1 1 0 1 2 0 1 0 1 2 0 2 0 1 2 0 2 2 1 2 0 2 2 0 2 0 2 2 0 1 0 2 2 0 1 1 2 2 0 1 1 0 2 0 1 1 0 2 0 1 1 0 2 2 1 1 0 2 2 0 1 0 2 2 0 1 0 2 2 0 1 2 2 2 0 1 2 0 2 0 1 2 0 0 0 1 2 0 0 2 1 2 0 0 2 2 2 0 0 2 2 2 0 0 2 2 2 2 0 2 2 2 2 0 2 2 2 2 0 1 2 2 2 0 1 0 2 2 0 1 0 1 2 0 1 0 1 1 0 1 0 1 1 2 1 0 1 1 2 0 0 1 1 2 0 1 1 1 2 0 1 0 1 2 0 1 0 1 2 0 1 0 1 2 0 1 0 1 2 2 1 0 1 2 2 0 0 1 2 2 0 1 1 2 2 0 1 0 2 2 0 1 0 2 2 0 1 0 2 0 0 1 0 2 0 2 1 0 2 0 2 0 0 2 0 2 0 1 2 0 2 0 1 0 0 2 0 1 0 2 2 0 1 0 2 1 0 1 0 2 1 2 1 0 2 1 2 0 0 2 1 2 0 1 2 1 2 0 1 0 1 2 0 1 0 2 2 0 1 0 2 2 0 1 0 2 2 2 1 0 2 2 2 0 0 2 2 2 0 1 2 2 2 0 1 1 2 2 0 1 1 1 2 0 1 1 1 0 0 1 1 1 0 2 1 1 1 0 2 0 1 1 0 2 0 1 1 0 2 0 1 1 0 2 0 1 1 1 2 0 1 1 1 1 0 1 1 1 1 2 1 1 1 1 2 0 1 1 1 2 0 1 1 1 2 0 1 1 1 2 0 1 1 1 2 0 1 1 1 2 0 1 1 1 2 2 1 1 1 2 2 0 1 1 2 2 0 1 1 2 2 0 1 1 2 2 0 1 1 2 2 0 1 1 2 0 0 1 1 2 0 2 1 1 2 0 2 0 1 2 0 2 0 1 2 0 2 0 1 1 0 2 0 1 1 2 2 0 1 1 2 1 0 1 1 2 1 2 1 1 2 1 2 0 1 2 1 2 0 1 2 1 2 0 1 1 1 2 0 1 1 2 2 0 1 1 2 2 0 1 1 2 2 2 1 1 2 2 2 0 1 2 2 2 0 1 2 2 2 0 1 2 2 2 0 1 2 1 2 0 1 2 1 1 0 1 2 1 1 1 1 2 1 1 1 0 2 1 1 1 0 1 1 1 1 0 1 2 1 1 0 1 2 1 1 0 1 2 1 1 0 1 2 1 1 2 1 2 1 1 2 0 2 1 1 2 0 1 1 1 2 0 1 2 1 2 0 1 2 0 2 0 1 2 0 1 0 1 2 0 1 2 1 2 0 1 2 1 2 0 1 2 1 2 0 1 2 1 2 1 1 2 1 2 1 0 2 1 2 1 0 2 1 2 1 0 2 2 2 1 0 2 2 0 1 0 2 2 0 2 0 2 2 0 2 1 2 2 0 2 1 0 2 0 2 1 0 1 0 2 1 0 1 2 2 1 0 1 2 2 1 0 1 2 2 1 0 1 2 2 1 1 1 2 2 1 1 0 2 2 1 1 0 1 2 1 1 0 1 2 1 1 0 1 2 2 1 0 1 2 2 2 0 1 2 2 2 1 1 2 2 2 1 0 2 2 2 1 0 2 2 2 1 0 2 2 2 1 0 2 2 1 1 0 2 2 1 1 0 2 2 1 1 1 2 2 1 1 1 0 2 1 1 1 0 2 1 1 1 0 2 2 1 1 0 2 2 1 1 0 2 2 1 2 0 2 2 1 2 1 2 2 1 2 1 1 2 1 2 1 1 1 1 2 1 1 1 1 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 1 1 1 2 1 1 1 1 2 1 1 1 1 2 1 1 1 1 2 1 1 1 2 2 1 1 1 2 0 1 1 1 2 0 2 1 1 2 0 2 1 1 2 0 2 1 0 2 0 2 1 0 2 0 2 1 0 2 2 2 1 0 2 2 2 1 0 2 2 2 1 0 2 2 2 1 1 2 2 2 1 1 0 2 2 1 1 0 2 2 1 1 0 2 2 1 1 0 2 2 2 1 0 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 0 2 2 2 2 0 2 1 2 2 0 2 1 1 2 0 2 1 1 1 0 2 1 1 1 2 2 1 1 1 2 1 1 1 1 2 1 2 1 1 2 1 2 1 1 2 1 2 1 1 2 1 2 1 1 2 1 2 1 1 2 1 2 1 1 2 1 1 1 1 2 1 1 2 1 2 1 1 2 2 2 1 1 2 2 0 1 1 2 2 0 2 1 2 2 0 2 1 2 2 0 2 1 2 2 0 2 1 2 1 0 2 1 2 1 2 2 1 2 1 2 0 1 2 1 2 0 2 2 1 2 0 2 1 1 2 0 2 1 1 2 0 2 1 1 2 0 2 1 1 2 2 2 1 1 2 2 1 1 1 2 2 1 1 1 2 2 1 1 1 2 2 1 1 1 1 2 1 1 1 1 2 1 1 1 1 2 2 1 1 1 2 2 1 1 1 2 2 1 2 1 2 2 1 2 0 2 2 1 2 0 1 2 1 2 0 1 2 1 2 0 1 2 2 2 0 1 2 2 1 0 1 2 2 1 2 1 2 2 1 2 1 2 2 1 2 1 2 2 1 2 1 2 1 1 2 1 2 1 2 2 1 2 1 2 2 1 2 1 2 2 1 2 1 2 2 1 1 1 2 2 1 1 2 2 2 1 1 2 0 2 1 1 2 0 2 1 1 2 0 2 2 1 2 0 2 2 1 2 0 2 2 1 1 0 2 2 1 1 2 2 2 1 1 2 1 2 1 1 2 1 2 1 1 2 1 2 2 1 2 1 2 2 2 2 1 2 2 2 1 1 2 2 2 1 1 2 2 2 1 1 1 2 2 1 1 1 2 2 1 1 1 2 2 1 1 1 2 2 2 1 1 2 2 2 1 1 2 2 2 1 2 2 2 2 1 2 0 2 2 1 2 0 2 2 1 2 0 2 2 1 2 0 2 2 2 2 0 2 2 2 0 0 2 2 2 0 2 2 2 2 0 2 2 2 2 0 2 2 0 2 0 2 2 0 2 0 2 2 0 2 2 2 2 0 2 2 1 2 0 2 2 1 2 0 2 2 1 2 2 2 2 1 2 2 0 2 1 2 2 0 2 1 2 2 0 2 2 2 2 0 2 2 2 2 0 2 2 2 1 0 2 2 2 1 2 2 2 2 1 2 2 2 2 1 2 2 1 2 1 2 2 1 2 1 2 2 1 2 2 2 2 1 2 2 2 2 1 2 2 2 2 1 2 2 2 2 1 2 2 2 2 1 1 2 2 2 1 1 2 2 2 1 1 2 2 2 1 1 2 2 2 1 1 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 1 0 2 2 2 1 0 1 2 2 1 0 1 2 2 1 0 1 2 1 1 0 1 2 1 2 0 1 2 1 2 2 1 2 1 2 2 0 2 1 2 2 0 1 1 2 2 0 1 2 2 2 0 1 2 2 2 0 1 2 2 2 0 1 2 2 2 2 1 2 2 2 2 0 2 2 2 2 0 0 2 2 2 0 0 0 2 2 0 0 0 1 2 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 2 0 0 0 1 2 1 0 0 1 2 1 0 0 1 2 1 0 0 1 2 1 0 0 2 2 1 0 0 2 2 1 0 0 2 2 0 0 0 2 2 0 0 0 2 2 0 0 0 2 2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 2 0 0 0 1 2 0 0 0 1 2 0 0 0 1 2 0 0 0 1 2 0 0 0 1 2 0 0 0 1 2 0 0 0 1 2 2 0 0 1 2 2 0 0 1 2 2 0 0 1 2 2 0 0 0 2 2 0 0 0 2 2 0 0 0 2 0 0 0 0 2 0 1 0 0 2 0 1 0 0 2 0 1 0 0 2 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 1 1 0 0 1 1 0 0 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 2 1 0 0 1 2 0 0 0 1 2 0 1 0 1 2 0 1 0 1 2 0 1 0 0 2 0 1 0 0 2 0 1 0 0 2 0 1 0 0 2 0 0 0 0 2 0 0 1 0 2 0 0 1 0 2 0 0 1 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 0 0 1 1 0 0 1 1 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 2 0 1 0 1 2 0 1 0 1 2 0 0 0 1 2 0 0 1 1 2 0 0 1 0 2 0 0 1 0 2 0 0 1 0 2 1 0 1 0 2 1 0 1 0 2 1 0 0 0 2 1 0 0 1 2 1 0 0 1 0 1 0 0 1 0 2 0 0 1 0 2 2 0 1 0 2 2 0 1 0 2 2 0 0 0 2 2 0 0 1 2 2 0 0 1 1 2 0 0 1 1 0 0 0 1 1 0 2 0 1 1 0 2 0 1 1 0 2 0 0 1 0 2 0 0 1 0 2 0 0 1 1 2 0 0 1 1 1 0 0 1 1 1 2 0 1 1 1 2 0 1 1 1 2 0 0 1 1 2 0 0 1 1 2 0 0 1 1 2 0 0 1 1 2 0 0 1 1 2 2 0 1 1 2 2 0 1 1 2 2 0 0 1 2 2 0 0 2 2 2 0 0 2 1 2 0 0 2 1 0 0 0 2 1 0 2 0 2 1 0 2 0 2 1 0 2 0 1 1 0 2 0 1 2 0 2 0 1 2 0 2 0 1 2 0 2 0 1 2 0 2 1 1 2 0 2 1 2 2 0 2 1 2 2 0 2 1 2 2 0 2 1 2 2 0 0 1 2 2 0 0 1 2 2 0 0 1 2 2 0 0 1 2 0 0 0 1 2 0 2 0 1 2 0 2 0 1 2 0 2 0 0 2 0 2 0 0 1 0 2 0 0 1 2 2 0 0 1 2 1 0 0 1 2 1 2 0 1 2 1 2 0 1 2 1 2 0 0 2 1 2 0 0 1 1 2 0 0 1 2 2 0 0 1 2 2 0 0 1 2 2 2 0 1 2 2 2 0 1 2 2 2 0 0 2 2 2 0 0 2 2 2 0 0 2 0 2 0 0 2 0 0 0 0 2 0 0 2 0 2 0 0 2 0 2 0 0 2 0 1 0 0 2 0 1 2 0 2 0 1 2 1 2 0 1 2 1 0 0 1 2 1 0 2 1 2 1 0 2 0 2 1 0 2 0 0 1 0 2 0 0 2 0 2 0 0 2 1 2 0 0 2 1 1 0 0 2 1 1 2 0 2 1 1 2 0 2 1 1 2 0 0 1 1 2 0 0 2 1 2 0 0 2 0 2 0 0 2 0 2 0 0 2 0 2 2 0 2 0 2 2 0 2 0 2 2 0 0 0 2 2 0 0 2 2 2 0 0 2 2 2 0 0 2 2 0 0 0 2 2 0 2 0 2 2 0 2 0 2 2 0 2 0 0 2 0 2 0 0 2 0 2 0 0 2 2 2 0 0 2 2 1 0 0 2 2 1 2 0 2 2 1 2 0 2 2 1 2 0 0 2 1 2 0 0 2 1 2 0 0 2 1 2 0 0 2 1 2 0 0 2 1 2 2 0 2 1 2 2 1 2 1 2 2 1 0 1 2 2 1 0 1 2 2 1 0 1 0 2 1 0 1 0 2 1 0 1 0 2 0 0 1 0 2 0 1 1 0 2 0 1 0 0 2 0 1 0 1 2 0 1 0 1 0 0 1 0 1 0 2 1 0 1 0 2 1 0 1 0 2 1 1 1 0 2 1 1 0 0 2 1 1 0 1 2 1 1 0 1 0 1 1 0 1 0 2 1 0 1 0 2 2 0 1 0 2 2 1 1 0 2 2 1 0 0 2 2 1 0 1 2 2 1 0 1 1 2 1 0 1 1 2 1 0 1 1 2 1 0 1 1 2 1 1 1 1 2 1 1 0 1 2 1 1 0 1 2 1 1 0 1 1 1 1 0 1 1 2 1 0 1 1 2 2 0 1 1 2 2 1 1 1 2 2 1 0 1 2 2 1 0 2 2 2 1 0 2 0 2 1 0 2 0 2 1 0 2 0 2 1 0 2 0 2 1 1 2 0 2 1 1 0 0 2 1 1 0 2 2 1 1 0 2 0 1 1 0 2 0 2 1 0 2 0 2 2 0 2 0 2 2 1 2 0 2 2 1 0 0 2 2 1 0 2 2 2 1 0 2 1 2 1 0 2 1 0 1 0 2 1 0 2 0 2 1 0 2 1 2 1 0 2 1 1 1 0 2 1 1 1 0 2 1 1 1 1 2 1 1 1 1 0 1 1 1 1 0 2 1 1 1 0 2 1 1 1 0 2 1 1 1 0 2 1 1 2 0 2 1 1 2 1 2 1 1 2 1 0 1 1 2 1 0 2 1 2 1 0 2 1 2 1 0 2 1 2 1 0 2 1 2 1 0 2 1 2 1 1 2 1 2 1 1 0 1 2 1 1 0 2 2 1 1 0 2 1 1 1 0 2 1 2 1 0 2 1 2 2 0 2 1 2 2 2 2 1 2 2 2 0 1 2 2 2 0 2 2 2 2 0 2 0 2 2 0 2 0 1 2 0 2 0 1 2 0 2 0 1 2 2 2 0 1 2 2 0 0 1 2 2 0 2 1 2 2 0 2 0 2 2 0 2 0 2 2 0 2 0 2 0 0 2 0 2 0 2 2 0 2 0 2 1 0 2 0 2 1 2 2 0 2 1 2 0 0 2 1 2 0 2 2 1 2 0 2 0 1 2 0 2 0 2 2 0 2 0 2 2 0 2 0 2 2 2 2 0 2 2 2 2 0 2 2 2 2 1 2 2 2 2 1 2 2 2 2 1 2 1 2 2 1 2 1 0 2 1 2 1 0 0 1 2 1 0 0 0 2 1 0 0 0 0 1 0 0 0 0 0 243 243 243 </values>
2.89/2.95	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-4241002-1500626223/watcher-4241002-1500626223 -o /tmp/evaluation-result-4241002-1500626223/solver-4241002-1500626223 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500623787-4823 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 769142509 HOME/instance-4241002-1500626223.xml 

pid=5876
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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.01 2.01 1.87 2/186 5879
/proc/meminfo: memFree=31641928/32770624 swapFree=6196/253692
[pid=5879] ppid=5876 vsize=28944 CPUtime=0 cores=0,2,4,6
/proc/5879/stat : 5879 (MistralXCSP) R 5876 5879 4792 0 -1 4202496 989 0 0 0 0 0 0 0 20 0 1 0 17375049 29638656 765 33554432000 4194304 7402444 140732338167568 140732338164616 140505710134252 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 26320896 140732338173097 140732338173246 140732338173246 140732338175945 0
/proc/5879/statm: 7236 765 593 784 0 250 0

[startup+0.100199 s]
/proc/loadavg: 2.01 2.01 1.87 2/186 5879
/proc/meminfo: memFree=31641928/32770624 swapFree=6196/253692
[pid=5879] ppid=5876 vsize=36488 CPUtime=0.09 cores=0,2,4,6
/proc/5879/stat : 5879 (MistralXCSP) R 5876 5879 4792 0 -1 4202496 3051 0 0 0 9 0 0 0 20 0 1 0 17375049 37363712 2788 33554432000 4194304 7402444 140732338167568 140732338160808 140505709673445 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 26320896 140732338173097 140732338173246 140732338173246 140732338175945 0
/proc/5879/statm: 9122 2788 712 784 0 2136 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36488

[startup+0.200401 s]
/proc/loadavg: 2.01 2.01 1.87 2/186 5879
/proc/meminfo: memFree=31641928/32770624 swapFree=6196/253692
[pid=5879] ppid=5876 vsize=38068 CPUtime=0.19 cores=0,2,4,6
/proc/5879/stat : 5879 (MistralXCSP) R 5876 5879 4792 0 -1 4202496 3438 0 0 0 19 0 0 0 20 0 1 0 17375049 38981632 3186 33554432000 4194304 7402444 140732338167568 140732338160808 140505716160756 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 26320896 140732338173097 140732338173246 140732338173246 140732338175945 0
/proc/5879/statm: 9517 3186 727 784 0 2531 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 38068

[startup+0.30037 s]
/proc/loadavg: 2.01 2.01 1.87 2/186 5879
/proc/meminfo: memFree=31641928/32770624 swapFree=6196/253692
[pid=5879] ppid=5876 vsize=38068 CPUtime=0.29 cores=0,2,4,6
/proc/5879/stat : 5879 (MistralXCSP) R 5876 5879 4792 0 -1 4202496 3448 0 0 0 29 0 0 0 20 0 1 0 17375049 38981632 3186 33554432000 4194304 7402444 140732338167568 140732338160808 140505715872657 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 26320896 140732338173097 140732338173246 140732338173246 140732338175945 0
/proc/5879/statm: 9517 3186 727 784 0 2531 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38068

[startup+0.700294 s]
/proc/loadavg: 2.01 2.01 1.87 2/186 5879
/proc/meminfo: memFree=31641928/32770624 swapFree=6196/253692
[pid=5879] ppid=5876 vsize=38540 CPUtime=0.69 cores=0,2,4,6
/proc/5879/stat : 5879 (MistralXCSP) R 5876 5879 4792 0 -1 4202496 3556 0 0 0 69 0 0 0 20 0 1 0 17375049 39464960 3252 33554432000 4194304 7402444 140732338167568 140732338158568 6048607 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 26320896 140732338173097 140732338173246 140732338173246 140732338175945 0
/proc/5879/statm: 9635 3252 733 784 0 2649 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38540

[startup+1.50029 s]
/proc/loadavg: 2.01 2.01 1.87 3/187 5880
/proc/meminfo: memFree=31631776/32770624 swapFree=6196/253692
[pid=5879] ppid=5876 vsize=39192 CPUtime=1.49 cores=0,2,4,6
/proc/5879/stat : 5879 (MistralXCSP) R 5876 5879 4792 0 -1 4202496 3729 0 0 0 149 0 0 0 20 0 1 0 17375049 40132608 3450 33554432000 4194304 7402444 140732338167568 140732338158312 6063796 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 26320896 140732338173097 140732338173246 140732338173246 140732338175945 0
/proc/5879/statm: 9798 3450 733 784 0 2812 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39192

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5879 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1.60032 s]
/proc/loadavg: 2.01 2.01 1.87 3/187 5880
/proc/meminfo: memFree=31631776/32770624 swapFree=6196/253692
[pid=5879] ppid=5876 vsize=39192 CPUtime=1.59 cores=0,2,4,6
/proc/5879/stat : 5879 (MistralXCSP) R 5876 5879 4792 0 -1 4202496 3750 0 0 0 159 0 0 0 20 0 1 0 17375049 40132608 3450 33554432000 4194304 7402444 140732338167568 140732338158312 6002543 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 26320896 140732338173097 140732338173246 140732338173246 140732338175945 0
/proc/5879/statm: 9798 3450 733 784 0 2812 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 39192

[startup+2.40027 s]
/proc/loadavg: 2.01 2.01 1.87 3/187 5880
/proc/meminfo: memFree=31630660/32770624 swapFree=6196/253692
[pid=5879] ppid=5876 vsize=39872 CPUtime=2.39 cores=0,2,4,6
/proc/5879/stat : 5879 (MistralXCSP) R 5876 5879 4792 0 -1 4202496 3987 0 0 0 239 0 0 0 20 0 1 0 17375049 40828928 3630 33554432000 4194304 7402444 140732338167568 140732338158312 6047508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 26320896 140732338173097 140732338173246 140732338173246 140732338175945 0
/proc/5879/statm: 9968 3630 733 784 0 2982 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 39872

[startup+2.80036 s]
/proc/loadavg: 2.01 2.01 1.87 3/187 5880
/proc/meminfo: memFree=31630660/32770624 swapFree=6196/253692
[pid=5879] ppid=5876 vsize=56912 CPUtime=2.79 cores=0,2,4,6
/proc/5879/stat : 5879 (MistralXCSP) R 5876 5879 4792 0 -1 4202496 9661 0 0 0 278 1 0 0 20 0 1 0 17375049 58277888 7940 33554432000 4194304 7402444 140732338167568 140732338162104 5324366 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 26320896 140732338173097 140732338173246 140732338173246 140732338175945 0
/proc/5879/statm: 14228 7940 787 784 0 7242 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 56912

[startup+2.90035 s]
/proc/loadavg: 2.01 2.01 1.87 3/187 5880
/proc/meminfo: memFree=31630660/32770624 swapFree=6196/253692
[pid=5879] ppid=5876 vsize=58280 CPUtime=2.89 cores=0,2,4,6
/proc/5879/stat : 5879 (MistralXCSP) R 5876 5879 4792 0 -1 4202496 10012 0 0 0 288 1 0 0 20 0 1 0 17375049 59678720 8269 33554432000 4194304 7402444 140732338167568 140732338161992 4249144 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 26320896 140732338173097 140732338173246 140732338173246 140732338175945 0
/proc/5879/statm: 14570 8269 789 784 0 7584 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 58280

Child status: 0
Real time (s): 2.9514
CPU time (s): 2.94761
CPU user time (s): 2.93162
CPU system time (s): 0.015992
CPU usage (%): 99.8719
Max. virtual memory (cumulated for all children) (KiB): 58280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.93162
system time used= 0.015992
maximum resident set size= 33104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10085
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= 11
involuntary context switches= 153

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.00845 second user time and 0.018109 second system time

The end

Begin job on node114 at 2017-07-21 10:37:03
IDJOB=4241002
IDBENCH=125571
IDSOLVER=2622
FILE ID=node114/4241002-1500626223
RUNJOBID= node114-1500623787-4823
PBS_JOBID= 20623017
Free space on /tmp= 62016 MiB

SOLVER NAME= Mistral-2.0 2017-06-28
BENCH NAME= XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-03-06.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-4241002-1500626223/watcher-4241002-1500626223 -o /tmp/evaluation-result-4241002-1500626223/solver-4241002-1500626223 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500623787-4823 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 769142509 HOME/instance-4241002-1500626223.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= a0d270dd535955910725fddfcfa0cde8
RANDOM SEED=769142509

node114.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/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		: 2000.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.82
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		: 2133.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.82
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		: 1600.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		: 2267.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.82
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		: 1600.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		: 1867.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.82
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		: 1600.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:        31642176 kB
MemAvailable:   32012284 kB
Buffers:          156800 kB
Cached:           493900 kB
SwapCached:            0 kB
Active:           445992 kB
Inactive:         262536 kB
Active(anon):      60372 kB
Inactive(anon):     8844 kB
Active(file):     385620 kB
Inactive(file):   253692 kB
Unevictable:        6196 kB
Mlocked:            6196 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              6292 kB
Writeback:             0 kB
AnonPages:        168132 kB
Mapped:            34436 kB
Shmem:              8848 kB
Slab:             118760 kB
SReclaimable:      93260 kB
SUnreclaim:        25500 kB
KernelStack:        3568 kB
PageTables:         4980 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     328784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    114688 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62012 MiB
End job on node114 at 2017-07-21 10:37:06