Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral-2.0 2018-06-15 | SAT (TO) | 456145389 | 2400.09 | 2400.12 |
| Name | Fapp/Fapp-m2s/ Fapp-m2s-test03-0400_c18.xml |
| MD5SUM | a5fe7a04cb5002912ef3d870057982e3 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 164004631 |
| Best CPU time to get the best result obtained on this benchmark | 2520.07 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 6864 |
| Number of constraints | 4370 |
| Number of domains | 85 |
| Minimum domain size | 1 |
| Maximum domain size | 175 |
| Distribution of domain sizes | [{"size":1,"count":8},{"size":2,"count":2413},{"size":11,"count":2021},{"size":12,"count":1},{"size":21,"count":15},{"size":26,"count":8},{"size":29,"count":37},{"size":31,"count":9},{"size":32,"count":9},{"size":33,"count":36},{"size":35,"count":22},{"size":37,"count":62},{"size":41,"count":51},{"size":43,"count":13},{"size":44,"count":6},{"size":47,"count":16},{"size":49,"count":20},{"size":51,"count":47},{"size":53,"count":8},{"size":55,"count":14},{"size":56,"count":16},{"size":57,"count":3},{"size":59,"count":3},{"size":61,"count":30},{"size":63,"count":21},"...",{"size":91,"count":18}, {"size":93,"count":6}, {"size":94,"count":7}, {"size":97,"count":4}, {"size":99,"count":11}, {"size":101,"count":31}, {"size":103,"count":5}, {"size":105,"count":6}, {"size":107,"count":14}, {"size":109,"count":15}, {"size":113,"count":11}, {"size":115,"count":20}, {"size":117,"count":3}, {"size":123,"count":35}, {"size":127,"count":5}, {"size":135,"count":20}, {"size":136,"count":127}, {"size":137,"count":28}, {"size":153,"count":82}, {"size":158,"count":107}, {"size":160,"count":191}, {"size":163,"count":78}, {"size":165,"count":126}, {"size":167,"count":89}, {"size":175,"count":655}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 2022 |
| Distribution of variable degrees | [{"degree":2,"count":6063},{"degree":3,"count":3},{"degree":4,"count":12},{"degree":5,"count":22},{"degree":6,"count":42},{"degree":7,"count":47},{"degree":8,"count":59},{"degree":9,"count":62},{"degree":10,"count":77},{"degree":11,"count":88},{"degree":12,"count":91},{"degree":13,"count":96},{"degree":14,"count":131},{"degree":15,"count":70},{"degree":2022,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 6 |
| Distribution of constraint arities | [{"arity":2,"count":328},{"arity":3,"count":2021},{"arity":6,"count":2021}] |
| Number of extensional constraints | 2021 |
| Number of intensional constraints | 2349 |
| Distribution of constraint types | [{"type":"extension","count":2021},{"type":"intension","count":2349}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c Mistral 16062018 97.10/97.19 o 456489144 97.10/97.19 o 456489143 97.19/97.20 o 456489134 97.19/97.20 o 456489130 97.19/97.20 o 456489128 97.19/97.21 o 456468913 97.19/97.21 o 456468912 97.19/97.22 o 456468909 97.19/97.22 o 456468902 97.19/97.23 o 456468896 97.19/97.24 o 456448688 97.19/97.24 o 456448685 97.19/97.28 o 456448684 97.19/97.29 o 456428465 97.29/97.31 o 456408265 97.29/97.39 o 456408258 97.39/97.42 o 456408255 97.39/97.44 o 456408252 97.39/97.47 o 456388032 97.49/97.59 o 456388029 97.59/97.67 o 456388028 97.69/97.70 o 456388018 97.79/97.81 o 456367813 97.89/97.94 o 456367812 98.10/98.12 o 456367807 98.39/98.48 o 456367796 100.69/100.70 o 456347600 100.69/100.71 o 456347599 100.69/100.72 o 456347597 101.00/101.05 o 456347583 102.29/102.31 o 456347580 102.79/102.85 o 456327387 102.79/102.86 o 456307168 103.69/103.76 o 456286971 105.69/105.75 o 456266757 108.70/108.74 o 456266756 109.90/109.98 o 456266752 111.40/111.47 o 456266744 112.30/112.37 o 456246517 115.89/115.95 o 456246508 120.59/120.64 o 456246506 123.59/123.60 o 456226296 141.19/141.27 o 456206071 141.19/141.28 o 456185862 163.11/163.18 o 456185855 171.40/171.40 o 456165656 171.40/171.41 o 456165654 171.49/171.57 o 456165643 176.50/176.57 o 456165634 178.40/178.45 o 456165625 183.30/183.36 o 456165624 199.40/199.40 o 456165618 199.40/199.43 o 456165617 228.30/228.34 o 456165615 378.90/378.92 o 456165614 432.21/432.21 o 456165613 442.71/442.72 o 456165608 442.71/442.73 o 456165607 448.31/448.30 o 456165605 479.51/479.56 o 456165602 505.31/505.31 o 456165600 754.60/754.67 o 456165599 854.59/854.62 o 456145389 2400.08/2400.11 s SATISFIABLE 2400.08/2400.11 v <instantiation type="solution"> 2400.08/2400.11 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] 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] 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] 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] 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] </list> 2400.08/2400.11 v <values> 2320 2220 2632 2420 2260 2220 2864 2628 2732 2320 2692 2288 2612 2796 2464 2840 2220 2860 2260 2504 2292 2360 2280 2416 2400 2220 2900 2816 2796 2576 2636 2408 2756 2260 2580 2812 2348 2220 2524 2504 2772 2220 2260 2800 2368 2320 2644 2800 2800 2788 2260 2360 2628 2552 2260 2260 2532 2668 2220 2260 2460 2320 2724 2288 2776 2732 2748 2592 2504 2624 2912 2860 2464 2724 2280 2796 2280 2720 2732 2880 2772 2220 2732 2668 2504 2360 2800 2816 2452 2872 2756 2780 2684 2220 2280 2376 2220 2500 2504 2260 2376 2684 2360 2328 2692 2464 2260 2772 2788 2220 2756 2356 2220 2320 2332 2328 2320 2464 2684 2260 2584 2348 2476 2504 2260 2320 2348 2284 2772 2560 2260 2772 2272 2260 2320 2260 2416 2220 2280 2692 2540 2828 2584 2836 2816 2624 2220 2732 2824 2544 2308 2312 2260 2440 2676 2724 2408 2428 2840 2300 2796 2732 2756 2816 2796 2732 2220 2572 2740 2408 2756 2220 2220 2244 2804 2528 2320 2220 2220 2776 2320 2328 2448 2248 2260 2616 2260 2388 2220 2760 2320 2288 2320 2416 2380 2280 2280 2760 2376 2328 2280 2220 2752 2400 2684 2220 2816 2756 2416 2416 2416 2732 2448 2816 2328 2280 2756 2624 2220 2308 2724 2868 2828 2260 2448 2320 2408 2360 2856 2408 2360 2260 2448 2776 2408 2732 2684 2376 2772 2220 2280 2492 2504 2328 2220 2220 2220 2220 2772 2772 2684 2260 2220 2456 2376 2408 2448 2260 2380 2220 2368 2280 2320 2260 2464 2732 2876 2508 2772 2724 2856 2320 2360 2416 2600 2260 2260 2260 2820 2260 2756 2572 2260 2816 2732 2732 2260 2652 2756 2692 2692 2796 2584 2848 2260 2220 2816 2804 2644 2308 2732 2592 2796 2856 2776 2624 2376 2816 2288 2280 2684 2320 2280 2516 2260 2288 2732 2504 2588 2720 2420 2544 2732 2796 2732 2220 2352 2408 2680 2632 2396 2260 2220 2856 2260 2288 2772 2772 2724 2488 2220 2300 2796 2756 2260 2320 2732 2260 2464 2628 2348 2232 2724 2260 2732 2220 2772 2856 2260 2684 2308 2288 2220 2360 2624 2584 2220 2320 2260 2844 2772 2260 2772 2260 2584 2840 2320 2684 2844 2564 2376 2792 2796 2220 2328 2692 2760 2416 2684 2220 2280 2320 2288 2260 2808 2320 2548 2592 2724 2448 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 1 1 1 0 1 1 1 1 0 0 0 0 1 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 1 0 1 0 0 0 0 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 0 1 1 1 1 0 1 0 1 1 0 1 1 1 1 1 1 0 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 1 0 0 1 1 0 0 0 1 1 1 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 1 1 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 1 1 1 1 0 1 1 1 1 1 0 1 0 0 1 1 0 1 0 1 1 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 1 1 0 1 0 1 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 11 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 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 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 1 0 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 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 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 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 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 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 1 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 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 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 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 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 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 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 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 0 0 0 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 1 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 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 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 0 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 4 0 10 6 2 0 0 0 0 1 0 10 0 1 0 0 9 0 10 1 0 0 0 0 0 10 10 0 0 0 0 7 0 0 10 0 10 0 1 0 10 0 0 0 10 0 10 10 10 4 1 1 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 8 1 0 0 0 10 10 0 0 0 0 0 0 8 0 0 10 1 6 0 0 0 10 0 0 0 10 0 1 0 10 0 10 0 0 10 0 0 10 6 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 10 6 0 0 0 0 0 10 0 1 10 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 8 0 9 0 0 10 0 0 9 0 0 10 1 10 10 7 0 0 0 0 0 6 0 0 9 0 10 0 1 0 1 4 0 0 0 10 0 0 10 0 5 0 0 0 0 10 1 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 10 5 0 10 9 0 1 0 10 0 0 0 10 10 0 3 0 0 0 9 1 2 0 0 10 0 3 1 7 0 0 0 0 0 0 0 10 5 0 0 7 0 0 0 0 10 0 1 10 0 3 0 0 9 0 7 0 9 0 0 0 0 0 5 0 0 0 10 0 0 0 0 0 8 10 5 0 10 10 0 0 0 0 1 10 10 9 0 0 9 1 0 4 0 10 0 10 0 0 0 0 0 8 0 0 10 0 10 0 1 0 10 0 0 0 0 1 10 0 0 0 10 0 10 10 0 10 0 0 0 10 5 0 0 0 1 0 0 0 1 4 0 0 0 0 8 0 0 10 0 10 0 0 0 1 0 0 0 2 1 0 0 0 4 0 6 10 0 9 1 6 10 0 10 0 0 10 10 0 0 10 10 10 0 0 0 0 0 0 9 1 0 0 0 1 10 1 2 0 10 0 0 2 0 1 0 10 0 0 0 10 10 10 0 1 0 0 10 0 0 0 4 0 0 10 0 10 0 6 0 10 10 0 0 0 0 0 10 0 10 5 10 8 10 10 0 8 0 0 0 3 0 0 10 8 0 10 10 0 0 0 10 10 8 10 0 0 10 0 1 0 0 0 10 0 0 3 0 0 0 10 10 0 0 0 0 4 0 0 1 0 0 0 0 0 0 10 0 0 0 0 0 0 0 1 5 7 10 1 8 0 0 0 4 0 0 10 6 0 0 2 1 0 0 10 10 10 10 10 0 0 0 0 0 10 0 0 10 1 0 0 0 0 0 0 0 7 0 0 0 0 0 0 1 9 0 10 0 0 10 10 0 0 0 0 7 0 0 10 10 10 2 0 9 9 10 5 0 1 0 0 0 0 0 1 8 8 0 10 0 0 4 10 10 0 0 0 0 0 0 0 0 10 5 0 0 3 0 10 10 0 1 1 0 9 0 0 0 0 10 0 0 10 0 0 0 0 7 0 0 0 0 1 5 0 10 10 1 10 0 10 0 10 2 0 0 0 0 0 1 0 0 0 0 4 0 0 9 10 0 0 0 10 0 1 0 0 1 5 10 0 4 10 0 10 0 8 1 0 0 0 0 0 9 10 0 8 0 10 0 10 0 0 0 0 1 7 0 10 0 0 3 0 10 6 0 1 10 10 0 0 0 0 0 0 0 0 10 0 1 0 0 10 0 10 0 0 0 0 10 5 0 0 10 2 0 1 0 7 0 0 5 6 0 0 0 0 10 10 0 0 0 1 0 0 9 0 0 0 1 0 0 10 0 2 0 0 7 9 0 0 0 0 0 0 0 0 0 10 9 0 0 0 5 1 0 0 0 10 1 0 0 0 0 10 0 10 10 0 0 0 0 0 10 0 0 0 10 10 0 0 0 0 0 0 0 10 0 0 0 10 9 0 0 0 0 10 0 0 10 0 10 1 10 1 0 0 0 0 9 0 0 0 0 0 0 10 0 10 0 9 0 0 10 0 0 0 0 0 0 0 0 10 1 10 0 1 0 0 0 0 10 0 0 10 1 0 0 0 10 0 0 0 0 1 0 10 0 10 1 0 10 10 10 0 10 0 1 1 10 0 0 0 10 0 0 10 10 0 0 0 0 0 0 0 10 10 0 10 0 1 0 0 0 0 0 10 0 0 0 10 0 1 0 0 0 0 0 10 1 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 10 8 0 10 0 1 0 0 0 10 9 5 1 0 0 0 2 0 0 0 10 10 1 0 10 0 0 0 0 0 10 10 10 0 0 10 0 0 0 0 10 10 1 10 10 0 10 10 0 7 0 6 0 10 0 3 10 0 4 10 10 10 0 0 0 0 0 8 1 10 0 0 8 10 0 10 1 10 0 0 0 1 0 0 0 0 0 10 0 10 0 0 5 3 0 1 0 0 0 3 0 0 0 0 10 0 1 0 2 0 0 0 0 1 0 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 10 8 10 0 10 10 4 0 5 0 10 0 1 10 10 0 1 0 10 3 10 10 0 10 5 7 0 0 1 10 1 5 3 10 0 0 0 6 0 0 0 0 10 10 0 1 0 0 10 10 0 10 10 0 4 9 9 0 10 10 0 1 0 0 0 10 0 0 0 9 10 0 0 0 10 10 0 10 10 0 8 10 0 4 0 10 1 0 1 0 7 0 10 0 0 0 9 0 1 0 6 0 0 0 10 0 0 0 0 0 0 10 0 4 0 0 0 0 0 0 0 4 0 0 0 1 9 10 0 10 0 8 8 1 0 9 0 10 10 9 1 0 0 10 0 0 10 0 0 1 0 0 0 0 10 10 6 10 1 1 0 0 0 0 0 0 0 0 4 0 0 10 0 0 0 9 10 0 0 2 0 0 1 8 0 0 0 1 0 0 0 0 10 9 0 0 4 0 10 0 0 0 10 10 10 10 1 4 7 10 0 0 7 0 0 0 0 0 0 10 0 5 0 4 0 0 10 0 0 9 1 10 0 0 0 0 0 1 0 10 0 9 0 0 10 0 10 10 0 10 0 0 0 0 1 0 0 0 0 0 1 0 10 10 4 1 7 0 10 0 0 0 1 1 1 10 10 0 0 0 10 0 10 0 6 1 1 3 0 9 0 0 0 0 0 0 0 0 0 10 0 1 0 0 0 0 10 0 10 1 0 4 0 10 0 0 10 0 10 0 1 1 0 0 1 1 0 1 0 0 7 0 5 10 6 4 0 10 0 10 0 0 0 5 0 1 0 2 9 0 1 0 0 0 10 10 10 0 0 10 10 0 10 10 0 0 0 0 0 10 10 10 0 10 0 0 0 5 10 0 10 0 1 1 3 0 0 0 0 0 0 10 10 0 2 0 0 0 0 10 0 0 0 0 4 0 7 0 10 0 0 10 0 1 10 0 0 0 10 10 0 10 0 0 10 0 10 0 10 0 9 0 0 0 0 8 9 0 10 4 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 10 0 10 0 1 0 0 10 0 1 1 0 10 10 1 6 0 0 1 1 0 0 0 0 0 0 0 0 10 0 0 1 1 0 10 10 10 1 0 0 0 0 9 6 10 0 1 0 0 0 0 6 10 0 10 0 0 0 10 1 10 1 10 0 0 0 0 10 0 1 1 6 0 0 0 0 0 0 10 1 8 0 0 10 0 0 0 0 0 0 10 0 1 10 0 0 0 0 10 8 0 10 0 10 1 10 1 1 10 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 1 0 0 0 0 0 10 0 1 0 0 1 0 0 0 0 0 10 5 9 10 1 9 0 1 0 0 0 0 0 0 0 0 0 5 0 0 0 1 10 0 0 0 0 10 10 1 10 0 0 10 10 0 10 0 0 10 0 0 0 10 0 0 0 0 0 0 0 7 0 1 1 0 7 6 10 2 0 0 10 3 0 0 0 10 10 3 7 0 0 0 0 1 0 0 7 6 5 0 0 10 10 7 10 0 9 0 0 0 0 3 0 10 0 10 0 0 0 0 10 4 0 9 10 0 0 10 1 10 7 0 1 0 0 0 0 0 0 0 10 1 0 10 0 5 0 9 0 0 0 0 0 10 10 0 0 0 10 0 0 10 0 0 10 10 10 0 10 0 7 0 8 0 0 0 0 10 0 0 0 5 10 0 0 8 0 0 0 10 0 0 10 10 0 0 6 0 0 0 6 0 0 1 0 1 0 10 0 0 1 0 10 0 0 0 0 0 0 0 10 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2 10 1 0 0 0 10 0 10 0 4 0 0 10 0 10 0 1 0 0 3 0 10 0 10 10 10 0 0 0 0 10 0 1 0 2 0 0 0 9 0 10 0 7 0 0 10 0 0 0 10 0 0 5 10 10 4 0 10 0 0 10 0 4 10 0 0 0 0 10 10 0 0 0 0 9 0 0 10 0 0 0 0 0 10 0 0 10 32 40 184 460 0 36 504 484 56 88 412 308 28 100 40 580 660 652 40 128 0 100 540 228 424 0 100 140 48 100 196 224 412 224 100 12 0 284 132 140 264 200 136 356 140 200 336 112 352 428 204 264 20 640 148 512 240 0 148 536 40 160 28 40 140 660 40 244 188 512 40 552 108 604 132 108 544 140 448 212 228 280 284 56 408 196 380 12 308 180 64 64 268 356 512 84 512 316 452 0 0 148 0 100 12 76 60 8 100 60 412 32 228 8 104 432 72 488 380 32 40 8 120 260 392 216 352 160 448 508 204 292 36 36 292 224 40 24 184 312 176 268 116 88 156 556 620 620 620 108 512 116 4 68 292 248 68 536 284 0 60 512 0 0 40 472 460 0 344 64 60 540 232 640 540 176 136 640 104 552 20 556 60 0 16 20 68 0 224 0 164 0 148 284 312 120 344 216 268 228 88 440 392 332 332 72 388 104 332 80 56 100 132 412 332 20 516 76 136 476 548 20 40 40 540 576 40 160 384 176 456 356 156 196 136 380 196 196 28 432 392 140 224 372 0 52 60 268 128 396 640 680 168 620 572 168 612 140 44 352 596 40 40 4 516 468 456 44 292 536 24 576 380 576 8 24 536 508 168 16 296 76 220 128 296 356 216 356 184 88 416 164 136 96 376 316 328 316 416 376 52 472 464 92 148 276 164 88 128 128 48 188 188 252 536 536 24 308 72 292 0 24 124 268 408 60 244 472 364 420 204 360 260 80 36 104 164 360 320 276 152 100 216 152 44 168 88 396 484 80 80 12 384 156 12 12 424 408 456 60 660 284 88 0 40 132 572 540 588 504 120 192 272 276 236 332 264 324 208 264 0 0 184 88 236 184 104 96 284 216 268 148 512 552 492 512 484 552 580 408 244 0 52 188 60 0 244 40 0 408 216 284 500 40 60 544 332 0 584 208 580 300 4 580 432 580 208 448 108 108 40 148 88 388 108 364 264 216 472 100 0 8 128 60 60 0 40 452 228 384 140 180 332 32 356 40 384 88 88 20 52 68 492 80 176 472 352 512 116 508 56 12 360 68 556 280 516 68 0 424 288 188 364 144 32 380 100 48 0 48 412 320 252 348 24 368 268 408 224 64 272 180 44 136 268 600 20 280 568 40 0 0 528 464 512 120 364 248 312 272 56 212 0 312 204 148 448 252 348 88 136 108 64 408 0 552 536 228 504 0 160 40 380 472 0 344 100 424 244 156 100 148 452 380 296 152 200 240 4 112 272 180 172 200 312 264 40 40 128 56 56 60 40 368 504 40 268 260 140 140 468 484 32 528 68 68 444 68 556 152 232 0 456 456 496 312 44 4 40 84 20 412 472 412 412 424 140 148 16 16 28 244 24 28 64 124 488 420 280 332 244 372 212 0 372 332 156 28 220 184 88 284 164 276 108 232 364 192 364 32 408 652 496 72 156 464 692 228 72 128 500 88 120 108 532 64 4 88 48 48 244 108 436 44 132 404 120 452 496 452 228 576 8 20 516 404 168 292 36 72 388 576 112 24 0 4 0 224 20 136 32 60 8 0 40 0 536 116 404 352 56 324 500 432 48 284 512 84 316 80 0 0 48 140 620 84 660 552 660 108 40 0 512 448 596 220 180 188 100 540 48 512 460 0 124 228 8 76 104 252 56 128 424 64 108 408 368 268 192 312 284 216 40 104 12 372 396 412 372 496 324 0 100 436 580 452 488 40 192 528 0 0 464 408 596 496 496 368 420 304 52 76 76 192 364 280 56 36 112 344 232 4 612 552 76 652 652 148 76 456 60 388 252 292 436 424 452 520 68 48 220 180 276 404 0 8 396 536 604 160 596 504 0 380 636 0 0 60 60 60 404 48 168 60 576 564 44 308 28 76 152 48 128 40 440 96 116 88 0 28 40 40 536 512 132 188 40 40 0 280 296 280 280 196 96 248 244 244 0 48 40 496 140 496 60 88 28 156 384 48 96 16 316 480 20 244 356 144 404 264 324 40 412 0 88 56 436 140 80 372 100 52 0 264 428 120 48 32 264 0 472 264 120 276 472 372 432 364 184 104 308 144 104 244 496 40 40 328 40 324 40 396 0 396 324 468 28 568 468 500 528 568 536 552 60 596 636 340 536 536 308 496 64 252 100 536 368 384 328 56 136 136 416 488 40 584 40 100 240 508 420 296 100 60 452 40 12 72 400 400 396 316 20 256 8 8 496 188 324 40 524 220 16 156 244 392 392 328 16 8 404 276 48 120 48 12 268 148 0 512 536 0 512 40 432 500 40 20 172 136 76 232 324 128 268 12 88 408 88 240 4 88 68 200 128 256 156 96 256 28 68 116 300 148 364 248 244 244 352 196 268 496 116 40 424 28 440 40 96 88 56 332 0 372 328 48 384 128 20 88 332 48 64 144 64 4 288 448 524 212 512 492 452 0 364 24 144 260 256 240 40 364 0 0 472 28 48 548 40 16 180 40 20 524 52 220 8 356 76 496 0 100 40 40 0 116 20 284 0 324 0 40 128 556 0 60 304 60 100 372 580 544 196 40 556 28 372 0 28 136 32 388 176 64 268 428 0 0 40 552 268 0 40 28 128 136 0 60 20 412 0 452 400 516 168 48 404 472 32 312 80 432 116 192 288 180 320 380 52 20 608 136 136 140 188 364 276 0 304 104 616 460 104 112 516 272 84 596 84 556 352 468 496 296 404 148 40 40 208 0 24 100 60 100 432 324 404 324 452 24 228 356 280 604 72 416 92 8 200 604 232 324 188 212 264 256 180 224 264 140 508 0 128 444 412 508 484 24 192 136 128 60 244 108 312 48 0 332 220 112 220 64 64 220 436 64 416 84 8 144 104 32 436 0 132 324 0 388 388 12 148 352 40 208 100 168 108 344 224 424 384 620 208 580 0 520 60 472 12 172 72 476 436 104 0 64 308 536 84 512 512 316 348 436 396 376 112 72 268 40 428 536 596 456 32 596 536 576 576 60 292 388 24 576 404 356 424 228 512 472 100 504 60 0 160 224 272 160 224 64 420 480 8 8 88 16 56 120 188 284 236 276 108 56 0 224 536 32 292 468 0 16 40 40 576 0 464 196 40 572 372 528 384 528 24 76 416 388 496 28 48 8 80 584 496 180 156 280 80 552 464 244 288 140 596 0 512 140 156 176 40 516 132 0 516 428 192 400 16 40 100 0 556 32 412 364 8 52 120 120 128 32 444 48 408 152 368 308 356 236 128 12 12 436 484 484 12 608 120 492 60 116 120 596 0 0 28 0 288 356 396 396 356 224 248 0 48 128 60 472 0 404 344 100 312 176 88 480 96 436 496 476 496 60 20 524 488 120 132 296 8 60 252 304 100 8 196 96 340 424 0 36 212 20 464 128 20 452 60 28 440 168 12 480 296 12 88 56 40 4 540 40 116 32 156 116 116 356 48 60 320 60 20 532 0 464 432 424 60 328 344 336 20 532 492 180 416 180 200 420 332 320 232 236 276 88 132 88 160 0 236 464 512 464 488 508 368 596 40 96 132 92 476 496 496 536 496 36 124 16 56 380 88 136 108 452 156 400 88 324 372 228 512 8 120 80 308 228 188 596 0 536 84 20 236 128 492 0 308 348 436 52 176 364 364 32 108 108 364 364 364 336 284 584 552 40 416 88 200 284 548 280 412 0 464 420 52 32 32 508 40 196 0 432 28 372 88 0 324 396 40 364 188 448 400 140 100 460 456 100 636 40 312 636 636 448 148 16 100 128 60 424 120 188 328 324 44 84 516 272 476 180 348 228 512 88 0 444 0 40 40 72 356 216 480 188 156 40 200 84 484 472 472 364 296 200 0 344 136 0 48 444 60 80 492 192 304 144 204 56 244 128 552 536 40 512 60 60 576 68 0 624 512 512 0 552 452 224 48 180 112 120 112 396 424 156 188 472 0 236 0 620 236 360 72 132 248 112 16 448 388 96 324 140 512 472 472 416 92 340 376 40 412 40 620 428 596 0 452 128 476 264 496 244 432 324 40 304 268 204 372 24 424 472 140 224 596 264 288 44 180 484 512 224 324 52 444 8 180 44 48 36 124 452 488 0 80 136 392 132 312 172 40 28 464 512 40 68 536 0 88 588 516 472 284 472 40 0 496 40 448 468 308 200 272 588 0 88 32 0 472 512 444 112 184 0 20 0 512 392 100 16 8 100 340 472 128 444 256 116 384 148 500 576 536 40 172 312 508 28 544 424 268 280 180 484 380 64 32 312 140 388 496 40 420 468 224 40 20 516 448 136 60 344 256 116 20 556 596 40 208 304 88 100 0 516 96 196 28 596 60 0 0 472 148 112 316 244 156 192 124 368 96 136 40 200 160 200 472 472 472 444 172 40 244 0 552 344 136 8 80 88 352 372 420 372 76 512 512 0 60 12 636 164 48 584 72 0 88 208 36 8 160 72 504 148 4 0 0 40 112 48 204 44 164 368 60 444 68 172 636 28 584 76 100 624 40 88 208 212 36 196 504 524 432 160 556 584 20 80 512 0 208 124 296 108 40 504 212 364 268 </values> 2400.08/2400.11 v </instantiation>
OK 456145389
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 (8622 MiB free)
memory of node 1: 16384 MiB (10834 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292022-1532264719/watcher-4292022-1532264719 -o /tmp/evaluation-result-4292022-1532264719/solver-4292022-1532264719 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532259915-3427 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 741074162 HOME/instance-4292022-1532264719.xml
running on 4 cores: 1,3,5,7
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
solver pid=3953, runsolver pid=3950
Current StackSize limit: 8192 KiB
[startup+0.100115 s]*
/proc/loadavg: 2.00 2.02 2.02 3/188 3954
/proc/meminfo: memFree=19905596/32770624 swapFree=67108860/67108860
[pid=3953] ppid=3950 vsize=43960 memory=18572 CPUtime=0.1 cores=1,3,5,7
/proc/3953/stat : 3953 (MistralXCSP) R 3950 3953 3395 0 -1 4202496 5030 0 0 0 10 0 0 0 20 0 1 0 44035174 45015040 4643 33554432000 4194304 7498468 140729977766560 140729977763560 140335183014885 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21639168 140729977771118 140729977771267 140729977771267 140729977774025 0
/proc/3953/statm: 10990 4643 704 807 0 3981 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43960 KiB
Current children cumulated memory: 18572 KiB
[startup+0.209576 s]*
/proc/loadavg: 2.00 2.02 2.02 3/188 3954
/proc/meminfo: memFree=19900140/32770624 swapFree=67108860/67108860
[pid=3953] ppid=3950 vsize=46524 memory=20948 CPUtime=0.21 cores=1,3,5,7
/proc/3953/stat : 3953 (MistralXCSP) R 3950 3953 3395 0 -1 4202496 5664 0 0 0 20 1 0 0 20 0 1 0 44035174 47640576 5237 33554432000 4194304 7498468 140729977766560 140729977763560 140335183014885 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21639168 140729977771118 140729977771267 140729977771267 140729977774025 0
/proc/3953/statm: 11631 5237 704 807 0 4622 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 46524 KiB
Current children cumulated memory: 20948 KiB
[startup+0.308946 s]*
/proc/loadavg: 2.00 2.02 2.02 3/188 3954
/proc/meminfo: memFree=19894684/32770624 swapFree=67108860/67108860
[pid=3953] ppid=3950 vsize=49644 memory=24116 CPUtime=0.31 cores=1,3,5,7
/proc/3953/stat : 3953 (MistralXCSP) R 3950 3953 3395 0 -1 4202496 6446 0 0 0 30 1 0 0 20 0 1 0 44035174 50835456 6029 33554432000 4194304 7498468 140729977766560 140729977763560 5897030 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21639168 140729977771118 140729977771267 140729977771267 140729977774025 0
/proc/3953/statm: 12411 6029 704 807 0 5402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 49644 KiB
Current children cumulated memory: 24116 KiB
[startup+0.70025 s]
/proc/loadavg: 2.00 2.02 2.02 3/188 3954
/proc/meminfo: memFree=19882780/32770624 swapFree=67108860/67108860
[pid=3953] ppid=3950 vsize=61520 memory=35996 CPUtime=0.69 cores=1,3,5,7
/proc/3953/stat : 3953 (MistralXCSP) R 3950 3953 3395 0 -1 4202496 9425 0 0 0 68 1 0 0 20 0 1 0 44035174 62996480 8999 33554432000 4194304 7498468 140729977766560 140729977757480 4564424 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21639168 140729977771118 140729977771267 140729977771267 140729977774025 0
/proc/3953/statm: 15380 8999 704 807 0 8371 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 61520 KiB
Current children cumulated memory: 35996 KiB
[startup+1.50026 s]
/proc/loadavg: 2.00 2.02 2.02 3/188 3954
/proc/meminfo: memFree=19855700/32770624 swapFree=67108860/67108860
[pid=3953] ppid=3950 vsize=84456 memory=58964 CPUtime=1.49 cores=1,3,5,7
/proc/3953/stat : 3953 (MistralXCSP) R 3950 3953 3395 0 -1 4202496 15151 0 0 0 147 2 0 0 20 0 1 0 44035174 86482944 14741 33554432000 4194304 7498468 140729977766560 140729977759800 5875466 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21639168 140729977771118 140729977771267 140729977771267 140729977774025 0
/proc/3953/statm: 21114 14741 718 807 0 14105 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 84456 KiB
Current children cumulated memory: 58964 KiB
[startup+3.10943 s]
/proc/loadavg: 1.92 2.00 2.02 3/188 3954
/proc/meminfo: memFree=19706084/32770624 swapFree=67108860/67108860
[pid=3953] ppid=3950 vsize=126544 memory=101080 CPUtime=3.1 cores=1,3,5,7
/proc/3953/stat : 3953 (MistralXCSP) R 3950 3953 3395 0 -1 4202496 27016 0 0 0 307 3 0 0 20 0 1 0 44035174 129581056 25270 33554432000 4194304 7498468 140729977766560 140729977759800 140335183453184 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21639168 140729977771118 140729977771267 140729977771267 140729977774025 0
/proc/3953/statm: 31636 25270 718 807 0 24627 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 126544 KiB
Current children cumulated memory: 101080 KiB
[startup+6.30022 s]
/proc/loadavg: 1.92 2.00 2.02 3/188 3954
/proc/meminfo: memFree=19596716/32770624 swapFree=67108860/67108860
[pid=3953] ppid=3950 vsize=210072 memory=184684 CPUtime=6.29 cores=1,3,5,7
/proc/3953/stat : 3953 (MistralXCSP) R 3950 3953 3395 0 -1 4202496 50423 0 0 0 623 6 0 0 20 0 1 0 44035174 215113728 46171 33554432000 4194304 7498468 140729977766560 140729977759800 5882372 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21639168 140729977771118 140729977771267 140729977771267 140729977774025 0
/proc/3953/statm: 52518 46171 719 807 0 45509 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 210072 KiB
Current children cumulated memory: 184684 KiB
[startup+12.7002 s]
/proc/loadavg: 1.93 2.00 2.02 3/188 3954
/proc/meminfo: memFree=19288204/32770624 swapFree=67108860/67108860
[pid=3953] ppid=3950 vsize=375264 memory=349732 CPUtime=12.69 cores=1,3,5,7
/proc/3953/stat : 3953 (MistralXCSP) R 3950 3953 3395 0 -1 4202496 94686 0 0 0 1258 11 0 0 20 0 1 0 44035174 384270336 87433 33554432000 4194304 7498468 140729977766560 140729977759800 5877378 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21639168 140729977771118 140729977771267 140729977771267 140729977774025 0
/proc/3953/statm: 93816 87433 719 807 0 86807 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 375264 KiB
Current children cumulated memory: 349732 KiB
[startup+25.5002 s]
/proc/loadavg: 1.95 2.00 2.02 3/188 3954
/proc/meminfo: memFree=18612656/32770624 swapFree=67108860/67108860
[pid=3953] ppid=3950 vsize=709576 memory=683992 CPUtime=25.49 cores=1,3,5,7
/proc/3953/stat : 3953 (MistralXCSP) R 3950 3953 3395 0 -1 4202496 181991 0 0 0 2525 24 0 0 20 0 1 0 44035174 726605824 170998 33554432000 4194304 7498468 140729977766560 140729977759800 6016825 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21639168 140729977771118 140729977771267 140729977771267 140729977774025 0
/proc/3953/statm: 177394 170998 719 807 0 170385 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 709576 KiB
Current children cumulated memory: 683992 KiB
[startup+51.1094 s]
/proc/loadavg: 1.96 2.00 2.02 3/187 3954
/proc/meminfo: memFree=17540096/32770624 swapFree=67108860/67108860
[pid=3953] ppid=3950 vsize=1375372 memory=1349860 CPUtime=51.1 cores=1,3,5,7
/proc/3953/stat : 3953 (MistralXCSP) R 3950 3953 3395 0 -1 4202496 351555 0 0 0 5064 46 0 0 20 0 1 0 44035174 1408380928 337465 33554432000 4194304 7498468 140729977766560 140729977759800 140335183453184 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21639168 140729977771118 140729977771267 140729977771267 140729977774025 0
/proc/3953/statm: 343843 337465 719 807 0 336834 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 1375372 KiB
Current children cumulated memory: 1349860 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.02 3/187 3955
/proc/meminfo: memFree=17174460/32770624 swapFree=67108860/67108860
[pid=3953] ppid=3950 vsize=1728676 memory=1703428 CPUtime=102.29 cores=1,3,5,7
/proc/3953/stat : 3953 (MistralXCSP) R 3950 3953 3395 0 -1 4202496 692371 0 0 0 10158 71 0 0 20 0 1 0 44035174 1770164224 425857 33554432000 4194304 7498468 140729977766560 140729977761576 4253280 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21639168 140729977771118 140729977771267 140729977771267 140729977774025 0
/proc/3953/statm: 432169 425857 757 807 0 425160 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 1728676 KiB
Current children cumulated memory: 1703428 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.02 3/187 3956
/proc/meminfo: memFree=17174944/32770624 swapFree=67108860/67108860
[pid=3953] ppid=3950 vsize=1728676 memory=1703444 CPUtime=162.3 cores=1,3,5,7
/proc/3953/stat : 3953 (MistralXCSP) R 3950 3953 3395 0 -1 4202496 716403 0 0 0 16157 73 0 0 20 0 1 0 44035174 1770164224 425861 33554432000 4194304 7498468 140729977766560 140729977761576 5773819 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21639168 140729977771118 140729977771267 140729977771267 140729977774025 0
/proc/3953/statm: 432169 425861 761 807 0 425160 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 1728676 KiB
Current children cumulated memory: 1703444 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/187 3957
/proc/meminfo: memFree=17173920/32770624 swapFree=67108860/67108860
[pid=3953] ppid=3950 vsize=1729928 memory=1704708 CPUtime=222.3 cores=1,3,5,7
/proc/3953/stat : 3953 (MistralXCSP) R 3950 3953 3395 0 -1 4202496 941684 0 0 0 22146 84 0 0 20 0 1 0 44035174 1771446272 426177 33554432000 4194304 7498468 140729977766560 140729977761096 4253280 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21639168 140729977771118 140729977771267 140729977771267 140729977774025 0
/proc/3953/statm: 432482 426177 761 807 0 425473 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 1729928 KiB
Current children cumulated memory: 1704708 KiB
[startup+282.3 s]
/proc/loadavg: 2.05 2.01 2.02 3/188 3966
/proc/meminfo: memFree=17171948/32770624 swapFree=67108860/67108860
[pid=3953] ppid=3950 vsize=1729928 memory=1704824 CPUtime=282.3 cores=1,3,5,7
/proc/3953/stat : 3953 (MistralXCSP) R 3950 3953 3395 0 -1 4202496 1017648 0 0 0 28142 88 0 0 20 0 1 0 44035174 1771446272 426206 33554432000 4194304 7498468 140729977766560 140729977761576 5791403 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21639168 140729977771118 140729977771267 140729977771267 140729977774025 0
/proc/3953/statm: 432482 426206 761 807 0 425473 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 1729928 KiB
Current children cumulated memory: 1704824 KiB
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.02 3/188 3967
/proc/meminfo: memFree=17172744/32770624 swapFree=67108860/67108860
[pid=3953] ppid=3950 vsize=1730060 memory=1704868 CPUtime=342.3 cores=1,3,5,7
/proc/3953/stat : 3953 (MistralXCSP) R 3950 3953 3395 0 -1 4202496 1095767 0 0 0 34137 93 0 0 20 0 1 0 44035174 1771581440 426217 33554432000 4194304 7498468 140729977766560 140729977761096 4580282 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21639168 140729977771118 140729977771267 140729977771267 140729977774025 0
/proc/3953/statm: 432515 426217 761 807 0 425506 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 1730060 KiB
Current children cumulated memory: 1704868 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.02 3/188 3968
/proc/meminfo: memFree=17172424/32770624 swapFree=67108860/67108860
[pid=3953] ppid=3950 vsize=1730196 memory=1704964 CPUtime=402.31 cores=1,3,5,7
/proc/3953/stat : 3953 (MistralXCSP) R 3950 3953 3395 0 -1 4202496 1177759 0 0 0 40134 97 0 0 20 0 1 0 44035174 1771720704 426241 33554432000 4194304 7498468 140729977766560 140729977761576 4258077 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21639168 140729977771118 140729977771267 140729977771267 140729977774025 0
/proc/3953/statm: 432549 426241 761 807 0 425540 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 1730196 KiB
Current children cumulated memory: 1704964 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/188 3969
/proc/meminfo: memFree=17171944/32770624 swapFree=67108860/67108860
[pid=3953] ppid=3950 vsize=1730632 memory=1705528 CPUtime=462.31 cores=1,3,5,7
/proc/3953/stat : 3953 (MistralXCSP) R 3950 3953 3395 0 -1 4202496 1445849 0 0 0 46123 108 0 0 20 0 1 0 44035174 1772167168 426382 33554432000 4194304 7498468 140729977766560 140729977761576 4580110 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21639168 140729977771118 140729977771267 140729977771267 140729977774025 0
/proc/3953/statm: 432658 426382 761 807 0 425649 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 1730632 KiB
Current children cumulated memory: 1705528 KiB
################
# More data... #
################
/proc/3953/statm: 433789 427493 761 807 0 426780 0
Current children cumulated CPU time: 1662.25 s
Current children cumulated vsize: 1735156 KiB
Current children cumulated memory: 1709972 KiB
[startup+1722.3 s]
/proc/loadavg: 2.38 2.14 2.07 3/188 4030
/proc/meminfo: memFree=17164988/32770624 swapFree=67108860/67108860
[pid=3953] ppid=3950 vsize=1735420 memory=1710336 CPUtime=1722.23 cores=1,3,5,7
/proc/3953/stat : 3953 (MistralXCSP) R 3950 3953 3395 0 -1 4202496 3117493 0 0 0 172025 198 0 0 20 0 1 0 44035174 1777070080 427584 33554432000 4194304 7498468 140729977766560 140729977761096 4404954 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21639168 140729977771118 140729977771267 140729977771267 140729977774025 0
/proc/3953/statm: 433855 427584 761 807 0 426846 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 1735420 KiB
Current children cumulated memory: 1710336 KiB
[startup+1782.3 s]
/proc/loadavg: 2.14 2.12 2.06 3/187 4031
/proc/meminfo: memFree=17165088/32770624 swapFree=67108860/67108860
[pid=3953] ppid=3950 vsize=1735420 memory=1710356 CPUtime=1782.24 cores=1,3,5,7
/proc/3953/stat : 3953 (MistralXCSP) R 3950 3953 3395 0 -1 4202496 3119269 0 0 0 178025 199 0 0 20 0 1 0 44035174 1777070080 427589 33554432000 4194304 7498468 140729977766560 140729977761096 5791406 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21639168 140729977771118 140729977771267 140729977771267 140729977774025 0
/proc/3953/statm: 433855 427589 761 807 0 426846 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 1735420 KiB
Current children cumulated memory: 1710356 KiB
[startup+1842.3 s]
/proc/loadavg: 2.05 2.10 2.06 3/187 4032
/proc/meminfo: memFree=17164904/32770624 swapFree=67108860/67108860
[pid=3953] ppid=3950 vsize=1735552 memory=1710488 CPUtime=1842.25 cores=1,3,5,7
/proc/3953/stat : 3953 (MistralXCSP) R 3950 3953 3395 0 -1 4202496 3121132 0 0 0 184026 199 0 0 20 0 1 0 44035174 1777205248 427622 33554432000 4194304 7498468 140729977766560 140729977761096 5791419 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21639168 140729977771118 140729977771267 140729977771267 140729977774025 0
/proc/3953/statm: 433888 427622 761 807 0 426879 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 1735552 KiB
Current children cumulated memory: 1710488 KiB
[startup+1902.3 s]
/proc/loadavg: 2.02 2.08 2.05 3/187 4033
/proc/meminfo: memFree=17164840/32770624 swapFree=67108860/67108860
[pid=3953] ppid=3950 vsize=1735684 memory=1710524 CPUtime=1902.25 cores=1,3,5,7
/proc/3953/stat : 3953 (MistralXCSP) R 3950 3953 3395 0 -1 4202496 3122949 0 0 0 190026 199 0 0 20 0 1 0 44035174 1777340416 427631 33554432000 4194304 7498468 140729977766560 140729977761096 5770762 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21639168 140729977771118 140729977771267 140729977771267 140729977774025 0
/proc/3953/statm: 433921 427631 761 807 0 426912 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 1735684 KiB
Current children cumulated memory: 1710524 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.06 2.05 3/187 4034
/proc/meminfo: memFree=17164952/32770624 swapFree=67108860/67108860
[pid=3953] ppid=3950 vsize=1735684 memory=1710552 CPUtime=1962.25 cores=1,3,5,7
/proc/3953/stat : 3953 (MistralXCSP) R 3950 3953 3395 0 -1 4202496 3124844 0 0 0 196026 199 0 0 20 0 1 0 44035174 1777340416 427638 33554432000 4194304 7498468 140729977766560 140729977761096 5790834 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21639168 140729977771118 140729977771267 140729977771267 140729977774025 0
/proc/3953/statm: 433921 427638 761 807 0 426912 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 1735684 KiB
Current children cumulated memory: 1710552 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/187 4035
/proc/meminfo: memFree=17164760/32770624 swapFree=67108860/67108860
[pid=3953] ppid=3950 vsize=1735684 memory=1710576 CPUtime=2022.25 cores=1,3,5,7
/proc/3953/stat : 3953 (MistralXCSP) R 3950 3953 3395 0 -1 4202496 3126725 0 0 0 202026 199 0 0 20 0 1 0 44035174 1777340416 427644 33554432000 4194304 7498468 140729977766560 140729977761096 5791403 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21639168 140729977771118 140729977771267 140729977771267 140729977774025 0
/proc/3953/statm: 433921 427644 761 807 0 426912 0
Current children cumulated CPU time: 2022.25 s
Current children cumulated vsize: 1735684 KiB
Current children cumulated memory: 1710576 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 4044
/proc/meminfo: memFree=17163248/32770624 swapFree=67108860/67108860
[pid=3953] ppid=3950 vsize=1735684 memory=1710596 CPUtime=2082.25 cores=1,3,5,7
/proc/3953/stat : 3953 (MistralXCSP) R 3950 3953 3395 0 -1 4202496 3128565 0 0 0 208026 199 0 0 20 0 1 0 44035174 1777340416 427649 33554432000 4194304 7498468 140729977766560 140729977761096 4320503 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21639168 140729977771118 140729977771267 140729977771267 140729977774025 0
/proc/3953/statm: 433921 427649 761 807 0 426912 0
Current children cumulated CPU time: 2082.25 s
Current children cumulated vsize: 1735684 KiB
Current children cumulated memory: 1710596 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 4045
/proc/meminfo: memFree=17164312/32770624 swapFree=67108860/67108860
[pid=3953] ppid=3950 vsize=1735684 memory=1710600 CPUtime=2142.25 cores=1,3,5,7
/proc/3953/stat : 3953 (MistralXCSP) R 3950 3953 3395 0 -1 4202496 3130438 0 0 0 214026 199 0 0 20 0 1 0 44035174 1777340416 427650 33554432000 4194304 7498468 140729977766560 140729977761096 4257968 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21639168 140729977771118 140729977771267 140729977771267 140729977774025 0
/proc/3953/statm: 433921 427650 761 807 0 426912 0
Current children cumulated CPU time: 2142.25 s
Current children cumulated vsize: 1735684 KiB
Current children cumulated memory: 1710600 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 4046
/proc/meminfo: memFree=17164060/32770624 swapFree=67108860/67108860
[pid=3953] ppid=3950 vsize=1735684 memory=1710612 CPUtime=2202.26 cores=1,3,5,7
/proc/3953/stat : 3953 (MistralXCSP) R 3950 3953 3395 0 -1 4202496 3132262 0 0 0 220027 199 0 0 20 0 1 0 44035174 1777340416 427653 33554432000 4194304 7498468 140729977766560 140729977761096 5791406 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21639168 140729977771118 140729977771267 140729977771267 140729977774025 0
/proc/3953/statm: 433921 427653 761 807 0 426912 0
Current children cumulated CPU time: 2202.26 s
Current children cumulated vsize: 1735684 KiB
Current children cumulated memory: 1710612 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 4047
/proc/meminfo: memFree=17164240/32770624 swapFree=67108860/67108860
[pid=3953] ppid=3950 vsize=1735684 memory=1710612 CPUtime=2262.26 cores=1,3,5,7
/proc/3953/stat : 3953 (MistralXCSP) R 3950 3953 3395 0 -1 4202496 3134152 0 0 0 226027 199 0 0 20 0 1 0 44035174 1777340416 427653 33554432000 4194304 7498468 140729977766560 140729977761096 5791556 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21639168 140729977771118 140729977771267 140729977771267 140729977774025 0
/proc/3953/statm: 433921 427653 761 807 0 426912 0
Current children cumulated CPU time: 2262.26 s
Current children cumulated vsize: 1735684 KiB
Current children cumulated memory: 1710612 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 4048
/proc/meminfo: memFree=17163940/32770624 swapFree=67108860/67108860
[pid=3953] ppid=3950 vsize=1735684 memory=1710616 CPUtime=2322.27 cores=1,3,5,7
/proc/3953/stat : 3953 (MistralXCSP) R 3950 3953 3395 0 -1 4202496 3136020 0 0 0 232027 200 0 0 20 0 1 0 44035174 1777340416 427654 33554432000 4194304 7498468 140729977766560 140729977761096 4404785 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21639168 140729977771118 140729977771267 140729977771267 140729977774025 0
/proc/3953/statm: 433921 427654 761 807 0 426912 0
Current children cumulated CPU time: 2322.27 s
Current children cumulated vsize: 1735684 KiB
Current children cumulated memory: 1710616 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4049
/proc/meminfo: memFree=17164032/32770624 swapFree=67108860/67108860
[pid=3953] ppid=3950 vsize=1735684 memory=1710616 CPUtime=2382.27 cores=1,3,5,7
/proc/3953/stat : 3953 (MistralXCSP) R 3950 3953 3395 0 -1 4202496 3137858 0 0 0 238027 200 0 0 20 0 1 0 44035174 1777340416 427654 33554432000 4194304 7498468 140729977766560 140729977761096 5791410 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21639168 140729977771118 140729977771267 140729977771267 140729977774025 0
/proc/3953/statm: 433921 427654 761 807 0 426912 0
Current children cumulated CPU time: 2382.27 s
Current children cumulated vsize: 1735684 KiB
Current children cumulated memory: 1710616 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 2.05 4/200 4078
/proc/meminfo: memFree=17868920/32770624 swapFree=67108860/67108860
[pid=3953] ppid=3950 vsize=1735684 memory=1710616 CPUtime=2400.08 cores=1,3,5,7
/proc/3953/stat : 3953 (MistralXCSP) R 3950 3953 3395 0 -1 4202496 3138400 0 0 0 239808 200 0 0 20 0 1 0 44035174 1777340416 427654 33554432000 4194304 7498468 140729977766560 140729977761096 5770495 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21639168 140729977771118 140729977771267 140729977771267 140729977774025 0
/proc/3953/statm: 433921 427654 761 807 0 426912 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 1735684 KiB
Current children cumulated memory: 1710616 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.12 s]
# the end of solver process 3953 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.09 s, system=2.00708 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 2.05 4/200 4078
/proc/meminfo: memFree=17868920/32770624 swapFree=67108860/67108860
[pid=3953] ppid=3950 vsize=1735684 memory=1710616 CPUtime=2400.08 cores=1,3,5,7
/proc/3953/stat : 3953 (MistralXCSP) R 3950 3953 3395 0 -1 4202496 3138400 0 0 0 239808 200 0 0 20 0 1 0 44035174 1777340416 427654 33554432000 4194304 7498468 140729977766560 140729977761096 5770495 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21639168 140729977771118 140729977771267 140729977771267 140729977774025 0
/proc/3953/statm: 433921 427654 761 807 0 426912 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 1735684 KiB
Current children cumulated memory: 1710616 KiB
Child status: 0
Real time (s): 2400.12
CPU time (s): 2400.09
CPU user time (s): 2398.09
CPU system time (s): 2.00708
CPU usage (%): 99.999
Max. virtual memory (cumulated for all children) (KiB): 1735684
Max. memory (cumulated for all children) (KiB): 1710616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.09
system time used= 2.00708
maximum resident set size= 1710636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3138431
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= 249
involuntary context switches= 1157
# summary of solver processes directly reported to runsolver:
# pid: 3953
# total CPU time (s): 2400.09
# total CPU user time (s): 2398.09
# total CPU system time (s): 2.00708
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0916 second user time and 17.6727 second system time
The end
Begin job on node107 at 2018-07-22 15:05:20 IDJOB=4292022 IDBENCH=141268 IDSOLVER=2741 FILE ID=node107/4292022-1532264719 RUNJOBID= node107-1532259915-3427 PBS_JOBID= 21018963 Free space on /tmp= 54920 MiB SOLVER NAME= Mistral-2.0 2018-06-15 BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-test03-0400_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-4292022-1532264719/watcher-4292022-1532264719 -o /tmp/evaluation-result-4292022-1532264719/solver-4292022-1532264719 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532259915-3427 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 741074162 HOME/instance-4292022-1532264719.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a5fe7a04cb5002912ef3d870057982e3 RANDOM SEED=741074162 node107.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.40 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.40 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.40 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.40 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: 19924016 kB MemAvailable: 31896624 kB Buffers: 245608 kB Cached: 11871516 kB SwapCached: 0 kB Active: 1796224 kB Inactive: 10419388 kB Active(anon): 101360 kB Inactive(anon): 16860 kB Active(file): 1694864 kB Inactive(file): 10402528 kB Unevictable: 7152 kB Mlocked: 7152 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 199536 kB Writeback: 0 kB AnonPages: 105660 kB Mapped: 37116 kB Shmem: 17036 kB Slab: 330512 kB SReclaimable: 303676 kB SUnreclaim: 26836 kB KernelStack: 3360 kB PageTables: 5056 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 387500 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 54908 MiB End job on node107 at 2018-07-22 15:45:20