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-08-01 | SAT (TO) | 456145389 | 2520.14 | 2520.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 01082018 98.67/98.77 o 456489144 98.67/98.77 o 456489143 98.67/98.78 o 456489134 98.67/98.78 o 456489130 98.67/98.79 o 456489128 98.67/98.79 o 456468913 98.67/98.80 o 456468912 98.77/98.80 o 456468909 98.77/98.81 o 456468902 98.77/98.81 o 456468896 98.77/98.82 o 456448688 98.77/98.83 o 456448685 98.77/98.86 o 456448684 98.77/98.88 o 456428465 98.87/98.90 o 456408265 98.87/98.98 o 456408258 98.98/99.01 o 456408255 98.98/99.03 o 456408252 98.98/99.06 o 456388032 99.08/99.18 o 456388029 99.17/99.26 o 456388028 99.17/99.29 o 456388018 99.37/99.40 o 456367813 99.47/99.54 o 456367812 99.67/99.71 o 456367807 99.98/100.07 o 456367796 102.27/102.30 o 456347600 102.27/102.30 o 456347599 102.27/102.32 o 456347597 102.57/102.64 o 456347583 103.88/103.91 o 456347580 104.38/104.45 o 456327387 104.38/104.46 o 456307168 105.28/105.36 o 456286971 107.28/107.35 o 456266757 110.28/110.35 o 456266756 111.48/111.59 o 456266752 112.99/113.08 o 456266744 113.88/113.98 o 456246517 117.48/117.56 o 456246508 122.17/122.26 o 456246506 125.17/125.23 o 456226296 142.88/142.93 o 456206071 142.88/142.94 o 456185862 164.77/164.87 o 456185855 173.08/173.11 o 456165656 173.08/173.12 o 456165654 173.17/173.28 o 456165643 178.17/178.29 o 456165634 180.08/180.19 o 456165625 184.98/185.10 o 456165624 201.08/201.16 o 456165618 201.17/201.20 o 456165617 233.09/233.12 o 456165615 401.88/401.91 o 456165614 461.18/461.28 o 456165613 471.78/471.84 o 456165608 471.78/471.85 o 456165607 477.48/477.56 o 456165605 509.09/509.14 o 456165602 534.78/534.89 o 456165600 809.28/809.31 o 456165599 914.99/915.10 o 456145389 2520.02/2520.01 s SATISFIABLE 2520.02/2520.01 v <instantiation type="solution"> 2520.02/2520.01 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> 2520.02/2520.01 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> 2520.02/2520.01 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 (1349 MiB free)
memory of node 1: 16384 MiB (122 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304122-1534010951/watcher-4304122-1534010951 -o /tmp/evaluation-result-4304122-1534010951/solver-4304122-1534010951 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1533990775-15522 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 148275859 HOME/instance-4304122-1534010951.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17486, runsolver pid=17483
Current StackSize limit: 8192 KiB
[startup+0.100206 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 17487
/proc/meminfo: memFree=1488196/32770624 swapFree=67108380/67108860
[pid=17486] ppid=17483 vsize=43960 memory=18572 CPUtime=0.09 cores=1,3,5,7
/proc/17486/stat : 17486 (MistralXCSP) R 17483 17486 15490 0 -1 4202496 5028 0 0 0 9 0 0 0 20 0 1 0 218658318 45015040 4643 33554432000 4194304 7499544 140721702256672 140721702245512 139935996636133 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 38354944 140721702257774 140721702257923 140721702257923 140721702260681 0
/proc/17486/statm: 10990 4643 704 807 0 3981 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43960 KiB
Current children cumulated memory: 18572 KiB
[startup+0.209744 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 17487
/proc/meminfo: memFree=1483376/32770624 swapFree=67108380/67108860
[pid=17486] ppid=17483 vsize=46656 memory=21212 CPUtime=0.2 cores=1,3,5,7
/proc/17486/stat : 17486 (MistralXCSP) R 17483 17486 15490 0 -1 4202496 5687 0 0 0 20 0 0 0 20 0 1 0 218658318 47775744 5303 33554432000 4194304 7499544 140721702256672 140721702245512 5906693 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 38354944 140721702257774 140721702257923 140721702257923 140721702260681 0
/proc/17486/statm: 11664 5303 704 807 0 4655 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46656 KiB
Current children cumulated memory: 21212 KiB
[startup+0.309151 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 17487
/proc/meminfo: memFree=1477424/32770624 swapFree=67108380/67108860
[pid=17486] ppid=17483 vsize=49908 memory=24380 CPUtime=0.3 cores=1,3,5,7
/proc/17486/stat : 17486 (MistralXCSP) R 17483 17486 15490 0 -1 4202496 6503 0 0 0 30 0 0 0 20 0 1 0 218658318 51105792 6095 33554432000 4194304 7499544 140721702256672 140721702245512 139935996636133 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 38354944 140721702257774 140721702257923 140721702257923 140721702260681 0
/proc/17486/statm: 12477 6095 704 807 0 5468 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49908 KiB
Current children cumulated memory: 24380 KiB
[startup+0.700297 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17487
/proc/meminfo: memFree=1465892/32770624 swapFree=67108380/67108860
[pid=17486] ppid=17483 vsize=62976 memory=37316 CPUtime=0.68 cores=1,3,5,7
/proc/17486/stat : 17486 (MistralXCSP) R 17483 17486 15490 0 -1 4202496 9759 0 0 0 67 1 0 0 20 0 1 0 218658318 64487424 9329 33554432000 4194304 7499544 140721702256672 140721702245512 5905511 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 38354944 140721702257774 140721702257923 140721702257923 140721702260681 0
/proc/17486/statm: 15744 9329 704 807 0 8735 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 62976 KiB
Current children cumulated memory: 37316 KiB
[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17487
/proc/meminfo: memFree=1438240/32770624 swapFree=67108380/67108860
[pid=17486] ppid=17483 vsize=85068 memory=59492 CPUtime=1.49 cores=1,3,5,7
/proc/17486/stat : 17486 (MistralXCSP) R 17483 17486 15490 0 -1 4202496 15302 0 0 0 147 2 0 0 20 0 1 0 218658318 87109632 14873 33554432000 4194304 7499544 140721702256672 140721702249912 5879019 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 38354944 140721702257774 140721702257923 140721702257923 140721702260681 0
/proc/17486/statm: 21267 14873 721 807 0 14258 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 85068 KiB
Current children cumulated memory: 59492 KiB
[startup+3.10964 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17487
/proc/meminfo: memFree=1292592/32770624 swapFree=67108380/67108860
[pid=17486] ppid=17483 vsize=127104 memory=101772 CPUtime=3.1 cores=1,3,5,7
/proc/17486/stat : 17486 (MistralXCSP) R 17483 17486 15490 0 -1 4202496 27196 0 0 0 306 4 0 0 20 0 1 0 218658318 130154496 25443 33554432000 4194304 7499544 140721702256672 140721702249912 5881699 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 38354944 140721702257774 140721702257923 140721702257923 140721702260681 0
/proc/17486/statm: 31776 25443 721 807 0 24767 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 127104 KiB
Current children cumulated memory: 101772 KiB
[startup+6.30027 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 17487
/proc/meminfo: memFree=1157740/32770624 swapFree=67108380/67108860
[pid=17486] ppid=17483 vsize=210360 memory=184920 CPUtime=6.29 cores=1,3,5,7
/proc/17486/stat : 17486 (MistralXCSP) R 17483 17486 15490 0 -1 4202496 50556 0 0 0 622 7 0 0 20 0 1 0 218658318 215408640 46230 33554432000 4194304 7499544 140721702256672 140721702249912 5880926 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 38354944 140721702257774 140721702257923 140721702257923 140721702260681 0
/proc/17486/statm: 52590 46230 722 807 0 45581 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 210360 KiB
Current children cumulated memory: 184920 KiB
[startup+12.7003 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 17487
/proc/meminfo: memFree=867216/32770624 swapFree=67108380/67108860
[pid=17486] ppid=17483 vsize=376076 memory=350508 CPUtime=12.69 cores=1,3,5,7
/proc/17486/stat : 17486 (MistralXCSP) R 17483 17486 15490 0 -1 4202496 96454 0 0 0 1256 13 0 0 20 0 1 0 218658318 385101824 87627 33554432000 4194304 7499544 140721702256672 140721702249912 5880904 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 38354944 140721702257774 140721702257923 140721702257923 140721702260681 0
/proc/17486/statm: 94019 87627 722 807 0 87010 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 376076 KiB
Current children cumulated memory: 350508 KiB
[startup+25.5003 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 17487
/proc/meminfo: memFree=189648/32770624 swapFree=67108380/67108860
[pid=17486] ppid=17483 vsize=711416 memory=685900 CPUtime=25.49 cores=1,3,5,7
/proc/17486/stat : 17486 (MistralXCSP) R 17483 17486 15490 0 -1 4202496 184071 0 0 0 2522 27 0 0 20 0 1 0 218658318 728489984 171475 33554432000 4194304 7499544 140721702256672 140721702247976 5877799 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 38354944 140721702257774 140721702257923 140721702257923 140721702260681 0
/proc/17486/statm: 177854 171475 722 807 0 170845 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 711416 KiB
Current children cumulated memory: 685900 KiB
[startup+51.1098 s]
/proc/loadavg: 1.97 2.01 2.04 3/188 17495
/proc/meminfo: memFree=184568/32770624 swapFree=67108380/67108860
[pid=17486] ppid=17483 vsize=1378076 memory=1352676 CPUtime=51.09 cores=1,3,5,7
/proc/17486/stat : 17486 (MistralXCSP) R 17483 17486 15490 0 -1 4202496 355299 0 0 0 5059 50 0 0 20 0 1 0 218658318 1411149824 338169 33554432000 4194304 7499544 140721702256672 140721702248136 6016381 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 38354944 140721702257774 140721702257923 140721702257923 140721702260681 0
/proc/17486/statm: 344519 338169 722 807 0 337510 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 1378076 KiB
Current children cumulated memory: 1352676 KiB
[startup+102.3 s]
/proc/loadavg: 1.93 1.99 2.04 3/188 17496
/proc/meminfo: memFree=213952/32770624 swapFree=67108380/67108860
[pid=17486] ppid=17483 vsize=1728676 memory=1703460 CPUtime=102.27 cores=1,3,5,7
/proc/17486/stat : 17486 (MistralXCSP) R 17483 17486 15490 0 -1 4202496 762623 0 0 0 10143 84 0 0 20 0 1 0 218658318 1770164224 425865 33554432000 4194304 7499544 140721702256672 140721702251688 5592735 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 38354944 140721702257774 140721702257923 140721702257923 140721702260681 0
/proc/17486/statm: 432169 425865 766 807 0 425160 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 1728676 KiB
Current children cumulated memory: 1703460 KiB
[startup+162.3 s]
/proc/loadavg: 1.92 1.98 2.03 3/188 17497
/proc/meminfo: memFree=211872/32770624 swapFree=67108380/67108860
[pid=17486] ppid=17483 vsize=1728676 memory=1703460 CPUtime=162.27 cores=1,3,5,7
/proc/17486/stat : 17486 (MistralXCSP) R 17483 17486 15490 0 -1 4202496 782217 0 0 0 16141 86 0 0 20 0 1 0 218658318 1770164224 425865 33554432000 4194304 7499544 140721702256672 140721702251688 5770249 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 38354944 140721702257774 140721702257923 140721702257923 140721702260681 0
/proc/17486/statm: 432169 425865 766 807 0 425160 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 1728676 KiB
Current children cumulated memory: 1703460 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/188 17498
/proc/meminfo: memFree=216372/32770624 swapFree=67108380/67108860
[pid=17486] ppid=17483 vsize=1729928 memory=1704708 CPUtime=222.28 cores=1,3,5,7
/proc/17486/stat : 17486 (MistralXCSP) R 17483 17486 15490 0 -1 4202496 1015901 0 0 0 22130 98 0 0 20 0 1 0 218658318 1771446272 426177 33554432000 4194304 7499544 140721702256672 140721702251208 5574156 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 38354944 140721702257774 140721702257923 140721702257923 140721702260681 0
/proc/17486/statm: 432482 426177 766 807 0 425473 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 1729928 KiB
Current children cumulated memory: 1704708 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/188 17499
/proc/meminfo: memFree=216012/32770624 swapFree=67108380/67108860
[pid=17486] ppid=17483 vsize=1729928 memory=1704840 CPUtime=282.28 cores=1,3,5,7
/proc/17486/stat : 17486 (MistralXCSP) R 17483 17486 15490 0 -1 4202496 1091964 0 0 0 28126 102 0 0 20 0 1 0 218658318 1771446272 426210 33554432000 4194304 7499544 140721702256672 140721702251688 5790971 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 38354944 140721702257774 140721702257923 140721702257923 140721702260681 0
/proc/17486/statm: 432482 426210 766 807 0 425473 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 1729928 KiB
Current children cumulated memory: 1704840 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 17500
/proc/meminfo: memFree=223716/32770624 swapFree=67108380/67108860
[pid=17486] ppid=17483 vsize=1729928 memory=1704840 CPUtime=342.27 cores=1,3,5,7
/proc/17486/stat : 17486 (MistralXCSP) R 17483 17486 15490 0 -1 4202496 1157881 0 0 0 34121 106 0 0 20 0 1 0 218658318 1771446272 426210 33554432000 4194304 7499544 140721702256672 140721702251688 5574156 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 38354944 140721702257774 140721702257923 140721702257923 140721702260681 0
/proc/17486/statm: 432482 426210 766 807 0 425473 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 1729928 KiB
Current children cumulated memory: 1704840 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 17501
/proc/meminfo: memFree=222272/32770624 swapFree=67108380/67108860
[pid=17486] ppid=17483 vsize=1730196 memory=1704980 CPUtime=402.28 cores=1,3,5,7
/proc/17486/stat : 17486 (MistralXCSP) R 17483 17486 15490 0 -1 4202496 1253794 0 0 0 40116 112 0 0 20 0 1 0 218658318 1771720704 426245 33554432000 4194304 7499544 140721702256672 140721702251208 5790971 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 38354944 140721702257774 140721702257923 140721702257923 140721702260681 0
/proc/17486/statm: 432549 426245 766 807 0 425540 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 1730196 KiB
Current children cumulated memory: 1704980 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 17502
/proc/meminfo: memFree=220764/32770624 swapFree=67108380/67108860
[pid=17486] ppid=17483 vsize=1730500 memory=1705328 CPUtime=462.28 cores=1,3,5,7
/proc/17486/stat : 17486 (MistralXCSP) R 17483 17486 15490 0 -1 4202496 1467040 0 0 0 46106 122 0 0 20 0 1 0 218658318 1772032000 426332 33554432000 4194304 7499544 140721702256672 140721702251288 5604589 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 38354944 140721702257774 140721702257923 140721702257923 140721702260681 0
/proc/17486/statm: 432625 426332 766 807 0 425616 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 1730500 KiB
Current children cumulated memory: 1705328 KiB
################
# More data... #
################
/proc/meminfo: memFree=224880/32770624 swapFree=67108380/67108860
[pid=17486] ppid=17483 vsize=1735024 memory=1709816 CPUtime=1782.31 cores=1,3,5,7
/proc/17486/stat : 17486 (MistralXCSP) R 17483 17486 15490 0 -1 4202496 4275673 0 0 0 177942 289 0 0 20 0 1 0 218658318 1776664576 427454 33554432000 4194304 7499544 140721702256672 140721702251208 5790974 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 38354944 140721702257774 140721702257923 140721702257923 140721702260681 0
/proc/17486/statm: 433756 427454 766 807 0 426747 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 1735024 KiB
Current children cumulated memory: 1709816 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 17545
/proc/meminfo: memFree=225184/32770624 swapFree=67108380/67108860
[pid=17486] ppid=17483 vsize=1735024 memory=1709824 CPUtime=1842.3 cores=1,3,5,7
/proc/17486/stat : 17486 (MistralXCSP) R 17483 17486 15490 0 -1 4202496 4380914 0 0 0 183935 295 0 0 20 0 1 0 218658318 1776664576 427456 33554432000 4194304 7499544 140721702256672 140721702251208 5790971 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 38354944 140721702257774 140721702257923 140721702257923 140721702260681 0
/proc/17486/statm: 433756 427456 766 807 0 426747 0
Current children cumulated CPU time: 1842.3 s
Current children cumulated vsize: 1735024 KiB
Current children cumulated memory: 1709824 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 17554
/proc/meminfo: memFree=224132/32770624 swapFree=67108380/67108860
[pid=17486] ppid=17483 vsize=1735156 memory=1709996 CPUtime=1902.31 cores=1,3,5,7
/proc/17486/stat : 17486 (MistralXCSP) R 17483 17486 15490 0 -1 4202496 4508750 0 0 0 189928 303 0 0 20 0 1 0 218658318 1776799744 427499 33554432000 4194304 7499544 140721702256672 140721702251208 4405034 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 38354944 140721702257774 140721702257923 140721702257923 140721702260681 0
/proc/17486/statm: 433789 427499 766 807 0 426780 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 1735156 KiB
Current children cumulated memory: 1709996 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 17555
/proc/meminfo: memFree=223228/32770624 swapFree=67108380/67108860
[pid=17486] ppid=17483 vsize=1735420 memory=1710288 CPUtime=1962.31 cores=1,3,5,7
/proc/17486/stat : 17486 (MistralXCSP) R 17483 17486 15490 0 -1 4202496 4620848 0 0 0 195920 311 0 0 20 0 1 0 218658318 1777070080 427572 33554432000 4194304 7499544 140721702256672 140721702251208 5790974 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 38354944 140721702257774 140721702257923 140721702257923 140721702260681 0
/proc/17486/statm: 433855 427572 766 807 0 426846 0
Current children cumulated CPU time: 1962.31 s
Current children cumulated vsize: 1735420 KiB
Current children cumulated memory: 1710288 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 17556
/proc/meminfo: memFree=223476/32770624 swapFree=67108380/67108860
[pid=17486] ppid=17483 vsize=1735420 memory=1710332 CPUtime=2022.31 cores=1,3,5,7
/proc/17486/stat : 17486 (MistralXCSP) R 17483 17486 15490 0 -1 4202496 4743698 0 0 0 201913 318 0 0 20 0 1 0 218658318 1777070080 427583 33554432000 4194304 7499544 140721702256672 140721702251208 4249975 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 38354944 140721702257774 140721702257923 140721702257923 140721702260681 0
/proc/17486/statm: 433855 427583 766 807 0 426846 0
Current children cumulated CPU time: 2022.31 s
Current children cumulated vsize: 1735420 KiB
Current children cumulated memory: 1710332 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 17557
/proc/meminfo: memFree=223476/32770624 swapFree=67108380/67108860
[pid=17486] ppid=17483 vsize=1735552 memory=1710460 CPUtime=2082.31 cores=1,3,5,7
/proc/17486/stat : 17486 (MistralXCSP) R 17483 17486 15490 0 -1 4202496 4852653 0 0 0 207905 326 0 0 20 0 1 0 218658318 1777205248 427615 33554432000 4194304 7499544 140721702256672 140721702251208 5790896 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 38354944 140721702257774 140721702257923 140721702257923 140721702260681 0
/proc/17486/statm: 433888 427615 766 807 0 426879 0
Current children cumulated CPU time: 2082.31 s
Current children cumulated vsize: 1735552 KiB
Current children cumulated memory: 1710460 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 17558
/proc/meminfo: memFree=223904/32770624 swapFree=67108380/67108860
[pid=17486] ppid=17483 vsize=1735552 memory=1710464 CPUtime=2142.31 cores=1,3,5,7
/proc/17486/stat : 17486 (MistralXCSP) R 17483 17486 15490 0 -1 4202496 4966464 0 0 0 213898 333 0 0 20 0 1 0 218658318 1777205248 427616 33554432000 4194304 7499544 140721702256672 140721702251208 5790974 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 38354944 140721702257774 140721702257923 140721702257923 140721702260681 0
/proc/17486/statm: 433888 427616 766 807 0 426879 0
Current children cumulated CPU time: 2142.31 s
Current children cumulated vsize: 1735552 KiB
Current children cumulated memory: 1710464 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 17559
/proc/meminfo: memFree=223068/32770624 swapFree=67108380/67108860
[pid=17486] ppid=17483 vsize=1735684 memory=1710512 CPUtime=2202.31 cores=1,3,5,7
/proc/17486/stat : 17486 (MistralXCSP) R 17483 17486 15490 0 -1 4202496 5075341 0 0 0 219893 338 0 0 20 0 1 0 218658318 1777340416 427628 33554432000 4194304 7499544 140721702256672 140721702251208 4257952 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 38354944 140721702257774 140721702257923 140721702257923 140721702260681 0
/proc/17486/statm: 433921 427628 766 807 0 426912 0
Current children cumulated CPU time: 2202.31 s
Current children cumulated vsize: 1735684 KiB
Current children cumulated memory: 1710512 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 17560
/proc/meminfo: memFree=222580/32770624 swapFree=67108380/67108860
[pid=17486] ppid=17483 vsize=1735684 memory=1710528 CPUtime=2262.31 cores=1,3,5,7
/proc/17486/stat : 17486 (MistralXCSP) R 17483 17486 15490 0 -1 4202496 5186387 0 0 0 225885 346 0 0 20 0 1 0 218658318 1777340416 427632 33554432000 4194304 7499544 140721702256672 140721702251208 5790974 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 38354944 140721702257774 140721702257923 140721702257923 140721702260681 0
/proc/17486/statm: 433921 427632 766 807 0 426912 0
Current children cumulated CPU time: 2262.31 s
Current children cumulated vsize: 1735684 KiB
Current children cumulated memory: 1710528 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 17561
/proc/meminfo: memFree=232484/32770624 swapFree=67108380/67108860
[pid=17486] ppid=17483 vsize=1735684 memory=1710532 CPUtime=2322.31 cores=1,3,5,7
/proc/17486/stat : 17486 (MistralXCSP) R 17483 17486 15490 0 -1 4202496 5293650 0 0 0 231878 353 0 0 20 0 1 0 218658318 1777340416 427633 33554432000 4194304 7499544 140721702256672 140721702251208 4249975 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 38354944 140721702257774 140721702257923 140721702257923 140721702260681 0
/proc/17486/statm: 433921 427633 766 807 0 426912 0
Current children cumulated CPU time: 2322.31 s
Current children cumulated vsize: 1735684 KiB
Current children cumulated memory: 1710532 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 17562
/proc/meminfo: memFree=232244/32770624 swapFree=67108380/67108860
[pid=17486] ppid=17483 vsize=1735684 memory=1710560 CPUtime=2382.32 cores=1,3,5,7
/proc/17486/stat : 17486 (MistralXCSP) R 17483 17486 15490 0 -1 4202496 5404780 0 0 0 237872 360 0 0 20 0 1 0 218658318 1777340416 427640 33554432000 4194304 7499544 140721702256672 140721702251208 4579850 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 38354944 140721702257774 140721702257923 140721702257923 140721702260681 0
/proc/17486/statm: 433921 427640 766 807 0 426912 0
Current children cumulated CPU time: 2382.32 s
Current children cumulated vsize: 1735684 KiB
Current children cumulated memory: 1710560 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 17563
/proc/meminfo: memFree=231624/32770624 swapFree=67108380/67108860
[pid=17486] ppid=17483 vsize=1735684 memory=1710572 CPUtime=2442.31 cores=1,3,5,7
/proc/17486/stat : 17486 (MistralXCSP) R 17483 17486 15490 0 -1 4202496 5512386 0 0 0 243864 367 0 0 20 0 1 0 218658318 1777340416 427643 33554432000 4194304 7499544 140721702256672 140721702251208 4404988 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 38354944 140721702257774 140721702257923 140721702257923 140721702260681 0
/proc/17486/statm: 433921 427643 766 807 0 426912 0
Current children cumulated CPU time: 2442.31 s
Current children cumulated vsize: 1735684 KiB
Current children cumulated memory: 1710572 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/189 17573
/proc/meminfo: memFree=230188/32770624 swapFree=67108380/67108860
[pid=17486] ppid=17483 vsize=1735684 memory=1710584 CPUtime=2502.31 cores=1,3,5,7
/proc/17486/stat : 17486 (MistralXCSP) R 17483 17486 15490 0 -1 4202496 5621527 0 0 0 249858 373 0 0 20 0 1 0 218658318 1777340416 427646 33554432000 4194304 7499544 140721702256672 140721702251208 4253264 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 38354944 140721702257774 140721702257923 140721702257923 140721702260681 0
/proc/17486/statm: 433921 427646 766 807 0 426912 0
Current children cumulated CPU time: 2502.31 s
Current children cumulated vsize: 1735684 KiB
Current children cumulated memory: 1710584 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 1.99 2.03 7/202 17602
/proc/meminfo: memFree=1020688/32770624 swapFree=67108380/67108860
[pid=17486] ppid=17483 vsize=1735684 memory=1710584 CPUtime=2520.02 cores=1,3,5,7
/proc/17486/stat : 17486 (MistralXCSP) R 17483 17486 15490 0 -1 4202496 5648717 0 0 0 251627 375 0 0 20 0 1 0 218658318 1777340416 427646 33554432000 4194304 7499544 140721702256672 140721702251208 5790971 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 38354944 140721702257774 140721702257923 140721702257923 140721702260681 0
/proc/17486/statm: 433921 427646 766 807 0 426912 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 1735684 KiB
Current children cumulated memory: 1710584 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.12 s]
# the end of solver process 17486 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.28 s, system=3.86504 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.11 s]*
/proc/loadavg: 2.00 1.99 2.03 3/202 17602
/proc/meminfo: memFree=2566936/32770624 swapFree=67108380/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 2520.12
CPU time (s): 2520.14
CPU user time (s): 2516.28
CPU system time (s): 3.86504
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 1735684
Max. memory (cumulated for all children) (KiB): 1710584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.28
system time used= 3.86504
maximum resident set size= 1710604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5648952
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= 10
involuntary context switches= 1026
# summary of solver processes directly reported to runsolver:
# pid: 17486
# total CPU time (s): 2520.14
# total CPU user time (s): 2516.28
# total CPU system time (s): 3.86504
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5958 second user time and 19.1264 second system time
The end
Begin job on node137 at 2018-08-11 20:09:11 IDJOB=4304122 IDBENCH=141268 IDSOLVER=2779 FILE ID=node137/4304122-1534010951 RUNJOBID= node137-1533990775-15522 PBS_JOBID= 21036941 Free space on /tmp= 26144 MiB SOLVER NAME= Mistral-2.0 2018-08-01 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-4304122-1534010951/watcher-4304122-1534010951 -o /tmp/evaluation-result-4304122-1534010951/solver-4304122-1534010951 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1533990775-15522 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 148275859 HOME/instance-4304122-1534010951.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a5fe7a04cb5002912ef3d870057982e3 RANDOM SEED=148275859 node137.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.54 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.56 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.54 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.56 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.54 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.56 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.54 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 1507540 kB MemAvailable: 31861424 kB Buffers: 224280 kB Cached: 29977688 kB SwapCached: 24 kB Active: 15758664 kB Inactive: 14540352 kB Active(anon): 44520 kB Inactive(anon): 105164 kB Active(file): 15714144 kB Inactive(file): 14435188 kB Unevictable: 7432 kB Mlocked: 7432 kB SwapTotal: 67108860 kB SwapFree: 67108380 kB Dirty: 255316 kB Writeback: 40 kB AnonPages: 221500 kB Mapped: 56444 kB Shmem: 49628 kB Slab: 661136 kB SReclaimable: 633012 kB SUnreclaim: 28124 kB KernelStack: 3328 kB PageTables: 4828 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 417624 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 126976 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 26136 MiB End job on node137 at 2018-08-11 20:51:12