Trace number 4303576

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)107 2520.07 2520.23

General information on the benchmark

NameGraphColoring/
GraphColoring-qg-order100_c18.xml
MD5SUMd2763c38ef24fdf1196893d726f1931a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark101
Best CPU time to get the best result obtained on this benchmark2520.13
Satisfiable
(Un)Satisfiability was proved
Number of variables10000
Number of constraints990000
Number of domains1
Minimum domain size10000
Maximum domain size10000
Distribution of domain sizes[{"size":10000,"count":10000}]
Minimum variable degree199
Maximum variable degree199
Distribution of variable degrees[{"degree":199,"count":10000}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":990000}]
Number of extensional constraints0
Number of intensional constraints990000
Distribution of constraint types[{"type":"intension","count":990000}]
Optimization problemYES
Type of objectivemin MAXIMUM

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
1137.51/1137.61	o 115
1155.52/1155.63	o 114
1180.10/1180.27	o 113
1192.51/1192.61	o 112
1216.61/1216.71	o 111
1228.61/1228.77	o 110
1240.70/1240.88	o 109
1265.02/1265.16	o 108
1289.30/1289.41	o 107
2519.83/2520.01	s SATISFIABLE
2519.83/2520.01	v <instantiation type="solution">
2519.83/2520.01	v   <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029] x[2030] x[2031] x[2032] x[2033] x[2034] x[2035] x[2036] x[2037] x[2038] x[2039] x[2040] x[2041] x[2042] x[2043] x[2044] x[2045] x[2046] x[2047] x[2048] x[2049] x[2050] x[2051] x[2052] x[2053] x[2054] x[2055] x[2056] x[2057] x[2058] x[2059] x[2060] x[2061] x[2062] x[2063] x[2064] x[2065] x[2066] x[2067] x[2068] x[2069] x[2070] x[2071] x[2072] x[2073] x[2074] x[2075] x[2076] x[2077] x[2078] x[2079] x[2080] x[2081] x[2082] x[2083] x[2084] x[2085] x[2086] x[2087] x[2088] x[2089] x[2090] x[2091] x[2092] x[2093] x[2094] x[2095] x[2096] x[2097] x[2098] x[2099] x[2100] x[2101] x[2102] x[2103] x[2104] x[2105] x[2106] x[2107] x[2108] x[2109] x[2110] x[2111] x[2112] x[2113] x[2114] x[2115] x[2116] x[2117] x[2118] x[2119] x[2120] x[2121] x[2122] x[2123] x[2124] x[2125] x[2126] x[2127] x[2128] x[2129] x[2130] x[2131] x[2132] x[2133] x[2134] x[2135] x[2136] x[2137] x[2138] x[2139] x[2140] x[2141] x[2142] x[2143] x[2144] x[2145] x[2146] x[2147] x[2148] x[2149] x[2150] x[2151] x[2152] x[2153] x[2154] x[2155] x[2156] x[2157] x[2158] x[2159] x[2160] x[2161] x[2162] x[2163] x[2164] x[2165] x[2166] x[2167] x[2168] x[2169] x[2170] x[2171] x[2172] x[2173] x[2174] x[2175] x[2176] x[2177] x[2178] x[2179] x[2180] x[2181] x[2182] x[2183] x[2184] x[2185] x[2186] x[2187] x[2188] x[2189] x[2190] x[2191] x[2192] x[2193] x[2194] x[2195] x[2196] x[2197] x[2198] x[2199] x[2200] x[2201] x[2202] x[2203] x[2204] x[2205] x[2206] x[2207] x[2208] x[2209] x[2210] x[2211] x[2212] x[2213] x[2214] x[2215] x[2216] x[2217] x[2218] x[2219] x[2220] x[2221] x[2222] x[2223] x[2224] x[2225] x[2226] x[2227] x[2228] x[2229] x[2230] x[2231] x[2232] x[2233] x[2234] x[2235] x[2236] x[2237] x[2238] x[2239] x[2240] x[2241] x[2242] x[2243] x[2244] x[2245] x[2246] x[2247] x[2248] x[2249] x[2250] x[2251] x[2252] x[2253] x[2254] x[2255] x[2256] x[2257] x[2258] x[2259] x[2260] x[2261] x[2262] x[2263] x[2264] x[2265] x[2266] x[2267] x[2268] x[2269] x[2270] x[2271] x[2272] x[2273] x[2274] x[2275] x[2276] x[2277] x[2278] x[2279] x[2280] x[2281] x[2282] x[2283] x[2284] x[2285] x[2286] x[2287] x[2288] x[2289] x[2290] x[2291] x[2292] x[2293] x[2294] x[2295] x[2296] x[2297] x[2298] x[2299] x[2300] x[2301] x[2302] x[2303] x[2304] x[2305] x[2306] x[2307] x[2308] x[2309] x[2310] x[2311] x[2312] x[2313] x[2314] x[2315] x[2316] x[2317] x[2318] x[2319] x[2320] x[2321] x[2322] x[2323] x[2324] x[2325] x[2326] x[2327] x[2328] x[2329] x[2330] x[2331] x[2332] x[2333] x[2334] x[2335] x[2336] x[2337] x[2338] x[2339] x[2340] x[2341] x[2342] x[2343] x[2344] x[2345] x[2346] x[2347] x[2348] x[2349] x[2350] x[2351] x[2352] x[2353] x[2354] x[2355] x[2356] x[2357] x[2358] x[2359] x[2360] x[2361] x[2362] x[2363] x[2364] x[2365] x[2366] x[2367] x[2368] x[2369] x[2370] x[2371] x[2372] x[2373] x[2374] x[2375] x[2376] x[2377] x[2378] x[2379] x[2380] x[2381] x[2382] x[2383] x[2384] x[2385] x[2386] x[2387] x[2388] x[2389] x[2390] x[2391] x[2392] x[2393] x[2394] x[2395] x[2396] x[2397] x[2398] x[2399] x[2400] x[2401] x[2402] x[2403] x[2404] x[2405] x[2406] x[2407] x[2408] x[2409] x[2410] x[2411] x[2412] x[2413] x[2414] x[2415] x[2416] x[2417] x[2418] x[2419] x[2420] x[2421] x[2422] x[2423] x[2424] x[2425] x[2426] x[2427] x[2428] x[2429] x[2430] x[2431] x[2432] x[2433] x[2434] x[2435] x[2436] x[2437] x[2438] x[2439] x[2440] x[2441] x[2442] x[2443] x[2444] x[2445] x[2446] x[2447] x[2448] x[2449] x[2450] x[2451] x[2452] x[2453] x[2454] x[2455] x[2456] x[2457] x[2458] x[2459] x[2460] x[2461] x[2462] x[2463] x[2464] x[2465] x[2466] x[2467] x[2468] x[2469] x[2470] x[2471] x[2472] x[2473] x[2474] x[2475] x[2476] x[2477] x[2478] x[2479] x[2480] x[2481] x[2482] x[2483] x[2484] x[2485] x[2486] x[2487] x[2488] x[2489] x[2490] x[2491] x[2492] x[2493] x[2494] x[2495] x[2496] x[2497] x[2498] x[2499] x[2500] x[2501] x[2502] x[2503] x[2504] x[2505] x[2506] x[2507] x[2508] x[2509] x[2510] x[2511] x[2512] x[2513] x[2514] x[2515] x[2516] x[2517] x[2518] x[2519] x[2520] x[2521] x[2522] x[2523] x[2524] x[2525] x[2526] x[2527] x[2528] x[2529] x[2530] x[2531] x[2532] x[2533] x[2534] x[2535] x[2536] x[2537] x[2538] x[2539] x[2540] x[2541] x[2542] x[2543] x[2544] x[2545] x[2546] x[2547] x[2548] x[2549] x[2550] x[2551] x[2552] x[2553] x[2554] x[2555] x[2556] x[2557] x[2558] x[2559] x[2560] x[2561] x[2562] x[2563] x[2564] x[2565] x[2566] x[2567] x[2568] x[2569] x[2570] x[2571] x[2572] x[2573] x[2574] x[2575] x[2576] x[2577] x[2578] x[2579] x[2580] x[2581] x[2582] x[2583] x[2584] x[2585] x[2586] x[2587] x[2588] x[2589] x[2590] x[2591] x[2592] x[2593] x[2594] x[2595] x[2596] x[2597] x[2598] x[2599] x[2600] x[2601] x[2602] x[2603] x[2604] x[2605] x[2606] x[2607] x[2608] x[2609] x[2610] x[2611] x[2612] x[2613] x[2614] x[2615] x[2616] x[2617] x[2618] x[2619] x[2620] x[2621] x[2622] x[2623] x[2624] x[2625] x[2626] x[2627] x[2628] x[2629] x[2630] x[2631] x[2632] x[2633] x[2634] x[2635] x[2636] x[2637] x[2638] x[2639] x[2640] x[2641] x[2642] x[2643] x[2644] x[2645] x[2646] x[2647] x[2648] x[2649] x[2650] x[2651] x[2652] x[2653] x[2654] x[2655] x[2656] x[2657] x[2658] x[2659] x[2660] x[2661] x[2662] x[2663] x[2664] x[2665] x[2666] x[2667] x[2668] x[2669] x[2670] x[2671] x[2672] x[2673] x[2674] x[2675] x[2676] x[2677] x[2678] x[2679] x[2680] x[2681] x[2682] x[2683] x[2684] x[2685] x[2686] x[2687] x[2688] x[2689] x[2690] x[2691] x[2692] x[2693] x[2694] x[2695] x[2696] x[2697] x[2698] x[2699] x[2700] x[2701] x[2702] x[2703] x[2704] x[2705] x[2706] x[2707] x[2708] x[2709] x[2710] x[2711] x[2712] x[2713] x[2714] x[2715] x[2716] x[2717] x[2718] x[2719] x[2720] x[2721] x[2722] x[2723] x[2724] x[2725] x[2726] x[2727] x[2728] x[2729] x[2730] x[2731] x[2732] x[2733] x[2734] x[2735] x[2736] x[2737] x[2738] x[2739] x[2740] x[2741] x[2742] x[2743] x[2744] x[2745] x[2746] x[2747] x[2748] x[2749] x[2750] x[2751] x[2752] x[2753] x[2754] x[2755] x[2756] x[2757] x[2758] x[2759] x[2760] x[2761] x[2762] x[2763] x[2764] x[2765] x[2766] x[2767] x[2768] x[2769] x[2770] x[2771] x[2772] x[2773] x[2774] x[2775] x[2776] x[2777] x[2778] x[2779] x[2780] x[2781] x[2782] x[2783] x[2784] x[2785] x[2786] x[2787] x[2788] x[2789] x[2790] x[2791] x[2792] x[2793] x[2794] x[2795] x[2796] x[2797] x[2798] x[2799] x[2800] x[2801] x[2802] x[2803] x[2804] x[2805] x[2806] x[2807] x[2808] x[2809] x[2810] x[2811] x[2812] x[2813] x[2814] x[2815] x[2816] x[2817] x[2818] x[2819] x[2820] x[2821] x[2822] x[2823] x[2824] x[2825] x[2826] x[2827] x[2828] x[2829] x[2830] x[2831] x[2832] x[2833] x[2834] x[2835] x[2836] x[2837] x[2838] x[2839] x[2840] x[2841] x[2842] x[2843] x[2844] x[2845] x[2846] x[2847] x[2848] x[2849] x[2850] x[2851] x[2852] x[2853] x[2854] x[2855] x[2856] x[2857] x[2858] x[2859] x[2860] x[2861] x[2862] x[2863] x[2864] x[2865] x[2866] x[2867] x[2868] x[2869] x[2870] x[2871] x[2872] x[2873] x[2874] x[2875] x[2876] x[2877] x[2878] x[2879] x[2880] x[2881] x[2882] x[2883] x[2884] x[2885] x[2886] x[2887] x[2888] x[2889] x[2890] x[2891] x[2892] x[2893] x[2894] x[2895] x[2896] x[2897] x[2898] x[2899] x[2900] x[2901] x[2902] x[2903] x[2904] x[2905] x[2906] x[2907] x[2908] x[2909] x[2910] x[2911] x[2912] x[2913] x[2914] x[2915] x[2916] x[2917] x[2918] x[2919] x[2920] x[2921] x[2922] x[2923] x[2924] x[2925] x[2926] x[2927] x[2928] x[2929] x[2930] x[2931] x[2932] x[2933] x[2934] x[2935] x[2936] x[2937] x[2938] x[2939] x[2940] x[2941] x[2942] x[2943] x[2944] x[2945] x[2946] x[2947] x[2948] x[2949] x[2950] x[2951] x[2952] x[2953] x[2954] x[2955] x[2956] x[2957] x[2958] x[2959] x[2960] x[2961] x[2962] x[2963] x[2964] x[2965] x[2966] x[2967] x[2968] x[2969] x[2970] x[2971] x[2972] x[2973] x[2974] x[2975] x[2976] x[2977] x[2978] x[2979] x[2980] x[2981] x[2982] x[2983] x[2984] x[2985] x[2986] x[2987] x[2988] x[2989] x[2990] x[2991] x[2992] x[2993] x[2994] x[2995] x[2996] x[2997] x[2998] x[2999] x[3000] x[3001] x[3002] x[3003] x[3004] x[3005] x[3006] x[3007] x[3008] x[3009] x[3010] x[3011] x[3012] x[3013] x[3014] x[3015] x[3016] x[3017] x[3018] x[3019] x[3020] x[3021] x[3022] x[3023] x[3024] x[3025] x[3026] x[3027] x[3028] x[3029] x[3030] x[3031] x[3032] x[3033] x[3034] x[3035] x[3036] x[3037] x[3038] x[3039] x[3040] x[3041] x[3042] x[3043] x[3044] x[3045] x[3046] x[3047] x[3048] x[3049] x[3050] x[3051] x[3052] x[3053] x[3054] x[3055] x[3056] x[3057] x[3058] x[3059] x[3060] x[3061] x[3062] x[3063] x[3064] x[3065] x[3066] x[3067] x[3068] x[3069] x[3070] x[3071] x[3072] x[3073] x[3074] x[3075] x[3076] x[3077] x[3078] x[3079] x[3080] x[3081] x[3082] x[3083] x[3084] x[3085] x[3086] x[3087] x[3088] x[3089] x[3090] x[3091] x[3092] x[3093] x[3094] x[3095] x[3096] x[3097] x[3098] x[3099] x[3100] x[3101] x[3102] x[3103] x[3104] x[3105] x[3106] x[3107] x[3108] x[3109] x[3110] x[3111] x[3112] x[3113] x[3114] x[3115] x[3116] x[3117] x[3118] x[3119] x[3120] x[3121] x[3122] x[3123] x[3124] x[3125] x[3126] x[3127] x[3128] x[3129] x[3130] x[3131] x[3132] x[3133] x[3134] x[3135] x[3136] x[3137] x[3138] x[3139] x[3140] x[3141] x[3142] x[3143] x[3144] x[3145] x[3146] x[3147] x[3148] x[3149] x[3150] x[3151] x[3152] x[3153] x[3154] x[3155] x[3156] x[3157] x[3158] x[3159] x[3160] x[3161] x[3162] x[3163] x[3164] x[3165] x[3166] x[3167] x[3168] x[3169] x[3170] x[3171] x[3172] x[3173] x[3174] x[3175] x[3176] x[3177] x[3178] x[3179] x[3180] x[3181] x[3182] x[3183] x[3184] x[3185] x[3186] x[3187] x[3188] x[3189] x[3190] x[3191] x[3192] x[3193] x[3194] x[3195] x[3196] x[3197] x[3198] x[3199] x[3200] x[3201] x[3202] x[3203] x[3204] x[3205] x[3206] x[3207] x[3208] x[3209] x[3210] x[3211] x[3212] x[3213] x[3214] x[3215] x[3216] x[3217] x[3218] x[3219] x[3220] x[3221] x[3222] x[3223] x[3224] x[3225] x[3226] x[3227] x[3228] x[3229] x[3230] x[3231] x[3232] x[3233] x[3234] x[3235] x[3236] x[3237] x[3238] x[3239] x[3240] x[3241] x[3242] x[3243] x[3244] x[3245] x[3246] x[3247] x[3248] x[3249] x[3250] x[3251] x[3252] x[3253] x[3254] x[3255] x[3256] x[3257] x[3258] x[3259] x[3260] x[3261] x[3262] x[3263] x[3264] x[3265] x[3266] x[3267] x[3268] x[3269] x[3270] x[3271] x[3272] x[3273] x[3274] x[3275] x[3276] x[3277] x[3278] x[3279] x[3280] x[3281] x[3282] x[3283] x[3284] x[3285] x[3286] x[3287] x[3288] x[3289] x[3290] x[3291] x[3292] x[3293] x[3294] x[3295] x[3296] x[3297] x[3298] x[3299] x[3300] x[3301] x[3302] x[3303] x[3304] x[3305] x[3306] x[3307] x[3308] x[3309] x[3310] x[3311] x[3312] x[3313] x[3314] x[3315] x[3316] x[3317] x[3318] x[3319] x[3320] x[3321] x[3322] x[3323] x[3324] x[3325] x[3326] x[3327] x[3328] x[3329] x[3330] x[3331] x[3332] x[3333] x[3334] x[3335] x[3336] x[3337] x[3338] x[3339] x[3340] x[3341] x[3342] x[3343] x[3344] x[3345] x[3346] x[3347] x[3348] x[3349] x[3350] x[3351] x[3352] x[3353] x[3354] x[3355] x[3356] x[3357] x[3358] x[3359] x[3360] x[3361] x[3362] x[3363] x[3364] x[3365] x[3366] x[3367] x[3368] x[3369] x[3370] x[3371] x[3372] x[3373] x[3374] x[3375] x[3376] x[3377] x[3378] x[3379] x[3380] x[3381] x[3382] x[3383] x[3384] x[3385] x[3386] x[3387] x[3388] x[3389] x[3390] x[3391] x[3392] x[3393] x[3394] x[3395] x[3396] x[3397] x[3398] x[3399] x[3400] x[3401] x[3402] x[3403] x[3404] x[3405] x[3406] x[3407] x[3408] x[3409] x[3410] x[3411] x[3412] x[3413] x[3414] x[3415] x[3416] x[3417] x[3418] x[3419] x[3420] x[3421] x[3422] x[3423] x[3424] x[3425] x[3426] x[3427] x[3428] x[3429] x[3430] x[3431] x[3432] x[3433] x[3434] x[3435] x[3436] x[3437] x[3438] x[3439] x[3440] x[3441] x[3442] x[3443] x[3444] x[3445] x[3446] x[3447] x[3448] x[3449] x[3450] x[3451] x[3452] x[3453] x[3454] x[3455] x[3456] x[3457] x[3458] x[3459] x[3460] x[3461] x[3462] x[3463] x[3464] x[3465] x[3466] x[3467] x[3468] x[3469] x[3470] x[3471] x[3472] x[3473] x[3474] x[3475] x[3476] x[3477] x[3478] x[3479] x[3480] x[3481] x[3482] x[3483] x[3484] x[3485] x[3486] x[3487] x[3488] x[3489] x[3490] x[3491] x[3492] x[3493] x[3494] x[3495] x[3496] x[3497] x[3498] x[3499] x[3500] x[3501] x[3502] x[3503] x[3504] x[3505] x[3506] x[3507] x[3508] x[3509] x[3510] x[3511] x[3512] x[3513] x[3514] x[3515] x[3516] x[3517] x[3518] x[3519] x[3520] x[3521] x[3522] x[3523] x[3524] x[3525] x[3526] x[3527] x[3528] x[3529] x[3530] x[3531] x[3532] x[3533] x[3534] x[3535] x[3536] x[3537] x[3538] x[3539] x[3540] x[3541] x[3542] x[3543] x[3544] x[3545] x[3546] x[3547] x[3548] x[3549] x[3550] x[3551] x[3552] x[3553] x[3554] x[3555] x[3556] x[3557] x[3558] x[3559] x[3560] x[3561] x[3562] x[3563] x[3564] x[3565] x[3566] x[3567] x[3568] x[3569] x[3570] x[3571] x[3572] x[3573] x[3574] x[3575] x[3576] x[3577] x[3578] x[3579] x[3580] x[3581] x[3582] x[3583] x[3584] x[3585] x[3586] x[3587] x[3588] x[3589] x[3590] x[3591] x[3592] x[3593] x[3594] x[3595] x[3596] x[3597] x[3598] x[3599] x[3600] x[3601] x[3602] x[3603] x[3604] x[3605] x[3606] x[3607] x[3608] x[3609] x[3610] x[3611] x[3612] x[3613] x[3614] x[3615] x[3616] x[3617] x[3618] x[3619] x[3620] x[3621] x[3622] x[3623] x[3624] x[3625] x[3626] x[3627] x[3628] x[3629] x[3630] x[3631] x[3632] x[3633] x[3634] x[3635] x[3636] x[3637] x[3638] x[3639] x[3640] x[3641] x[3642] x[3643] x[3644] x[3645] x[3646] x[3647] x[3648] x[3649] x[3650] x[3651] x[3652] x[3653] x[3654] x[3655] x[3656] x[3657] x[3658] x[3659] x[3660] x[3661] x[3662] x[3663] x[3664] x[3665] x[3666] x[3667] x[3668] x[3669] x[3670] x[3671] x[3672] x[3673] x[3674] x[3675] x[3676] x[3677] x[3678] x[3679] x[3680] x[3681] x[3682] x[3683] x[3684] x[3685] x[3686] x[3687] x[3688] x[3689] x[3690] x[3691] x[3692] x[3693] x[3694] x[3695] x[3696] x[3697] x[3698] x[3699] x[3700] x[3701] x[3702] x[3703] x[3704] x[3705] x[3706] x[3707] x[3708] x[3709] x[3710] x[3711] x[3712] x[3713] x[3714] x[3715] x[3716] x[3717] x[3718] x[3719] x[3720] x[3721] x[3722] x[3723] x[3724] x[3725] x[3726] x[3727] x[3728] x[3729] x[3730] x[3731] x[3732] x[3733] x[3734] x[3735] x[3736] x[3737] x[3738] x[3739] x[3740] x[3741] x[3742] x[3743] x[3744] x[3745] x[3746] x[3747] x[3748] x[3749] x[3750] x[3751] x[3752] x[3753] x[3754] x[3755] x[3756] x[3757] x[3758] x[3759] x[3760] x[3761] x[3762] x[3763] x[3764] x[3765] x[3766] x[3767] x[3768] x[3769] x[3770] x[3771] x[3772] x[3773] x[3774] x[3775] x[3776] x[3777] x[3778] x[3779] x[3780] x[3781] x[3782] x[3783] x[3784] x[3785] x[3786] x[3787] x[3788] x[3789] x[3790] x[3791] x[3792] x[3793] x[3794] x[3795] x[3796] x[3797] x[3798] x[3799] x[3800] x[3801] x[3802] x[3803] x[3804] x[3805] x[3806] x[3807] x[3808] x[3809] x[3810] x[3811] x[3812] x[3813] x[3814] x[3815] x[3816] x[3817] x[3818] x[3819] x[3820] x[3821] x[3822] x[3823] x[3824] x[3825] x[3826] x[3827] x[3828] x[3829] x[3830] x[3831] x[3832] x[3833] x[3834] x[3835] x[3836] x[3837] x[3838] x[3839] x[3840] x[3841] x[3842] x[3843] x[3844] x[3845] x[3846] x[3847] x[3848] x[3849] x[3850] x[3851] x[3852] x[3853] x[3854] x[3855] x[3856] x[3857] x[3858] x[3859] x[3860] x[3861] x[3862] x[3863] x[3864] x[3865] x[3866] x[3867] x[3868] x[3869] x[3870] x[3871] x[3872] x[3873] x[3874] x[3875] x[3876] x[3877] x[3878] x[3879] x[3880] x[3881] x[3882] x[3883] x[3884] x[3885] x[3886] x[3887] x[3888] x[3889] x[3890] x[3891] x[3892] x[3893] x[3894] x[3895] x[3896] x[3897] x[3898] x[3899] x[3900] x[3901] x[3902] x[3903] x[3904] x[3905] x[3906] x[3907] x[3908] x[3909] x[3910] x[3911] x[3912] x[3913] x[3914] x[3915] x[3916] x[3917] x[3918] x[3919] x[3920] x[3921] x[3922] x[3923] x[3924] x[3925] x[3926] x[3927] x[3928] x[3929] x[3930] x[3931] x[3932] x[3933] x[3934] x[3935] x[3936] x[3937] x[3938] x[3939] x[3940] x[3941] x[3942] x[3943] x[3944] x[3945] x[3946] x[3947] x[3948] x[3949] x[3950] x[3951] x[3952] x[3953] x[3954] x[3955] x[3956] x[3957] x[3958] x[3959] x[3960] x[3961] x[3962] x[3963] x[3964] x[3965] x[3966] x[3967] x[3968] x[3969] x[3970] x[3971] x[3972] x[3973] x[3974] x[3975] x[3976] x[3977] x[3978] x[3979] x[3980] x[3981] x[3982] x[3983] x[3984] x[3985] x[3986] x[3987] x[3988] x[3989] x[3990] x[3991] x[3992] x[3993] x[3994] x[3995] x[3996] x[3997] x[3998] x[3999] x[4000] x[4001] x[4002] x[4003] x[4004] x[4005] x[4006] x[4007] x[4008] x[4009] x[4010] x[4011] x[4012] x[4013] x[4014] x[4015] x[4016] x[4017] x[4018] x[4019] x[4020] x[4021] x[4022] x[4023] x[4024] x[4025] x[4026] x[4027] x[4028] x[4029] x[4030] x[4031] x[4032] x[4033] x[4034] x[4035] x[4036] x[4037] x[4038] x[4039] x[4040] x[4041] x[4042] x[4043] x[4044] x[4045] x[4046] x[4047] x[4048] x[4049] x[4050] x[4051] x[4052] x[4053] x[4054] x[4055] x[4056] x[4057] x[4058] x[4059] x[4060] x[4061] x[4062] x[4063] x[4064] x[4065] x[4066] x[4067] x[4068] x[4069] x[4070] x[4071] x[4072] x[4073] x[4074] x[4075] x[4076] x[4077] x[4078] x[4079] x[4080] x[4081] x[4082] x[4083] x[4084] x[4085] x[4086] x[4087] x[4088] x[4089] x[4090] x[4091] x[4092] x[4093] x[4094] x[4095] x[4096] x[4097] x[4098] x[4099] x[4100] x[4101] x[4102] x[4103] x[4104] x[4105] x[4106] x[4107] x[4108] x[4109] x[4110] x[4111] x[4112] x[4113] x[4114] x[4115] x[4116] x[4117] x[4118] x[4119] x[4120] x[4121] x[4122] x[4123] x[4124] x[4125] x[4126] x[4127] x[4128] x[4129] x[4130] x[4131] x[4132] x[4133] x[4134] x[4135] x[4136] x[4137] x[4138] x[4139] x[4140] x[4141] x[4142] x[4143] x[4144] x[4145] x[4146] x[4147] x[4148] x[4149] x[4150] x[4151] x[4152] x[4153] x[4154] x[4155] x[4156] x[4157] x[4158] x[4159] x[4160] x[4161] x[4162] x[4163] x[4164] x[4165] x[4166] x[4167] x[4168] x[4169] x[4170] x[4171] x[4172] x[4173] x[4174] x[4175] x[4176] x[4177] x[4178] x[4179] x[4180] x[4181] x[4182] x[4183] x[4184] x[4185] x[4186] x[4187] x[4188] x[4189] x[4190] x[4191] x[4192] x[4193] x[4194] x[4195] x[4196] x[4197] x[4198] x[4199] x[4200] x[4201] x[4202] x[4203] x[4204] x[4205] x[4206] x[4207] x[4208] x[4209] x[4210] x[4211] x[4212] x[4213] x[4214] x[4215] x[4216] x[4217] x[4218] x[4219] x[4220] x[4221] x[4222] x[4223] x[4224] x[4225] x[4226] x[4227] x[4228] x[4229] x[4230] x[4231] x[4232] x[4233] x[4234] x[4235] x[4236] x[4237] x[4238] x[4239] x[4240] x[4241] x[4242] x[4243] x[4244] x[4245] x[4246] x[4247] x[4248] x[4249] x[4250] x[4251] x[4252] x[4253] x[4254] x[4255] x[4256] x[4257] x[4258] x[4259] x[4260] x[4261] x[4262] x[4263] x[4264] x[4265] x[4266] x[4267] x[4268] x[4269] x[4270] x[4271] x[4272] x[4273] x[4274] x[4275] x[4276] x[4277] x[4278] x[4279] x[4280] x[4281] x[4282] x[4283] x[4284] x[4285] x[4286] x[4287] x[4288] x[4289] x[4290] x[4291] x[4292] x[4293] x[4294] x[4295] x[4296] x[4297] x[4298] x[4299] x[4300] x[4301] x[4302] x[4303] x[4304] x[4305] x[4306] x[4307] x[4308] x[4309] x[4310] x[4311] x[4312] x[4313] x[4314] x[4315] x[4316] x[4317] x[4318] x[4319] x[4320] x[4321] x[4322] x[4323] x[4324] x[4325] x[4326] x[4327] x[4328] x[4329] x[4330] x[4331] x[4332] x[4333] x[4334] x[4335] x[4336] x[4337] x[4338] x[4339] x[4340] x[4341] x[4342] x[4343] x[4344] x[4345] x[4346] x[4347] x[4348] x[4349] x[4350] x[4351] x[4352] x[4353] x[4354] x[4355] x[4356] x[4357] x[4358] x[4359] x[4360] x[4361] x[4362] x[4363] x[4364] x[4365] x[4366] x[4367] x[4368] x[4369] x[4370] x[4371] x[4372] x[4373] x[4374] x[4375] x[4376] x[4377] x[4378] x[4379] x[4380] x[4381] x[4382] x[4383] x[4384] x[4385] x[4386] x[4387] x[4388] x[4389] x[4390] x[4391] x[4392] x[4393] x[4394] x[4395] x[4396] x[4397] x[4398] x[4399] x[4400] x[4401] x[4402] x[4403] x[4404] x[4405] x[4406] x[4407] x[4408] x[4409] x[4410] x[4411] x[4412] x[4413] x[4414] x[4415] x[4416] x[4417] x[4418] x[4419] x[4420] x[4421] x[4422] x[4423] x[4424] x[4425] x[4426] x[4427] x[4428] x[4429] x[4430] x[4431] x[4432] x[4433] x[4434] x[4435] x[4436] x[4437] x[4438] x[4439] x[4440] x[4441] x[4442] x[4443] x[4444] x[4445] x[4446] x[4447] x[4448] x[4449] x[4450] x[4451] x[4452] x[4453] x[4454] x[4455] x[4456] x[4457] x[4458] x[4459] x[4460] x[4461] x[4462] x[4463] x[4464] x[4465] x[4466] x[4467] x[4468] x[4469] x[4470] x[4471] x[4472] x[4473] x[4474] x[4475] x[4476] x[4477] x[4478] x[4479] x[4480] x[4481] x[4482] x[4483] x[4484] x[4485] x[4486] x[4487] x[4488] x[4489] x[4490] x[4491] x[4492] x[4493] x[4494] x[4495] x[4496] x[4497] x[4498] x[4499] x[4500] x[4501] x[4502] x[4503] x[4504] x[4505] x[4506] x[4507] x[4508] x[4509] x[4510] x[4511] x[4512] x[4513] x[4514] x[4515] x[4516] x[4517] x[4518] x[4519] x[4520] x[4521] x[4522] x[4523] x[4524] x[4525] x[4526] x[4527] x[4528] x[4529] x[4530] x[4531] x[4532] x[4533] x[4534] x[4535] x[4536] x[4537] x[4538] x[4539] x[4540] x[4541] x[4542] x[4543] x[4544] x[4545] x[4546] x[4547] x[4548] x[4549] x[4550] x[4551] x[4552] x[4553] x[4554] x[4555] x[4556] x[4557] x[4558] x[4559] x[4560] x[4561] x[4562] x[4563] x[4564] x[4565] x[4566] x[4567] x[4568] x[4569] x[4570] x[4571] x[4572] x[4573] x[4574] x[4575] x[4576] x[4577] x[4578] x[4579] x[4580] x[4581] x[4582] x[4583] x[4584] x[4585] x[4586] x[4587] x[4588] x[4589] x[4590] x[4591] x[4592] x[4593] x[4594] x[4595] x[4596] x[4597] x[4598] x[4599] x[4600] x[4601] x[4602] x[4603] x[4604] x[4605] x[4606] x[4607] x[4608] x[4609] x[4610] x[4611] x[4612] x[4613] x[4614] x[4615] x[4616] x[4617] x[4618] x[4619] x[4620] x[4621] x[4622] x[4623] x[4624] x[4625] x[4626] x[4627] x[4628] x[4629] x[4630] x[4631] x[4632] x[4633] x[4634] x[4635] x[4636] x[4637] x[4638] x[4639] x[4640] x[4641] x[4642] x[4643] x[4644] x[4645] x[4646] x[4647] x[4648] x[4649] x[4650] x[4651] x[4652] x[4653] x[4654] x[4655] x[4656] x[4657] x[4658] x[4659] x[4660] x[4661] x[4662] x[4663] x[4664] x[4665] x[4666] x[4667] x[4668] x[4669] x[4670] x[4671] x[4672] x[4673] x[4674] x[4675] x[4676] x[4677] x[4678] x[4679] x[4680] x[4681] x[4682] x[4683] x[4684] x[4685] x[4686] x[4687] x[4688] x[4689] x[4690] x[4691] x[4692] x[4693] x[4694] x[4695] x[4696] x[4697] x[4698] x[4699] x[4700] x[4701] x[4702] x[4703] x[4704] x[4705] x[4706] x[4707] x[4708] x[4709] x[4710] x[4711] x[4712] x[4713] x[4714] x[4715] x[4716] x[4717] x[4718] x[4719] x[4720] x[4721] x[4722] x[4723] x[4724] x[4725] x[4726] x[4727] x[4728] x[4729] x[4730] x[4731] x[4732] x[4733] x[4734] x[4735] x[4736] x[4737] x[4738] x[4739] x[4740] x[4741] x[4742] x[4743] x[4744] x[4745] x[4746] x[4747] x[4748] x[4749] x[4750] x[4751] x[4752] x[4753] x[4754] x[4755] x[4756] x[4757] x[4758] x[4759] x[4760] x[4761] x[4762] x[4763] x[4764] x[4765] x[4766] x[4767] x[4768] x[4769] x[4770] x[4771] x[4772] x[4773] x[4774] x[4775] x[4776] x[4777] x[4778] x[4779] x[4780] x[4781] x[4782] x[4783] x[4784] x[4785] x[4786] x[4787] x[4788] x[4789] x[4790] x[4791] x[4792] x[4793] x[4794] x[4795] x[4796] x[4797] x[4798] x[4799] x[4800] x[4801] x[4802] x[4803] x[4804] x[4805] x[4806] x[4807] x[4808] x[4809] x[4810] x[4811] x[4812] x[4813] x[4814] x[4815] x[4816] x[4817] x[4818] x[4819] x[4820] x[4821] x[4822] x[4823] x[4824] x[4825] x[4826] x[4827] x[4828] x[4829] x[4830] x[4831] x[4832] x[4833] x[4834] x[4835] x[4836] x[4837] x[4838] x[4839] x[4840] x[4841] x[4842] x[4843] x[4844] x[4845] x[4846] x[4847] x[4848] x[4849] x[4850] x[4851] x[4852] x[4853] x[4854] x[4855] x[4856] x[4857] x[4858] x[4859] x[4860] x[4861] x[4862] x[4863] x[4864] x[4865] x[4866] x[4867] x[4868] x[4869] x[4870] x[4871] x[4872] x[4873] x[4874] x[4875] x[4876] x[4877] x[4878] x[4879] x[4880] x[4881] x[4882] x[4883] x[4884] x[4885] x[4886] x[4887] x[4888] x[4889] x[4890] x[4891] x[4892] x[4893] x[4894] x[4895] x[4896] x[4897] x[4898] x[4899] x[4900] x[4901] x[4902] x[4903] x[4904] x[4905] x[4906] x[4907] x[4908] x[4909] x[4910] x[4911] x[4912] x[4913] x[4914] x[4915] x[4916] x[4917] x[4918] x[4919] x[4920] x[4921] x[4922] x[4923] x[4924] x[4925] x[4926] x[4927] x[4928] x[4929] x[4930] x[4931] x[4932] x[4933] x[4934] x[4935] x[4936] x[4937] x[4938] x[4939] x[4940] x[4941] x[4942] x[4943] x[4944] x[4945] x[4946] x[4947] x[4948] x[4949] x[4950] x[4951] x[4952] x[4953] x[4954] x[4955] x[4956] x[4957] x[4958] x[4959] x[4960] x[4961] x[4962] x[4963] x[4964] x[4965] x[4966] x[4967] x[4968] x[4969] x[4970] x[4971] x[4972] x[4973] x[4974] x[4975] x[4976] x[4977] x[4978] x[4979] x[4980] x[4981] x[4982] x[4983] x[4984] x[4985] x[4986] x[4987] x[4988] x[4989] x[4990] x[4991] x[4992] x[4993] x[4994] x[4995] x[4996] x[4997] x[4998] x[4999] x[5000] x[5001] x[5002] x[5003] x[5004] x[5005] x[5006] x[5007] x[5008] x[5009] x[5010] x[5011] x[5012] x[5013] x[5014] x[5015] x[5016] x[5017] x[5018] x[5019] x[5020] x[5021] x[5022] x[5023] x[5024] x[5025] x[5026] x[5027] x[5028] x[5029] x[5030] x[5031] x[5032] x[5033] x[5034] x[5035] x[5036] x[5037] x[5038] x[5039] x[5040] x[5041] x[5042] x[5043] x[5044] x[5045] x[5046] x[5047] x[5048] x[5049] x[5050] x[5051] x[5052] x[5053] x[5054] x[5055] x[5056] x[5057] x[5058] x[5059] x[5060] x[5061] x[5062] x[5063] x[5064] x[5065] x[5066] x[5067] x[5068] x[5069] x[5070] x[5071] x[5072] x[5073] x[5074] x[5075] x[5076] x[5077] x[5078] x[5079] x[5080] x[5081] x[5082] x[5083] x[5084] x[5085] x[5086] x[5087] x[5088] x[5089] x[5090] x[5091] x[5092] x[5093] x[5094] x[5095] x[5096] x[5097] x[5098] x[5099] x[5100] x[5101] x[5102] x[5103] x[5104] x[5105] x[5106] x[5107] x[5108] x[5109] x[5110] x[5111] x[5112] x[5113] x[5114] x[5115] x[5116] x[5117] x[5118] x[5119] x[5120] x[5121] x[5122] x[5123] x[5124] x[5125] x[5126] x[5127] x[5128] x[5129] x[5130] x[5131] x[5132] x[5133] x[5134] x[5135] x[5136] x[5137] x[5138] x[5139] x[5140] x[5141] x[5142] x[5143] x[5144] x[5145] x[5146] x[5147] x[5148] x[5149] x[5150] x[5151] x[5152] x[5153] x[5154] x[5155] x[5156] x[5157] x[5158] x[5159] x[5160] x[5161] x[5162] x[5163] x[5164] x[5165] x[5166] x[5167] x[5168] x[5169] x[5170] x[5171] x[5172] x[5173] x[5174] x[5175] x[5176] x[5177] x[5178] x[5179] x[5180] x[5181] x[5182] x[5183] x[5184] x[5185] x[5186] x[5187] x[5188] x[5189] x[5190] x[5191] x[5192] x[5193] x[5194] x[5195] x[5196] x[5197] x[5198] x[5199] x[5200] x[5201] x[5202] x[5203] x[5204] x[5205] x[5206] x[5207] x[5208] x[5209] x[5210] x[5211] x[5212] x[5213] x[5214] x[5215] x[5216] x[5217] x[5218] x[5219] x[5220] x[5221] x[5222] x[5223] x[5224] x[5225] x[5226] x[5227] x[5228] x[5229] x[5230] x[5231] x[5232] x[5233] x[5234] x[5235] x[5236] x[5237] x[5238] x[5239] x[5240] x[5241] x[5242] x[5243] x[5244] x[5245] x[5246] x[5247] x[5248] x[5249] x[5250] x[5251] x[5252] x[5253] x[5254] x[5255] x[5256] x[5257] x[5258] x[5259] x[5260] x[5261] x[5262] x[5263] x[5264] x[5265] x[5266] x[5267] x[5268] x[5269] x[5270] x[5271] x[5272] x[5273] x[5274] x[5275] x[5276] x[5277] x[5278] x[5279] x[5280] x[5281] x[5282] x[5283] x[5284] x[5285] x[5286] x[5287] x[5288] x[5289] x[5290] x[5291] x[5292] x[5293] x[5294] x[5295] x[5296] x[5297] x[5298] x[5299] x[5300] x[5301] x[5302] x[5303] x[5304] x[5305] x[5306] x[5307] x[5308] x[5309] x[5310] x[5311] x[5312] x[5313] x[5314] x[5315] x[5316] x[5317] x[5318] x[5319] x[5320] x[5321] x[5322] x[5323] x[5324] x[5325] x[5326] x[5327] x[5328] x[5329] x[5330] x[5331] x[5332] x[5333] x[5334] x[5335] x[5336] x[5337] x[5338] x[5339] x[5340] x[5341] x[5342] x[5343] x[5344] x[5345] x[5346] x[5347] x[5348] x[5349] x[5350] x[5351] x[5352] x[5353] x[5354] x[5355] x[5356] x[5357] x[5358] x[5359] x[5360] x[5361] x[5362] x[5363] x[5364] x[5365] x[5366] x[5367] x[5368] x[5369] x[5370] x[5371] x[5372] x[5373] x[5374] x[5375] x[5376] x[5377] x[5378] x[5379] x[5380] x[5381] x[5382] x[5383] x[5384] x[5385] x[5386] x[5387] x[5388] x[5389] x[5390] x[5391] x[5392] x[5393] x[5394] x[5395] x[5396] x[5397] x[5398] x[5399] x[5400] x[5401] x[5402] x[5403] x[5404] x[5405] x[5406] x[5407] x[5408] x[5409] x[5410] x[5411] x[5412] x[5413] x[5414] x[5415] x[5416] x[5417] x[5418] x[5419] x[5420] x[5421] x[5422] x[5423] x[5424] x[5425] x[5426] x[5427] x[5428] x[5429] x[5430] x[5431] x[5432] x[5433] x[5434] x[5435] x[5436] x[5437] x[5438] x[5439] x[5440] x[5441] x[5442] x[5443] x[5444] x[5445] x[5446] x[5447] x[5448] x[5449] x[5450] x[5451] x[5452] x[5453] x[5454] x[5455] x[5456] x[5457] x[5458] x[5459] x[5460] x[5461] x[5462] x[5463] x[5464] x[5465] x[5466] x[5467] x[5468] x[5469] x[5470] x[5471] x[5472] x[5473] x[5474] x[5475] x[5476] x[5477] x[5478] x[5479] x[5480] x[5481] x[5482] x[5483] x[5484] x[5485] x[5486] x[5487] x[5488] x[5489] x[5490] x[5491] x[5492] x[5493] x[5494] x[5495] x[5496] x[5497] x[5498] x[5499] x[5500] x[5501] x[5502] x[5503] x[5504] x[5505] x[5506] x[5507] x[5508] x[5509] x[5510] x[5511] x[5512] x[5513] x[5514] x[5515] x[5516] x[5517] x[5518] x[5519] x[5520] x[5521] x[5522] x[5523] x[5524] x[5525] x[5526] x[5527] x[5528] x[5529] x[5530] x[5531] x[5532] x[5533] x[5534] x[5535] x[5536] x[5537] x[5538] x[5539] x[5540] x[5541] x[5542] x[5543] x[5544] x[5545] x[5546] x[5547] x[5548] x[5549] x[5550] x[5551] x[5552] x[5553] x[5554] x[5555] x[5556] x[5557] x[5558] x[5559] x[5560] x[5561] x[5562] x[5563] x[5564] x[5565] x[5566] x[5567] x[5568] x[5569] x[5570] x[5571] x[5572] x[5573] x[5574] x[5575] x[5576] x[5577] x[5578] x[5579] x[5580] x[5581] x[5582] x[5583] x[5584] x[5585] x[5586] x[5587] x[5588] x[5589] x[5590] x[5591] x[5592] x[5593] x[5594] x[5595] x[5596] x[5597] x[5598] x[5599] x[5600] x[5601] x[5602] x[5603] x[5604] x[5605] x[5606] x[5607] x[5608] x[5609] x[5610] x[5611] x[5612] x[5613] x[5614] x[5615] x[5616] x[5617] x[5618] x[5619] x[5620] x[5621] x[5622] x[5623] x[5624] x[5625] x[5626] x[5627] x[5628] x[5629] x[5630] x[5631] x[5632] x[5633] x[5634] x[5635] x[5636] x[5637] x[5638] x[5639] x[5640] x[5641] x[5642] x[5643] x[5644] x[5645] x[5646] x[5647] x[5648] x[5649] x[5650] x[5651] x[5652] x[5653] x[5654] x[5655] x[5656] x[5657] x[5658] x[5659] x[5660] x[5661] x[5662] x[5663] x[5664] x[5665] x[5666] x[5667] x[5668] x[5669] x[5670] x[5671] x[5672] x[5673] x[5674] x[5675] x[5676] x[5677] x[5678] x[5679] x[5680] x[5681] x[5682] x[5683] x[5684] x[5685] x[5686] x[5687] x[5688] x[5689] x[5690] x[5691] x[5692] x[5693] x[5694] x[5695] x[5696] x[5697] x[5698] x[5699] x[5700] x[5701] x[5702] x[5703] x[5704] x[5705] x[5706] x[5707] x[5708] x[5709] x[5710] x[5711] x[5712] x[5713] x[5714] x[5715] x[5716] x[5717] x[5718] x[5719] x[5720] x[5721] x[5722] x[5723] x[5724] x[5725] x[5726] x[5727] x[5728] x[5729] x[5730] x[5731] x[5732] x[5733] x[5734] x[5735] x[5736] x[5737] x[5738] x[5739] x[5740] x[5741] x[5742] x[5743] x[5744] x[5745] x[5746] x[5747] x[5748] x[5749] x[5750] x[5751] x[5752] x[5753] x[5754] x[5755] x[5756] x[5757] x[5758] x[5759] x[5760] x[5761] x[5762] x[5763] x[5764] x[5765] x[5766] x[5767] x[5768] x[5769] x[5770] x[5771] x[5772] x[5773] x[5774] x[5775] x[5776] x[5777] x[5778] x[5779] x[5780] x[5781] x[5782] x[5783] x[5784] x[5785] x[5786] x[5787] x[5788] x[5789] x[5790] x[5791] x[5792] x[5793] x[5794] x[5795] x[5796] x[5797] x[5798] x[5799] x[5800] x[5801] x[5802] x[5803] x[5804] x[5805] x[5806] x[5807] x[5808] x[5809] x[5810] x[5811] x[5812] x[5813] x[5814] x[5815] x[5816] x[5817] x[5818] x[5819] x[5820] x[5821] x[5822] x[5823] x[5824] x[5825] x[5826] x[5827] x[5828] x[5829] x[5830] x[5831] x[5832] x[5833] x[5834] x[5835] x[5836] x[5837] x[5838] x[5839] x[5840] x[5841] x[5842] x[5843] x[5844] x[5845] x[5846] x[5847] x[5848] x[5849] x[5850] x[5851] x[5852] x[5853] x[5854] x[5855] x[5856] x[5857] x[5858] x[5859] x[5860] x[5861] x[5862] x[5863] x[5864] x[5865] x[5866] x[5867] x[5868] x[5869] x[5870] x[5871] x[5872] x[5873] x[5874] x[5875] x[5876] x[5877] x[5878] x[5879] x[5880] x[5881] x[5882] x[5883] x[5884] x[5885] x[5886] x[5887] x[5888] x[5889] x[5890] x[5891] x[5892] x[5893] x[5894] x[5895] x[5896] x[5897] x[5898] x[5899] x[5900] x[5901] x[5902] x[5903] x[5904] x[5905] x[5906] x[5907] x[5908] x[5909] x[5910] x[5911] x[5912] x[5913] x[5914] x[5915] x[5916] x[5917] x[5918] x[5919] x[5920] x[5921] x[5922] x[5923] x[5924] x[5925] x[5926] x[5927] x[5928] x[5929] x[5930] x[5931] x[5932] x[5933] x[5934] x[5935] x[5936] x[5937] x[5938] x[5939] x[5940] x[5941] x[5942] x[5943] x[5944] x[5945] x[5946] x[5947] x[5948] x[5949] x[5950] x[5951] x[5952] x[5953] x[5954] x[5955] x[5956] x[5957] x[5958] x[5959] x[5960] x[5961] x[5962] x[5963] x[5964] x[5965] x[5966] x[5967] x[5968] x[5969] x[5970] x[5971] x[5972] x[5973] x[5974] x[5975] x[5976] x[5977] x[5978] x[5979] x[5980] x[5981] x[5982] x[5983] x[5984] x[5985] x[5986] x[5987] x[5988] x[5989] x[5990] x[5991] x[5992] x[5993] x[5994] x[5995] x[5996] x[5997] x[5998] x[5999] x[6000] x[6001] x[6002] x[6003] x[6004] x[6005] x[6006] x[6007] x[6008] x[6009] x[6010] x[6011] x[6012] x[6013] x[6014] x[6015] x[6016] x[6017] x[6018] x[6019] x[6020] x[6021] x[6022] x[6023] x[6024] x[6025] x[6026] x[6027] x[6028] x[6029] x[6030] x[6031] x[6032] x[6033] x[6034] x[6035] x[6036] x[6037] x[6038] x[6039] x[6040] x[6041] x[6042] x[6043] x[6044] x[6045] x[6046] x[6047] x[6048] x[6049] x[6050] x[6051] x[6052] x[6053] x[6054] x[6055] x[6056] x[6057] x[6058] x[6059] x[6060] x[6061] x[6062] x[6063] x[6064] x[6065] x[6066] x[6067] x[6068] x[6069] x[6070] x[6071] x[6072] x[6073] x[6074] x[6075] x[6076] x[6077] x[6078] x[6079] x[6080] x[6081] x[6082] x[6083] x[6084] x[6085] x[6086] x[6087] x[6088] x[6089] x[6090] x[6091] x[6092] x[6093] x[6094] x[6095] x[6096] x[6097] x[6098] x[6099] x[6100] x[6101] x[6102] x[6103] x[6104] x[6105] x[6106] x[6107] x[6108] x[6109] x[6110] x[6111] x[6112] x[6113] x[6114] x[6115] x[6116] x[6117] x[6118] x[6119] x[6120] x[6121] x[6122] x[6123] x[6124] x[6125] x[6126] x[6127] x[6128] x[6129] x[6130] x[6131] x[6132] x[6133] x[6134] x[6135] x[6136] x[6137] x[6138] x[6139] x[6140] x[6141] x[6142] x[6143] x[6144] x[6145] x[6146] x[6147] x[6148] x[6149] x[6150] x[6151] x[6152] x[6153] x[6154] x[6155] x[6156] x[6157] x[6158] x[6159] x[6160] x[6161] x[6162] x[6163] x[6164] x[6165] x[6166] x[6167] x[6168] x[6169] x[6170] x[6171] x[6172] x[6173] x[6174] x[6175] x[6176] x[6177] x[6178] x[6179] x[6180] x[6181] x[6182] x[6183] x[6184] x[6185] x[6186] x[6187] x[6188] x[6189] x[6190] x[6191] x[6192] x[6193] x[6194] x[6195] x[6196] x[6197] x[6198] x[6199] x[6200] x[6201] x[6202] x[6203] x[6204] x[6205] x[6206] x[6207] x[6208] x[6209] x[6210] x[6211] x[6212] x[6213] x[6214] x[6215] x[6216] x[6217] x[6218] x[6219] x[6220] x[6221] x[6222] x[6223] x[6224] x[6225] x[6226] x[6227] x[6228] x[6229] x[6230] x[6231] x[6232] x[6233] x[6234] x[6235] x[6236] x[6237] x[6238] x[6239] x[6240] x[6241] x[6242] x[6243] x[6244] x[6245] x[6246] x[6247] x[6248] x[6249] x[6250] x[6251] x[6252] x[6253] x[6254] x[6255] x[6256] x[6257] x[6258] x[6259] x[6260] x[6261] x[6262] x[6263] x[6264] x[6265] x[6266] x[6267] x[6268] x[6269] x[6270] x[6271] x[6272] x[6273] x[6274] x[6275] x[6276] x[6277] x[6278] x[6279] x[6280] x[6281] x[6282] x[6283] x[6284] x[6285] x[6286] x[6287] x[6288] x[6289] x[6290] x[6291] x[6292] x[6293] x[6294] x[6295] x[6296] x[6297] x[6298] x[6299] x[6300] x[6301] x[6302] x[6303] x[6304] x[6305] x[6306] x[6307] x[6308] x[6309] x[6310] x[6311] x[6312] x[6313] x[6314] x[6315] x[6316] x[6317] x[6318] x[6319] x[6320] x[6321] x[6322] x[6323] x[6324] x[6325] x[6326] x[6327] x[6328] x[6329] x[6330] x[6331] x[6332] x[6333] x[6334] x[6335] x[6336] x[6337] x[6338] x[6339] x[6340] x[6341] x[6342] x[6343] x[6344] x[6345] x[6346] x[6347] x[6348] x[6349] x[6350] x[6351] x[6352] x[6353] x[6354] x[6355] x[6356] x[6357] x[6358] x[6359] x[6360] x[6361] x[6362] x[6363] x[6364] x[6365] x[6366] x[6367] x[6368] x[6369] x[6370] x[6371] x[6372] x[6373] x[6374] x[6375] x[6376] x[6377] x[6378] x[6379] x[6380] x[6381] x[6382] x[6383] x[6384] x[6385] x[6386] x[6387] x[6388] x[6389] x[6390] x[6391] x[6392] x[6393] x[6394] x[6395] x[6396] x[6397] x[6398] x[6399] x[6400] x[6401] x[6402] x[6403] x[6404] x[6405] x[6406] x[6407] x[6408] x[6409] x[6410] x[6411] x[6412] x[6413] x[6414] x[6415] x[6416] x[6417] x[6418] x[6419] x[6420] x[6421] x[6422] x[6423] x[6424] x[6425] x[6426] x[6427] x[6428] x[6429] x[6430] x[6431] x[6432] x[6433] x[6434] x[6435] x[6436] x[6437] x[6438] x[6439] x[6440] x[6441] x[6442] x[6443] x[6444] x[6445] x[6446] x[6447] x[6448] x[6449] x[6450] x[6451] x[6452] x[6453] x[6454] x[6455] x[6456] x[6457] x[6458] x[6459] x[6460] x[6461] x[6462] x[6463] x[6464] x[6465] x[6466] x[6467] x[6468] x[6469] x[6470] x[6471] x[6472] x[6473] x[6474] x[6475] x[6476] x[6477] x[6478] x[6479] x[6480] x[6481] x[6482] x[6483] x[6484] x[6485] x[6486] x[6487] x[6488] x[6489] x[6490] x[6491] x[6492] x[6493] x[6494] x[6495] x[6496] x[6497] x[6498] x[6499] x[6500] x[6501] x[6502] x[6503] x[6504] x[6505] x[6506] x[6507] x[6508] x[6509] x[6510] x[6511] x[6512] x[6513] x[6514] x[6515] x[6516] x[6517] x[6518] x[6519] x[6520] x[6521] x[6522] x[6523] x[6524] x[6525] x[6526] x[6527] x[6528] x[6529] x[6530] x[6531] x[6532] x[6533] x[6534] x[6535] x[6536] x[6537] x[6538] x[6539] x[6540] x[6541] x[6542] x[6543] x[6544] x[6545] x[6546] x[6547] x[6548] x[6549] x[6550] x[6551] x[6552] x[6553] x[6554] x[6555] x[6556] x[6557] x[6558] x[6559] x[6560] x[6561] x[6562] x[6563] x[6564] x[6565] x[6566] x[6567] x[6568] x[6569] x[6570] x[6571] x[6572] x[6573] x[6574] x[6575] x[6576] x[6577] x[6578] x[6579] x[6580] x[6581] x[6582] x[6583] x[6584] x[6585] x[6586] x[6587] x[6588] x[6589] x[6590] x[6591] x[6592] x[6593] x[6594] x[6595] x[6596] x[6597] x[6598] x[6599] x[6600] x[6601] x[6602] x[6603] x[6604] x[6605] x[6606] x[6607] x[6608] x[6609] x[6610] x[6611] x[6612] x[6613] x[6614] x[6615] x[6616] x[6617] x[6618] x[6619] x[6620] x[6621] x[6622] x[6623] x[6624] x[6625] x[6626] x[6627] x[6628] x[6629] x[6630] x[6631] x[6632] x[6633] x[6634] x[6635] x[6636] x[6637] x[6638] x[6639] x[6640] x[6641] x[6642] x[6643] x[6644] x[6645] x[6646] x[6647] x[6648] x[6649] x[6650] x[6651] x[6652] x[6653] x[6654] x[6655] x[6656] x[6657] x[6658] x[6659] x[6660] x[6661] x[6662] x[6663] x[6664] x[6665] x[6666] x[6667] x[6668] x[6669] x[6670] x[6671] x[6672] x[6673] x[6674] x[6675] x[6676] x[6677] x[6678] x[6679] x[6680] x[6681] x[6682] x[6683] x[6684] x[6685] x[6686] x[6687] x[6688] x[6689] x[6690] x[6691] x[6692] x[6693] x[6694] x[6695] x[6696] x[6697] x[6698] x[6699] x[6700] x[6701] x[6702] x[6703] x[6704] x[6705] x[6706] x[6707] x[6708] x[6709] x[6710] x[6711] x[6712] x[6713] x[6714] x[6715] x[6716] x[6717] x[6718] x[6719] x[6720] x[6721] x[6722] x[6723] x[6724] x[6725] x[6726] x[6727] x[6728] x[6729] x[6730] x[6731] x[6732] x[6733] x[6734] x[6735] x[6736] x[6737] x[6738] x[6739] x[6740] x[6741] x[6742] x[6743] x[6744] x[6745] x[6746] x[6747] x[6748] x[6749] x[6750] x[6751] x[6752] x[6753] x[6754] x[6755] x[6756] x[6757] x[6758] x[6759] x[6760] x[6761] x[6762] x[6763] x[6764] x[6765] x[6766] x[6767] x[6768] x[6769] x[6770] x[6771] x[6772] x[6773] x[6774] x[6775] x[6776] x[6777] x[6778] x[6779] x[6780] x[6781] x[6782] x[6783] x[6784] x[6785] x[6786] x[6787] x[6788] x[6789] x[6790] x[6791] x[6792] x[6793] x[6794] x[6795] x[6796] x[6797] x[6798] x[6799] x[6800] x[6801] x[6802] x[6803] x[6804] x[6805] x[6806] x[6807] x[6808] x[6809] x[6810] x[6811] x[6812] x[6813] x[6814] x[6815] x[6816] x[6817] x[6818] x[6819] x[6820] x[6821] x[6822] x[6823] x[6824] x[6825] x[6826] x[6827] x[6828] x[6829] x[6830] x[6831] x[6832] x[6833] x[6834] x[6835] x[6836] x[6837] x[6838] x[6839] x[6840] x[6841] x[6842] x[6843] x[6844] x[6845] x[6846] x[6847] x[6848] x[6849] x[6850] x[6851] x[6852] x[6853] x[6854] x[6855] x[6856] x[6857] x[6858] x[6859] x[6860] x[6861] x[6862] x[6863] x[6864] x[6865] x[6866] x[6867] x[6868] x[6869] x[6870] x[6871] x[6872] x[6873] x[6874] x[6875] x[6876] x[6877] x[6878] x[6879] x[6880] x[6881] x[6882] x[6883] x[6884] x[6885] x[6886] x[6887] x[6888] x[6889] x[6890] x[6891] x[6892] x[6893] x[6894] x[6895] x[6896] x[6897] x[6898] x[6899] x[6900] x[6901] x[6902] x[6903] x[6904] x[6905] x[6906] x[6907] x[6908] x[6909] x[6910] x[6911] x[6912] x[6913] x[6914] x[6915] x[6916] x[6917] x[6918] x[6919] x[6920] x[6921] x[6922] x[6923] x[6924] x[6925] x[6926] x[6927] x[6928] x[6929] x[6930] x[6931] x[6932] x[6933] x[6934] x[6935] x[6936] x[6937] x[6938] x[6939] x[6940] x[6941] x[6942] x[6943] x[6944] x[6945] x[6946] x[6947] x[6948] x[6949] x[6950] x[6951] x[6952] x[6953] x[6954] x[6955] x[6956] x[6957] x[6958] x[6959] x[6960] x[6961] x[6962] x[6963] x[6964] x[6965] x[6966] x[6967] x[6968] x[6969] x[6970] x[6971] x[6972] x[6973] x[6974] x[6975] x[6976] x[6977] x[6978] x[6979] x[6980] x[6981] x[6982] x[6983] x[6984] x[6985] x[6986] x[6987] x[6988] x[6989] x[6990] x[6991] x[6992] x[6993] x[6994] x[6995] x[6996] x[6997] x[6998] x[6999] x[7000] x[7001] x[7002] x[7003] x[7004] x[7005] x[7006] x[7007] x[7008] x[7009] x[7010] x[7011] x[7012] x[7013] x[7014] x[7015] x[7016] x[7017] x[7018] x[7019] x[7020] x[7021] x[7022] x[7023] x[7024] x[7025] x[7026] x[7027] x[7028] x[7029] x[7030] x[7031] x[7032] x[7033] x[7034] x[7035] x[7036] x[7037] x[7038] x[7039] x[7040] x[7041] x[7042] x[7043] x[7044] x[7045] x[7046] x[7047] x[7048] x[7049] x[7050] x[7051] x[7052] x[7053] x[7054] x[7055] x[7056] x[7057] x[7058] x[7059] x[7060] x[7061] x[7062] x[7063] x[7064] x[7065] x[7066] x[7067] x[7068] x[7069] x[7070] x[7071] x[7072] x[7073] x[7074] x[7075] x[7076] x[7077] x[7078] x[7079] x[7080] x[7081] x[7082] x[7083] x[7084] x[7085] x[7086] x[7087] x[7088] x[7089] x[7090] x[7091] x[7092] x[7093] x[7094] x[7095] x[7096] x[7097] x[7098] x[7099] x[7100] x[7101] x[7102] x[7103] x[7104] x[7105] x[7106] x[7107] x[7108] x[7109] x[7110] x[7111] x[7112] x[7113] x[7114] x[7115] x[7116] x[7117] x[7118] x[7119] x[7120] x[7121] x[7122] x[7123] x[7124] x[7125] x[7126] x[7127] x[7128] x[7129] x[7130] x[7131] x[7132] x[7133] x[7134] x[7135] x[7136] x[7137] x[7138] x[7139] x[7140] x[7141] x[7142] x[7143] x[7144] x[7145] x[7146] x[7147] x[7148] x[7149] x[7150] x[7151] x[7152] x[7153] x[7154] x[7155] x[7156] x[7157] x[7158] x[7159] x[7160] x[7161] x[7162] x[7163] x[7164] x[7165] x[7166] x[7167] x[7168] x[7169] x[7170] x[7171] x[7172] x[7173] x[7174] x[7175] x[7176] x[7177] x[7178] x[7179] x[7180] x[7181] x[7182] x[7183] x[7184] x[7185] x[7186] x[7187] x[7188] x[7189] x[7190] x[7191] x[7192] x[7193] x[7194] x[7195] x[7196] x[7197] x[7198] x[7199] x[7200] x[7201] x[7202] x[7203] x[7204] x[7205] x[7206] x[7207] x[7208] x[7209] x[7210] x[7211] x[7212] x[7213] x[7214] x[7215] x[7216] x[7217] x[7218] x[7219] x[7220] x[7221] x[7222] x[7223] x[7224] x[7225] x[7226] x[7227] x[7228] x[7229] x[7230] x[7231] x[7232] x[7233] x[7234] x[7235] x[7236] x[7237] x[7238] x[7239] x[7240] x[7241] x[7242] x[7243] x[7244] x[7245] x[7246] x[7247] x[7248] x[7249] x[7250] x[7251] x[7252] x[7253] x[7254] x[7255] x[7256] x[7257] x[7258] x[7259] x[7260] x[7261] x[7262] x[7263] x[7264] x[7265] x[7266] x[7267] x[7268] x[7269] x[7270] x[7271] x[7272] x[7273] x[7274] x[7275] x[7276] x[7277] x[7278] x[7279] x[7280] x[7281] x[7282] x[7283] x[7284] x[7285] x[7286] x[7287] x[7288] x[7289] x[7290] x[7291] x[7292] x[7293] x[7294] x[7295] x[7296] x[7297] x[7298] x[7299] x[7300] x[7301] x[7302] x[7303] x[7304] x[7305] x[7306] x[7307] x[7308] x[7309] x[7310] x[7311] x[7312] x[7313] x[7314] x[7315] x[7316] x[7317] x[7318] x[7319] x[7320] x[7321] x[7322] x[7323] x[7324] x[7325] x[7326] x[7327] x[7328] x[7329] x[7330] x[7331] x[7332] x[7333] x[7334] x[7335] x[7336] x[7337] x[7338] x[7339] x[7340] x[7341] x[7342] x[7343] x[7344] x[7345] x[7346] x[7347] x[7348] x[7349] x[7350] x[7351] x[7352] x[7353] x[7354] x[7355] x[7356] x[7357] x[7358] x[7359] x[7360] x[7361] x[7362] x[7363] x[7364] x[7365] x[7366] x[7367] x[7368] x[7369] x[7370] x[7371] x[7372] x[7373] x[7374] x[7375] x[7376] x[7377] x[7378] x[7379] x[7380] x[7381] x[7382] x[7383] x[7384] x[7385] x[7386] x[7387] x[7388] x[7389] x[7390] x[7391] x[7392] x[7393] x[7394] x[7395] x[7396] x[7397] x[7398] x[7399] x[7400] x[7401] x[7402] x[7403] x[7404] x[7405] x[7406] x[7407] x[7408] x[7409] x[7410] x[7411] x[7412] x[7413] x[7414] x[7415] x[7416] x[7417] x[7418] x[7419] x[7420] x[7421] x[7422] x[7423] x[7424] x[7425] x[7426] x[7427] x[7428] x[7429] x[7430] x[7431] x[7432] x[7433] x[7434] x[7435] x[7436] x[7437] x[7438] x[7439] x[7440] x[7441] x[7442] x[7443] x[7444] x[7445] x[7446] x[7447] x[7448] x[7449] x[7450] x[7451] x[7452] x[7453] x[7454] x[7455] x[7456] x[7457] x[7458] x[7459] x[7460] x[7461] x[7462] x[7463] x[7464] x[7465] x[7466] x[7467] x[7468] x[7469] x[7470] x[7471] x[7472] x[7473] x[7474] x[7475] x[7476] x[7477] x[7478] x[7479] x[7480] x[7481] x[7482] x[7483] x[7484] x[7485] x[7486] x[7487] x[7488] x[7489] x[7490] x[7491] x[7492] x[7493] x[7494] x[7495] x[7496] x[7497] x[7498] x[7499] x[7500] x[7501] x[7502] x[7503] x[7504] x[7505] x[7506] x[7507] x[7508] x[7509] x[7510] x[7511] x[7512] x[7513] x[7514] x[7515] x[7516] x[7517] x[7518] x[7519] x[7520] x[7521] x[7522] x[7523] x[7524] x[7525] x[7526] x[7527] x[7528] x[7529] x[7530] x[7531] x[7532] x[7533] x[7534] x[7535] x[7536] x[7537] x[7538] x[7539] x[7540] x[7541] x[7542] x[7543] x[7544] x[7545] x[7546] x[7547] x[7548] x[7549] x[7550] x[7551] x[7552] x[7553] x[7554] x[7555] x[7556] x[7557] x[7558] x[7559] x[7560] x[7561] x[7562] x[7563] x[7564] x[7565] x[7566] x[7567] x[7568] x[7569] x[7570] x[7571] x[7572] x[7573] x[7574] x[7575] x[7576] x[7577] x[7578] x[7579] x[7580] x[7581] x[7582] x[7583] x[7584] x[7585] x[7586] x[7587] x[7588] x[7589] x[7590] x[7591] x[7592] x[7593] x[7594] x[7595] x[7596] x[7597] x[7598] x[7599] x[7600] x[7601] x[7602] x[7603] x[7604] x[7605] x[7606] x[7607] x[7608] x[7609] x[7610] x[7611] x[7612] x[7613] x[7614] x[7615] x[7616] x[7617] x[7618] x[7619] x[7620] x[7621] x[7622] x[7623] x[7624] x[7625] x[7626] x[7627] x[7628] x[7629] x[7630] x[7631] x[7632] x[7633] x[7634] x[7635] x[7636] x[7637] x[7638] x[7639] x[7640] x[7641] x[7642] x[7643] x[7644] x[7645] x[7646] x[7647] x[7648] x[7649] x[7650] x[7651] x[7652] x[7653] x[7654] x[7655] x[7656] x[7657] x[7658] x[7659] x[7660] x[7661] x[7662] x[7663] x[7664] x[7665] x[7666] x[7667] x[7668] x[7669] x[7670] x[7671] x[7672] x[7673] x[7674] x[7675] x[7676] x[7677] x[7678] x[7679] x[7680] x[7681] x[7682] x[7683] x[7684] x[7685] x[7686] x[7687] x[7688] x[7689] x[7690] x[7691] x[7692] x[7693] x[7694] x[7695] x[7696] x[7697] x[7698] x[7699] x[7700] x[7701] x[7702] x[7703] x[7704] x[7705] x[7706] x[7707] x[7708] x[7709] x[7710] x[7711] x[7712] x[7713] x[7714] x[7715] x[7716] x[7717] x[7718] x[7719] x[7720] x[7721] x[7722] x[7723] x[7724] x[7725] x[7726] x[7727] x[7728] x[7729] x[7730] x[7731] x[7732] x[7733] x[7734] x[7735] x[7736] x[7737] x[7738] x[7739] x[7740] x[7741] x[7742] x[7743] x[7744] x[7745] x[7746] x[7747] x[7748] x[7749] x[7750] x[7751] x[7752] x[7753] x[7754] x[7755] x[7756] x[7757] x[7758] x[7759] x[7760] x[7761] x[7762] x[7763] x[7764] x[7765] x[7766] x[7767] x[7768] x[7769] x[7770] x[7771] x[7772] x[7773] x[7774] x[7775] x[7776] x[7777] x[7778] x[7779] x[7780] x[7781] x[7782] x[7783] x[7784] x[7785] x[7786] x[7787] x[7788] x[7789] x[7790] x[7791] x[7792] x[7793] x[7794] x[7795] x[7796] x[7797] x[7798] x[7799] x[7800] x[7801] x[7802] x[7803] x[7804] x[7805] x[7806] x[7807] x[7808] x[7809] x[7810] x[7811] x[7812] x[7813] x[7814] x[7815] x[7816] x[7817] x[7818] x[7819] x[7820] x[7821] x[7822] x[7823] x[7824] x[7825] x[7826] x[7827] x[7828] x[7829] x[7830] x[7831] x[7832] x[7833] x[7834] x[7835] x[7836] x[7837] x[7838] x[7839] x[7840] x[7841] x[7842] x[7843] x[7844] x[7845] x[7846] x[7847] x[7848] x[7849] x[7850] x[7851] x[7852] x[7853] x[7854] x[7855] x[7856] x[7857] x[7858] x[7859] x[7860] x[7861] x[7862] x[7863] x[7864] x[7865] x[7866] x[7867] x[7868] x[7869] x[7870] x[7871] x[7872] x[7873] x[7874] x[7875] x[7876] x[7877] x[7878] x[7879] x[7880] x[7881] x[7882] x[7883] x[7884] x[7885] x[7886] x[7887] x[7888] x[7889] x[7890] x[7891] x[7892] x[7893] x[7894] x[7895] x[7896] x[7897] x[7898] x[7899] x[7900] x[7901] x[7902] x[7903] x[7904] x[7905] x[7906] x[7907] x[7908] x[7909] x[7910] x[7911] x[7912] x[7913] x[7914] x[7915] x[7916] x[7917] x[7918] x[7919] x[7920] x[7921] x[7922] x[7923] x[7924] x[7925] x[7926] x[7927] x[7928] x[7929] x[7930] x[7931] x[7932] x[7933] x[7934] x[7935] x[7936] x[7937] x[7938] x[7939] x[7940] x[7941] x[7942] x[7943] x[7944] x[7945] x[7946] x[7947] x[7948] x[7949] x[7950] x[7951] x[7952] x[7953] x[7954] x[7955] x[7956] x[7957] x[7958] x[7959] x[7960] x[7961] x[7962] x[7963] x[7964] x[7965] x[7966] x[7967] x[7968] x[7969] x[7970] x[7971] x[7972] x[7973] x[7974] x[7975] x[7976] x[7977] x[7978] x[7979] x[7980] x[7981] x[7982] x[7983] x[7984] x[7985] x[7986] x[7987] x[7988] x[7989] x[7990] x[7991] x[7992] x[7993] x[7994] x[7995] x[7996] x[7997] x[7998] x[7999] x[8000] x[8001] x[8002] x[8003] x[8004] x[8005] x[8006] x[8007] x[8008] x[8009] x[8010] x[8011] x[8012] x[8013] x[8014] x[8015] x[8016] x[8017] x[8018] x[8019] x[8020] x[8021] x[8022] x[8023] x[8024] x[8025] x[8026] x[8027] x[8028] x[8029] x[8030] x[8031] x[8032] x[8033] x[8034] x[8035] x[8036] x[8037] x[8038] x[8039] x[8040] x[8041] x[8042] x[8043] x[8044] x[8045] x[8046] x[8047] x[8048] x[8049] x[8050] x[8051] x[8052] x[8053] x[8054] x[8055] x[8056] x[8057] x[8058] x[8059] x[8060] x[8061] x[8062] x[8063] x[8064] x[8065] x[8066] x[8067] x[8068] x[8069] x[8070] x[8071] x[8072] x[8073] x[8074] x[8075] x[8076] x[8077] x[8078] x[8079] x[8080] x[8081] x[8082] x[8083] x[8084] x[8085] x[8086] x[8087] x[8088] x[8089] x[8090] x[8091] x[8092] x[8093] x[8094] x[8095] x[8096] x[8097] x[8098] x[8099] x[8100] x[8101] x[8102] x[8103] x[8104] x[8105] x[8106] x[8107] x[8108] x[8109] x[8110] x[8111] x[8112] x[8113] x[8114] x[8115] x[8116] x[8117] x[8118] x[8119] x[8120] x[8121] x[8122] x[8123] x[8124] x[8125] x[8126] x[8127] x[8128] x[8129] x[8130] x[8131] x[8132] x[8133] x[8134] x[8135] x[8136] x[8137] x[8138] x[8139] x[8140] x[8141] x[8142] x[8143] x[8144] x[8145] x[8146] x[8147] x[8148] x[8149] x[8150] x[8151] x[8152] x[8153] x[8154] x[8155] x[8156] x[8157] x[8158] x[8159] x[8160] x[8161] x[8162] x[8163] x[8164] x[8165] x[8166] x[8167] x[8168] x[8169] x[8170] x[8171] x[8172] x[8173] x[8174] x[8175] x[8176] x[8177] x[8178] x[8179] x[8180] x[8181] x[8182] x[8183] x[8184] x[8185] x[8186] x[8187] x[8188] x[8189] x[8190] x[8191] x[8192] x[8193] x[8194] x[8195] x[8196] x[8197] x[8198] x[8199] x[8200] x[8201] x[8202] x[8203] x[8204] x[8205] x[8206] x[8207] x[8208] x[8209] x[8210] x[8211] x[8212] x[8213] x[8214] x[8215] x[8216] x[8217] x[8218] x[8219] x[8220] x[8221] x[8222] x[8223] x[8224] x[8225] x[8226] x[8227] x[8228] x[8229] x[8230] x[8231] x[8232] x[8233] x[8234] x[8235] x[8236] x[8237] x[8238] x[8239] x[8240] x[8241] x[8242] x[8243] x[8244] x[8245] x[8246] x[8247] x[8248] x[8249] x[8250] x[8251] x[8252] x[8253] x[8254] x[8255] x[8256] x[8257] x[8258] x[8259] x[8260] x[8261] x[8262] x[8263] x[8264] x[8265] x[8266] x[8267] x[8268] x[8269] x[8270] x[8271] x[8272] x[8273] x[8274] x[8275] x[8276] x[8277] x[8278] x[8279] x[8280] x[8281] x[8282] x[8283] x[8284] x[8285] x[8286] x[8287] x[8288] x[8289] x[8290] x[8291] x[8292] x[8293] x[8294] x[8295] x[8296] x[8297] x[8298] x[8299] x[8300] x[8301] x[8302] x[8303] x[8304] x[8305] x[8306] x[8307] x[8308] x[8309] x[8310] x[8311] x[8312] x[8313] x[8314] x[8315] x[8316] x[8317] x[8318] x[8319] x[8320] x[8321] x[8322] x[8323] x[8324] x[8325] x[8326] x[8327] x[8328] x[8329] x[8330] x[8331] x[8332] x[8333] x[8334] x[8335] x[8336] x[8337] x[8338] x[8339] x[8340] x[8341] x[8342] x[8343] x[8344] x[8345] x[8346] x[8347] x[8348] x[8349] x[8350] x[8351] x[8352] x[8353] x[8354] x[8355] x[8356] x[8357] x[8358] x[8359] x[8360] x[8361] x[8362] x[8363] x[8364] x[8365] x[8366] x[8367] x[8368] x[8369] x[8370] x[8371] x[8372] x[8373] x[8374] x[8375] x[8376] x[8377] x[8378] x[8379] x[8380] x[8381] x[8382] x[8383] x[8384] x[8385] x[8386] x[8387] x[8388] x[8389] x[8390] x[8391] x[8392] x[8393] x[8394] x[8395] x[8396] x[8397] x[8398] x[8399] x[8400] x[8401] x[8402] x[8403] x[8404] x[8405] x[8406] x[8407] x[8408] x[8409] x[8410] x[8411] x[8412] x[8413] x[8414] x[8415] x[8416] x[8417] x[8418] x[8419] x[8420] x[8421] x[8422] x[8423] x[8424] x[8425] x[8426] x[8427] x[8428] x[8429] x[8430] x[8431] x[8432] x[8433] x[8434] x[8435] x[8436] x[8437] x[8438] x[8439] x[8440] x[8441] x[8442] x[8443] x[8444] x[8445] x[8446] x[8447] x[8448] x[8449] x[8450] x[8451] x[8452] x[8453] x[8454] x[8455] x[8456] x[8457] x[8458] x[8459] x[8460] x[8461] x[8462] x[8463] x[8464] x[8465] x[8466] x[8467] x[8468] x[8469] x[8470] x[8471] x[8472] x[8473] x[8474] x[8475] x[8476] x[8477] x[8478] x[8479] x[8480] x[8481] x[8482] x[8483] x[8484] x[8485] x[8486] x[8487] x[8488] x[8489] x[8490] x[8491] x[8492] x[8493] x[8494] x[8495] x[8496] x[8497] x[8498] x[8499] x[8500] x[8501] x[8502] x[8503] x[8504] x[8505] x[8506] x[8507] x[8508] x[8509] x[8510] x[8511] x[8512] x[8513] x[8514] x[8515] x[8516] x[8517] x[8518] x[8519] x[8520] x[8521] x[8522] x[8523] x[8524] x[8525] x[8526] x[8527] x[8528] x[8529] x[8530] x[8531] x[8532] x[8533] x[8534] x[8535] x[8536] x[8537] x[8538] x[8539] x[8540] x[8541] x[8542] x[8543] x[8544] x[8545] x[8546] x[8547] x[8548] x[8549] x[8550] x[8551] x[8552] x[8553] x[8554] x[8555] x[8556] x[8557] x[8558] x[8559] x[8560] x[8561] x[8562] x[8563] x[8564] x[8565] x[8566] x[8567] x[8568] x[8569] x[8570] x[8571] x[8572] x[8573] x[8574] x[8575] x[8576] x[8577] x[8578] x[8579] x[8580] x[8581] x[8582] x[8583] x[8584] x[8585] x[8586] x[8587] x[8588] x[8589] x[8590] x[8591] x[8592] x[8593] x[8594] x[8595] x[8596] x[8597] x[8598] x[8599] x[8600] x[8601] x[8602] x[8603] x[8604] x[8605] x[8606] x[8607] x[8608] x[8609] x[8610] x[8611] x[8612] x[8613] x[8614] x[8615] x[8616] x[8617] x[8618] x[8619] x[8620] x[8621] x[8622] x[8623] x[8624] x[8625] x[8626] x[8627] x[8628] x[8629] x[8630] x[8631] x[8632] x[8633] x[8634] x[8635] x[8636] x[8637] x[8638] x[8639] x[8640] x[8641] x[8642] x[8643] x[8644] x[8645] x[8646] x[8647] x[8648] x[8649] x[8650] x[8651] x[8652] x[8653] x[8654] x[8655] x[8656] x[8657] x[8658] x[8659] x[8660] x[8661] x[8662] x[8663] x[8664] x[8665] x[8666] x[8667] x[8668] x[8669] x[8670] x[8671] x[8672] x[8673] x[8674] x[8675] x[8676] x[8677] x[8678] x[8679] x[8680] x[8681] x[8682] x[8683] x[8684] x[8685] x[8686] x[8687] x[8688] x[8689] x[8690] x[8691] x[8692] x[8693] x[8694] x[8695] x[8696] x[8697] x[8698] x[8699] x[8700] x[8701] x[8702] x[8703] x[8704] x[8705] x[8706] x[8707] x[8708] x[8709] x[8710] x[8711] x[8712] x[8713] x[8714] x[8715] x[8716] x[8717] x[8718] x[8719] x[8720] x[8721] x[8722] x[8723] x[8724] x[8725] x[8726] x[8727] x[8728] x[8729] x[8730] x[8731] x[8732] x[8733] x[8734] x[8735] x[8736] x[8737] x[8738] x[8739] x[8740] x[8741] x[8742] x[8743] x[8744] x[8745] x[8746] x[8747] x[8748] x[8749] x[8750] x[8751] x[8752] x[8753] x[8754] x[8755] x[8756] x[8757] x[8758] x[8759] x[8760] x[8761] x[8762] x[8763] x[8764] x[8765] x[8766] x[8767] x[8768] x[8769] x[8770] x[8771] x[8772] x[8773] x[8774] x[8775] x[8776] x[8777] x[8778] x[8779] x[8780] x[8781] x[8782] x[8783] x[8784] x[8785] x[8786] x[8787] x[8788] x[8789] x[8790] x[8791] x[8792] x[8793] x[8794] x[8795] x[8796] x[8797] x[8798] x[8799] x[8800] x[8801] x[8802] x[8803] x[8804] x[8805] x[8806] x[8807] x[8808] x[8809] x[8810] x[8811] x[8812] x[8813] x[8814] x[8815] x[8816] x[8817] x[8818] x[8819] x[8820] x[8821] x[8822] x[8823] x[8824] x[8825] x[8826] x[8827] x[8828] x[8829] x[8830] x[8831] x[8832] x[8833] x[8834] x[8835] x[8836] x[8837] x[8838] x[8839] x[8840] x[8841] x[8842] x[8843] x[8844] x[8845] x[8846] x[8847] x[8848] x[8849] x[8850] x[8851] x[8852] x[8853] x[8854] x[8855] x[8856] x[8857] x[8858] x[8859] x[8860] x[8861] x[8862] x[8863] x[8864] x[8865] x[8866] x[8867] x[8868] x[8869] x[8870] x[8871] x[8872] x[8873] x[8874] x[8875] x[8876] x[8877] x[8878] x[8879] x[8880] x[8881] x[8882] x[8883] x[8884] x[8885] x[8886] x[8887] x[8888] x[8889] x[8890] x[8891] x[8892] x[8893] x[8894] x[8895] x[8896] x[8897] x[8898] x[8899] x[8900] x[8901] x[8902] x[8903] x[8904] x[8905] x[8906] x[8907] x[8908] x[8909] x[8910] x[8911] x[8912] x[8913] x[8914] x[8915] x[8916] x[8917] x[8918] x[8919] x[8920] x[8921] x[8922] x[8923] x[8924] x[8925] x[8926] x[8927] x[8928] x[8929] x[8930] x[8931] x[8932] x[8933] x[8934] x[8935] x[8936] x[8937] x[8938] x[8939] x[8940] x[8941] x[8942] x[8943] x[8944] x[8945] x[8946] x[8947] x[8948] x[8949] x[8950] x[8951] x[8952] x[8953] x[8954] x[8955] x[8956] x[8957] x[8958] x[8959] x[8960] x[8961] x[8962] x[8963] x[8964] x[8965] x[8966] x[8967] x[8968] x[8969] x[8970] x[8971] x[8972] x[8973] x[8974] x[8975] x[8976] x[8977] x[8978] x[8979] x[8980] x[8981] x[8982] x[8983] x[8984] x[8985] x[8986] x[8987] x[8988] x[8989] x[8990] x[8991] x[8992] x[8993] x[8994] x[8995] x[8996] x[8997] x[8998] x[8999] x[9000] x[9001] x[9002] x[9003] x[9004] x[9005] x[9006] x[9007] x[9008] x[9009] x[9010] x[9011] x[9012] x[9013] x[9014] x[9015] x[9016] x[9017] x[9018] x[9019] x[9020] x[9021] x[9022] x[9023] x[9024] x[9025] x[9026] x[9027] x[9028] x[9029] x[9030] x[9031] x[9032] x[9033] x[9034] x[9035] x[9036] x[9037] x[9038] x[9039] x[9040] x[9041] x[9042] x[9043] x[9044] x[9045] x[9046] x[9047] x[9048] x[9049] x[9050] x[9051] x[9052] x[9053] x[9054] x[9055] x[9056] x[9057] x[9058] x[9059] x[9060] x[9061] x[9062] x[9063] x[9064] x[9065] x[9066] x[9067] x[9068] x[9069] x[9070] x[9071] x[9072] x[9073] x[9074] x[9075] x[9076] x[9077] x[9078] x[9079] x[9080] x[9081] x[9082] x[9083] x[9084] x[9085] x[9086] x[9087] x[9088] x[9089] x[9090] x[9091] x[9092] x[9093] x[9094] x[9095] x[9096] x[9097] x[9098] x[9099] x[9100] x[9101] x[9102] x[9103] x[9104] x[9105] x[9106] x[9107] x[9108] x[9109] x[9110] x[9111] x[9112] x[9113] x[9114] x[9115] x[9116] x[9117] x[9118] x[9119] x[9120] x[9121] x[9122] x[9123] x[9124] x[9125] x[9126] x[9127] x[9128] x[9129] x[9130] x[9131] x[9132] x[9133] x[9134] x[9135] x[9136] x[9137] x[9138] x[9139] x[9140] x[9141] x[9142] x[9143] x[9144] x[9145] x[9146] x[9147] x[9148] x[9149] x[9150] x[9151] x[9152] x[9153] x[9154] x[9155] x[9156] x[9157] x[9158] x[9159] x[9160] x[9161] x[9162] x[9163] x[9164] x[9165] x[9166] x[9167] x[9168] x[9169] x[9170] x[9171] x[9172] x[9173] x[9174] x[9175] x[9176] x[9177] x[9178] x[9179] x[9180] x[9181] x[9182] x[9183] x[9184] x[9185] x[9186] x[9187] x[9188] x[9189] x[9190] x[9191] x[9192] x[9193] x[9194] x[9195] x[9196] x[9197] x[9198] x[9199] x[9200] x[9201] x[9202] x[9203] x[9204] x[9205] x[9206] x[9207] x[9208] x[9209] x[9210] x[9211] x[9212] x[9213] x[9214] x[9215] x[9216] x[9217] x[9218] x[9219] x[9220] x[9221] x[9222] x[9223] x[9224] x[9225] x[9226] x[9227] x[9228] x[9229] x[9230] x[9231] x[9232] x[9233] x[9234] x[9235] x[9236] x[9237] x[9238] x[9239] x[9240] x[9241] x[9242] x[9243] x[9244] x[9245] x[9246] x[9247] x[9248] x[9249] x[9250] x[9251] x[9252] x[9253] x[9254] x[9255] x[9256] x[9257] x[9258] x[9259] x[9260] x[9261] x[9262] x[9263] x[9264] x[9265] x[9266] x[9267] x[9268] x[9269] x[9270] x[9271] x[9272] x[9273] x[9274] x[9275] x[9276] x[9277] x[9278] x[9279] x[9280] x[9281] x[9282] x[9283] x[9284] x[9285] x[9286] x[9287] x[9288] x[9289] x[9290] x[9291] x[9292] x[9293] x[9294] x[9295] x[9296] x[9297] x[9298] x[9299] x[9300] x[9301] x[9302] x[9303] x[9304] x[9305] x[9306] x[9307] x[9308] x[9309] x[9310] x[9311] x[9312] x[9313] x[9314] x[9315] x[9316] x[9317] x[9318] x[9319] x[9320] x[9321] x[9322] x[9323] x[9324] x[9325] x[9326] x[9327] x[9328] x[9329] x[9330] x[9331] x[9332] x[9333] x[9334] x[9335] x[9336] x[9337] x[9338] x[9339] x[9340] x[9341] x[9342] x[9343] x[9344] x[9345] x[9346] x[9347] x[9348] x[9349] x[9350] x[9351] x[9352] x[9353] x[9354] x[9355] x[9356] x[9357] x[9358] x[9359] x[9360] x[9361] x[9362] x[9363] x[9364] x[9365] x[9366] x[9367] x[9368] x[9369] x[9370] x[9371] x[9372] x[9373] x[9374] x[9375] x[9376] x[9377] x[9378] x[9379] x[9380] x[9381] x[9382] x[9383] x[9384] x[9385] x[9386] x[9387] x[9388] x[9389] x[9390] x[9391] x[9392] x[9393] x[9394] x[9395] x[9396] x[9397] x[9398] x[9399] x[9400] x[9401] x[9402] x[9403] x[9404] x[9405] x[9406] x[9407] x[9408] x[9409] x[9410] x[9411] x[9412] x[9413] x[9414] x[9415] x[9416] x[9417] x[9418] x[9419] x[9420] x[9421] x[9422] x[9423] x[9424] x[9425] x[9426] x[9427] x[9428] x[9429] x[9430] x[9431] x[9432] x[9433] x[9434] x[9435] x[9436] x[9437] x[9438] x[9439] x[9440] x[9441] x[9442] x[9443] x[9444] x[9445] x[9446] x[9447] x[9448] x[9449] x[9450] x[9451] x[9452] x[9453] x[9454] x[9455] x[9456] x[9457] x[9458] x[9459] x[9460] x[9461] x[9462] x[9463] x[9464] x[9465] x[9466] x[9467] x[9468] x[9469] x[9470] x[9471] x[9472] x[9473] x[9474] x[9475] x[9476] x[9477] x[9478] x[9479] x[9480] x[9481] x[9482] x[9483] x[9484] x[9485] x[9486] x[9487] x[9488] x[9489] x[9490] x[9491] x[9492] x[9493] x[9494] x[9495] x[9496] x[9497] x[9498] x[9499] x[9500] x[9501] x[9502] x[9503] x[9504] x[9505] x[9506] x[9507] x[9508] x[9509] x[9510] x[9511] x[9512] x[9513] x[9514] x[9515] x[9516] x[9517] x[9518] x[9519] x[9520] x[9521] x[9522] x[9523] x[9524] x[9525] x[9526] x[9527] x[9528] x[9529] x[9530] x[9531] x[9532] x[9533] x[9534] x[9535] x[9536] x[9537] x[9538] x[9539] x[9540] x[9541] x[9542] x[9543] x[9544] x[9545] x[9546] x[9547] x[9548] x[9549] x[9550] x[9551] x[9552] x[9553] x[9554] x[9555] x[9556] x[9557] x[9558] x[9559] x[9560] x[9561] x[9562] x[9563] x[9564] x[9565] x[9566] x[9567] x[9568] x[9569] x[9570] x[9571] x[9572] x[9573] x[9574] x[9575] x[9576] x[9577] x[9578] x[9579] x[9580] x[9581] x[9582] x[9583] x[9584] x[9585] x[9586] x[9587] x[9588] x[9589] x[9590] x[9591] x[9592] x[9593] x[9594] x[9595] x[9596] x[9597] x[9598] x[9599] x[9600] x[9601] x[9602] x[9603] x[9604] x[9605] x[9606] x[9607] x[9608] x[9609] x[9610] x[9611] x[9612] x[9613] x[9614] x[9615] x[9616] x[9617] x[9618] x[9619] x[9620] x[9621] x[9622] x[9623] x[9624] x[9625] x[9626] x[9627] x[9628] x[9629] x[9630] x[9631] x[9632] x[9633] x[9634] x[9635] x[9636] x[9637] x[9638] x[9639] x[9640] x[9641] x[9642] x[9643] x[9644] x[9645] x[9646] x[9647] x[9648] x[9649] x[9650] x[9651] x[9652] x[9653] x[9654] x[9655] x[9656] x[9657] x[9658] x[9659] x[9660] x[9661] x[9662] x[9663] x[9664] x[9665] x[9666] x[9667] x[9668] x[9669] x[9670] x[9671] x[9672] x[9673] x[9674] x[9675] x[9676] x[9677] x[9678] x[9679] x[9680] x[9681] x[9682] x[9683] x[9684] x[9685] x[9686] x[9687] x[9688] x[9689] x[9690] x[9691] x[9692] x[9693] x[9694] x[9695] x[9696] x[9697] x[9698] x[9699] x[9700] x[9701] x[9702] x[9703] x[9704] x[9705] x[9706] x[9707] x[9708] x[9709] x[9710] x[9711] x[9712] x[9713] x[9714] x[9715] x[9716] x[9717] x[9718] x[9719] x[9720] x[9721] x[9722] x[9723] x[9724] x[9725] x[9726] x[9727] x[9728] x[9729] x[9730] x[9731] x[9732] x[9733] x[9734] x[9735] x[9736] x[9737] x[9738] x[9739] x[9740] x[9741] x[9742] x[9743] x[9744] x[9745] x[9746] x[9747] x[9748] x[9749] x[9750] x[9751] x[9752] x[9753] x[9754] x[9755] x[9756] x[9757] x[9758] x[9759] x[9760] x[9761] x[9762] x[9763] x[9764] x[9765] x[9766] x[9767] x[9768] x[9769] x[9770] x[9771] x[9772] x[9773] x[9774] x[9775] x[9776] x[9777] x[9778] x[9779] x[9780] x[9781] x[9782] x[9783] x[9784] x[9785] x[9786] x[9787] x[9788] x[9789] x[9790] x[9791] x[9792] x[9793] x[9794] x[9795] x[9796] x[9797] x[9798] x[9799] x[9800] x[9801] x[9802] x[9803] x[9804] x[9805] x[9806] x[9807] x[9808] x[9809] x[9810] x[9811] x[9812] x[9813] x[9814] x[9815] x[9816] x[9817] x[9818] x[9819] x[9820] x[9821] x[9822] x[9823] x[9824] x[9825] x[9826] x[9827] x[9828] x[9829] x[9830] x[9831] x[9832] x[9833] x[9834] x[9835] x[9836] x[9837] x[9838] x[9839] x[9840] x[9841] x[9842] x[9843] x[9844] x[9845] x[9846] x[9847] x[9848] x[9849] x[9850] x[9851] x[9852] x[9853] x[9854] x[9855] x[9856] x[9857] x[9858] x[9859] x[9860] x[9861] x[9862] x[9863] x[9864] x[9865] x[9866] x[9867] x[9868] x[9869] x[9870] x[9871] x[9872] x[9873] x[9874] x[9875] x[9876] x[9877] x[9878] x[9879] x[9880] x[9881] x[9882] x[9883] x[9884] x[9885] x[9886] x[9887] x[9888] x[9889] x[9890] x[9891] x[9892] x[9893] x[9894] x[9895] x[9896] x[9897] x[9898] x[9899] x[9900] x[9901] x[9902] x[9903] x[9904] x[9905] x[9906] x[9907] x[9908] x[9909] x[9910] x[9911] x[9912] x[9913] x[9914] x[9915] x[9916] x[9917] x[9918] x[9919] x[9920] x[9921] x[9922] x[9923] x[9924] x[9925] x[9926] x[9927] x[9928] x[9929] x[9930] x[9931] x[9932] x[9933] x[9934] x[9935] x[9936] x[9937] x[9938] x[9939] x[9940] x[9941] x[9942] x[9943] x[9944] x[9945] x[9946] x[9947] x[9948] x[9949] x[9950] x[9951] x[9952] x[9953] x[9954] x[9955] x[9956] x[9957] x[9958] x[9959] x[9960] x[9961] x[9962] x[9963] x[9964] x[9965] x[9966] x[9967] x[9968] x[9969] x[9970] x[9971] x[9972] x[9973] x[9974] x[9975] x[9976] x[9977] x[9978] x[9979] x[9980] x[9981] x[9982] x[9983] x[9984] x[9985] x[9986] x[9987] x[9988] x[9989] x[9990] x[9991] x[9992] x[9993] x[9994] x[9995] x[9996] x[9997] x[9998] x[9999] </list>
2519.83/2520.01	v   <values> 23 6 99 5 4 8 19 50 92 51 91 102 31 54 71 62 20 73 48 101 11 30 33 52 69 25 55 13 40 24 45 22 18 93 76 37 66 83 38 39 61 41 42 44 56 88 53 47 27 15 60 63 94 90 59 29 67 57 97 26 49 58 12 70 64 65 106 79 68 103 28 17 72 35 10 107 2 21 1 95 80 32 82 16 84 85 14 100 43 89 3 9 7 104 0 46 78 34 105 36 4 98 8 11 3 96 13 91 99 39 31 30 35 17 76 0 85 26 63 42 73 55 28 34 88 62 97 46 6 101 21 72 41 107 33 60 36 22 61 38 104 47 37 48 23 64 89 16 52 79 24 105 56 53 18 54 40 65 66 20 102 87 86 5 45 19 50 67 70 68 14 25 71 83 103 74 75 27 77 78 7 69 81 82 9 32 106 12 59 2 90 100 49 92 94 15 29 1 51 10 19 8 106 98 99 13 12 101 45 31 30 38 86 11 17 28 37 46 52 26 41 34 67 25 15 63 7 104 75 42 84 24 32 43 102 33 29 1 5 53 89 74 73 77 105 36 20 100 57 50 78 44 21 56 80 2 3 10 64 58 59 18 22 69 27 72 66 49 61 16 54 68 6 81 35 97 39 23 76 40 103 70 107 88 83 60 48 85 87 4 94 82 92 91 93 9 95 0 96 14 3 0 96 97 98 99 1 2 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 104 3 1 94 8 98 99 54 35 106 18 57 49 13 4 60 0 61 15 41 36 24 23 9 85 28 73 68 21 53 90 102 30 47 34 6 52 37 67 32 31 27 70 91 2 38 16 20 105 92 14 45 50 12 72 59 103 80 42 22 58 101 56 100 71 87 65 11 62 63 33 40 29 107 78 75 69 77 97 17 74 83 76 7 5 25 84 46 82 43 89 64 86 51 88 93 55 96 95 81 20 12 10 92 96 95 98 97 55 34 105 99 37 73 9 16 23 80 29 58 8 2 64 60 7 70 50 33 32 18 22 45 24 53 31 27 83 103 0 44 3 88 57 35 52 26 38 41 94 19 39 51 71 74 46 104 48 5 13 15 4 78 11 62 6 59 54 21 47 61 101 106 1 65 68 69 79 42 36 72 30 81 25 75 76 77 43 56 107 87 17 102 84 85 86 89 100 91 90 93 6 1 4 0 90 91 92 93 94 96 97 95 99 25 98 2 3 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 5 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 7 5 0 1 87 88 89 90 91 92 95 93 96 99 94 97 6 98 2 3 18 8 9 10 11 12 13 14 15 16 17 4 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 8 7 6 4 83 84 85 86 87 88 90 89 91 95 92 93 98 94 99 0 97 96 1 2 3 5 9 10 11 12 13 14 15 16 17 38 19 20 21 22 23 24 25 26 27 28 29 30 18 32 33 34 35 36 37 31 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 9 11 7 8 0 80 81 82 83 84 86 85 87 89 88 90 93 91 94 99 4 92 98 3 96 97 95 2 1 6 10 5 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 10 9 2 6 1 5 78 79 80 81 85 82 83 87 84 88 91 86 90 95 93 89 94 99 0 3 92 97 8 98 96 13 7 11 12 18 14 15 16 17 26 19 20 21 22 23 24 25 4 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 0 10 9 7 5 72 73 74 75 76 78 77 79 82 80 83 84 81 85 87 88 86 89 92 94 93 90 95 99 1 91 96 97 98 2 11 3 4 6 8 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 12 2 11 10 6 3 69 70 68 71 73 72 74 76 75 77 79 78 80 82 83 81 84 85 86 87 0 88 90 91 89 92 93 94 98 1 95 8 99 96 97 4 5 7 9 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 13 42 5 28 9 6 7 65 66 67 69 68 70 72 3 73 75 74 76 78 79 77 80 82 83 84 85 86 91 93 81 89 87 88 90 99 0 94 4 1 92 95 12 96 98 97 2 8 10 14 15 16 17 18 19 20 21 22 23 24 25 26 27 11 29 30 31 32 33 34 35 36 37 38 39 40 41 71 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 14 13 12 22 10 4 62 60 61 63 65 64 66 68 67 69 72 70 73 76 74 71 75 77 79 78 80 81 2 83 85 82 84 86 88 91 94 6 89 90 87 92 95 0 3 93 98 99 96 97 8 5 7 9 11 15 16 17 18 19 20 21 1 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 15 14 13 2 11 7 3 56 57 58 62 59 60 63 61 65 66 64 67 70 71 68 69 76 77 72 74 75 81 0 73 78 79 80 82 83 86 89 1 9 4 84 92 87 88 85 90 91 5 93 94 95 96 97 98 99 6 8 10 12 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 16 15 14 12 2 0 8 6 52 54 56 53 57 58 55 59 61 60 62 64 65 63 66 67 68 69 70 71 76 77 72 73 74 75 78 79 80 82 83 84 81 1 85 86 87 3 88 89 92 90 93 94 4 5 10 91 95 98 99 96 97 7 9 13 11 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 17 16 15 13 7 11 10 48 2 49 50 47 51 53 52 54 56 55 57 59 60 58 61 62 63 64 65 66 71 72 67 68 69 70 73 74 75 77 78 79 1 80 0 82 83 84 9 76 86 81 85 87 90 94 91 88 92 93 3 4 89 97 99 96 98 95 5 6 8 12 21 14 18 19 20 23 22 28 24 25 26 27 46 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 18 17 16 14 12 2 5 3 41 42 44 43 45 47 46 50 52 51 53 55 56 54 57 58 60 61 62 63 68 69 64 65 66 67 70 71 72 90 79 95 78 0 80 74 73 75 84 77 83 76 81 82 86 88 9 1 89 85 92 91 87 94 93 4 10 99 97 7 96 98 49 59 48 6 8 11 13 15 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 1 18 17 15 13 9 2 0 7 38 41 40 43 50 44 45 51 3 55 56 57 52 59 68 61 65 60 62 70 67 63 71 64 66 69 97 73 88 74 77 76 78 8 79 84 72 82 83 48 75 80 81 87 86 94 85 4 92 91 90 5 93 89 98 96 47 95 99 6 10 11 12 49 58 53 54 42 46 39 19 14 16 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 11 19 18 20 14 12 22 4 37 6 46 39 40 44 42 48 57 47 49 53 54 50 55 56 58 59 61 60 67 88 62 63 65 64 66 69 68 74 70 76 73 91 93 16 72 0 79 75 81 71 77 78 80 82 85 83 84 2 86 87 95 9 90 92 94 7 89 97 99 96 51 98 34 52 43 10 8 31 35 45 41 38 36 1 13 15 17 21 5 23 24 25 26 27 28 29 30 3 32 33 21 20 19 17 15 10 11 8 39 25 42 2 46 49 50 66 47 43 54 57 92 51 56 95 55 58 59 61 65 64 53 60 31 63 67 68 74 75 96 70 71 77 81 78 0 73 13 69 79 87 76 72 82 83 84 80 99 86 24 85 88 89 38 91 90 44 4 94 93 48 97 52 5 30 40 45 98 62 28 33 29 7 32 36 41 35 37 34 9 1 12 14 16 18 22 23 3 6 26 27 22 21 20 18 16 14 33 9 1 45 39 35 41 48 51 40 49 72 50 52 53 47 54 55 91 56 57 58 63 68 61 64 59 60 62 66 65 69 71 67 94 73 79 70 82 42 75 0 78 77 74 93 81 80 92 76 83 84 89 86 44 85 88 3 87 34 90 4 43 46 12 95 98 5 31 2 37 96 6 99 38 97 24 30 32 7 8 23 36 11 29 26 28 25 27 10 13 15 17 19 2 22 23 19 17 15 25 10 5 3 35 33 39 42 40 67 89 45 46 49 50 93 51 90 92 57 53 55 60 61 52 56 58 59 63 62 64 70 65 91 66 69 72 94 74 95 80 96 75 68 71 73 76 77 79 36 82 81 85 78 0 83 84 86 41 32 87 88 1 43 34 48 14 98 6 37 29 99 31 21 12 30 13 97 28 54 47 44 27 38 7 8 9 11 16 26 18 20 24 4 24 23 22 9 18 16 14 11 0 53 1 41 88 40 35 39 46 69 42 51 86 85 48 49 52 54 89 59 96 58 60 57 56 92 61 63 62 65 66 68 64 87 76 71 70 74 73 3 93 7 95 67 72 75 78 81 77 79 80 47 83 20 43 84 82 4 33 91 90 2 5 50 97 15 32 19 10 44 98 38 8 94 99 25 12 30 34 13 21 36 45 55 27 26 37 28 31 17 29 6 25 24 3 21 19 17 15 12 6 47 7 76 85 86 5 46 43 40 88 45 44 42 91 79 59 50 51 52 57 60 49 53 54 55 56 64 61 63 90 62 72 68 69 65 67 89 71 78 73 33 31 80 75 70 87 10 74 38 77 32 81 84 13 82 37 94 14 48 83 92 23 34 93 96 0 36 1 22 26 97 98 8 95 58 99 39 28 66 11 29 41 35 2 16 4 18 9 27 20 30 26 25 24 27 20 18 36 13 9 40 83 31 0 35 81 84 45 39 43 2 51 12 46 66 78 52 79 64 58 56 95 54 55 50 57 65 93 86 60 63 85 62 82 68 96 70 72 74 71 1 69 7 38 30 73 16 33 34 75 23 41 77 44 22 28 90 80 3 87 88 94 4 89 92 98 8 99 14 11 29 5 91 61 37 97 17 10 15 76 6 19 48 67 59 53 49 32 42 47 21 27 26 25 23 21 19 17 14 10 9 80 73 38 84 79 37 41 5 39 43 42 76 87 44 49 51 47 48 53 57 31 52 50 81 93 58 59 61 63 60 62 70 67 88 64 71 66 68 69 86 0 33 16 72 29 75 20 24 34 77 36 40 46 78 12 85 82 83 7 28 91 90 2 89 92 98 30 11 95 1 94 65 8 18 6 97 99 96 35 74 13 22 45 54 3 32 4 55 15 56 28 27 26 24 22 20 18 15 11 16 5 25 76 4 0 30 34 92 1 44 82 41 37 54 45 48 43 47 89 50 87 49 51 12 55 56 57 58 62 61 59 86 66 64 60 65 67 36 72 78 73 3 33 13 40 71 79 23 32 88 84 75 35 80 83 6 77 46 85 38 90 97 39 10 29 99 95 93 94 9 96 31 91 2 14 19 98 7 74 68 81 17 63 42 52 69 70 21 53 8 29 28 27 25 23 21 0 16 18 10 76 70 42 83 90 12 97 2 87 96 49 84 47 53 73 43 14 45 51 59 8 46 3 89 52 54 55 57 56 64 63 60 77 62 65 66 74 35 61 67 9 91 5 32 75 22 68 82 4 81 30 34 31 39 78 86 1 44 41 36 6 85 38 99 15 94 88 24 20 93 92 26 11 95 79 13 72 98 69 33 71 80 40 37 48 58 17 19 7 50 30 29 28 26 24 22 20 17 13 1 74 4 32 37 39 81 83 87 84 93 35 48 43 46 40 44 56 15 54 51 57 16 96 52 47 95 50 64 91 58 53 66 63 60 59 67 61 12 19 18 72 2 97 14 71 3 25 75 73 7 77 31 82 38 80 36 79 10 42 27 88 6 21 85 99 0 86 92 89 90 9 76 94 78 69 98 33 8 55 70 65 68 41 5 34 45 62 23 49 11 31 30 29 3 25 23 21 18 14 12 27 67 34 6 77 96 4 8 79 38 43 10 40 41 42 46 86 98 49 52 44 99 1 48 51 50 91 56 55 57 60 61 59 58 28 33 39 90 13 69 64 75 15 95 16 97 78 76 84 74 26 80 83 32 2 82 45 85 11 35 87 37 22 36 94 92 71 89 17 88 68 62 19 72 66 93 7 73 47 63 9 54 24 81 5 20 65 70 0 53 32 31 30 16 26 24 4 19 22 28 9 66 95 80 69 63 48 15 0 33 38 43 8 45 84 96 41 87 92 47 98 7 94 14 46 53 56 52 54 55 57 34 61 27 58 62 21 70 64 2 67 71 77 73 68 78 17 18 76 50 79 25 85 75 81 88 39 89 35 1 83 5 90 37 93 29 91 86 99 11 97 40 59 6 60 74 65 20 12 3 44 49 36 13 82 42 51 10 72 23 33 32 31 30 27 25 23 20 16 13 29 61 80 75 2 47 7 84 81 36 6 3 11 12 46 22 98 18 44 49 56 90 8 82 9 48 17 99 50 51 54 26 53 57 19 58 76 67 24 66 65 64 73 68 69 79 96 95 70 43 35 91 0 77 34 83 85 42 37 94 1 93 4 86 88 89 40 87 10 92 59 55 21 74 38 14 62 63 97 60 5 28 15 78 71 39 45 72 41 52 34 33 32 40 28 26 24 21 17 11 12 6 30 2 70 49 96 14 69 89 0 80 81 27 13 41 10 43 82 97 47 91 88 78 48 9 51 46 87 52 22 56 55 95 37 59 68 63 98 62 58 39 67 65 38 4 72 15 71 16 76 73 60 25 77 79 36 29 86 93 84 35 94 54 85 1 64 3 90 18 31 23 92 5 42 66 50 61 57 20 83 44 99 7 45 19 53 8 74 75 35 34 33 31 29 27 30 22 25 15 13 94 69 77 60 24 2 71 3 91 23 6 38 43 98 37 81 93 45 44 41 55 86 46 8 47 9 53 20 48 51 63 58 52 95 54 59 62 68 61 36 92 70 99 67 74 19 73 11 10 12 72 78 97 14 40 76 82 80 89 79 88 84 32 83 90 5 66 87 65 16 39 0 50 21 96 26 57 49 56 18 4 17 75 85 7 28 64 1 42 36 35 34 32 30 28 26 23 19 2 14 1 21 70 29 98 80 0 40 8 96 9 93 16 12 6 49 85 13 45 5 87 44 10 97 90 47 11 53 18 52 99 51 24 91 60 25 64 54 31 59 37 63 61 27 65 69 20 68 72 75 15 77 71 73 74 43 38 78 79 82 83 86 50 41 88 57 7 66 3 89 17 56 76 94 58 95 42 33 55 67 46 81 62 39 92 84 4 48 22 37 36 35 33 31 29 45 24 93 17 94 60 4 51 62 34 5 1 75 79 15 73 78 0 21 90 3 9 10 13 92 42 82 30 91 44 89 87 12 99 18 49 27 55 61 63 96 58 66 98 38 68 64 39 25 67 70 71 22 97 11 74 26 6 72 14 28 80 65 85 32 81 83 88 7 84 43 53 57 86 56 95 16 47 8 48 59 2 20 50 40 19 69 52 23 77 41 54 46 76 38 37 36 34 32 30 28 25 86 93 15 91 73 67 1 76 74 90 47 75 85 7 19 96 2 95 6 8 83 14 0 3 46 9 89 40 53 59 88 12 43 20 54 17 55 29 63 56 60 10 99 24 57 44 65 18 45 68 69 21 71 50 51 48 62 77 78 22 81 80 61 42 79 39 84 33 94 5 49 64 23 11 87 41 92 4 52 97 13 26 66 98 58 35 70 16 27 82 31 72 39 38 37 35 33 31 29 26 88 91 98 54 65 34 48 43 10 68 28 12 78 0 86 4 8 13 84 5 3 94 83 1 40 77 18 87 11 44 51 93 7 57 17 97 21 30 60 61 45 63 47 62 74 64 89 95 9 66 27 76 96 69 80 72 15 2 70 90 23 81 46 82 41 49 56 85 19 59 67 53 50 92 6 71 20 52 36 32 42 99 14 16 73 55 24 79 22 58 75 25 40 39 38 36 34 32 6 27 82 86 71 52 68 64 91 89 73 30 97 90 76 5 10 88 87 8 1 11 93 3 9 51 83 4 43 7 48 16 33 15 96 17 94 49 85 19 54 53 22 95 29 35 37 42 62 24 44 13 67 69 72 70 75 74 25 81 20 77 18 26 45 78 80 61 55 28 58 2 60 56 84 66 57 14 59 0 41 92 98 31 99 21 65 47 79 12 63 50 23 46 41 40 39 37 35 33 63 28 77 80 72 88 62 65 87 17 90 85 64 18 14 95 83 93 81 99 82 0 19 9 78 2 48 6 11 92 10 50 47 46 8 58 15 98 30 55 12 24 34 56 43 4 68 66 23 69 91 26 1 79 70 49 73 36 84 75 27 20 76 22 7 38 61 44 51 86 52 94 29 54 42 60 3 96 53 89 21 5 31 25 59 13 32 74 67 71 97 45 16 57 42 41 40 38 36 34 53 29 84 82 67 50 58 31 37 25 69 62 35 77 72 79 6 86 74 89 75 1 7 87 39 8 0 24 94 21 92 9 44 4 55 52 96 12 80 22 56 23 99 60 91 66 26 19 88 68 10 78 63 11 48 43 28 73 49 71 17 81 59 76 98 30 46 27 47 70 51 61 13 32 65 20 90 15 3 2 93 45 95 97 57 5 54 14 18 64 33 85 83 16 43 4 41 39 37 42 35 40 73 77 63 36 48 38 11 64 68 12 70 74 69 75 53 78 5 82 52 22 85 2 58 93 9 8 79 0 90 95 14 88 16 59 23 81 26 96 27 92 1 28 32 57 61 91 47 44 65 7 19 67 29 46 72 24 33 50 98 31 13 15 76 84 30 21 86 66 49 51 54 94 6 89 55 56 45 87 18 60 25 62 34 99 10 97 20 17 80 71 3 83 44 43 42 29 38 36 34 31 20 72 57 46 52 69 49 41 8 83 30 71 94 65 82 73 67 86 96 6 64 10 35 85 89 17 0 88 25 51 92 13 98 50 99 5 54 16 97 40 74 12 66 26 23 63 81 62 87 70 55 45 21 95 68 18 79 60 75 76 84 19 37 77 78 14 27 59 33 58 32 28 53 24 39 4 91 1 90 48 93 7 61 11 56 22 2 3 15 47 80 9 45 44 43 41 39 37 49 32 71 78 66 34 63 10 31 91 88 35 65 46 62 70 73 72 53 79 48 89 84 85 51 0 76 1 3 13 4 81 17 86 5 54 7 56 14 61 15 97 11 64 12 99 40 27 58 8 60 9 21 92 93 28 74 67 26 42 55 75 52 90 29 19 57 95 22 24 87 36 16 82 25 2 83 94 47 80 30 38 6 18 23 96 98 50 68 59 77 33 69 20 46 45 44 42 40 35 38 5 21 75 51 27 54 100 34 78 55 10 31 73 81 69 72 61 71 33 4 82 41 92 1 79 77 97 83 76 20 23 98 16 90 9 89 13 93 24 57 17 63 25 96 15 65 59 30 66 64 67 95 29 19 22 32 26 7 62 74 60 53 18 80 28 43 87 12 39 47 52 3 58 49 56 68 0 48 8 88 94 70 91 85 36 50 6 14 86 11 37 2 84 47 46 45 43 41 39 37 34 69 62 54 84 44 32 97 52 67 66 58 31 1 40 70 50 38 60 72 99 78 79 88 48 13 7 77 59 85 14 23 82 93 55 2 80 12 98 10 86 89 96 25 65 8 16 61 0 42 3 17 71 18 76 19 9 74 35 81 28 29 83 27 57 33 20 87 4 21 30 91 24 11 90 49 92 26 56 53 36 15 5 51 94 6 95 64 22 75 63 68 73 48 47 46 44 42 40 16 35 15 68 61 83 36 93 72 23 39 22 95 67 34 57 52 32 28 74 54 20 27 81 80 84 49 96 10 86 87 12 82 85 29 5 78 1 79 14 64 18 56 3 88 13 59 7 97 70 76 63 6 33 92 30 98 58 55 31 24 62 94 71 77 60 11 4 25 17 26 9 0 50 91 51 45 38 90 69 19 37 73 21 43 75 89 41 99 53 8 2 65 66 49 48 47 45 43 41 39 99 74 65 38 23 10 27 33 79 92 21 36 34 59 60 42 35 31 40 63 83 72 55 97 75 78 18 86 46 84 2 9 11 13 16 71 53 4 90 8 80 15 52 17 69 3 87 5 56 51 1 98 68 66 82 7 30 95 28 25 37 19 73 81 32 26 77 76 91 85 50 14 0 54 12 64 62 58 44 6 89 61 93 22 70 29 96 57 88 20 94 67 24 50 49 48 46 44 38 40 36 33 60 58 21 25 96 83 71 35 27 74 54 61 56 30 69 75 45 37 31 52 82 4 80 53 90 5 81 78 98 76 42 0 8 43 29 18 10 55 9 88 26 84 17 99 20 63 32 47 91 94 1 68 24 66 93 67 97 11 41 39 13 73 7 85 22 2 16 89 79 23 6 86 34 51 12 77 3 87 19 92 64 95 62 59 15 65 72 14 28 57 70 51 50 49 47 45 43 41 37 62 66 40 42 26 33 58 57 76 99 32 30 46 59 77 38 35 31 83 73 56 54 11 74 36 22 13 4 44 79 85 75 9 97 84 90 6 1 7 71 0 91 52 98 18 92 28 94 5 87 81 61 39 10 21 2 70 16 15 24 25 86 19 55 53 82 23 3 96 63 88 60 27 93 89 65 29 34 67 17 14 95 48 72 20 64 8 80 69 68 12 78 52 51 50 48 46 44 42 38 63 41 88 79 92 59 73 21 11 34 25 72 55 39 45 36 47 94 32 74 35 75 37 58 43 85 81 89 60 76 64 71 84 23 26 2 86 4 99 1 67 6 68 10 95 22 66 14 98 54 53 17 15 27 69 16 30 80 8 78 97 31 56 18 87 90 77 5 20 40 12 91 33 9 29 3 19 70 83 82 24 13 96 65 93 28 49 0 57 7 62 61 53 52 51 49 47 45 43 39 72 69 28 37 97 7 19 44 50 56 89 65 63 36 71 33 70 42 46 76 66 41 75 67 25 26 80 84 6 91 31 78 86 94 74 73 8 87 5 98 3 85 10 59 14 4 2 64 32 62 12 95 13 96 17 0 22 11 99 15 30 24 16 29 23 79 82 83 18 88 9 81 34 57 58 40 27 92 20 35 77 48 21 60 1 68 55 61 93 90 38 54 54 53 52 50 48 46 44 92 64 61 96 26 24 66 12 86 21 31 33 84 37 99 60 91 57 76 45 77 42 35 38 43 98 68 41 82 49 67 59 56 79 89 4 22 36 8 93 13 51 11 87 0 69 3 55 9 63 58 83 6 73 2 95 94 16 18 19 70 88 32 25 15 74 78 65 14 17 34 81 80 20 1 7 10 23 62 75 27 28 90 72 39 85 40 97 5 47 30 71 29 55 54 53 51 49 47 56 1 24 23 16 29 19 28 45 32 26 88 77 48 39 64 50 97 41 2 76 44 43 74 79 36 70 21 72 57 81 13 46 20 82 85 60 69 78 86 52 38 62 59 7 84 10 89 35 96 27 100 61 63 6 68 37 40 31 0 93 30 14 17 8 33 25 34 91 87 15 12 18 42 90 99 75 98 4 5 9 3 67 65 11 58 22 94 80 66 71 83 73 92 56 55 54 52 50 48 46 94 70 35 87 8 28 22 82 29 64 75 24 62 98 97 65 37 51 83 44 42 36 39 18 86 73 76 45 61 41 78 93 72 69 81 10 89 13 9 91 5 49 57 20 1 100 0 90 6 85 11 79 34 74 19 71 33 17 23 68 43 16 77 96 21 12 2 59 26 3 25 92 7 95 84 40 80 15 67 63 30 4 53 60 88 66 32 47 31 38 14 27 58 57 56 55 53 51 49 47 41 58 44 21 3 15 14 27 8 82 65 98 32 91 35 63 28 48 30 71 24 94 95 70 61 72 19 59 80 79 60 42 54 50 76 45 67 25 12 22 93 23 88 1 83 0 62 17 92 11 77 40 89 7 52 6 87 97 9 10 16 5 64 74 2 36 68 75 78 90 38 84 46 37 86 43 69 100 33 13 18 85 96 26 31 4 20 29 81 66 73 34 39 58 57 56 54 52 50 48 96 76 0 68 18 90 21 24 85 33 29 26 35 9 72 15 63 43 80 36 91 79 62 32 69 39 71 49 55 42 84 8 74 65 82 16 75 94 11 86 4 25 53 97 22 89 2 70 13 37 45 59 30 98 3 67 95 38 12 7 92 10 14 40 99 73 66 17 6 78 20 83 34 81 5 93 28 88 64 23 31 46 47 27 41 87 77 44 1 19 51 61 60 59 58 57 55 53 51 27 42 31 36 37 22 29 94 30 5 25 32 61 50 70 46 35 24 95 23 66 54 86 38 65 28 60 3 87 17 71 45 69 40 67 15 91 76 62 80 41 6 7 82 19 49 9 78 13 48 26 64 47 75 2 90 20 79 88 93 12 14 89 44 52 96 10 16 11 77 73 98 4 74 1 72 84 34 85 21 68 99 81 0 97 92 8 63 33 83 39 56 18 43 60 59 58 56 54 52 50 43 29 64 45 98 89 23 74 70 24 44 20 25 30 94 36 47 93 67 31 90 48 73 34 9 37 72 40 78 18 49 35 10 80 83 68 51 71 91 92 84 14 46 41 53 19 11 42 7 88 0 65 3 86 38 63 12 61 100 96 5 77 66 55 87 8 28 16 13 81 39 62 27 82 15 85 32 75 95 97 4 1 22 33 79 76 17 6 57 2 26 21 69 61 60 59 57 55 53 51 44 27 46 32 12 14 19 63 4 22 48 56 40 87 23 96 18 39 11 99 65 37 15 82 77 20 83 71 2 67 72 94 97 49 45 64 25 69 78 62 29 91 70 6 54 88 79 36 43 75 42 33 66 3 81 5 68 52 38 16 84 73 7 93 86 92 1 95 76 9 90 80 85 17 47 26 13 24 10 0 50 58 28 98 34 35 8 31 21 89 41 30 74 62 61 60 58 56 54 52 83 89 97 82 92 75 5 85 9 32 23 51 20 29 44 4 87 22 68 35 53 39 86 50 31 14 95 38 70 30 42 27 80 28 71 47 45 66 79 77 81 90 40 2 36 6 37 96 46 13 43 25 8 64 0 100 1 76 78 57 26 21 72 59 73 17 93 19 49 12 74 69 10 3 63 48 91 65 55 16 11 18 84 15 33 94 88 7 34 67 24 99 41 63 62 61 59 57 55 94 45 85 20 89 5 6 15 25 33 9 36 22 47 64 26 34 71 37 4 68 67 23 30 29 32 17 54 75 51 97 38 58 41 42 72 44 18 49 69 78 73 87 83 3 90 93 60 21 19 8 46 43 99 1 98 48 65 39 84 86 96 2 91 92 10 77 7 13 56 14 80 52 12 28 74 27 53 16 40 11 88 50 66 79 24 31 70 95 76 82 81 35 0 64 63 62 60 58 56 54 46 53 94 43 28 93 97 47 27 16 79 45 21 40 38 2 39 80 36 33 69 77 17 74 59 100 61 7 26 37 66 10 34 41 12 48 9 11 68 31 57 76 73 89 30 29 55 82 87 90 52 0 14 78 13 65 51 85 5 83 8 72 70 15 24 91 75 1 44 84 81 71 96 18 42 67 99 95 88 92 6 19 32 4 20 3 23 25 35 50 86 22 49 65 64 63 61 59 57 31 47 50 43 92 78 33 90 16 80 95 9 71 37 20 45 39 7 54 91 94 35 29 36 46 44 4 56 58 49 38 18 19 28 68 22 97 11 15 21 48 66 41 30 79 86 62 96 3 17 81 14 93 70 34 1 25 85 53 67 2 73 12 75 24 76 82 8 89 60 83 13 40 26 55 88 98 23 0 27 74 69 51 77 6 10 42 99 87 52 72 32 84 5 66 65 64 62 60 58 55 49 100 85 24 0 94 71 56 35 38 97 27 16 28 18 5 30 32 26 23 70 87 33 99 20 92 45 29 52 54 47 77 25 88 43 1 93 81 51 19 31 37 8 75 79 34 69 86 82 15 89 2 36 22 42 91 17 57 53 59 68 74 50 10 13 3 80 4 95 6 78 96 84 83 14 41 67 63 46 61 72 90 40 76 7 39 44 73 11 21 12 9 48 67 66 65 63 61 59 32 55 8 29 53 90 2 78 22 68 87 16 18 24 7 37 92 83 19 14 27 40 5 34 15 30 35 79 36 41 69 96 84 0 6 75 39 3 97 99 28 54 50 13 82 46 85 38 20 26 31 21 72 48 33 4 94 60 9 76 47 95 57 51 71 80 42 64 58 81 11 43 73 23 88 52 10 89 86 49 70 93 100 17 74 45 77 1 56 62 12 25 91 44 68 67 66 64 62 60 57 51 65 52 33 87 82 74 7 42 78 93 16 29 19 31 22 11 30 77 17 37 80 46 40 26 10 73 99 36 39 25 15 89 95 38 90 50 63 47 83 79 97 94 27 85 53 81 6 98 14 88 9 28 24 32 70 56 75 41 71 69 91 3 86 8 76 23 49 21 61 84 59 13 4 54 12 20 55 43 35 0 72 44 92 1 18 2 96 48 58 5 45 34 69 68 67 65 63 61 58 52 54 95 79 80 53 88 96 75 30 37 7 4 27 87 24 84 90 18 8 36 46 20 94 98 5 42 74 16 13 28 3 47 34 29 31 72 39 81 35 85 6 23 83 55 25 26 77 38 49 33 60 82 14 99 92 76 43 51 0 1 71 97 2 62 70 57 48 12 45 10 64 22 73 21 15 44 50 91 89 78 41 19 32 86 11 56 9 40 59 66 93 17 70 69 68 66 64 62 59 53 81 18 93 65 13 61 6 100 15 76 41 11 90 29 44 31 33 16 38 84 14 26 3 34 91 49 19 85 21 5 57 24 37 25 83 28 32 48 17 95 30 89 54 52 79 46 56 58 0 94 20 35 42 86 39 27 4 1 73 74 50 9 75 45 88 43 96 63 80 8 47 67 51 36 2 22 72 82 55 71 7 92 10 40 23 12 78 97 99 98 77 87 71 70 69 67 65 63 60 98 43 74 8 56 59 57 89 72 13 17 92 10 77 88 97 51 26 1 29 80 33 5 12 6 38 58 37 14 7 73 81 36 44 2 28 34 90 94 23 21 95 54 35 20 55 15 64 84 86 41 87 40 27 45 16 49 91 96 42 53 32 62 3 66 0 76 9 79 4 18 48 61 99 25 30 85 31 11 22 68 83 75 39 93 78 82 19 50 24 46 52 47 72 71 70 68 66 97 61 7 67 14 77 75 3 20 57 74 86 95 17 98 80 22 88 89 6 49 39 16 38 4 27 81 11 84 50 32 33 26 13 73 15 96 30 36 51 43 85 52 82 34 62 48 28 29 12 60 58 59 44 93 99 64 53 45 18 8 21 0 63 78 31 91 65 47 69 41 92 1 55 2 35 100 37 46 10 24 56 90 23 9 87 42 5 19 83 25 54 76 79 94 73 72 71 69 67 64 93 30 90 50 52 9 1 46 99 36 77 59 86 97 26 82 25 80 23 7 2 28 17 8 43 94 21 91 42 3 96 32 22 66 74 51 65 92 68 49 58 14 70 20 61 88 83 10 76 55 53 4 37 38 45 63 57 47 48 27 29 12 75 84 41 11 60 13 44 18 31 56 78 87 24 35 79 19 81 6 40 16 62 34 54 15 95 0 89 98 5 39 33 85 74 73 72 70 68 65 64 57 42 33 4 96 78 79 41 95 59 28 44 88 24 83 29 1 16 34 100 39 26 31 71 40 52 35 27 8 58 97 101 3 56 36 50 20 46 15 11 22 17 9 45 25 54 85 14 21 80 6 82 18 55 92 47 99 93 10 69 86 49 30 43 53 67 94 81 48 77 19 37 5 75 87 66 84 7 90 91 62 32 51 63 76 12 38 60 2 0 61 89 13 75 74 73 71 69 66 65 58 26 89 48 10 84 29 68 56 94 67 78 6 2 27 17 57 97 9 12 51 25 99 93 11 85 33 92 28 77 40 24 43 21 7 13 59 76 34 49 82 53 35 98 8 31 47 83 72 23 32 5 64 80 37 50 81 19 39 63 18 79 45 4 16 15 42 60 61 55 70 41 52 0 44 88 87 54 20 3 1 30 14 38 95 46 90 36 96 91 22 86 62 76 75 74 72 70 67 66 59 30 79 11 62 47 81 38 61 60 57 82 85 95 49 27 8 1 88 93 96 28 29 19 35 68 44 15 20 31 92 73 50 2 39 18 99 17 37 32 65 12 22 26 6 91 23 24 77 7 48 90 94 9 36 64 14 5 89 51 34 3 53 13 56 69 0 33 25 46 54 21 41 87 80 97 45 43 78 71 58 52 86 16 84 83 10 42 4 98 40 55 63 77 76 75 73 71 68 67 61 59 21 84 58 50 55 86 51 53 41 23 83 5 28 99 65 89 10 34 78 16 43 25 12 29 87 20 45 24 39 2 98 11 90 52 14 7 27 94 72 80 74 70 42 36 6 93 57 56 96 46 44 85 79 81 66 40 54 91 33 38 60 95 26 47 62 37 32 82 97 22 48 19 4 31 17 18 9 1 49 64 15 8 3 0 69 63 30 35 92 13 88 78 77 76 74 72 69 68 62 79 83 55 48 12 30 15 1 40 18 66 94 100 20 3 81 64 92 26 56 97 22 23 10 71 51 60 25 99 41 36 27 35 65 87 63 57 39 34 45 21 84 44 9 47 28 49 50 59 19 31 80 46 5 8 88 89 58 32 98 17 11 0 75 95 24 14 42 7 4 93 43 13 6 96 52 61 86 29 54 91 82 2 67 53 33 38 70 73 16 37 90 79 78 77 75 73 70 71 63 12 7 17 13 81 16 23 31 18 20 91 5 33 90 85 22 72 19 67 32 95 37 30 97 42 74 65 98 40 62 48 92 25 64 24 4 29 45 69 55 39 58 53 89 43 76 99 100 38 83 15 60 82 66 14 34 21 68 88 56 27 87 36 0 35 9 28 93 50 26 2 8 61 3 1 49 11 84 44 51 94 59 47 57 96 46 41 54 10 52 6 80 80 79 78 76 74 71 70 64 97 37 22 45 23 0 28 53 14 63 72 68 13 4 20 5 99 73 77 41 31 7 59 17 90 32 25 100 34 19 95 49 58 42 88 83 33 6 30 48 47 24 55 56 52 35 15 86 94 27 8 57 69 54 2 29 46 91 61 36 67 39 65 1 96 26 3 50 93 82 85 89 62 43 9 11 87 51 60 10 38 16 75 66 21 84 98 44 81 18 40 12 81 80 79 77 75 73 72 66 48 32 26 44 56 1 14 3 17 25 93 13 45 91 95 74 50 0 64 92 34 78 54 88 16 28 85 30 63 7 52 5 38 18 11 19 20 57 87 59 31 65 51 70 58 41 33 12 55 39 49 83 62 61 76 21 23 29 37 40 82 67 100 94 9 46 24 96 60 35 15 68 10 98 4 86 89 47 2 84 22 8 53 6 71 43 69 90 36 99 42 97 82 81 80 78 76 74 75 67 95 100 34 19 61 62 26 10 63 11 59 60 48 25 14 70 17 66 87 30 88 84 101 39 2 36 54 96 5 55 45 94 91 44 98 32 99 92 51 46 8 37 23 27 13 57 7 89 93 12 28 52 90 71 33 20 86 15 41 64 22 4 68 69 58 18 50 38 35 65 79 16 85 0 77 83 1 42 49 24 3 73 56 53 47 29 21 6 40 9 43 31 83 82 81 79 77 75 74 68 36 22 2 11 9 85 93 87 65 24 4 69 47 62 41 48 100 71 88 29 20 89 14 76 57 99 84 10 15 31 80 21 33 30 19 38 5 18 43 49 32 72 86 40 60 98 1 34 73 101 35 56 63 23 3 42 8 64 58 13 92 0 78 46 54 17 97 7 53 6 25 37 44 67 70 26 51 16 12 91 39 94 52 90 55 66 61 27 96 95 59 28 84 83 82 80 78 90 76 69 32 48 75 81 77 43 20 13 44 4 9 17 31 14 68 26 10 24 11 12 47 71 6 70 23 38 22 72 1 93 49 7 45 79 62 46 53 52 65 60 58 99 34 97 2 50 39 41 57 28 88 5 91 67 96 54 66 73 3 87 0 95 89 92 63 40 36 15 27 85 42 55 64 18 86 59 33 61 94 29 8 98 25 30 19 21 51 37 16 74 56 35 85 84 83 81 79 76 77 71 40 57 99 69 55 36 13 19 1 96 60 86 58 66 26 98 27 17 78 34 59 63 42 50 61 31 32 67 8 21 97 2 10 53 41 47 75 7 6 33 46 0 92 28 11 48 95 25 22 90 16 62 51 65 29 89 100 70 23 72 15 82 39 20 56 12 18 80 24 68 5 14 43 45 44 9 93 73 4 64 54 37 91 52 74 3 30 94 49 88 87 38 86 85 84 82 80 77 79 72 49 87 23 55 22 41 32 38 29 19 5 66 21 74 58 59 9 27 25 3 61 65 7 83 63 37 28 12 88 36 11 30 70 46 35 6 43 20 81 51 33 42 56 14 78 101 45 93 97 50 96 13 31 47 24 44 92 26 48 71 98 54 18 89 99 91 67 34 16 76 8 73 69 10 53 90 17 94 39 40 0 52 64 2 62 57 75 100 1 60 4 68 87 86 85 83 88 78 80 73 56 26 60 24 17 91 66 58 81 38 12 14 89 32 16 40 4 55 19 49 22 23 48 33 67 0 95 34 27 30 29 6 99 93 3 84 92 77 37 10 43 5 21 74 46 71 31 53 61 69 7 41 54 8 15 90 50 98 94 52 100 20 63 72 75 70 45 68 62 47 51 36 79 13 28 64 39 59 57 76 2 42 35 18 97 9 1 65 44 11 82 96 88 87 86 84 81 79 82 75 101 70 36 49 67 12 95 22 100 6 38 1 52 13 31 23 18 20 30 7 98 66 16 29 26 25 96 24 35 34 32 33 39 3 21 42 77 46 45 50 55 44 11 76 92 8 48 47 54 74 78 0 37 59 41 61 68 56 40 17 69 99 62 63 19 73 72 64 65 91 53 83 57 28 14 27 2 71 5 9 89 58 93 85 90 4 10 43 94 97 60 15 89 88 87 85 94 81 83 76 28 90 3 71 18 102 65 92 27 42 11 23 75 67 49 64 25 29 21 79 55 70 24 47 6 101 53 93 45 100 37 14 40 10 33 66 50 31 1 26 77 16 48 58 84 52 51 63 2 56 39 59 61 62 54 8 99 20 60 9 4 57 44 41 13 72 73 30 0 69 82 98 15 19 22 68 34 12 96 80 17 46 78 97 43 86 91 74 7 36 5 32 90 89 88 86 85 82 84 87 23 55 59 16 64 92 78 20 31 58 10 39 3 61 74 94 66 81 40 72 4 96 36 18 95 34 1 29 76 43 7 69 19 32 9 37 35 50 100 44 2 80 102 21 51 54 57 5 30 97 14 53 60 12 62 28 56 46 52 65 26 8 47 70 27 101 63 22 67 48 33 49 71 75 17 77 73 99 15 41 45 24 0 38 13 93 11 68 6 79 25 91 91 90 89 87 82 83 86 78 60 8 64 97 71 26 54 14 36 33 96 81 68 53 32 20 62 47 42 94 9 76 55 41 99 27 6 23 43 80 72 37 17 35 75 40 1 2 44 28 100 48 4 11 22 34 74 49 12 30 58 102 57 88 59 52 101 3 84 25 66 5 67 65 16 31 21 51 38 0 7 70 39 29 63 93 46 18 77 95 79 10 69 50 61 24 15 56 85 13 19 98 92 91 90 88 89 85 87 80 51 99 10 63 5 39 36 18 62 53 68 19 84 21 76 17 56 32 15 25 69 11 33 37 27 2 4 35 12 3 100 83 24 6 34 31 48 82 40 94 29 47 13 96 44 45 43 28 1 60 50 9 23 16 61 7 58 49 67 93 95 55 70 71 66 97 38 73 74 41 72 79 77 101 52 42 98 22 81 75 86 78 20 0 14 30 26 8 46 59 64 65 93 92 91 89 86 87 88 84 34 4 70 17 7 45 8 99 19 77 13 61 101 15 0 29 24 39 5 21 50 80 69 23 62 57 26 75 46 71 40 81 100 11 49 85 42 53 3 2 65 38 63 18 27 67 52 37 41 16 56 54 10 6 79 83 59 66 64 55 102 33 20 22 31 74 90 9 76 32 44 30 47 78 35 60 68 36 25 14 96 12 82 73 51 98 58 95 43 48 28 1 94 93 92 90 91 86 95 81 78 59 25 20 11 52 18 15 54 89 37 7 99 1 13 14 36 75 69 50 0 27 28 19 33 5 35 39 82 68 41 23 77 40 56 43 44 100 47 32 26 4 16 12 49 58 102 30 29 31 51 98 53 60 10 55 65 24 6 2 9 42 72 74 103 3 62 46 70 17 45 63 66 85 73 57 96 83 79 22 80 71 88 61 34 48 76 38 87 67 8 101 95 94 93 91 92 89 90 85 38 56 20 32 102 18 53 7 28 54 101 27 22 103 62 6 65 100 24 19 73 21 86 15 80 39 68 42 98 29 30 87 14 48 40 61 45 5 0 88 59 41 50 43 1 17 4 11 66 36 52 25 8 35 97 63 3 13 9 58 44 74 69 64 51 84 79 57 34 72 75 71 46 82 33 81 70 76 31 26 16 83 49 23 37 67 12 99 60 78 10 2 96 95 94 93 97 92 91 88 103 24 47 51 20 8 64 6 71 82 19 22 12 16 90 21 76 53 58 4 30 105 2 66 34 15 39 73 28 0 75 45 48 102 36 10 89 44 46 7 9 43 42 32 41 104 54 61 18 49 62 65 52 56 55 37 1 57 13 59 60 40 99 79 101 67 74 72 23 100 70 77 78 50 5 31 35 38 85 81 63 80 84 27 68 87 17 14 26 29 98 3 97 96 95 99 103 94 100 33 3 30 0 74 27 24 43 55 58 49 21 80 32 19 7 15 82 98 28 26 12 90 68 62 75 41 16 77 22 10 39 31 46 67 6 8 38 56 70 42 40 51 101 50 45 1 53 73 35 61 57 2 17 14 4 64 13 69 72 102 34 104 85 9 20 48 66 52 25 83 63 76 93 79 71 54 78 29 86 87 88 81 37 89 91 36 92 84 23 44 11 18 98 97 103 95 93 100 96 77 44 19 81 15 16 56 59 26 99 50 6 28 17 33 21 42 34 107 18 27 74 32 66 38 45 40 23 104 2 85 102 65 83 14 46 41 47 76 4 39 84 49 5 60 106 24 0 52 62 55 29 51 94 53 36 10 35 63 30 61 31 69 9 3 64 11 71 67 68 75 86 101 22 48 80 8 57 105 78 79 37 88 1 91 25 72 43 13 90 89 92 7 99 105 97 96 100 1 9 89 46 27 49 86 98 3 21 82 42 52 34 92 67 78 79 75 29 38 91 57 62 48 77 95 47 69 64 19 70 54 43 59 32 104 103 107 41 83 50 87 36 106 90 61 66 93 8 40 71 72 74 73 65 11 23 15 0 22 35 51 56 6 17 44 7 55 5 20 101 16 102 4 2 58 18 33 37 28 45 53 10 39 30 12 80 60 13 24 25 31 14 26 </values>
2519.83/2520.01	v </instantiation>

