Trace number 4304126

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Mistral-2.0 2018-08-01SAT (TO)1049785773 2519.53 2520.02

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-06-0500_c18.xml
MD5SUM26cacd4a9bde3a1253c36df99f6e4e09
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark840126924
Best CPU time to get the best result obtained on this benchmark2520.18
Satisfiable
(Un)Satisfiability was proved
Number of variables10160
Number of constraints6531
Number of domains106
Minimum domain size2
Maximum domain size145
Distribution of domain sizes[{"size":2,"count":3553},{"size":11,"count":3053},{"size":12,"count":1},{"size":21,"count":9},{"size":23,"count":9},{"size":27,"count":52},{"size":35,"count":16},{"size":38,"count":8},{"size":40,"count":2},{"size":41,"count":37},{"size":43,"count":6},{"size":44,"count":11},{"size":47,"count":21},{"size":49,"count":6},{"size":51,"count":47},{"size":52,"count":4},{"size":53,"count":30},{"size":54,"count":5},{"size":55,"count":1},{"size":60,"count":9},{"size":62,"count":1},{"size":63,"count":27},{"size":65,"count":4},{"size":66,"count":19},{"size":67,"count":33},"...",{"size":102,"count":4}, {"size":103,"count":90}, {"size":104,"count":17}, {"size":105,"count":47}, {"size":107,"count":63}, {"size":108,"count":9}, {"size":109,"count":6}, {"size":111,"count":2}, {"size":112,"count":15}, {"size":113,"count":24}, {"size":116,"count":10}, {"size":117,"count":31}, {"size":119,"count":112}, {"size":120,"count":118}, {"size":121,"count":1}, {"size":122,"count":56}, {"size":129,"count":2}, {"size":131,"count":39}, {"size":132,"count":4}, {"size":133,"count":22}, {"size":136,"count":37}, {"size":138,"count":41}, {"size":139,"count":70}, {"size":140,"count":148}, {"size":145,"count":1779}]
Minimum variable degree2
Maximum variable degree3054
Distribution of variable degrees[{"degree":2,"count":9160},{"degree":3,"count":4},{"degree":4,"count":4},{"degree":5,"count":14},{"degree":6,"count":18},{"degree":7,"count":34},{"degree":8,"count":46},{"degree":9,"count":47},{"degree":10,"count":58},{"degree":11,"count":53},{"degree":12,"count":75},{"degree":13,"count":101},{"degree":14,"count":110},{"degree":15,"count":138},{"degree":16,"count":215},{"degree":17,"count":78},{"degree":18,"count":3},{"degree":19,"count":1},{"degree":3054,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":425},{"arity":3,"count":3053},{"arity":6,"count":3053}]
Number of extensional constraints3053
Number of intensional constraints3478
Distribution of constraint types[{"type":"extension","count":3053},{"type":"intension","count":3478}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c Mistral 01082018
198.42/198.52	o 1050488108
198.42/198.52	o 1050488100
198.42/198.53	o 1050457577
198.42/198.53	o 1050457575
198.42/198.54	o 1050427045
198.42/198.56	o 1050427035
198.42/198.57	o 1050396505
198.42/198.59	o 1050365988
198.53/198.60	o 1050365980
198.53/198.62	o 1050335462
198.53/198.69	o 1050304934
198.63/198.72	o 1050274406
198.63/198.75	o 1050243879
198.63/198.78	o 1050243878
198.73/198.82	o 1050243869
198.73/198.84	o 1050243864
198.73/198.89	o 1050243856
199.13/199.22	o 1050243850
199.23/199.33	o 1050243847
199.33/199.48	o 1050213313
200.43/200.59	o 1050182774
200.53/200.62	o 1050182772
203.43/203.51	o 1050182769
206.63/206.70	o 1050182766
208.83/209.00	o 1050152234
218.93/219.06	o 1050152225
222.12/222.29	o 1050121715
233.03/233.11	o 1050121712
255.93/256.03	o 1050121694
329.70/329.80	o 1050060632
346.30/346.45	o 1050030108
355.30/355.48	o 1050030107
372.39/372.57	o 1050030106
476.36/476.52	o 1050030105
553.04/553.24	o 1049999575
553.85/554.01	o 1049999568
586.32/586.58	o 1049969041
650.01/650.29	o 1049938511
650.61/650.87	o 1049938510
690.11/690.31	o 1049938509
780.59/780.80	o 1049938505
782.49/782.71	o 1049938497
782.59/782.87	o 1049907966
784.68/784.93	o 1049877427
785.38/785.65	o 1049877425
787.28/787.57	o 1049877424
789.38/789.65	o 1049877423
794.99/795.27	o 1049877422
846.37/846.60	o 1049846882
930.36/930.66	o 1049785803
2225.33/2225.88	o 1049785794
2225.43/2225.97	o 1049785793
2227.64/2228.15	o 1049785788
2234.54/2235.09	o 1049785787
2273.73/2274.24	o 1049785785
2439.30/2439.81	o 1049785778
2440.00/2440.50	o 1049785775
2440.00/2440.54	o 1049785773
2519.50/2520.01	s SATISFIABLE
2519.50/2520.01	v <instantiation type="solution">
2519.50/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] f[400] f[401] f[402] f[403] f[404] f[405] f[406] f[407] f[408] f[409] f[410] f[411] f[412] f[413] f[414] f[415] f[416] f[417] f[418] f[419] f[420] f[421] f[422] f[423] f[424] f[425] f[426] f[427] f[428] f[429] f[430] f[431] f[432] f[433] f[434] f[435] f[436] f[437] f[438] f[439] f[440] f[441] f[442] f[443] f[444] f[445] f[446] f[447] f[448] f[449] f[450] f[451] f[452] f[453] f[454] f[455] f[456] f[457] f[458] f[459] f[460] f[461] f[462] f[463] f[464] f[465] f[466] f[467] f[468] f[469] f[470] f[471] f[472] f[473] f[474] f[475] f[476] f[477] f[478] f[479] f[480] f[481] f[482] f[483] f[484] f[485] f[486] f[487] f[488] f[489] f[490] f[491] f[492] f[493] f[494] f[495] f[496] f[497] f[498] f[499] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] p[350] p[351] p[352] p[353] p[354] p[355] p[356] p[357] p[358] p[359] p[360] p[361] p[362] p[363] p[364] p[365] p[366] p[367] p[368] p[369] p[370] p[371] p[372] p[373] p[374] p[375] p[376] p[377] p[378] p[379] p[380] p[381] p[382] p[383] p[384] p[385] p[386] p[387] p[388] p[389] p[390] p[391] p[392] p[393] p[394] p[395] p[396] p[397] p[398] p[399] p[400] p[401] p[402] p[403] p[404] p[405] p[406] p[407] p[408] p[409] p[410] p[411] p[412] p[413] p[414] p[415] p[416] p[417] p[418] p[419] p[420] p[421] p[422] p[423] p[424] p[425] p[426] p[427] p[428] p[429] p[430] p[431] p[432] p[433] p[434] p[435] p[436] p[437] p[438] p[439] p[440] p[441] p[442] p[443] p[444] p[445] p[446] p[447] p[448] p[449] p[450] p[451] p[452] p[453] p[454] p[455] p[456] p[457] p[458] p[459] p[460] p[461] p[462] p[463] p[464] p[465] p[466] p[467] p[468] p[469] p[470] p[471] p[472] p[473] p[474] p[475] p[476] p[477] p[478] p[479] p[480] p[481] p[482] p[483] p[484] p[485] p[486] p[487] p[488] p[489] p[490] p[491] p[492] p[493] p[494] p[495] p[496] p[497] p[498] p[499] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[1560] v1[1561] v1[1562] v1[1563] v1[1564] v1[1565] v1[1566] v1[1567] v1[1568] v1[1569] v1[1570] v1[1571] v1[1572] v1[1573] v1[1574] v1[1575] v1[1576] v1[1577] v1[1578] v1[1579] v1[1580] v1[1581] v1[1582] v1[1583] v1[1584] v1[1585] v1[1586] v1[1587] v1[1588] v1[1589] v1[1590] v1[1591] v1[1592] v1[1593] v1[1594] v1[1595] v1[1596] v1[1597] v1[1598] v1[1599] v1[1600] v1[1601] v1[1602] v1[1603] v1[1604] v1[1605] v1[1606] v1[1607] v1[1608] v1[1609] v1[1610] v1[1611] v1[1612] v1[1613] v1[1614] v1[1615] v1[1616] v1[1617] v1[1618] v1[1619] v1[1620] v1[1621] v1[1622] v1[1623] v1[1624] v1[1625] v1[1626] v1[1627] v1[1628] v1[1629] v1[1630] v1[1631] v1[1632] v1[1633] v1[1634] v1[1635] v1[1636] v1[1637] v1[1638] v1[1639] v1[1640] v1[1641] v1[1642] v1[1643] v1[1644] v1[1645] v1[1646] v1[1647] v1[1648] v1[1649] v1[1650] v1[1651] v1[1652] v1[1653] v1[1654] v1[1655] v1[1656] v1[1657] v1[1658] v1[1659] v1[1660] v1[1661] v1[1662] v1[1663] v1[1664] v1[1665] v1[1666] v1[1667] v1[1668] v1[1669] v1[1670] v1[1671] v1[1672] v1[1673] v1[1674] v1[1675] v1[1676] v1[1677] v1[1678] v1[1679] v1[1680] v1[1681] v1[1682] v1[1683] v1[1684] v1[1685] v1[1686] v1[1687] v1[1688] v1[1689] v1[1690] v1[1691] v1[1692] v1[1693] v1[1694] v1[1695] v1[1696] v1[1697] v1[1698] v1[1699] v1[1700] v1[1701] v1[1702] v1[1703] v1[1704] v1[1705] v1[1706] v1[1707] v1[1708] v1[1709] v1[1710] v1[1711] v1[1712] v1[1713] v1[1714] v1[1715] v1[1716] v1[1717] v1[1718] v1[1719] v1[1720] v1[1721] v1[1722] v1[1723] v1[1724] v1[1725] v1[1726] v1[1727] v1[1728] v1[1729] v1[1730] v1[1731] v1[1732] v1[1733] v1[1734] v1[1735] v1[1736] v1[1737] v1[1738] v1[1739] v1[1740] v1[1741] v1[1742] v1[1743] v1[1744] v1[1745] v1[1746] v1[1747] v1[1748] v1[1749] v1[1750] v1[1751] v1[1752] v1[1753] v1[1754] v1[1755] v1[1756] v1[1757] v1[1758] v1[1759] v1[1760] v1[1761] v1[1762] v1[1763] v1[1764] v1[1765] v1[1766] v1[1767] v1[1768] v1[1769] v1[1770] v1[1771] v1[1772] v1[1773] v1[1774] v1[1775] v1[1776] v1[1777] v1[1778] v1[1779] v1[1780] v1[1781] v1[1782] v1[1783] v1[1784] v1[1785] v1[1786] v1[1787] v1[1788] v1[1789] v1[1790] v1[1791] v1[1792] v1[1793] v1[1794] v1[1795] v1[1796] v1[1797] v1[1798] v1[1799] v1[1800] v1[1801] v1[1802] v1[1803] v1[1804] v1[1805] v1[1806] v1[1807] v1[1808] v1[1809] v1[1810] v1[1811] v1[1812] v1[1813] v1[1814] v1[1815] v1[1816] v1[1817] v1[1818] v1[1819] v1[1820] v1[1821] v1[1822] v1[1823] v1[1824] v1[1825] v1[1826] v1[1827] v1[1828] v1[1829] v1[1830] v1[1831] v1[1832] v1[1833] v1[1834] v1[1835] v1[1836] v1[1837] v1[1838] v1[1839] v1[1840] v1[1841] v1[1842] v1[1843] v1[1844] v1[1845] v1[1846] v1[1847] v1[1848] v1[1849] v1[1850] v1[1851] v1[1852] v1[1853] v1[1854] v1[1855] v1[1856] v1[1857] v1[1858] v1[1859] v1[1860] v1[1861] v1[1862] v1[1863] v1[1864] v1[1865] v1[1866] v1[1867] v1[1868] v1[1869] v1[1870] v1[1871] v1[1872] v1[1873] v1[1874] v1[1875] v1[1876] v1[1877] v1[1878] v1[1879] v1[1880] v1[1881] v1[1882] v1[1883] v1[1884] v1[1885] v1[1886] v1[1887] v1[1888] v1[1889] v1[1890] v1[1891] v1[1892] v1[1893] v1[1894] v1[1895] v1[1896] v1[1897] v1[1898] v1[1899] v1[1900] v1[1901] v1[1902] v1[1903] v1[1904] v1[1905] v1[1906] v1[1907] v1[1908] v1[1909] v1[1910] v1[1911] v1[1912] v1[1913] v1[1914] v1[1915] v1[1916] v1[1917] v1[1918] v1[1919] v1[1920] v1[1921] v1[1922] v1[1923] v1[1924] v1[1925] v1[1926] v1[1927] v1[1928] v1[1929] v1[1930] v1[1931] v1[1932] v1[1933] v1[1934] v1[1935] v1[1936] v1[1937] v1[1938] v1[1939] v1[1940] v1[1941] v1[1942] v1[1943] v1[1944] v1[1945] v1[1946] v1[1947] v1[1948] v1[1949] v1[1950] v1[1951] v1[1952] v1[1953] v1[1954] v1[1955] v1[1956] v1[1957] v1[1958] v1[1959] v1[1960] v1[1961] v1[1962] v1[1963] v1[1964] v1[1965] v1[1966] v1[1967] v1[1968] v1[1969] v1[1970] v1[1971] v1[1972] v1[1973] v1[1974] v1[1975] v1[1976] v1[1977] v1[1978] v1[1979] v1[1980] v1[1981] v1[1982] v1[1983] v1[1984] v1[1985] v1[1986] v1[1987] v1[1988] v1[1989] v1[1990] v1[1991] v1[1992] v1[1993] v1[1994] v1[1995] v1[1996] v1[1997] v1[1998] v1[1999] v1[2000] v1[2001] v1[2002] v1[2003] v1[2004] v1[2005] v1[2006] v1[2007] v1[2008] v1[2009] v1[2010] v1[2011] v1[2012] v1[2013] v1[2014] v1[2015] v1[2016] v1[2017] v1[2018] v1[2019] v1[2020] v1[2021] v1[2022] v1[2023] v1[2024] v1[2025] v1[2026] v1[2027] v1[2028] v1[2029] v1[2030] v1[2031] v1[2032] v1[2033] v1[2034] v1[2035] v1[2036] v1[2037] v1[2038] v1[2039] v1[2040] v1[2041] v1[2042] v1[2043] v1[2044] v1[2045] v1[2046] v1[2047] v1[2048] v1[2049] v1[2050] v1[2051] v1[2052] v1[2053] v1[2054] v1[2055] v1[2056] v1[2057] v1[2058] v1[2059] v1[2060] v1[2061] v1[2062] v1[2063] v1[2064] v1[2065] v1[2066] v1[2067] v1[2068] v1[2069] v1[2070] v1[2071] v1[2072] v1[2073] v1[2074] v1[2075] v1[2076] v1[2077] v1[2078] v1[2079] v1[2080] v1[2081] v1[2082] v1[2083] v1[2084] v1[2085] v1[2086] v1[2087] v1[2088] v1[2089] v1[2090] v1[2091] v1[2092] v1[2093] v1[2094] v1[2095] v1[2096] v1[2097] v1[2098] v1[2099] v1[2100] v1[2101] v1[2102] v1[2103] v1[2104] v1[2105] v1[2106] v1[2107] v1[2108] v1[2109] v1[2110] v1[2111] v1[2112] v1[2113] v1[2114] v1[2115] v1[2116] v1[2117] v1[2118] v1[2119] v1[2120] v1[2121] v1[2122] v1[2123] v1[2124] v1[2125] v1[2126] v1[2127] v1[2128] v1[2129] v1[2130] v1[2131] v1[2132] v1[2133] v1[2134] v1[2135] v1[2136] v1[2137] v1[2138] v1[2139] v1[2140] v1[2141] v1[2142] v1[2143] v1[2144] v1[2145] v1[2146] v1[2147] v1[2148] v1[2149] v1[2150] v1[2151] v1[2152] v1[2153] v1[2154] v1[2155] v1[2156] v1[2157] v1[2158] v1[2159] v1[2160] v1[2161] v1[2162] v1[2163] v1[2164] v1[2165] v1[2166] v1[2167] v1[2168] v1[2169] v1[2170] v1[2171] v1[2172] v1[2173] v1[2174] v1[2175] v1[2176] v1[2177] v1[2178] v1[2179] v1[2180] v1[2181] v1[2182] v1[2183] v1[2184] v1[2185] v1[2186] v1[2187] v1[2188] v1[2189] v1[2190] v1[2191] v1[2192] v1[2193] v1[2194] v1[2195] v1[2196] v1[2197] v1[2198] v1[2199] v1[2200] v1[2201] v1[2202] v1[2203] v1[2204] v1[2205] v1[2206] v1[2207] v1[2208] v1[2209] v1[2210] v1[2211] v1[2212] v1[2213] v1[2214] v1[2215] v1[2216] v1[2217] v1[2218] v1[2219] v1[2220] v1[2221] v1[2222] v1[2223] v1[2224] v1[2225] v1[2226] v1[2227] v1[2228] v1[2229] v1[2230] v1[2231] v1[2232] v1[2233] v1[2234] v1[2235] v1[2236] v1[2237] v1[2238] v1[2239] v1[2240] v1[2241] v1[2242] v1[2243] v1[2244] v1[2245] v1[2246] v1[2247] v1[2248] v1[2249] v1[2250] v1[2251] v1[2252] v1[2253] v1[2254] v1[2255] v1[2256] v1[2257] v1[2258] v1[2259] v1[2260] v1[2261] v1[2262] v1[2263] v1[2264] v1[2265] v1[2266] v1[2267] v1[2268] v1[2269] v1[2270] v1[2271] v1[2272] v1[2273] v1[2274] v1[2275] v1[2276] v1[2277] v1[2278] v1[2279] v1[2280] v1[2281] v1[2282] v1[2283] v1[2284] v1[2285] v1[2286] v1[2287] v1[2288] v1[2289] v1[2290] v1[2291] v1[2292] v1[2293] v1[2294] v1[2295] v1[2296] v1[2297] v1[2298] v1[2299] v1[2300] v1[2301] v1[2302] v1[2303] v1[2304] v1[2305] v1[2306] v1[2307] v1[2308] v1[2309] v1[2310] v1[2311] v1[2312] v1[2313] v1[2314] v1[2315] v1[2316] v1[2317] v1[2318] v1[2319] v1[2320] v1[2321] v1[2322] v1[2323] v1[2324] v1[2325] v1[2326] v1[2327] v1[2328] v1[2329] v1[2330] v1[2331] v1[2332] v1[2333] v1[2334] v1[2335] v1[2336] v1[2337] v1[2338] v1[2339] v1[2340] v1[2341] v1[2342] v1[2343] v1[2344] v1[2345] v1[2346] v1[2347] v1[2348] v1[2349] v1[2350] v1[2351] v1[2352] v1[2353] v1[2354] v1[2355] v1[2356] v1[2357] v1[2358] v1[2359] v1[2360] v1[2361] v1[2362] v1[2363] v1[2364] v1[2365] v1[2366] v1[2367] v1[2368] v1[2369] v1[2370] v1[2371] v1[2372] v1[2373] v1[2374] v1[2375] v1[2376] v1[2377] v1[2378] v1[2379] v1[2380] v1[2381] v1[2382] v1[2383] v1[2384] v1[2385] v1[2386] v1[2387] v1[2388] v1[2389] v1[2390] v1[2391] v1[2392] v1[2393] v1[2394] v1[2395] v1[2396] v1[2397] v1[2398] v1[2399] v1[2400] v1[2401] v1[2402] v1[2403] v1[2404] v1[2405] v1[2406] v1[2407] v1[2408] v1[2409] v1[2410] v1[2411] v1[2412] v1[2413] v1[2414] v1[2415] v1[2416] v1[2417] v1[2418] v1[2419] v1[2420] v1[2421] v1[2422] v1[2423] v1[2424] v1[2425] v1[2426] v1[2427] v1[2428] v1[2429] v1[2430] v1[2431] v1[2432] v1[2433] v1[2434] v1[2435] v1[2436] v1[2437] v1[2438] v1[2439] v1[2440] v1[2441] v1[2442] v1[2443] v1[2444] v1[2445] v1[2446] v1[2447] v1[2448] v1[2449] v1[2450] v1[2451] v1[2452] v1[2453] v1[2454] v1[2455] v1[2456] v1[2457] v1[2458] v1[2459] v1[2460] v1[2461] v1[2462] v1[2463] v1[2464] v1[2465] v1[2466] v1[2467] v1[2468] v1[2469] v1[2470] v1[2471] v1[2472] v1[2473] v1[2474] v1[2475] v1[2476] v1[2477] v1[2478] v1[2479] v1[2480] v1[2481] v1[2482] v1[2483] v1[2484] v1[2485] v1[2486] v1[2487] v1[2488] v1[2489] v1[2490] v1[2491] v1[2492] v1[2493] v1[2494] v1[2495] v1[2496] v1[2497] v1[2498] v1[2499] v1[2500] v1[2501] v1[2502] v1[2503] v1[2504] v1[2505] v1[2506] v1[2507] v1[2508] v1[2509] v1[2510] v1[2511] v1[2512] v1[2513] v1[2514] v1[2515] v1[2516] v1[2517] v1[2518] v1[2519] v1[2520] v1[2521] v1[2522] v1[2523] v1[2524] v1[2525] v1[2526] v1[2527] v1[2528] v1[2529] v1[2530] v1[2531] v1[2532] v1[2533] v1[2534] v1[2535] v1[2536] v1[2537] v1[2538] v1[2539] v1[2540] v1[2541] v1[2542] v1[2543] v1[2544] v1[2545] v1[2546] v1[2547] v1[2548] v1[2549] v1[2550] v1[2551] v1[2552] v1[2553] v1[2554] v1[2555] v1[2556] v1[2557] v1[2558] v1[2559] v1[2560] v1[2561] v1[2562] v1[2563] v1[2564] v1[2565] v1[2566] v1[2567] v1[2568] v1[2569] v1[2570] v1[2571] v1[2572] v1[2573] v1[2574] v1[2575] v1[2576] v1[2577] v1[2578] v1[2579] v1[2580] v1[2581] v1[2582] v1[2583] v1[2584] v1[2585] v1[2586] v1[2587] v1[2588] v1[2589] v1[2590] v1[2591] v1[2592] v1[2593] v1[2594] v1[2595] v1[2596] v1[2597] v1[2598] v1[2599] v1[2600] v1[2601] v1[2602] v1[2603] v1[2604] v1[2605] v1[2606] v1[2607] v1[2608] v1[2609] v1[2610] v1[2611] v1[2612] v1[2613] v1[2614] v1[2615] v1[2616] v1[2617] v1[2618] v1[2619] v1[2620] v1[2621] v1[2622] v1[2623] v1[2624] v1[2625] v1[2626] v1[2627] v1[2628] v1[2629] v1[2630] v1[2631] v1[2632] v1[2633] v1[2634] v1[2635] v1[2636] v1[2637] v1[2638] v1[2639] v1[2640] v1[2641] v1[2642] v1[2643] v1[2644] v1[2645] v1[2646] v1[2647] v1[2648] v1[2649] v1[2650] v1[2651] v1[2652] v1[2653] v1[2654] v1[2655] v1[2656] v1[2657] v1[2658] v1[2659] v1[2660] v1[2661] v1[2662] v1[2663] v1[2664] v1[2665] v1[2666] v1[2667] v1[2668] v1[2669] v1[2670] v1[2671] v1[2672] v1[2673] v1[2674] v1[2675] v1[2676] v1[2677] v1[2678] v1[2679] v1[2680] v1[2681] v1[2682] v1[2683] v1[2684] v1[2685] v1[2686] v1[2687] v1[2688] v1[2689] v1[2690] v1[2691] v1[2692] v1[2693] v1[2694] v1[2695] v1[2696] v1[2697] v1[2698] v1[2699] v1[2700] v1[2701] v1[2702] v1[2703] v1[2704] v1[2705] v1[2706] v1[2707] v1[2708] v1[2709] v1[2710] v1[2711] v1[2712] v1[2713] v1[2714] v1[2715] v1[2716] v1[2717] v1[2718] v1[2719] v1[2720] v1[2721] v1[2722] v1[2723] v1[2724] v1[2725] v1[2726] v1[2727] v1[2728] v1[2729] v1[2730] v1[2731] v1[2732] v1[2733] v1[2734] v1[2735] v1[2736] v1[2737] v1[2738] v1[2739] v1[2740] v1[2741] v1[2742] v1[2743] v1[2744] v1[2745] v1[2746] v1[2747] v1[2748] v1[2749] v1[2750] v1[2751] v1[2752] v1[2753] v1[2754] v1[2755] v1[2756] v1[2757] v1[2758] v1[2759] v1[2760] v1[2761] v1[2762] v1[2763] v1[2764] v1[2765] v1[2766] v1[2767] v1[2768] v1[2769] v1[2770] v1[2771] v1[2772] v1[2773] v1[2774] v1[2775] v1[2776] v1[2777] v1[2778] v1[2779] v1[2780] v1[2781] v1[2782] v1[2783] v1[2784] v1[2785] v1[2786] v1[2787] v1[2788] v1[2789] v1[2790] v1[2791] v1[2792] v1[2793] v1[2794] v1[2795] v1[2796] v1[2797] v1[2798] v1[2799] v1[2800] v1[2801] v1[2802] v1[2803] v1[2804] v1[2805] v1[2806] v1[2807] v1[2808] v1[2809] v1[2810] v1[2811] v1[2812] v1[2813] v1[2814] v1[2815] v1[2816] v1[2817] v1[2818] v1[2819] v1[2820] v1[2821] v1[2822] v1[2823] v1[2824] v1[2825] v1[2826] v1[2827] v1[2828] v1[2829] v1[2830] v1[2831] v1[2832] v1[2833] v1[2834] v1[2835] v1[2836] v1[2837] v1[2838] v1[2839] v1[2840] v1[2841] v1[2842] v1[2843] v1[2844] v1[2845] v1[2846] v1[2847] v1[2848] v1[2849] v1[2850] v1[2851] v1[2852] v1[2853] v1[2854] v1[2855] v1[2856] v1[2857] v1[2858] v1[2859] v1[2860] v1[2861] v1[2862] v1[2863] v1[2864] v1[2865] v1[2866] v1[2867] v1[2868] v1[2869] v1[2870] v1[2871] v1[2872] v1[2873] v1[2874] v1[2875] v1[2876] v1[2877] v1[2878] v1[2879] v1[2880] v1[2881] v1[2882] v1[2883] v1[2884] v1[2885] v1[2886] v1[2887] v1[2888] v1[2889] v1[2890] v1[2891] v1[2892] v1[2893] v1[2894] v1[2895] v1[2896] v1[2897] v1[2898] v1[2899] v1[2900] v1[2901] v1[2902] v1[2903] v1[2904] v1[2905] v1[2906] v1[2907] v1[2908] v1[2909] v1[2910] v1[2911] v1[2912] v1[2913] v1[2914] v1[2915] v1[2916] v1[2917] v1[2918] v1[2919] v1[2920] v1[2921] v1[2922] v1[2923] v1[2924] v1[2925] v1[2926] v1[2927] v1[2928] v1[2929] v1[2930] v1[2931] v1[2932] v1[2933] v1[2934] v1[2935] v1[2936] v1[2937] v1[2938] v1[2939] v1[2940] v1[2941] v1[2942] v1[2943] v1[2944] v1[2945] v1[2946] v1[2947] v1[2948] v1[2949] v1[2950] v1[2951] v1[2952] v1[2953] v1[2954] v1[2955] v1[2956] v1[2957] v1[2958] v1[2959] v1[2960] v1[2961] v1[2962] v1[2963] v1[2964] v1[2965] v1[2966] v1[2967] v1[2968] v1[2969] v1[2970] v1[2971] v1[2972] v1[2973] v1[2974] v1[2975] v1[2976] v1[2977] v1[2978] v1[2979] v1[2980] v1[2981] v1[2982] v1[2983] v1[2984] v1[2985] v1[2986] v1[2987] v1[2988] v1[2989] v1[2990] v1[2991] v1[2992] v1[2993] v1[2994] v1[2995] v1[2996] v1[2997] v1[2998] v1[2999] v1[3000] v1[3001] v1[3002] v1[3003] v1[3004] v1[3005] v1[3006] v1[3007] v1[3008] v1[3009] v1[3010] v1[3011] v1[3012] v1[3013] v1[3014] v1[3015] v1[3016] v1[3017] v1[3018] v1[3019] v1[3020] v1[3021] v1[3022] v1[3023] v1[3024] v1[3025] v1[3026] v1[3027] v1[3028] v1[3029] v1[3030] v1[3031] v1[3032] v1[3033] v1[3034] v1[3035] v1[3036] v1[3037] v1[3038] v1[3039] v1[3040] v1[3041] v1[3042] v1[3043] v1[3044] v1[3045] v1[3046] v1[3047] v1[3048] v1[3049] v1[3050] v1[3051] v1[3052] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[1560] v2[1561] v2[1562] v2[1563] v2[1564] v2[1565] v2[1566] v2[1567] v2[1568] v2[1569] v2[1570] v2[1571] v2[1572] v2[1573] v2[1574] v2[1575] v2[1576] v2[1577] v2[1578] v2[1579] v2[1580] v2[1581] v2[1582] v2[1583] v2[1584] v2[1585] v2[1586] v2[1587] v2[1588] v2[1589] v2[1590] v2[1591] v2[1592] v2[1593] v2[1594] v2[1595] v2[1596] v2[1597] v2[1598] v2[1599] v2[1600] v2[1601] v2[1602] v2[1603] v2[1604] v2[1605] v2[1606] v2[1607] v2[1608] v2[1609] v2[1610] v2[1611] v2[1612] v2[1613] v2[1614] v2[1615] v2[1616] v2[1617] v2[1618] v2[1619] v2[1620] v2[1621] v2[1622] v2[1623] v2[1624] v2[1625] v2[1626] v2[1627] v2[1628] v2[1629] v2[1630] v2[1631] v2[1632] v2[1633] v2[1634] v2[1635] v2[1636] v2[1637] v2[1638] v2[1639] v2[1640] v2[1641] v2[1642] v2[1643] v2[1644] v2[1645] v2[1646] v2[1647] v2[1648] v2[1649] v2[1650] v2[1651] v2[1652] v2[1653] v2[1654] v2[1655] v2[1656] v2[1657] v2[1658] v2[1659] v2[1660] v2[1661] v2[1662] v2[1663] v2[1664] v2[1665] v2[1666] v2[1667] v2[1668] v2[1669] v2[1670] v2[1671] v2[1672] v2[1673] v2[1674] v2[1675] v2[1676] v2[1677] v2[1678] v2[1679] v2[1680] v2[1681] v2[1682] v2[1683] v2[1684] v2[1685] v2[1686] v2[1687] v2[1688] v2[1689] v2[1690] v2[1691] v2[1692] v2[1693] v2[1694] v2[1695] v2[1696] v2[1697] v2[1698] v2[1699] v2[1700] v2[1701] v2[1702] v2[1703] v2[1704] v2[1705] v2[1706] v2[1707] v2[1708] v2[1709] v2[1710] v2[1711] v2[1712] v2[1713] v2[1714] v2[1715] v2[1716] v2[1717] v2[1718] v2[1719] v2[1720] v2[1721] v2[1722] v2[1723] v2[1724] v2[1725] v2[1726] v2[1727] v2[1728] v2[1729] v2[1730] v2[1731] v2[1732] v2[1733] v2[1734] v2[1735] v2[1736] v2[1737] v2[1738] v2[1739] v2[1740] v2[1741] v2[1742] v2[1743] v2[1744] v2[1745] v2[1746] v2[1747] v2[1748] v2[1749] v2[1750] v2[1751] v2[1752] v2[1753] v2[1754] v2[1755] v2[1756] v2[1757] v2[1758] v2[1759] v2[1760] v2[1761] v2[1762] v2[1763] v2[1764] v2[1765] v2[1766] v2[1767] v2[1768] v2[1769] v2[1770] v2[1771] v2[1772] v2[1773] v2[1774] v2[1775] v2[1776] v2[1777] v2[1778] v2[1779] v2[1780] v2[1781] v2[1782] v2[1783] v2[1784] v2[1785] v2[1786] v2[1787] v2[1788] v2[1789] v2[1790] v2[1791] v2[1792] v2[1793] v2[1794] v2[1795] v2[1796] v2[1797] v2[1798] v2[1799] v2[1800] v2[1801] v2[1802] v2[1803] v2[1804] v2[1805] v2[1806] v2[1807] v2[1808] v2[1809] v2[1810] v2[1811] v2[1812] v2[1813] v2[1814] v2[1815] v2[1816] v2[1817] v2[1818] v2[1819] v2[1820] v2[1821] v2[1822] v2[1823] v2[1824] v2[1825] v2[1826] v2[1827] v2[1828] v2[1829] v2[1830] v2[1831] v2[1832] v2[1833] v2[1834] v2[1835] v2[1836] v2[1837] v2[1838] v2[1839] v2[1840] v2[1841] v2[1842] v2[1843] v2[1844] v2[1845] v2[1846] v2[1847] v2[1848] v2[1849] v2[1850] v2[1851] v2[1852] v2[1853] v2[1854] v2[1855] v2[1856] v2[1857] v2[1858] v2[1859] v2[1860] v2[1861] v2[1862] v2[1863] v2[1864] v2[1865] v2[1866] v2[1867] v2[1868] v2[1869] v2[1870] v2[1871] v2[1872] v2[1873] v2[1874] v2[1875] v2[1876] v2[1877] v2[1878] v2[1879] v2[1880] v2[1881] v2[1882] v2[1883] v2[1884] v2[1885] v2[1886] v2[1887] v2[1888] v2[1889] v2[1890] v2[1891] v2[1892] v2[1893] v2[1894] v2[1895] v2[1896] v2[1897] v2[1898] v2[1899] v2[1900] v2[1901] v2[1902] v2[1903] v2[1904] v2[1905] v2[1906] v2[1907] v2[1908] v2[1909] v2[1910] v2[1911] v2[1912] v2[1913] v2[1914] v2[1915] v2[1916] v2[1917] v2[1918] v2[1919] v2[1920] v2[1921] v2[1922] v2[1923] v2[1924] v2[1925] v2[1926] v2[1927] v2[1928] v2[1929] v2[1930] v2[1931] v2[1932] v2[1933] v2[1934] v2[1935] v2[1936] v2[1937] v2[1938] v2[1939] v2[1940] v2[1941] v2[1942] v2[1943] v2[1944] v2[1945] v2[1946] v2[1947] v2[1948] v2[1949] v2[1950] v2[1951] v2[1952] v2[1953] v2[1954] v2[1955] v2[1956] v2[1957] v2[1958] v2[1959] v2[1960] v2[1961] v2[1962] v2[1963] v2[1964] v2[1965] v2[1966] v2[1967] v2[1968] v2[1969] v2[1970] v2[1971] v2[1972] v2[1973] v2[1974] v2[1975] v2[1976] v2[1977] v2[1978] v2[1979] v2[1980] v2[1981] v2[1982] v2[1983] v2[1984] v2[1985] v2[1986] v2[1987] v2[1988] v2[1989] v2[1990] v2[1991] v2[1992] v2[1993] v2[1994] v2[1995] v2[1996] v2[1997] v2[1998] v2[1999] v2[2000] v2[2001] v2[2002] v2[2003] v2[2004] v2[2005] v2[2006] v2[2007] v2[2008] v2[2009] v2[2010] v2[2011] v2[2012] v2[2013] v2[2014] v2[2015] v2[2016] v2[2017] v2[2018] v2[2019] v2[2020] v2[2021] v2[2022] v2[2023] v2[2024] v2[2025] v2[2026] v2[2027] v2[2028] v2[2029] v2[2030] v2[2031] v2[2032] v2[2033] v2[2034] v2[2035] v2[2036] v2[2037] v2[2038] v2[2039] v2[2040] v2[2041] v2[2042] v2[2043] v2[2044] v2[2045] v2[2046] v2[2047] v2[2048] v2[2049] v2[2050] v2[2051] v2[2052] v2[2053] v2[2054] v2[2055] v2[2056] v2[2057] v2[2058] v2[2059] v2[2060] v2[2061] v2[2062] v2[2063] v2[2064] v2[2065] v2[2066] v2[2067] v2[2068] v2[2069] v2[2070] v2[2071] v2[2072] v2[2073] v2[2074] v2[2075] v2[2076] v2[2077] v2[2078] v2[2079] v2[2080] v2[2081] v2[2082] v2[2083] v2[2084] v2[2085] v2[2086] v2[2087] v2[2088] v2[2089] v2[2090] v2[2091] v2[2092] v2[2093] v2[2094] v2[2095] v2[2096] v2[2097] v2[2098] v2[2099] v2[2100] v2[2101] v2[2102] v2[2103] v2[2104] v2[2105] v2[2106] v2[2107] v2[2108] v2[2109] v2[2110] v2[2111] v2[2112] v2[2113] v2[2114] v2[2115] v2[2116] v2[2117] v2[2118] v2[2119] v2[2120] v2[2121] v2[2122] v2[2123] v2[2124] v2[2125] v2[2126] v2[2127] v2[2128] v2[2129] v2[2130] v2[2131] v2[2132] v2[2133] v2[2134] v2[2135] v2[2136] v2[2137] v2[2138] v2[2139] v2[2140] v2[2141] v2[2142] v2[2143] v2[2144] v2[2145] v2[2146] v2[2147] v2[2148] v2[2149] v2[2150] v2[2151] v2[2152] v2[2153] v2[2154] v2[2155] v2[2156] v2[2157] v2[2158] v2[2159] v2[2160] v2[2161] v2[2162] v2[2163] v2[2164] v2[2165] v2[2166] v2[2167] v2[2168] v2[2169] v2[2170] v2[2171] v2[2172] v2[2173] v2[2174] v2[2175] v2[2176] v2[2177] v2[2178] v2[2179] v2[2180] v2[2181] v2[2182] v2[2183] v2[2184] v2[2185] v2[2186] v2[2187] v2[2188] v2[2189] v2[2190] v2[2191] v2[2192] v2[2193] v2[2194] v2[2195] v2[2196] v2[2197] v2[2198] v2[2199] v2[2200] v2[2201] v2[2202] v2[2203] v2[2204] v2[2205] v2[2206] v2[2207] v2[2208] v2[2209] v2[2210] v2[2211] v2[2212] v2[2213] v2[2214] v2[2215] v2[2216] v2[2217] v2[2218] v2[2219] v2[2220] v2[2221] v2[2222] v2[2223] v2[2224] v2[2225] v2[2226] v2[2227] v2[2228] v2[2229] v2[2230] v2[2231] v2[2232] v2[2233] v2[2234] v2[2235] v2[2236] v2[2237] v2[2238] v2[2239] v2[2240] v2[2241] v2[2242] v2[2243] v2[2244] v2[2245] v2[2246] v2[2247] v2[2248] v2[2249] v2[2250] v2[2251] v2[2252] v2[2253] v2[2254] v2[2255] v2[2256] v2[2257] v2[2258] v2[2259] v2[2260] v2[2261] v2[2262] v2[2263] v2[2264] v2[2265] v2[2266] v2[2267] v2[2268] v2[2269] v2[2270] v2[2271] v2[2272] v2[2273] v2[2274] v2[2275] v2[2276] v2[2277] v2[2278] v2[2279] v2[2280] v2[2281] v2[2282] v2[2283] v2[2284] v2[2285] v2[2286] v2[2287] v2[2288] v2[2289] v2[2290] v2[2291] v2[2292] v2[2293] v2[2294] v2[2295] v2[2296] v2[2297] v2[2298] v2[2299] v2[2300] v2[2301] v2[2302] v2[2303] v2[2304] v2[2305] v2[2306] v2[2307] v2[2308] v2[2309] v2[2310] v2[2311] v2[2312] v2[2313] v2[2314] v2[2315] v2[2316] v2[2317] v2[2318] v2[2319] v2[2320] v2[2321] v2[2322] v2[2323] v2[2324] v2[2325] v2[2326] v2[2327] v2[2328] v2[2329] v2[2330] v2[2331] v2[2332] v2[2333] v2[2334] v2[2335] v2[2336] v2[2337] v2[2338] v2[2339] v2[2340] v2[2341] v2[2342] v2[2343] v2[2344] v2[2345] v2[2346] v2[2347] v2[2348] v2[2349] v2[2350] v2[2351] v2[2352] v2[2353] v2[2354] v2[2355] v2[2356] v2[2357] v2[2358] v2[2359] v2[2360] v2[2361] v2[2362] v2[2363] v2[2364] v2[2365] v2[2366] v2[2367] v2[2368] v2[2369] v2[2370] v2[2371] v2[2372] v2[2373] v2[2374] v2[2375] v2[2376] v2[2377] v2[2378] v2[2379] v2[2380] v2[2381] v2[2382] v2[2383] v2[2384] v2[2385] v2[2386] v2[2387] v2[2388] v2[2389] v2[2390] v2[2391] v2[2392] v2[2393] v2[2394] v2[2395] v2[2396] v2[2397] v2[2398] v2[2399] v2[2400] v2[2401] v2[2402] v2[2403] v2[2404] v2[2405] v2[2406] v2[2407] v2[2408] v2[2409] v2[2410] v2[2411] v2[2412] v2[2413] v2[2414] v2[2415] v2[2416] v2[2417] v2[2418] v2[2419] v2[2420] v2[2421] v2[2422] v2[2423] v2[2424] v2[2425] v2[2426] v2[2427] v2[2428] v2[2429] v2[2430] v2[2431] v2[2432] v2[2433] v2[2434] v2[2435] v2[2436] v2[2437] v2[2438] v2[2439] v2[2440] v2[2441] v2[2442] v2[2443] v2[2444] v2[2445] v2[2446] v2[2447] v2[2448] v2[2449] v2[2450] v2[2451] v2[2452] v2[2453] v2[2454] v2[2455] v2[2456] v2[2457] v2[2458] v2[2459] v2[2460] v2[2461] v2[2462] v2[2463] v2[2464] v2[2465] v2[2466] v2[2467] v2[2468] v2[2469] v2[2470] v2[2471] v2[2472] v2[2473] v2[2474] v2[2475] v2[2476] v2[2477] v2[2478] v2[2479] v2[2480] v2[2481] v2[2482] v2[2483] v2[2484] v2[2485] v2[2486] v2[2487] v2[2488] v2[2489] v2[2490] v2[2491] v2[2492] v2[2493] v2[2494] v2[2495] v2[2496] v2[2497] v2[2498] v2[2499] v2[2500] v2[2501] v2[2502] v2[2503] v2[2504] v2[2505] v2[2506] v2[2507] v2[2508] v2[2509] v2[2510] v2[2511] v2[2512] v2[2513] v2[2514] v2[2515] v2[2516] v2[2517] v2[2518] v2[2519] v2[2520] v2[2521] v2[2522] v2[2523] v2[2524] v2[2525] v2[2526] v2[2527] v2[2528] v2[2529] v2[2530] v2[2531] v2[2532] v2[2533] v2[2534] v2[2535] v2[2536] v2[2537] v2[2538] v2[2539] v2[2540] v2[2541] v2[2542] v2[2543] v2[2544] v2[2545] v2[2546] v2[2547] v2[2548] v2[2549] v2[2550] v2[2551] v2[2552] v2[2553] v2[2554] v2[2555] v2[2556] v2[2557] v2[2558] v2[2559] v2[2560] v2[2561] v2[2562] v2[2563] v2[2564] v2[2565] v2[2566] v2[2567] v2[2568] v2[2569] v2[2570] v2[2571] v2[2572] v2[2573] v2[2574] v2[2575] v2[2576] v2[2577] v2[2578] v2[2579] v2[2580] v2[2581] v2[2582] v2[2583] v2[2584] v2[2585] v2[2586] v2[2587] v2[2588] v2[2589] v2[2590] v2[2591] v2[2592] v2[2593] v2[2594] v2[2595] v2[2596] v2[2597] v2[2598] v2[2599] v2[2600] v2[2601] v2[2602] v2[2603] v2[2604] v2[2605] v2[2606] v2[2607] v2[2608] v2[2609] v2[2610] v2[2611] v2[2612] v2[2613] v2[2614] v2[2615] v2[2616] v2[2617] v2[2618] v2[2619] v2[2620] v2[2621] v2[2622] v2[2623] v2[2624] v2[2625] v2[2626] v2[2627] v2[2628] v2[2629] v2[2630] v2[2631] v2[2632] v2[2633] v2[2634] v2[2635] v2[2636] v2[2637] v2[2638] v2[2639] v2[2640] v2[2641] v2[2642] v2[2643] v2[2644] v2[2645] v2[2646] v2[2647] v2[2648] v2[2649] v2[2650] v2[2651] v2[2652] v2[2653] v2[2654] v2[2655] v2[2656] v2[2657] v2[2658] v2[2659] v2[2660] v2[2661] v2[2662] v2[2663] v2[2664] v2[2665] v2[2666] v2[2667] v2[2668] v2[2669] v2[2670] v2[2671] v2[2672] v2[2673] v2[2674] v2[2675] v2[2676] v2[2677] v2[2678] v2[2679] v2[2680] v2[2681] v2[2682] v2[2683] v2[2684] v2[2685] v2[2686] v2[2687] v2[2688] v2[2689] v2[2690] v2[2691] v2[2692] v2[2693] v2[2694] v2[2695] v2[2696] v2[2697] v2[2698] v2[2699] v2[2700] v2[2701] v2[2702] v2[2703] v2[2704] v2[2705] v2[2706] v2[2707] v2[2708] v2[2709] v2[2710] v2[2711] v2[2712] v2[2713] v2[2714] v2[2715] v2[2716] v2[2717] v2[2718] v2[2719] v2[2720] v2[2721] v2[2722] v2[2723] v2[2724] v2[2725] v2[2726] v2[2727] v2[2728] v2[2729] v2[2730] v2[2731] v2[2732] v2[2733] v2[2734] v2[2735] v2[2736] v2[2737] v2[2738] v2[2739] v2[2740] v2[2741] v2[2742] v2[2743] v2[2744] v2[2745] v2[2746] v2[2747] v2[2748] v2[2749] v2[2750] v2[2751] v2[2752] v2[2753] v2[2754] v2[2755] v2[2756] v2[2757] v2[2758] v2[2759] v2[2760] v2[2761] v2[2762] v2[2763] v2[2764] v2[2765] v2[2766] v2[2767] v2[2768] v2[2769] v2[2770] v2[2771] v2[2772] v2[2773] v2[2774] v2[2775] v2[2776] v2[2777] v2[2778] v2[2779] v2[2780] v2[2781] v2[2782] v2[2783] v2[2784] v2[2785] v2[2786] v2[2787] v2[2788] v2[2789] v2[2790] v2[2791] v2[2792] v2[2793] v2[2794] v2[2795] v2[2796] v2[2797] v2[2798] v2[2799] v2[2800] v2[2801] v2[2802] v2[2803] v2[2804] v2[2805] v2[2806] v2[2807] v2[2808] v2[2809] v2[2810] v2[2811] v2[2812] v2[2813] v2[2814] v2[2815] v2[2816] v2[2817] v2[2818] v2[2819] v2[2820] v2[2821] v2[2822] v2[2823] v2[2824] v2[2825] v2[2826] v2[2827] v2[2828] v2[2829] v2[2830] v2[2831] v2[2832] v2[2833] v2[2834] v2[2835] v2[2836] v2[2837] v2[2838] v2[2839] v2[2840] v2[2841] v2[2842] v2[2843] v2[2844] v2[2845] v2[2846] v2[2847] v2[2848] v2[2849] v2[2850] v2[2851] v2[2852] v2[2853] v2[2854] v2[2855] v2[2856] v2[2857] v2[2858] v2[2859] v2[2860] v2[2861] v2[2862] v2[2863] v2[2864] v2[2865] v2[2866] v2[2867] v2[2868] v2[2869] v2[2870] v2[2871] v2[2872] v2[2873] v2[2874] v2[2875] v2[2876] v2[2877] v2[2878] v2[2879] v2[2880] v2[2881] v2[2882] v2[2883] v2[2884] v2[2885] v2[2886] v2[2887] v2[2888] v2[2889] v2[2890] v2[2891] v2[2892] v2[2893] v2[2894] v2[2895] v2[2896] v2[2897] v2[2898] v2[2899] v2[2900] v2[2901] v2[2902] v2[2903] v2[2904] v2[2905] v2[2906] v2[2907] v2[2908] v2[2909] v2[2910] v2[2911] v2[2912] v2[2913] v2[2914] v2[2915] v2[2916] v2[2917] v2[2918] v2[2919] v2[2920] v2[2921] v2[2922] v2[2923] v2[2924] v2[2925] v2[2926] v2[2927] v2[2928] v2[2929] v2[2930] v2[2931] v2[2932] v2[2933] v2[2934] v2[2935] v2[2936] v2[2937] v2[2938] v2[2939] v2[2940] v2[2941] v2[2942] v2[2943] v2[2944] v2[2945] v2[2946] v2[2947] v2[2948] v2[2949] v2[2950] v2[2951] v2[2952] v2[2953] v2[2954] v2[2955] v2[2956] v2[2957] v2[2958] v2[2959] v2[2960] v2[2961] v2[2962] v2[2963] v2[2964] v2[2965] v2[2966] v2[2967] v2[2968] v2[2969] v2[2970] v2[2971] v2[2972] v2[2973] v2[2974] v2[2975] v2[2976] v2[2977] v2[2978] v2[2979] v2[2980] v2[2981] v2[2982] v2[2983] v2[2984] v2[2985] v2[2986] v2[2987] v2[2988] v2[2989] v2[2990] v2[2991] v2[2992] v2[2993] v2[2994] v2[2995] v2[2996] v2[2997] v2[2998] v2[2999] v2[3000] v2[3001] v2[3002] v2[3003] v2[3004] v2[3005] v2[3006] v2[3007] v2[3008] v2[3009] v2[3010] v2[3011] v2[3012] v2[3013] v2[3014] v2[3015] v2[3016] v2[3017] v2[3018] v2[3019] v2[3020] v2[3021] v2[3022] v2[3023] v2[3024] v2[3025] v2[3026] v2[3027] v2[3028] v2[3029] v2[3030] v2[3031] v2[3032] v2[3033] v2[3034] v2[3035] v2[3036] v2[3037] v2[3038] v2[3039] v2[3040] v2[3041] v2[3042] v2[3043] v2[3044] v2[3045] v2[3046] v2[3047] v2[3048] v2[3049] v2[3050] v2[3051] v2[3052] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[1560] d[1561] d[1562] d[1563] d[1564] d[1565] d[1566] d[1567] d[1568] d[1569] d[1570] d[1571] d[1572] d[1573] d[1574] d[1575] d[1576] d[1577] d[1578] d[1579] d[1580] d[1581] d[1582] d[1583] d[1584] d[1585] d[1586] d[1587] d[1588] d[1589] d[1590] d[1591] d[1592] d[1593] d[1594] d[1595] d[1596] d[1597] d[1598] d[1599] d[1600] d[1601] d[1602] d[1603] d[1604] d[1605] d[1606] d[1607] d[1608] d[1609] d[1610] d[1611] d[1612] d[1613] d[1614] d[1615] d[1616] d[1617] d[1618] d[1619] d[1620] d[1621] d[1622] d[1623] d[1624] d[1625] d[1626] d[1627] d[1628] d[1629] d[1630] d[1631] d[1632] d[1633] d[1634] d[1635] d[1636] d[1637] d[1638] d[1639] d[1640] d[1641] d[1642] d[1643] d[1644] d[1645] d[1646] d[1647] d[1648] d[1649] d[1650] d[1651] d[1652] d[1653] d[1654] d[1655] d[1656] d[1657] d[1658] d[1659] d[1660] d[1661] d[1662] d[1663] d[1664] d[1665] d[1666] d[1667] d[1668] d[1669] d[1670] d[1671] d[1672] d[1673] d[1674] d[1675] d[1676] d[1677] d[1678] d[1679] d[1680] d[1681] d[1682] d[1683] d[1684] d[1685] d[1686] d[1687] d[1688] d[1689] d[1690] d[1691] d[1692] d[1693] d[1694] d[1695] d[1696] d[1697] d[1698] d[1699] d[1700] d[1701] d[1702] d[1703] d[1704] d[1705] d[1706] d[1707] d[1708] d[1709] d[1710] d[1711] d[1712] d[1713] d[1714] d[1715] d[1716] d[1717] d[1718] d[1719] d[1720] d[1721] d[1722] d[1723] d[1724] d[1725] d[1726] d[1727] d[1728] d[1729] d[1730] d[1731] d[1732] d[1733] d[1734] d[1735] d[1736] d[1737] d[1738] d[1739] d[1740] d[1741] d[1742] d[1743] d[1744] d[1745] d[1746] d[1747] d[1748] d[1749] d[1750] d[1751] d[1752] d[1753] d[1754] d[1755] d[1756] d[1757] d[1758] d[1759] d[1760] d[1761] d[1762] d[1763] d[1764] d[1765] d[1766] d[1767] d[1768] d[1769] d[1770] d[1771] d[1772] d[1773] d[1774] d[1775] d[1776] d[1777] d[1778] d[1779] d[1780] d[1781] d[1782] d[1783] d[1784] d[1785] d[1786] d[1787] d[1788] d[1789] d[1790] d[1791] d[1792] d[1793] d[1794] d[1795] d[1796] d[1797] d[1798] d[1799] d[1800] d[1801] d[1802] d[1803] d[1804] d[1805] d[1806] d[1807] d[1808] d[1809] d[1810] d[1811] d[1812] d[1813] d[1814] d[1815] d[1816] d[1817] d[1818] d[1819] d[1820] d[1821] d[1822] d[1823] d[1824] d[1825] d[1826] d[1827] d[1828] d[1829] d[1830] d[1831] d[1832] d[1833] d[1834] d[1835] d[1836] d[1837] d[1838] d[1839] d[1840] d[1841] d[1842] d[1843] d[1844] d[1845] d[1846] d[1847] d[1848] d[1849] d[1850] d[1851] d[1852] d[1853] d[1854] d[1855] d[1856] d[1857] d[1858] d[1859] d[1860] d[1861] d[1862] d[1863] d[1864] d[1865] d[1866] d[1867] d[1868] d[1869] d[1870] d[1871] d[1872] d[1873] d[1874] d[1875] d[1876] d[1877] d[1878] d[1879] d[1880] d[1881] d[1882] d[1883] d[1884] d[1885] d[1886] d[1887] d[1888] d[1889] d[1890] d[1891] d[1892] d[1893] d[1894] d[1895] d[1896] d[1897] d[1898] d[1899] d[1900] d[1901] d[1902] d[1903] d[1904] d[1905] d[1906] d[1907] d[1908] d[1909] d[1910] d[1911] d[1912] d[1913] d[1914] d[1915] d[1916] d[1917] d[1918] d[1919] d[1920] d[1921] d[1922] d[1923] d[1924] d[1925] d[1926] d[1927] d[1928] d[1929] d[1930] d[1931] d[1932] d[1933] d[1934] d[1935] d[1936] d[1937] d[1938] d[1939] d[1940] d[1941] d[1942] d[1943] d[1944] d[1945] d[1946] d[1947] d[1948] d[1949] d[1950] d[1951] d[1952] d[1953] d[1954] d[1955] d[1956] d[1957] d[1958] d[1959] d[1960] d[1961] d[1962] d[1963] d[1964] d[1965] d[1966] d[1967] d[1968] d[1969] d[1970] d[1971] d[1972] d[1973] d[1974] d[1975] d[1976] d[1977] d[1978] d[1979] d[1980] d[1981] d[1982] d[1983] d[1984] d[1985] d[1986] d[1987] d[1988] d[1989] d[1990] d[1991] d[1992] d[1993] d[1994] d[1995] d[1996] d[1997] d[1998] d[1999] d[2000] d[2001] d[2002] d[2003] d[2004] d[2005] d[2006] d[2007] d[2008] d[2009] d[2010] d[2011] d[2012] d[2013] d[2014] d[2015] d[2016] d[2017] d[2018] d[2019] d[2020] d[2021] d[2022] d[2023] d[2024] d[2025] d[2026] d[2027] d[2028] d[2029] d[2030] d[2031] d[2032] d[2033] d[2034] d[2035] d[2036] d[2037] d[2038] d[2039] d[2040] d[2041] d[2042] d[2043] d[2044] d[2045] d[2046] d[2047] d[2048] d[2049] d[2050] d[2051] d[2052] d[2053] d[2054] d[2055] d[2056] d[2057] d[2058] d[2059] d[2060] d[2061] d[2062] d[2063] d[2064] d[2065] d[2066] d[2067] d[2068] d[2069] d[2070] d[2071] d[2072] d[2073] d[2074] d[2075] d[2076] d[2077] d[2078] d[2079] d[2080] d[2081] d[2082] d[2083] d[2084] d[2085] d[2086] d[2087] d[2088] d[2089] d[2090] d[2091] d[2092] d[2093] d[2094] d[2095] d[2096] d[2097] d[2098] d[2099] d[2100] d[2101] d[2102] d[2103] d[2104] d[2105] d[2106] d[2107] d[2108] d[2109] d[2110] d[2111] d[2112] d[2113] d[2114] d[2115] d[2116] d[2117] d[2118] d[2119] d[2120] d[2121] d[2122] d[2123] d[2124] d[2125] d[2126] d[2127] d[2128] d[2129] d[2130] d[2131] d[2132] d[2133] d[2134] d[2135] d[2136] d[2137] d[2138] d[2139] d[2140] d[2141] d[2142] d[2143] d[2144] d[2145] d[2146] d[2147] d[2148] d[2149] d[2150] d[2151] d[2152] d[2153] d[2154] d[2155] d[2156] d[2157] d[2158] d[2159] d[2160] d[2161] d[2162] d[2163] d[2164] d[2165] d[2166] d[2167] d[2168] d[2169] d[2170] d[2171] d[2172] d[2173] d[2174] d[2175] d[2176] d[2177] d[2178] d[2179] d[2180] d[2181] d[2182] d[2183] d[2184] d[2185] d[2186] d[2187] d[2188] d[2189] d[2190] d[2191] d[2192] d[2193] d[2194] d[2195] d[2196] d[2197] d[2198] d[2199] d[2200] d[2201] d[2202] d[2203] d[2204] d[2205] d[2206] d[2207] d[2208] d[2209] d[2210] d[2211] d[2212] d[2213] d[2214] d[2215] d[2216] d[2217] d[2218] d[2219] d[2220] d[2221] d[2222] d[2223] d[2224] d[2225] d[2226] d[2227] d[2228] d[2229] d[2230] d[2231] d[2232] d[2233] d[2234] d[2235] d[2236] d[2237] d[2238] d[2239] d[2240] d[2241] d[2242] d[2243] d[2244] d[2245] d[2246] d[2247] d[2248] d[2249] d[2250] d[2251] d[2252] d[2253] d[2254] d[2255] d[2256] d[2257] d[2258] d[2259] d[2260] d[2261] d[2262] d[2263] d[2264] d[2265] d[2266] d[2267] d[2268] d[2269] d[2270] d[2271] d[2272] d[2273] d[2274] d[2275] d[2276] d[2277] d[2278] d[2279] d[2280] d[2281] d[2282] d[2283] d[2284] d[2285] d[2286] d[2287] d[2288] d[2289] d[2290] d[2291] d[2292] d[2293] d[2294] d[2295] d[2296] d[2297] d[2298] d[2299] d[2300] d[2301] d[2302] d[2303] d[2304] d[2305] d[2306] d[2307] d[2308] d[2309] d[2310] d[2311] d[2312] d[2313] d[2314] d[2315] d[2316] d[2317] d[2318] d[2319] d[2320] d[2321] d[2322] d[2323] d[2324] d[2325] d[2326] d[2327] d[2328] d[2329] d[2330] d[2331] d[2332] d[2333] d[2334] d[2335] d[2336] d[2337] d[2338] d[2339] d[2340] d[2341] d[2342] d[2343] d[2344] d[2345] d[2346] d[2347] d[2348] d[2349] d[2350] d[2351] d[2352] d[2353] d[2354] d[2355] d[2356] d[2357] d[2358] d[2359] d[2360] d[2361] d[2362] d[2363] d[2364] d[2365] d[2366] d[2367] d[2368] d[2369] d[2370] d[2371] d[2372] d[2373] d[2374] d[2375] d[2376] d[2377] d[2378] d[2379] d[2380] d[2381] d[2382] d[2383] d[2384] d[2385] d[2386] d[2387] d[2388] d[2389] d[2390] d[2391] d[2392] d[2393] d[2394] d[2395] d[2396] d[2397] d[2398] d[2399] d[2400] d[2401] d[2402] d[2403] d[2404] d[2405] d[2406] d[2407] d[2408] d[2409] d[2410] d[2411] d[2412] d[2413] d[2414] d[2415] d[2416] d[2417] d[2418] d[2419] d[2420] d[2421] d[2422] d[2423] d[2424] d[2425] d[2426] d[2427] d[2428] d[2429] d[2430] d[2431] d[2432] d[2433] d[2434] d[2435] d[2436] d[2437] d[2438] d[2439] d[2440] d[2441] d[2442] d[2443] d[2444] d[2445] d[2446] d[2447] d[2448] d[2449] d[2450] d[2451] d[2452] d[2453] d[2454] d[2455] d[2456] d[2457] d[2458] d[2459] d[2460] d[2461] d[2462] d[2463] d[2464] d[2465] d[2466] d[2467] d[2468] d[2469] d[2470] d[2471] d[2472] d[2473] d[2474] d[2475] d[2476] d[2477] d[2478] d[2479] d[2480] d[2481] d[2482] d[2483] d[2484] d[2485] d[2486] d[2487] d[2488] d[2489] d[2490] d[2491] d[2492] d[2493] d[2494] d[2495] d[2496] d[2497] d[2498] d[2499] d[2500] d[2501] d[2502] d[2503] d[2504] d[2505] d[2506] d[2507] d[2508] d[2509] d[2510] d[2511] d[2512] d[2513] d[2514] d[2515] d[2516] d[2517] d[2518] d[2519] d[2520] d[2521] d[2522] d[2523] d[2524] d[2525] d[2526] d[2527] d[2528] d[2529] d[2530] d[2531] d[2532] d[2533] d[2534] d[2535] d[2536] d[2537] d[2538] d[2539] d[2540] d[2541] d[2542] d[2543] d[2544] d[2545] d[2546] d[2547] d[2548] d[2549] d[2550] d[2551] d[2552] d[2553] d[2554] d[2555] d[2556] d[2557] d[2558] d[2559] d[2560] d[2561] d[2562] d[2563] d[2564] d[2565] d[2566] d[2567] d[2568] d[2569] d[2570] d[2571] d[2572] d[2573] d[2574] d[2575] d[2576] d[2577] d[2578] d[2579] d[2580] d[2581] d[2582] d[2583] d[2584] d[2585] d[2586] d[2587] d[2588] d[2589] d[2590] d[2591] d[2592] d[2593] d[2594] d[2595] d[2596] d[2597] d[2598] d[2599] d[2600] d[2601] d[2602] d[2603] d[2604] d[2605] d[2606] d[2607] d[2608] d[2609] d[2610] d[2611] d[2612] d[2613] d[2614] d[2615] d[2616] d[2617] d[2618] d[2619] d[2620] d[2621] d[2622] d[2623] d[2624] d[2625] d[2626] d[2627] d[2628] d[2629] d[2630] d[2631] d[2632] d[2633] d[2634] d[2635] d[2636] d[2637] d[2638] d[2639] d[2640] d[2641] d[2642] d[2643] d[2644] d[2645] d[2646] d[2647] d[2648] d[2649] d[2650] d[2651] d[2652] d[2653] d[2654] d[2655] d[2656] d[2657] d[2658] d[2659] d[2660] d[2661] d[2662] d[2663] d[2664] d[2665] d[2666] d[2667] d[2668] d[2669] d[2670] d[2671] d[2672] d[2673] d[2674] d[2675] d[2676] d[2677] d[2678] d[2679] d[2680] d[2681] d[2682] d[2683] d[2684] d[2685] d[2686] d[2687] d[2688] d[2689] d[2690] d[2691] d[2692] d[2693] d[2694] d[2695] d[2696] d[2697] d[2698] d[2699] d[2700] d[2701] d[2702] d[2703] d[2704] d[2705] d[2706] d[2707] d[2708] d[2709] d[2710] d[2711] d[2712] d[2713] d[2714] d[2715] d[2716] d[2717] d[2718] d[2719] d[2720] d[2721] d[2722] d[2723] d[2724] d[2725] d[2726] d[2727] d[2728] d[2729] d[2730] d[2731] d[2732] d[2733] d[2734] d[2735] d[2736] d[2737] d[2738] d[2739] d[2740] d[2741] d[2742] d[2743] d[2744] d[2745] d[2746] d[2747] d[2748] d[2749] d[2750] d[2751] d[2752] d[2753] d[2754] d[2755] d[2756] d[2757] d[2758] d[2759] d[2760] d[2761] d[2762] d[2763] d[2764] d[2765] d[2766] d[2767] d[2768] d[2769] d[2770] d[2771] d[2772] d[2773] d[2774] d[2775] d[2776] d[2777] d[2778] d[2779] d[2780] d[2781] d[2782] d[2783] d[2784] d[2785] d[2786] d[2787] d[2788] d[2789] d[2790] d[2791] d[2792] d[2793] d[2794] d[2795] d[2796] d[2797] d[2798] d[2799] d[2800] d[2801] d[2802] d[2803] d[2804] d[2805] d[2806] d[2807] d[2808] d[2809] d[2810] d[2811] d[2812] d[2813] d[2814] d[2815] d[2816] d[2817] d[2818] d[2819] d[2820] d[2821] d[2822] d[2823] d[2824] d[2825] d[2826] d[2827] d[2828] d[2829] d[2830] d[2831] d[2832] d[2833] d[2834] d[2835] d[2836] d[2837] d[2838] d[2839] d[2840] d[2841] d[2842] d[2843] d[2844] d[2845] d[2846] d[2847] d[2848] d[2849] d[2850] d[2851] d[2852] d[2853] d[2854] d[2855] d[2856] d[2857] d[2858] d[2859] d[2860] d[2861] d[2862] d[2863] d[2864] d[2865] d[2866] d[2867] d[2868] d[2869] d[2870] d[2871] d[2872] d[2873] d[2874] d[2875] d[2876] d[2877] d[2878] d[2879] d[2880] d[2881] d[2882] d[2883] d[2884] d[2885] d[2886] d[2887] d[2888] d[2889] d[2890] d[2891] d[2892] d[2893] d[2894] d[2895] d[2896] d[2897] d[2898] d[2899] d[2900] d[2901] d[2902] d[2903] d[2904] d[2905] d[2906] d[2907] d[2908] d[2909] d[2910] d[2911] d[2912] d[2913] d[2914] d[2915] d[2916] d[2917] d[2918] d[2919] d[2920] d[2921] d[2922] d[2923] d[2924] d[2925] d[2926] d[2927] d[2928] d[2929] d[2930] d[2931] d[2932] d[2933] d[2934] d[2935] d[2936] d[2937] d[2938] d[2939] d[2940] d[2941] d[2942] d[2943] d[2944] d[2945] d[2946] d[2947] d[2948] d[2949] d[2950] d[2951] d[2952] d[2953] d[2954] d[2955] d[2956] d[2957] d[2958] d[2959] d[2960] d[2961] d[2962] d[2963] d[2964] d[2965] d[2966] d[2967] d[2968] d[2969] d[2970] d[2971] d[2972] d[2973] d[2974] d[2975] d[2976] d[2977] d[2978] d[2979] d[2980] d[2981] d[2982] d[2983] d[2984] d[2985] d[2986] d[2987] d[2988] d[2989] d[2990] d[2991] d[2992] d[2993] d[2994] d[2995] d[2996] d[2997] d[2998] d[2999] d[3000] d[3001] d[3002] d[3003] d[3004] d[3005] d[3006] d[3007] d[3008] d[3009] d[3010] d[3011] d[3012] d[3013] d[3014] d[3015] d[3016] d[3017] d[3018] d[3019] d[3020] d[3021] d[3022] d[3023] d[3024] d[3025] d[3026] d[3027] d[3028] d[3029] d[3030] d[3031] d[3032] d[3033] d[3034] d[3035] d[3036] d[3037] d[3038] d[3039] d[3040] d[3041] d[3042] d[3043] d[3044] d[3045] d[3046] d[3047] d[3048] d[3049] d[3050] d[3051] d[3052] </list>
2519.50/2520.01	v   <values> 2436 2140 2340 2680 2220 2524 2220 2140 2340 2284 2572 2140 2180 2140 2620 2412 2272 2140 2488 2180 2140 2348 2336 2468 2628 2536 2524 2492 2140 2180 2660 2356 2552 2140 2616 2140 2316 2180 2180 2180 2348 2140 2140 2268 2180 2140 2512 2552 2456 2140 2340 2340 2180 2308 2180 2480 2180 2480 2552 2140 2628 2140 2140 2484 2180 2396 2284 2180 2372 2180 2140 2180 2140 2140 2528 2140 2264 2140 2180 2328 2284 2340 2380 2396 2140 2180 2140 2444 2604 2140 2456 2552 2180 2576 2140 2196 2272 2180 2140 2208 2252 2140 2140 2244 2520 2168 2140 2340 2536 2544 2452 2628 2524 2140 2180 2284 2516 2140 2664 2232 2564 2512 2340 2140 2140 2484 2140 2140 2496 2180 2396 2180 2536 2180 2300 2468 2324 2252 2528 2180 2440 2568 2140 2180 2496 2580 2292 2512 2140 2140 2180 2364 2552 2180 2228 2180 2168 2412 2180 2180 2380 2180 2380 2568 2140 2140 2180 2140 2276 2448 2180 2308 2468 2512 2384 2324 2180 2180 2376 2284 2588 2140 2436 2180 2140 2180 2196 2580 2140 2140 2456 2308 2352 2568 2532 2180 2180 2308 2140 2140 2260 2180 2284 2180 2476 2180 2528 2324 2232 2188 2340 2180 2308 2424 2512 2180 2496 2140 2140 2180 2620 2584 2512 2620 2180 2180 2180 2280 2180 2260 2496 2320 2184 2140 2180 2296 2556 2180 2324 2564 2140 2308 2180 2544 2300 2520 2380 2668 2320 2156 2180 2356 2352 2568 2624 2300 2524 2416 2140 2484 2180 2292 2180 2348 2348 2308 2580 2568 2180 2140 2140 2180 2464 2388 2180 2260 2220 2348 2532 2140 2140 2392 2140 2324 2496 2404 2512 2272 2460 2180 2552 2180 2180 2180 2644 2416 2140 2388 2524 2564 2640 2540 2500 2324 2324 2392 2716 2180 2140 2180 2180 2248 2148 2420 2528 2140 2536 2304 2140 2140 2420 2180 2676 2180 2512 2604 2180 2180 2140 2320 2356 2180 2144 2180 2380 2180 2284 2396 2380 2140 2348 2208 2340 2140 2140 2236 2180 2140 2180 2140 2180 2496 2140 2552 2180 2220 2164 2180 2208 2140 2424 2140 2512 2380 2500 2180 2260 2180 2300 2140 2564 2140 2332 2140 2340 2552 2392 2180 2620 2140 2180 2180 2532 2220 2252 2552 2564 2508 2140 2584 2140 2140 2180 2180 2464 2140 2528 2336 2140 2524 2528 2560 2140 2180 2460 2180 2180 2504 2140 2376 2552 2140 2536 2356 2140 2624 2284 2140 2180 2140 2140 2180 2140 2140 2496 2368 2352 2396 2140 2632 2292 2280 2444 2380 2140 2428 2168 2380 2232 2180 2180 2204 2180 2324 2552 2428 2340 2604 2424 2428 2396 2180 2140 2416 2296 2524 2356 2472 2404 2180 2180 2360 2180 2564 2348 2180 2180 2284 2512 2592 2180 2140 2524 2512 2644 2472 2140 2512 2232 2668 2180 2220 2140 2512 2324 2140 2208 2180 2340 2292 2192 2536 2180 2576 2300 2348 2140 2220 2572 2568 0 0 0 1 1 0 0 1 1 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 1 0 0 1 0 0 0 1 1 1 1 0 1 0 1 1 0 1 0 1 1 0 0 1 1 0 1 1 1 1 1 1 0 1 1 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 1 1 1 1 0 1 1 0 0 1 0 0 0 1 0 1 1 1 0 0 0 1 1 0 1 0 1 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 1 1 0 1 1 0 0 0 1 1 0 0 0 1 0 0 1 0 1 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 1 1 0 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 1 1 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 1 0 1 0 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 1 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 0 1 0 0 1 0 1 0 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 1 1 0 1 1 0 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 1 1 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 1 1 1 0 0 11 1 1 0 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 1 1 1 1 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 1 1 0 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 1 1 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 1 0 1 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 1 1 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 1 1 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 1 1 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 1 1 0 1 0 0 1 0 0 0 1 0 10 10 1 10 3 0 10 0 10 5 10 0 0 4 0 10 1 0 0 10 6 10 10 0 10 10 1 10 10 0 0 0 9 0 10 0 0 10 10 0 10 0 10 9 0 0 10 5 10 10 0 10 0 0 0 10 10 0 8 0 0 0 1 0 10 1 10 5 0 10 7 10 5 0 0 0 0 10 10 10 0 0 0 10 10 0 8 1 10 10 0 10 10 0 0 10 0 0 0 9 0 10 10 10 0 0 10 0 10 0 10 0 10 10 8 0 0 0 1 9 0 0 1 1 0 0 10 0 0 9 10 0 10 0 0 0 10 0 10 0 0 0 10 0 9 10 0 0 10 1 10 7 10 0 10 4 10 6 0 7 5 0 10 9 0 0 0 3 0 10 0 0 0 9 9 7 0 10 0 0 0 0 0 0 0 0 0 10 0 0 4 0 0 0 1 0 0 10 8 0 10 5 8 0 10 0 0 1 7 0 1 0 0 7 0 10 10 10 1 1 1 0 0 10 10 0 0 0 6 10 10 0 0 0 2 0 0 0 10 0 10 0 2 0 5 0 1 10 0 10 0 8 0 10 10 0 10 0 10 7 10 10 0 7 10 0 1 6 0 0 0 0 0 0 10 10 10 0 10 0 10 0 0 0 0 0 10 0 0 0 10 10 5 0 0 10 10 3 9 0 0 0 10 8 0 0 1 10 10 10 0 10 10 0 10 0 10 4 0 0 0 0 8 0 10 0 0 1 0 1 0 1 10 0 5 0 10 10 0 7 1 0 0 0 10 1 0 1 0 0 10 10 0 0 0 10 0 5 0 9 0 10 0 0 0 0 10 10 0 7 0 2 0 1 0 0 0 10 0 8 10 0 0 0 0 0 10 10 4 10 10 3 0 10 10 0 1 10 6 8 7 0 0 9 0 10 0 0 1 0 8 0 2 8 0 10 8 10 9 0 10 10 0 0 10 5 0 0 1 0 0 0 0 10 0 10 7 10 10 0 10 0 0 0 10 0 0 10 0 0 1 0 8 10 10 10 2 10 0 1 10 0 0 8 0 10 0 0 0 0 10 0 10 0 10 10 0 0 10 0 10 0 10 10 0 0 0 0 0 0 10 0 0 0 0 10 0 10 10 10 0 0 0 0 0 3 0 0 10 0 10 10 0 0 5 0 0 0 0 0 10 0 0 10 0 10 0 0 10 10 10 0 1 0 10 0 10 0 0 0 10 0 0 0 0 1 0 0 0 0 0 10 10 1 0 4 10 10 1 0 0 10 10 10 10 7 0 0 0 0 10 0 7 5 10 0 0 0 10 10 0 0 2 10 1 0 3 1 0 0 5 10 1 10 0 1 4 0 0 0 0 0 0 10 0 0 0 0 0 0 10 10 0 10 10 0 10 0 0 10 0 0 0 8 0 0 10 0 4 6 1 10 10 0 0 0 0 0 0 10 0 10 1 0 0 10 0 10 10 0 5 1 1 0 10 0 0 0 0 0 0 0 0 0 9 0 0 10 1 0 10 0 0 8 10 10 10 0 1 0 10 0 4 0 0 0 0 10 0 10 0 0 0 10 0 0 0 2 10 0 10 7 0 10 0 4 0 0 10 0 10 5 0 8 8 10 10 0 0 10 0 0 1 10 1 0 1 0 0 0 0 10 0 0 0 0 10 0 0 0 10 10 0 0 10 10 10 10 10 0 10 10 0 5 10 0 0 10 10 0 0 3 10 0 0 0 0 10 10 0 0 1 6 1 0 8 1 10 10 0 0 0 0 0 10 0 7 0 0 0 10 1 0 0 0 10 0 10 0 10 0 0 10 0 0 10 10 0 10 1 0 0 10 4 5 0 10 8 10 10 10 10 0 9 4 0 6 10 0 10 10 0 0 10 10 0 10 10 0 0 10 0 0 0 0 0 0 0 10 10 3 10 10 4 0 0 10 0 10 10 10 1 10 0 10 1 0 10 0 10 0 7 0 10 0 0 0 0 10 0 1 10 10 10 1 0 0 0 0 0 0 0 10 10 10 1 10 9 0 0 10 10 10 0 10 0 10 10 10 0 0 10 0 0 0 0 1 0 0 10 0 0 10 1 0 0 1 0 0 0 0 10 0 0 0 10 2 0 1 1 10 0 0 0 0 10 0 10 0 10 0 0 0 10 10 0 7 10 10 10 8 0 0 10 0 1 0 10 0 0 0 0 0 0 0 0 10 10 0 1 0 2 10 2 8 10 10 0 0 0 8 10 1 10 1 0 10 0 1 0 10 0 1 0 10 8 10 10 10 10 10 0 7 0 0 0 0 10 0 0 10 0 0 1 1 0 10 1 0 10 1 0 0 0 0 0 7 10 0 0 0 10 10 10 0 0 0 0 0 0 1 10 10 0 0 0 10 10 7 10 4 2 10 0 9 1 0 0 1 0 0 0 10 0 10 10 0 9 0 0 0 10 0 0 10 8 0 1 10 0 10 0 0 0 10 0 0 0 0 0 5 4 0 0 10 10 0 10 0 0 0 3 10 0 1 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 1 10 10 5 0 6 10 10 8 10 10 0 0 0 10 0 10 0 0 0 10 0 0 1 1 0 10 0 0 1 0 0 7 10 10 0 0 0 0 0 0 7 0 10 0 4 10 1 0 1 1 4 0 0 0 10 0 0 10 1 0 0 0 10 0 0 10 1 0 10 10 10 10 0 0 0 10 10 0 0 10 0 0 1 0 0 10 10 0 0 9 0 0 0 10 6 0 0 0 0 10 10 10 0 10 10 10 0 0 0 0 0 0 0 0 0 10 10 10 0 1 10 4 0 10 10 1 0 1 0 7 10 0 10 0 0 0 0 1 0 0 0 0 0 0 8 6 0 10 0 0 10 0 10 9 0 10 0 10 9 0 10 0 10 10 0 0 0 9 10 10 1 0 0 0 10 4 1 8 0 0 1 0 1 0 0 10 10 1 0 10 0 0 0 10 0 10 10 2 10 0 0 9 0 1 1 9 10 10 0 0 0 0 0 0 5 0 9 1 0 0 10 10 0 10 5 0 8 0 0 0 0 0 3 0 10 0 0 10 0 1 0 0 10 0 1 10 10 10 0 10 0 0 0 10 0 0 0 0 0 7 0 0 1 10 10 10 1 6 0 0 0 0 0 10 0 3 0 0 10 10 0 10 0 10 2 10 10 0 10 0 6 10 0 0 8 0 10 0 0 0 7 1 8 0 0 10 7 10 10 10 0 10 10 10 10 10 1 0 10 0 10 0 0 0 0 5 0 0 0 0 1 10 0 0 0 0 1 0 1 0 5 0 0 10 0 0 0 0 0 0 1 0 10 0 10 1 0 0 0 10 0 0 10 3 10 0 10 10 10 0 0 5 0 0 5 10 0 0 10 10 0 6 0 10 5 1 0 10 10 9 0 0 10 10 10 10 0 10 10 0 8 10 10 0 0 0 1 10 0 0 10 8 10 0 10 10 10 10 0 0 0 0 0 9 6 0 10 10 0 10 0 0 4 10 0 0 10 0 0 0 0 10 10 10 0 0 0 1 0 10 0 9 0 10 10 0 4 10 10 10 10 0 10 1 0 10 6 0 9 0 0 10 6 10 1 1 10 0 10 10 0 0 10 0 10 10 1 0 0 0 0 10 0 1 10 0 0 0 5 10 0 10 0 10 0 10 10 0 0 0 1 10 0 10 0 0 0 1 1 7 10 10 10 0 0 0 0 0 10 0 1 0 0 0 0 0 10 0 0 1 0 0 0 0 10 10 0 10 10 0 0 0 1 10 0 0 8 0 0 10 10 1 10 0 0 0 0 0 5 0 0 10 10 0 1 0 10 0 0 10 10 10 10 10 1 1 10 0 10 0 10 10 0 0 0 0 0 10 10 10 0 5 10 10 0 10 0 0 8 0 0 1 10 8 10 0 0 4 0 10 0 7 10 0 6 0 0 0 0 10 0 0 0 10 10 0 1 0 10 0 10 10 10 10 10 7 0 0 1 0 6 10 0 10 10 0 9 10 0 10 0 0 0 0 10 0 7 10 1 0 1 8 10 10 0 7 0 0 10 10 8 9 0 0 0 6 10 0 0 10 7 0 0 0 7 10 10 0 0 0 0 7 9 0 0 0 10 0 0 0 0 10 0 0 9 0 10 10 0 0 1 6 0 10 0 2 8 6 10 1 1 0 10 10 9 0 0 0 10 0 10 7 10 0 10 10 0 1 0 10 0 0 9 10 10 0 0 0 9 0 0 1 0 0 10 10 0 10 10 0 0 10 10 0 0 1 2 0 10 0 10 0 0 9 0 10 10 0 0 10 1 0 0 10 10 0 9 8 9 0 10 0 0 0 0 0 0 0 10 0 10 1 0 9 0 10 0 10 10 10 0 0 0 0 0 0 6 0 0 0 0 0 0 0 10 10 10 10 2 9 0 0 10 10 1 0 0 0 10 0 0 10 0 0 8 0 10 0 10 10 10 0 7 0 0 10 0 1 10 0 0 0 1 8 8 0 1 10 10 0 1 9 10 10 0 0 0 0 10 10 0 6 0 10 0 10 0 0 0 0 0 0 0 0 3 10 8 10 0 0 1 0 10 10 8 0 0 0 0 1 0 0 0 0 10 0 0 10 0 0 10 0 0 10 2 1 10 6 10 1 0 10 0 0 0 0 0 10 7 0 0 10 10 10 6 10 10 0 0 7 10 9 9 1 10 10 10 0 0 10 0 0 4 0 5 10 0 10 10 0 3 0 1 1 10 0 2 1 0 10 1 0 0 10 0 0 10 0 0 0 10 0 0 0 0 0 1 0 0 0 0 9 3 8 7 9 0 0 10 1 5 0 0 0 10 0 9 0 0 10 0 2 10 0 0 0 10 0 10 6 0 0 1 10 10 0 0 9 2 1 10 1 0 10 10 0 10 9 4 1 0 10 10 0 0 6 0 10 10 10 10 0 10 0 0 10 10 10 0 0 0 0 6 0 0 0 0 10 10 0 1 7 0 0 5 0 0 0 10 0 0 10 0 0 0 0 0 10 7 10 10 10 0 10 0 0 0 0 0 10 1 0 0 10 10 0 0 7 8 0 0 0 0 0 0 0 2 0 8 0 1 0 0 10 2 1 1 1 10 0 10 10 0 9 8 0 0 0 0 0 10 0 10 0 0 8 6 10 0 0 10 9 0 0 7 0 0 10 10 0 10 10 1 0 10 0 0 10 0 0 0 1 1 0 0 0 3 0 0 0 10 0 0 10 10 8 0 0 0 8 10 10 1 10 0 6 10 1 9 0 10 0 10 0 6 0 10 1 0 0 0 10 0 0 6 0 0 6 10 0 1 0 10 10 10 0 10 10 0 0 10 0 0 10 5 0 0 0 0 0 2 0 7 0 10 8 0 6 10 0 0 10 0 10 0 10 10 0 4 0 10 6 4 0 0 0 1 0 10 0 0 1 10 0 10 10 0 0 0 0 0 10 0 10 9 0 0 10 0 0 0 10 0 0 10 0 0 0 8 10 1 0 10 1 10 10 10 0 5 0 2 0 1 10 0 0 0 0 10 8 8 10 10 10 0 10 2 10 10 10 0 0 10 0 0 0 7 10 0 0 6 0 0 0 10 0 0 0 0 10 6 10 1 0 0 0 7 0 0 10 10 0 10 0 1 0 10 3 0 10 0 10 0 1 9 0 0 0 10 10 0 10 1 0 0 0 0 0 0 0 10 1 10 7 10 0 0 1 0 0 10 0 10 10 0 0 10 1 0 10 0 7 0 0 0 9 10 10 9 4 0 10 0 0 0 0 8 10 10 10 8 10 0 4 10 0 1 0 0 1 10 9 10 1 1 9 10 10 10 1 0 0 0 0 0 10 10 0 6 0 1 1 1 10 0 0 10 0 10 0 0 0 0 0 10 1 0 0 2 0 10 0 4 10 1 0 10 10 0 10 6 0 3 0 0 0 0 9 10 10 0 0 0 10 0 10 1 1 0 0 0 0 7 10 0 0 10 0 0 10 0 0 10 10 10 0 0 0 10 0 10 10 10 5 0 0 10 0 10 0 10 10 4 0 10 0 10 10 0 9 0 0 3 0 0 9 3 10 10 10 9 0 0 1 10 10 10 4 0 0 0 0 10 0 10 0 10 10 0 1 0 1 0 1 0 0 0 10 0 9 6 10 8 0 0 0 0 0 0 0 10 1 1 10 0 1 4 0 10 10 10 10 10 0 1 0 0 10 10 0 0 0 10 0 0 0 10 0 10 0 9 1 7 10 10 8 0 0 0 0 10 1 10 10 0 10 0 0 1 0 0 1 10 0 0 0 10 0 0 0 0 5 10 0 1 0 9 0 0 10 10 0 0 0 10 1 10 1 10 0 10 1 0 10 0 0 0 0 1 0 6 0 0 10 0 0 10 10 0 7 10 10 0 0 5 10 10 10 0 0 10 10 10 1 0 10 9 10 10 0 10 10 8 10 0 10 0 0 0 0 0 0 0 0 8 0 10 10 10 7 1 0 0 0 10 10 0 0 0 10 0 0 0 0 1 0 0 8 0 0 1 0 0 10 0 0 0 1 10 10 10 0 0 7 0 0 0 10 9 0 10 0 0 0 0 0 0 0 0 1 10 0 0 0 10 0 10 6 10 10 0 10 0 1 0 3 10 0 0 0 0 10 0 0 1 10 0 0 1 0 0 1 1 10 0 0 10 0 5 10 0 0 10 0 10 0 10 10 0 0 0 0 0 10 0 10 0 10 10 0 0 10 6 0 0 10 0 6 10 0 0 10 0 10 0 10 3 0 0 0 0 10 0 5 1 0 0 10 10 0 1 10 10 10 6 0 1 10 10 9 10 10 0 10 0 0 10 0 0 9 10 0 244 256 12 296 256 184 136 132 296 256 176 296 296 296 136 40 488 0 0 0 208 96 80 0 0 0 212 152 160 140 108 200 32 160 180 196 160 196 408 160 52 156 128 500 540 540 388 236 108 80 40 132 312 80 292 80 40 292 344 344 240 344 344 304 192 24 344 384 128 304 44 80 292 80 80 408 316 40 160 236 36 80 80 40 80 284 412 40 396 428 40 428 40 0 40 0 64 240 44 96 244 160 32 376 200 200 224 124 156 160 132 0 0 172 40 144 144 0 144 144 28 392 40 0 240 40 244 0 40 0 0 40 0 392 0 40 300 104 40 40 272 40 0 40 200 56 40 40 196 104 248 0 128 0 40 56 40 0 168 40 168 40 396 40 40 0 220 96 336 52 480 0 480 40 12 272 272 172 100 84 204 100 272 156 132 88 24 84 20 132 84 60 156 20 92 0 132 312 0 388 356 40 0 180 96 80 0 288 288 40 348 308 348 308 160 308 332 4 240 68 268 308 136 348 40 0 0 40 148 80 304 40 356 40 40 0 40 0 40 40 0 188 0 388 336 40 40 344 0 0 80 40 40 0 0 24 8 208 208 368 8 8 276 80 8 0 244 156 64 168 188 156 220 16 268 52 328 128 184 152 144 164 120 56 92 112 312 488 488 448 488 144 304 396 248 308 48 344 488 448 488 272 16 356 160 8 236 24 356 96 244 368 356 128 128 0 224 36 28 184 352 312 200 112 312 24 152 312 352 284 352 312 312 412 0 212 388 360 280 372 216 240 388 40 0 304 396 40 0 40 332 40 40 112 0 52 0 12 176 480 364 16 244 520 16 156 176 216 216 40 88 96 176 56 216 72 40 140 124 172 212 412 168 96 196 136 56 412 40 40 40 0 40 40 0 0 0 252 40 40 40 220 276 476 420 88 48 220 408 8 436 104 144 0 404 300 152 40 40 40 0 0 4 40 40 40 40 216 136 176 136 176 168 8 136 176 176 136 360 136 176 136 40 300 28 0 40 332 0 40 36 0 264 0 0 0 40 32 40 12 40 336 356 40 268 0 112 152 200 0 332 356 132 76 168 168 168 208 200 208 76 208 168 168 116 8 0 68 40 156 40 40 576 40 40 480 40 140 528 80 40 0 0 40 344 184 0 180 0 400 536 0 40 0 208 128 200 88 88 128 88 12 268 88 88 92 88 104 0 40 304 40 128 80 0 140 0 40 0 40 0 160 40 40 144 40 0 68 236 56 372 372 372 204 96 372 40 0 76 320 172 96 412 372 396 28 52 172 56 332 204 72 120 316 72 88 72 276 80 168 148 100 172 116 40 40 0 40 40 212 40 168 0 0 40 388 40 0 40 96 32 80 40 160 200 264 0 148 348 0 24 40 68 40 40 0 40 40 160 268 260 16 128 244 44 148 40 296 80 0 304 68 40 40 40 0 40 40 108 312 340 96 340 52 88 40 0 304 184 40 40 80 0 40 140 40 496 40 160 188 340 300 300 300 300 84 140 300 300 156 76 412 40 292 72 256 40 40 40 68 324 0 200 452 356 116 392 236 488 292 448 488 16 0 40 344 184 0 120 0 400 536 0 40 0 40 40 0 384 40 136 144 92 212 384 40 360 0 528 52 316 72 304 136 328 64 68 104 0 96 128 104 0 40 0 536 332 320 0 488 40 208 44 256 216 216 216 216 168 88 40 228 0 24 228 144 144 104 180 52 144 12 332 40 40 460 72 196 112 332 0 156 108 248 100 40 180 232 40 0 284 40 464 36 372 0 0 388 336 40 120 40 16 108 0 252 80 0 396 72 364 0 40 128 440 4 240 40 0 40 352 348 0 124 40 88 0 40 40 40 0 0 0 0 160 0 344 184 0 0 40 120 536 200 0 40 8 388 4 348 204 32 348 0 380 240 0 0 40 0 424 0 40 332 12 232 12 232 316 276 84 92 72 260 232 260 436 144 40 40 576 40 360 40 0 140 528 148 40 348 400 296 0 24 304 40 68 40 0 40 148 148 68 156 188 148 188 104 144 296 24 104 268 240 0 188 200 212 108 224 40 44 12 172 120 200 200 160 64 164 148 240 96 244 40 132 156 112 96 140 216 256 132 40 216 76 216 0 200 356 428 40 40 40 372 132 240 0 40 144 28 344 332 52 488 344 80 280 0 316 0 372 196 52 176 328 40 40 40 140 40 252 40 40 40 40 220 332 184 216 180 96 80 48 20 52 116 92 16 40 36 80 224 304 76 80 92 68 0 0 180 0 80 0 0 0 28 40 372 96 148 136 4 64 276 72 80 224 228 372 244 80 212 40 144 40 80 140 316 360 0 324 268 228 12 100 396 104 0 40 272 40 412 40 144 288 332 16 56 216 56 16 372 16 12 16 64 356 172 56 56 104 252 68 292 352 92 52 76 108 108 348 360 152 356 484 0 388 0 0 28 0 80 40 40 0 0 40 40 200 92 24 40 68 144 312 28 304 44 256 28 216 196 28 128 128 112 112 72 112 112 72 368 0 112 84 112 72 0 92 248 464 24 368 324 412 0 80 40 308 40 40 428 40 40 40 120 0 228 0 96 292 104 64 64 64 64 104 308 400 228 96 52 340 380 340 336 340 380 380 380 12 380 380 340 340 340 376 132 12 208 12 28 152 12 40 92 28 36 400 0 40 156 40 144 332 172 200 160 172 160 128 160 172 160 60 52 212 356 96 16 396 156 140 396 244 0 32 364 260 364 48 48 20 404 40 404 312 272 200 272 216 192 112 100 116 84 160 156 112 448 36 116 328 64 44 448 116 344 248 240 0 8 100 184 4 40 28 40 200 120 372 40 24 0 184 0 208 0 0 144 0 176 16 160 40 40 144 116 0 88 284 8 240 64 64 168 56 88 216 12 108 224 336 160 0 356 0 356 400 240 364 0 424 524 136 96 484 132 112 136 288 304 348 92 48 228 332 320 392 240 96 24 212 20 408 4 32 292 384 220 284 204 88 48 16 372 280 44 160 68 160 52 40 184 440 168 244 184 40 0 200 372 112 440 392 40 40 412 40 92 40 40 224 344 164 304 344 344 304 388 40 120 344 0 0 80 40 396 0 160 40 40 528 504 280 280 40 256 316 316 32 356 144 32 144 316 212 356 112 0 40 40 40 40 72 200 112 396 144 116 256 208 224 48 228 176 40 40 140 40 280 0 40 40 40 248 248 28 96 124 152 52 148 40 392 396 112 24 0 196 384 208 124 0 104 12 304 80 0 160 120 160 120 48 0 288 272 288 328 288 288 76 288 288 328 288 108 288 188 88 144 0 188 28 244 0 144 144 144 112 316 184 104 212 112 40 152 72 72 244 348 268 348 388 280 348 388 56 188 80 280 0 176 0 28 144 144 140 92 56 24 20 44 132 388 388 244 72 56 188 388 388 192 16 88 92 180 160 180 96 0 288 40 200 0 40 40 0 424 40 12 212 308 0 220 356 316 160 36 212 316 316 96 68 344 400 112 152 148 152 112 44 112 136 112 0 48 0 332 332 40 528 320 40 256 40 80 364 40 384 428 40 40 0 0 40 40 40 40 128 144 40 332 292 396 148 148 56 92 260 224 132 232 372 48 200 400 348 0 384 120 352 0 40 280 88 88 48 88 8 88 88 88 376 200 56 0 96 172 0 40 40 0 0 0 0 40 488 332 40 452 0 304 408 232 180 116 60 156 112 92 32 40 340 320 0 200 380 104 40 104 0 40 536 0 0 0 40 100 40 200 240 200 200 240 200 240 240 240 200 200 200 40 332 40 0 0 40 352 424 0 132 72 0 40 16 76 388 0 424 40 0 0 40 0 392 40 0 360 0 424 0 0 40 168 212 240 200 16 440 40 412 40 40 40 180 0 384 0 0 0 0 444 432 236 96 348 136 56 144 96 224 136 4 308 268 120 196 268 268 268 80 308 308 148 0 0 92 348 40 36 40 0 128 204 0 156 16 12 40 288 288 188 76 76 288 288 288 328 132 288 212 0 0 36 244 112 112 144 204 184 64 144 184 4 184 352 200 184 144 352 376 168 120 40 0 40 172 388 196 28 264 52 148 240 144 56 180 240 144 52 64 60 408 240 448 208 408 0 120 0 180 400 284 40 0 40 168 12 0 40 0 0 100 0 0 0 40 0 180 40 40 428 0 40 40 40 40 0 0 0 0 40 0 464 176 36 0 40 16 56 228 16 16 16 228 356 16 16 164 16 36 400 440 64 336 212 276 280 0 216 0 284 216 208 208 248 424 40 40 428 164 176 236 96 184 308 316 76 276 116 0 12 152 172 204 12 200 152 184 184 268 428 72 56 208 240 32 208 140 32 392 128 352 340 0 0 0 40 40 188 120 128 388 212 0 0 0 40 48 408 128 168 128 168 228 168 116 40 140 252 40 40 40 40 0 40 220 40 536 0 0 40 40 80 120 120 80 416 120 120 120 40 40 0 360 496 40 12 104 144 104 216 268 104 144 68 240 0 40 12 296 320 8 336 336 296 12 268 336 0 40 172 40 36 0 404 284 228 112 348 348 32 348 348 236 96 116 184 388 92 40 292 52 92 60 120 168 48 16 200 184 200 0 184 200 292 56 132 0 120 0 40 332 40 104 236 168 292 40 96 128 128 128 100 244 196 76 100 100 0 32 284 256 168 148 72 372 52 280 116 0 0 0 128 24 40 68 0 344 40 80 316 0 40 40 0 0 0 392 0 0 40 40 40 536 0 356 4 0 40 40 40 352 0 0 264 40 272 204 420 404 444 404 72 364 292 192 16 372 220 308 40 216 0 440 480 264 264 336 388 0 196 0 0 392 0 100 212 0 0 0 0 196 356 0 100 0 0 40 0 180 0 100 100 100 100 100 140 80 36 0 0 0 176 396 80 224 120 120 80 80 308 188 140 148 148 84 100 176 32 108 4 100 44 44 44 348 380 328 4 44 0 0 4 0 252 40 40 40 24 304 68 40 0 40 0 40 120 148 216 128 324 232 336 116 272 44 44 52 208 272 0 0 0 0 0 488 40 40 24 40 116 228 308 148 160 184 384 424 0 424 208 40 40 40 396 372 92 256 372 372 200 40 272 244 220 244 168 72 100 80 188 12 8 404 16 48 212 32 40 252 212 132 380 240 0 240 160 0 240 408 172 208 488 488 464 356 180 180 140 180 16 168 24 168 16 388 0 0 356 0 80 40 324 40 188 344 224 216 196 208 152 216 140 72 216 180 212 4 172 212 160 388 388 56 388 220 144 104 16 56 276 204 228 444 444 332 56 116 160 120 120 48 160 80 8 28 20 0 52 112 136 60 68 384 400 0 0 452 344 236 344 304 304 344 344 0 24 152 112 112 128 152 112 232 128 40 28 40 0 0 168 168 48 68 156 0 44 188 180 128 168 88 48 140 128 192 160 156 224 388 308 32 44 428 428 212 0 40 0 0 0 40 0 0 324 364 0 52 0 40 40 40 480 412 0 200 384 0 160 0 40 188 24 344 40 100 48 204 60 324 176 248 104 104 40 536 0 0 40 40 100 244 488 80 80 20 80 56 252 40 40 280 112 80 60 448 76 192 148 56 80 48 20 392 40 276 0 0 96 0 0 288 40 576 40 144 360 40 40 528 212 212 212 212 252 212 32 0 4 40 136 12 148 156 56 92 104 92 332 372 332 0 48 12 52 280 320 280 84 280 460 412 156 212 56 40 0 180 140 56 372 320 0 40 100 40 76 84 60 236 224 0 0 248 24 52 208 384 424 384 28 500 68 136 400 292 120 320 320 204 360 200 360 240 144 32 0 32 188 228 136 276 100 576 576 84 40 0 40 352 40 216 0 0 80 0 0 212 288 28 120 372 176 0 52 40 28 80 40 40 40 372 108 68 68 108 108 108 416 428 184 212 280 24 240 92 108 148 388 296 388 244 180 96 80 0 0 412 0 288 216 40 152 396 28 8 396 44 28 120 0 40 0 276 0 0 256 92 188 280 200 92 0 0 488 536 536 0 212 0 40 444 344 40 176 24 372 352 264 424 152 0 200 28 40 188 40 92 464 180 16 36 108 24 104 216 176 56 104 160 0 292 36 192 352 0 0 0 0 92 0 180 0 16 48 320 104 164 216 200 240 24 192 412 444 152 284 208 208 228 28 52 160 356 68 92 160 40 200 48 424 40 40 0 40 0 392 444 40 40 96 116 192 40 444 0 40 40 0 0 120 144 40 52 120 40 320 40 40 452 0 40 180 0 156 56 356 100 80 72 40 392 356 40 80 40 28 120 80 132 412 52 208 40 340 24 360 24 40 40 0 124 12 68 88 0 388 196 0 288 32 200 284 284 0 288 288 384 92 372 204 44 180 240 240 320 320 360 220 168 320 0 40 120 120 108 264 40 372 196 0 24 144 0 0 0 40 40 0 384 52 480 0 212 288 40 452 60 192 152 96 180 480 392 0 0 188 200 104 372 12 40 136 108 252 104 180 172 216 248 332 224 12 108 144 0 40 372 0 40 0 0 392 352 352 40 80 76 104 48 128 136 168 20 368 132 184 4 364 444 88 60 0 0 412 0 0 332 184 40 0 40 372 116 180 168 64 284 180 40 40 348 188 196 152 40 40 64 156 200 68 112 4 100 40 40 40 356 40 100 488 80 0 0 100 200 384 40 8 32 0 184 80 248 40 0 68 64 212 40 0 160 484 200 228 56 144 384 0 0 160 116 288 208 184 0 0 40 0 80 204 292 164 116 56 0 40 40 436 252 28 4 8 60 92 196 428 144 164 104 248 12 40 240 148 336 24 116 400 24 168 28 144 16 196 372 64 176 200 100 32 248 40 0 80 208 68 344 52 292 264 180 0 180 0 332 464 52 40 40 216 52 52 304 56 388 184 372 448 28 </values>
2519.50/2520.01	v </instantiation>

Verifier Data 

OK	1049785773

Watcher Data 

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 (4693 MiB free)
  memory of node 1: 16384 MiB (892 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304126-1534010700/watcher-4304126-1534010700 -o /tmp/evaluation-result-4304126-1534010700/solver-4304126-1534010700 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1533992764-9380 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2115992322 HOME/instance-4304126-1534010700.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=11107, runsolver pid=11104

[startup+0.100119 s]*
/proc/loadavg: 2.01 2.02 2.05 3/192 11108
/proc/meminfo: memFree=5700224/32770624 swapFree=67108860/67108860
[pid=11107] ppid=11104 vsize=48864 memory=22960 CPUtime=0.1 cores=0,2,4,6
/proc/11107/stat : 11107 (MistralXCSP) R 11104 11107 9349 0 -1 4202496 6222 0 0 0 10 0 0 0 20 0 1 0 218633225 50036736 5740 33554432000 4194304 7499544 140724956132288 140724956129288 140229535689701 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16392192 140724956140653 140724956140803 140724956140803 140724956143561 0
/proc/11107/statm: 12216 5740 628 807 0 5207 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48864 KiB
Current children cumulated memory: 22960 KiB

[startup+0.209827 s]*
/proc/loadavg: 2.01 2.02 2.05 3/192 11108
/proc/meminfo: memFree=5695016/32770624 swapFree=67108860/67108860
[pid=11107] ppid=11104 vsize=53024 memory=27448 CPUtime=0.21 cores=0,2,4,6
/proc/11107/stat : 11107 (MistralXCSP) R 11104 11107 9349 0 -1 4202496 7310 0 0 0 20 1 0 0 20 0 1 0 218633225 54296576 6862 33554432000 4194304 7499544 140724956132288 140724956129288 5838664 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16392192 140724956140653 140724956140803 140724956140803 140724956143561 0
/proc/11107/statm: 13256 6862 704 807 0 6247 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 53024 KiB
Current children cumulated memory: 27448 KiB

[startup+0.30947 s]*
/proc/loadavg: 2.01 2.02 2.05 3/192 11108
/proc/meminfo: memFree=5693156/32770624 swapFree=67108860/67108860
[pid=11107] ppid=11104 vsize=54772 memory=29032 CPUtime=0.31 cores=0,2,4,6
/proc/11107/stat : 11107 (MistralXCSP) R 11104 11107 9349 0 -1 4202496 7758 0 0 0 30 1 0 0 20 0 1 0 218633225 56086528 7258 33554432000 4194304 7499544 140724956132288 140724956129288 140229535689701 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16392192 140724956140653 140724956140803 140724956140803 140724956143561 0
/proc/11107/statm: 13693 7258 704 807 0 6684 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 54772 KiB
Current children cumulated memory: 29032 KiB

[startup+0.700249 s]
/proc/loadavg: 2.01 2.02 2.05 3/192 11108
/proc/meminfo: memFree=5685096/32770624 swapFree=67108860/67108860
[pid=11107] ppid=11104 vsize=67544 memory=41968 CPUtime=0.69 cores=0,2,4,6
/proc/11107/stat : 11107 (MistralXCSP) R 11104 11107 9349 0 -1 4202496 10993 0 0 0 68 1 0 0 20 0 1 0 218633225 69165056 10492 33554432000 4194304 7499544 140724956132288 140724956123288 4223712 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16392192 140724956140653 140724956140803 140724956140803 140724956143561 0
/proc/11107/statm: 16886 10492 704 807 0 9877 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 67544 KiB
Current children cumulated memory: 41968 KiB

[startup+1.50025 s]
/proc/loadavg: 2.01 2.02 2.05 3/192 11108
/proc/meminfo: memFree=5670256/32770624 swapFree=67108860/67108860
[pid=11107] ppid=11104 vsize=91908 memory=66256 CPUtime=1.49 cores=0,2,4,6
/proc/11107/stat : 11107 (MistralXCSP) R 11104 11107 9349 0 -1 4202496 17093 0 0 0 147 2 0 0 20 0 1 0 218633225 94113792 16564 33554432000 4194304 7499544 140724956132288 140724956123288 5789828 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16392192 140724956140653 140724956140803 140724956140803 140724956143561 0
/proc/11107/statm: 22977 16564 720 807 0 15968 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 91908 KiB
Current children cumulated memory: 66256 KiB

[startup+3.11014 s]
/proc/loadavg: 2.01 2.02 2.05 3/191 11108
/proc/meminfo: memFree=5579928/32770624 swapFree=67108860/67108860
[pid=11107] ppid=11104 vsize=131120 memory=105396 CPUtime=3.1 cores=0,2,4,6
/proc/11107/stat : 11107 (MistralXCSP) R 11104 11107 9349 0 -1 4202496 27866 0 0 0 307 3 0 0 20 0 1 0 218633225 134266880 26349 33554432000 4194304 7499544 140724956132288 140724956125528 5880072 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 16392192 140724956140653 140724956140803 140724956140803 140724956143561 0
/proc/11107/statm: 32780 26349 720 807 0 25771 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 131120 KiB
Current children cumulated memory: 105396 KiB

[startup+6.30023 s]
/proc/loadavg: 2.01 2.02 2.05 3/191 11108
/proc/meminfo: memFree=5541576/32770624 swapFree=67108860/67108860
[pid=11107] ppid=11104 vsize=212060 memory=186272 CPUtime=6.29 cores=0,2,4,6
/proc/11107/stat : 11107 (MistralXCSP) R 11104 11107 9349 0 -1 4202496 50949 0 0 0 622 7 0 0 20 0 1 0 218633225 217149440 46568 33554432000 4194304 7499544 140724956132288 140724956123592 5881856 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16392192 140724956140653 140724956140803 140724956140803 140724956143561 0
/proc/11107/statm: 53015 46568 720 807 0 46006 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 212060 KiB
Current children cumulated memory: 186272 KiB

[startup+12.7002 s]
/proc/loadavg: 2.01 2.02 2.05 3/191 11108
/proc/meminfo: memFree=5390452/32770624 swapFree=67108860/67108860
[pid=11107] ppid=11104 vsize=373316 memory=347704 CPUtime=12.68 cores=0,2,4,6
/proc/11107/stat : 11107 (MistralXCSP) R 11104 11107 9349 0 -1 4202496 95020 0 0 0 1256 12 0 0 20 0 1 0 218633225 382275584 86926 33554432000 4194304 7499544 140724956132288 140724956125528 5880816 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16392192 140724956140653 140724956140803 140724956140803 140724956143561 0
/proc/11107/statm: 93329 86926 720 807 0 86320 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 373316 KiB
Current children cumulated memory: 347704 KiB

[startup+25.5002 s]
/proc/loadavg: 2.01 2.02 2.05 3/191 11108
/proc/meminfo: memFree=5061248/32770624 swapFree=67108860/67108860
[pid=11107] ppid=11104 vsize=696684 memory=670932 CPUtime=25.49 cores=0,2,4,6
/proc/11107/stat : 11107 (MistralXCSP) R 11104 11107 9349 0 -1 4202496 179505 0 0 0 2525 24 0 0 20 0 1 0 218633225 713404416 167733 33554432000 4194304 7499544 140724956132288 140724956125528 5880910 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16392192 140724956140653 140724956140803 140724956140803 140724956143561 0
/proc/11107/statm: 174171 167733 720 807 0 167162 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 696684 KiB
Current children cumulated memory: 670932 KiB

[startup+51.1095 s]
/proc/loadavg: 2.01 2.02 2.05 3/191 11108
/proc/meminfo: memFree=4404940/32770624 swapFree=67108860/67108860
[pid=11107] ppid=11104 vsize=1342036 memory=1316128 CPUtime=51.09 cores=0,2,4,6
/proc/11107/stat : 11107 (MistralXCSP) R 11104 11107 9349 0 -1 4202496 344473 0 0 0 5063 46 0 0 20 0 1 0 218633225 1374244864 329032 33554432000 4194304 7499544 140724956132288 140724956125528 5880904 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16392192 140724956140653 140724956140803 140724956140803 140724956143561 0
/proc/11107/statm: 335509 329032 720 807 0 328500 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 1342036 KiB
Current children cumulated memory: 1316128 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 11109
/proc/meminfo: memFree=3290752/32770624 swapFree=67108860/67108860
[pid=11107] ppid=11104 vsize=2449372 memory=2424044 CPUtime=102.26 cores=0,2,4,6
/proc/11107/stat : 11107 (MistralXCSP) R 11104 11107 9349 0 -1 4202496 836294 0 0 0 10132 94 0 0 20 0 1 0 218633225 2508156928 606011 33554432000 4194304 7499544 140724956132288 140724956126824 5791014 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16392192 140724956140653 140724956140803 140724956140803 140724956143561 0
/proc/11107/statm: 612343 606011 762 807 0 605334 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 2449372 KiB
Current children cumulated memory: 2424044 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 11110
/proc/meminfo: memFree=3279248/32770624 swapFree=67108860/67108860
[pid=11107] ppid=11104 vsize=2461428 memory=2436104 CPUtime=162.25 cores=0,2,4,6
/proc/11107/stat : 11107 (MistralXCSP) R 11104 11107 9349 0 -1 4202496 1136965 0 0 0 16116 109 0 0 20 0 1 0 218633225 2520502272 609026 33554432000 4194304 7499544 140724956132288 140724956126744 4253264 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16392192 140724956140653 140724956140803 140724956140803 140724956143561 0
/proc/11107/statm: 615357 609026 762 807 0 608348 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 2461428 KiB
Current children cumulated memory: 2436104 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 11111
/proc/meminfo: memFree=3277768/32770624 swapFree=67108860/67108860
[pid=11107] ppid=11104 vsize=2462224 memory=2436928 CPUtime=222.22 cores=0,2,4,6
/proc/11107/stat : 11107 (MistralXCSP) R 11104 11107 9349 0 -1 4202496 1353857 0 0 0 22103 119 0 0 20 0 1 0 218633225 2521317376 609232 33554432000 4194304 7499544 140724956132288 140724956127304 5770208 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16392192 140724956140653 140724956140803 140724956140803 140724956143561 0
/proc/11107/statm: 615556 609232 765 807 0 608547 0
Current children cumulated CPU time: 222.22 s
Current children cumulated vsize: 2462224 KiB
Current children cumulated memory: 2436928 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 11112
/proc/meminfo: memFree=3277532/32770624 swapFree=67108860/67108860
[pid=11107] ppid=11104 vsize=2462224 memory=2436928 CPUtime=282.21 cores=0,2,4,6
/proc/11107/stat : 11107 (MistralXCSP) R 11104 11107 9349 0 -1 4202496 1375714 0 0 0 28101 120 0 0 20 0 1 0 218633225 2521317376 609232 33554432000 4194304 7499544 140724956132288 140724956127304 5770249 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16392192 140724956140653 140724956140803 140724956140803 140724956143561 0
/proc/11107/statm: 615556 609232 765 807 0 608547 0
Current children cumulated CPU time: 282.21 s
Current children cumulated vsize: 2462224 KiB
Current children cumulated memory: 2436928 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 11121
/proc/meminfo: memFree=3277036/32770624 swapFree=67108860/67108860
[pid=11107] ppid=11104 vsize=2462224 memory=2436928 CPUtime=342.2 cores=0,2,4,6
/proc/11107/stat : 11107 (MistralXCSP) R 11104 11107 9349 0 -1 4202496 1403555 0 0 0 34098 122 0 0 20 0 1 0 218633225 2521317376 609232 33554432000 4194304 7499544 140724956132288 140724956127304 4249975 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16392192 140724956140653 140724956140803 140724956140803 140724956143561 0
/proc/11107/statm: 615556 609232 765 807 0 608547 0
Current children cumulated CPU time: 342.2 s
Current children cumulated vsize: 2462224 KiB
Current children cumulated memory: 2436928 KiB

[startup+402.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/192 11123
/proc/meminfo: memFree=3275100/32770624 swapFree=67108860/67108860
[pid=11107] ppid=11104 vsize=2464972 memory=2439648 CPUtime=402.19 cores=0,2,4,6
/proc/11107/stat : 11107 (MistralXCSP) R 11104 11107 9349 0 -1 4202496 1710527 0 0 0 40083 136 0 0 20 0 1 0 218633225 2524131328 609912 33554432000 4194304 7499544 140724956132288 140724956127304 5648706 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16392192 140724956140653 140724956140803 140724956140803 140724956143561 0
/proc/11107/statm: 616243 609912 765 807 0 609234 0
Current children cumulated CPU time: 402.19 s
Current children cumulated vsize: 2464972 KiB
Current children cumulated memory: 2439648 KiB

[startup+462.3 s]
/proc/loadavg: 2.67 2.19 2.10 3/192 11124
/proc/meminfo: memFree=3276420/32770624 swapFree=67108860/67108860
[pid=11107] ppid=11104 vsize=2464972 memory=2439648 CPUtime=462.17 cores=0,2,4,6
/proc/11107/stat : 11107 (MistralXCSP) R 11104 11107 9349 0 -1 4202496 1808758 0 0 0 46077 140 0 0 20 0 1 0 218633225 2524131328 609912 33554432000 4194304 7499544 140724956132288 140724956127304 4579688 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16392192 140724956140653 140724956140803 140724956140803 140724956143561 0
/proc/11107/statm: 616243 609912 765 807 0 609234 0
Current children cumulated CPU time: 462.17 s
Current children cumulated vsize: 2464972 KiB
Current children cumulated memory: 2439648 KiB


################
# More data... #
################

/proc/11107/statm: 616906 610626 765 807 0 609897 0
Current children cumulated CPU time: 1721.89 s
Current children cumulated vsize: 2467624 KiB
Current children cumulated memory: 2442504 KiB

[startup+1782.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/192 11230
/proc/meminfo: memFree=1806116/32770624 swapFree=67108860/67108860
[pid=11107] ppid=11104 vsize=2467624 memory=2442516 CPUtime=1781.89 cores=0,2,4,6
/proc/11107/stat : 11107 (MistralXCSP) R 11104 11107 9349 0 -1 4202496 3007424 0 0 0 177992 197 0 0 20 0 1 0 218633225 2526846976 610629 33554432000 4194304 7499544 140724956132288 140724956126824 4258023 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16392192 140724956140653 140724956140803 140724956140803 140724956143561 0
/proc/11107/statm: 616906 610629 765 807 0 609897 0
Current children cumulated CPU time: 1781.89 s
Current children cumulated vsize: 2467624 KiB
Current children cumulated memory: 2442516 KiB

[startup+1842.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/191 11231
/proc/meminfo: memFree=1805704/32770624 swapFree=67108860/67108860
[pid=11107] ppid=11104 vsize=2467624 memory=2442592 CPUtime=1841.88 cores=0,2,4,6
/proc/11107/stat : 11107 (MistralXCSP) R 11104 11107 9349 0 -1 4202496 3009277 0 0 0 183991 197 0 0 20 0 1 0 218633225 2526846976 610648 33554432000 4194304 7499544 140724956132288 140724956126824 5586960 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16392192 140724956140653 140724956140803 140724956140803 140724956143561 0
/proc/11107/statm: 616906 610648 765 807 0 609897 0
Current children cumulated CPU time: 1841.88 s
Current children cumulated vsize: 2467624 KiB
Current children cumulated memory: 2442592 KiB

[startup+1902.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/191 11232
/proc/meminfo: memFree=1805840/32770624 swapFree=67108860/67108860
[pid=11107] ppid=11104 vsize=2467756 memory=2442636 CPUtime=1901.87 cores=0,2,4,6
/proc/11107/stat : 11107 (MistralXCSP) R 11104 11107 9349 0 -1 4202496 3011187 0 0 0 189990 197 0 0 20 0 1 0 218633225 2526982144 610659 33554432000 4194304 7499544 140724956132288 140724956126744 4249968 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16392192 140724956140653 140724956140803 140724956140803 140724956143561 0
/proc/11107/statm: 616939 610659 765 807 0 609930 0
Current children cumulated CPU time: 1901.87 s
Current children cumulated vsize: 2467756 KiB
Current children cumulated memory: 2442636 KiB

[startup+1962.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/190 11233
/proc/meminfo: memFree=1806172/32770624 swapFree=67108860/67108860
[pid=11107] ppid=11104 vsize=2467756 memory=2442648 CPUtime=1961.86 cores=0,2,4,6
/proc/11107/stat : 11107 (MistralXCSP) R 11104 11107 9349 0 -1 4202496 3013046 0 0 0 195989 197 0 0 20 0 1 0 218633225 2526982144 610662 33554432000 4194304 7499544 140724956132288 140724956126744 5790971 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16392192 140724956140653 140724956140803 140724956140803 140724956143561 0
/proc/11107/statm: 616939 610662 765 807 0 609930 0
Current children cumulated CPU time: 1961.86 s
Current children cumulated vsize: 2467756 KiB
Current children cumulated memory: 2442648 KiB

[startup+2022.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/190 11234
/proc/meminfo: memFree=1806116/32770624 swapFree=67108860/67108860
[pid=11107] ppid=11104 vsize=2467756 memory=2442676 CPUtime=2021.86 cores=0,2,4,6
/proc/11107/stat : 11107 (MistralXCSP) R 11104 11107 9349 0 -1 4202496 3014936 0 0 0 201988 198 0 0 20 0 1 0 218633225 2526982144 610669 33554432000 4194304 7499544 140724956132288 140724956126744 4258061 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16392192 140724956140653 140724956140803 140724956140803 140724956143561 0
/proc/11107/statm: 616939 610669 765 807 0 609930 0
Current children cumulated CPU time: 2021.86 s
Current children cumulated vsize: 2467756 KiB
Current children cumulated memory: 2442676 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/190 11235
/proc/meminfo: memFree=1806120/32770624 swapFree=67108860/67108860
[pid=11107] ppid=11104 vsize=2467756 memory=2442684 CPUtime=2081.85 cores=0,2,4,6
/proc/11107/stat : 11107 (MistralXCSP) R 11104 11107 9349 0 -1 4202496 3016814 0 0 0 207987 198 0 0 20 0 1 0 218633225 2526982144 610671 33554432000 4194304 7499544 140724956132288 140724956126744 4253104 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16392192 140724956140653 140724956140803 140724956140803 140724956143561 0
/proc/11107/statm: 616939 610671 765 807 0 609930 0
Current children cumulated CPU time: 2081.85 s
Current children cumulated vsize: 2467756 KiB
Current children cumulated memory: 2442684 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 11244
/proc/meminfo: memFree=1805080/32770624 swapFree=67108860/67108860
[pid=11107] ppid=11104 vsize=2467756 memory=2442716 CPUtime=2141.84 cores=0,2,4,6
/proc/11107/stat : 11107 (MistralXCSP) R 11104 11107 9349 0 -1 4202496 3018677 0 0 0 213986 198 0 0 20 0 1 0 218633225 2526982144 610679 33554432000 4194304 7499544 140724956132288 140724956126744 4408878 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16392192 140724956140653 140724956140803 140724956140803 140724956143561 0
/proc/11107/statm: 616939 610679 765 807 0 609930 0
Current children cumulated CPU time: 2141.84 s
Current children cumulated vsize: 2467756 KiB
Current children cumulated memory: 2442716 KiB

[startup+2202.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/191 11245
/proc/meminfo: memFree=1805520/32770624 swapFree=67108860/67108860
[pid=11107] ppid=11104 vsize=2467756 memory=2442744 CPUtime=2201.84 cores=0,2,4,6
/proc/11107/stat : 11107 (MistralXCSP) R 11104 11107 9349 0 -1 4202496 3020607 0 0 0 219986 198 0 0 20 0 1 0 218633225 2526982144 610686 33554432000 4194304 7499544 140724956132288 140724956126744 4258061 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16392192 140724956140653 140724956140803 140724956140803 140724956143561 0
/proc/11107/statm: 616939 610686 765 807 0 609930 0
Current children cumulated CPU time: 2201.84 s
Current children cumulated vsize: 2467756 KiB
Current children cumulated memory: 2442744 KiB

[startup+2262.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/191 11246
/proc/meminfo: memFree=1800168/32770624 swapFree=67108860/67108860
[pid=11107] ppid=11104 vsize=2473308 memory=2448304 CPUtime=2261.83 cores=0,2,4,6
/proc/11107/stat : 11107 (MistralXCSP) R 11104 11107 9349 0 -1 4202496 3023917 0 0 0 225984 199 0 0 20 0 1 0 218633225 2532667392 612076 33554432000 4194304 7499544 140724956132288 140724956127304 5773184 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16392192 140724956140653 140724956140803 140724956140803 140724956143561 0
/proc/11107/statm: 618327 612076 765 807 0 611318 0
Current children cumulated CPU time: 2261.83 s
Current children cumulated vsize: 2473308 KiB
Current children cumulated memory: 2448304 KiB

[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/191 11247
/proc/meminfo: memFree=1800316/32770624 swapFree=67108860/67108860
[pid=11107] ppid=11104 vsize=2473440 memory=2448388 CPUtime=2321.82 cores=0,2,4,6
/proc/11107/stat : 11107 (MistralXCSP) R 11104 11107 9349 0 -1 4202496 3025813 0 0 0 231983 199 0 0 20 0 1 0 218633225 2532802560 612097 33554432000 4194304 7499544 140724956132288 140724956127304 4249920 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16392192 140724956140653 140724956140803 140724956140803 140724956143561 0
/proc/11107/statm: 618360 612097 765 807 0 611351 0
Current children cumulated CPU time: 2321.82 s
Current children cumulated vsize: 2473440 KiB
Current children cumulated memory: 2448388 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 11248
/proc/meminfo: memFree=1800032/32770624 swapFree=67108860/67108860
[pid=11107] ppid=11104 vsize=2473440 memory=2448408 CPUtime=2381.81 cores=0,2,4,6
/proc/11107/stat : 11107 (MistralXCSP) R 11104 11107 9349 0 -1 4202496 3027468 0 0 0 237982 199 0 0 20 0 1 0 218633225 2532802560 612102 33554432000 4194304 7499544 140724956132288 140724956127304 5790974 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16392192 140724956140653 140724956140803 140724956140803 140724956143561 0
/proc/11107/statm: 618360 612102 765 807 0 611351 0
Current children cumulated CPU time: 2381.81 s
Current children cumulated vsize: 2473440 KiB
Current children cumulated memory: 2448408 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 11249
/proc/meminfo: memFree=1800188/32770624 swapFree=67108860/67108860
[pid=11107] ppid=11104 vsize=2473572 memory=2448504 CPUtime=2441.8 cores=0,2,4,6
/proc/11107/stat : 11107 (MistralXCSP) R 11104 11107 9349 0 -1 4202496 3030973 0 0 0 243981 199 0 0 20 0 1 0 218633225 2532937728 612126 33554432000 4194304 7499544 140724956132288 140724956127304 5770032 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16392192 140724956140653 140724956140803 140724956140803 140724956143561 0
/proc/11107/statm: 618393 612126 765 807 0 611384 0
Current children cumulated CPU time: 2441.8 s
Current children cumulated vsize: 2473572 KiB
Current children cumulated memory: 2448504 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 11251
/proc/meminfo: memFree=1800228/32770624 swapFree=67108860/67108860
[pid=11107] ppid=11104 vsize=2473572 memory=2448508 CPUtime=2501.8 cores=0,2,4,6
/proc/11107/stat : 11107 (MistralXCSP) R 11104 11107 9349 0 -1 4202496 3032516 0 0 0 249981 199 0 0 20 0 1 0 218633225 2532937728 612127 33554432000 4194304 7499544 140724956132288 140724956127304 4253155 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16392192 140724956140653 140724956140803 140724956140803 140724956143561 0
/proc/11107/statm: 618393 612127 765 807 0 611384 0
Current children cumulated CPU time: 2501.8 s
Current children cumulated vsize: 2473572 KiB
Current children cumulated memory: 2448508 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 11251
/proc/meminfo: memFree=1800244/32770624 swapFree=67108860/67108860
[pid=11107] ppid=11104 vsize=2473572 memory=2448508 CPUtime=2519.5 cores=0,2,4,6
/proc/11107/stat : 11107 (MistralXCSP) R 11104 11107 9349 0 -1 4202496 3032793 0 0 0 251751 199 0 0 20 0 1 0 218633225 2532937728 612127 33554432000 4194304 7499544 140724956132288 140724956127304 5771883 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16392192 140724956140653 140724956140803 140724956140803 140724956143561 0
/proc/11107/statm: 618393 612127 765 807 0 611384 0
Current children cumulated CPU time: 2519.5 s
Current children cumulated vsize: 2473572 KiB
Current children cumulated memory: 2448508 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.02 s]
# the end of solver process 11107 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.52 s, system=2.00874 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 2520.02
CPU time (s): 2519.53
CPU user time (s): 2517.52
CPU system time (s): 2.00874
CPU usage (%): 99.9805
Max. virtual memory (cumulated for all children) (KiB): 2473572
Max. memory (cumulated for all children) (KiB): 2448508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.52
system time used= 2.00874
maximum resident set size= 2448528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3032842
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 298
involuntary context switches= 2445


# summary of solver processes directly reported to runsolver:
#   pid: 11107
#   total CPU time (s): 2519.53
#   total CPU user time (s): 2517.52
#   total CPU system time (s): 2.00874

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3586 second user time and 18.275 second system time

The end

Launcher Data 

Begin job on node135 at 2018-08-11 20:05:01
IDJOB=4304126
IDBENCH=141266
IDSOLVER=2779
FILE ID=node135/4304126-1534010700
RUNJOBID= node135-1533992764-9380
PBS_JOBID= 21036950
Free space on /tmp= 42356 MiB

SOLVER NAME= Mistral-2.0 2018-08-01
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-06-0500_c18.xml
COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304126-1534010700/watcher-4304126-1534010700 -o /tmp/evaluation-result-4304126-1534010700/solver-4304126-1534010700 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1533992764-9380 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2115992322 HOME/instance-4304126-1534010700.xml

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

MD5SUM BENCH= 26cacd4a9bde3a1253c36df99f6e4e09
RANDOM SEED=2115992322

node135.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.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:         5719896 kB
MemAvailable:   31765972 kB
Buffers:          229132 kB
Cached:         25710844 kB
SwapCached:            0 kB
Active:          9670336 kB
Inactive:       16463312 kB
Active(anon):     143140 kB
Inactive(anon):   103152 kB
Active(file):    9527196 kB
Inactive(file): 16360160 kB
Unevictable:        7244 kB
Mlocked:            7244 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            222968 kB
Writeback:             0 kB
AnonPages:        201028 kB
Mapped:            62192 kB
Shmem:             49824 kB
Slab:             615332 kB
SReclaimable:     587180 kB
SUnreclaim:        28152 kB
KernelStack:        3360 kB
PageTables:         5556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    141312 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 42228 MiB
End job on node135 at 2018-08-11 20:47:01