Trace number 4289338

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-06-15SAT (TO)107 2400.17 2400.48

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 16062018
1125.63/1125.81	o 115
1140.84/1141.08	o 114
1161.62/1161.84	o 113
1171.93/1172.15	o 112
1192.61/1192.84	o 111
1202.92/1203.18	o 110
1213.30/1213.50	o 109
1233.81/1234.04	o 108
1254.50/1254.80	o 107
2400.08/2400.40	s SATISFIABLE
2400.08/2400.40	v <instantiation type="solution">
2400.08/2400.40	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>
2400.08/2400.40	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>
2400.08/2400.40	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 (7309 MiB free)
  memory of node 1: 16384 MiB (10532 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289338-1532192911/watcher-4289338-1532192911 -o /tmp/evaluation-result-4289338-1532192911/solver-4289338-1532192911 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532190502-26045 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 468514592 HOME/instance-4289338-1532192911.xml 

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

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


[startup+0.100146 s]*
/proc/loadavg: 1.92 1.99 1.86 3/187 26362
/proc/meminfo: memFree=18257932/32770624 swapFree=67108860/67108860
[pid=26361] ppid=26358 vsize=41312 memory=15624 CPUtime=0.1 cores=0,2,4,6
/proc/26361/stat : 26361 (MistralXCSP) R 26358 26361 26014 0 -1 4202496 4354 0 0 0 10 0 0 0 20 0 1 0 36853970 42303488 3906 33554432000 4194304 7498468 140724227582880 140724227579880 6094933 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20320256 140724227589230 140724227589379 140724227589379 140724227592137 0
/proc/26361/statm: 10328 3906 666 807 0 3319 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41312 KiB
Current children cumulated memory: 15624 KiB

[startup+0.209423 s]*
/proc/loadavg: 1.92 1.99 1.86 3/187 26362
/proc/meminfo: memFree=18256924/32770624 swapFree=67108860/67108860
[pid=26361] ppid=26358 vsize=41696 memory=15888 CPUtime=0.2 cores=0,2,4,6
/proc/26361/stat : 26361 (MistralXCSP) R 26358 26361 26014 0 -1 4202496 4456 0 0 0 20 0 0 0 20 0 1 0 36853970 42696704 3972 33554432000 4194304 7498468 140724227582880 140724227579880 5985461 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20320256 140724227589230 140724227589379 140724227589379 140724227592137 0
/proc/26361/statm: 10424 3972 666 807 0 3415 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41696 KiB
Current children cumulated memory: 15888 KiB

[startup+0.308696 s]*
/proc/loadavg: 1.92 1.99 1.86 3/187 26362
/proc/meminfo: memFree=18256552/32770624 swapFree=67108860/67108860
[pid=26361] ppid=26358 vsize=42468 memory=16680 CPUtime=0.3 cores=0,2,4,6
/proc/26361/stat : 26361 (MistralXCSP) R 26358 26361 26014 0 -1 4202496 4606 0 0 0 30 0 0 0 20 0 1 0 36853970 43487232 4170 33554432000 4194304 7498468 140724227582880 140724227579880 5881256 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20320256 140724227589230 140724227589379 140724227589379 140724227592137 0
/proc/26361/statm: 10617 4170 666 807 0 3608 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42468 KiB
Current children cumulated memory: 16680 KiB

[startup+0.700277 s]
/proc/loadavg: 1.92 1.99 1.86 3/187 26362
/proc/meminfo: memFree=18255188/32770624 swapFree=67108860/67108860
[pid=26361] ppid=26358 vsize=44028 memory=18108 CPUtime=0.69 cores=0,2,4,6
/proc/26361/stat : 26361 (MistralXCSP) R 26358 26361 26014 0 -1 4202496 5189 0 0 0 68 1 0 0 20 0 1 0 36853970 45084672 4527 33554432000 4194304 7498468 140724227582880 140724227576120 6094910 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20320256 140724227589230 140724227589379 140724227589379 140724227592137 0
/proc/26361/statm: 11007 4527 666 807 0 3998 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 44028 KiB
Current children cumulated memory: 18108 KiB

[startup+1.50028 s]
/proc/loadavg: 1.92 1.99 1.86 3/187 26362
/proc/meminfo: memFree=18253204/32770624 swapFree=67108860/67108860
[pid=26361] ppid=26358 vsize=47676 memory=21748 CPUtime=1.49 cores=0,2,4,6
/proc/26361/stat : 26361 (MistralXCSP) R 26358 26361 26014 0 -1 4202496 6496 0 0 0 148 1 0 0 20 0 1 0 36853970 48820224 5437 33554432000 4194304 7498468 140724227582880 140724227576120 6007032 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20320256 140724227589230 140724227589379 140724227589379 140724227592137 0
/proc/26361/statm: 11919 5437 666 807 0 4910 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 47676 KiB
Current children cumulated memory: 21748 KiB

[startup+3.10921 s]
/proc/loadavg: 1.92 1.99 1.86 3/187 26362
/proc/meminfo: memFree=18244148/32770624 swapFree=67108860/67108860
[pid=26361] ppid=26358 vsize=54972 memory=29276 CPUtime=3.1 cores=0,2,4,6
/proc/26361/stat : 26361 (MistralXCSP) R 26358 26361 26014 0 -1 4202496 8139 0 0 0 309 1 0 0 20 0 1 0 36853970 56291328 7319 33554432000 4194304 7498468 140724227582880 140724227576120 139689587207141 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20320256 140724227589230 140724227589379 140724227589379 140724227592137 0
/proc/26361/statm: 13743 7319 666 807 0 6734 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 54972 KiB
Current children cumulated memory: 29276 KiB

[startup+6.30027 s]
/proc/loadavg: 1.85 1.97 1.86 3/187 26362
/proc/meminfo: memFree=18230100/32770624 swapFree=67108860/67108860
[pid=26361] ppid=26358 vsize=69432 memory=43748 CPUtime=6.29 cores=0,2,4,6
/proc/26361/stat : 26361 (MistralXCSP) R 26358 26361 26014 0 -1 4202496 11083 0 0 0 627 2 0 0 20 0 1 0 36853970 71098368 10937 33554432000 4194304 7498468 140724227582880 140724227576120 139689587645440 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20320256 140724227589230 140724227589379 140724227589379 140724227592137 0
/proc/26361/statm: 17358 10937 666 807 0 10349 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 69432 KiB
Current children cumulated memory: 43748 KiB

[startup+12.7003 s]
/proc/loadavg: 1.86 1.97 1.86 3/187 26362
/proc/meminfo: memFree=18199956/32770624 swapFree=67108860/67108860
[pid=26361] ppid=26358 vsize=117344 memory=90856 CPUtime=12.69 cores=0,2,4,6
/proc/26361/stat : 26361 (MistralXCSP) R 26358 26361 26014 0 -1 4202496 22629 0 0 0 1265 4 0 0 20 0 1 0 36853970 120160256 22714 33554432000 4194304 7498468 140724227582880 140724227573496 4564424 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20320256 140724227589230 140724227589379 140724227589379 140724227592137 0
/proc/26361/statm: 29336 22714 689 807 0 22327 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 117344 KiB
Current children cumulated memory: 90856 KiB

[startup+25.5003 s]
/proc/loadavg: 1.97 1.99 1.87 3/187 26362
/proc/meminfo: memFree=17945816/32770624 swapFree=67108860/67108860
[pid=26361] ppid=26358 vsize=364552 memory=338088 CPUtime=25.48 cores=0,2,4,6
/proc/26361/stat : 26361 (MistralXCSP) R 26358 26361 26014 0 -1 4202496 89790 0 0 0 2536 12 0 0 20 0 1 0 36853970 373301248 84522 33554432000 4194304 7498468 140724227582880 140724227573496 139689590684928 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20320256 140724227589230 140724227589379 140724227589379 140724227592137 0
/proc/26361/statm: 91138 84522 689 807 0 84129 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 364552 KiB
Current children cumulated memory: 338088 KiB

[startup+51.1092 s]
/proc/loadavg: 2.06 2.00 1.87 3/187 26362
/proc/meminfo: memFree=17613288/32770624 swapFree=67108860/67108860
[pid=26361] ppid=26358 vsize=683424 memory=656980 CPUtime=51.09 cores=0,2,4,6
/proc/26361/stat : 26361 (MistralXCSP) R 26358 26361 26014 0 -1 4202496 178164 0 0 0 5086 23 0 0 20 0 1 0 36853970 699826176 164245 33554432000 4194304 7498468 140724227582880 140724227573496 4564576 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20320256 140724227589230 140724227589379 140724227589379 140724227592137 0
/proc/26361/statm: 170856 164245 689 807 0 163847 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 683424 KiB
Current children cumulated memory: 656980 KiB

[startup+102.3 s]
/proc/loadavg: 2.44 2.12 1.92 3/188 26371
/proc/meminfo: memFree=17173868/32770624 swapFree=67108860/67108860
[pid=26361] ppid=26358 vsize=1120624 memory=1094196 CPUtime=102.27 cores=0,2,4,6
/proc/26361/stat : 26361 (MistralXCSP) R 26358 26361 26014 0 -1 4202496 298842 0 0 0 10189 38 0 0 20 0 1 0 36853970 1147518976 273549 33554432000 4194304 7498468 140724227582880 140724227573496 139689590684943 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20320256 140724227589230 140724227589379 140724227589379 140724227592137 0
/proc/26361/statm: 280156 273549 689 807 0 273147 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 1120624 KiB
Current children cumulated memory: 1094196 KiB

[startup+162.3 s]
/proc/loadavg: 2.16 2.10 1.93 3/188 26372
/proc/meminfo: memFree=16783776/32770624 swapFree=67108860/67108860
[pid=26361] ppid=26358 vsize=1511368 memory=1484912 CPUtime=162.27 cores=0,2,4,6
/proc/26361/stat : 26361 (MistralXCSP) R 26358 26361 26014 0 -1 4202496 397143 0 0 0 16176 51 0 0 20 0 1 0 36853970 1547640832 371228 33554432000 4194304 7498468 140724227582880 140724227573496 4564592 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20320256 140724227589230 140724227589379 140724227589379 140724227592137 0
/proc/26361/statm: 377842 371228 689 807 0 370833 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 1511368 KiB
Current children cumulated memory: 1484912 KiB

[startup+222.3 s]
/proc/loadavg: 2.13 2.10 1.94 3/188 26373
/proc/meminfo: memFree=16483164/32770624 swapFree=67108860/67108860
[pid=26361] ppid=26358 vsize=1811852 memory=1785180 CPUtime=222.25 cores=0,2,4,6
/proc/26361/stat : 26361 (MistralXCSP) R 26358 26361 26014 0 -1 4202496 481874 0 0 0 22165 60 0 0 20 0 1 0 36853970 1855336448 446295 33554432000 4194304 7498468 140724227582880 140724227573496 4564576 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20320256 140724227589230 140724227589379 140724227589379 140724227592137 0
/proc/26361/statm: 452963 446295 689 807 0 445954 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 1811852 KiB
Current children cumulated memory: 1785180 KiB

[startup+282.3 s]
/proc/loadavg: 2.05 2.08 1.94 3/188 26374
/proc/meminfo: memFree=16223176/32770624 swapFree=67108860/67108860
[pid=26361] ppid=26358 vsize=2071768 memory=2045312 CPUtime=282.25 cores=0,2,4,6
/proc/26361/stat : 26361 (MistralXCSP) R 26358 26361 26014 0 -1 4202496 553974 0 0 0 28156 69 0 0 20 0 1 0 36853970 2121490432 511328 33554432000 4194304 7498468 140724227582880 140724227573496 4564592 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20320256 140724227589230 140724227589379 140724227589379 140724227592137 0
/proc/26361/statm: 517942 511328 689 807 0 510933 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 2071768 KiB
Current children cumulated memory: 2045312 KiB

[startup+342.3 s]
/proc/loadavg: 2.02 2.07 1.95 3/188 26375
/proc/meminfo: memFree=15981636/32770624 swapFree=67108860/67108860
[pid=26361] ppid=26358 vsize=2316912 memory=2290408 CPUtime=342.24 cores=0,2,4,6
/proc/26361/stat : 26361 (MistralXCSP) R 26358 26361 26014 0 -1 4202496 621622 0 0 0 34147 77 0 0 20 0 1 0 36853970 2372517888 572602 33554432000 4194304 7498468 140724227582880 140724227573496 4564592 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20320256 140724227589230 140724227589379 140724227589379 140724227592137 0
/proc/26361/statm: 579228 572602 689 807 0 572219 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 2316912 KiB
Current children cumulated memory: 2290408 KiB

[startup+402.3 s]
/proc/loadavg: 2.01 2.06 1.95 3/187 26376
/proc/meminfo: memFree=15725408/32770624 swapFree=67108860/67108860
[pid=26361] ppid=26358 vsize=2569620 memory=2539908 CPUtime=402.23 cores=0,2,4,6
/proc/26361/stat : 26361 (MistralXCSP) R 26358 26361 26014 0 -1 4202496 680621 0 0 0 40138 85 0 0 20 0 1 0 36853970 2631290880 634977 33554432000 4194304 7498468 140724227582880 140724227573496 4564592 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20320256 140724227589230 140724227589379 140724227589379 140724227592137 0
/proc/26361/statm: 642405 634977 689 807 0 635396 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 2569620 KiB
Current children cumulated memory: 2539908 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.04 1.95 3/187 26377
/proc/meminfo: memFree=15531576/32770624 swapFree=67108860/67108860
[pid=26361] ppid=26358 vsize=2765828 memory=2736036 CPUtime=462.22 cores=0,2,4,6
/proc/26361/stat : 26361 (MistralXCSP) R 26358 26361 26014 0 -1 4202496 733648 0 0 0 46129 93 0 0 20 0 1 0 36853970 2832207872 684009 33554432000 4194304 7498468 140724227582880 140724227573496 4564583 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20320256 140724227589230 140724227589379 140724227589379 140724227592137 0
/proc/26361/statm: 691457 684009 689 807 0 684448 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 2765828 KiB
Current children cumulated memory: 2736036 KiB


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

/proc/26361/statm: 1340637 1334333 736 807 0 1333628 0
Current children cumulated CPU time: 1602.05 s
Current children cumulated vsize: 5362548 KiB
Current children cumulated memory: 5337332 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 26415
/proc/meminfo: memFree=12923656/32770624 swapFree=67108860/67108860
[pid=26361] ppid=26358 vsize=5362548 memory=5337332 CPUtime=1662.05 cores=0,2,4,6
/proc/26361/stat : 26361 (MistralXCSP) R 26358 26361 26014 0 -1 4202496 6815651 0 0 0 165753 452 0 0 20 0 1 0 36853970 5491249152 1334333 33554432000 4194304 7498468 140724227582880 140724227577336 4258077 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20320256 140724227589230 140724227589379 140724227589379 140724227592137 0
/proc/26361/statm: 1340637 1334333 736 807 0 1333628 0
Current children cumulated CPU time: 1662.05 s
Current children cumulated vsize: 5362548 KiB
Current children cumulated memory: 5337332 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 26416
/proc/meminfo: memFree=12923528/32770624 swapFree=67108860/67108860
[pid=26361] ppid=26358 vsize=5362548 memory=5337332 CPUtime=1722.04 cores=0,2,4,6
/proc/26361/stat : 26361 (MistralXCSP) R 26358 26361 26014 0 -1 4202496 7284608 0 0 0 171730 474 0 0 20 0 1 0 36853970 5491249152 1334333 33554432000 4194304 7498468 140724227582880 140724227577336 4404954 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20320256 140724227589230 140724227589379 140724227589379 140724227592137 0
/proc/26361/statm: 1340637 1334333 736 807 0 1333628 0
Current children cumulated CPU time: 1722.04 s
Current children cumulated vsize: 5362548 KiB
Current children cumulated memory: 5337332 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 26417
/proc/meminfo: memFree=12923780/32770624 swapFree=67108860/67108860
[pid=26361] ppid=26358 vsize=5362548 memory=5337332 CPUtime=1782.04 cores=0,2,4,6
/proc/26361/stat : 26361 (MistralXCSP) R 26358 26361 26014 0 -1 4202496 7286325 0 0 0 177730 474 0 0 20 0 1 0 36853970 5491249152 1334333 33554432000 4194304 7498468 140724227582880 140724227577336 4258057 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20320256 140724227589230 140724227589379 140724227589379 140724227592137 0
/proc/26361/statm: 1340637 1334333 736 807 0 1333628 0
Current children cumulated CPU time: 1782.04 s
Current children cumulated vsize: 5362548 KiB
Current children cumulated memory: 5337332 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 26418
/proc/meminfo: memFree=12923840/32770624 swapFree=67108860/67108860
[pid=26361] ppid=26358 vsize=5362548 memory=5337332 CPUtime=1842.03 cores=0,2,4,6
/proc/26361/stat : 26361 (MistralXCSP) R 26358 26361 26014 0 -1 4202496 7900496 0 0 0 183702 501 0 0 20 0 1 0 36853970 5491249152 1334333 33554432000 4194304 7498468 140724227582880 140724227577336 4258039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20320256 140724227589230 140724227589379 140724227589379 140724227592137 0
/proc/26361/statm: 1340637 1334333 736 807 0 1333628 0
Current children cumulated CPU time: 1842.03 s
Current children cumulated vsize: 5362548 KiB
Current children cumulated memory: 5337332 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 26427
/proc/meminfo: memFree=12923136/32770624 swapFree=67108860/67108860
[pid=26361] ppid=26358 vsize=5362548 memory=5337332 CPUtime=1902.02 cores=0,2,4,6
/proc/26361/stat : 26361 (MistralXCSP) R 26358 26361 26014 0 -1 4202496 7904082 0 0 0 189701 501 0 0 20 0 1 0 36853970 5491249152 1334333 33554432000 4194304 7498468 140724227582880 140724227577336 4404954 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20320256 140724227589230 140724227589379 140724227589379 140724227592137 0
/proc/26361/statm: 1340637 1334333 736 807 0 1333628 0
Current children cumulated CPU time: 1902.02 s
Current children cumulated vsize: 5362548 KiB
Current children cumulated memory: 5337332 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 26428
/proc/meminfo: memFree=12923372/32770624 swapFree=67108860/67108860
[pid=26361] ppid=26358 vsize=5362548 memory=5337332 CPUtime=1962.02 cores=0,2,4,6
/proc/26361/stat : 26361 (MistralXCSP) R 26358 26361 26014 0 -1 4202496 8315585 0 0 0 195684 518 0 0 20 0 1 0 36853970 5491249152 1334333 33554432000 4194304 7498468 140724227582880 140724227577336 4541166 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20320256 140724227589230 140724227589379 140724227589379 140724227592137 0
/proc/26361/statm: 1340637 1334333 736 807 0 1333628 0
Current children cumulated CPU time: 1962.02 s
Current children cumulated vsize: 5362548 KiB
Current children cumulated memory: 5337332 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 26429
/proc/meminfo: memFree=12922356/32770624 swapFree=67108860/67108860
[pid=26361] ppid=26358 vsize=5362548 memory=5337332 CPUtime=2022.01 cores=0,2,4,6
/proc/26361/stat : 26361 (MistralXCSP) R 26358 26361 26014 0 -1 4202496 8318981 0 0 0 201683 518 0 0 20 0 1 0 36853970 5491249152 1334333 33554432000 4194304 7498468 140724227582880 140724227577336 4258039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20320256 140724227589230 140724227589379 140724227589379 140724227592137 0
/proc/26361/statm: 1340637 1334333 736 807 0 1333628 0
Current children cumulated CPU time: 2022.01 s
Current children cumulated vsize: 5362548 KiB
Current children cumulated memory: 5337332 KiB

[startup+2082.3 s]
/proc/loadavg: 2.06 2.03 1.96 3/188 26430
/proc/meminfo: memFree=12922060/32770624 swapFree=67108860/67108860
[pid=26361] ppid=26358 vsize=5362548 memory=5337332 CPUtime=2082.01 cores=0,2,4,6
/proc/26361/stat : 26361 (MistralXCSP) R 26358 26361 26014 0 -1 4202496 8689400 0 0 0 207666 535 0 0 20 0 1 0 36853970 5491249152 1334333 33554432000 4194304 7498468 140724227582880 140724227577336 4258039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20320256 140724227589230 140724227589379 140724227589379 140724227592137 0
/proc/26361/statm: 1340637 1334333 736 807 0 1333628 0
Current children cumulated CPU time: 2082.01 s
Current children cumulated vsize: 5362548 KiB
Current children cumulated memory: 5337332 KiB

[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/188 26431
/proc/meminfo: memFree=12921824/32770624 swapFree=67108860/67108860
[pid=26361] ppid=26358 vsize=5362548 memory=5337332 CPUtime=2142 cores=0,2,4,6
/proc/26361/stat : 26361 (MistralXCSP) R 26358 26361 26014 0 -1 4202496 8692472 0 0 0 213665 535 0 0 20 0 1 0 36853970 5491249152 1334333 33554432000 4194304 7498468 140724227582880 140724227577336 4258039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20320256 140724227589230 140724227589379 140724227589379 140724227592137 0
/proc/26361/statm: 1340637 1334333 736 807 0 1333628 0
Current children cumulated CPU time: 2142 s
Current children cumulated vsize: 5362548 KiB
Current children cumulated memory: 5337332 KiB

[startup+2202.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/187 26432
/proc/meminfo: memFree=12922020/32770624 swapFree=67108860/67108860
[pid=26361] ppid=26358 vsize=5362548 memory=5337332 CPUtime=2201.99 cores=0,2,4,6
/proc/26361/stat : 26361 (MistralXCSP) R 26358 26361 26014 0 -1 4202496 8698659 0 0 0 219664 535 0 0 20 0 1 0 36853970 5491249152 1334333 33554432000 4194304 7498468 140724227582880 140724227577336 4257943 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20320256 140724227589230 140724227589379 140724227589379 140724227592137 0
/proc/26361/statm: 1340637 1334333 736 807 0 1333628 0
Current children cumulated CPU time: 2201.99 s
Current children cumulated vsize: 5362548 KiB
Current children cumulated memory: 5337332 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 26433
/proc/meminfo: memFree=12921848/32770624 swapFree=67108860/67108860
[pid=26361] ppid=26358 vsize=5362548 memory=5337332 CPUtime=2262 cores=0,2,4,6
/proc/26361/stat : 26361 (MistralXCSP) R 26358 26361 26014 0 -1 4202496 8705666 0 0 0 225664 536 0 0 20 0 1 0 36853970 5491249152 1334333 33554432000 4194304 7498468 140724227582880 140724227577336 4404954 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20320256 140724227589230 140724227589379 140724227589379 140724227592137 0
/proc/26361/statm: 1340637 1334333 736 807 0 1333628 0
Current children cumulated CPU time: 2262 s
Current children cumulated vsize: 5362548 KiB
Current children cumulated memory: 5337332 KiB

[startup+2322.3 s]
/proc/loadavg: 2.34 2.09 1.99 3/187 26434
/proc/meminfo: memFree=12922416/32770624 swapFree=67108860/67108860
[pid=26361] ppid=26358 vsize=5362548 memory=5337332 CPUtime=2321.98 cores=0,2,4,6
/proc/26361/stat : 26361 (MistralXCSP) R 26358 26361 26014 0 -1 4202496 9135015 0 0 0 231644 554 0 0 20 0 1 0 36853970 5491249152 1334333 33554432000 4194304 7498468 140724227582880 140724227577336 4258057 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20320256 140724227589230 140724227589379 140724227589379 140724227592137 0
/proc/26361/statm: 1340637 1334333 736 807 0 1333628 0
Current children cumulated CPU time: 2321.98 s
Current children cumulated vsize: 5362548 KiB
Current children cumulated memory: 5337332 KiB

[startup+2382.3 s]
/proc/loadavg: 2.27 2.13 2.01 3/187 26435
/proc/meminfo: memFree=12922492/32770624 swapFree=67108860/67108860
[pid=26361] ppid=26358 vsize=5362548 memory=5337332 CPUtime=2381.98 cores=0,2,4,6
/proc/26361/stat : 26361 (MistralXCSP) R 26358 26361 26014 0 -1 4202496 9138828 0 0 0 237644 554 0 0 20 0 1 0 36853970 5491249152 1334333 33554432000 4194304 7498468 140724227582880 140724227577336 4580282 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20320256 140724227589230 140724227589379 140724227589379 140724227592137 0
/proc/26361/statm: 1340637 1334333 736 807 0 1333628 0
Current children cumulated CPU time: 2381.98 s
Current children cumulated vsize: 5362548 KiB
Current children cumulated memory: 5337332 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.4 s]
/proc/loadavg: 2.05 2.09 2.00 3/187 26557
/proc/meminfo: memFree=12285984/32770624 swapFree=67108860/67108860
[pid=26361] ppid=26358 vsize=5362548 memory=5337332 CPUtime=2400.08 cores=0,2,4,6
/proc/26361/stat : 26361 (MistralXCSP) R 26358 26361 26014 0 -1 4202496 9140265 0 0 0 239454 554 0 0 20 0 1 0 36853970 5491249152 1334333 33554432000 4194304 7498468 140724227582880 140724227577336 4541152 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 20320256 140724227589230 140724227589379 140724227589379 140724227592137 0
/proc/26361/statm: 1340637 1334333 736 807 0 1333628 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 5362548 KiB
Current children cumulated memory: 5337332 KiB

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

[startup+2400.48 s]
# the end of solver process 26361 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2394.54 s, system=5.62346 s

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

Child status: 0
Real time (s): 2400.48
CPU time (s): 2400.17
CPU user time (s): 2394.54
CPU system time (s): 5.62346
CPU usage (%): 99.987
Max. virtual memory (cumulated for all children) (KiB): 5362548
Max. memory (cumulated for all children) (KiB): 5337332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.54
system time used= 5.62346
maximum resident set size= 5337352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9140327
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= 185
involuntary context switches= 1328


# summary of solver processes directly reported to runsolver:
#   pid: 26361
#   total CPU time (s): 2400.17
#   total CPU user time (s): 2394.54
#   total CPU system time (s): 5.62346

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.95416 second user time and 17.1558 second system time

The end

Launcher Data 

Begin job on node106 at 2018-07-21 19:08:31
IDJOB=4289338
IDBENCH=141134
IDSOLVER=2741
FILE ID=node106/4289338-1532192911
RUNJOBID= node106-1532190502-26045
PBS_JOBID= 21018937
Free space on /tmp= 52992 MiB

SOLVER NAME= Mistral-2.0 2018-06-15
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-4289338-1532192911/watcher-4289338-1532192911 -o /tmp/evaluation-result-4289338-1532192911/solver-4289338-1532192911 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532190502-26045 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 468514592 HOME/instance-4289338-1532192911.xml

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

MD5SUM BENCH= d2763c38ef24fdf1196893d726f1931a
RANDOM SEED=468514592

node106.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        18270980 kB
MemAvailable:   31937084 kB
Buffers:          219880 kB
Cached:         13539084 kB
SwapCached:            0 kB
Active:          1240488 kB
Inactive:       12576752 kB
Active(anon):      61072 kB
Inactive(anon):    17096 kB
Active(file):    1179416 kB
Inactive(file): 12559656 kB
Unevictable:        6920 kB
Mlocked:            6920 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             45016 kB
Writeback:             0 kB
AnonPages:         65188 kB
Mapped:            36636 kB
Shmem:             17036 kB
Slab:             382216 kB
SReclaimable:     355492 kB
SUnreclaim:        26724 kB
KernelStack:        3344 kB
PageTables:         5552 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     345264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 52980 MiB
End job on node106 at 2018-07-21 19:48:32