Verifier Data 

OK	107

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303576-1533998397/watcher-4303576-1533998397 -o /tmp/evaluation-result-4303576-1533998397/solver-4303576-1533998397 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1533990732-21541 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2145439259 HOME/instance-4303576-1533998397.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
solver pid=22493, runsolver pid=22490
Current StackSize limit: 8192 KiB


[startup+0.100109 s]*
/proc/loadavg: 2.08 2.04 2.05 3/191 22494
/proc/meminfo: memFree=3908080/32770624 swapFree=67108860/67108860
[pid=22493] ppid=22490 vsize=41312 memory=15628 CPUtime=0.09 cores=0,2,4,6
/proc/22493/stat : 22493 (MistralXCSP) R 22490 22493 21509 0 -1 4202496 4354 0 0 0 9 0 0 0 20 0 1 0 217402858 42303488 3907 33554432000 4194304 7499544 140732604750608 140732604747608 6094478 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 22704128 140732604757101 140732604757251 140732604757251 140732604760009 0
/proc/22493/statm: 10328 3907 666 807 0 3319 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41312 KiB
Current children cumulated memory: 15628 KiB

[startup+0.209817 s]*
/proc/loadavg: 2.08 2.04 2.05 3/191 22494
/proc/meminfo: memFree=3908020/32770624 swapFree=67108860/67108860
[pid=22493] ppid=22490 vsize=41696 memory=15892 CPUtime=0.2 cores=0,2,4,6
/proc/22493/stat : 22493 (MistralXCSP) R 22490 22493 21509 0 -1 4202496 4457 0 0 0 20 0 0 0 20 0 1 0 217402858 42696704 3973 33554432000 4194304 7499544 140732604750608 140732604743848 140394762017520 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 22704128 140732604757101 140732604757251 140732604757251 140732604760009 0
/proc/22493/statm: 10424 3973 666 807 0 3415 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41696 KiB
Current children cumulated memory: 15892 KiB

