Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2018-06-15 | SAT (TO) | 1049785785 | 2400.09 | 2400.31 |
Name | Fapp/Fapp-m2s/ Fapp-m2s-06-0500_c18.xml |
MD5SUM | 26cacd4a9bde3a1253c36df99f6e4e09 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 840126924 |
Best CPU time to get the best result obtained on this benchmark | 2520.18 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 10160 |
Number of constraints | 6531 |
Number of domains | 106 |
Minimum domain size | 2 |
Maximum domain size | 145 |
Distribution of domain sizes | [{"size":2,"count":3553},{"size":11,"count":3053},{"size":12,"count":1},{"size":21,"count":9},{"size":23,"count":9},{"size":27,"count":52},{"size":35,"count":16},{"size":38,"count":8},{"size":40,"count":2},{"size":41,"count":37},{"size":43,"count":6},{"size":44,"count":11},{"size":47,"count":21},{"size":49,"count":6},{"size":51,"count":47},{"size":52,"count":4},{"size":53,"count":30},{"size":54,"count":5},{"size":55,"count":1},{"size":60,"count":9},{"size":62,"count":1},{"size":63,"count":27},{"size":65,"count":4},{"size":66,"count":19},{"size":67,"count":33},"...",{"size":102,"count":4}, {"size":103,"count":90}, {"size":104,"count":17}, {"size":105,"count":47}, {"size":107,"count":63}, {"size":108,"count":9}, {"size":109,"count":6}, {"size":111,"count":2}, {"size":112,"count":15}, {"size":113,"count":24}, {"size":116,"count":10}, {"size":117,"count":31}, {"size":119,"count":112}, {"size":120,"count":118}, {"size":121,"count":1}, {"size":122,"count":56}, {"size":129,"count":2}, {"size":131,"count":39}, {"size":132,"count":4}, {"size":133,"count":22}, {"size":136,"count":37}, {"size":138,"count":41}, {"size":139,"count":70}, {"size":140,"count":148}, {"size":145,"count":1779}] |
Minimum variable degree | 2 |
Maximum variable degree | 3054 |
Distribution of variable degrees | [{"degree":2,"count":9160},{"degree":3,"count":4},{"degree":4,"count":4},{"degree":5,"count":14},{"degree":6,"count":18},{"degree":7,"count":34},{"degree":8,"count":46},{"degree":9,"count":47},{"degree":10,"count":58},{"degree":11,"count":53},{"degree":12,"count":75},{"degree":13,"count":101},{"degree":14,"count":110},{"degree":15,"count":138},{"degree":16,"count":215},{"degree":17,"count":78},{"degree":18,"count":3},{"degree":19,"count":1},{"degree":3054,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 6 |
Distribution of constraint arities | [{"arity":2,"count":425},{"arity":3,"count":3053},{"arity":6,"count":3053}] |
Number of extensional constraints | 3053 |
Number of intensional constraints | 3478 |
Distribution of constraint types | [{"type":"extension","count":3053},{"type":"intension","count":3478}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c Mistral 16062018 200.59/200.69 o 1050488108 200.69/200.70 o 1050488100 200.69/200.71 o 1050457577 200.69/200.71 o 1050457575 200.69/200.72 o 1050427045 200.69/200.74 o 1050427035 200.69/200.75 o 1050396505 200.69/200.77 o 1050365988 200.69/200.78 o 1050365980 200.79/200.80 o 1050335462 200.79/200.87 o 1050304934 200.89/200.90 o 1050274406 200.89/200.93 o 1050243879 200.89/200.96 o 1050243878 200.89/201.00 o 1050243869 200.99/201.02 o 1050243864 200.99/201.07 o 1050243856 201.39/201.41 o 1050243850 201.48/201.51 o 1050243847 201.58/201.67 o 1050213313 202.68/202.78 o 1050182774 202.78/202.81 o 1050182772 205.68/205.70 o 1050182769 208.88/208.91 o 1050182766 211.19/211.22 o 1050152234 221.29/221.31 o 1050152225 224.49/224.55 o 1050121715 235.39/235.40 o 1050121712 258.39/258.41 o 1050121694 332.38/332.44 o 1050060632 349.09/349.14 o 1050030108 358.48/358.51 o 1050030107 376.10/376.11 o 1050030106 482.69/482.78 o 1050030105 561.68/561.72 o 1049999575 562.48/562.52 o 1049999568 596.19/596.23 o 1049969041 662.28/662.34 o 1049938511 662.88/662.94 o 1049938510 703.28/703.32 o 1049938509 795.87/795.93 o 1049938505 797.88/797.99 o 1049938497 798.09/798.15 o 1049907966 800.18/800.23 o 1049877427 800.88/800.96 o 1049877425 802.88/802.91 o 1049877424 804.98/805.01 o 1049877423 810.67/810.71 o 1049877422 862.58/862.69 o 1049846882 947.57/947.60 o 1049785803 2257.50/2257.70 o 1049785794 2257.60/2257.80 o 1049785793 2259.70/2259.99 o 1049785788 2266.70/2267.00 o 1049785787 2306.39/2306.62 o 1049785785 2400.07/2400.30 s SATISFIABLE 2400.07/2400.30 v <instantiation type="solution"> 2400.07/2400.30 v <list> f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] f[350] f[351] f[352] f[353] f[354] f[355] f[356] f[357] f[358] f[359] f[360] f[361] f[362] f[363] f[364] f[365] f[366] f[367] f[368] f[369] f[370] f[371] f[372] f[373] f[374] f[375] f[376] f[377] f[378] f[379] f[380] f[381] f[382] f[383] f[384] f[385] f[386] f[387] f[388] f[389] f[390] f[391] f[392] f[393] f[394] f[395] f[396] f[397] f[398] f[399] f[400] f[401] f[402] f[403] f[404] f[405] f[406] f[407] f[408] f[409] f[410] f[411] f[412] f[413] f[414] f[415] f[416] f[417] f[418] f[419] f[420] f[421] f[422] f[423] f[424] f[425] f[426] f[427] f[428] f[429] f[430] f[431] f[432] f[433] f[434] f[435] f[436] f[437] f[438] f[439] f[440] f[441] f[442] f[443] f[444] f[445] f[446] f[447] f[448] f[449] f[450] f[451] f[452] f[453] f[454] f[455] f[456] f[457] f[458] f[459] f[460] f[461] f[462] f[463] f[464] f[465] f[466] f[467] f[468] f[469] f[470] f[471] f[472] f[473] f[474] f[475] f[476] f[477] f[478] f[479] f[480] f[481] f[482] f[483] f[484] f[485] f[486] f[487] f[488] f[489] f[490] f[491] f[492] f[493] f[494] f[495] f[496] f[497] f[498] f[499] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] p[350] p[351] p[352] p[353] p[354] p[355] p[356] p[357] p[358] p[359] p[360] p[361] p[362] p[363] p[364] p[365] p[366] p[367] p[368] p[369] p[370] p[371] p[372] p[373] p[374] p[375] p[376] p[377] p[378] p[379] p[380] p[381] p[382] p[383] p[384] p[385] p[386] p[387] p[388] p[389] p[390] p[391] p[392] p[393] p[394] p[395] p[396] p[397] p[398] p[399] p[400] p[401] p[402] p[403] p[404] p[405] p[406] p[407] p[408] p[409] p[410] p[411] p[412] p[413] p[414] p[415] p[416] p[417] p[418] p[419] p[420] p[421] p[422] p[423] p[424] p[425] p[426] p[427] p[428] p[429] p[430] p[431] p[432] p[433] p[434] p[435] p[436] p[437] p[438] p[439] p[440] p[441] p[442] p[443] p[444] p[445] p[446] p[447] p[448] p[449] p[450] p[451] p[452] p[453] p[454] p[455] p[456] p[457] p[458] p[459] p[460] p[461] p[462] p[463] p[464] p[465] p[466] p[467] p[468] p[469] p[470] p[471] p[472] p[473] p[474] p[475] p[476] p[477] p[478] p[479] p[480] p[481] p[482] p[483] p[484] p[485] p[486] p[487] p[488] p[489] p[490] p[491] p[492] p[493] p[494] p[495] p[496] p[497] p[498] p[499] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[1560] v1[1561] v1[1562] v1[1563] v1[1564] v1[1565] v1[1566] v1[1567] v1[1568] v1[1569] v1[1570] v1[1571] v1[1572] v1[1573] v1[1574] v1[1575] v1[1576] v1[1577] v1[1578] v1[1579] v1[1580] v1[1581] v1[1582] v1[1583] v1[1584] v1[1585] v1[1586] v1[1587] v1[1588] v1[1589] v1[1590] v1[1591] v1[1592] v1[1593] v1[1594] v1[1595] v1[1596] v1[1597] v1[1598] v1[1599] v1[1600] v1[1601] v1[1602] v1[1603] v1[1604] v1[1605] v1[1606] v1[1607] v1[1608] v1[1609] v1[1610] v1[1611] v1[1612] v1[1613] v1[1614] v1[1615] v1[1616] v1[1617] v1[1618] v1[1619] v1[1620] v1[1621] v1[1622] v1[1623] v1[1624] v1[1625] v1[1626] v1[1627] v1[1628] v1[1629] v1[1630] v1[1631] v1[1632] v1[1633] v1[1634] v1[1635] v1[1636] v1[1637] v1[1638] v1[1639] v1[1640] v1[1641] v1[1642] v1[1643] v1[1644] v1[1645] v1[1646] v1[1647] v1[1648] v1[1649] v1[1650] v1[1651] v1[1652] v1[1653] v1[1654] v1[1655] v1[1656] v1[1657] v1[1658] v1[1659] v1[1660] v1[1661] v1[1662] v1[1663] v1[1664] v1[1665] v1[1666] v1[1667] v1[1668] v1[1669] v1[1670] v1[1671] v1[1672] v1[1673] v1[1674] v1[1675] v1[1676] v1[1677] v1[1678] v1[1679] v1[1680] v1[1681] v1[1682] v1[1683] v1[1684] v1[1685] v1[1686] v1[1687] v1[1688] v1[1689] v1[1690] v1[1691] v1[1692] v1[1693] v1[1694] v1[1695] v1[1696] v1[1697] v1[1698] v1[1699] v1[1700] v1[1701] v1[1702] v1[1703] v1[1704] v1[1705] v1[1706] v1[1707] v1[1708] v1[1709] v1[1710] v1[1711] v1[1712] v1[1713] v1[1714] v1[1715] v1[1716] v1[1717] v1[1718] v1[1719] v1[1720] v1[1721] v1[1722] v1[1723] v1[1724] v1[1725] v1[1726] v1[1727] v1[1728] v1[1729] v1[1730] v1[1731] v1[1732] v1[1733] v1[1734] v1[1735] v1[1736] v1[1737] v1[1738] v1[1739] v1[1740] v1[1741] v1[1742] v1[1743] v1[1744] v1[1745] v1[1746] v1[1747] v1[1748] v1[1749] v1[1750] v1[1751] v1[1752] v1[1753] v1[1754] v1[1755] v1[1756] v1[1757] v1[1758] v1[1759] v1[1760] v1[1761] v1[1762] v1[1763] v1[1764] v1[1765] v1[1766] v1[1767] v1[1768] v1[1769] v1[1770] v1[1771] v1[1772] v1[1773] v1[1774] v1[1775] v1[1776] v1[1777] v1[1778] v1[1779] v1[1780] v1[1781] v1[1782] v1[1783] v1[1784] v1[1785] v1[1786] v1[1787] v1[1788] v1[1789] v1[1790] v1[1791] v1[1792] v1[1793] v1[1794] v1[1795] v1[1796] v1[1797] v1[1798] v1[1799] v1[1800] v1[1801] v1[1802] v1[1803] v1[1804] v1[1805] v1[1806] v1[1807] v1[1808] v1[1809] v1[1810] v1[1811] v1[1812] v1[1813] v1[1814] v1[1815] v1[1816] v1[1817] v1[1818] v1[1819] v1[1820] v1[1821] v1[1822] v1[1823] v1[1824] v1[1825] v1[1826] v1[1827] v1[1828] v1[1829] v1[1830] v1[1831] v1[1832] v1[1833] v1[1834] v1[1835] v1[1836] v1[1837] v1[1838] v1[1839] v1[1840] v1[1841] v1[1842] v1[1843] v1[1844] v1[1845] v1[1846] v1[1847] v1[1848] v1[1849] v1[1850] v1[1851] v1[1852] v1[1853] v1[1854] v1[1855] v1[1856] v1[1857] v1[1858] v1[1859] v1[1860] v1[1861] v1[1862] v1[1863] v1[1864] v1[1865] v1[1866] v1[1867] v1[1868] v1[1869] v1[1870] v1[1871] v1[1872] v1[1873] v1[1874] v1[1875] v1[1876] v1[1877] v1[1878] v1[1879] v1[1880] v1[1881] v1[1882] v1[1883] v1[1884] v1[1885] v1[1886] v1[1887] v1[1888] v1[1889] v1[1890] v1[1891] v1[1892] v1[1893] v1[1894] v1[1895] v1[1896] v1[1897] v1[1898] v1[1899] v1[1900] v1[1901] v1[1902] v1[1903] v1[1904] v1[1905] v1[1906] v1[1907] v1[1908] v1[1909] v1[1910] v1[1911] v1[1912] v1[1913] v1[1914] v1[1915] v1[1916] v1[1917] v1[1918] v1[1919] v1[1920] v1[1921] v1[1922] v1[1923] v1[1924] v1[1925] v1[1926] v1[1927] v1[1928] v1[1929] v1[1930] v1[1931] v1[1932] v1[1933] v1[1934] v1[1935] v1[1936] v1[1937] v1[1938] v1[1939] v1[1940] v1[1941] v1[1942] v1[1943] v1[1944] v1[1945] v1[1946] v1[1947] v1[1948] v1[1949] v1[1950] v1[1951] v1[1952] v1[1953] v1[1954] v1[1955] v1[1956] v1[1957] v1[1958] v1[1959] v1[1960] v1[1961] v1[1962] v1[1963] v1[1964] v1[1965] v1[1966] v1[1967] v1[1968] v1[1969] v1[1970] v1[1971] v1[1972] v1[1973] v1[1974] v1[1975] v1[1976] v1[1977] v1[1978] v1[1979] v1[1980] v1[1981] v1[1982] v1[1983] v1[1984] v1[1985] v1[1986] v1[1987] v1[1988] v1[1989] v1[1990] v1[1991] v1[1992] v1[1993] v1[1994] v1[1995] v1[1996] v1[1997] v1[1998] v1[1999] v1[2000] v1[2001] v1[2002] v1[2003] v1[2004] v1[2005] v1[2006] v1[2007] v1[2008] v1[2009] v1[2010] v1[2011] v1[2012] v1[2013] v1[2014] v1[2015] v1[2016] v1[2017] v1[2018] v1[2019] v1[2020] v1[2021] v1[2022] v1[2023] v1[2024] v1[2025] v1[2026] v1[2027] v1[2028] v1[2029] v1[2030] v1[2031] v1[2032] v1[2033] v1[2034] v1[2035] v1[2036] v1[2037] v1[2038] v1[2039] v1[2040] v1[2041] v1[2042] v1[2043] v1[2044] v1[2045] v1[2046] v1[2047] v1[2048] v1[2049] v1[2050] v1[2051] v1[2052] v1[2053] v1[2054] v1[2055] v1[2056] v1[2057] v1[2058] v1[2059] v1[2060] v1[2061] v1[2062] v1[2063] v1[2064] v1[2065] v1[2066] v1[2067] v1[2068] v1[2069] v1[2070] v1[2071] v1[2072] v1[2073] v1[2074] v1[2075] v1[2076] v1[2077] v1[2078] v1[2079] v1[2080] v1[2081] v1[2082] v1[2083] v1[2084] v1[2085] v1[2086] v1[2087] v1[2088] v1[2089] v1[2090] v1[2091] v1[2092] v1[2093] v1[2094] v1[2095] v1[2096] v1[2097] v1[2098] v1[2099] v1[2100] v1[2101] v1[2102] v1[2103] v1[2104] v1[2105] v1[2106] v1[2107] v1[2108] v1[2109] v1[2110] v1[2111] v1[2112] v1[2113] v1[2114] v1[2115] v1[2116] v1[2117] v1[2118] v1[2119] v1[2120] v1[2121] v1[2122] v1[2123] v1[2124] v1[2125] v1[2126] v1[2127] v1[2128] v1[2129] v1[2130] v1[2131] v1[2132] v1[2133] v1[2134] v1[2135] v1[2136] v1[2137] v1[2138] v1[2139] v1[2140] v1[2141] v1[2142] v1[2143] v1[2144] v1[2145] v1[2146] v1[2147] v1[2148] v1[2149] v1[2150] v1[2151] v1[2152] v1[2153] v1[2154] v1[2155] v1[2156] v1[2157] v1[2158] v1[2159] v1[2160] v1[2161] v1[2162] v1[2163] v1[2164] v1[2165] v1[2166] v1[2167] v1[2168] v1[2169] v1[2170] v1[2171] v1[2172] v1[2173] v1[2174] v1[2175] v1[2176] v1[2177] v1[2178] v1[2179] v1[2180] v1[2181] v1[2182] v1[2183] v1[2184] v1[2185] v1[2186] v1[2187] v1[2188] v1[2189] v1[2190] v1[2191] v1[2192] v1[2193] v1[2194] v1[2195] v1[2196] v1[2197] v1[2198] v1[2199] v1[2200] v1[2201] v1[2202] v1[2203] v1[2204] v1[2205] v1[2206] v1[2207] v1[2208] v1[2209] v1[2210] v1[2211] v1[2212] v1[2213] v1[2214] v1[2215] v1[2216] v1[2217] v1[2218] v1[2219] v1[2220] v1[2221] v1[2222] v1[2223] v1[2224] v1[2225] v1[2226] v1[2227] v1[2228] v1[2229] v1[2230] v1[2231] v1[2232] v1[2233] v1[2234] v1[2235] v1[2236] v1[2237] v1[2238] v1[2239] v1[2240] v1[2241] v1[2242] v1[2243] v1[2244] v1[2245] v1[2246] v1[2247] v1[2248] v1[2249] v1[2250] v1[2251] v1[2252] v1[2253] v1[2254] v1[2255] v1[2256] v1[2257] v1[2258] v1[2259] v1[2260] v1[2261] v1[2262] v1[2263] v1[2264] v1[2265] v1[2266] v1[2267] v1[2268] v1[2269] v1[2270] v1[2271] v1[2272] v1[2273] v1[2274] v1[2275] v1[2276] v1[2277] v1[2278] v1[2279] v1[2280] v1[2281] v1[2282] v1[2283] v1[2284] v1[2285] v1[2286] v1[2287] v1[2288] v1[2289] v1[2290] v1[2291] v1[2292] v1[2293] v1[2294] v1[2295] v1[2296] v1[2297] v1[2298] v1[2299] v1[2300] v1[2301] v1[2302] v1[2303] v1[2304] v1[2305] v1[2306] v1[2307] v1[2308] v1[2309] v1[2310] v1[2311] v1[2312] v1[2313] v1[2314] v1[2315] v1[2316] v1[2317] v1[2318] v1[2319] v1[2320] v1[2321] v1[2322] v1[2323] v1[2324] v1[2325] v1[2326] v1[2327] v1[2328] v1[2329] v1[2330] v1[2331] v1[2332] v1[2333] v1[2334] v1[2335] v1[2336] v1[2337] v1[2338] v1[2339] v1[2340] v1[2341] v1[2342] v1[2343] v1[2344] v1[2345] v1[2346] v1[2347] v1[2348] v1[2349] v1[2350] v1[2351] v1[2352] v1[2353] v1[2354] v1[2355] v1[2356] v1[2357] v1[2358] v1[2359] v1[2360] v1[2361] v1[2362] v1[2363] v1[2364] v1[2365] v1[2366] v1[2367] v1[2368] v1[2369] v1[2370] v1[2371] v1[2372] v1[2373] v1[2374] v1[2375] v1[2376] v1[2377] v1[2378] v1[2379] v1[2380] v1[2381] v1[2382] v1[2383] v1[2384] v1[2385] v1[2386] v1[2387] v1[2388] v1[2389] v1[2390] v1[2391] v1[2392] v1[2393] v1[2394] v1[2395] v1[2396] v1[2397] v1[2398] v1[2399] v1[2400] v1[2401] v1[2402] v1[2403] v1[2404] v1[2405] v1[2406] v1[2407] v1[2408] v1[2409] v1[2410] v1[2411] v1[2412] v1[2413] v1[2414] v1[2415] v1[2416] v1[2417] v1[2418] v1[2419] v1[2420] v1[2421] v1[2422] v1[2423] v1[2424] v1[2425] v1[2426] v1[2427] v1[2428] v1[2429] v1[2430] v1[2431] v1[2432] v1[2433] v1[2434] v1[2435] v1[2436] v1[2437] v1[2438] v1[2439] v1[2440] v1[2441] v1[2442] v1[2443] v1[2444] v1[2445] v1[2446] v1[2447] v1[2448] v1[2449] v1[2450] v1[2451] v1[2452] v1[2453] v1[2454] v1[2455] v1[2456] v1[2457] v1[2458] v1[2459] v1[2460] v1[2461] v1[2462] v1[2463] v1[2464] v1[2465] v1[2466] v1[2467] v1[2468] v1[2469] v1[2470] v1[2471] v1[2472] v1[2473] v1[2474] v1[2475] v1[2476] v1[2477] v1[2478] v1[2479] v1[2480] v1[2481] v1[2482] v1[2483] v1[2484] v1[2485] v1[2486] v1[2487] v1[2488] v1[2489] v1[2490] v1[2491] v1[2492] v1[2493] v1[2494] v1[2495] v1[2496] v1[2497] v1[2498] v1[2499] v1[2500] v1[2501] v1[2502] v1[2503] v1[2504] v1[2505] v1[2506] v1[2507] v1[2508] v1[2509] v1[2510] v1[2511] v1[2512] v1[2513] v1[2514] v1[2515] v1[2516] v1[2517] v1[2518] v1[2519] v1[2520] v1[2521] v1[2522] v1[2523] v1[2524] v1[2525] v1[2526] v1[2527] v1[2528] v1[2529] v1[2530] v1[2531] v1[2532] v1[2533] v1[2534] v1[2535] v1[2536] v1[2537] v1[2538] v1[2539] v1[2540] v1[2541] v1[2542] v1[2543] v1[2544] v1[2545] v1[2546] v1[2547] v1[2548] v1[2549] v1[2550] v1[2551] v1[2552] v1[2553] v1[2554] v1[2555] v1[2556] v1[2557] v1[2558] v1[2559] v1[2560] v1[2561] v1[2562] v1[2563] v1[2564] v1[2565] v1[2566] v1[2567] v1[2568] v1[2569] v1[2570] v1[2571] v1[2572] v1[2573] v1[2574] v1[2575] v1[2576] v1[2577] v1[2578] v1[2579] v1[2580] v1[2581] v1[2582] v1[2583] v1[2584] v1[2585] v1[2586] v1[2587] v1[2588] v1[2589] v1[2590] v1[2591] v1[2592] v1[2593] v1[2594] v1[2595] v1[2596] v1[2597] v1[2598] v1[2599] v1[2600] v1[2601] v1[2602] v1[2603] v1[2604] v1[2605] v1[2606] v1[2607] v1[2608] v1[2609] v1[2610] v1[2611] v1[2612] v1[2613] v1[2614] v1[2615] v1[2616] v1[2617] v1[2618] v1[2619] v1[2620] v1[2621] v1[2622] v1[2623] v1[2624] v1[2625] v1[2626] v1[2627] v1[2628] v1[2629] v1[2630] v1[2631] v1[2632] v1[2633] v1[2634] v1[2635] v1[2636] v1[2637] v1[2638] v1[2639] v1[2640] v1[2641] v1[2642] v1[2643] v1[2644] v1[2645] v1[2646] v1[2647] v1[2648] v1[2649] v1[2650] v1[2651] v1[2652] v1[2653] v1[2654] v1[2655] v1[2656] v1[2657] v1[2658] v1[2659] v1[2660] v1[2661] v1[2662] v1[2663] v1[2664] v1[2665] v1[2666] v1[2667] v1[2668] v1[2669] v1[2670] v1[2671] v1[2672] v1[2673] v1[2674] v1[2675] v1[2676] v1[2677] v1[2678] v1[2679] v1[2680] v1[2681] v1[2682] v1[2683] v1[2684] v1[2685] v1[2686] v1[2687] v1[2688] v1[2689] v1[2690] v1[2691] v1[2692] v1[2693] v1[2694] v1[2695] v1[2696] v1[2697] v1[2698] v1[2699] v1[2700] v1[2701] v1[2702] v1[2703] v1[2704] v1[2705] v1[2706] v1[2707] v1[2708] v1[2709] v1[2710] v1[2711] v1[2712] v1[2713] v1[2714] v1[2715] v1[2716] v1[2717] v1[2718] v1[2719] v1[2720] v1[2721] v1[2722] v1[2723] v1[2724] v1[2725] v1[2726] v1[2727] v1[2728] v1[2729] v1[2730] v1[2731] v1[2732] v1[2733] v1[2734] v1[2735] v1[2736] v1[2737] v1[2738] v1[2739] v1[2740] v1[2741] v1[2742] v1[2743] v1[2744] v1[2745] v1[2746] v1[2747] v1[2748] v1[2749] v1[2750] v1[2751] v1[2752] v1[2753] v1[2754] v1[2755] v1[2756] v1[2757] v1[2758] v1[2759] v1[2760] v1[2761] v1[2762] v1[2763] v1[2764] v1[2765] v1[2766] v1[2767] v1[2768] v1[2769] v1[2770] v1[2771] v1[2772] v1[2773] v1[2774] v1[2775] v1[2776] v1[2777] v1[2778] v1[2779] v1[2780] v1[2781] v1[2782] v1[2783] v1[2784] v1[2785] v1[2786] v1[2787] v1[2788] v1[2789] v1[2790] v1[2791] v1[2792] v1[2793] v1[2794] v1[2795] v1[2796] v1[2797] v1[2798] v1[2799] v1[2800] v1[2801] v1[2802] v1[2803] v1[2804] v1[2805] v1[2806] v1[2807] v1[2808] v1[2809] v1[2810] v1[2811] v1[2812] v1[2813] v1[2814] v1[2815] v1[2816] v1[2817] v1[2818] v1[2819] v1[2820] v1[2821] v1[2822] v1[2823] v1[2824] v1[2825] v1[2826] v1[2827] v1[2828] v1[2829] v1[2830] v1[2831] v1[2832] v1[2833] v1[2834] v1[2835] v1[2836] v1[2837] v1[2838] v1[2839] v1[2840] v1[2841] v1[2842] v1[2843] v1[2844] v1[2845] v1[2846] v1[2847] v1[2848] v1[2849] v1[2850] v1[2851] v1[2852] v1[2853] v1[2854] v1[2855] v1[2856] v1[2857] v1[2858] v1[2859] v1[2860] v1[2861] v1[2862] v1[2863] v1[2864] v1[2865] v1[2866] v1[2867] v1[2868] v1[2869] v1[2870] v1[2871] v1[2872] v1[2873] v1[2874] v1[2875] v1[2876] v1[2877] v1[2878] v1[2879] v1[2880] v1[2881] v1[2882] v1[2883] v1[2884] v1[2885] v1[2886] v1[2887] v1[2888] v1[2889] v1[2890] v1[2891] v1[2892] v1[2893] v1[2894] v1[2895] v1[2896] v1[2897] v1[2898] v1[2899] v1[2900] v1[2901] v1[2902] v1[2903] v1[2904] v1[2905] v1[2906] v1[2907] v1[2908] v1[2909] v1[2910] v1[2911] v1[2912] v1[2913] v1[2914] v1[2915] v1[2916] v1[2917] v1[2918] v1[2919] v1[2920] v1[2921] v1[2922] v1[2923] v1[2924] v1[2925] v1[2926] v1[2927] v1[2928] v1[2929] v1[2930] v1[2931] v1[2932] v1[2933] v1[2934] v1[2935] v1[2936] v1[2937] v1[2938] v1[2939] v1[2940] v1[2941] v1[2942] v1[2943] v1[2944] v1[2945] v1[2946] v1[2947] v1[2948] v1[2949] v1[2950] v1[2951] v1[2952] v1[2953] v1[2954] v1[2955] v1[2956] v1[2957] v1[2958] v1[2959] v1[2960] v1[2961] v1[2962] v1[2963] v1[2964] v1[2965] v1[2966] v1[2967] v1[2968] v1[2969] v1[2970] v1[2971] v1[2972] v1[2973] v1[2974] v1[2975] v1[2976] v1[2977] v1[2978] v1[2979] v1[2980] v1[2981] v1[2982] v1[2983] v1[2984] v1[2985] v1[2986] v1[2987] v1[2988] v1[2989] v1[2990] v1[2991] v1[2992] v1[2993] v1[2994] v1[2995] v1[2996] v1[2997] v1[2998] v1[2999] v1[3000] v1[3001] v1[3002] v1[3003] v1[3004] v1[3005] v1[3006] v1[3007] v1[3008] v1[3009] v1[3010] v1[3011] v1[3012] v1[3013] v1[3014] v1[3015] v1[3016] v1[3017] v1[3018] v1[3019] v1[3020] v1[3021] v1[3022] v1[3023] v1[3024] v1[3025] v1[3026] v1[3027] v1[3028] v1[3029] v1[3030] v1[3031] v1[3032] v1[3033] v1[3034] v1[3035] v1[3036] v1[3037] v1[3038] v1[3039] v1[3040] v1[3041] v1[3042] v1[3043] v1[3044] v1[3045] v1[3046] v1[3047] v1[3048] v1[3049] v1[3050] v1[3051] v1[3052] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[1560] v2[1561] v2[1562] v2[1563] v2[1564] v2[1565] v2[1566] v2[1567] v2[1568] v2[1569] v2[1570] v2[1571] v2[1572] v2[1573] v2[1574] v2[1575] v2[1576] v2[1577] v2[1578] v2[1579] v2[1580] v2[1581] v2[1582] v2[1583] v2[1584] v2[1585] v2[1586] v2[1587] v2[1588] v2[1589] v2[1590] v2[1591] v2[1592] v2[1593] v2[1594] v2[1595] v2[1596] v2[1597] v2[1598] v2[1599] v2[1600] v2[1601] v2[1602] v2[1603] v2[1604] v2[1605] v2[1606] v2[1607] v2[1608] v2[1609] v2[1610] v2[1611] v2[1612] v2[1613] v2[1614] v2[1615] v2[1616] v2[1617] v2[1618] v2[1619] v2[1620] v2[1621] v2[1622] v2[1623] v2[1624] v2[1625] v2[1626] v2[1627] v2[1628] v2[1629] v2[1630] v2[1631] v2[1632] v2[1633] v2[1634] v2[1635] v2[1636] v2[1637] v2[1638] v2[1639] v2[1640] v2[1641] v2[1642] v2[1643] v2[1644] v2[1645] v2[1646] v2[1647] v2[1648] v2[1649] v2[1650] v2[1651] v2[1652] v2[1653] v2[1654] v2[1655] v2[1656] v2[1657] v2[1658] v2[1659] v2[1660] v2[1661] v2[1662] v2[1663] v2[1664] v2[1665] v2[1666] v2[1667] v2[1668] v2[1669] v2[1670] v2[1671] v2[1672] v2[1673] v2[1674] v2[1675] v2[1676] v2[1677] v2[1678] v2[1679] v2[1680] v2[1681] v2[1682] v2[1683] v2[1684] v2[1685] v2[1686] v2[1687] v2[1688] v2[1689] v2[1690] v2[1691] v2[1692] v2[1693] v2[1694] v2[1695] v2[1696] v2[1697] v2[1698] v2[1699] v2[1700] v2[1701] v2[1702] v2[1703] v2[1704] v2[1705] v2[1706] v2[1707] v2[1708] v2[1709] v2[1710] v2[1711] v2[1712] v2[1713] v2[1714] v2[1715] v2[1716] v2[1717] v2[1718] v2[1719] v2[1720] v2[1721] v2[1722] v2[1723] v2[1724] v2[1725] v2[1726] v2[1727] v2[1728] v2[1729] v2[1730] v2[1731] v2[1732] v2[1733] v2[1734] v2[1735] v2[1736] v2[1737] v2[1738] v2[1739] v2[1740] v2[1741] v2[1742] v2[1743] v2[1744] v2[1745] v2[1746] v2[1747] v2[1748] v2[1749] v2[1750] v2[1751] v2[1752] v2[1753] v2[1754] v2[1755] v2[1756] v2[1757] v2[1758] v2[1759] v2[1760] v2[1761] v2[1762] v2[1763] v2[1764] v2[1765] v2[1766] v2[1767] v2[1768] v2[1769] v2[1770] v2[1771] v2[1772] v2[1773] v2[1774] v2[1775] v2[1776] v2[1777] v2[1778] v2[1779] v2[1780] v2[1781] v2[1782] v2[1783] v2[1784] v2[1785] v2[1786] v2[1787] v2[1788] v2[1789] v2[1790] v2[1791] v2[1792] v2[1793] v2[1794] v2[1795] v2[1796] v2[1797] v2[1798] v2[1799] v2[1800] v2[1801] v2[1802] v2[1803] v2[1804] v2[1805] v2[1806] v2[1807] v2[1808] v2[1809] v2[1810] v2[1811] v2[1812] v2[1813] v2[1814] v2[1815] v2[1816] v2[1817] v2[1818] v2[1819] v2[1820] v2[1821] v2[1822] v2[1823] v2[1824] v2[1825] v2[1826] v2[1827] v2[1828] v2[1829] v2[1830] v2[1831] v2[1832] v2[1833] v2[1834] v2[1835] v2[1836] v2[1837] v2[1838] v2[1839] v2[1840] v2[1841] v2[1842] v2[1843] v2[1844] v2[1845] v2[1846] v2[1847] v2[1848] v2[1849] v2[1850] v2[1851] v2[1852] v2[1853] v2[1854] v2[1855] v2[1856] v2[1857] v2[1858] v2[1859] v2[1860] v2[1861] v2[1862] v2[1863] v2[1864] v2[1865] v2[1866] v2[1867] v2[1868] v2[1869] v2[1870] v2[1871] v2[1872] v2[1873] v2[1874] v2[1875] v2[1876] v2[1877] v2[1878] v2[1879] v2[1880] v2[1881] v2[1882] v2[1883] v2[1884] v2[1885] v2[1886] v2[1887] v2[1888] v2[1889] v2[1890] v2[1891] v2[1892] v2[1893] v2[1894] v2[1895] v2[1896] v2[1897] v2[1898] v2[1899] v2[1900] v2[1901] v2[1902] v2[1903] v2[1904] v2[1905] v2[1906] v2[1907] v2[1908] v2[1909] v2[1910] v2[1911] v2[1912] v2[1913] v2[1914] v2[1915] v2[1916] v2[1917] v2[1918] v2[1919] v2[1920] v2[1921] v2[1922] v2[1923] v2[1924] v2[1925] v2[1926] v2[1927] v2[1928] v2[1929] v2[1930] v2[1931] v2[1932] v2[1933] v2[1934] v2[1935] v2[1936] v2[1937] v2[1938] v2[1939] v2[1940] v2[1941] v2[1942] v2[1943] v2[1944] v2[1945] v2[1946] v2[1947] v2[1948] v2[1949] v2[1950] v2[1951] v2[1952] v2[1953] v2[1954] v2[1955] v2[1956] v2[1957] v2[1958] v2[1959] v2[1960] v2[1961] v2[1962] v2[1963] v2[1964] v2[1965] v2[1966] v2[1967] v2[1968] v2[1969] v2[1970] v2[1971] v2[1972] v2[1973] v2[1974] v2[1975] v2[1976] v2[1977] v2[1978] v2[1979] v2[1980] v2[1981] v2[1982] v2[1983] v2[1984] v2[1985] v2[1986] v2[1987] v2[1988] v2[1989] v2[1990] v2[1991] v2[1992] v2[1993] v2[1994] v2[1995] v2[1996] v2[1997] v2[1998] v2[1999] v2[2000] v2[2001] v2[2002] v2[2003] v2[2004] v2[2005] v2[2006] v2[2007] v2[2008] v2[2009] v2[2010] v2[2011] v2[2012] v2[2013] v2[2014] v2[2015] v2[2016] v2[2017] v2[2018] v2[2019] v2[2020] v2[2021] v2[2022] v2[2023] v2[2024] v2[2025] v2[2026] v2[2027] v2[2028] v2[2029] v2[2030] v2[2031] v2[2032] v2[2033] v2[2034] v2[2035] v2[2036] v2[2037] v2[2038] v2[2039] v2[2040] v2[2041] v2[2042] v2[2043] v2[2044] v2[2045] v2[2046] v2[2047] v2[2048] v2[2049] v2[2050] v2[2051] v2[2052] v2[2053] v2[2054] v2[2055] v2[2056] v2[2057] v2[2058] v2[2059] v2[2060] v2[2061] v2[2062] v2[2063] v2[2064] v2[2065] v2[2066] v2[2067] v2[2068] v2[2069] v2[2070] v2[2071] v2[2072] v2[2073] v2[2074] v2[2075] v2[2076] v2[2077] v2[2078] v2[2079] v2[2080] v2[2081] v2[2082] v2[2083] v2[2084] v2[2085] v2[2086] v2[2087] v2[2088] v2[2089] v2[2090] v2[2091] v2[2092] v2[2093] v2[2094] v2[2095] v2[2096] v2[2097] v2[2098] v2[2099] v2[2100] v2[2101] v2[2102] v2[2103] v2[2104] v2[2105] v2[2106] v2[2107] v2[2108] v2[2109] v2[2110] v2[2111] v2[2112] v2[2113] v2[2114] v2[2115] v2[2116] v2[2117] v2[2118] v2[2119] v2[2120] v2[2121] v2[2122] v2[2123] v2[2124] v2[2125] v2[2126] v2[2127] v2[2128] v2[2129] v2[2130] v2[2131] v2[2132] v2[2133] v2[2134] v2[2135] v2[2136] v2[2137] v2[2138] v2[2139] v2[2140] v2[2141] v2[2142] v2[2143] v2[2144] v2[2145] v2[2146] v2[2147] v2[2148] v2[2149] v2[2150] v2[2151] v2[2152] v2[2153] v2[2154] v2[2155] v2[2156] v2[2157] v2[2158] v2[2159] v2[2160] v2[2161] v2[2162] v2[2163] v2[2164] v2[2165] v2[2166] v2[2167] v2[2168] v2[2169] v2[2170] v2[2171] v2[2172] v2[2173] v2[2174] v2[2175] v2[2176] v2[2177] v2[2178] v2[2179] v2[2180] v2[2181] v2[2182] v2[2183] v2[2184] v2[2185] v2[2186] v2[2187] v2[2188] v2[2189] v2[2190] v2[2191] v2[2192] v2[2193] v2[2194] v2[2195] v2[2196] v2[2197] v2[2198] v2[2199] v2[2200] v2[2201] v2[2202] v2[2203] v2[2204] v2[2205] v2[2206] v2[2207] v2[2208] v2[2209] v2[2210] v2[2211] v2[2212] v2[2213] v2[2214] v2[2215] v2[2216] v2[2217] v2[2218] v2[2219] v2[2220] v2[2221] v2[2222] v2[2223] v2[2224] v2[2225] v2[2226] v2[2227] v2[2228] v2[2229] v2[2230] v2[2231] v2[2232] v2[2233] v2[2234] v2[2235] v2[2236] v2[2237] v2[2238] v2[2239] v2[2240] v2[2241] v2[2242] v2[2243] v2[2244] v2[2245] v2[2246] v2[2247] v2[2248] v2[2249] v2[2250] v2[2251] v2[2252] v2[2253] v2[2254] v2[2255] v2[2256] v2[2257] v2[2258] v2[2259] v2[2260] v2[2261] v2[2262] v2[2263] v2[2264] v2[2265] v2[2266] v2[2267] v2[2268] v2[2269] v2[2270] v2[2271] v2[2272] v2[2273] v2[2274] v2[2275] v2[2276] v2[2277] v2[2278] v2[2279] v2[2280] v2[2281] v2[2282] v2[2283] v2[2284] v2[2285] v2[2286] v2[2287] v2[2288] v2[2289] v2[2290] v2[2291] v2[2292] v2[2293] v2[2294] v2[2295] v2[2296] v2[2297] v2[2298] v2[2299] v2[2300] v2[2301] v2[2302] v2[2303] v2[2304] v2[2305] v2[2306] v2[2307] v2[2308] v2[2309] v2[2310] v2[2311] v2[2312] v2[2313] v2[2314] v2[2315] v2[2316] v2[2317] v2[2318] v2[2319] v2[2320] v2[2321] v2[2322] v2[2323] v2[2324] v2[2325] v2[2326] v2[2327] v2[2328] v2[2329] v2[2330] v2[2331] v2[2332] v2[2333] v2[2334] v2[2335] v2[2336] v2[2337] v2[2338] v2[2339] v2[2340] v2[2341] v2[2342] v2[2343] v2[2344] v2[2345] v2[2346] v2[2347] v2[2348] v2[2349] v2[2350] v2[2351] v2[2352] v2[2353] v2[2354] v2[2355] v2[2356] v2[2357] v2[2358] v2[2359] v2[2360] v2[2361] v2[2362] v2[2363] v2[2364] v2[2365] v2[2366] v2[2367] v2[2368] v2[2369] v2[2370] v2[2371] v2[2372] v2[2373] v2[2374] v2[2375] v2[2376] v2[2377] v2[2378] v2[2379] v2[2380] v2[2381] v2[2382] v2[2383] v2[2384] v2[2385] v2[2386] v2[2387] v2[2388] v2[2389] v2[2390] v2[2391] v2[2392] v2[2393] v2[2394] v2[2395] v2[2396] v2[2397] v2[2398] v2[2399] v2[2400] v2[2401] v2[2402] v2[2403] v2[2404] v2[2405] v2[2406] v2[2407] v2[2408] v2[2409] v2[2410] v2[2411] v2[2412] v2[2413] v2[2414] v2[2415] v2[2416] v2[2417] v2[2418] v2[2419] v2[2420] v2[2421] v2[2422] v2[2423] v2[2424] v2[2425] v2[2426] v2[2427] v2[2428] v2[2429] v2[2430] v2[2431] v2[2432] v2[2433] v2[2434] v2[2435] v2[2436] v2[2437] v2[2438] v2[2439] v2[2440] v2[2441] v2[2442] v2[2443] v2[2444] v2[2445] v2[2446] v2[2447] v2[2448] v2[2449] v2[2450] v2[2451] v2[2452] v2[2453] v2[2454] v2[2455] v2[2456] v2[2457] v2[2458] v2[2459] v2[2460] v2[2461] v2[2462] v2[2463] v2[2464] v2[2465] v2[2466] v2[2467] v2[2468] v2[2469] v2[2470] v2[2471] v2[2472] v2[2473] v2[2474] v2[2475] v2[2476] v2[2477] v2[2478] v2[2479] v2[2480] v2[2481] v2[2482] v2[2483] v2[2484] v2[2485] v2[2486] v2[2487] v2[2488] v2[2489] v2[2490] v2[2491] v2[2492] v2[2493] v2[2494] v2[2495] v2[2496] v2[2497] v2[2498] v2[2499] v2[2500] v2[2501] v2[2502] v2[2503] v2[2504] v2[2505] v2[2506] v2[2507] v2[2508] v2[2509] v2[2510] v2[2511] v2[2512] v2[2513] v2[2514] v2[2515] v2[2516] v2[2517] v2[2518] v2[2519] v2[2520] v2[2521] v2[2522] v2[2523] v2[2524] v2[2525] v2[2526] v2[2527] v2[2528] v2[2529] v2[2530] v2[2531] v2[2532] v2[2533] v2[2534] v2[2535] v2[2536] v2[2537] v2[2538] v2[2539] v2[2540] v2[2541] v2[2542] v2[2543] v2[2544] v2[2545] v2[2546] v2[2547] v2[2548] v2[2549] v2[2550] v2[2551] v2[2552] v2[2553] v2[2554] v2[2555] v2[2556] v2[2557] v2[2558] v2[2559] v2[2560] v2[2561] v2[2562] v2[2563] v2[2564] v2[2565] v2[2566] v2[2567] v2[2568] v2[2569] v2[2570] v2[2571] v2[2572] v2[2573] v2[2574] v2[2575] v2[2576] v2[2577] v2[2578] v2[2579] v2[2580] v2[2581] v2[2582] v2[2583] v2[2584] v2[2585] v2[2586] v2[2587] v2[2588] v2[2589] v2[2590] v2[2591] v2[2592] v2[2593] v2[2594] v2[2595] v2[2596] v2[2597] v2[2598] v2[2599] v2[2600] v2[2601] v2[2602] v2[2603] v2[2604] v2[2605] v2[2606] v2[2607] v2[2608] v2[2609] v2[2610] v2[2611] v2[2612] v2[2613] v2[2614] v2[2615] v2[2616] v2[2617] v2[2618] v2[2619] v2[2620] v2[2621] v2[2622] v2[2623] v2[2624] v2[2625] v2[2626] v2[2627] v2[2628] v2[2629] v2[2630] v2[2631] v2[2632] v2[2633] v2[2634] v2[2635] v2[2636] v2[2637] v2[2638] v2[2639] v2[2640] v2[2641] v2[2642] v2[2643] v2[2644] v2[2645] v2[2646] v2[2647] v2[2648] v2[2649] v2[2650] v2[2651] v2[2652] v2[2653] v2[2654] v2[2655] v2[2656] v2[2657] v2[2658] v2[2659] v2[2660] v2[2661] v2[2662] v2[2663] v2[2664] v2[2665] v2[2666] v2[2667] v2[2668] v2[2669] v2[2670] v2[2671] v2[2672] v2[2673] v2[2674] v2[2675] v2[2676] v2[2677] v2[2678] v2[2679] v2[2680] v2[2681] v2[2682] v2[2683] v2[2684] v2[2685] v2[2686] v2[2687] v2[2688] v2[2689] v2[2690] v2[2691] v2[2692] v2[2693] v2[2694] v2[2695] v2[2696] v2[2697] v2[2698] v2[2699] v2[2700] v2[2701] v2[2702] v2[2703] v2[2704] v2[2705] v2[2706] v2[2707] v2[2708] v2[2709] v2[2710] v2[2711] v2[2712] v2[2713] v2[2714] v2[2715] v2[2716] v2[2717] v2[2718] v2[2719] v2[2720] v2[2721] v2[2722] v2[2723] v2[2724] v2[2725] v2[2726] v2[2727] v2[2728] v2[2729] v2[2730] v2[2731] v2[2732] v2[2733] v2[2734] v2[2735] v2[2736] v2[2737] v2[2738] v2[2739] v2[2740] v2[2741] v2[2742] v2[2743] v2[2744] v2[2745] v2[2746] v2[2747] v2[2748] v2[2749] v2[2750] v2[2751] v2[2752] v2[2753] v2[2754] v2[2755] v2[2756] v2[2757] v2[2758] v2[2759] v2[2760] v2[2761] v2[2762] v2[2763] v2[2764] v2[2765] v2[2766] v2[2767] v2[2768] v2[2769] v2[2770] v2[2771] v2[2772] v2[2773] v2[2774] v2[2775] v2[2776] v2[2777] v2[2778] v2[2779] v2[2780] v2[2781] v2[2782] v2[2783] v2[2784] v2[2785] v2[2786] v2[2787] v2[2788] v2[2789] v2[2790] v2[2791] v2[2792] v2[2793] v2[2794] v2[2795] v2[2796] v2[2797] v2[2798] v2[2799] v2[2800] v2[2801] v2[2802] v2[2803] v2[2804] v2[2805] v2[2806] v2[2807] v2[2808] v2[2809] v2[2810] v2[2811] v2[2812] v2[2813] v2[2814] v2[2815] v2[2816] v2[2817] v2[2818] v2[2819] v2[2820] v2[2821] v2[2822] v2[2823] v2[2824] v2[2825] v2[2826] v2[2827] v2[2828] v2[2829] v2[2830] v2[2831] v2[2832] v2[2833] v2[2834] v2[2835] v2[2836] v2[2837] v2[2838] v2[2839] v2[2840] v2[2841] v2[2842] v2[2843] v2[2844] v2[2845] v2[2846] v2[2847] v2[2848] v2[2849] v2[2850] v2[2851] v2[2852] v2[2853] v2[2854] v2[2855] v2[2856] v2[2857] v2[2858] v2[2859] v2[2860] v2[2861] v2[2862] v2[2863] v2[2864] v2[2865] v2[2866] v2[2867] v2[2868] v2[2869] v2[2870] v2[2871] v2[2872] v2[2873] v2[2874] v2[2875] v2[2876] v2[2877] v2[2878] v2[2879] v2[2880] v2[2881] v2[2882] v2[2883] v2[2884] v2[2885] v2[2886] v2[2887] v2[2888] v2[2889] v2[2890] v2[2891] v2[2892] v2[2893] v2[2894] v2[2895] v2[2896] v2[2897] v2[2898] v2[2899] v2[2900] v2[2901] v2[2902] v2[2903] v2[2904] v2[2905] v2[2906] v2[2907] v2[2908] v2[2909] v2[2910] v2[2911] v2[2912] v2[2913] v2[2914] v2[2915] v2[2916] v2[2917] v2[2918] v2[2919] v2[2920] v2[2921] v2[2922] v2[2923] v2[2924] v2[2925] v2[2926] v2[2927] v2[2928] v2[2929] v2[2930] v2[2931] v2[2932] v2[2933] v2[2934] v2[2935] v2[2936] v2[2937] v2[2938] v2[2939] v2[2940] v2[2941] v2[2942] v2[2943] v2[2944] v2[2945] v2[2946] v2[2947] v2[2948] v2[2949] v2[2950] v2[2951] v2[2952] v2[2953] v2[2954] v2[2955] v2[2956] v2[2957] v2[2958] v2[2959] v2[2960] v2[2961] v2[2962] v2[2963] v2[2964] v2[2965] v2[2966] v2[2967] v2[2968] v2[2969] v2[2970] v2[2971] v2[2972] v2[2973] v2[2974] v2[2975] v2[2976] v2[2977] v2[2978] v2[2979] v2[2980] v2[2981] v2[2982] v2[2983] v2[2984] v2[2985] v2[2986] v2[2987] v2[2988] v2[2989] v2[2990] v2[2991] v2[2992] v2[2993] v2[2994] v2[2995] v2[2996] v2[2997] v2[2998] v2[2999] v2[3000] v2[3001] v2[3002] v2[3003] v2[3004] v2[3005] v2[3006] v2[3007] v2[3008] v2[3009] v2[3010] v2[3011] v2[3012] v2[3013] v2[3014] v2[3015] v2[3016] v2[3017] v2[3018] v2[3019] v2[3020] v2[3021] v2[3022] v2[3023] v2[3024] v2[3025] v2[3026] v2[3027] v2[3028] v2[3029] v2[3030] v2[3031] v2[3032] v2[3033] v2[3034] v2[3035] v2[3036] v2[3037] v2[3038] v2[3039] v2[3040] v2[3041] v2[3042] v2[3043] v2[3044] v2[3045] v2[3046] v2[3047] v2[3048] v2[3049] v2[3050] v2[3051] v2[3052] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[1560] d[1561] d[1562] d[1563] d[1564] d[1565] d[1566] d[1567] d[1568] d[1569] d[1570] d[1571] d[1572] d[1573] d[1574] d[1575] d[1576] d[1577] d[1578] d[1579] d[1580] d[1581] d[1582] d[1583] d[1584] d[1585] d[1586] d[1587] d[1588] d[1589] d[1590] d[1591] d[1592] d[1593] d[1594] d[1595] d[1596] d[1597] d[1598] d[1599] d[1600] d[1601] d[1602] d[1603] d[1604] d[1605] d[1606] d[1607] d[1608] d[1609] d[1610] d[1611] d[1612] d[1613] d[1614] d[1615] d[1616] d[1617] d[1618] d[1619] d[1620] d[1621] d[1622] d[1623] d[1624] d[1625] d[1626] d[1627] d[1628] d[1629] d[1630] d[1631] d[1632] d[1633] d[1634] d[1635] d[1636] d[1637] d[1638] d[1639] d[1640] d[1641] d[1642] d[1643] d[1644] d[1645] d[1646] d[1647] d[1648] d[1649] d[1650] d[1651] d[1652] d[1653] d[1654] d[1655] d[1656] d[1657] d[1658] d[1659] d[1660] d[1661] d[1662] d[1663] d[1664] d[1665] d[1666] d[1667] d[1668] d[1669] d[1670] d[1671] d[1672] d[1673] d[1674] d[1675] d[1676] d[1677] d[1678] d[1679] d[1680] d[1681] d[1682] d[1683] d[1684] d[1685] d[1686] d[1687] d[1688] d[1689] d[1690] d[1691] d[1692] d[1693] d[1694] d[1695] d[1696] d[1697] d[1698] d[1699] d[1700] d[1701] d[1702] d[1703] d[1704] d[1705] d[1706] d[1707] d[1708] d[1709] d[1710] d[1711] d[1712] d[1713] d[1714] d[1715] d[1716] d[1717] d[1718] d[1719] d[1720] d[1721] d[1722] d[1723] d[1724] d[1725] d[1726] d[1727] d[1728] d[1729] d[1730] d[1731] d[1732] d[1733] d[1734] d[1735] d[1736] d[1737] d[1738] d[1739] d[1740] d[1741] d[1742] d[1743] d[1744] d[1745] d[1746] d[1747] d[1748] d[1749] d[1750] d[1751] d[1752] d[1753] d[1754] d[1755] d[1756] d[1757] d[1758] d[1759] d[1760] d[1761] d[1762] d[1763] d[1764] d[1765] d[1766] d[1767] d[1768] d[1769] d[1770] d[1771] d[1772] d[1773] d[1774] d[1775] d[1776] d[1777] d[1778] d[1779] d[1780] d[1781] d[1782] d[1783] d[1784] d[1785] d[1786] d[1787] d[1788] d[1789] d[1790] d[1791] d[1792] d[1793] d[1794] d[1795] d[1796] d[1797] d[1798] d[1799] d[1800] d[1801] d[1802] d[1803] d[1804] d[1805] d[1806] d[1807] d[1808] d[1809] d[1810] d[1811] d[1812] d[1813] d[1814] d[1815] d[1816] d[1817] d[1818] d[1819] d[1820] d[1821] d[1822] d[1823] d[1824] d[1825] d[1826] d[1827] d[1828] d[1829] d[1830] d[1831] d[1832] d[1833] d[1834] d[1835] d[1836] d[1837] d[1838] d[1839] d[1840] d[1841] d[1842] d[1843] d[1844] d[1845] d[1846] d[1847] d[1848] d[1849] d[1850] d[1851] d[1852] d[1853] d[1854] d[1855] d[1856] d[1857] d[1858] d[1859] d[1860] d[1861] d[1862] d[1863] d[1864] d[1865] d[1866] d[1867] d[1868] d[1869] d[1870] d[1871] d[1872] d[1873] d[1874] d[1875] d[1876] d[1877] d[1878] d[1879] d[1880] d[1881] d[1882] d[1883] d[1884] d[1885] d[1886] d[1887] d[1888] d[1889] d[1890] d[1891] d[1892] d[1893] d[1894] d[1895] d[1896] d[1897] d[1898] d[1899] d[1900] d[1901] d[1902] d[1903] d[1904] d[1905] d[1906] d[1907] d[1908] d[1909] d[1910] d[1911] d[1912] d[1913] d[1914] d[1915] d[1916] d[1917] d[1918] d[1919] d[1920] d[1921] d[1922] d[1923] d[1924] d[1925] d[1926] d[1927] d[1928] d[1929] d[1930] d[1931] d[1932] d[1933] d[1934] d[1935] d[1936] d[1937] d[1938] d[1939] d[1940] d[1941] d[1942] d[1943] d[1944] d[1945] d[1946] d[1947] d[1948] d[1949] d[1950] d[1951] d[1952] d[1953] d[1954] d[1955] d[1956] d[1957] d[1958] d[1959] d[1960] d[1961] d[1962] d[1963] d[1964] d[1965] d[1966] d[1967] d[1968] d[1969] d[1970] d[1971] d[1972] d[1973] d[1974] d[1975] d[1976] d[1977] d[1978] d[1979] d[1980] d[1981] d[1982] d[1983] d[1984] d[1985] d[1986] d[1987] d[1988] d[1989] d[1990] d[1991] d[1992] d[1993] d[1994] d[1995] d[1996] d[1997] d[1998] d[1999] d[2000] d[2001] d[2002] d[2003] d[2004] d[2005] d[2006] d[2007] d[2008] d[2009] d[2010] d[2011] d[2012] d[2013] d[2014] d[2015] d[2016] d[2017] d[2018] d[2019] d[2020] d[2021] d[2022] d[2023] d[2024] d[2025] d[2026] d[2027] d[2028] d[2029] d[2030] d[2031] d[2032] d[2033] d[2034] d[2035] d[2036] d[2037] d[2038] d[2039] d[2040] d[2041] d[2042] d[2043] d[2044] d[2045] d[2046] d[2047] d[2048] d[2049] d[2050] d[2051] d[2052] d[2053] d[2054] d[2055] d[2056] d[2057] d[2058] d[2059] d[2060] d[2061] d[2062] d[2063] d[2064] d[2065] d[2066] d[2067] d[2068] d[2069] d[2070] d[2071] d[2072] d[2073] d[2074] d[2075] d[2076] d[2077] d[2078] d[2079] d[2080] d[2081] d[2082] d[2083] d[2084] d[2085] d[2086] d[2087] d[2088] d[2089] d[2090] d[2091] d[2092] d[2093] d[2094] d[2095] d[2096] d[2097] d[2098] d[2099] d[2100] d[2101] d[2102] d[2103] d[2104] d[2105] d[2106] d[2107] d[2108] d[2109] d[2110] d[2111] d[2112] d[2113] d[2114] d[2115] d[2116] d[2117] d[2118] d[2119] d[2120] d[2121] d[2122] d[2123] d[2124] d[2125] d[2126] d[2127] d[2128] d[2129] d[2130] d[2131] d[2132] d[2133] d[2134] d[2135] d[2136] d[2137] d[2138] d[2139] d[2140] d[2141] d[2142] d[2143] d[2144] d[2145] d[2146] d[2147] d[2148] d[2149] d[2150] d[2151] d[2152] d[2153] d[2154] d[2155] d[2156] d[2157] d[2158] d[2159] d[2160] d[2161] d[2162] d[2163] d[2164] d[2165] d[2166] d[2167] d[2168] d[2169] d[2170] d[2171] d[2172] d[2173] d[2174] d[2175] d[2176] d[2177] d[2178] d[2179] d[2180] d[2181] d[2182] d[2183] d[2184] d[2185] d[2186] d[2187] d[2188] d[2189] d[2190] d[2191] d[2192] d[2193] d[2194] d[2195] d[2196] d[2197] d[2198] d[2199] d[2200] d[2201] d[2202] d[2203] d[2204] d[2205] d[2206] d[2207] d[2208] d[2209] d[2210] d[2211] d[2212] d[2213] d[2214] d[2215] d[2216] d[2217] d[2218] d[2219] d[2220] d[2221] d[2222] d[2223] d[2224] d[2225] d[2226] d[2227] d[2228] d[2229] d[2230] d[2231] d[2232] d[2233] d[2234] d[2235] d[2236] d[2237] d[2238] d[2239] d[2240] d[2241] d[2242] d[2243] d[2244] d[2245] d[2246] d[2247] d[2248] d[2249] d[2250] d[2251] d[2252] d[2253] d[2254] d[2255] d[2256] d[2257] d[2258] d[2259] d[2260] d[2261] d[2262] d[2263] d[2264] d[2265] d[2266] d[2267] d[2268] d[2269] d[2270] d[2271] d[2272] d[2273] d[2274] d[2275] d[2276] d[2277] d[2278] d[2279] d[2280] d[2281] d[2282] d[2283] d[2284] d[2285] d[2286] d[2287] d[2288] d[2289] d[2290] d[2291] d[2292] d[2293] d[2294] d[2295] d[2296] d[2297] d[2298] d[2299] d[2300] d[2301] d[2302] d[2303] d[2304] d[2305] d[2306] d[2307] d[2308] d[2309] d[2310] d[2311] d[2312] d[2313] d[2314] d[2315] d[2316] d[2317] d[2318] d[2319] d[2320] d[2321] d[2322] d[2323] d[2324] d[2325] d[2326] d[2327] d[2328] d[2329] d[2330] d[2331] d[2332] d[2333] d[2334] d[2335] d[2336] d[2337] d[2338] d[2339] d[2340] d[2341] d[2342] d[2343] d[2344] d[2345] d[2346] d[2347] d[2348] d[2349] d[2350] d[2351] d[2352] d[2353] d[2354] d[2355] d[2356] d[2357] d[2358] d[2359] d[2360] d[2361] d[2362] d[2363] d[2364] d[2365] d[2366] d[2367] d[2368] d[2369] d[2370] d[2371] d[2372] d[2373] d[2374] d[2375] d[2376] d[2377] d[2378] d[2379] d[2380] d[2381] d[2382] d[2383] d[2384] d[2385] d[2386] d[2387] d[2388] d[2389] d[2390] d[2391] d[2392] d[2393] d[2394] d[2395] d[2396] d[2397] d[2398] d[2399] d[2400] d[2401] d[2402] d[2403] d[2404] d[2405] d[2406] d[2407] d[2408] d[2409] d[2410] d[2411] d[2412] d[2413] d[2414] d[2415] d[2416] d[2417] d[2418] d[2419] d[2420] d[2421] d[2422] d[2423] d[2424] d[2425] d[2426] d[2427] d[2428] d[2429] d[2430] d[2431] d[2432] d[2433] d[2434] d[2435] d[2436] d[2437] d[2438] d[2439] d[2440] d[2441] d[2442] d[2443] d[2444] d[2445] d[2446] d[2447] d[2448] d[2449] d[2450] d[2451] d[2452] d[2453] d[2454] d[2455] d[2456] d[2457] d[2458] d[2459] d[2460] d[2461] d[2462] d[2463] d[2464] d[2465] d[2466] d[2467] d[2468] d[2469] d[2470] d[2471] d[2472] d[2473] d[2474] d[2475] d[2476] d[2477] d[2478] d[2479] d[2480] d[2481] d[2482] d[2483] d[2484] d[2485] d[2486] d[2487] d[2488] d[2489] d[2490] d[2491] d[2492] d[2493] d[2494] d[2495] d[2496] d[2497] d[2498] d[2499] d[2500] d[2501] d[2502] d[2503] d[2504] d[2505] d[2506] d[2507] d[2508] d[2509] d[2510] d[2511] d[2512] d[2513] d[2514] d[2515] d[2516] d[2517] d[2518] d[2519] d[2520] d[2521] d[2522] d[2523] d[2524] d[2525] d[2526] d[2527] d[2528] d[2529] d[2530] d[2531] d[2532] d[2533] d[2534] d[2535] d[2536] d[2537] d[2538] d[2539] d[2540] d[2541] d[2542] d[2543] d[2544] d[2545] d[2546] d[2547] d[2548] d[2549] d[2550] d[2551] d[2552] d[2553] d[2554] d[2555] d[2556] d[2557] d[2558] d[2559] d[2560] d[2561] d[2562] d[2563] d[2564] d[2565] d[2566] d[2567] d[2568] d[2569] d[2570] d[2571] d[2572] d[2573] d[2574] d[2575] d[2576] d[2577] d[2578] d[2579] d[2580] d[2581] d[2582] d[2583] d[2584] d[2585] d[2586] d[2587] d[2588] d[2589] d[2590] d[2591] d[2592] d[2593] d[2594] d[2595] d[2596] d[2597] d[2598] d[2599] d[2600] d[2601] d[2602] d[2603] d[2604] d[2605] d[2606] d[2607] d[2608] d[2609] d[2610] d[2611] d[2612] d[2613] d[2614] d[2615] d[2616] d[2617] d[2618] d[2619] d[2620] d[2621] d[2622] d[2623] d[2624] d[2625] d[2626] d[2627] d[2628] d[2629] d[2630] d[2631] d[2632] d[2633] d[2634] d[2635] d[2636] d[2637] d[2638] d[2639] d[2640] d[2641] d[2642] d[2643] d[2644] d[2645] d[2646] d[2647] d[2648] d[2649] d[2650] d[2651] d[2652] d[2653] d[2654] d[2655] d[2656] d[2657] d[2658] d[2659] d[2660] d[2661] d[2662] d[2663] d[2664] d[2665] d[2666] d[2667] d[2668] d[2669] d[2670] d[2671] d[2672] d[2673] d[2674] d[2675] d[2676] d[2677] d[2678] d[2679] d[2680] d[2681] d[2682] d[2683] d[2684] d[2685] d[2686] d[2687] d[2688] d[2689] d[2690] d[2691] d[2692] d[2693] d[2694] d[2695] d[2696] d[2697] d[2698] d[2699] d[2700] d[2701] d[2702] d[2703] d[2704] d[2705] d[2706] d[2707] d[2708] d[2709] d[2710] d[2711] d[2712] d[2713] d[2714] d[2715] d[2716] d[2717] d[2718] d[2719] d[2720] d[2721] d[2722] d[2723] d[2724] d[2725] d[2726] d[2727] d[2728] d[2729] d[2730] d[2731] d[2732] d[2733] d[2734] d[2735] d[2736] d[2737] d[2738] d[2739] d[2740] d[2741] d[2742] d[2743] d[2744] d[2745] d[2746] d[2747] d[2748] d[2749] d[2750] d[2751] d[2752] d[2753] d[2754] d[2755] d[2756] d[2757] d[2758] d[2759] d[2760] d[2761] d[2762] d[2763] d[2764] d[2765] d[2766] d[2767] d[2768] d[2769] d[2770] d[2771] d[2772] d[2773] d[2774] d[2775] d[2776] d[2777] d[2778] d[2779] d[2780] d[2781] d[2782] d[2783] d[2784] d[2785] d[2786] d[2787] d[2788] d[2789] d[2790] d[2791] d[2792] d[2793] d[2794] d[2795] d[2796] d[2797] d[2798] d[2799] d[2800] d[2801] d[2802] d[2803] d[2804] d[2805] d[2806] d[2807] d[2808] d[2809] d[2810] d[2811] d[2812] d[2813] d[2814] d[2815] d[2816] d[2817] d[2818] d[2819] d[2820] d[2821] d[2822] d[2823] d[2824] d[2825] d[2826] d[2827] d[2828] d[2829] d[2830] d[2831] d[2832] d[2833] d[2834] d[2835] d[2836] d[2837] d[2838] d[2839] d[2840] d[2841] d[2842] d[2843] d[2844] d[2845] d[2846] d[2847] d[2848] d[2849] d[2850] d[2851] d[2852] d[2853] d[2854] d[2855] d[2856] d[2857] d[2858] d[2859] d[2860] d[2861] d[2862] d[2863] d[2864] d[2865] d[2866] d[2867] d[2868] d[2869] d[2870] d[2871] d[2872] d[2873] d[2874] d[2875] d[2876] d[2877] d[2878] d[2879] d[2880] d[2881] d[2882] d[2883] d[2884] d[2885] d[2886] d[2887] d[2888] d[2889] d[2890] d[2891] d[2892] d[2893] d[2894] d[2895] d[2896] d[2897] d[2898] d[2899] d[2900] d[2901] d[2902] d[2903] d[2904] d[2905] d[2906] d[2907] d[2908] d[2909] d[2910] d[2911] d[2912] d[2913] d[2914] d[2915] d[2916] d[2917] d[2918] d[2919] d[2920] d[2921] d[2922] d[2923] d[2924] d[2925] d[2926] d[2927] d[2928] d[2929] d[2930] d[2931] d[2932] d[2933] d[2934] d[2935] d[2936] d[2937] d[2938] d[2939] d[2940] d[2941] d[2942] d[2943] d[2944] d[2945] d[2946] d[2947] d[2948] d[2949] d[2950] d[2951] d[2952] d[2953] d[2954] d[2955] d[2956] d[2957] d[2958] d[2959] d[2960] d[2961] d[2962] d[2963] d[2964] d[2965] d[2966] d[2967] d[2968] d[2969] d[2970] d[2971] d[2972] d[2973] d[2974] d[2975] d[2976] d[2977] d[2978] d[2979] d[2980] d[2981] d[2982] d[2983] d[2984] d[2985] d[2986] d[2987] d[2988] d[2989] d[2990] d[2991] d[2992] d[2993] d[2994] d[2995] d[2996] d[2997] d[2998] d[2999] d[3000] d[3001] d[3002] d[3003] d[3004] d[3005] d[3006] d[3007] d[3008] d[3009] d[3010] d[3011] d[3012] d[3013] d[3014] d[3015] d[3016] d[3017] d[3018] d[3019] d[3020] d[3021] d[3022] d[3023] d[3024] d[3025] d[3026] d[3027] d[3028] d[3029] d[3030] d[3031] d[3032] d[3033] d[3034] d[3035] d[3036] d[3037] d[3038] d[3039] d[3040] d[3041] d[3042] d[3043] d[3044] d[3045] d[3046] d[3047] d[3048] d[3049] d[3050] d[3051] d[3052] </list> 2400.07/2400.30 v <values> 2436 2140 2340 2680 2220 2524 2220 2140 2340 2284 2572 2140 2180 2140 2620 2412 2272 2140 2488 2180 2140 2348 2336 2468 2592 2536 2524 2492 2140 2180 2660 2356 2552 2140 2616 2140 2316 2180 2180 2180 2348 2140 2140 2268 2180 2140 2512 2552 2456 2140 2340 2340 2180 2308 2180 2480 2180 2480 2552 2140 2628 2140 2140 2484 2180 2396 2284 2180 2372 2180 2140 2180 2140 2140 2528 2140 2264 2140 2180 2328 2284 2340 2380 2396 2140 2180 2140 2444 2604 2140 2456 2552 2180 2576 2140 2196 2272 2180 2140 2208 2252 2140 2140 2244 2520 2168 2140 2340 2536 2544 2452 2628 2524 2140 2180 2284 2516 2140 2664 2232 2564 2512 2340 2140 2140 2484 2140 2140 2496 2180 2396 2180 2536 2180 2300 2468 2324 2252 2528 2180 2440 2568 2140 2180 2496 2580 2292 2512 2140 2140 2180 2364 2552 2180 2228 2180 2168 2412 2180 2180 2380 2180 2380 2568 2140 2140 2180 2140 2276 2448 2180 2308 2468 2512 2384 2324 2180 2180 2376 2284 2588 2140 2436 2180 2140 2180 2196 2580 2140 2140 2456 2308 2352 2568 2532 2180 2180 2308 2140 2140 2260 2180 2284 2180 2476 2180 2528 2324 2232 2188 2340 2180 2308 2424 2512 2180 2496 2140 2140 2180 2620 2584 2512 2620 2180 2180 2180 2280 2180 2260 2496 2320 2184 2140 2180 2296 2556 2180 2324 2564 2140 2308 2180 2544 2300 2520 2380 2668 2320 2156 2180 2356 2352 2568 2624 2300 2524 2416 2140 2484 2180 2292 2180 2348 2348 2308 2580 2568 2180 2140 2140 2180 2464 2388 2180 2260 2220 2348 2532 2140 2140 2392 2140 2324 2496 2404 2512 2272 2460 2180 2552 2180 2180 2180 2644 2416 2140 2388 2524 2564 2640 2540 2500 2324 2324 2392 2716 2180 2140 2180 2180 2248 2148 2420 2528 2140 2536 2304 2140 2140 2420 2180 2676 2180 2512 2604 2180 2180 2140 2320 2356 2180 2144 2180 2380 2180 2284 2396 2380 2140 2348 2208 2340 2140 2140 2236 2180 2140 2180 2140 2180 2496 2140 2552 2180 2220 2164 2180 2208 2140 2424 2140 2512 2380 2500 2180 2260 2180 2300 2140 2564 2140 2332 2140 2340 2552 2392 2180 2620 2140 2180 2180 2532 2220 2252 2552 2564 2508 2140 2584 2140 2140 2180 2180 2464 2140 2528 2336 2140 2524 2528 2560 2140 2180 2460 2180 2180 2504 2140 2376 2552 2140 2536 2356 2140 2624 2284 2140 2180 2140 2140 2180 2140 2140 2496 2368 2352 2396 2140 2632 2292 2280 2444 2380 2140 2428 2168 2380 2232 2180 2180 2204 2180 2324 2552 2428 2340 2604 2424 2428 2396 2180 2140 2416 2296 2524 2356 2472 2404 2180 2180 2360 2180 2564 2348 2180 2180 2284 2512 2592 2180 2140 2524 2512 2644 2472 2140 2512 2232 2552 2180 2220 2140 2512 2324 2140 2208 2180 2340 2292 2192 2536 2180 2576 2300 2348 2140 2220 2572 2568 0 0 0 1 1 0 0 1 1 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 1 0 0 1 0 0 0 1 1 1 1 0 1 0 1 1 0 1 0 1 1 0 0 1 1 0 1 1 1 1 1 1 0 1 1 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 1 1 1 1 0 1 1 0 0 1 0 0 0 1 0 1 1 1 0 0 0 1 1 0 1 0 1 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 1 1 0 1 1 0 0 0 1 1 0 0 0 1 0 0 1 0 1 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 1 1 0 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 1 1 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 1 0 1 0 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 1 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 0 1 0 0 1 0 1 0 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 1 1 0 1 1 0 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 1 1 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 1 1 1 0 0 11 1 1 0 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 1 1 1 1 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 1 1 0 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 1 1 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 1 0 1 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 1 1 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 1 1 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 1 1 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 1 1 0 1 0 0 1 0 0 0 1 0 10 10 3 10 3 0 10 0 10 5 10 0 0 4 0 10 1 0 0 10 6 10 10 0 10 10 1 10 10 0 0 0 9 0 10 0 0 10 10 0 10 0 10 9 0 0 10 5 10 10 0 10 0 0 0 10 10 0 8 0 0 0 1 0 10 1 10 5 0 10 7 10 5 0 0 0 0 10 10 10 0 0 0 10 10 0 8 1 10 10 0 10 10 0 0 10 0 0 0 9 0 10 10 10 0 0 10 0 10 0 10 0 10 10 8 0 0 0 1 9 0 0 1 1 0 0 10 0 0 9 10 0 10 0 0 0 10 0 10 0 0 0 10 0 9 10 0 0 10 1 10 7 10 0 10 4 10 6 0 7 5 0 10 9 0 0 0 3 0 10 0 0 0 9 9 7 0 10 0 0 0 0 0 0 0 0 0 10 0 0 4 0 0 0 1 0 0 10 8 0 10 5 8 0 10 0 0 1 7 0 1 0 0 7 0 10 10 10 1 1 1 0 0 10 10 0 0 0 6 10 10 0 0 0 2 0 0 0 10 0 10 0 2 0 5 0 1 10 0 10 0 8 0 10 10 0 10 0 10 7 10 10 0 7 10 0 1 6 0 0 0 0 0 0 10 10 10 0 10 0 10 0 0 0 0 0 10 0 0 0 10 10 5 0 0 10 10 3 9 0 0 0 10 8 0 0 1 10 10 10 0 10 10 0 10 0 10 4 0 0 0 0 8 0 10 0 0 1 0 1 0 1 10 0 5 0 10 10 0 7 1 0 0 0 10 1 0 1 0 0 10 10 0 0 0 10 0 5 0 9 0 10 0 0 0 0 10 10 0 7 0 2 0 1 0 0 0 10 0 8 10 0 0 0 0 0 10 10 4 10 10 3 0 10 10 0 1 10 6 8 7 0 0 9 0 10 0 0 1 0 8 0 2 8 0 10 8 10 9 0 10 10 0 0 10 5 0 0 1 0 0 0 0 10 0 10 7 10 10 0 10 0 0 0 10 0 0 10 0 0 1 0 8 10 10 10 2 10 0 1 10 0 0 8 0 10 0 0 0 0 10 0 10 0 10 10 0 0 10 0 10 0 10 10 0 0 0 0 0 0 10 0 0 0 0 10 0 10 10 10 0 0 0 0 0 3 0 0 10 0 10 10 0 0 5 0 0 0 0 0 10 0 0 10 0 10 0 0 10 10 10 0 1 0 10 0 10 0 0 0 10 0 0 0 0 1 0 0 0 0 0 10 10 1 0 4 10 10 1 0 0 10 10 10 10 7 0 0 0 0 10 0 7 5 10 0 0 0 10 10 0 0 2 10 1 0 3 1 0 0 5 10 1 10 0 1 4 0 0 0 0 0 0 10 0 0 0 0 0 0 10 10 0 10 10 0 10 0 0 10 0 0 0 8 0 0 10 0 4 6 1 10 10 0 0 0 0 0 0 10 0 10 1 0 0 10 0 10 10 0 5 1 1 0 10 0 0 0 0 0 0 0 0 0 9 0 0 10 1 0 10 0 0 8 10 10 10 0 1 0 10 0 4 0 0 0 0 10 0 10 0 0 0 10 0 0 0 2 10 0 10 7 0 10 0 4 0 0 10 0 10 5 0 8 8 10 10 0 0 10 0 0 1 10 1 0 1 0 0 0 0 10 0 0 0 0 10 0 0 0 10 10 0 0 10 10 10 10 10 0 10 10 0 5 10 0 0 10 10 0 0 3 10 0 0 0 0 10 10 0 0 1 6 1 0 8 1 10 10 0 0 0 0 0 10 0 7 0 0 0 10 1 0 0 0 10 0 10 0 10 0 0 10 0 0 10 10 0 10 1 0 0 10 4 5 0 10 8 10 10 10 10 0 9 4 0 6 10 0 10 10 0 0 10 10 0 10 10 0 0 10 0 0 0 0 0 0 0 10 10 3 10 10 4 0 0 10 0 10 10 10 1 10 0 10 1 0 10 0 10 0 7 0 10 0 0 0 0 10 0 1 10 10 10 1 0 0 0 0 0 0 0 10 10 10 1 10 9 0 0 10 10 10 0 10 0 10 10 10 0 0 10 0 0 0 0 1 0 0 10 0 0 10 1 0 0 1 0 0 0 0 10 0 0 0 10 2 0 1 1 10 0 0 0 0 10 0 10 0 10 0 0 0 10 10 0 7 10 10 10 8 0 0 10 0 1 0 10 0 0 0 0 0 0 0 0 10 10 0 1 0 2 10 2 8 10 10 0 0 0 8 10 1 10 1 0 10 0 1 0 10 0 1 0 10 8 10 10 10 10 10 0 7 0 0 0 0 10 0 0 10 0 0 1 1 0 10 1 0 10 1 0 0 0 0 0 7 10 0 0 0 10 10 10 0 0 0 0 0 0 1 10 10 0 0 0 10 10 7 10 4 2 10 0 9 1 0 0 1 0 0 0 10 0 10 10 0 9 0 0 0 10 0 0 10 8 0 1 10 0 10 0 0 0 10 0 0 0 0 0 5 4 0 0 10 10 0 10 0 0 0 3 10 0 1 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 1 10 10 5 0 6 10 10 8 10 10 0 0 0 10 0 10 0 0 0 10 0 0 1 1 0 10 0 0 1 0 0 7 10 10 0 0 0 0 0 0 7 0 10 0 4 10 1 0 1 1 4 0 0 0 10 0 0 10 1 0 0 0 10 0 0 10 1 0 10 10 10 10 0 0 0 10 10 0 0 10 0 0 1 0 0 10 10 0 0 9 0 0 0 10 6 0 0 0 0 10 10 10 0 10 10 10 0 0 0 0 0 0 0 0 0 10 10 10 0 1 10 4 0 10 10 1 0 1 0 7 10 0 10 0 0 0 0 1 0 0 0 0 0 0 8 6 0 10 0 0 10 0 10 9 0 10 0 10 9 0 10 0 10 10 0 0 0 9 10 10 1 0 0 0 10 4 1 8 0 0 1 0 1 0 0 10 10 1 0 10 0 0 0 10 0 10 10 2 10 0 0 9 0 1 1 9 10 10 0 0 0 0 0 0 5 0 9 1 0 0 10 10 0 10 5 0 8 0 0 0 0 0 3 0 10 0 0 10 0 1 0 0 10 0 1 10 10 10 0 10 0 0 0 10 0 0 0 0 0 7 0 0 1 10 10 10 1 6 0 0 0 0 0 10 0 3 0 0 10 10 0 10 0 10 2 10 10 0 10 0 6 10 0 0 8 0 10 0 0 0 7 1 8 0 0 10 7 10 10 10 0 10 10 10 10 10 1 0 10 0 10 0 0 0 0 5 0 0 0 0 1 10 0 0 0 0 1 0 1 0 5 0 0 10 0 0 0 0 0 0 1 0 10 0 10 1 0 0 0 10 0 0 10 3 10 0 10 10 10 0 0 5 0 0 5 10 0 0 10 10 0 6 0 10 5 1 0 10 10 9 0 0 10 10 10 10 0 10 10 0 8 10 10 0 0 0 1 10 0 0 10 8 10 0 10 10 10 10 0 0 0 0 0 9 6 0 10 10 0 10 0 0 4 10 0 0 10 0 0 0 0 10 10 10 0 0 0 1 0 10 0 9 0 10 10 0 4 10 10 10 10 0 10 1 0 10 6 0 9 0 0 10 6 10 1 1 10 0 10 10 0 0 10 0 10 10 1 0 0 0 0 10 0 1 10 0 0 0 5 10 0 10 0 10 0 10 10 0 0 0 1 10 0 10 0 0 0 1 1 7 10 10 10 0 0 0 0 0 10 0 1 0 0 0 0 0 10 0 0 1 0 0 0 0 10 10 0 10 10 0 0 0 1 10 0 0 8 0 0 10 10 1 10 0 0 0 0 0 5 0 0 10 10 0 1 0 10 0 0 10 10 10 10 10 1 1 10 0 10 0 10 10 0 0 0 0 0 10 10 10 0 5 10 10 0 10 0 0 8 0 0 1 10 8 10 0 0 4 0 10 0 7 10 0 6 0 0 0 0 10 0 0 0 10 10 0 1 0 10 0 10 10 10 10 10 7 0 0 1 0 6 10 0 10 10 0 9 10 0 10 0 0 0 0 10 0 7 10 1 0 1 8 10 10 0 7 0 0 10 10 8 9 0 0 0 6 10 0 0 10 7 0 0 0 7 10 10 0 0 0 0 7 9 0 0 0 10 0 0 0 0 10 0 0 9 0 10 10 0 0 1 6 0 10 0 2 8 6 10 1 1 0 10 10 9 0 0 0 10 0 10 7 10 0 10 10 0 1 0 10 0 0 9 10 10 0 0 0 9 0 0 1 0 0 10 10 0 10 10 0 0 10 10 0 0 1 2 0 10 0 10 0 0 9 0 10 10 0 0 10 1 0 0 10 10 0 9 8 9 0 10 0 0 0 0 0 0 0 10 0 10 1 0 9 0 10 0 10 10 10 0 0 0 0 0 0 6 0 0 0 0 0 0 0 10 10 10 10 2 9 0 0 10 10 1 0 0 0 10 0 0 10 0 0 8 0 10 0 10 10 10 0 7 0 0 10 0 1 10 0 0 0 1 8 8 0 1 10 10 0 1 9 10 10 0 0 0 0 10 10 0 6 0 10 0 10 0 0 0 0 0 0 0 0 3 10 8 10 0 0 1 0 10 10 8 0 0 0 0 1 0 0 0 0 10 0 0 10 0 0 10 0 0 10 2 1 10 6 10 1 0 10 0 0 0 0 0 10 7 0 0 10 10 10 6 10 10 0 0 7 10 9 9 1 10 10 10 0 0 10 0 0 4 0 5 10 0 10 10 0 3 0 1 1 10 0 2 1 0 10 1 0 0 10 0 0 10 0 0 0 10 0 0 0 0 0 1 0 0 0 0 9 3 8 7 9 0 0 10 1 5 0 0 0 10 0 9 0 0 10 0 2 10 0 0 0 10 0 10 6 0 0 1 10 10 0 0 9 2 1 10 1 0 10 10 0 10 9 4 1 0 10 10 0 0 6 0 10 10 10 10 0 10 0 0 10 10 10 0 0 0 0 6 0 0 0 0 10 10 0 1 7 0 0 5 0 0 0 10 0 0 10 0 0 0 0 0 10 7 10 10 10 0 10 0 0 0 0 0 10 1 0 0 10 10 0 0 7 8 0 0 0 0 0 0 0 2 0 8 0 1 0 0 10 2 1 1 1 10 0 10 10 0 9 8 0 0 0 0 0 10 0 10 0 0 8 6 10 0 0 10 9 0 0 7 0 0 10 10 0 10 10 1 0 10 0 0 10 0 0 0 1 1 0 0 0 3 0 0 0 10 0 0 10 10 8 0 0 0 8 10 10 1 10 0 6 10 1 9 0 10 0 10 0 6 0 10 4 0 0 0 10 0 0 6 0 0 6 10 0 1 0 10 10 10 0 10 10 0 0 10 0 0 10 5 0 0 0 0 0 2 0 7 0 10 8 0 6 10 0 0 10 0 10 0 10 10 0 4 0 10 6 4 0 0 0 1 0 10 0 0 1 10 0 10 10 0 0 0 0 0 10 0 10 9 0 0 10 0 0 0 10 0 0 10 0 0 0 8 10 1 0 10 1 10 10 10 0 5 0 2 0 1 10 0 0 0 0 10 8 8 10 10 10 0 10 2 10 10 10 0 0 10 0 0 0 7 10 0 0 6 0 0 0 10 0 0 0 0 10 6 10 1 0 0 0 7 0 0 10 10 0 10 0 1 0 10 3 0 10 0 10 0 1 9 0 0 0 10 10 0 10 1 0 0 0 0 0 0 0 10 1 10 7 10 0 0 1 0 0 10 0 10 10 0 0 10 1 0 10 0 7 0 0 0 9 10 10 9 4 0 10 0 0 0 0 8 10 10 10 8 10 0 4 10 0 1 0 0 1 10 9 10 1 1 9 10 10 10 1 0 0 0 0 0 10 10 0 6 0 1 1 1 10 0 0 10 0 10 0 0 0 0 0 10 1 0 0 2 0 10 0 4 10 1 0 10 10 0 10 6 0 3 0 0 0 0 9 10 10 0 0 0 10 0 10 1 1 0 0 0 0 7 10 0 0 10 0 0 10 0 0 10 10 10 0 0 0 10 0 10 10 10 5 0 0 10 0 10 0 10 10 4 0 10 0 10 10 0 9 0 0 3 0 0 9 3 10 10 10 9 0 0 1 10 10 10 4 0 0 0 0 10 0 10 0 10 10 0 1 0 1 0 1 0 0 0 10 0 9 6 10 8 0 0 0 0 0 0 0 10 1 1 10 0 1 4 0 10 10 10 10 10 0 1 0 0 10 10 0 0 0 10 0 0 0 10 0 10 0 9 1 7 10 10 8 0 0 0 0 10 1 10 10 0 10 0 0 1 0 0 1 10 0 0 0 10 0 0 0 0 5 10 0 1 0 9 0 0 10 10 0 0 0 10 1 10 1 10 7 10 1 0 10 0 0 0 0 1 0 6 0 0 10 0 0 10 10 0 7 10 10 0 0 5 10 10 10 0 0 10 10 10 1 0 10 9 10 10 0 10 10 8 10 0 10 0 0 0 0 0 0 0 0 8 0 10 10 10 7 1 0 0 0 10 10 0 0 0 10 0 0 0 0 1 0 0 8 0 0 1 0 0 10 0 0 0 1 10 10 10 0 0 7 0 0 0 10 9 0 10 0 0 0 0 0 0 0 0 1 10 0 0 0 10 0 10 6 10 10 0 10 0 1 0 3 10 0 0 0 0 10 0 0 1 10 0 0 1 0 0 1 1 10 0 0 10 0 5 10 0 0 10 0 10 0 10 10 0 0 0 0 0 10 0 10 0 10 10 0 0 10 6 0 0 10 0 6 10 0 0 10 0 10 0 10 3 0 0 0 0 10 0 5 1 0 0 10 10 0 1 10 10 10 6 0 1 10 10 9 10 10 0 10 0 0 10 0 0 9 10 0 244 256 12 296 256 184 136 132 296 256 176 296 296 296 136 40 488 0 0 0 208 96 80 0 0 0 212 152 160 140 108 200 32 160 180 196 160 196 408 160 52 156 128 500 540 540 388 236 108 80 40 132 312 80 292 80 40 292 344 344 240 344 344 304 192 24 344 384 128 304 44 80 292 80 80 408 316 40 160 236 36 80 80 40 80 284 412 40 396 428 40 428 40 0 40 0 64 240 44 96 244 160 32 376 200 200 224 124 156 160 132 0 0 172 40 144 144 0 144 144 28 392 40 0 240 40 244 0 40 0 0 40 0 392 0 40 300 104 40 40 272 40 0 40 200 56 40 40 196 104 248 0 128 0 40 56 40 0 168 40 168 40 396 40 40 0 220 96 336 52 480 0 480 40 12 272 272 172 100 84 204 100 272 156 132 88 24 84 20 132 84 60 156 20 92 0 132 312 0 388 356 40 0 180 96 80 0 288 288 40 348 308 348 308 160 308 332 4 240 68 268 308 136 348 40 0 0 40 148 80 304 40 356 40 40 0 40 0 40 40 0 188 0 388 336 40 40 344 0 0 80 40 40 0 0 24 8 208 208 368 8 8 276 80 8 0 244 156 64 168 188 156 220 16 268 52 328 128 184 152 144 164 120 56 92 112 276 452 452 412 452 108 268 360 212 272 84 308 452 412 452 236 16 356 160 8 236 24 356 96 244 368 356 128 128 0 224 36 28 184 352 312 200 112 312 24 152 312 352 284 352 312 312 412 0 212 388 360 280 372 216 240 388 40 0 304 396 40 0 40 332 40 40 112 0 52 0 12 176 480 364 16 244 520 16 156 176 216 216 40 88 96 176 56 216 72 40 140 124 172 212 412 168 96 196 136 56 412 40 40 40 0 40 40 0 0 0 252 40 40 40 220 276 476 420 88 48 220 408 8 436 104 144 0 404 300 152 40 40 40 0 0 4 40 40 40 40 216 136 176 136 176 168 8 136 176 176 136 360 136 176 136 40 300 28 0 40 332 0 40 36 0 264 0 0 0 40 32 40 12 40 336 356 40 268 0 112 152 200 0 332 356 132 76 168 168 168 208 200 208 76 208 168 168 116 8 0 68 40 156 40 40 576 40 40 480 40 140 412 80 40 0 0 40 344 184 0 180 0 400 536 0 40 0 208 128 200 88 88 128 88 12 268 88 88 92 88 104 0 40 304 40 128 80 0 140 0 40 0 40 0 160 40 40 144 40 0 68 236 56 372 372 372 204 96 372 40 0 76 320 172 96 412 372 396 28 52 172 56 332 204 72 120 316 72 88 72 276 80 168 148 100 172 116 40 40 0 40 40 212 40 168 0 0 40 388 40 0 40 96 32 80 40 160 200 264 0 148 348 0 24 40 68 40 40 0 40 40 160 268 260 16 128 244 44 148 40 296 80 0 304 68 40 40 40 0 40 40 108 312 340 96 340 52 88 40 0 304 184 40 40 80 0 40 140 40 496 40 160 188 340 300 300 300 300 84 140 300 300 156 76 412 40 292 72 256 40 40 40 68 324 0 200 452 356 116 392 236 488 292 448 488 16 0 40 344 184 0 120 0 400 536 0 40 0 40 40 0 384 40 136 144 92 212 384 40 360 0 412 52 316 72 304 136 328 64 68 104 0 96 128 104 0 40 0 536 332 320 0 372 40 208 44 256 216 216 216 216 168 88 40 228 0 24 228 144 144 104 180 52 144 12 332 40 40 460 72 196 112 332 0 156 108 248 100 40 180 232 40 0 284 40 464 36 372 0 0 388 336 40 120 40 16 108 0 252 80 0 396 72 364 0 40 128 440 4 240 40 0 40 352 348 0 124 40 88 0 40 40 40 0 0 0 0 160 0 344 184 0 0 40 120 536 200 0 40 8 388 4 348 204 32 348 0 380 240 0 0 40 0 424 0 40 332 12 232 12 232 316 276 84 92 72 260 232 260 436 144 40 40 576 40 360 40 0 140 412 148 40 348 400 296 0 24 304 40 68 40 0 40 148 148 68 156 188 148 188 104 144 296 24 104 268 240 0 188 200 212 108 224 40 44 12 172 120 200 200 160 64 164 148 240 96 244 40 132 156 112 96 140 216 256 132 40 216 76 216 0 200 356 428 40 40 40 372 132 240 0 40 144 28 344 332 52 488 344 80 280 0 316 0 372 196 52 176 328 40 40 40 140 40 252 40 40 40 40 220 332 184 216 180 96 80 48 20 52 116 92 16 40 36 80 224 304 76 80 92 68 0 0 180 0 80 0 0 0 28 40 372 96 148 136 4 64 276 72 80 224 228 372 244 80 212 40 144 40 80 140 316 360 0 324 268 228 12 100 396 104 0 40 272 40 412 40 144 288 332 16 56 216 56 16 372 16 12 16 64 356 172 56 56 104 252 68 292 352 92 52 76 108 108 348 360 152 356 484 0 388 0 0 28 0 80 40 40 0 0 40 40 200 92 24 40 68 144 312 28 304 44 256 28 216 196 28 128 128 112 112 72 112 112 72 368 0 112 84 112 72 0 92 248 464 24 368 324 412 0 80 40 308 40 40 428 40 40 40 120 0 228 0 96 292 104 64 64 64 64 104 308 400 228 96 52 340 380 340 336 340 380 380 380 12 380 380 340 340 340 376 132 12 208 12 28 152 12 40 92 28 36 400 0 40 156 40 144 332 172 200 160 172 160 128 160 172 160 60 52 212 356 96 16 396 156 140 396 244 0 32 364 260 364 48 48 20 404 40 404 312 272 200 272 216 192 112 100 116 84 160 156 112 448 36 116 328 64 44 448 116 344 248 240 0 8 100 184 4 40 28 40 200 120 372 40 24 0 184 0 208 0 0 144 0 176 16 160 40 40 144 116 0 88 284 8 240 64 64 168 56 88 216 12 108 224 336 160 0 356 0 356 400 240 364 0 424 524 136 96 484 132 112 136 288 304 348 92 48 228 332 320 392 240 96 24 212 20 408 4 32 292 384 220 284 204 88 48 16 372 280 44 160 68 160 52 40 184 440 168 244 184 40 0 200 372 112 440 392 40 40 412 40 92 40 40 224 344 164 304 344 344 304 388 40 120 344 0 0 80 40 396 0 160 40 40 528 504 280 280 40 256 316 316 32 356 144 32 144 316 212 356 112 0 40 40 40 40 72 200 112 396 144 116 256 208 224 48 228 176 40 40 140 40 280 0 40 40 40 248 248 28 96 124 152 52 148 40 392 396 112 24 0 196 384 208 124 0 104 12 304 80 0 160 120 160 120 48 0 288 272 288 328 288 288 76 288 288 328 288 108 288 188 88 144 0 188 28 244 0 144 144 144 112 316 184 104 212 112 40 152 72 72 244 348 268 348 388 280 348 388 56 188 80 280 0 176 0 28 144 144 140 92 56 24 20 44 132 388 388 244 72 56 188 388 388 192 16 88 92 180 160 180 96 0 288 40 200 0 40 40 0 424 40 12 212 308 0 220 356 316 160 36 212 316 316 96 68 344 400 112 152 148 152 112 44 112 136 112 0 48 0 332 332 40 528 320 40 256 40 80 364 40 384 428 40 40 0 0 40 40 40 40 128 144 40 332 292 396 148 148 56 92 260 224 132 232 372 48 200 400 348 0 384 120 352 0 40 280 88 88 48 88 8 88 88 88 376 200 56 0 96 172 0 40 40 0 0 0 0 40 372 332 40 452 0 304 408 232 180 116 60 156 112 92 32 40 340 320 0 200 380 104 40 104 0 40 536 0 0 0 40 100 40 200 240 200 200 240 200 240 240 240 200 200 200 40 332 40 0 0 40 352 424 0 132 72 0 40 16 76 388 0 424 40 0 0 40 0 392 40 0 360 0 424 0 0 40 168 212 240 200 16 440 40 412 40 40 40 180 0 384 0 0 0 0 444 432 236 96 348 136 56 144 96 224 136 4 308 268 120 196 268 268 268 80 308 308 148 0 0 92 348 40 36 40 0 128 204 0 156 16 12 40 288 288 188 76 76 288 288 288 328 132 288 212 0 0 36 244 112 112 144 204 184 64 144 184 4 184 352 200 184 144 352 376 168 120 40 0 40 172 388 196 28 264 52 148 240 144 56 180 240 144 52 64 60 408 240 448 208 408 0 120 0 180 400 284 40 0 40 168 12 0 40 0 0 100 0 0 0 40 0 180 40 40 428 0 40 40 40 40 0 0 0 0 40 0 464 176 36 0 40 16 56 228 16 16 16 228 356 16 16 164 16 36 400 440 64 336 212 276 280 0 216 0 284 216 208 208 248 424 40 40 428 164 176 236 96 184 308 316 76 276 116 0 12 152 172 204 12 200 152 184 184 268 428 72 56 208 240 32 208 140 32 392 128 352 340 0 0 0 40 40 188 120 128 388 212 0 0 0 40 48 408 128 168 128 168 228 168 116 40 140 252 40 40 40 40 0 40 220 40 536 0 0 40 40 80 120 120 80 416 120 120 120 40 40 0 360 496 40 12 104 144 104 216 268 104 144 68 240 0 40 12 296 320 8 336 336 296 12 268 336 0 40 172 40 36 0 404 284 228 112 348 348 32 348 348 236 96 116 184 388 92 40 292 52 92 60 120 168 48 16 200 184 200 0 184 200 292 56 132 0 120 0 40 332 40 104 236 168 292 40 96 128 128 128 100 244 196 76 100 100 0 32 284 256 168 148 72 372 52 280 116 0 0 0 128 24 40 68 0 344 40 80 316 0 40 40 0 0 0 392 0 0 40 40 40 536 0 356 4 0 40 40 40 352 0 0 264 40 272 204 420 404 444 404 72 364 292 192 16 372 220 308 40 216 0 440 480 264 264 336 388 0 196 0 0 392 0 100 212 0 0 0 0 196 356 0 100 0 0 40 0 180 0 100 100 100 100 100 140 80 36 0 0 0 176 396 80 224 120 120 80 80 308 188 140 148 148 84 100 176 32 108 4 100 44 44 44 348 380 328 4 44 0 0 4 0 252 40 40 40 24 304 68 40 0 40 0 40 120 148 216 128 324 232 336 116 272 44 44 52 208 272 0 0 0 0 0 372 40 40 24 40 116 228 308 148 160 184 384 424 0 424 208 40 40 40 396 372 92 256 372 372 200 40 272 244 220 244 168 72 100 80 188 12 8 404 16 48 212 32 40 252 212 132 380 240 0 240 160 0 240 408 172 208 488 488 464 356 180 180 140 180 16 168 24 168 16 388 0 0 356 0 80 40 324 40 188 344 224 216 196 208 152 216 140 72 216 180 212 4 172 212 160 388 388 56 388 220 144 104 16 56 276 204 228 444 444 332 56 116 160 120 120 48 160 80 8 28 20 0 52 112 136 60 68 384 400 0 0 452 344 236 344 304 304 344 344 0 24 152 112 112 128 152 112 232 128 40 28 40 0 0 168 168 48 68 156 0 44 188 180 128 168 88 48 140 128 192 160 156 224 388 308 32 44 428 428 212 0 40 0 0 0 40 0 0 324 364 0 52 0 40 40 40 480 412 0 200 384 0 160 0 40 188 24 344 40 100 48 204 60 324 176 248 104 104 40 536 0 0 40 40 100 244 372 80 80 20 80 56 252 40 40 280 112 80 60 332 76 192 148 56 80 48 20 392 40 276 0 0 96 0 0 288 40 576 40 144 360 40 40 412 212 212 212 212 252 212 32 0 4 40 136 12 148 156 56 92 104 92 332 372 332 0 48 12 52 280 320 280 84 280 460 412 156 212 56 40 0 180 140 56 372 320 0 40 100 40 76 84 60 236 224 0 0 248 24 52 208 384 424 384 28 500 68 136 400 292 120 320 320 204 360 200 360 240 144 32 0 32 188 228 136 160 100 576 576 84 40 0 40 352 40 216 0 0 80 0 0 212 288 28 120 372 176 0 52 40 28 80 40 40 40 372 108 68 68 108 108 108 416 428 184 212 280 24 240 92 108 148 388 296 388 244 180 96 80 0 0 412 0 288 216 40 152 396 28 8 396 44 28 120 0 40 0 276 0 0 256 92 188 280 200 92 0 0 372 536 536 0 212 0 40 444 344 40 176 24 372 352 264 424 152 0 200 28 40 188 40 92 464 180 16 36 108 24 104 216 176 56 104 160 0 292 36 192 352 0 0 0 0 92 0 180 0 16 48 320 104 164 216 200 240 24 192 412 444 152 284 208 208 228 28 52 160 356 68 92 160 40 200 48 424 40 40 0 40 0 392 444 40 40 96 116 192 40 444 0 40 40 0 0 120 144 40 52 120 40 320 40 40 452 0 40 180 0 156 56 356 100 80 72 40 392 356 40 80 40 28 120 80 132 412 52 208 40 340 24 360 24 40 40 0 124 12 68 88 0 388 196 0 288 32 200 284 284 0 288 288 384 92 372 204 44 180 240 240 320 320 360 220 52 320 0 40 120 120 108 264 40 372 196 0 24 144 0 0 0 40 40 0 384 52 480 0 212 288 40 452 60 192 152 96 180 480 392 0 0 188 200 104 372 12 40 136 108 252 104 180 172 216 248 332 224 12 108 144 0 40 372 0 40 0 0 392 352 352 40 80 76 104 48 128 136 168 20 368 132 184 4 364 444 88 60 0 0 412 0 0 332 184 40 0 40 372 116 180 168 64 284 180 40 40 348 188 196 152 40 40 64 156 200 68 112 4 100 40 40 40 356 40 100 372 80 0 0 100 200 384 40 8 32 0 184 80 248 40 0 68 64 212 40 0 160 484 200 228 56 144 384 0 0 160 116 288 208 184 0 0 40 0 80 204 292 164 116 56 0 40 40 436 252 28 4 8 60 92 196 428 144 164 104 248 12 40 240 148 336 24 116 400 24 168 28 144 16 196 372 64 176 200 100 32 248 40 0 80 208 68 344 52 292 264 180 0 180 0 332 464 52 40 40 216 52 52 304 56 388 184 372 332 28 </values> 2400.07/2400.30 v </instantiation>
OK 1049785785
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL 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. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (9927 MiB free) memory of node 1: 16384 MiB (11894 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292012-1532264146/watcher-4292012-1532264146 -o /tmp/evaluation-result-4292012-1532264146/solver-4292012-1532264146 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532261739-2079 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1547234208 HOME/instance-4292012-1532264146.xml 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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=2441, runsolver pid=2438 [startup+0.100213 s]* /proc/loadavg: 1.93 2.00 2.04 3/187 2442 /proc/meminfo: memFree=22325400/32770624 swapFree=67108860/67108860 [pid=2441] ppid=2438 vsize=48732 memory=22952 CPUtime=0.1 cores=0,2,4,6 /proc/2441/stat : 2441 (MistralXCSP) R 2438 2441 2046 0 -1 4202496 6211 0 0 0 10 0 0 0 20 0 1 0 43977853 49901568 5738 33554432000 4194304 7498468 140724695509632 140724695506632 6055390 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39874560 140724695516269 140724695516419 140724695516419 140724695519177 0 /proc/2441/statm: 12183 5738 627 807 0 5174 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 48732 KiB Current children cumulated memory: 22952 KiB [startup+0.209826 s]* /proc/loadavg: 1.93 2.00 2.04 3/187 2442 /proc/meminfo: memFree=22316772/32770624 swapFree=67108860/67108860 [pid=2441] ppid=2438 vsize=53024 memory=27176 CPUtime=0.2 cores=0,2,4,6 /proc/2441/stat : 2441 (MistralXCSP) R 2438 2441 2046 0 -1 4202496 7295 0 0 0 20 0 0 0 20 0 1 0 43977853 54296576 6794 33554432000 4194304 7498468 140724695509632 140724695496808 140311811279845 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39874560 140724695516269 140724695516419 140724695516419 140724695519177 0 /proc/2441/statm: 13256 6794 703 807 0 6247 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 53024 KiB Current children cumulated memory: 27176 KiB [startup+0.309216 s]* /proc/loadavg: 1.93 2.00 2.04 3/187 2442 /proc/meminfo: memFree=22312680/32770624 swapFree=67108860/67108860 [pid=2441] ppid=2438 vsize=54772 memory=29024 CPUtime=0.3 cores=0,2,4,6 /proc/2441/stat : 2441 (MistralXCSP) R 2438 2441 2046 0 -1 4202496 7740 0 0 0 30 0 0 0 20 0 1 0 43977853 56086528 7256 33554432000 4194304 7498468 140724695509632 140724695496808 140311811279845 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39874560 140724695516269 140724695516419 140724695516419 140724695519177 0 /proc/2441/statm: 13693 7256 704 807 0 6684 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 54772 KiB Current children cumulated memory: 29024 KiB [startup+0.700355 s] /proc/loadavg: 1.93 2.00 2.04 3/187 2442 /proc/meminfo: memFree=22300280/32770624 swapFree=67108860/67108860 [pid=2441] ppid=2438 vsize=67544 memory=41964 CPUtime=0.69 cores=0,2,4,6 /proc/2441/stat : 2441 (MistralXCSP) R 2438 2441 2046 0 -1 4202496 10992 0 0 0 68 1 0 0 20 0 1 0 43977853 69165056 10491 33554432000 4194304 7498468 140724695509632 140724695496808 140311812112948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39874560 140724695516269 140724695516419 140724695516419 140724695519177 0 /proc/2441/statm: 16886 10491 704 807 0 9877 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 67544 KiB Current children cumulated memory: 41964 KiB [startup+1.50037 s] /proc/loadavg: 1.93 2.00 2.04 3/187 2442 /proc/meminfo: memFree=22273032/32770624 swapFree=67108860/67108860 [pid=2441] ppid=2438 vsize=91908 memory=66252 CPUtime=1.49 cores=0,2,4,6 /proc/2441/stat : 2441 (MistralXCSP) R 2438 2441 2046 0 -1 4202496 17089 0 0 0 148 1 0 0 20 0 1 0 43977853 94113792 16563 33554432000 4194304 7498468 140724695509632 140724695496808 5881342 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39874560 140724695516269 140724695516419 140724695516419 140724695519177 0 /proc/2441/statm: 22977 16563 717 807 0 15968 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 91908 KiB Current children cumulated memory: 66252 KiB [startup+3.10951 s] /proc/loadavg: 1.93 2.00 2.04 3/187 2442 /proc/meminfo: memFree=22169104/32770624 swapFree=67108860/67108860 [pid=2441] ppid=2438 vsize=131364 memory=105604 CPUtime=3.1 cores=0,2,4,6 /proc/2441/stat : 2441 (MistralXCSP) R 2438 2441 2046 0 -1 4202496 28165 0 0 0 307 3 0 0 20 0 1 0 43977853 134516736 26401 33554432000 4194304 7498468 140724695509632 140724695502872 5880063 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39874560 140724695516269 140724695516419 140724695516419 140724695519177 0 /proc/2441/statm: 32841 26401 717 807 0 25832 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 131364 KiB Current children cumulated memory: 105604 KiB [startup+6.30035 s] /proc/loadavg: 1.93 2.00 2.04 3/187 2442 /proc/meminfo: memFree=22013748/32770624 swapFree=67108860/67108860 [pid=2441] ppid=2438 vsize=213112 memory=187372 CPUtime=6.29 cores=0,2,4,6 /proc/2441/stat : 2441 (MistralXCSP) R 2438 2441 2046 0 -1 4202496 51079 0 0 0 624 5 0 0 20 0 1 0 43977853 218226688 46843 33554432000 4194304 7498468 140724695509632 140724695502872 5881851 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39874560 140724695516269 140724695516419 140724695516419 140724695519177 0 /proc/2441/statm: 53278 46843 717 807 0 46269 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 213112 KiB Current children cumulated memory: 187372 KiB [startup+12.7002 s] /proc/loadavg: 1.94 2.00 2.04 3/187 2442 /proc/meminfo: memFree=21705520/32770624 swapFree=67108860/67108860 [pid=2441] ppid=2438 vsize=374924 memory=349164 CPUtime=12.69 cores=0,2,4,6 /proc/2441/stat : 2441 (MistralXCSP) R 2438 2441 2046 0 -1 4202496 94844 0 0 0 1259 10 0 0 20 0 1 0 43977853 383922176 87291 33554432000 4194304 7498468 140724695509632 140724695501352 6016813 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39874560 140724695516269 140724695516419 140724695516419 140724695519177 0 /proc/2441/statm: 93731 87291 717 807 0 86722 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 374924 KiB Current children cumulated memory: 349164 KiB [startup+25.5004 s] /proc/loadavg: 1.95 2.00 2.04 3/187 2442 /proc/meminfo: memFree=21041592/32770624 swapFree=67108860/67108860 [pid=2441] ppid=2438 vsize=700932 memory=675376 CPUtime=25.49 cores=0,2,4,6 /proc/2441/stat : 2441 (MistralXCSP) R 2438 2441 2046 0 -1 4202496 179940 0 0 0 2529 20 0 0 20 0 1 0 43977853 717754368 168844 33554432000 4194304 7498468 140724695509632 140724695502872 5882108 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39874560 140724695516269 140724695516419 140724695516419 140724695519177 0 /proc/2441/statm: 175233 168844 717 807 0 168224 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 700932 KiB Current children cumulated memory: 675376 KiB [startup+51.1094 s] /proc/loadavg: 1.97 2.00 2.04 3/187 2442 /proc/meminfo: memFree=19788492/32770624 swapFree=67108860/67108860 [pid=2441] ppid=2438 vsize=1349632 memory=1324024 CPUtime=51.1 cores=0,2,4,6 /proc/2441/stat : 2441 (MistralXCSP) R 2438 2441 2046 0 -1 4202496 345939 0 0 0 5071 39 0 0 20 0 1 0 43977853 1382023168 331006 33554432000 4194304 7498468 140724695509632 140724695502872 5882784 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39874560 140724695516269 140724695516419 140724695516419 140724695519177 0 /proc/2441/statm: 337408 331006 717 807 0 330399 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 1349632 KiB Current children cumulated memory: 1324024 KiB [startup+102.3 s] /proc/loadavg: 1.99 2.00 2.04 3/187 2443 /proc/meminfo: memFree=18643648/32770624 swapFree=67108860/67108860 [pid=2441] ppid=2438 vsize=2449372 memory=2423812 CPUtime=102.29 cores=0,2,4,6 /proc/2441/stat : 2441 (MistralXCSP) R 2438 2441 2046 0 -1 4202496 871751 0 0 0 10145 84 0 0 20 0 1 0 43977853 2508156928 605953 33554432000 4194304 7498468 140724695509632 140724695504168 5791406 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39874560 140724695516269 140724695516419 140724695516419 140724695519177 0 /proc/2441/statm: 612343 605953 755 807 0 605334 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 2449372 KiB Current children cumulated memory: 2423812 KiB [startup+162.3 s] /proc/loadavg: 1.96 1.99 2.03 3/187 2445 /proc/meminfo: memFree=18625956/32770624 swapFree=67108860/67108860 [pid=2441] ppid=2438 vsize=2461296 memory=2435832 CPUtime=162.29 cores=0,2,4,6 /proc/2441/stat : 2441 (MistralXCSP) R 2438 2441 2046 0 -1 4202496 1198055 0 0 0 16128 101 0 0 20 0 1 0 43977853 2520367104 608958 33554432000 4194304 7498468 140724695509632 140724695504088 4249991 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39874560 140724695516269 140724695516419 140724695516419 140724695519177 0 /proc/2441/statm: 615324 608958 755 807 0 608315 0 Current children cumulated CPU time: 162.29 s Current children cumulated vsize: 2461296 KiB Current children cumulated memory: 2435832 KiB [startup+222.3 s] /proc/loadavg: 1.99 1.99 2.03 3/187 2446 /proc/meminfo: memFree=18624216/32770624 swapFree=67108860/67108860 [pid=2441] ppid=2438 vsize=2462224 memory=2436692 CPUtime=222.29 cores=0,2,4,6 /proc/2441/stat : 2441 (MistralXCSP) R 2438 2441 2046 0 -1 4202496 1447218 0 0 0 22115 114 0 0 20 0 1 0 43977853 2521317376 609173 33554432000 4194304 7498468 140724695509632 140724695504648 4249952 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39874560 140724695516269 140724695516419 140724695516419 140724695519177 0 /proc/2441/statm: 615556 609173 760 807 0 608547 0 Current children cumulated CPU time: 222.29 s Current children cumulated vsize: 2462224 KiB Current children cumulated memory: 2436692 KiB [startup+282.3 s] /proc/loadavg: 1.99 1.99 2.03 3/188 2455 /proc/meminfo: memFree=18623424/32770624 swapFree=67108860/67108860 [pid=2441] ppid=2438 vsize=2462224 memory=2436692 CPUtime=282.29 cores=0,2,4,6 /proc/2441/stat : 2441 (MistralXCSP) R 2438 2441 2046 0 -1 4202496 1479741 0 0 0 28113 116 0 0 20 0 1 0 43977853 2521317376 609173 33554432000 4194304 7498468 140724695509632 140724695504648 5770693 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39874560 140724695516269 140724695516419 140724695516419 140724695519177 0 /proc/2441/statm: 615556 609173 760 807 0 608547 0 Current children cumulated CPU time: 282.29 s Current children cumulated vsize: 2462224 KiB Current children cumulated memory: 2436692 KiB [startup+342.3 s] /proc/loadavg: 2.00 1.99 2.03 3/188 2478 /proc/meminfo: memFree=18621548/32770624 swapFree=67108860/67108860 [pid=2441] ppid=2438 vsize=2462224 memory=2436692 CPUtime=342.28 cores=0,2,4,6 /proc/2441/stat : 2441 (MistralXCSP) R 2438 2441 2046 0 -1 4202496 1519352 0 0 0 34111 117 0 0 20 0 1 0 43977853 2521317376 609173 33554432000 4194304 7498468 140724695509632 140724695504648 4249984 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39874560 140724695516269 140724695516419 140724695516419 140724695519177 0 /proc/2441/statm: 615556 609173 760 807 0 608547 0 Current children cumulated CPU time: 342.28 s Current children cumulated vsize: 2462224 KiB Current children cumulated memory: 2436692 KiB [startup+402.3 s] /proc/loadavg: 2.00 1.99 2.03 3/188 2479 /proc/meminfo: memFree=18620092/32770624 swapFree=67108860/67108860 [pid=2441] ppid=2438 vsize=2464972 memory=2439412 CPUtime=402.28 cores=0,2,4,6 /proc/2441/stat : 2441 (MistralXCSP) R 2438 2441 2046 0 -1 4202496 1903070 0 0 0 40093 135 0 0 20 0 1 0 43977853 2524131328 609853 33554432000 4194304 7498468 140724695509632 140724695504648 4405053 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39874560 140724695516269 140724695516419 140724695516419 140724695519177 0 /proc/2441/statm: 616243 609853 760 807 0 609234 0 Current children cumulated CPU time: 402.28 s Current children cumulated vsize: 2464972 KiB Current children cumulated memory: 2439412 KiB [startup+462.3 s] /proc/loadavg: 2.00 1.99 2.03 3/188 2480 /proc/meminfo: memFree=18620352/32770624 swapFree=67108860/67108860 [pid=2441] ppid=2438 vsize=2464972 memory=2439412 CPUtime=462.29 cores=0,2,4,6 /proc/2441/stat : 2441 (MistralXCSP) R 2438 2441 2046 0 -1 4202496 2032314 0 0 0 46088 141 0 0 20 0 1 0 43977853 2524131328 609853 33554432000 4194304 7498468 140724695509632 140724695504648 140311814715113 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39874560 140724695516269 140724695516419 140724695516419 140724695519177 0 /proc/2441/statm: 616243 609853 760 807 0 609234 0 Current children cumulated CPU time: 462.29 s Current children cumulated vsize: 2464972 KiB Current children cumulated memory: 2439412 KiB ################ # More data... # ################ /proc/2441/statm: 616873 610564 760 807 0 609864 0 Current children cumulated CPU time: 1662.17 s Current children cumulated vsize: 2467492 KiB Current children cumulated memory: 2442256 KiB [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.05 3/188 2517 /proc/meminfo: memFree=18612876/32770624 swapFree=67108860/67108860 [pid=2441] ppid=2438 vsize=2467492 memory=2442272 CPUtime=1722.17 cores=0,2,4,6 /proc/2441/stat : 2441 (MistralXCSP) R 2438 2441 2046 0 -1 4202496 4524688 0 0 0 171952 265 0 0 20 0 1 0 43977853 2526711808 610568 33554432000 4194304 7498468 140724695509632 140724695504168 5838205 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39874560 140724695516269 140724695516419 140724695516419 140724695519177 0 /proc/2441/statm: 616873 610568 760 807 0 609864 0 Current children cumulated CPU time: 1722.17 s Current children cumulated vsize: 2467492 KiB Current children cumulated memory: 2442272 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 2519 /proc/meminfo: memFree=18613372/32770624 swapFree=67108860/67108860 [pid=2441] ppid=2438 vsize=2467624 memory=2442296 CPUtime=1782.16 cores=0,2,4,6 /proc/2441/stat : 2441 (MistralXCSP) R 2438 2441 2046 0 -1 4202496 4564212 0 0 0 177948 268 0 0 20 0 1 0 43977853 2526846976 610574 33554432000 4194304 7498468 140724695509632 140724695504168 5791454 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39874560 140724695516269 140724695516419 140724695516419 140724695519177 0 /proc/2441/statm: 616906 610574 760 807 0 609897 0 Current children cumulated CPU time: 1782.16 s Current children cumulated vsize: 2467624 KiB Current children cumulated memory: 2442296 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 2520 /proc/meminfo: memFree=18613668/32770624 swapFree=67108860/67108860 [pid=2441] ppid=2438 vsize=2467624 memory=2442372 CPUtime=1842.15 cores=0,2,4,6 /proc/2441/stat : 2441 (MistralXCSP) R 2438 2441 2046 0 -1 4202496 4598569 0 0 0 183945 270 0 0 20 0 1 0 43977853 2526846976 610593 33554432000 4194304 7498468 140724695509632 140724695504168 4405731 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39874560 140724695516269 140724695516419 140724695516419 140724695519177 0 /proc/2441/statm: 616906 610593 760 807 0 609897 0 Current children cumulated CPU time: 1842.15 s Current children cumulated vsize: 2467624 KiB Current children cumulated memory: 2442372 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 2521 /proc/meminfo: memFree=18614044/32770624 swapFree=67108860/67108860 [pid=2441] ppid=2438 vsize=2467756 memory=2442408 CPUtime=1902.13 cores=0,2,4,6 /proc/2441/stat : 2441 (MistralXCSP) R 2438 2441 2046 0 -1 4202496 4631185 0 0 0 189942 271 0 0 20 0 1 0 43977853 2526982144 610602 33554432000 4194304 7498468 140724695509632 140724695504088 4257968 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39874560 140724695516269 140724695516419 140724695516419 140724695519177 0 /proc/2441/statm: 616939 610602 760 807 0 609930 0 Current children cumulated CPU time: 1902.13 s Current children cumulated vsize: 2467756 KiB Current children cumulated memory: 2442408 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 2523 /proc/meminfo: memFree=18613672/32770624 swapFree=67108860/67108860 [pid=2441] ppid=2438 vsize=2467756 memory=2442432 CPUtime=1962.14 cores=0,2,4,6 /proc/2441/stat : 2441 (MistralXCSP) R 2438 2441 2046 0 -1 4202496 4660067 0 0 0 195941 273 0 0 20 0 1 0 43977853 2526982144 610608 33554432000 4194304 7498468 140724695509632 140724695504088 5770556 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39874560 140724695516269 140724695516419 140724695516419 140724695519177 0 /proc/2441/statm: 616939 610608 760 807 0 609930 0 Current children cumulated CPU time: 1962.14 s Current children cumulated vsize: 2467756 KiB Current children cumulated memory: 2442432 KiB [startup+2022.3 s] /proc/loadavg: 2.04 2.03 2.05 3/187 2524 /proc/meminfo: memFree=18614020/32770624 swapFree=67108860/67108860 [pid=2441] ppid=2438 vsize=2467756 memory=2442436 CPUtime=2022.12 cores=0,2,4,6 /proc/2441/stat : 2441 (MistralXCSP) R 2438 2441 2046 0 -1 4202496 4685176 0 0 0 201938 274 0 0 20 0 1 0 43977853 2526982144 610609 33554432000 4194304 7498468 140724695509632 140724695504088 5791513 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39874560 140724695516269 140724695516419 140724695516419 140724695519177 0 /proc/2441/statm: 616939 610609 760 807 0 609930 0 Current children cumulated CPU time: 2022.12 s Current children cumulated vsize: 2467756 KiB Current children cumulated memory: 2442436 KiB [startup+2082.3 s] /proc/loadavg: 2.01 2.02 2.05 3/187 2532 /proc/meminfo: memFree=18614240/32770624 swapFree=67108860/67108860 [pid=2441] ppid=2438 vsize=2467756 memory=2442460 CPUtime=2082.13 cores=0,2,4,6 /proc/2441/stat : 2441 (MistralXCSP) R 2438 2441 2046 0 -1 4202496 4708943 0 0 0 207937 276 0 0 20 0 1 0 43977853 2526982144 610615 33554432000 4194304 7498468 140724695509632 140724695504088 4249984 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39874560 140724695516269 140724695516419 140724695516419 140724695519177 0 /proc/2441/statm: 616939 610615 760 807 0 609930 0 Current children cumulated CPU time: 2082.13 s Current children cumulated vsize: 2467756 KiB Current children cumulated memory: 2442460 KiB [startup+2142.3 s] /proc/loadavg: 2.01 2.02 2.05 3/187 2533 /proc/meminfo: memFree=18613968/32770624 swapFree=67108860/67108860 [pid=2441] ppid=2438 vsize=2467756 memory=2442500 CPUtime=2142.11 cores=0,2,4,6 /proc/2441/stat : 2441 (MistralXCSP) R 2438 2441 2046 0 -1 4202496 4731373 0 0 0 213934 277 0 0 20 0 1 0 43977853 2526982144 610625 33554432000 4194304 7498468 140724695509632 140724695504088 5791406 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39874560 140724695516269 140724695516419 140724695516419 140724695519177 0 /proc/2441/statm: 616939 610625 760 807 0 609930 0 Current children cumulated CPU time: 2142.11 s Current children cumulated vsize: 2467756 KiB Current children cumulated memory: 2442500 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 2534 /proc/meminfo: memFree=18614108/32770624 swapFree=67108860/67108860 [pid=2441] ppid=2438 vsize=2467756 memory=2442504 CPUtime=2202.11 cores=0,2,4,6 /proc/2441/stat : 2441 (MistralXCSP) R 2438 2441 2046 0 -1 4202496 4750685 0 0 0 219933 278 0 0 20 0 1 0 43977853 2526982144 610626 33554432000 4194304 7498468 140724695509632 140724695504088 4258039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39874560 140724695516269 140724695516419 140724695516419 140724695519177 0 /proc/2441/statm: 616939 610626 760 807 0 609930 0 Current children cumulated CPU time: 2202.11 s Current children cumulated vsize: 2467756 KiB Current children cumulated memory: 2442504 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 2535 /proc/meminfo: memFree=18609472/32770624 swapFree=67108860/67108860 [pid=2441] ppid=2438 vsize=2473176 memory=2447908 CPUtime=2262.1 cores=0,2,4,6 /proc/2441/stat : 2441 (MistralXCSP) R 2438 2441 2046 0 -1 4202496 4781416 0 0 0 225930 280 0 0 20 0 1 0 43977853 2532532224 611977 33554432000 4194304 7498468 140724695509632 140724695504648 4249991 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39874560 140724695516269 140724695516419 140724695516419 140724695519177 0 /proc/2441/statm: 618294 611977 760 807 0 611285 0 Current children cumulated CPU time: 2262.1 s Current children cumulated vsize: 2473176 KiB Current children cumulated memory: 2447908 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 2536 /proc/meminfo: memFree=18609256/32770624 swapFree=67108860/67108860 [pid=2441] ppid=2438 vsize=2473440 memory=2448332 CPUtime=2322.09 cores=0,2,4,6 /proc/2441/stat : 2441 (MistralXCSP) R 2438 2441 2046 0 -1 4202496 4792962 0 0 0 231928 281 0 0 20 0 1 0 43977853 2532802560 612083 33554432000 4194304 7498468 140724695509632 140724695504648 5773824 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39874560 140724695516269 140724695516419 140724695516419 140724695519177 0 /proc/2441/statm: 618360 612083 760 807 0 611351 0 Current children cumulated CPU time: 2322.09 s Current children cumulated vsize: 2473440 KiB Current children cumulated memory: 2448332 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 2537 /proc/meminfo: memFree=18608812/32770624 swapFree=67108860/67108860 [pid=2441] ppid=2438 vsize=2473440 memory=2448380 CPUtime=2382.07 cores=0,2,4,6 /proc/2441/stat : 2441 (MistralXCSP) R 2438 2441 2046 0 -1 4202496 4795056 0 0 0 237926 281 0 0 20 0 1 0 43977853 2532802560 612095 33554432000 4194304 7498468 140724695509632 140724695504648 5770640 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39874560 140724695516269 140724695516419 140724695516419 140724695519177 0 /proc/2441/statm: 618360 612095 760 807 0 611351 0 Current children cumulated CPU time: 2382.07 s Current children cumulated vsize: 2473440 KiB Current children cumulated memory: 2448380 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.3 s] /proc/loadavg: 2.08 2.03 2.05 3/200 2566 /proc/meminfo: memFree=18499840/32770624 swapFree=67108860/67108860 [pid=2441] ppid=2438 vsize=2473440 memory=2448384 CPUtime=2400.07 cores=0,2,4,6 /proc/2441/stat : 2441 (MistralXCSP) R 2438 2441 2046 0 -1 4202496 4795331 0 0 0 239726 281 0 0 20 0 1 0 43977853 2532802560 612096 33554432000 4194304 7498468 140724695509632 140724695504648 5791406 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39874560 140724695516269 140724695516419 140724695516419 140724695519177 0 /proc/2441/statm: 618360 612096 760 807 0 611351 0 Current children cumulated CPU time: 2400.07 s Current children cumulated vsize: 2473440 KiB Current children cumulated memory: 2448384 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2400.31 s] # the end of solver process 2441 was just reported to runsolver # cumulated CPU time of all completed processes: user=2397.27 s, system=2.82193 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.3 s] /proc/loadavg: 2.08 2.03 2.05 3/200 2566 /proc/meminfo: memFree=18499840/32770624 swapFree=67108860/67108860 [pid=2441] ppid=2438 vsize=2473440 memory=2448384 CPUtime=2400.07 cores=0,2,4,6 /proc/2441/stat : 2441 (MistralXCSP) R 2438 2441 2046 0 -1 4202496 4795331 0 0 0 239726 281 0 0 20 0 1 0 43977853 2532802560 612096 33554432000 4194304 7498468 140724695509632 140724695504648 5791406 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 39874560 140724695516269 140724695516419 140724695516419 140724695519177 0 /proc/2441/statm: 618360 612096 760 807 0 611351 0 Current children cumulated CPU time: 2400.07 s Current children cumulated vsize: 2473440 KiB Current children cumulated memory: 2448384 KiB Child status: 0 Real time (s): 2400.31 CPU time (s): 2400.09 CPU user time (s): 2397.27 CPU system time (s): 2.82193 CPU usage (%): 99.9909 Max. virtual memory (cumulated for all children) (KiB): 2473440 Max. memory (cumulated for all children) (KiB): 2448384 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2397.27 system time used= 2.82193 maximum resident set size= 2448404 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4795392 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= 298 involuntary context switches= 699 # summary of solver processes directly reported to runsolver: # pid: 2441 # total CPU time (s): 2400.09 # total CPU user time (s): 2397.27 # total CPU system time (s): 2.82193 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.209 second user time and 17.2545 second system time The end
Begin job on node138 at 2018-07-22 14:55:47 IDJOB=4292012 IDBENCH=141266 IDSOLVER=2741 FILE ID=node138/4292012-1532264146 RUNJOBID= node138-1532261739-2079 PBS_JOBID= 21018975 Free space on /tmp= 58764 MiB SOLVER NAME= Mistral-2.0 2018-06-15 BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-06-0500_c18.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-4292012-1532264146/watcher-4292012-1532264146 -o /tmp/evaluation-result-4292012-1532264146/solver-4292012-1532264146 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532261739-2079 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1547234208 HOME/instance-4292012-1532264146.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 26cacd4a9bde3a1253c36df99f6e4e09 RANDOM SEED=1547234208 node138.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.71 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.71 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.71 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.71 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: 22347612 kB MemAvailable: 31766660 kB Buffers: 244384 kB Cached: 9412016 kB SwapCached: 0 kB Active: 2816084 kB Inactive: 7080864 kB Active(anon): 243280 kB Inactive(anon): 16960 kB Active(file): 2572804 kB Inactive(file): 7063904 kB Unevictable: 7280 kB Mlocked: 7280 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 226008 kB Writeback: 0 kB AnonPages: 253808 kB Mapped: 37224 kB Shmem: 17036 kB Slab: 223460 kB SReclaimable: 196348 kB SUnreclaim: 27112 kB KernelStack: 3296 kB PageTables: 5464 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 525104 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 58756 MiB End job on node138 at 2018-07-22 15:35:47