Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
BTD 19.07.01 | SAT | 187.833 | 187.885 |
Name | Domino/Domino-m1-s1/ Domino-9000-9000.xml |
MD5SUM | 479d99eb162212229c70ebabb46032f2 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 1.39194 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 9000 |
Number of constraints | 2 |
Number of domains | 1 |
Minimum domain size | 9000 |
Maximum domain size | 9000 |
Distribution of domain sizes | [{"size":9000,"count":9000}] |
Minimum variable degree | 1 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":1,"count":8998},{"degree":2,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 9000 |
Distribution of constraint arities | [{"arity":2,"count":1},{"arity":9000,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 1 |
Distribution of constraint types | [{"type":"intension","count":1},{"type":"allEqual","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c Version 19.07.01 176.34/176.42 s SATISFIABLE 176.34/176.42 v <instantiation type="solution"> 176.34/176.42 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] </list> 176.34/176.42 v <values> 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 </values> 176.34/176.43 v </instantiation>
OK
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 (15214 MiB free) memory of node 1: 16384 MiB (15114 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4386895-1568283538/watcher-4386895-1568283538 -o /tmp/evaluation-result-4386895-1568283538/solver-4386895-1568283538 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568280858-19912 --watchdog 2580 BTD 2520 HOME/instance-4386895-1568283538.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=20457, runsolver pid=20454 [startup+0.100167 s]* /proc/loadavg: 2.05 2.11 1.95 3/203 20458 /proc/meminfo: memFree=31002924/32770624 swapFree=66965320/67108860 [pid=20457] ppid=20454 vsize=91184 memory=59912 CPUtime=0.1 cores=1,3,5,7 /proc/20457/stat : 20457 (BTD) R 20454 20457 19880 0 -1 4202496 15150 0 0 0 9 1 0 0 20 0 1 0 404603373 93372416 14978 33554432000 4194304 36700936 140726778327296 140726778327296 7949654 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 51703808 140726778336296 140726778336372 140726778336372 140726778339281 0 /proc/20457/statm: 22796 14978 253 7937 0 14824 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 91184 KiB Current children cumulated memory: 59912 KiB [startup+0.210057 s]* /proc/loadavg: 2.05 2.11 1.95 3/203 20458 /proc/meminfo: memFree=30939684/32770624 swapFree=66965320/67108860 [pid=20457] ppid=20454 vsize=154732 memory=123536 CPUtime=0.21 cores=1,3,5,7 /proc/20457/stat : 20457 (BTD) R 20454 20457 19880 0 -1 4202496 31032 0 0 0 18 3 0 0 20 0 1 0 404603373 158445568 30884 33554432000 4194304 36700936 140726778327296 140726778327296 7949654 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 51703808 140726778336296 140726778336372 140726778336372 140726778339281 0 /proc/20457/statm: 38683 30884 253 7937 0 30711 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 154732 KiB Current children cumulated memory: 123536 KiB [startup+0.30998 s]* /proc/loadavg: 2.05 2.11 1.95 3/203 20458 /proc/meminfo: memFree=30881652/32770624 swapFree=66965320/67108860 [pid=20457] ppid=20454 vsize=212604 memory=181352 CPUtime=0.3 cores=1,3,5,7 /proc/20457/stat : 20457 (BTD) R 20454 20457 19880 0 -1 4202496 45488 0 0 0 26 4 0 0 20 0 1 0 404603373 217706496 45338 33554432000 4194304 36700936 140726778327296 140726778327296 7949654 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 51703808 140726778336296 140726778336372 140726778336372 140726778339281 0 /proc/20457/statm: 53151 45338 253 7937 0 45179 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 212604 KiB Current children cumulated memory: 181352 KiB [startup+0.700398 s] /proc/loadavg: 2.05 2.10 1.95 3/203 20458 /proc/meminfo: memFree=30765960/32770624 swapFree=66965320/67108860 [pid=20457] ppid=20454 vsize=433208 memory=402056 CPUtime=0.69 cores=1,3,5,7 /proc/20457/stat : 20457 (BTD) R 20454 20457 19880 0 -1 4202496 100638 0 0 0 58 11 0 0 20 0 1 0 404603373 443604992 100448 33554432000 4194304 36700936 140726778327296 140726778327296 7949654 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 51703808 140726778336296 140726778336372 140726778336372 140726778339281 0 /proc/20457/statm: 108302 100514 254 7937 0 100330 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 433208 KiB Current children cumulated memory: 402056 KiB [startup+1.50039 s] /proc/loadavg: 2.05 2.10 1.95 3/203 20458 /proc/meminfo: memFree=30481100/32770624 swapFree=66965320/67108860 [pid=20457] ppid=20454 vsize=896472 memory=865112 CPUtime=1.49 cores=1,3,5,7 /proc/20457/stat : 20457 (BTD) R 20454 20457 19880 0 -1 4202496 216446 0 0 0 126 23 0 0 20 0 1 0 404603373 917987328 216278 33554432000 4194304 36700936 140726778327296 140726778323080 7949654 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 51703808 140726778336296 140726778336372 140726778336372 140726778339281 0 /proc/20457/statm: 224118 216278 254 7937 0 216146 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 896472 KiB Current children cumulated memory: 865112 KiB [startup+3.10987 s] /proc/loadavg: 2.05 2.10 1.95 3/203 20458 /proc/meminfo: memFree=29322568/32770624 swapFree=66965320/67108860 [pid=20457] ppid=20454 vsize=1826472 memory=1795032 CPUtime=3.1 cores=1,3,5,7 /proc/20457/stat : 20457 (BTD) R 20454 20457 19880 0 -1 4202496 448978 0 0 0 259 51 0 0 20 0 1 0 404603373 1870307328 448758 33554432000 4194304 36700936 140726778327296 140726778323080 7949654 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 51703808 140726778336296 140726778336372 140726778336372 140726778339281 0 /proc/20457/statm: 456618 448758 254 7937 0 448646 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 1826472 KiB Current children cumulated memory: 1795032 KiB [startup+6.30037 s] /proc/loadavg: 2.12 2.12 1.95 3/203 20458 /proc/meminfo: memFree=27586204/32770624 swapFree=66965320/67108860 [pid=20457] ppid=20454 vsize=3670084 memory=3638616 CPUtime=6.29 cores=1,3,5,7 /proc/20457/stat : 20457 (BTD) R 20454 20457 19880 0 -1 4202496 910039 0 0 0 527 102 0 0 20 0 1 0 404603373 3758166016 909654 33554432000 4194304 36700936 140726778327296 140726778323080 7949654 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 51703808 140726778336296 140726778336372 140726778336372 140726778339281 0 /proc/20457/statm: 917554 909654 254 7937 0 909582 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 3670084 KiB Current children cumulated memory: 3638616 KiB [startup+12.7004 s] /proc/loadavg: 2.11 2.12 1.95 3/203 20458 /proc/meminfo: memFree=25027144/32770624 swapFree=66965320/67108860 [pid=20457] ppid=20454 vsize=6686904 memory=6655568 CPUtime=12.68 cores=1,3,5,7 /proc/20457/stat : 20457 (BTD) R 20454 20457 19880 0 -1 4202496 1726008 0 0 0 1076 192 0 0 20 0 1 0 404603373 6847389696 1663892 33554432000 4194304 36700936 140726778327296 140726778323176 4626152 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 51703808 140726778336296 140726778336372 140726778336372 140726778339281 0 /proc/20457/statm: 1671726 1663892 419 7937 0 1663754 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 6686904 KiB Current children cumulated memory: 6655568 KiB [startup+25.5005 s] /proc/loadavg: 2.10 2.11 1.95 3/203 20458 /proc/meminfo: memFree=24333084/32770624 swapFree=66965320/67108860 [pid=20457] ppid=20454 vsize=6745992 memory=6714648 CPUtime=25.49 cores=1,3,5,7 /proc/20457/stat : 20457 (BTD) R 20454 20457 19880 0 -1 4202496 1944553 0 0 0 2342 207 0 0 20 0 1 0 404603373 6907895808 1678662 33554432000 4194304 36700936 140726778327296 140726778323112 4626152 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 51703808 140726778336296 140726778336372 140726778336372 140726778339281 0 /proc/20457/statm: 1686498 1678662 419 7937 0 1678526 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 6745992 KiB Current children cumulated memory: 6714648 KiB [startup+51.1098 s] /proc/loadavg: 2.14 2.12 1.96 3/203 20460 /proc/meminfo: memFree=24226136/32770624 swapFree=66965320/67108860 [pid=20457] ppid=20454 vsize=6850664 memory=6819372 CPUtime=51.1 cores=1,3,5,7 /proc/20457/stat : 20457 (BTD) R 20454 20457 19880 0 -1 4202496 2420448 0 0 0 4874 236 0 0 20 0 1 0 404603373 7015079936 1704843 33554432000 4194304 36700936 140726778327296 140726778323112 4626806 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 51703808 140726778336296 140726778336372 140726778336372 140726778339281 0 /proc/20457/statm: 1712666 1704843 419 7937 0 1704694 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 6850664 KiB Current children cumulated memory: 6819372 KiB [startup+102.3 s] /proc/loadavg: 2.06 2.10 1.96 3/203 20464 /proc/meminfo: memFree=23437852/32770624 swapFree=66965320/67108860 [pid=20457] ppid=20454 vsize=7635840 memory=7604940 CPUtime=102.27 cores=1,3,5,7 /proc/20457/stat : 20457 (BTD) R 20454 20457 19880 0 -1 4202496 3288000 0 0 0 9928 299 0 0 20 0 1 0 404603373 7819100160 1901235 33554432000 4194304 36700936 140726778327296 140726778325656 4629280 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 51703808 140726778336296 140726778336372 140726778336372 140726778339281 0 /proc/20457/statm: 1908960 1901235 476 7937 0 1900988 0 Current children cumulated CPU time: 102.27 s Current children cumulated vsize: 7635840 KiB Current children cumulated memory: 7604940 KiB [startup+162.3 s] /proc/loadavg: 2.02 2.08 1.96 3/206 20478 /proc/meminfo: memFree=23437976/32770624 swapFree=66965340/67108860 [pid=20457] ppid=20454 vsize=7635840 memory=7604940 CPUtime=162.24 cores=1,3,5,7 /proc/20457/stat : 20457 (BTD) R 20454 20457 19880 0 -1 4202496 3828162 0 0 0 15885 339 0 0 20 0 1 0 404603373 7819100160 1901235 33554432000 4194304 36700936 140726778327296 140726778325656 4629579 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 51703808 140726778336296 140726778336372 140726778336372 140726778339281 0 /proc/20457/statm: 1908960 1901235 476 7937 0 1900988 0 Current children cumulated CPU time: 162.24 s Current children cumulated vsize: 7635840 KiB Current children cumulated memory: 7604940 KiB [startup+187.885 s] # the end of solver process 20457 was just reported to runsolver # cumulated CPU time of all completed processes: user=182.654 s, system=5.17877 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+166.4 s] /proc/loadavg: 2.02 2.08 1.96 3/205 20478 /proc/meminfo: memFree=23437976/32770624 swapFree=66965340/67108860 [pid=20457] ppid=20454 vsize=7635840 memory=7604940 CPUtime=166.35 cores=1,3,5,7 /proc/20457/stat : 20457 (BTD) R 20454 20457 19880 0 -1 4202496 3864231 0 0 0 16293 342 0 0 20 0 1 0 404603373 7819100160 1901235 33554432000 4194304 36700936 140726778327296 140726778325656 4627425 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 51703808 140726778336296 140726778336372 140726778336372 140726778339281 0 /proc/20457/statm: 1908960 1901235 476 7937 0 1900988 0 Current children cumulated CPU time: 166.35 s Current children cumulated vsize: 7635840 KiB Current children cumulated memory: 7604940 KiB [startup+179.2 s] /proc/loadavg: 2.02 2.08 1.96 3/206 20481 /proc/meminfo: memFree=20890908/32770624 swapFree=66965340/67108860 [pid=20457] ppid=20454 vsize=10177972 memory=10146964 CPUtime=179.14 cores=1,3,5,7 /proc/20457/stat : 20457 (BTD) R 20454 20457 19880 0 -1 4202496 5343029 0 0 0 17457 457 0 0 20 0 1 0 404603373 10422243328 2536741 33554432000 4194304 36700936 140726778327296 140726778326664 4220132 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 51703808 140726778336296 140726778336372 140726778336372 140726778339281 0 /proc/20457/statm: 2544493 2536741 499 7937 0 2536521 0 Current children cumulated CPU time: 179.14 s Current children cumulated vsize: 10177972 KiB Current children cumulated memory: 10146964 KiB [startup+182.4 s] /proc/loadavg: 2.02 2.08 1.96 3/205 20482 /proc/meminfo: memFree=20891304/32770624 swapFree=66965340/67108860 [pid=20457] ppid=20454 vsize=10177232 memory=10146400 CPUtime=182.34 cores=1,3,5,7 /proc/20457/stat : 20457 (BTD) R 20454 20457 19880 0 -1 4202496 5493386 0 0 0 17770 464 0 0 20 0 1 0 404603373 10421485568 2536600 33554432000 4194304 36700936 140726778327296 140726778326472 5016715 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 51703808 140726778336296 140726778336372 140726778336372 140726778339281 0 /proc/20457/statm: 2544308 2536600 499 7937 0 2536336 0 Current children cumulated CPU time: 182.34 s Current children cumulated vsize: 10177232 KiB Current children cumulated memory: 10146400 KiB [startup+185.6 s] /proc/loadavg: 2.02 2.08 1.96 3/205 20482 /proc/meminfo: memFree=20891400/32770624 swapFree=66965340/67108860 [pid=20457] ppid=20454 vsize=10177232 memory=10146400 CPUtime=185.54 cores=1,3,5,7 /proc/20457/stat : 20457 (BTD) R 20454 20457 19880 0 -1 4202496 5493386 0 0 0 18090 464 0 0 20 0 1 0 404603373 10421485568 2536600 33554432000 4194304 36700936 140726778327296 140726778326472 7931928 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 51703808 140726778336296 140726778336372 140726778336372 140726778339281 0 /proc/20457/statm: 2544308 2536600 499 7937 0 2536336 0 Current children cumulated CPU time: 185.54 s Current children cumulated vsize: 10177232 KiB Current children cumulated memory: 10146400 KiB [startup+187.2 s] /proc/loadavg: 2.01 2.07 1.96 3/205 20482 /proc/meminfo: memFree=20891400/32770624 swapFree=66965340/67108860 [pid=20457] ppid=20454 vsize=10177232 memory=10146400 CPUtime=187.14 cores=1,3,5,7 /proc/20457/stat : 20457 (BTD) R 20454 20457 19880 0 -1 4202496 5493386 0 0 0 18250 464 0 0 20 0 1 0 404603373 10421485568 2536600 33554432000 4194304 36700936 140726778327296 140726778326472 7931721 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 51703808 140726778336296 140726778336372 140726778336372 140726778339281 0 /proc/20457/statm: 2544308 2536600 499 7937 0 2536336 0 Current children cumulated CPU time: 187.14 s Current children cumulated vsize: 10177232 KiB Current children cumulated memory: 10146400 KiB [startup+187.6 s] /proc/loadavg: 2.01 2.07 1.96 3/205 20482 /proc/meminfo: memFree=22018644/32770624 swapFree=66965340/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB [startup+187.8 s] /proc/loadavg: 2.01 2.07 1.96 3/205 20482 /proc/meminfo: memFree=22018644/32770624 swapFree=66965340/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 0 Real time (s): 187.885 CPU time (s): 187.833 CPU user time (s): 182.654 CPU system time (s): 5.17877 CPU usage (%): 99.972 Max. virtual memory (cumulated for all children) (KiB): 10178556 Max. memory (cumulated for all children) (KiB): 10147292 getrusage(RUSAGE_CHILDREN,...) data: user time used= 182.654 system time used= 5.17877 maximum resident set size= 10147304 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5497333 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= 87 involuntary context switches= 160 # summary of solver processes directly reported to runsolver: # pid: 20457 # total CPU time (s): 187.833 # total CPU user time (s): 182.654 # total CPU system time (s): 5.17877 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.76199 second user time and 1.50409 second system time The end
Begin job on node135 at 2019-09-12 12:18:18 IDJOB=4386895 IDBENCH=138742 IDSOLVER=2822 FILE ID=node135/4386895-1568283538 RUNJOBID= node135-1568280858-19912 PBS_JOBID= 21701073 Free space on /tmp= 56688 MiB SOLVER NAME= BTD 19.07.01 BENCH NAME= XCSP17/Domino/Domino-m1-s1/Domino-9000-9000.xml COMMAND LINE= BTD TIMELIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4386895-1568283538/watcher-4386895-1568283538 -o /tmp/evaluation-result-4386895-1568283538/solver-4386895-1568283538 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568280858-19912 --watchdog 2580 BTD 2520 HOME/instance-4386895-1568283538.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 479d99eb162212229c70ebabb46032f2 RANDOM SEED=602155402 node135.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 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: 31057312 kB MemAvailable: 31875016 kB Buffers: 91108 kB Cached: 1003244 kB SwapCached: 36548 kB Active: 494264 kB Inactive: 643888 kB Active(anon): 15256 kB Inactive(anon): 58944 kB Active(file): 479008 kB Inactive(file): 584944 kB Unevictable: 110364 kB Mlocked: 110364 kB SwapTotal: 67108860 kB SwapFree: 66965320 kB Dirty: 61504 kB Writeback: 0 kB AnonPages: 118576 kB Mapped: 34620 kB Shmem: 21780 kB Slab: 169132 kB SReclaimable: 139172 kB SUnreclaim: 29960 kB KernelStack: 3584 kB PageTables: 5660 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 531496 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 73728 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 134528 kB DirectMap2M: 33411072 kB Free space on /tmp at the end= 56628 MiB End job on node135 at 2019-09-12 12:21:26