[startup+0.309013 s]*
/proc/loadavg: 2.08 2.04 2.05 3/191 22494
/proc/meminfo: memFree=3907276/32770624 swapFree=67108860/67108860
[pid=22493] ppid=22490 vsize=42468 memory=16684 CPUtime=0.3 cores=0,2,4,6
/proc/22493/stat : 22493 (MistralXCSP) R 22490 22493 21509 0 -1 4202496 4607 0 0 0 30 0 0 0 20 0 1 0 217402858 43487232 4171 33554432000 4194304 7499544 140732604750608 140732604743848 140394774447616 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 22704128 140732604757101 140732604757251 140732604757251 140732604760009 0
/proc/22493/statm: 10617 4171 666 807 0 3608 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42468 KiB
Current children cumulated memory: 16684 KiB

[startup+0.70023 s]
/proc/loadavg: 2.08 2.04 2.05 3/191 22494
/proc/meminfo: memFree=3906160/32770624 swapFree=67108860/67108860
[pid=22493] ppid=22490 vsize=44028 memory=18112 CPUtime=0.68 cores=0,2,4,6
/proc/22493/stat : 22493 (MistralXCSP) R 22490 22493 21509 0 -1 4202496 5195 0 0 0 68 0 0 0 20 0 1 0 217402858 45084672 4528 33554432000 4194304 7499544 140732604750608 140732604743848 140394774533042 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 22704128 140732604757101 140732604757251 140732604757251 140732604760009 0
/proc/22493/statm: 11007 4528 666 807 0 3998 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44028 KiB
Current children cumulated memory: 18112 KiB

[startup+1.50024 s]
/proc/loadavg: 2.08 2.04 2.05 3/191 22494
/proc/meminfo: memFree=3902772/32770624 swapFree=67108860/67108860
[pid=22493] ppid=22490 vsize=47676 memory=21864 CPUtime=1.48 cores=0,2,4,6
/proc/22493/stat : 22493 (MistralXCSP) R 22490 22493 21509 0 -1 4202496 6005 0 0 0 148 0 0 0 20 0 1 0 217402858 48820224 5466 33554432000 4194304 7499544 140732604750608 140732604743848 140394774532688 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 22704128 140732604757101 140732604757251 140732604757251 140732604760009 0
/proc/22493/statm: 11919 5466 666 807 0 4910 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 47676 KiB
Current children cumulated memory: 21864 KiB

[startup+3.10953 s]
/proc/loadavg: 2.07 2.03 2.05 3/191 22494
/proc/meminfo: memFree=3894500/32770624 swapFree=67108860/67108860
[pid=22493] ppid=22490 vsize=54972 memory=29424 CPUtime=3.1 cores=0,2,4,6
/proc/22493/stat : 22493 (MistralXCSP) R 22490 22493 21509 0 -1 4202496 7670 0 0 0 309 1 0 0 20 0 1 0 217402858 56291328 7356 33554432000 4194304 7499544 140732604750608 140732604743848 5880317 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 22704128 140732604757101 140732604757251 140732604757251 140732604760009 0
/proc/22493/statm: 13743 7356 666 807 0 6734 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 54972 KiB
Current children cumulated memory: 29424 KiB

[startup+6.30024 s]
/proc/loadavg: 2.07 2.03 2.05 3/192 22502
/proc/meminfo: memFree=3879776/32770624 swapFree=67108860/67108860
[pid=22493] ppid=22490 vsize=94012 memory=56600 CPUtime=6.29 cores=0,2,4,6
/proc/22493/stat : 22493 (MistralXCSP) R 22490 22493 21509 0 -1 4202496 10645 0 0 0 625 4 0 0 20 0 1 0 217402858 96268288 14150 33554432000 4194304 7499544 140732604750608 140732604743848 6094509 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 22704128 140732604757101 140732604757251 140732604757251 140732604760009 0
/proc/22493/statm: 23503 14150 666 807 0 16494 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 94012 KiB
Current children cumulated memory: 56600 KiB

[startup+12.7002 s]
/proc/loadavg: 2.14 2.05 2.05 3/192 22502
/proc/meminfo: memFree=3848024/32770624 swapFree=67108860/67108860
[pid=22493] ppid=22490 vsize=119868 memory=92948 CPUtime=12.69 cores=0,2,4,6
/proc/22493/stat : 22493 (MistralXCSP) R 22490 22493 21509 0 -1 4202496 22368 0 0 0 1262 7 0 0 20 0 1 0 217402858 122744832 23237 33554432000 4194304 7499544 140732604750608 140732604743848 140394762018416 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 22704128 140732604757101 140732604757251 140732604757251 140732604760009 0
/proc/22493/statm: 29967 23237 689 807 0 22958 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 119868 KiB
Current children cumulated memory: 92948 KiB

[startup+25.5002 s]
/proc/loadavg: 2.12 2.05 2.05 3/192 22502
/proc/meminfo: memFree=3593908/32770624 swapFree=67108860/67108860
[pid=22493] ppid=22490 vsize=366580 memory=339744 CPUtime=25.48 cores=0,2,4,6
/proc/22493/stat : 22493 (MistralXCSP) R 22490 22493 21509 0 -1 4202496 89253 0 0 0 2532 16 0 0 20 0 1 0 217402858 375377920 84936 33554432000 4194304 7499544 140732604750608 140732604741224 4564151 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 22704128 140732604757101 140732604757251 140732604757251 140732604760009 0
/proc/22493/statm: 91645 84936 689 807 0 84636 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 366580 KiB
Current children cumulated memory: 339744 KiB

[startup+51.1098 s]
/proc/loadavg: 2.14 2.06 2.06 3/192 22502
/proc/meminfo: memFree=3263228/32770624 swapFree=67108860/67108860
[pid=22493] ppid=22490 vsize=685060 memory=658152 CPUtime=51.08 cores=0,2,4,6
/proc/22493/stat : 22493 (MistralXCSP) R 22490 22493 21509 0 -1 4202496 177385 0 0 0 5080 28 0 0 20 0 1 0 217402858 701501440 164538 33554432000 4194304 7499544 140732604750608 140732604741224 4564144 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 22704128 140732604757101 140732604757251 140732604757251 140732604760009 0
/proc/22493/statm: 171265 164538 689 807 0 164256 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 685060 KiB
Current children cumulated memory: 658152 KiB

[startup+102.3 s]
/proc/loadavg: 2.10 2.07 2.06 3/192 22503
/proc/meminfo: memFree=2825092/32770624 swapFree=67108860/67108860
[pid=22493] ppid=22490 vsize=1124488 memory=1097672 CPUtime=102.27 cores=0,2,4,6
/proc/22493/stat : 22493 (MistralXCSP) R 22490 22493 21509 0 -1 4202496 298247 0 0 0 10179 48 0 0 20 0 1 0 217402858 1151475712 274418 33554432000 4194304 7499544 140732604750608 140732604741224 5902140 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 22704128 140732604757101 140732604757251 140732604757251 140732604760009 0
/proc/22493/statm: 281122 274418 689 807 0 274113 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 1124488 KiB
Current children cumulated memory: 1097672 KiB

[startup+162.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/191 22504
/proc/meminfo: memFree=2431908/32770624 swapFree=67108860/67108860
[pid=22493] ppid=22490 vsize=1516596 memory=1489568 CPUtime=162.26 cores=0,2,4,6
/proc/22493/stat : 22493 (MistralXCSP) R 22490 22493 21509 0 -1 4202496 397293 0 0 0 16162 64 0 0 20 0 1 0 217402858 1552994304 372392 33554432000 4194304 7499544 140732604750608 140732604741224 4563996 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 22704128 140732604757101 140732604757251 140732604757251 140732604760009 0
/proc/22493/statm: 379149 372392 689 807 0 372140 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 1516596 KiB
Current children cumulated memory: 1489568 KiB

[startup+222.3 s]
/proc/loadavg: 1.98 2.03 2.04 3/191 22505
/proc/meminfo: memFree=2131068/32770624 swapFree=67108860/67108860
[pid=22493] ppid=22490 vsize=1816840 memory=1789908 CPUtime=222.26 cores=0,2,4,6
/proc/22493/stat : 22493 (MistralXCSP) R 22490 22493 21509 0 -1 4202496 481883 0 0 0 22149 77 0 0 20 0 1 0 217402858 1860444160 447477 33554432000 4194304 7499544 140732604750608 140732604741224 4564151 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 22704128 140732604757101 140732604757251 140732604757251 140732604760009 0
/proc/22493/statm: 454210 447477 689 807 0 447201 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 1816840 KiB
Current children cumulated memory: 1789908 KiB

[startup+282.3 s]
/proc/loadavg: 2.10 2.06 2.05 3/191 22506
/proc/meminfo: memFree=1867968/32770624 swapFree=67108860/67108860
[pid=22493] ppid=22490 vsize=2077640 memory=2050780 CPUtime=282.26 cores=0,2,4,6
/proc/22493/stat : 22493 (MistralXCSP) R 22490 22493 21509 0 -1 4202496 555815 0 0 0 28137 89 0 0 20 0 1 0 217402858 2127503360 512695 33554432000 4194304 7499544 140732604750608 140732604741224 4564151 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 22704128 140732604757101 140732604757251 140732604757251 140732604760009 0
/proc/22493/statm: 519410 512695 689 807 0 512401 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 2077640 KiB
Current children cumulated memory: 2050780 KiB

[startup+342.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/190 22507
/proc/meminfo: memFree=1623696/32770624 swapFree=67108860/67108860
[pid=22493] ppid=22490 vsize=2323100 memory=2296288 CPUtime=342.25 cores=0,2,4,6
/proc/22493/stat : 22493 (MistralXCSP) R 22490 22493 21509 0 -1 4202496 624612 0 0 0 34125 100 0 0 20 0 1 0 217402858 2378854400 574072 33554432000 4194304 7499544 140732604750608 140732604741224 4564160 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 22704128 140732604757101 140732604757251 140732604757251 140732604760009 0
/proc/22493/statm: 580775 574072 689 807 0 573766 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 2323100 KiB
Current children cumulated memory: 2296288 KiB

[startup+402.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/190 22508
/proc/meminfo: memFree=1370232/32770624 swapFree=67108860/67108860
[pid=22493] ppid=22490 vsize=2576688 memory=2546404 CPUtime=402.25 cores=0,2,4,6
/proc/22493/stat : 22493 (MistralXCSP) R 22490 22493 21509 0 -1 4202496 687096 0 0 0 40111 114 0 0 20 0 1 0 217402858 2638528512 636601 33554432000 4194304 7499544 140732604750608 140732604741224 5646762 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 22704128 140732604757101 140732604757251 140732604757251 140732604760009 0
/proc/22493/statm: 644172 636601 689 807 0 637163 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 2576688 KiB
Current children cumulated memory: 2546404 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/190 22509
/proc/meminfo: memFree=1176200/32770624 swapFree=67108860/67108860
[pid=22493] ppid=22490 vsize=2770752 memory=2740436 CPUtime=462.24 cores=0,2,4,6
/proc/22493/stat : 22493 (MistralXCSP) R 22490 22493 21509 0 -1 4202496 734615 0 0 0 46100 124 0 0 20 0 1 0 217402858 2837250048 685109 33554432000 4194304 7499544 140732604750608 140732604741224 4564165 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 22704128 140732604757101 140732604757251 140732604757251 140732604760009 0
/proc/22493/statm: 692688 685109 689 807 0 685679 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 2770752 KiB
Current children cumulated memory: 2740436 KiB


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

/proc/meminfo: memFree=290064/32770624 swapFree=67108860/67108860
[pid=22493] ppid=22490 vsize=5362548 memory=5335916 CPUtime=1782.17 cores=0,2,4,6
/proc/22493/stat : 22493 (MistralXCSP) R 22490 22493 21509 0 -1 4202496 9640513 0 0 0 177115 1102 0 0 20 0 1 0 217402858 5491249152 1333979 33554432000 4194304 7499544 140732604750608 140732604745064 4405034 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 22704128 140732604757101 140732604757251 140732604757251 140732604760009 0
/proc/22493/statm: 1340637 1333979 744 807 0 1333628 0
Current children cumulated CPU time: 1782.17 s
Current children cumulated vsize: 5362548 KiB
Current children cumulated memory: 5335916 KiB

[startup+1842.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/190 22642
/proc/meminfo: memFree=288952/32770624 swapFree=67108860/67108860
[pid=22493] ppid=22490 vsize=5362548 memory=5335916 CPUtime=1842.17 cores=0,2,4,6
/proc/22493/stat : 22493 (MistralXCSP) R 22490 22493 21509 0 -1 4202496 10578437 0 0 0 183032 1185 0 0 20 0 1 0 217402858 5491249152 1333979 33554432000 4194304 7499544 140732604750608 140732604745064 4540720 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 22704128 140732604757101 140732604757251 140732604757251 140732604760009 0
/proc/22493/statm: 1340637 1333979 744 807 0 1333628 0
Current children cumulated CPU time: 1842.17 s
Current children cumulated vsize: 5362548 KiB
Current children cumulated memory: 5335916 KiB

[startup+1902.3 s]
/proc/loadavg: 2.09 2.05 2.05 3/190 22643
/proc/meminfo: memFree=289336/32770624 swapFree=67108860/67108860
[pid=22493] ppid=22490 vsize=5362548 memory=5335916 CPUtime=1902.16 cores=0,2,4,6
/proc/22493/stat : 22493 (MistralXCSP) R 22490 22493 21509 0 -1 4202496 11581129 0 0 0 188931 1285 0 0 20 0 1 0 217402858 5491249152 1333979 33554432000 4194304 7499544 140732604750608 140732604745064 4405034 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 22704128 140732604757101 140732604757251 140732604757251 140732604760009 0
/proc/22493/statm: 1340637 1333979 744 807 0 1333628 0
Current children cumulated CPU time: 1902.16 s
Current children cumulated vsize: 5362548 KiB
Current children cumulated memory: 5335916 KiB

[startup+1962.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/190 22644
/proc/meminfo: memFree=297696/32770624 swapFree=67108860/67108860
[pid=22493] ppid=22490 vsize=5362548 memory=5335916 CPUtime=1962.16 cores=0,2,4,6
/proc/22493/stat : 22493 (MistralXCSP) R 22490 22493 21509 0 -1 4202496 11584101 0 0 0 194929 1287 0 0 20 0 1 0 217402858 5491249152 1333979 33554432000 4194304 7499544 140732604750608 140732604745064 4405034 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 22704128 140732604757101 140732604757251 140732604757251 140732604760009 0
/proc/22493/statm: 1340637 1333979 744 807 0 1333628 0
Current children cumulated CPU time: 1962.16 s
Current children cumulated vsize: 5362548 KiB
Current children cumulated memory: 5335916 KiB

[startup+2022.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/190 22645
/proc/meminfo: memFree=296148/32770624 swapFree=67108860/67108860
[pid=22493] ppid=22490 vsize=5362548 memory=5335916 CPUtime=2022.16 cores=0,2,4,6
/proc/22493/stat : 22493 (MistralXCSP) R 22490 22493 21509 0 -1 4202496 12440261 0 0 0 200847 1369 0 0 20 0 1 0 217402858 5491249152 1333979 33554432000 4194304 7499544 140732604750608 140732604745064 4258023 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 22704128 140732604757101 140732604757251 140732604757251 140732604760009 0
/proc/22493/statm: 1340637 1333979 744 807 0 1333628 0
Current children cumulated CPU time: 2022.16 s
Current children cumulated vsize: 5362548 KiB
Current children cumulated memory: 5335916 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/190 22646
/proc/meminfo: memFree=295528/32770624 swapFree=67108860/67108860
[pid=22493] ppid=22490 vsize=5362548 memory=5335916 CPUtime=2082.16 cores=0,2,4,6
/proc/22493/stat : 22493 (MistralXCSP) R 22490 22493 21509 0 -1 4202496 12446629 0 0 0 206843 1373 0 0 20 0 1 0 217402858 5491249152 1333979 33554432000 4194304 7499544 140732604750608 140732604745064 4404984 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 22704128 140732604757101 140732604757251 140732604757251 140732604760009 0
/proc/22493/statm: 1340637 1333979 744 807 0 1333628 0
Current children cumulated CPU time: 2082.16 s
Current children cumulated vsize: 5362548 KiB
Current children cumulated memory: 5335916 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 22647
/proc/meminfo: memFree=295512/32770624 swapFree=67108860/67108860
[pid=22493] ppid=22490 vsize=5362548 memory=5335916 CPUtime=2142.15 cores=0,2,4,6
/proc/22493/stat : 22493 (MistralXCSP) R 22490 22493 21509 0 -1 4202496 12466889 0 0 0 212831 1384 0 0 20 0 1 0 217402858 5491249152 1333979 33554432000 4194304 7499544 140732604750608 140732604745064 4258061 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 22704128 140732604757101 140732604757251 140732604757251 140732604760009 0
/proc/22493/statm: 1340637 1333979 744 807 0 1333628 0
Current children cumulated CPU time: 2142.15 s
Current children cumulated vsize: 5362548 KiB
Current children cumulated memory: 5335916 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 22649
/proc/meminfo: memFree=295248/32770624 swapFree=67108860/67108860
[pid=22493] ppid=22490 vsize=5362548 memory=5335916 CPUtime=2202.15 cores=0,2,4,6
/proc/22493/stat : 22493 (MistralXCSP) R 22490 22493 21509 0 -1 4202496 14907014 0 0 0 218605 1610 0 0 20 0 1 0 217402858 5491249152 1333979 33554432000 4194304 7499544 140732604750608 140732604745064 4258061 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 22704128 140732604757101 140732604757251 140732604757251 140732604760009 0
/proc/22493/statm: 1340637 1333979 744 807 0 1333628 0
Current children cumulated CPU time: 2202.15 s
Current children cumulated vsize: 5362548 KiB
Current children cumulated memory: 5335916 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 22650
/proc/meminfo: memFree=294876/32770624 swapFree=67108860/67108860
[pid=22493] ppid=22490 vsize=5362548 memory=5335916 CPUtime=2262.14 cores=0,2,4,6
/proc/22493/stat : 22493 (MistralXCSP) R 22490 22493 21509 0 -1 4202496 15011484 0 0 0 224556 1658 0 0 20 0 1 0 217402858 5491249152 1333979 33554432000 4194304 7499544 140732604750608 140732604745064 4258023 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 22704128 140732604757101 140732604757251 140732604757251 140732604760009 0
/proc/22493/statm: 1340637 1333979 744 807 0 1333628 0
Current children cumulated CPU time: 2262.14 s
Current children cumulated vsize: 5362548 KiB
Current children cumulated memory: 5335916 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 22651
/proc/meminfo: memFree=303252/32770624 swapFree=67108860/67108860
[pid=22493] ppid=22490 vsize=5362548 memory=5335916 CPUtime=2322.14 cores=0,2,4,6
/proc/22493/stat : 22493 (MistralXCSP) R 22490 22493 21509 0 -1 4202496 15094573 0 0 0 230509 1705 0 0 20 0 1 0 217402858 5491249152 1333979 33554432000 4194304 7499544 140732604750608 140732604745064 4258061 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 22704128 140732604757101 140732604757251 140732604757251 140732604760009 0
/proc/22493/statm: 1340637 1333979 744 807 0 1333628 0
Current children cumulated CPU time: 2322.14 s
Current children cumulated vsize: 5362548 KiB
Current children cumulated memory: 5335916 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 22652
/proc/meminfo: memFree=301736/32770624 swapFree=67108860/67108860
[pid=22493] ppid=22490 vsize=5362548 memory=5335916 CPUtime=2382.14 cores=0,2,4,6
/proc/22493/stat : 22493 (MistralXCSP) R 22490 22493 21509 0 -1 4202496 17331338 0 0 0 236278 1936 0 0 20 0 1 0 217402858 5491249152 1333979 33554432000 4194304 7499544 140732604750608 140732604745064 5585214 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 22704128 140732604757101 140732604757251 140732604757251 140732604760009 0
/proc/22493/statm: 1340637 1333979 744 807 0 1333628 0
Current children cumulated CPU time: 2382.14 s
Current children cumulated vsize: 5362548 KiB
Current children cumulated memory: 5335916 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 22660
/proc/meminfo: memFree=300248/32770624 swapFree=67108860/67108860
[pid=22493] ppid=22490 vsize=5362548 memory=5335916 CPUtime=2442.13 cores=0,2,4,6
/proc/22493/stat : 22493 (MistralXCSP) R 22490 22493 21509 0 -1 4202496 17636068 0 0 0 242218 1995 0 0 20 0 1 0 217402858 5491249152 1333979 33554432000 4194304 7499544 140732604750608 140732604745064 4405034 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 22704128 140732604757101 140732604757251 140732604757251 140732604760009 0
/proc/22493/statm: 1340637 1333979 744 807 0 1333628 0
Current children cumulated CPU time: 2442.13 s
Current children cumulated vsize: 5362548 KiB
Current children cumulated memory: 5335916 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 22661
/proc/meminfo: memFree=300512/32770624 swapFree=67108860/67108860
[pid=22493] ppid=22490 vsize=5362548 memory=5335916 CPUtime=2502.13 cores=0,2,4,6
/proc/22493/stat : 22493 (MistralXCSP) R 22490 22493 21509 0 -1 4202496 17728285 0 0 0 248175 2038 0 0 20 0 1 0 217402858 5491249152 1333979 33554432000 4194304 7499544 140732604750608 140732604745064 4258023 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 22704128 140732604757101 140732604757251 140732604757251 140732604760009 0
/proc/22493/statm: 1340637 1333979 744 807 0 1333628 0
Current children cumulated CPU time: 2502.13 s
Current children cumulated vsize: 5362548 KiB
Current children cumulated memory: 5335916 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/190 22662
/proc/meminfo: memFree=300496/32770624 swapFree=67108860/67108860
[pid=22493] ppid=22490 vsize=5362548 memory=5335916 CPUtime=2519.83 cores=0,2,4,6
/proc/22493/stat : 22493 (MistralXCSP) R 22490 22493 21509 0 -1 4202496 17756256 0 0 0 249933 2050 0 0 20 0 1 0 217402858 5491249152 1333979 33554432000 4194304 7499544 140732604750608 140732604745064 4258023 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 22704128 140732604757101 140732604757251 140732604757251 140732604760009 0
/proc/22493/statm: 1340637 1333979 744 807 0 1333628 0
Current children cumulated CPU time: 2519.83 s
Current children cumulated vsize: 5362548 KiB
Current children cumulated memory: 5335916 KiB

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

[startup+2520.23 s]
# the end of solver process 22493 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2499.34 s, system=20.724 s

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

[startup+2520.21 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 22662
/proc/meminfo: memFree=3358796/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 2520.23
CPU time (s): 2520.07
CPU user time (s): 2499.34
CPU system time (s): 20.724
CPU usage (%): 99.9936
Max. virtual memory (cumulated for all children) (KiB): 5362548
Max. memory (cumulated for all children) (KiB): 5335916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2499.34
system time used= 20.724
maximum resident set size= 5335936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17756436
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= 116
involuntary context switches= 2905


# summary of solver processes directly reported to runsolver:
#   pid: 22493
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2499.34
#   total CPU system time (s): 20.724

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.82468 second user time and 19.1682 second system time

The end

Launcher Data 

Begin job on node132 at 2018-08-11 16:39:57
IDJOB=4303576
IDBENCH=141134
IDSOLVER=2779
FILE ID=node132/4303576-1533998397
RUNJOBID= node132-1533990732-21541
PBS_JOBID= 21036940
Free space on /tmp= 37952 MiB

SOLVER NAME= Mistral-2.0 2018-08-01
BENCH NAME= XCSP18/GraphColoring/GraphColoring-qg-order100_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-4303576-1533998397/watcher-4303576-1533998397 -o /tmp/evaluation-result-4303576-1533998397/solver-4303576-1533998397 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1533990732-21541 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2145439259 HOME/instance-4303576-1533998397.xml

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

MD5SUM BENCH= d2763c38ef24fdf1196893d726f1931a
RANDOM SEED=2145439259

node132.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.65
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.65
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.65
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.65
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:         3921428 kB
MemAvailable:   31900072 kB
Buffers:          244820 kB
Cached:         27599968 kB
SwapCached:            0 kB
Active:          9146392 kB
Inactive:       18758928 kB
Active(anon):      10592 kB
Inactive(anon):   102720 kB
Active(file):    9135800 kB
Inactive(file): 18656208 kB
Unevictable:        7020 kB
Mlocked:            7020 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             41376 kB
Writeback:             0 kB
AnonPages:         67492 kB
Mapped:            54544 kB
Shmem:             49824 kB
Slab:             642860 kB
SReclaimable:     615096 kB
SUnreclaim:        27764 kB
KernelStack:        3424 kB
PageTables:         5336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     382424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 37944 MiB
End job on node132 at 2018-08-11 17:21:57