| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 1.12 | SAT (TO) | 1054458226 | 2519.89 | 2520.03 |
| Name | Fapp/Fapp-m2s/ Fapp-m2s-06-0500_c18.xml |
| MD5SUM | 26cacd4a9bde3a1253c36df99f6e4e09 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 840126924 |
| Best CPU time to get the best result obtained on this benchmark | 2520.18 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 10160 |
| Number of constraints | 6531 |
| Number of domains | 106 |
| Minimum domain size | 2 |
| Maximum domain size | 145 |
| Distribution of domain sizes | [{"size":2,"count":3553},{"size":11,"count":3053},{"size":12,"count":1},{"size":21,"count":9},{"size":23,"count":9},{"size":27,"count":52},{"size":35,"count":16},{"size":38,"count":8},{"size":40,"count":2},{"size":41,"count":37},{"size":43,"count":6},{"size":44,"count":11},{"size":47,"count":21},{"size":49,"count":6},{"size":51,"count":47},{"size":52,"count":4},{"size":53,"count":30},{"size":54,"count":5},{"size":55,"count":1},{"size":60,"count":9},{"size":62,"count":1},{"size":63,"count":27},{"size":65,"count":4},{"size":66,"count":19},{"size":67,"count":33},"...",{"size":102,"count":4}, {"size":103,"count":90}, {"size":104,"count":17}, {"size":105,"count":47}, {"size":107,"count":63}, {"size":108,"count":9}, {"size":109,"count":6}, {"size":111,"count":2}, {"size":112,"count":15}, {"size":113,"count":24}, {"size":116,"count":10}, {"size":117,"count":31}, {"size":119,"count":112}, {"size":120,"count":118}, {"size":121,"count":1}, {"size":122,"count":56}, {"size":129,"count":2}, {"size":131,"count":39}, {"size":132,"count":4}, {"size":133,"count":22}, {"size":136,"count":37}, {"size":138,"count":41}, {"size":139,"count":70}, {"size":140,"count":148}, {"size":145,"count":1779}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 3054 |
| Distribution of variable degrees | [{"degree":2,"count":9160},{"degree":3,"count":4},{"degree":4,"count":4},{"degree":5,"count":14},{"degree":6,"count":18},{"degree":7,"count":34},{"degree":8,"count":46},{"degree":9,"count":47},{"degree":10,"count":58},{"degree":11,"count":53},{"degree":12,"count":75},{"degree":13,"count":101},{"degree":14,"count":110},{"degree":15,"count":138},{"degree":16,"count":215},{"degree":17,"count":78},{"degree":18,"count":3},{"degree":19,"count":1},{"degree":3054,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 6 |
| Distribution of constraint arities | [{"arity":2,"count":425},{"arity":3,"count":3053},{"arity":6,"count":3053}] |
| Number of extensional constraints | 3053 |
| Number of intensional constraints | 3478 |
| Distribution of constraint types | [{"type":"extension","count":3053},{"type":"intension","count":3478}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.24 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 0.21/0.25 c AllEqual constraint using 1 generic x=y constraints 89.88/89.90 c best=?? lower=0 upper=1118527610 2252.15/2252.32 c 2252.15/2252.32 c This is cosoco 1.12 -- 2252.15/2252.32 c 2252.15/2252.32 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4293927-1532379459.xml 2252.15/2252.32 c enable optimization 2252.15/2252.32 c ========================================[ Problem Statistics ]=========================================== 2252.15/2252.32 c | 2252.15/2252.32 c | Parse time : 89.38 s 2252.15/2252.32 c | 2252.15/2252.32 c | Variables: 10160 2252.15/2252.32 c | Domain Sizes: 2..145 2252.15/2252.32 c | 2252.15/2252.32 c | Constraints: 6532 2252.15/2252.32 c | Arity: 2..6107 -- Binary: 425 -- Ternary: 3053 2252.15/2252.32 c | 2252.15/2252.32 c | Types: 2252.15/2252.32 c | (X != Y): 43 2252.15/2252.32 c | (X = Y): 63 2252.15/2252.32 c | Extension: 3053 (nb tuples: 560..6932) -- (shared: 0) 2252.15/2252.32 c | Intension: 3372 2252.15/2252.32 c | Sum: 1 2252.15/2252.32 c | 2252.15/2252.32 c | Objective: Minimize Sum 2252.15/2252.32 2252.15/2252.32 c ========================================================================================================= 2252.15/2252.32 o 1054458226 2252.15/2252.32 c 1 calls to solver: best=1054458226 lower=0 upper=1054458225 2519.85/2520.01 2519.85/2520.01 c *** INTERRUPTED *** 2519.85/2520.01 c restarts : 59 2519.85/2520.01 c conflicts : 291371 (116 /sec) 2519.85/2520.01 c decisions : 945575 (376 /sec) 2519.85/2520.01 c propagations : 248772919 (98799 /sec) 2519.85/2520.01 c root propagations : 15929 2519.85/2520.01 c filter calls : 21661017 (8603 /sec) 2519.85/2520.01 c useless filter calls : 15088764 (69 %) 2519.85/2520.01 c Memory used : 1955.59 MB 2519.85/2520.01 c CPU time : 2517.97 s 2519.85/2520.01 2519.85/2520.01 c nb Solutions = 1 2519.85/2520.01 s SATISFIABLE 2519.85/2520.01 c Best value found: 1054458226 2519.85/2520.01 2519.85/2520.01 2519.85/2520.01 v <instantiation type='solution' cost='1054458226'> 2519.85/2520.01 v <list>d[0] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[100] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[101] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[102] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[103] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[104] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[105] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[106] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[107] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[108] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[109] d[10] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[110] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[111] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[112] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[113] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[114] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[115] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[116] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[117] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[118] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[119] d[11] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[120] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[121] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[122] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[123] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[124] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[125] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[126] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[127] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[128] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[129] d[12] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[130] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[131] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[132] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[133] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[134] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[135] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[136] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[137] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[138] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[139] d[13] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[140] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[141] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[142] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[143] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[144] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[145] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[146] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[147] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[148] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[149] d[14] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[150] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[151] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[152] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[153] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[154] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[155] d[1560] d[1561] d[1562] d[1563] d[1564] d[1565] d[1566] d[1567] d[1568] d[1569] d[156] d[1570] d[1571] d[1572] d[1573] d[1574] d[1575] d[1576] d[1577] d[1578] d[1579] d[157] d[1580] d[1581] d[1582] d[1583] d[1584] d[1585] d[1586] d[1587] d[1588] d[1589] d[158] d[1590] d[1591] d[1592] d[1593] d[1594] d[1595] d[1596] d[1597] d[1598] d[1599] d[159] d[15] d[1600] d[1601] d[1602] d[1603] d[1604] d[1605] d[1606] d[1607] d[1608] d[1609] d[160] d[1610] d[1611] d[1612] d[1613] d[1614] d[1615] d[1616] d[1617] d[1618] d[1619] d[161] d[1620] d[1621] d[1622] d[1623] d[1624] d[1625] d[1626] d[1627] d[1628] d[1629] d[162] d[1630] d[1631] d[1632] d[1633] d[1634] d[1635] d[1636] d[1637] d[1638] d[1639] d[163] d[1640] d[1641] d[1642] d[1643] d[1644] d[1645] d[1646] d[1647] d[1648] d[1649] d[164] d[1650] d[1651] d[1652] d[1653] d[1654] d[1655] d[1656] d[1657] d[1658] d[1659] d[165] d[1660] d[1661] d[1662] d[1663] d[1664] d[1665] d[1666] d[1667] d[1668] d[1669] d[166] d[1670] d[1671] d[1672] d[1673] d[1674] d[1675] d[1676] d[1677] d[1678] d[1679] d[167] d[1680] d[1681] d[1682] d[1683] d[1684] d[1685] d[1686] d[1687] d[1688] d[1689] d[168] d[1690] d[1691] d[1692] d[1693] d[1694] d[1695] d[1696] d[1697] d[1698] d[1699] d[169] d[16] d[1700] d[1701] d[1702] d[1703] d[1704] d[1705] d[1706] d[1707] d[1708] d[1709] d[170] d[1710] d[1711] d[1712] d[1713] d[1714] d[1715] d[1716] d[1717] d[1718] d[1719] d[171] d[1720] d[1721] d[1722] d[1723] d[1724] d[1725] d[1726] d[1727] d[1728] d[1729] d[172] d[1730] d[1731] d[1732] d[1733] d[1734] d[1735] d[1736] d[1737] d[1738] d[1739] d[173] d[1740] d[1741] d[1742] d[1743] d[1744] d[1745] d[1746] d[1747] d[1748] d[1749] d[174] d[1750] d[1751] d[1752] d[1753] d[1754] d[1755] d[1756] d[1757] d[1758] d[1759] d[175] d[1760] d[1761] d[1762] d[1763] d[1764] d[1765] d[1766] d[1767] d[1768] d[1769] d[176] d[1770] d[1771] d[1772] d[1773] d[1774] d[1775] d[1776] d[1777] d[1778] d[1779] d[177] d[1780] d[1781] d[1782] d[1783] d[1784] d[1785] d[1786] d[1787] d[1788] d[1789] d[178] d[1790] d[1791] d[1792] d[1793] d[1794] d[1795] d[1796] d[1797] d[1798] d[1799] d[179] d[17] d[1800] d[1801] d[1802] d[1803] d[1804] d[1805] d[1806] d[1807] d[1808] d[1809] d[180] d[1810] d[1811] d[1812] d[1813] d[1814] d[1815] d[1816] d[1817] d[1818] d[1819] d[181] d[1820] d[1821] d[1822] d[1823] d[1824] d[1825] d[1826] d[1827] d[1828] d[1829] d[182] d[1830] d[1831] d[1832] d[1833] d[1834] d[1835] d[1836] d[1837] d[1838] d[1839] d[183] d[1840] d[1841] d[1842] d[1843] d[1844] d[1845] d[1846] d[1847] d[1848] d[1849] d[184] d[1850] d[1851] d[1852] d[1853] d[1854] d[1855] d[1856] d[1857] d[1858] d[1859] d[185] d[1860] d[1861] d[1862] d[1863] d[1864] d[1865] d[1866] d[1867] d[1868] d[1869] d[186] d[1870] d[1871] d[1872] d[1873] d[1874] d[1875] d[1876] d[1877] d[1878] d[1879] d[187] d[1880] d[1881] d[1882] d[1883] d[1884] d[1885] d[1886] d[1887] d[1888] d[1889] d[188] d[1890] d[1891] d[1892] d[1893] d[1894] d[1895] d[1896] d[1897] d[1898] d[1899] d[189] d[18] d[1900] d[1901] d[1902] d[1903] d[1904] d[1905] d[1906] d[1907] d[1908] d[1909] d[190] d[1910] d[1911] d[1912] d[1913] d[1914] d[1915] d[1916] d[1917] d[1918] d[1919] d[191] d[1920] d[1921] d[1922] d[1923] d[1924] d[1925] d[1926] d[1927] d[1928] d[1929] d[192] d[1930] d[1931] d[1932] d[1933] d[1934] d[1935] d[1936] d[1937] d[1938] d[1939] d[193] d[1940] d[1941] d[1942] d[1943] d[1944] d[1945] d[1946] d[1947] d[1948] d[1949] d[194] d[1950] d[1951] d[1952] d[1953] d[1954] d[1955] d[1956] d[1957] d[1958] d[1959] d[195] d[1960] d[1961] d[1962] d[1963] d[1964] d[1965] d[1966] d[1967] d[1968] d[1969] d[196] d[1970] d[1971] d[1972] d[1973] d[1974] d[1975] d[1976] d[1977] d[1978] d[1979] d[197] d[1980] d[1981] d[1982] d[1983] d[1984] d[1985] d[1986] d[1987] d[1988] d[1989] d[198] d[1990] d[1991] d[1992] d[1993] d[1994] d[1995] d[1996] d[1997] d[1998] d[1999] d[199] d[19] d[1] d[2000] d[2001] d[2002] d[2003] d[2004] d[2005] d[2006] d[2007] d[2008] d[2009] d[200] d[2010] d[2011] d[2012] d[2013] d[2014] d[2015] d[2016] d[2017] d[2018] d[2019] d[201] d[2020] d[2021] d[2022] d[2023] d[2024] d[2025] d[2026] d[2027] d[2028] d[2029] d[202] d[2030] d[2031] d[2032] d[2033] d[2034] d[2035] d[2036] d[2037] d[2038] d[2039] d[203] d[2040] d[2041] d[2042] d[2043] d[2044] d[2045] d[2046] d[2047] d[2048] d[2049] d[204] d[2050] d[2051] d[2052] d[2053] d[2054] d[2055] d[2056] d[2057] d[2058] d[2059] d[205] d[2060] d[2061] d[2062] d[2063] d[2064] d[2065] d[2066] d[2067] d[2068] d[2069] d[206] d[2070] d[2071] d[2072] d[2073] d[2074] d[2075] d[2076] d[2077] d[2078] d[2079] d[207] d[2080] d[2081] d[2082] d[2083] d[2084] d[2085] d[2086] d[2087] d[2088] d[2089] d[208] d[2090] d[2091] d[2092] d[2093] d[2094] d[2095] d[2096] d[2097] d[2098] d[2099] d[209] d[20] d[2100] d[2101] d[2102] d[2103] d[2104] d[2105] d[2106] d[2107] d[2108] d[2109] d[210] d[2110] d[2111] d[2112] d[2113] d[2114] d[2115] d[2116] d[2117] d[2118] d[2119] d[211] d[2120] d[2121] d[2122] d[2123] d[2124] d[2125] d[2126] d[2127] d[2128] d[2129] d[212] d[2130] d[2131] d[2132] d[2133] d[2134] d[2135] d[2136] d[2137] d[2138] d[2139] d[213] d[2140] d[2141] d[2142] d[2143] d[2144] d[2145] d[2146] d[2147] d[2148] d[2149] d[214] d[2150] d[2151] d[2152] d[2153] d[2154] d[2155] d[2156] d[2157] d[2158] d[2159] d[215] d[2160] d[2161] d[2162] d[2163] d[2164] d[2165] d[2166] d[2167] d[2168] d[2169] d[216] d[2170] d[2171] d[2172] d[2173] d[2174] d[2175] d[2176] d[2177] d[2178] d[2179] d[217] d[2180] d[2181] d[2182] d[2183] d[2184] d[2185] d[2186] d[2187] d[2188] d[2189] d[218] d[2190] d[2191] d[2192] d[2193] d[2194] d[2195] d[2196] d[2197] d[2198] d[2199] d[219] d[21] d[2200] d[2201] d[2202] d[2203] d[2204] d[2205] d[2206] d[2207] d[2208] d[2209] d[220] d[2210] d[2211] d[2212] d[2213] d[2214] d[2215] d[2216] d[2217] d[2218] d[2219] d[221] d[2220] d[2221] d[2222] d[2223] d[2224] d[2225] d[2226] d[2227] d[2228] d[2229] d[222] d[2230] d[2231] d[2232] d[2233] d[2234] d[2235] d[2236] d[2237] d[2238] d[2239] d[223] d[2240] d[2241] d[2242] d[2243] d[2244] d[2245] d[2246] d[2247] d[2248] d[2249] d[224] d[2250] d[2251] d[2252] d[2253] d[2254] d[2255] d[2256] d[2257] d[2258] d[2259] d[225] d[2260] d[2261] d[2262] d[2263] d[2264] d[2265] d[2266] d[2267] d[2268] d[2269] d[226] d[2270] d[2271] d[2272] d[2273] d[2274] d[2275] d[2276] d[2277] d[2278] d[2279] d[227] d[2280] d[2281] d[2282] d[2283] d[2284] d[2285] d[2286] d[2287] d[2288] d[2289] d[228] d[2290] d[2291] d[2292] d[2293] d[2294] d[2295] d[2296] d[2297] d[2298] d[2299] d[229] d[22] d[2300] d[2301] d[2302] d[2303] d[2304] d[2305] d[2306] d[2307] d[2308] d[2309] d[230] d[2310] d[2311] d[2312] d[2313] d[2314] d[2315] d[2316] d[2317] d[2318] d[2319] d[231] d[2320] d[2321] d[2322] d[2323] d[2324] d[2325] d[2326] d[2327] d[2328] d[2329] d[232] d[2330] d[2331] d[2332] d[2333] d[2334] d[2335] d[2336] d[2337] d[2338] d[2339] d[233] d[2340] d[2341] d[2342] d[2343] d[2344] d[2345] d[2346] d[2347] d[2348] d[2349] d[234] d[2350] d[2351] d[2352] d[2353] d[2354] d[2355] d[2356] d[2357] d[2358] d[2359] d[235] d[2360] d[2361] d[2362] d[2363] d[2364] d[2365] d[2366] d[2367] d[2368] d[2369] d[236] d[2370] d[2371] d[2372] d[2373] d[2374] d[2375] d[2376] d[2377] d[2378] d[2379] d[237] d[2380] d[2381] d[2382] d[2383] d[2384] d[2385] d[2386] d[2387] d[2388] d[2389] d[238] d[2390] d[2391] d[2392] d[2393] d[2394] d[2395] d[2396] d[2397] d[2398] d[2399] d[239] d[23] d[2400] d[2401] d[2402] d[2403] d[2404] d[2405] d[2406] d[2407] d[2408] d[2409] d[240] d[2410] d[2411] d[2412] d[2413] d[2414] d[2415] d[2416] d[2417] d[2418] d[2419] d[241] d[2420] d[2421] d[2422] d[2423] d[2424] d[2425] d[2426] d[2427] d[2428] d[2429] d[242] d[2430] d[2431] d[2432] d[2433] d[2434] d[2435] d[2436] d[2437] d[2438] d[2439] d[243] d[2440] d[2441] d[2442] d[2443] d[2444] d[2445] d[2446] d[2447] d[2448] d[2449] d[244] d[2450] d[2451] d[2452] d[2453] d[2454] d[2455] d[2456] d[2457] d[2458] d[2459] d[245] d[2460] d[2461] d[2462] d[2463] d[2464] d[2465] d[2466] d[2467] d[2468] d[2469] d[246] d[2470] d[2471] d[2472] d[2473] d[2474] d[2475] d[2476] d[2477] d[2478] d[2479] d[247] d[2480] d[2481] d[2482] d[2483] d[2484] d[2485] d[2486] d[2487] d[2488] d[2489] d[248] d[2490] d[2491] d[2492] d[2493] d[2494] d[2495] d[2496] d[2497] d[2498] d[2499] d[249] d[24] d[2500] d[2501] d[2502] d[2503] d[2504] d[2505] d[2506] d[2507] d[2508] d[2509] d[250] d[2510] d[2511] d[2512] d[2513] d[2514] d[2515] d[2516] d[2517] d[2518] d[2519] d[251] d[2520] d[2521] d[2522] d[2523] d[2524] d[2525] d[2526] d[2527] d[2528] d[2529] d[252] d[2530] d[2531] d[2532] d[2533] d[2534] d[2535] d[2536] d[2537] d[2538] d[2539] d[253] d[2540] d[2541] d[2542] d[2543] d[2544] d[2545] d[2546] d[2547] d[2548] d[2549] d[254] d[2550] d[2551] d[2552] d[2553] d[2554] d[2555] d[2556] d[2557] d[2558] d[2559] d[255] d[2560] d[2561] d[2562] d[2563] d[2564] d[2565] d[2566] d[2567] d[2568] d[2569] d[256] d[2570] d[2571] d[2572] d[2573] d[2574] d[2575] d[2576] d[2577] d[2578] d[2579] d[257] d[2580] d[2581] d[2582] d[2583] d[2584] d[2585] d[2586] d[2587] d[2588] d[2589] d[258] d[2590] d[2591] d[2592] d[2593] d[2594] d[2595] d[2596] d[2597] d[2598] d[2599] d[259] d[25] d[2600] d[2601] d[2602] d[2603] d[2604] d[2605] d[2606] d[2607] d[2608] d[2609] d[260] d[2610] d[2611] d[2612] d[2613] d[2614] d[2615] d[2616] d[2617] d[2618] d[2619] d[261] d[2620] d[2621] d[2622] d[2623] d[2624] d[2625] d[2626] d[2627] d[2628] d[2629] d[262] d[2630] d[2631] d[2632] d[2633] d[2634] d[2635] d[2636] d[2637] d[2638] d[2639] d[263] d[2640] d[2641] d[2642] d[2643] d[2644] d[2645] d[2646] d[2647] d[2648] d[2649] d[264] d[2650] d[2651] d[2652] d[2653] d[2654] d[2655] d[2656] d[2657] d[2658] d[2659] d[265] d[2660] d[2661] d[2662] d[2663] d[2664] d[2665] d[2666] d[2667] d[2668] d[2669] d[266] d[2670] d[2671] d[2672] d[2673] d[2674] d[2675] d[2676] d[2677] d[2678] d[2679] d[267] d[2680] d[2681] d[2682] d[2683] d[2684] d[2685] d[2686] d[2687] d[2688] d[2689] d[268] d[2690] d[2691] d[2692] d[2693] d[2694] d[2695] d[2696] d[2697] d[2698] d[2699] d[269] d[26] d[2700] d[2701] d[2702] d[2703] d[2704] d[2705] d[2706] d[2707] d[2708] d[2709] d[270] d[2710] d[2711] d[2712] d[2713] d[2714] d[2715] d[2716] d[2717] d[2718] d[2719] d[271] d[2720] d[2721] d[2722] d[2723] d[2724] d[2725] d[2726] d[2727] d[2728] d[2729] d[272] d[2730] d[2731] d[2732] d[2733] d[2734] d[2735] d[2736] d[2737] d[2738] d[2739] d[273] d[2740] d[2741] d[2742] d[2743] d[2744] d[2745] d[2746] d[2747] d[2748] d[2749] d[274] d[2750] d[2751] d[2752] d[2753] d[2754] d[2755] d[2756] d[2757] d[2758] d[2759] d[275] d[2760] d[2761] d[2762] d[2763] d[2764] d[2765] d[2766] d[2767] d[2768] d[2769] d[276] d[2770] d[2771] d[2772] d[2773] d[2774] d[2775] d[2776] d[2777] d[2778] d[2779] d[277] d[2780] d[2781] d[2782] d[2783] d[2784] d[2785] d[2786] d[2787] d[2788] d[2789] d[278] d[2790] d[2791] d[2792] d[2793] d[2794] d[2795] d[2796] d[2797] d[2798] d[2799] d[279] d[27] d[2800] d[2801] d[2802] d[2803] d[2804] d[2805] d[2806] d[2807] d[2808] d[2809] d[280] d[2810] d[2811] d[2812] d[2813] d[2814] d[2815] d[2816] d[2817] d[2818] d[2819] d[281] d[2820] d[2821] d[2822] d[2823] d[2824] d[2825] d[2826] d[2827] d[2828] d[2829] d[282] d[2830] d[2831] d[2832] d[2833] d[2834] d[2835] d[2836] d[2837] d[2838] d[2839] d[283] d[2840] d[2841] d[2842] d[2843] d[2844] d[2845] d[2846] d[2847] d[2848] d[2849] d[284] d[2850] d[2851] d[2852] d[2853] d[2854] d[2855] d[2856] d[2857] d[2858] d[2859] d[285] d[2860] d[2861] d[2862] d[2863] d[2864] d[2865] d[2866] d[2867] d[2868] d[2869] d[286] d[2870] d[2871] d[2872] d[2873] d[2874] d[2875] d[2876] d[2877] d[2878] d[2879] d[287] d[2880] d[2881] d[2882] d[2883] d[2884] d[2885] d[2886] d[2887] d[2888] d[2889] d[288] d[2890] d[2891] d[2892] d[2893] d[2894] d[2895] d[2896] d[2897] d[2898] d[2899] d[289] d[28] d[2900] d[2901] d[2902] d[2903] d[2904] d[2905] d[2906] d[2907] d[2908] d[2909] d[290] d[2910] d[2911] d[2912] d[2913] d[2914] d[2915] d[2916] d[2917] d[2918] d[2919] d[291] d[2920] d[2921] d[2922] d[2923] d[2924] d[2925] d[2926] d[2927] d[2928] d[2929] d[292] d[2930] d[2931] d[2932] d[2933] d[2934] d[2935] d[2936] d[2937] d[2938] d[2939] d[293] d[2940] d[2941] d[2942] d[2943] d[2944] d[2945] d[2946] d[2947] d[2948] d[2949] d[294] d[2950] d[2951] d[2952] d[2953] d[2954] d[2955] d[2956] d[2957] d[2958] d[2959] d[295] d[2960] d[2961] d[2962] d[2963] d[2964] d[2965] d[2966] d[2967] d[2968] d[2969] d[296] d[2970] d[2971] d[2972] d[2973] d[2974] d[2975] d[2976] d[2977] d[2978] d[2979] d[297] d[2980] d[2981] d[2982] d[2983] d[2984] d[2985] d[2986] d[2987] d[2988] d[2989] d[298] d[2990] d[2991] d[2992] d[2993] d[2994] d[2995] d[2996] d[2997] d[2998] d[2999] d[299] d[29] d[2] d[3000] d[3001] d[3002] d[3003] d[3004] d[3005] d[3006] d[3007] d[3008] d[3009] d[300] d[3010] d[3011] d[3012] d[3013] d[3014] d[3015] d[3016] d[3017] d[3018] d[3019] d[301] d[3020] d[3021] d[3022] d[3023] d[3024] d[3025] d[3026] d[3027] d[3028] d[3029] d[302] d[3030] d[3031] d[3032] d[3033] d[3034] d[3035] d[3036] d[3037] d[3038] d[3039] d[303] d[3040] d[3041] d[3042] d[3043] d[3044] d[3045] d[3046] d[3047] d[3048] d[3049] d[304] d[3050] d[3051] d[3052] d[305] d[306] d[307] d[308] d[309] d[30] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[31] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[32] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[33] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[34] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[35] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[36] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[37] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[38] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[39] d[3] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[40] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[41] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[42] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[43] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[44] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[45] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[46] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[47] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[48] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[49] d[4] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[50] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[51] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[52] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[53] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[54] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[55] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[56] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[57] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[58] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[59] d[5] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[60] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[61] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[62] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[63] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[64] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[65] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[66] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[67] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[68] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[69] d[6] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[70] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[71] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[72] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[73] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[74] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[75] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[76] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[77] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[78] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[79] d[7] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[80] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[81] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[82] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[83] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[84] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[85] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[86] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[87] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[88] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[89] d[8] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[90] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[91] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[92] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[93] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[94] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[95] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[96] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[97] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[98] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[99] d[9] f[0] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[10] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[11] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[12] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[13] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[14] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[15] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[16] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[17] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[18] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[19] f[1] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[20] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[21] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[22] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[23] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[24] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[25] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[26] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[27] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[28] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[29] f[2] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[30] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[31] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[32] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[33] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] f[34] f[350] f[351] f[352] f[353] f[354] f[355] f[356] f[357] f[358] f[359] f[35] f[360] f[361] f[362] f[363] f[364] f[365] f[366] f[367] f[368] f[369] f[36] f[370] f[371] f[372] f[373] f[374] f[375] f[376] f[377] f[378] f[379] f[37] f[380] f[381] f[382] f[383] f[384] f[385] f[386] f[387] f[388] f[389] f[38] f[390] f[391] f[392] f[393] f[394] f[395] f[396] f[397] f[398] f[399] f[39] f[3] f[400] f[401] f[402] f[403] f[404] f[405] f[406] f[407] f[408] f[409] f[40] f[410] f[411] f[412] f[413] f[414] f[415] f[416] f[417] f[418] f[419] f[41] f[420] f[421] f[422] f[423] f[424] f[425] f[426] f[427] f[428] f[429] f[42] f[430] f[431] f[432] f[433] f[434] f[435] f[436] f[437] f[438] f[439] f[43] f[440] f[441] f[442] f[443] f[444] f[445] f[446] f[447] f[448] f[449] f[44] f[450] f[451] f[452] f[453] f[454] f[455] f[456] f[457] f[458] f[459] f[45] f[460] f[461] f[462] f[463] f[464] f[465] f[466] f[467] f[468] f[469] f[46] f[470] f[471] f[472] f[473] f[474] f[475] f[476] f[477] f[478] f[479] f[47] f[480] f[481] f[482] f[483] f[484] f[485] f[486] f[487] f[488] f[489] f[48] f[490] f[491] f[492] f[493] f[494] f[495] f[496] f[497] f[498] f[499] f[49] f[4] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[5] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[6] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[7] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[8] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[9] k p[0] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[10] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[11] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[12] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[13] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[14] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[15] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[16] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[17] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[18] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[19] p[1] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[20] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[21] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[22] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[23] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[24] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[25] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[26] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[27] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[28] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[29] p[2] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[30] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[31] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[32] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[33] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] p[34] p[350] p[351] p[352] p[353] p[354] p[355] p[356] p[357] p[358] p[359] p[35] p[360] p[361] p[362] p[363] p[364] p[365] p[366] p[367] p[368] p[369] p[36] p[370] p[371] p[372] p[373] p[374] p[375] p[376] p[377] p[378] p[379] p[37] p[380] p[381] p[382] p[383] p[384] p[385] p[386] p[387] p[388] p[389] p[38] p[390] p[391] p[392] p[393] p[394] p[395] p[396] p[397] p[398] p[399] p[39] p[3] p[400] p[401] p[402] p[403] p[404] p[405] p[406] p[407] p[408] p[409] p[40] p[410] p[411] p[412] p[413] p[414] p[415] p[416] p[417] p[418] p[419] p[41] p[420] p[421] p[422] p[423] p[424] p[425] p[426] p[427] p[428] p[429] p[42] p[430] p[431] p[432] p[433] p[434] p[435] p[436] p[437] p[438] p[439] p[43] p[440] p[441] p[442] p[443] p[444] p[445] p[446] p[447] p[448] p[449] p[44] p[450] p[451] p[452] p[453] p[454] p[455] p[456] p[457] p[458] p[459] p[45] p[460] p[461] p[462] p[463] p[464] p[465] p[466] p[467] p[468] p[469] p[46] p[470] p[471] p[472] p[473] p[474] p[475] p[476] p[477] p[478] p[479] p[47] p[480] p[481] p[482] p[483] p[484] p[485] p[486] p[487] p[488] p[489] p[48] p[490] p[491] p[492] p[493] p[494] p[495] p[496] p[497] p[498] p[499] p[49] p[4] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[5] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[6] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[7] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[8] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[9] v1[0] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[100] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[101] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[102] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[103] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[104] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[105] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[106] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[107] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[108] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[109] v1[10] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[110] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[111] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[112] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[113] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[114] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[115] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[116] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[117] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[118] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[119] v1[11] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[120] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[121] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[122] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[123] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[124] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[125] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[126] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[127] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[128] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[129] v1[12] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[130] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[131] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[132] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[133] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[134] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[135] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[136] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[137] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[138] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[139] v1[13] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[140] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[141] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[142] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[143] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[144] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[145] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[146] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[147] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[148] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[149] v1[14] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[150] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[151] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[152] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[153] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[154] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[155] v1[1560] v1[1561] v1[1562] v1[1563] v1[1564] v1[1565] v1[1566] v1[1567] v1[1568] v1[1569] v1[156] v1[1570] v1[1571] v1[1572] v1[1573] v1[1574] v1[1575] v1[1576] v1[1577] v1[1578] v1[1579] v1[157] v1[1580] v1[1581] v1[1582] v1[1583] v1[1584] v1[1585] v1[1586] v1[1587] v1[1588] v1[1589] v1[158] v1[1590] v1[1591] v1[1592] v1[1593] v1[1594] v1[1595] v1[1596] v1[1597] v1[1598] v1[1599] v1[159] v1[15] v1[1600] v1[1601] v1[1602] v1[1603] v1[1604] v1[1605] v1[1606] v1[1607] v1[1608] v1[1609] v1[160] v1[1610] v1[1611] v1[1612] v1[1613] v1[1614] v1[1615] v1[1616] v1[1617] v1[1618] v1[1619] v1[161] v1[1620] v1[1621] v1[1622] v1[1623] v1[1624] v1[1625] v1[1626] v1[1627] v1[1628] v1[1629] v1[162] v1[1630] v1[1631] v1[1632] v1[1633] v1[1634] v1[1635] v1[1636] v1[1637] v1[1638] v1[1639] v1[163] v1[1640] v1[1641] v1[1642] v1[1643] v1[1644] v1[1645] v1[1646] v1[1647] v1[1648] v1[1649] v1[164] v1[1650] v1[1651] v1[1652] v1[1653] v1[1654] v1[1655] v1[1656] v1[1657] v1[1658] v1[1659] v1[165] v1[1660] v1[1661] v1[1662] v1[1663] v1[1664] v1[1665] v1[1666] v1[1667] v1[1668] v1[1669] v1[166] v1[1670] v1[1671] v1[1672] v1[1673] v1[1674] v1[1675] v1[1676] v1[1677] v1[1678] v1[1679] v1[167] v1[1680] v1[1681] v1[1682] v1[1683] v1[1684] v1[1685] v1[1686] v1[1687] v1[1688] v1[1689] v1[168] v1[1690] v1[1691] v1[1692] v1[1693] v1[1694] v1[1695] v1[1696] v1[1697] v1[1698] v1[1699] v1[169] v1[16] v1[1700] v1[1701] v1[1702] v1[1703] v1[1704] v1[1705] v1[1706] v1[1707] v1[1708] v1[1709] v1[170] v1[1710] v1[1711] v1[1712] v1[1713] v1[1714] v1[1715] v1[1716] v1[1717] v1[1718] v1[1719] v1[171] v1[1720] v1[1721] v1[1722] v1[1723] v1[1724] v1[1725] v1[1726] v1[1727] v1[1728] v1[1729] v1[172] v1[1730] v1[1731] v1[1732] v1[1733] v1[1734] v1[1735] v1[1736] v1[1737] v1[1738] v1[1739] v1[173] v1[1740] v1[1741] v1[1742] v1[1743] v1[1744] v1[1745] v1[1746] v1[1747] v1[1748] v1[1749] v1[174] v1[1750] v1[1751] v1[1752] v1[1753] v1[1754] v1[1755] v1[1756] v1[1757] v1[1758] v1[1759] v1[175] v1[1760] v1[1761] v1[1762] v1[1763] v1[1764] v1[1765] v1[1766] v1[1767] v1[1768] v1[1769] v1[176] v1[1770] v1[1771] v1[1772] v1[1773] v1[1774] v1[1775] v1[1776] v1[1777] v1[1778] v1[1779] v1[177] v1[1780] v1[1781] v1[1782] v1[1783] v1[1784] v1[1785] v1[1786] v1[1787] v1[1788] v1[1789] v1[178] v1[1790] v1[1791] v1[1792] v1[1793] v1[1794] v1[1795] v1[1796] v1[1797] v1[1798] v1[1799] v1[179] v1[17] v1[1800] v1[1801] v1[1802] v1[1803] v1[1804] v1[1805] v1[1806] v1[1807] v1[1808] v1[1809] v1[180] v1[1810] v1[1811] v1[1812] v1[1813] v1[1814] v1[1815] v1[1816] v1[1817] v1[1818] v1[1819] v1[181] v1[1820] v1[1821] v1[1822] v1[1823] v1[1824] v1[1825] v1[1826] v1[1827] v1[1828] v1[1829] v1[182] v1[1830] v1[1831] v1[1832] v1[1833] v1[1834] v1[1835] v1[1836] v1[1837] v1[1838] v1[1839] v1[183] v1[1840] v1[1841] v1[1842] v1[1843] v1[1844] v1[1845] v1[1846] v1[1847] v1[1848] v1[1849] v1[184] v1[1850] v1[1851] v1[1852] v1[1853] v1[1854] v1[1855] v1[1856] v1[1857] v1[1858] v1[1859] v1[185] v1[1860] v1[1861] v1[1862] v1[1863] v1[1864] v1[1865] v1[1866] v1[1867] v1[1868] v1[1869] v1[186] v1[1870] v1[1871] v1[1872] v1[1873] v1[1874] v1[1875] v1[1876] v1[1877] v1[1878] v1[1879] v1[187] v1[1880] v1[1881] v1[1882] v1[1883] v1[1884] v1[1885] v1[1886] v1[1887] v1[1888] v1[1889] v1[188] v1[1890] v1[1891] v1[1892] v1[1893] v1[1894] v1[1895] v1[1896] v1[1897] v1[1898] v1[1899] v1[189] v1[18] v1[1900] v1[1901] v1[1902] v1[1903] v1[1904] v1[1905] v1[1906] v1[1907] v1[1908] v1[1909] v1[190] v1[1910] v1[1911] v1[1912] v1[1913] v1[1914] v1[1915] v1[1916] v1[1917] v1[1918] v1[1919] v1[191] v1[1920] v1[1921] v1[1922] v1[1923] v1[1924] v1[1925] v1[1926] v1[1927] v1[1928] v1[1929] v1[192] v1[1930] v1[1931] v1[1932] v1[1933] v1[1934] v1[1935] v1[1936] v1[1937] v1[1938] v1[1939] v1[193] v1[1940] v1[1941] v1[1942] v1[1943] v1[1944] v1[1945] v1[1946] v1[1947] v1[1948] v1[1949] v1[194] v1[1950] v1[1951] v1[1952] v1[1953] v1[1954] v1[1955] v1[1956] v1[1957] v1[1958] v1[1959] v1[195] v1[1960] v1[1961] v1[1962] v1[1963] v1[1964] v1[1965] v1[1966] v1[1967] v1[1968] v1[1969] v1[196] v1[1970] v1[1971] v1[1972] v1[1973] v1[1974] v1[1975] v1[1976] v1[1977] v1[1978] v1[1979] v1[197] v1[1980] v1[1981] v1[1982] v1[1983] v1[1984] v1[1985] v1[1986] v1[1987] v1[1988] v1[1989] v1[198] v1[1990] v1[1991] v1[1992] v1[1993] v1[1994] v1[1995] v1[1996] v1[1997] v1[1998] v1[1999] v1[199] v1[19] v1[1] v1[2000] v1[2001] v1[2002] v1[2003] v1[2004] v1[2005] v1[2006] v1[2007] v1[2008] v1[2009] v1[200] v1[2010] v1[2011] v1[2012] v1[2013] v1[2014] v1[2015] v1[2016] v1[2017] v1[2018] v1[2019] v1[201] v1[2020] v1[2021] v1[2022] v1[2023] v1[2024] v1[2025] v1[2026] v1[2027] v1[2028] v1[2029] v1[202] v1[2030] v1[2031] v1[2032] v1[2033] v1[2034] v1[2035] v1[2036] v1[2037] v1[2038] v1[2039] v1[203] v1[2040] v1[2041] v1[2042] v1[2043] v1[2044] v1[2045] v1[2046] v1[2047] v1[2048] v1[2049] v1[204] v1[2050] v1[2051] v1[2052] v1[2053] v1[2054] v1[2055] v1[2056] v1[2057] v1[2058] v1[2059] v1[205] v1[2060] v1[2061] v1[2062] v1[2063] v1[2064] v1[2065] v1[2066] v1[2067] v1[2068] v1[2069] v1[206] v1[2070] v1[2071] v1[2072] v1[2073] v1[2074] v1[2075] v1[2076] v1[2077] v1[2078] v1[2079] v1[207] v1[2080] v1[2081] v1[2082] v1[2083] v1[2084] v1[2085] v1[2086] v1[2087] v1[2088] v1[2089] v1[208] v1[2090] v1[2091] v1[2092] v1[2093] v1[2094] v1[2095] v1[2096] v1[2097] v1[2098] v1[2099] v1[209] v1[20] v1[2100] v1[2101] v1[2102] v1[2103] v1[2104] v1[2105] v1[2106] v1[2107] v1[2108] v1[2109] v1[210] v1[2110] v1[2111] v1[2112] v1[2113] v1[2114] v1[2115] v1[2116] v1[2117] v1[2118] v1[2119] v1[211] v1[2120] v1[2121] v1[2122] v1[2123] v1[2124] v1[2125] v1[2126] v1[2127] v1[2128] v1[2129] v1[212] v1[2130] v1[2131] v1[2132] v1[2133] v1[2134] v1[2135] v1[2136] v1[2137] v1[2138] v1[2139] v1[213] v1[2140] v1[2141] v1[2142] v1[2143] v1[2144] v1[2145] v1[2146] v1[2147] v1[2148] v1[2149] v1[214] v1[2150] v1[2151] v1[2152] v1[2153] v1[2154] v1[2155] v1[2156] v1[2157] v1[2158] v1[2159] v1[215] v1[2160] v1[2161] v1[2162] v1[2163] v1[2164] v1[2165] v1[2166] v1[2167] v1[2168] v1[2169] v1[216] v1[2170] v1[2171] v1[2172] v1[2173] v1[2174] v1[2175] v1[2176] v1[2177] v1[2178] v1[2179] v1[217] v1[2180] v1[2181] v1[2182] v1[2183] v1[2184] v1[2185] v1[2186] v1[2187] v1[2188] v1[2189] v1[218] v1[2190] v1[2191] v1[2192] v1[2193] v1[2194] v1[2195] v1[2196] v1[2197] v1[2198] v1[2199] v1[219] v1[21] v1[2200] v1[2201] v1[2202] v1[2203] v1[2204] v1[2205] v1[2206] v1[2207] v1[2208] v1[2209] v1[220] v1[2210] v1[2211] v1[2212] v1[2213] v1[2214] v1[2215] v1[2216] v1[2217] v1[2218] v1[2219] v1[221] v1[2220] v1[2221] v1[2222] v1[2223] v1[2224] v1[2225] v1[2226] v1[2227] v1[2228] v1[2229] v1[222] v1[2230] v1[2231] v1[2232] v1[2233] v1[2234] v1[2235] v1[2236] v1[2237] v1[2238] v1[2239] v1[223] v1[2240] v1[2241] v1[2242] v1[2243] v1[2244] v1[2245] v1[2246] v1[2247] v1[2248] v1[2249] v1[224] v1[2250] v1[2251] v1[2252] v1[2253] v1[2254] v1[2255] v1[2256] v1[2257] v1[2258] v1[2259] v1[225] v1[2260] v1[2261] v1[2262] v1[2263] v1[2264] v1[2265] v1[2266] v1[2267] v1[2268] v1[2269] v1[226] v1[2270] v1[2271] v1[2272] v1[2273] v1[2274] v1[2275] v1[2276] v1[2277] v1[2278] v1[2279] v1[227] v1[2280] v1[2281] v1[2282] v1[2283] v1[2284] v1[2285] v1[2286] v1[2287] v1[2288] v1[2289] v1[228] v1[2290] v1[2291] v1[2292] v1[2293] v1[2294] v1[2295] v1[2296] v1[2297] v1[2298] v1[2299] v1[229] v1[22] v1[2300] v1[2301] v1[2302] v1[2303] v1[2304] v1[2305] v1[2306] v1[2307] v1[2308] v1[2309] v1[230] v1[2310] v1[2311] v1[2312] v1[2313] v1[2314] v1[2315] v1[2316] v1[2317] v1[2318] v1[2319] v1[231] v1[2320] v1[2321] v1[2322] v1[2323] v1[2324] v1[2325] v1[2326] v1[2327] v1[2328] v1[2329] v1[232] v1[2330] v1[2331] v1[2332] v1[2333] v1[2334] v1[2335] v1[2336] v1[2337] v1[2338] v1[2339] v1[233] v1[2340] v1[2341] v1[2342] v1[2343] v1[2344] v1[2345] v1[2346] v1[2347] v1[2348] v1[2349] v1[234] v1[2350] v1[2351] v1[2352] v1[2353] v1[2354] v1[2355] v1[2356] v1[2357] v1[2358] v1[2359] v1[235] v1[2360] v1[2361] v1[2362] v1[2363] v1[2364] v1[2365] v1[2366] v1[2367] v1[2368] v1[2369] v1[236] v1[2370] v1[2371] v1[2372] v1[2373] v1[2374] v1[2375] v1[2376] v1[2377] v1[2378] v1[2379] v1[237] v1[2380] v1[2381] v1[2382] v1[2383] v1[2384] v1[2385] v1[2386] v1[2387] v1[2388] v1[2389] v1[238] v1[2390] v1[2391] v1[2392] v1[2393] v1[2394] v1[2395] v1[2396] v1[2397] v1[2398] v1[2399] v1[239] v1[23] v1[2400] v1[2401] v1[2402] v1[2403] v1[2404] v1[2405] v1[2406] v1[2407] v1[2408] v1[2409] v1[240] v1[2410] v1[2411] v1[2412] v1[2413] v1[2414] v1[2415] v1[2416] v1[2417] v1[2418] v1[2419] v1[241] v1[2420] v1[2421] v1[2422] v1[2423] v1[2424] v1[2425] v1[2426] v1[2427] v1[2428] v1[2429] v1[242] v1[2430] v1[2431] v1[2432] v1[2433] v1[2434] v1[2435] v1[2436] v1[2437] v1[2438] v1[2439] v1[243] v1[2440] v1[2441] v1[2442] v1[2443] v1[2444] v1[2445] v1[2446] v1[2447] v1[2448] v1[2449] v1[244] v1[2450] v1[2451] v1[2452] v1[2453] v1[2454] v1[2455] v1[2456] v1[2457] v1[2458] v1[2459] v1[245] v1[2460] v1[2461] v1[2462] v1[2463] v1[2464] v1[2465] v1[2466] v1[2467] v1[2468] v1[2469] v1[246] v1[2470] v1[2471] v1[2472] v1[2473] v1[2474] v1[2475] v1[2476] v1[2477] v1[2478] v1[2479] v1[247] v1[2480] v1[2481] v1[2482] v1[2483] v1[2484] v1[2485] v1[2486] v1[2487] v1[2488] v1[2489] v1[248] v1[2490] v1[2491] v1[2492] v1[2493] v1[2494] v1[2495] v1[2496] v1[2497] v1[2498] v1[2499] v1[249] v1[24] v1[2500] v1[2501] v1[2502] v1[2503] v1[2504] v1[2505] v1[2506] v1[2507] v1[2508] v1[2509] v1[250] v1[2510] v1[2511] v1[2512] v1[2513] v1[2514] v1[2515] v1[2516] v1[2517] v1[2518] v1[2519] v1[251] v1[2520] v1[2521] v1[2522] v1[2523] v1[2524] v1[2525] v1[2526] v1[2527] v1[2528] v1[2529] v1[252] v1[2530] v1[2531] v1[2532] v1[2533] v1[2534] v1[2535] v1[2536] v1[2537] v1[2538] v1[2539] v1[253] v1[2540] v1[2541] v1[2542] v1[2543] v1[2544] v1[2545] v1[2546] v1[2547] v1[2548] v1[2549] v1[254] v1[2550] v1[2551] v1[2552] v1[2553] v1[2554] v1[2555] v1[2556] v1[2557] v1[2558] v1[2559] v1[255] v1[2560] v1[2561] v1[2562] v1[2563] v1[2564] v1[2565] v1[2566] v1[2567] v1[2568] v1[2569] v1[256] v1[2570] v1[2571] v1[2572] v1[2573] v1[2574] v1[2575] v1[2576] v1[2577] v1[2578] v1[2579] v1[257] v1[2580] v1[2581] v1[2582] v1[2583] v1[2584] v1[2585] v1[2586] v1[2587] v1[2588] v1[2589] v1[258] v1[2590] v1[2591] v1[2592] v1[2593] v1[2594] v1[2595] v1[2596] v1[2597] v1[2598] v1[2599] v1[259] v1[25] v1[2600] v1[2601] v1[2602] v1[2603] v1[2604] v1[2605] v1[2606] v1[2607] v1[2608] v1[2609] v1[260] v1[2610] v1[2611] v1[2612] v1[2613] v1[2614] v1[2615] v1[2616] v1[2617] v1[2618] v1[2619] v1[261] v1[2620] v1[2621] v1[2622] v1[2623] v1[2624] v1[2625] v1[2626] v1[2627] v1[2628] v1[2629] v1[262] v1[2630] v1[2631] v1[2632] v1[2633] v1[2634] v1[2635] v1[2636] v1[2637] v1[2638] v1[2639] v1[263] v1[2640] v1[2641] v1[2642] v1[2643] v1[2644] v1[2645] v1[2646] v1[2647] v1[2648] v1[2649] v1[264] v1[2650] v1[2651] v1[2652] v1[2653] v1[2654] v1[2655] v1[2656] v1[2657] v1[2658] v1[2659] v1[265] v1[2660] v1[2661] v1[2662] v1[2663] v1[2664] v1[2665] v1[2666] v1[2667] v1[2668] v1[2669] v1[266] v1[2670] v1[2671] v1[2672] v1[2673] v1[2674] v1[2675] v1[2676] v1[2677] v1[2678] v1[2679] v1[267] v1[2680] v1[2681] v1[2682] v1[2683] v1[2684] v1[2685] v1[2686] v1[2687] v1[2688] v1[2689] v1[268] v1[2690] v1[2691] v1[2692] v1[2693] v1[2694] v1[2695] v1[2696] v1[2697] v1[2698] v1[2699] v1[269] v1[26] v1[2700] v1[2701] v1[2702] v1[2703] v1[2704] v1[2705] v1[2706] v1[2707] v1[2708] v1[2709] v1[270] v1[2710] v1[2711] v1[2712] v1[2713] v1[2714] v1[2715] v1[2716] v1[2717] v1[2718] v1[2719] v1[271] v1[2720] v1[2721] v1[2722] v1[2723] v1[2724] v1[2725] v1[2726] v1[2727] v1[2728] v1[2729] v1[272] v1[2730] v1[2731] v1[2732] v1[2733] v1[2734] v1[2735] v1[2736] v1[2737] v1[2738] v1[2739] v1[273] v1[2740] v1[2741] v1[2742] v1[2743] v1[2744] v1[2745] v1[2746] v1[2747] v1[2748] v1[2749] v1[274] v1[2750] v1[2751] v1[2752] v1[2753] v1[2754] v1[2755] v1[2756] v1[2757] v1[2758] v1[2759] v1[275] v1[2760] v1[2761] v1[2762] v1[2763] v1[2764] v1[2765] v1[2766] v1[2767] v1[2768] v1[2769] v1[276] v1[2770] v1[2771] v1[2772] v1[2773] v1[2774] v1[2775] v1[2776] v1[2777] v1[2778] v1[2779] v1[277] v1[2780] v1[2781] v1[2782] v1[2783] v1[2784] v1[2785] v1[2786] v1[2787] v1[2788] v1[2789] v1[278] v1[2790] v1[2791] v1[2792] v1[2793] v1[2794] v1[2795] v1[2796] v1[2797] v1[2798] v1[2799] v1[279] v1[27] v1[2800] v1[2801] v1[2802] v1[2803] v1[2804] v1[2805] v1[2806] v1[2807] v1[2808] v1[2809] v1[280] v1[2810] v1[2811] v1[2812] v1[2813] v1[2814] v1[2815] v1[2816] v1[2817] v1[2818] v1[2819] v1[281] v1[2820] v1[2821] v1[2822] v1[2823] v1[2824] v1[2825] v1[2826] v1[2827] v1[2828] v1[2829] v1[282] v1[2830] v1[2831] v1[2832] v1[2833] v1[2834] v1[2835] v1[2836] v1[2837] v1[2838] v1[2839] v1[283] v1[2840] v1[2841] v1[2842] v1[2843] v1[2844] v1[2845] v1[2846] v1[2847] v1[2848] v1[2849] v1[284] v1[2850] v1[2851] v1[2852] v1[2853] v1[2854] v1[2855] v1[2856] v1[2857] v1[2858] v1[2859] v1[285] v1[2860] v1[2861] v1[2862] v1[2863] v1[2864] v1[2865] v1[2866] v1[2867] v1[2868] v1[2869] v1[286] v1[2870] v1[2871] v1[2872] v1[2873] v1[2874] v1[2875] v1[2876] v1[2877] v1[2878] v1[2879] v1[287] v1[2880] v1[2881] v1[2882] v1[2883] v1[2884] v1[2885] v1[2886] v1[2887] v1[2888] v1[2889] v1[288] v1[2890] v1[2891] v1[2892] v1[2893] v1[2894] v1[2895] v1[2896] v1[2897] v1[2898] v1[2899] v1[289] v1[28] v1[2900] v1[2901] v1[2902] v1[2903] v1[2904] v1[2905] v1[2906] v1[2907] v1[2908] v1[2909] v1[290] v1[2910] v1[2911] v1[2912] v1[2913] v1[2914] v1[2915] v1[2916] v1[2917] v1[2918] v1[2919] v1[291] v1[2920] v1[2921] v1[2922] v1[2923] v1[2924] v1[2925] v1[2926] v1[2927] v1[2928] v1[2929] v1[292] v1[2930] v1[2931] v1[2932] v1[2933] v1[2934] v1[2935] v1[2936] v1[2937] v1[2938] v1[2939] v1[293] v1[2940] v1[2941] v1[2942] v1[2943] v1[2944] v1[2945] v1[2946] v1[2947] v1[2948] v1[2949] v1[294] v1[2950] v1[2951] v1[2952] v1[2953] v1[2954] v1[2955] v1[2956] v1[2957] v1[2958] v1[2959] v1[295] v1[2960] v1[2961] v1[2962] v1[2963] v1[2964] v1[2965] v1[2966] v1[2967] v1[2968] v1[2969] v1[296] v1[2970] v1[2971] v1[2972] v1[2973] v1[2974] v1[2975] v1[2976] v1[2977] v1[2978] v1[2979] v1[297] v1[2980] v1[2981] v1[2982] v1[2983] v1[2984] v1[2985] v1[2986] v1[2987] v1[2988] v1[2989] v1[298] v1[2990] v1[2991] v1[2992] v1[2993] v1[2994] v1[2995] v1[2996] v1[2997] v1[2998] v1[2999] v1[299] v1[29] v1[2] v1[3000] v1[3001] v1[3002] v1[3003] v1[3004] v1[3005] v1[3006] v1[3007] v1[3008] v1[3009] v1[300] v1[3010] v1[3011] v1[3012] v1[3013] v1[3014] v1[3015] v1[3016] v1[3017] v1[3018] v1[3019] v1[301] v1[3020] v1[3021] v1[3022] v1[3023] v1[3024] v1[3025] v1[3026] v1[3027] v1[3028] v1[3029] v1[302] v1[3030] v1[3031] v1[3032] v1[3033] v1[3034] v1[3035] v1[3036] v1[3037] v1[3038] v1[3039] v1[303] v1[3040] v1[3041] v1[3042] v1[3043] v1[3044] v1[3045] v1[3046] v1[3047] v1[3048] v1[3049] v1[304] v1[3050] v1[3051] v1[3052] v1[305] v1[306] v1[307] v1[308] v1[309] v1[30] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[31] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[32] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[33] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[34] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[35] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[36] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[37] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[38] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[39] v1[3] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[40] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[41] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[42] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[43] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[44] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[45] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[46] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[47] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[48] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[49] v1[4] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[50] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[51] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[52] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[53] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[54] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[55] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[56] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[57] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[58] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[59] v1[5] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[60] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[61] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[62] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[63] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[64] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[65] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[66] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[67] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[68] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[69] v1[6] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[70] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[71] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[72] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[73] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[74] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[75] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[76] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[77] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[78] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[79] v1[7] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[80] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[81] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[82] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[83] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[84] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[85] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[86] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[87] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[88] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[89] v1[8] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[90] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[91] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[92] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[93] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[94] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[95] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[96] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[97] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[98] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[99] v1[9] v2[0] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[100] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[101] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[102] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[103] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[104] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[105] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[106] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[107] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[108] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[109] v2[10] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[110] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[111] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[112] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[113] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[114] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[115] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[116] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[117] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[118] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[119] v2[11] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[120] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[121] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[122] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[123] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[124] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[125] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[126] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[127] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[128] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[129] v2[12] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[130] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[131] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[132] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[133] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[134] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[135] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[136] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[137] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[138] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[139] v2[13] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[140] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[141] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[142] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[143] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[144] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[145] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[146] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[147] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[148] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[149] v2[14] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[150] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[151] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[152] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[153] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[154] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[155] v2[1560] v2[1561] v2[1562] v2[1563] v2[1564] v2[1565] v2[1566] v2[1567] v2[1568] v2[1569] v2[156] v2[1570] v2[1571] v2[1572] v2[1573] v2[1574] v2[1575] v2[1576] v2[1577] v2[1578] v2[1579] v2[157] v2[1580] v2[1581] v2[1582] v2[1583] v2[1584] v2[1585] v2[1586] v2[1587] v2[1588] v2[1589] v2[158] v2[1590] v2[1591] v2[1592] v2[1593] v2[1594] v2[1595] v2[1596] v2[1597] v2[1598] v2[1599] v2[159] v2[15] v2[1600] v2[1601] v2[1602] v2[1603] v2[1604] v2[1605] v2[1606] v2[1607] v2[1608] v2[1609] v2[160] v2[1610] v2[1611] v2[1612] v2[1613] v2[1614] v2[1615] v2[1616] v2[1617] v2[1618] v2[1619] v2[161] v2[1620] v2[1621] v2[1622] v2[1623] v2[1624] v2[1625] v2[1626] v2[1627] v2[1628] v2[1629] v2[162] v2[1630] v2[1631] v2[1632] v2[1633] v2[1634] v2[1635] v2[1636] v2[1637] v2[1638] v2[1639] v2[163] v2[1640] v2[1641] v2[1642] v2[1643] v2[1644] v2[1645] v2[1646] v2[1647] v2[1648] v2[1649] v2[164] v2[1650] v2[1651] v2[1652] v2[1653] v2[1654] v2[1655] v2[1656] v2[1657] v2[1658] v2[1659] v2[165] v2[1660] v2[1661] v2[1662] v2[1663] v2[1664] v2[1665] v2[1666] v2[1667] v2[1668] v2[1669] v2[166] v2[1670] v2[1671] v2[1672] v2[1673] v2[1674] v2[1675] v2[1676] v2[1677] v2[1678] v2[1679] v2[167] v2[1680] v2[1681] v2[1682] v2[1683] v2[1684] v2[1685] v2[1686] v2[1687] v2[1688] v2[1689] v2[168] v2[1690] v2[1691] v2[1692] v2[1693] v2[1694] v2[1695] v2[1696] v2[1697] v2[1698] v2[1699] v2[169] v2[16] v2[1700] v2[1701] v2[1702] v2[1703] v2[1704] v2[1705] v2[1706] v2[1707] v2[1708] v2[1709] v2[170] v2[1710] v2[1711] v2[1712] v2[1713] v2[1714] v2[1715] v2[1716] v2[1717] v2[1718] v2[1719] v2[171] v2[1720] v2[1721] v2[1722] v2[1723] v2[1724] v2[1725] v2[1726] v2[1727] v2[1728] v2[1729] v2[172] v2[1730] v2[1731] v2[1732] v2[1733] v2[1734] v2[1735] v2[1736] v2[1737] v2[1738] v2[1739] v2[173] v2[1740] v2[1741] v2[1742] v2[1743] v2[1744] v2[1745] v2[1746] v2[1747] v2[1748] v2[1749] v2[174] v2[1750] v2[1751] v2[1752] v2[1753] v2[1754] v2[1755] v2[1756] v2[1757] v2[1758] v2[1759] v2[175] v2[1760] v2[1761] v2[1762] v2[1763] v2[1764] v2[1765] v2[1766] v2[1767] v2[1768] v2[1769] v2[176] v2[1770] v2[1771] v2[1772] v2[1773] v2[1774] v2[1775] v2[1776] v2[1777] v2[1778] v2[1779] v2[177] v2[1780] v2[1781] v2[1782] v2[1783] v2[1784] v2[1785] v2[1786] v2[1787] v2[1788] v2[1789] v2[178] v2[1790] v2[1791] v2[1792] v2[1793] v2[1794] v2[1795] v2[1796] v2[1797] v2[1798] v2[1799] v2[179] v2[17] v2[1800] v2[1801] v2[1802] v2[1803] v2[1804] v2[1805] v2[1806] v2[1807] v2[1808] v2[1809] v2[180] v2[1810] v2[1811] v2[1812] v2[1813] v2[1814] v2[1815] v2[1816] v2[1817] v2[1818] v2[1819] v2[181] v2[1820] v2[1821] v2[1822] v2[1823] v2[1824] v2[1825] v2[1826] v2[1827] v2[1828] v2[1829] v2[182] v2[1830] v2[1831] v2[1832] v2[1833] v2[1834] v2[1835] v2[1836] v2[1837] v2[1838] v2[1839] v2[183] v2[1840] v2[1841] v2[1842] v2[1843] v2[1844] v2[1845] v2[1846] v2[1847] v2[1848] v2[1849] v2[184] v2[1850] v2[1851] v2[1852] v2[1853] v2[1854] v2[1855] v2[1856] v2[1857] v2[1858] v2[1859] v2[185] v2[1860] v2[1861] v2[1862] v2[1863] v2[1864] v2[1865] v2[1866] v2[1867] v2[1868] v2[1869] v2[186] v2[1870] v2[1871] v2[1872] v2[1873] v2[1874] v2[1875] v2[1876] v2[1877] v2[1878] v2[1879] v2[187] v2[1880] v2[1881] v2[1882] v2[1883] v2[1884] v2[1885] v2[1886] v2[1887] v2[1888] v2[1889] v2[188] v2[1890] v2[1891] v2[1892] v2[1893] v2[1894] v2[1895] v2[1896] v2[1897] v2[1898] v2[1899] v2[189] v2[18] v2[1900] v2[1901] v2[1902] v2[1903] v2[1904] v2[1905] v2[1906] v2[1907] v2[1908] v2[1909] v2[190] v2[1910] v2[1911] v2[1912] v2[1913] v2[1914] v2[1915] v2[1916] v2[1917] v2[1918] v2[1919] v2[191] v2[1920] v2[1921] v2[1922] v2[1923] v2[1924] v2[1925] v2[1926] v2[1927] v2[1928] v2[1929] v2[192] v2[1930] v2[1931] v2[1932] v2[1933] v2[1934] v2[1935] v2[1936] v2[1937] v2[1938] v2[1939] v2[193] v2[1940] v2[1941] v2[1942] v2[1943] v2[1944] v2[1945] v2[1946] v2[1947] v2[1948] v2[1949] v2[194] v2[1950] v2[1951] v2[1952] v2[1953] v2[1954] v2[1955] v2[1956] v2[1957] v2[1958] v2[1959] v2[195] v2[1960] v2[1961] v2[1962] v2[1963] v2[1964] v2[1965] v2[1966] v2[1967] v2[1968] v2[1969] v2[196] v2[1970] v2[1971] v2[1972] v2[1973] v2[1974] v2[1975] v2[1976] v2[1977] v2[1978] v2[1979] v2[197] v2[1980] v2[1981] v2[1982] v2[1983] v2[1984] v2[1985] v2[1986] v2[1987] v2[1988] v2[1989] v2[198] v2[1990] v2[1991] v2[1992] v2[1993] v2[1994] v2[1995] v2[1996] v2[1997] v2[1998] v2[1999] v2[199] v2[19] v2[1] v2[2000] v2[2001] v2[2002] v2[2003] v2[2004] v2[2005] v2[2006] v2[2007] v2[2008] v2[2009] v2[200] v2[2010] v2[2011] v2[2012] v2[2013] v2[2014] v2[2015] v2[2016] v2[2017] v2[2018] v2[2019] v2[201] v2[2020] v2[2021] v2[2022] v2[2023] v2[2024] v2[2025] v2[2026] v2[2027] v2[2028] v2[2029] v2[202] v2[2030] v2[2031] v2[2032] v2[2033] v2[2034] v2[2035] v2[2036] v2[2037] v2[2038] v2[2039] v2[203] v2[2040] v2[2041] v2[2042] v2[2043] v2[2044] v2[2045] v2[2046] v2[2047] v2[2048] v2[2049] v2[204] v2[2050] v2[2051] v2[2052] v2[2053] v2[2054] v2[2055] v2[2056] v2[2057] v2[2058] v2[2059] v2[205] v2[2060] v2[2061] v2[2062] v2[2063] v2[2064] v2[2065] v2[2066] v2[2067] v2[2068] v2[2069] v2[206] v2[2070] v2[2071] v2[2072] v2[2073] v2[2074] v2[2075] v2[2076] v2[2077] v2[2078] v2[2079] v2[207] v2[2080] v2[2081] v2[2082] v2[2083] v2[2084] v2[2085] v2[2086] v2[2087] v2[2088] v2[2089] v2[208] v2[2090] v2[2091] v2[2092] v2[2093] v2[2094] v2[2095] v2[2096] v2[2097] v2[2098] v2[2099] v2[209] v2[20] v2[2100] v2[2101] v2[2102] v2[2103] v2[2104] v2[2105] v2[2106] v2[2107] v2[2108] v2[2109] v2[210] v2[2110] v2[2111] v2[2112] v2[2113] v2[2114] v2[2115] v2[2116] v2[2117] v2[2118] v2[2119] v2[211] v2[2120] v2[2121] v2[2122] v2[2123] v2[2124] v2[2125] v2[2126] v2[2127] v2[2128] v2[2129] v2[212] v2[2130] v2[2131] v2[2132] v2[2133] v2[2134] v2[2135] v2[2136] v2[2137] v2[2138] v2[2139] v2[213] v2[2140] v2[2141] v2[2142] v2[2143] v2[2144] v2[2145] v2[2146] v2[2147] v2[2148] v2[2149] v2[214] v2[2150] v2[2151] v2[2152] v2[2153] v2[2154] v2[2155] v2[2156] v2[2157] v2[2158] v2[2159] v2[215] v2[2160] v2[2161] v2[2162] v2[2163] v2[2164] v2[2165] v2[2166] v2[2167] v2[2168] v2[2169] v2[216] v2[2170] v2[2171] v2[2172] v2[2173] v2[2174] v2[2175] v2[2176] v2[2177] v2[2178] v2[2179] v2[217] v2[2180] v2[2181] v2[2182] v2[2183] v2[2184] v2[2185] v2[2186] v2[2187] v2[2188] v2[2189] v2[218] v2[2190] v2[2191] v2[2192] v2[2193] v2[2194] v2[2195] v2[2196] v2[2197] v2[2198] v2[2199] v2[219] v2[21] v2[2200] v2[2201] v2[2202] v2[2203] v2[2204] v2[2205] v2[2206] v2[2207] v2[2208] v2[2209] v2[220] v2[2210] v2[2211] v2[2212] v2[2213] v2[2214] v2[2215] v2[2216] v2[2217] v2[2218] v2[2219] v2[221] v2[2220] v2[2221] v2[2222] v2[2223] v2[2224] v2[2225] v2[2226] v2[2227] v2[2228] v2[2229] v2[222] v2[2230] v2[2231] v2[2232] v2[2233] v2[2234] v2[2235] v2[2236] v2[2237] v2[2238] v2[2239] v2[223] v2[2240] v2[2241] v2[2242] v2[2243] v2[2244] v2[2245] v2[2246] v2[2247] v2[2248] v2[2249] v2[224] v2[2250] v2[2251] v2[2252] v2[2253] v2[2254] v2[2255] v2[2256] v2[2257] v2[2258] v2[2259] v2[225] v2[2260] v2[2261] v2[2262] v2[2263] v2[2264] v2[2265] v2[2266] v2[2267] v2[2268] v2[2269] v2[226] v2[2270] v2[2271] v2[2272] v2[2273] v2[2274] v2[2275] v2[2276] v2[2277] v2[2278] v2[2279] v2[227] v2[2280] v2[2281] v2[2282] v2[2283] v2[2284] v2[2285] v2[2286] v2[2287] v2[2288] v2[2289] v2[228] v2[2290] v2[2291] v2[2292] v2[2293] v2[2294] v2[2295] v2[2296] v2[2297] v2[2298] v2[2299] v2[229] v2[22] v2[2300] v2[2301] v2[2302] v2[2303] v2[2304] v2[2305] v2[2306] v2[2307] v2[2308] v2[2309] v2[230] v2[2310] v2[2311] v2[2312] v2[2313] v2[2314] v2[2315] v2[2316] v2[2317] v2[2318] v2[2319] v2[231] v2[2320] v2[2321] v2[2322] v2[2323] v2[2324] v2[2325] v2[2326] v2[2327] v2[2328] v2[2329] v2[232] v2[2330] v2[2331] v2[2332] v2[2333] v2[2334] v2[2335] v2[2336] v2[2337] v2[2338] v2[2339] v2[233] v2[2340] v2[2341] v2[2342] v2[2343] v2[2344] v2[2345] v2[2346] v2[2347] v2[2348] v2[2349] v2[234] v2[2350] v2[2351] v2[2352] v2[2353] v2[2354] v2[2355] v2[2356] v2[2357] v2[2358] v2[2359] v2[235] v2[2360] v2[2361] v2[2362] v2[2363] v2[2364] v2[2365] v2[2366] v2[2367] v2[2368] v2[2369] v2[236] v2[2370] v2[2371] v2[2372] v2[2373] v2[2374] v2[2375] v2[2376] v2[2377] v2[2378] v2[2379] v2[237] v2[2380] v2[2381] v2[2382] v2[2383] v2[2384] v2[2385] v2[2386] v2[2387] v2[2388] v2[2389] v2[238] v2[2390] v2[2391] v2[2392] v2[2393] v2[2394] v2[2395] v2[2396] v2[2397] v2[2398] v2[2399] v2[239] v2[23] v2[2400] v2[2401] v2[2402] v2[2403] v2[2404] v2[2405] v2[2406] v2[2407] v2[2408] v2[2409] v2[240] v2[2410] v2[2411] v2[2412] v2[2413] v2[2414] v2[2415] v2[2416] v2[2417] v2[2418] v2[2419] v2[241] v2[2420] v2[2421] v2[2422] v2[2423] v2[2424] v2[2425] v2[2426] v2[2427] v2[2428] v2[2429] v2[242] v2[2430] v2[2431] v2[2432] v2[2433] v2[2434] v2[2435] v2[2436] v2[2437] v2[2438] v2[2439] v2[243] v2[2440] v2[2441] v2[2442] v2[2443] v2[2444] v2[2445] v2[2446] v2[2447] v2[2448] v2[2449] v2[244] v2[2450] v2[2451] v2[2452] v2[2453] v2[2454] v2[2455] v2[2456] v2[2457] v2[2458] v2[2459] v2[245] v2[2460] v2[2461] v2[2462] v2[2463] v2[2464] v2[2465] v2[2466] v2[2467] v2[2468] v2[2469] v2[246] v2[2470] v2[2471] v2[2472] v2[2473] v2[2474] v2[2475] v2[2476] v2[2477] v2[2478] v2[2479] v2[247] v2[2480] v2[2481] v2[2482] v2[2483] v2[2484] v2[2485] v2[2486] v2[2487] v2[2488] v2[2489] v2[248] v2[2490] v2[2491] v2[2492] v2[2493] v2[2494] v2[2495] v2[2496] v2[2497] v2[2498] v2[2499] v2[249] v2[24] v2[2500] v2[2501] v2[2502] v2[2503] v2[2504] v2[2505] v2[2506] v2[2507] v2[2508] v2[2509] v2[250] v2[2510] v2[2511] v2[2512] v2[2513] v2[2514] v2[2515] v2[2516] v2[2517] v2[2518] v2[2519] v2[251] v2[2520] v2[2521] v2[2522] v2[2523] v2[2524] v2[2525] v2[2526] v2[2527] v2[2528] v2[2529] v2[252] v2[2530] v2[2531] v2[2532] v2[2533] v2[2534] v2[2535] v2[2536] v2[2537] v2[2538] v2[2539] v2[253] v2[2540] v2[2541] v2[2542] v2[2543] v2[2544] v2[2545] v2[2546] v2[2547] v2[2548] v2[2549] v2[254] v2[2550] v2[2551] v2[2552] v2[2553] v2[2554] v2[2555] v2[2556] v2[2557] v2[2558] v2[2559] v2[255] v2[2560] v2[2561] v2[2562] v2[2563] v2[2564] v2[2565] v2[2566] v2[2567] v2[2568] v2[2569] v2[256] v2[2570] v2[2571] v2[2572] v2[2573] v2[2574] v2[2575] v2[2576] v2[2577] v2[2578] v2[2579] v2[257] v2[2580] v2[2581] v2[2582] v2[2583] v2[2584] v2[2585] v2[2586] v2[2587] v2[2588] v2[2589] v2[258] v2[2590] v2[2591] v2[2592] v2[2593] v2[2594] v2[2595] v2[2596] v2[2597] v2[2598] v2[2599] v2[259] v2[25] v2[2600] v2[2601] v2[2602] v2[2603] v2[2604] v2[2605] v2[2606] v2[2607] v2[2608] v2[2609] v2[260] v2[2610] v2[2611] v2[2612] v2[2613] v2[2614] v2[2615] v2[2616] v2[2617] v2[2618] v2[2619] v2[261] v2[2620] v2[2621] v2[2622] v2[2623] v2[2624] v2[2625] v2[2626] v2[2627] v2[2628] v2[2629] v2[262] v2[2630] v2[2631] v2[2632] v2[2633] v2[2634] v2[2635] v2[2636] v2[2637] v2[2638] v2[2639] v2[263] v2[2640] v2[2641] v2[2642] v2[2643] v2[2644] v2[2645] v2[2646] v2[2647] v2[2648] v2[2649] v2[264] v2[2650] v2[2651] v2[2652] v2[2653] v2[2654] v2[2655] v2[2656] v2[2657] v2[2658] v2[2659] v2[265] v2[2660] v2[2661] v2[2662] v2[2663] v2[2664] v2[2665] v2[2666] v2[2667] v2[2668] v2[2669] v2[266] v2[2670] v2[2671] v2[2672] v2[2673] v2[2674] v2[2675] v2[2676] v2[2677] v2[2678] v2[2679] v2[267] v2[2680] v2[2681] v2[2682] v2[2683] v2[2684] v2[2685] v2[2686] v2[2687] v2[2688] v2[2689] v2[268] v2[2690] v2[2691] v2[2692] v2[2693] v2[2694] v2[2695] v2[2696] v2[2697] v2[2698] v2[2699] v2[269] v2[26] v2[2700] v2[2701] v2[2702] v2[2703] v2[2704] v2[2705] v2[2706] v2[2707] v2[2708] v2[2709] v2[270] v2[2710] v2[2711] v2[2712] v2[2713] v2[2714] v2[2715] v2[2716] v2[2717] v2[2718] v2[2719] v2[271] v2[2720] v2[2721] v2[2722] v2[2723] v2[2724] v2[2725] v2[2726] v2[2727] v2[2728] v2[2729] v2[272] v2[2730] v2[2731] v2[2732] v2[2733] v2[2734] v2[2735] v2[2736] v2[2737] v2[2738] v2[2739] v2[273] v2[2740] v2[2741] v2[2742] v2[2743] v2[2744] v2[2745] v2[2746] v2[2747] v2[2748] v2[2749] v2[274] v2[2750] v2[2751] v2[2752] v2[2753] v2[2754] v2[2755] v2[2756] v2[2757] v2[2758] v2[2759] v2[275] v2[2760] v2[2761] v2[2762] v2[2763] v2[2764] v2[2765] v2[2766] v2[2767] v2[2768] v2[2769] v2[276] v2[2770] v2[2771] v2[2772] v2[2773] v2[2774] v2[2775] v2[2776] v2[2777] v2[2778] v2[2779] v2[277] v2[2780] v2[2781] v2[2782] v2[2783] v2[2784] v2[2785] v2[2786] v2[2787] v2[2788] v2[2789] v2[278] v2[2790] v2[2791] v2[2792] v2[2793] v2[2794] v2[2795] v2[2796] v2[2797] v2[2798] v2[2799] v2[279] v2[27] v2[2800] v2[2801] v2[2802] v2[2803] v2[2804] v2[2805] v2[2806] v2[2807] v2[2808] v2[2809] v2[280] v2[2810] v2[2811] v2[2812] v2[2813] v2[2814] v2[2815] v2[2816] v2[2817] v2[2818] v2[2819] v2[281] v2[2820] v2[2821] v2[2822] v2[2823] v2[2824] v2[2825] v2[2826] v2[2827] v2[2828] v2[2829] v2[282] v2[2830] v2[2831] v2[2832] v2[2833] v2[2834] v2[2835] v2[2836] v2[2837] v2[2838] v2[2839] v2[283] v2[2840] v2[2841] v2[2842] v2[2843] v2[2844] v2[2845] v2[2846] v2[2847] v2[2848] v2[2849] v2[284] v2[2850] v2[2851] v2[2852] v2[2853] v2[2854] v2[2855] v2[2856] v2[2857] v2[2858] v2[2859] v2[285] v2[2860] v2[2861] v2[2862] v2[2863] v2[2864] v2[2865] v2[2866] v2[2867] v2[2868] v2[2869] v2[286] v2[2870] v2[2871] v2[2872] v2[2873] v2[2874] v2[2875] v2[2876] v2[2877] v2[2878] v2[2879] v2[287] v2[2880] v2[2881] v2[2882] v2[2883] v2[2884] v2[2885] v2[2886] v2[2887] v2[2888] v2[2889] v2[288] v2[2890] v2[2891] v2[2892] v2[2893] v2[2894] v2[2895] v2[2896] v2[2897] v2[2898] v2[2899] v2[289] v2[28] v2[2900] v2[2901] v2[2902] v2[2903] v2[2904] v2[2905] v2[2906] v2[2907] v2[2908] v2[2909] v2[290] v2[2910] v2[2911] v2[2912] v2[2913] v2[2914] v2[2915] v2[2916] v2[2917] v2[2918] v2[2919] v2[291] v2[2920] v2[2921] v2[2922] v2[2923] v2[2924] v2[2925] v2[2926] v2[2927] v2[2928] v2[2929] v2[292] v2[2930] v2[2931] v2[2932] v2[2933] v2[2934] v2[2935] v2[2936] v2[2937] v2[2938] v2[2939] v2[293] v2[2940] v2[2941] v2[2942] v2[2943] v2[2944] v2[2945] v2[2946] v2[2947] v2[2948] v2[2949] v2[294] v2[2950] v2[2951] v2[2952] v2[2953] v2[2954] v2[2955] v2[2956] v2[2957] v2[2958] v2[2959] v2[295] v2[2960] v2[2961] v2[2962] v2[2963] v2[2964] v2[2965] v2[2966] v2[2967] v2[2968] v2[2969] v2[296] v2[2970] v2[2971] v2[2972] v2[2973] v2[2974] v2[2975] v2[2976] v2[2977] v2[2978] v2[2979] v2[297] v2[2980] v2[2981] v2[2982] v2[2983] v2[2984] v2[2985] v2[2986] v2[2987] v2[2988] v2[2989] v2[298] v2[2990] v2[2991] v2[2992] v2[2993] v2[2994] v2[2995] v2[2996] v2[2997] v2[2998] v2[2999] v2[299] v2[29] v2[2] v2[3000] v2[3001] v2[3002] v2[3003] v2[3004] v2[3005] v2[3006] v2[3007] v2[3008] v2[3009] v2[300] v2[3010] v2[3011] v2[3012] v2[3013] v2[3014] v2[3015] v2[3016] v2[3017] v2[3018] v2[3019] v2[301] v2[3020] v2[3021] v2[3022] v2[3023] v2[3024] v2[3025] v2[3026] v2[3027] v2[3028] v2[3029] v2[302] v2[3030] v2[3031] v2[3032] v2[3033] v2[3034] v2[3035] v2[3036] v2[3037] v2[3038] v2[3039] v2[303] v2[3040] v2[3041] v2[3042] v2[3043] v2[3044] v2[3045] v2[3046] v2[3047] v2[3048] v2[3049] v2[304] v2[3050] v2[3051] v2[3052] v2[305] v2[306] v2[307] v2[308] v2[309] v2[30] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[31] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[32] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[33] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[34] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[35] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[36] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[37] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[38] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[39] v2[3] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[40] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[41] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[42] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[43] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[44] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[45] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[46] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[47] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[48] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[49] v2[4] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[50] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[51] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[52] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[53] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[54] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[55] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[56] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[57] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[58] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[59] v2[5] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[60] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[61] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[62] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[63] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[64] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[65] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[66] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[67] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[68] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[69] v2[6] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[70] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[71] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[72] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[73] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[74] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[75] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[76] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[77] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[78] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[79] v2[7] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[80] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[81] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[82] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[83] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[84] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[85] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[86] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[87] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[88] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[89] v2[8] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[90] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[91] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[92] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[93] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[94] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[95] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[96] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[97] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[98] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[99] v2[9] </list> 2519.85/2520.01 v <values>244 40 0 40 424 40 0 28 0 40 220 36 32 136 136 8 136 220 12 136 272 436 160 308 236 236 0 40 40 0 0 404 0 16 0 260 204 204 196 412 412 252 252 252 160 200 252 292 252 84 200 292 0 0 92 84 0 40 0 0 40 324 40 412 0 400 160 40 40 352 92 312 108 132 92 144 236 212 132 324 108 8 396 200 40 0 40 0 36 40 324 40 136 40 352 392 28 352 152 264 352 24 40 28 140 252 508 304 84 96 200 0 68 56 472 28 0 240 40 0 304 0 200 40 40 456 152 40 184 40 0 412 360 280 320 0 84 36 288 80 412 412 0 0 220 40 0 0 172 0 324 40 40 0 400 100 12 356 0 0 0 0 128 0 40 316 320 40 160 40 432 0 304 0 244 0 40 464 0 0 40 400 40 0 40 328 132 304 268 40 12 12 28 28 40 12 12 300 328 464 0 0 104 372 168 40 360 12 12 384 464 52 52 28 360 12 12 72 192 396 304 424 40 0 356 156 140 396 284 0 56 356 112 28 356 40 144 140 316 0 44 112 112 0 344 112 112 152 48 260 32 152 40 8 48 0 384 184 336 184 28 12 384 344 484 444 40 240 24 60 148 244 88 40 12 392 160 40 40 372 284 328 0 144 0 128 0 0 392 424 244 328 368 240 40 40 184 156 60 256 184 188 72 40 16 144 204 372 40 252 40 16 288 300 372 196 40 500 40 404 0 204 184 356 0 468 200 160 212 160 224 200 40 96 172 36 264 388 268 92 52 320 280 32 0 92 424 0 216 28 384 52 0 292 268 0 372 412 96 200 160 40 372 372 256 40 40 92 536 128 160 344 440 276 256 104 0 40 0 200 372 152 480 284 0 420 372 0 360 132 0 528 468 428 468 444 428 468 80 40 0 40 40 40 0 0 40 56 500 116 0 120 40 0 0 356 104 40 0 216 316 12 316 16 316 104 104 32 356 148 356 0 132 40 40 40 0 244 112 160 92 316 104 132 0 116 256 196 200 244 228 68 0 40 0 20 0 0 536 40 0 40 40 0 28 264 132 264 60 68 224 48 316 160 20 16 40 92 28 404 200 124 0 104 40 292 40 0 132 160 160 120 160 96 40 0 40 0 0 52 0 40 104 0 0 40 0 0 40 232 92 112 164 156 168 48 204 220 204 204 324 92 152 260 104 104 100 152 40 388 152 32 292 204 40 40 0 0 40 56 40 48 160 32 0 40 412 216 0 92 72 52 0 184 132 0 312 72 52 164 232 412 372 244 8 40 92 412 412 412 248 40 40 52 0 160 40 132 0 0 0 40 160 40 380 0 40 396 40 40 0 0 468 404 40 332 40 184 40 92 0 40 40 200 108 440 480 40 40 0 40 244 400 144 40 40 0 64 184 24 396 0 436 40 0 0 372 216 40 40 316 40 40 344 316 40 0 0 284 440 0 40 40 40 168 424 40 372 0 356 28 352 184 268 168 276 0 360 356 16 40 292 164 40 332 40 372 112 240 92 332 292 292 0 40 40 0 216 40 424 40 0 396 40 144 40 40 252 384 0 40 0 40 40 0 40 40 40 412 364 0 452 0 60 328 92 0 52 160 92 40 168 92 108 496 280 40 328 40 320 104 0 40 40 40 0 0 328 0 0 308 0 0 40 432 0 304 244 0 40 40 0 40 40 40 0 40 392 60 432 188 392 432 432 184 36 392 132 32 56 0 40 56 332 40 256 404 0 40 0 0 0 40 40 156 536 28 0 252 124 496 536 40 276 168 0 184 368 440 456 40 200 40 40 40 40 40 260 0 0 424 40 40 396 324 332 40 200 340 0 440 104 0 0 0 0 0 0 0 396 0 0 0 196 396 40 40 40 40 40 92 372 200 0 0 244 0 316 268 108 152 204 172 112 60 40 40 0 396 144 384 0 0 0 112 184 40 212 332 64 88 296 108 164 116 52 116 0 40 0 0 40 0 40 104 40 64 40 148 60 224 272 432 432 40 212 316 292 0 28 336 256 76 76 16 48 44 80 100 44 244 112 84 12 56 216 24 224 268 0 260 40 0 40 40 296 348 40 40 196 80 112 0 0 0 0 40 40 0 0 40 0 244 0 40 0 0 40 172 0 0 196 136 52 40 400 0 0 576 396 328 40 0 40 92 40 40 212 40 384 0 336 412 40 40 52 40 0 100 496 456 140 40 212 176 40 164 244 176 0 212 256 300 276 240 216 40 20 0 356 76 364 324 364 40 144 168 364 312 40 324 40 40 168 168 208 300 32 164 148 236 180 188 264 316 108 316 76 172 284 140 0 116 128 284 256 244 284 132 40 284 40 0 0 40 0 128 332 104 40 40 0 40 40 88 128 168 164 128 128 372 180 44 0 52 40 104 344 40 40 0 40 0 0 16 0 40 0 40 348 40 40 40 40 24 0 132 40 0 0 0 0 16 40 40 40 40 152 0 0 0 40 372 40 348 104 384 0 40 40 40 0 40 0 40 40 40 164 68 372 40 40 0 0 0 252 40 40 440 396 164 280 404 248 332 372 12 332 372 240 216 320 28 40 348 52 40 168 52 92 40 260 140 136 0 56 200 308 160 40 56 160 40 56 200 0 420 92 0 380 40 40 0 28 168 0 40 132 236 408 168 128 100 204 188 88 44 40 48 124 0 172 184 12 112 208 372 152 40 240 4 332 0 64 208 40 40 0 96 0 144 156 180 180 68 304 244 0 40 0 40 0 40 400 40 0 16 40 0 424 304 0 208 60 304 264 264 304 264 264 184 0 272 244 20 204 124 124 124 272 124 32 8 356 40 8 64 280 324 96 364 480 440 264 264 172 336 440 380 256 420 108 96 0 40 104 40 344 40 40 0 124 500 0 40 40 0 0 40 0 0 40 384 0 0 40 0 0 0 40 40 440 40 40 216 356 40 0 40 0 40 40 40 356 284 284 144 244 0 0 40 424 64 40 244 208 0 40 0 0 468 40 40 0 0 0 40 40 284 212 440 40 40 40 40 0 40 40 0 0 40 0 116 72 40 364 268 192 312 252 96 104 212 40 0 56 16 204 228 0 40 40 368 40 40 40 84 0 56 64 104 228 96 228 40 244 404 0 404 224 404 228 40 0 40 364 372 132 284 368 436 412 200 0 232 208 204 204 208 0 8 140 40 40 40 32 356 24 196 52 440 0 148 320 52 188 280 240 40 200 200 212 240 200 40 364 0 372 40 288 0 40 40 0 388 0 0 104 56 144 116 0 172 0 40 0 364 0 40 0 356 40 0 40 184 0 256 256 36 232 76 208 164 68 172 252 40 44 188 212 120 372 200 332 332 164 36 364 208 0 40 60 96 16 240 240 108 116 40 16 160 200 160 48 200 200 84 104 152 40 468 508 180 156 0 48 220 40 40 40 40 160 40 0 40 40 96 0 156 0 328 0 112 112 112 256 312 16 32 192 16 44 40 24 364 24 68 104 68 272 300 44 40 0 156 180 208 216 176 0 188 216 308 296 156 424 316 224 196 40 540 40 400 40 144 384 72 0 0 0 40 0 40 0 216 24 380 244 380 380 132 284 156 416 332 0 200 0 244 360 0 172 36 172 156 132 228 36 120 244 212 108 252 84 92 132 12 0 40 0 284 40 40 348 40 124 40 0 0 40 0 284 328 40 0 0 0 52 308 0 0 144 244 276 128 164 184 236 424 384 0 84 40 284 40 0 384 40 40 40 40 368 208 40 244 0 40 40 240 144 144 104 144 104 104 244 40 0 40 440 128 16 196 164 8 0 244 284 104 40 0 40 0 132 76 52 372 156 188 0 124 40 252 40 256 200 464 40 384 244 344 40 0 332 0 0 0 0 40 40 128 32 92 404 124 40 116 200 260 196 112 32 108 176 216 16 284 0 0 0 68 0 68 0 40 144 40 40 0 268 48 72 40 148 12 12 52 228 128 36 0 308 200 204 160 204 204 244 204 12 244 0 40 424 40 160 104 40 28 120 332 176 40 0 0 40 160 40 40 0 40 136 372 40 40 40 0 0 0 156 96 152 308 76 204 356 104 292 412 40 228 12 280 372 268 0 40 40 424 40 76 372 0 40 216 0 132 324 124 32 364 108 44 72 40 0 56 40 12 116 0 368 40 372 132 40 40 412 328 368 328 0 0 32 0 172 0 0 84 344 0 228 128 12 0 300 212 452 320 412 184 40 0 0 40 144 92 356 40 184 216 40 144 288 328 288 52 288 168 200 40 40 400 144 424 0 40 156 104 0 0 112 0 40 0 48 116 188 208 300 104 256 184 272 32 104 216 200 84 72 148 28 76 148 284 0 40 428 0 0 160 188 40 160 68 372 348 40 40 40 0 0 184 396 0 40 0 64 0 40 84 0 0 268 0 40 116 164 140 284 284 284 156 244 24 244 244 84 40 0 40 0 164 32 268 40 36 376 48 0 40 424 0 156 60 128 268 156 384 64 200 12 0 40 12 328 328 344 32 0 0 40 24 68 68 76 384 28 88 0 240 424 424 124 212 64 336 40 40 0 104 344 24 332 396 184 360 0 0 0 40 364 308 0 0 116 0 116 96 0 40 0 320 0 412 164 0 328 184 40 0 360 0 384 40 192 412 0 416 40 64 40 40 160 364 120 92 52 0 320 456 0 40 400 132 312 240 260 372 96 64 160 212 136 252 112 0 104 256 0 40 200 216 84 40 40 0 0 332 116 40 400 400 400 40 40 40 0 0 144 64 56 288 220 148 116 448 324 304 0 40 76 24 396 68 12 136 40 372 40 0 0 48 144 96 96 40 332 104 0 128 232 468 124 20 40 0 356 156 216 72 40 488 40 104 144 40 56 344 12 320 0 0 40 92 540 348 40 40 160 40 40 0 180 428 240 40 108 40 308 144 40 40 388 0 144 0 452 356 152 96 96 84 0 244 240 40 0 0 360 0 0 104 40 168 184 156 388 208 0 308 348 324 252 124 116 56 400 400 0 244 44 20 156 32 32 40 112 156 356 388 0 40 144 200 184 0 128 20 180 180 224 328 0 144 68 172 128 40 184 16 156 372 300 216 356 144 60 328 40 40 0 0 40 184 52 384 28 88 20 0 40 40 528 40 356 424 40 40 0 300 32 488 28 196 356 144 356 436 40 40 52 224 52 36 184 52 312 396 268 40 40 228 96 104 208 56 40 528 0 0 200 0 40 160 40 40 28 276 0 40 0 412 536 208 372 0 0 412 40 328 0 396 0 0 144 372 40 0 40 280 332 340 0 72 488 0 116 40 296 480 0 336 84 356 440 124 196 176 216 152 0 400 228 64 204 16 216 8 40 248 176 172 500 360 372 116 48 156 288 8 12 0 40 192 40 0 40 0 0 0 40 212 440 0 284 40 40 156 320 332 372 0 0 116 304 248 100 332 0 372 208 116 380 432 432 472 472 200 472 432 432 32 472 432 432 256 40 0 112 0 0 468 40 40 40 40 24 0 388 148 0 0 264 40 68 40 40 372 0 0 244 40 440 444 0 432 40 380 508 0 0 244 332 40 16 372 372 332 260 280 152 372 172 0 24 128 36 128 128 408 168 340 128 216 168 168 128 168 128 32 0 28 0 104 40 40 0 0 328 0 416 40 0 0 40 40 0 328 328 328 328 140 288 288 328 288 328 0 328 288 60 328 160 52 0 0 0 0 208 0 40 324 40 0 0 40 144 40 40 284 428 0 128 40 0 40 16 40 348 40 40 40 408 568 136 324 528 568 500 404 0 40 124 412 372 196 288 216 40 0 12 280 40 132 8 332 68 332 136 372 188 32 372 0 204 356 372 496 256 356 372 40 500 84 40 356 176 104 284 264 224 264 224 264 56 508 264 56 264 224 176 108 224 108 0 96 468 440 8 160 0 120 220 136 0 40 40 40 508 40 40 0 40 40 40 0 0 200 152 508 152 148 220 112 156 400 400 440 440 400 508 440 440 400 400 440 344 440 284 0 104 468 404 164 132 40 224 0 0 468 400 40 468 40 0 40 40 0 40 0 0 200 0 468 40 40 40 40 40 404 200 0 40 144 468 28 372 364 412 172 176 40 40 392 28 468 124 40 200 160 132 40 40 212 40 184 252 40 40 356 0 0 468 40 40 0 40 508 160 0 0 40 388 0 0 40 24 444 0 152 0 40 52 212 468 0 0 308 0 172 40 156 92 184 296 144 184 228 16 40 40 412 168 0 0 0 40 40 412 40 40 40 0 0 140 124 176 216 176 44 176 4 12 452 60 292 100 24 228 104 104 144 20 12 384 104 0 372 0 40 284 112 124 72 372 356 0 264 8 308 0 40 240 216 40 40 0 212 40 356 0 372 40 0 172 212 212 0 212 172 172 212 172 0 212 56 184 40 364 40 316 392 0 276 440 40 104 156 0 40 0 40 332 40 84 40 40 40 132 284 156 0 96 0 360 0 0 0 468 40 40 40 40 24 0 0 200 0 388 0 356 112 396 40 228 68 396 452 0 0 40 0 40 40 0 412 0 40 0 124 232 28 376 316 124 356 84 204 60 20 340 260 348 64 64 64 332 24 304 24 24 24 24 24 40 40 40 40 496 0 40 40 0 40 0 40 40 0 356 40 40 40 40 0 56 116 184 352 312 372 0 184 228 188 200 40 184 108 276 108 224 0 40 56 52 212 200 160 200 160 340 116 332 148 240 4 0 40 196 180 28 124 148 40 176 20 180 0 176 128 216 292 40 356 40 412 0 332 0 40 132 0 40 96 0 372 28 484 412 92 40 508 0 40 412 404 0 0 372 164 132 216 52 52 52 52 92 288 92 52 92 92 52 92 52 92 60 444 280 204 144 184 188 108 232 84 340 404 96 96 16 96 356 196 40 212 316 40 40 0 56 40 2180 2140 2592 2140 2180 2140 2168 2180 2192 2536 2496 2524 2292 2524 2624 2180 2140 2324 2552 2140 2340 2232 2180 2564 2552 2180 2180 2140 2608 2180 2180 2496 2180 2272 2396 2180 2496 2180 2300 2180 2344 2292 2180 2140 2140 2232 2552 2180 2140 2140 2620 2180 2576 2180 2140 2580 2140 2540 2536 2472 2140 2140 2168 2232 2180 2180 2252 2140 2572 2380 2552 2180 2676 2140 2140 2180 2140 2232 2180 2456 2140 2512 2436 2180 2572 2180 2208 2384 2140 2564 2180 2396 2180 2140 2140 2140 2636 2180 2140 2180 2504 2348 2348 2496 2424 2180 2180 2308 2180 2180 2140 2140 2140 2180 2140 2180 2140 2140 2512 2500 2232 2608 2424 2340 2140 2308 2352 2512 2140 2536 2140 2180 2444 2340 2580 2304 2188 2620 2560 2180 2180 2140 2140 2140 2324 2640 2180 2140 2140 2180 2284 2512 2140 2284 2584 2668 2140 2348 2180 2536 2232 2460 2380 2180 2140 2180 2140 2140 2396 2392 2512 2380 2340 2648 2356 2180 2140 2564 2140 2252 2164 2440 2348 2356 2580 2140 2140 2520 2396 2180 2312 2392 2272 2140 2140 2180 2416 2564 2180 2180 2140 2284 2140 2308 2544 2544 2180 2272 2180 2716 2140 2140 2524 2180 2180 2536 2264 2180 2380 2400 2356 2180 2180 2464 2140 2140 2284 2564 2308 2180 2384 2140 2180 2620 2140 2140 2648 2284 2552 2140 2504 2304 2180 2140 2356 2140 2508 2140 2180 2552 2592 2552 2140 2180 2140 2552 2468 2180 2180 2140 2340 2140 2348 2396 2324 2336 2140 2348 2180 2340 2180 2140 2180 2180 2180 2464 2424 2512 2140 2544 2180 2552 2336 2180 2508 2180 2208 2564 2612 2476 2180 2512 2140 2180 2180 2180 2140 2300 2180 2140 2552 2180 2232 2140 2380 2512 2352 2140 2596 2180 2140 2180 2580 2140 2140 2292 2552 2360 2628 2472 2536 2140 2140 2180 2236 2180 2304 2140 2536 2324 2180 2284 2512 2424 2512 2500 2180 2140 2180 2140 2180 2496 2180 2304 2308 2512 2140 2680 2356 2276 2264 2140 2180 2180 2140 2180 2140 2528 2140 2488 2604 2140 2244 2396 2540 2380 2468 2252 2180 2640 2340 2140 2140 2168 2360 2272 2140 2180 2180 2468 2180 2324 2512 2232 2380 2536 2264 2180 2180 2508 2180 2180 2168 2284 2524 2356 2228 2680 2180 2708 2140 2180 2140 2608 2308 2668 2140 2284 2180 2340 2552 2140 2180 2180 2512 2496 2140 2540 2576 2180 2180 2512 2140 2180 2180 2552 2324 2296 2208 2296 2340 2272 2180 2140 2536 2180 2496 2180 2396 2140 2140 2464 2496 2404 2140 2300 2400 2140 2400 2580 2272 2140 2180 2552 2180 2648 2140 2140 2180 2324 2140 2356 2284 2180 2272 2180 2140 2352 2180 2180 2140 2536 2140 2264 2204 2140 2180 2180 2324 2340 2380 2356 2140 2140 2232 2584 2496 2140 2340 2316 2616 2140 2552 2432 2140 2272 2140 2532 2208 2604 11 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 1 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 1 1 0 0 0 0 1 1 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 1 1 1 1 0 0 1 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 1 1 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 1 0 0 1 1 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 0 1 0 1 1 1 0 1 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 1 0 0 1 1 0 1 0 1 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 1 1 1 0 1 0 1 0 1 0 0 0 0 1 1 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 1 0 0 1 0 0 1 0 0 1 1 1 0 1 0 0 1 0 1 0 1 0 0 1 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 1 1 1 0 0 0 1 0 1 1 0 0 0 1 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 1 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 1 1 1 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 0 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 1 1 0 1 0 1 0 0 0 1 1 1 0 0 0 1 1 1 1 0 0 1 1 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 1 1 0 0 1 0 0 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 1 0 1 1 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 1 1 1 1 1 1 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 1 1 0 1 1 0 0 0 0 1 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 1 1 1 1 0 0 1 0 0 1 1 0 0 0 0 1 1 0 0 0 1 1 0 0 1 1 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 0 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 5 0 0 10 10 0 0 10 0 9 10 0 10 0 0 0 10 10 10 0 0 0 0 0 0 0 10 3 7 0 0 0 0 0 0 0 10 0 10 10 0 1 10 1 0 0 10 0 10 0 0 10 10 1 10 0 10 10 10 0 8 0 4 0 7 0 10 9 6 10 1 0 0 0 0 0 0 10 10 0 1 0 0 10 0 1 0 10 5 9 0 0 0 0 0 10 0 0 0 10 0 10 7 0 0 10 10 3 0 3 10 10 10 0 10 0 10 0 1 0 8 0 10 0 0 0 5 0 10 0 10 0 1 10 0 5 0 0 10 10 0 9 10 10 0 0 10 10 8 0 6 0 1 0 10 10 0 10 10 0 10 10 5 0 0 10 0 0 10 0 0 1 0 0 0 0 10 3 8 0 10 3 0 0 10 10 0 10 0 10 10 1 0 10 10 0 4 10 0 1 0 0 3 0 1 0 0 7 0 10 10 0 1 2 10 0 9 10 10 0 10 10 0 0 10 1 0 0 0 0 10 0 0 0 10 10 10 10 0 0 10 0 0 0 10 9 1 0 0 0 10 0 10 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 10 10 10 0 0 10 0 0 10 0 0 10 10 0 0 10 0 10 10 10 0 0 0 0 0 0 10 10 0 10 0 0 8 6 0 10 0 4 5 0 5 0 0 1 0 0 10 1 0 0 0 0 0 1 1 0 10 0 10 9 0 10 9 10 0 0 10 1 10 0 1 0 0 10 0 1 0 0 10 10 0 10 0 10 10 0 10 4 0 10 10 2 0 10 10 0 10 10 10 1 10 10 10 0 10 0 10 0 10 0 0 0 0 10 10 0 10 8 9 10 10 9 0 5 10 0 0 0 10 0 3 0 7 0 0 2 0 7 8 0 0 7 0 10 1 10 10 0 0 10 0 10 0 0 0 0 0 0 0 10 0 6 0 1 0 10 10 0 10 10 0 10 7 6 0 0 10 10 0 0 0 0 0 0 0 10 0 10 10 10 10 0 0 10 0 0 0 10 0 6 0 10 0 0 10 10 0 10 10 0 0 10 7 10 10 10 10 10 10 10 0 0 10 5 0 0 9 0 10 0 0 10 10 10 0 10 0 10 0 1 10 0 10 0 0 1 5 10 0 10 10 0 10 0 10 10 0 0 1 10 0 9 0 0 10 0 0 0 1 0 7 10 4 0 1 3 0 0 0 0 5 0 0 0 0 10 0 0 1 1 0 7 0 0 10 0 6 10 10 3 1 0 10 0 0 0 0 0 0 0 1 10 8 10 5 10 10 8 10 10 0 0 0 5 10 0 0 10 0 8 0 1 10 10 0 10 0 10 0 0 0 0 10 8 10 10 0 0 7 10 8 0 4 10 1 10 10 0 10 0 0 1 10 10 10 10 3 0 1 0 9 0 0 9 0 10 10 0 0 0 10 10 10 10 10 10 1 3 10 0 1 10 7 0 10 10 10 0 10 0 0 10 0 10 6 10 0 0 10 3 10 10 1 0 0 0 10 0 10 0 10 0 0 0 10 3 10 0 10 10 10 10 0 9 0 10 0 10 10 0 0 0 10 10 10 0 10 10 0 7 10 10 10 10 0 0 0 9 10 0 0 1 9 0 0 1 0 10 10 0 0 10 0 10 10 0 10 0 10 0 10 10 0 10 0 0 9 6 0 0 0 0 6 0 10 0 10 0 0 3 0 10 10 0 7 0 0 10 10 0 10 0 0 0 0 0 10 6 10 6 0 0 1 10 0 10 3 0 10 6 0 0 10 10 0 0 10 0 10 0 8 0 0 0 10 0 10 0 10 10 10 0 1 0 0 0 6 4 10 10 8 0 0 10 0 10 1 0 10 0 1 0 0 8 0 10 0 0 7 0 1 0 0 0 10 0 0 10 0 0 0 9 10 10 6 0 10 10 1 0 0 6 10 10 0 0 0 0 6 10 0 0 0 10 1 10 0 1 10 0 10 0 7 0 5 10 0 10 10 0 10 0 0 10 7 10 10 0 10 10 0 0 0 0 0 10 0 0 0 0 0 3 10 1 0 10 10 0 10 0 0 0 10 0 10 9 10 10 10 0 0 1 0 8 0 9 0 10 0 10 10 1 0 0 10 0 0 7 0 0 0 1 0 0 10 1 1 0 6 0 10 1 0 10 8 0 0 9 0 9 0 0 10 10 0 10 10 1 10 0 10 0 0 1 10 0 0 0 10 10 4 0 0 10 1 0 10 2 0 10 10 0 0 1 10 1 10 0 0 9 1 4 10 10 10 0 0 10 10 10 0 0 0 9 1 0 0 0 0 10 0 0 0 10 0 10 7 0 0 10 10 1 10 0 10 0 7 10 0 10 10 0 7 10 0 8 0 0 0 0 0 0 10 0 9 0 0 10 2 1 0 10 0 10 10 10 10 4 0 0 0 0 10 8 1 0 10 1 0 10 0 0 0 10 6 10 0 1 0 10 0 0 1 0 0 3 10 0 10 10 10 10 10 1 8 0 10 0 1 10 10 0 0 0 0 10 0 10 0 0 0 10 10 0 0 0 0 8 0 10 0 7 10 0 1 0 10 0 10 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 10 7 0 0 10 1 10 10 0 1 10 0 0 10 0 0 0 0 0 5 0 0 0 0 6 10 3 10 10 4 0 7 7 7 9 0 5 8 0 10 1 0 10 10 10 0 1 1 3 0 0 10 0 10 0 0 10 10 9 10 10 1 10 1 0 10 10 0 10 0 10 10 0 10 0 0 0 0 10 1 0 0 0 0 10 0 0 3 0 2 9 8 0 10 10 10 6 10 0 0 8 0 0 10 0 10 0 0 0 0 10 0 9 10 0 0 0 10 10 10 0 0 0 0 1 3 0 0 10 10 0 9 10 0 1 0 10 2 0 0 0 0 8 6 0 10 10 0 0 7 10 10 0 10 10 8 10 0 0 0 0 1 9 0 10 10 4 0 10 10 0 10 0 10 10 10 0 0 6 10 0 0 7 4 10 0 10 10 10 10 0 0 10 10 0 10 5 8 10 8 10 10 1 10 0 0 7 0 0 0 10 10 3 6 1 10 0 0 0 6 10 0 0 0 1 0 0 0 4 0 10 10 0 1 0 10 10 0 9 10 4 10 0 10 10 0 0 10 10 1 0 0 10 7 0 0 7 10 0 10 0 0 10 0 10 1 10 0 10 0 6 0 0 10 10 10 0 10 0 10 1 0 10 10 0 10 0 10 0 0 0 0 0 8 0 10 0 9 0 0 1 10 1 1 10 10 0 0 0 0 10 5 0 10 1 0 0 10 0 0 10 0 10 0 10 0 3 0 10 6 10 1 0 0 0 5 0 1 10 0 0 0 0 0 5 0 10 1 2 10 10 10 0 10 10 0 10 8 10 5 0 0 1 0 2 10 10 0 9 0 10 0 0 0 0 0 0 0 5 8 0 0 0 0 0 10 0 0 10 10 0 1 10 10 0 0 0 0 0 1 0 10 10 0 10 0 3 10 1 0 0 0 10 0 1 9 0 10 10 10 0 0 0 0 0 8 10 10 10 10 0 1 10 0 0 0 0 0 10 10 0 0 0 4 7 10 0 10 0 10 9 10 10 5 3 1 10 1 10 0 10 0 0 0 1 0 0 0 10 10 10 8 0 10 0 8 0 10 10 0 10 10 0 0 5 3 10 10 10 7 10 1 9 0 1 4 10 10 8 10 0 9 0 0 10 7 0 10 0 0 10 5 0 0 10 0 1 0 0 0 10 10 0 0 1 0 10 0 8 0 8 10 10 10 0 0 0 10 10 10 0 10 5 10 0 2 10 0 0 0 10 0 10 0 0 10 0 0 0 0 9 10 10 1 10 0 7 10 0 0 0 1 8 0 1 10 10 10 0 0 4 10 1 10 0 10 10 10 10 10 10 10 10 0 1 10 0 7 0 10 10 0 0 0 10 0 0 0 0 7 0 10 0 0 10 0 10 6 8 0 10 1 1 0 10 0 10 10 10 0 1 0 0 0 0 0 10 9 0 0 0 0 7 0 6 10 1 0 0 10 0 0 10 10 10 0 0 10 10 0 10 1 8 10 10 0 4 10 0 10 1 10 10 0 10 10 10 0 8 10 10 10 0 10 8 10 6 10 10 10 0 10 0 0 10 0 1 1 10 10 0 8 0 10 0 10 10 10 0 1 9 0 0 1 10 0 6 10 10 10 1 0 10 10 0 1 0 10 0 10 0 0 0 0 0 5 10 10 0 0 10 1 0 10 0 0 0 10 7 0 0 10 10 0 10 0 10 10 10 0 0 0 0 0 1 1 10 10 9 10 0 3 10 0 2 10 1 10 1 0 5 10 0 0 0 0 0 0 0 0 2 0 9 0 0 0 10 0 9 9 1 10 0 0 10 0 0 0 10 0 1 10 0 10 0 0 0 0 1 0 10 1 0 4 10 0 10 10 10 0 0 1 0 0 10 10 1 1 0 0 0 10 0 0 10 0 0 10 10 10 10 1 0 0 7 6 7 0 0 10 0 0 1 0 10 0 10 10 0 10 9 0 0 10 10 5 10 0 10 0 0 0 10 10 10 0 8 0 10 10 10 10 0 5 10 10 0 10 10 10 1 8 10 0 10 0 10 0 0 0 0 0 0 0 10 0 10 0 7 0 10 0 0 0 0 10 0 10 0 0 0 10 10 10 8 0 0 10 0 0 0 0 10 0 0 0 10 10 0 0 0 10 10 10 10 10 10 10 4 0 0 0 2 0 8 0 10 4 0 8 0 0 0 10 0 0 10 10 0 0 0 0 0 10 6 10 10 0 10 3 1 1 0 0 10 0 10 8 0 10 10 4 0 2 10 0 0 1 10 0 0 10 1 10 8 0 10 10 10 10 0 0 0 0 0 10 0 0 1 0 0 0 0 0 0 0 0 10 10 1 3 0 0 10 10 0 10 10 0 10 10 0 6 10 10 0 0 7 10 10 10 10 10 0 0 10 0 0 10 10 10 0 10 0 10 1 10 0 10 0 0 10 10 10 10 0 10 10 9 0 10 8 0 0 3 10 0 0 0 10 10 0 10 0 0 10 10 0 0 0 10 1 0 0 10 0 10 10 0 10 10 0 7 0 0 0 9 0 10 9 10 6 9 0 0 9 0 10 0 0 10 10 10 0 0 10 10 0 10 10 0 0 10 0 0 4 0 10 3 10 10 10 0 1 1 0 0 0 10 10 10 0 8 0 0 0 0 0 9 10 10 0 0 0 10 10 0 0 0 0 0 0 10 10 2 10 0 10 10 5 1 1 10 10 10 10 10 10 8 1 0 10 9 10 10 1 10 0 10 0 0 0 8 2 10 8 0 9 0 0 10 2 0 10 0 10 0 9 0 0 10 0 0 0 10 10 10 0 10 10 0 9 10 0 8 0 0 10 10 10 0 1 1 10 0 0 10 6 8 2 9 0 10 0 10 1 10 8 10 10 1 0 0 0 10 10 0 1 1 5 10 10 0 10 1 5 0 0 0 7 0 0 10 10 0 0 10 10 0 0 0 0 0 0 1 10 1 7 8 0 0 0 0 0 0 0 10 0 0 0 10 1 1 0 10 10 10 10 10 0 10 10 0 1 8 0 10 10 0 10 10 8 10 0 10 0 10 1 0 10 0 0 10 10 5 0 0 1 0 0 0 10 0 0 0 10 10 10 0 9 10 10 0 0 0 0 7 0 10 10 10 0 0 0 0 10 0 0 10 10 3 0 0 0 10 10 10 0 0 0 9 10 0 1 10 1 10 0 10 10 8 10 0 10 1 0 0 0 1 0 0 0 0 10 0 10 0 0 10 10 0 10 0 0 0 0 0 10 0 0 0 10 10 0 1 10 0 10 10 10 1 0 0 1 2 10 1 10 0 0 0 0 10 10 0 10 6 10 0 4 0 10 10 10 10 6 0 0 0 10 0 0 0 0 0 10 0 0 10 2 6 10 0 0 0 1 0 0 0 10 10 10 5 0 0 8 0 10 8 9 10 0 5 1 0 10 0 0 1 0 10 10 10 0 10 0 7 10 10 10 10 7 0 10 0 10 10 10 0 1 3 8 10 10 0 0 8 10 10 0 0 10 10 9 0 0 10 0 10 10 1 0 0 10 0 0 0 0 0 0 0 0 0 10 7 10 10 0 0 8 0 10 0 0 10 0 1 10 0 0 10 0 10 0 3 4 0 0 10 0 10 1 0 0 0 10 0 0 10 10 0 0 0 8 0 0 0 0 10 10 0 0 0 0 0 0 0 10 9 0 10 7 1 0 0 10 1 0 10 10 0 9 0 0 6 7 0 0 0 10 0 0 10 10 0 0 4 5 0 10 10 0 10 9 3 9 0 0 0 0 0 10 10 5 0 10 10 0 10 10 0 10 10 0 10 9 0 1 0 10 0 0 0 0 0 10 0 10 10 0 4 7 0 10 0 10 0 0 10 8 10 0 4 8 0 0 0 0 10 0 10 0 10 0 10 10 10 10 0 1 0 10 10 10 0 0 0 0 10 0 0 10 0 1 0 8 10 10 1 0 9 10 0 0 0 10 0 10 0 0 10 10 10 10 0 0 0 0 10 10 0 0 10 0 0 0 0 6 0 0 0 7 7 0 10 0 0 0 10 0 0 0 0 10 9 10 0 10 0 10 0 0 8 0 3 0 0 0 7 0 0 0 10 0 10 10 10 10 10 8 0 10 10 1 1 0 0 0 0 0 0 0 0 0 2 10 10 10 0 1 0 0 10 0 0 10 10 10 0 0 10 10 8 0 10 10 10 0 10 0 0 10 9 5 </values> 2519.85/2520.01 v </instantiation> 2519.85/2520.01
OK 1054458226
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 (12857 MiB free)
memory of node 1: 16384 MiB (12911 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293927-1532379459/watcher-4293927-1532379459 -o /tmp/evaluation-result-4293927-1532379459/solver-4293927-1532379459 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532369368-20796 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4293927-1532379459.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21733, runsolver pid=21730
[startup+0.100119 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 21734
/proc/meminfo: memFree=26367288/32770624 swapFree=67108860/67108860
[pid=21733] ppid=21730 vsize=49740 memory=25792 CPUtime=0.09 cores=0,2,4,6
/proc/21733/stat : 21733 (cosoco) R 21730 21733 20765 0 -1 4202496 6632 0 0 0 9 0 0 0 20 0 1 0 55509210 50933760 6448 33554432000 4194304 6142532 140734858789184 140734858784312 140139833949157 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 28504064 140734858798214 140734858798344 140734858798344 140734858801102 0
/proc/21733/statm: 12435 6448 739 476 0 5757 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49740 KiB
Current children cumulated memory: 25792 KiB
[startup+0.209858 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 21734
/proc/meminfo: memFree=26334304/32770624 swapFree=67108860/67108860
[pid=21733] ppid=21730 vsize=82672 memory=58792 CPUtime=0.21 cores=0,2,4,6
/proc/21733/stat : 21733 (cosoco) R 21730 21733 20765 0 -1 4202496 14908 0 0 0 19 2 0 0 20 0 1 0 55509210 84656128 14698 33554432000 4194304 6142532 140734858789184 140734858784312 140139843887842 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 28504064 140734858798214 140734858798344 140734858798344 140734858801102 0
/proc/21733/statm: 20668 14698 803 476 0 13990 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 82672 KiB
Current children cumulated memory: 58792 KiB
[startup+0.30974 s]*
/proc/loadavg: 2.00 2.01 2.05 5/191 21734
/proc/meminfo: memFree=26320416/32770624 swapFree=67108860/67108860
[pid=21733] ppid=21730 vsize=95780 memory=72128 CPUtime=0.31 cores=0,2,4,6
/proc/21733/stat : 21733 (cosoco) R 21730 21733 20765 0 -1 4202496 18197 0 0 0 29 2 0 0 20 0 1 0 55509210 98078720 18032 33554432000 4194304 6142532 140734858789184 140734858784312 140139833949157 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 28504064 140734858798214 140734858798344 140734858798344 140734858801102 0
/proc/21733/statm: 23945 18032 807 476 0 17267 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 95780 KiB
Current children cumulated memory: 72128 KiB
[startup+0.700303 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 21734
/proc/meminfo: memFree=26260012/32770624 swapFree=67108860/67108860
[pid=21733] ppid=21730 vsize=211496 memory=187760 CPUtime=0.69 cores=0,2,4,6
/proc/21733/stat : 21733 (cosoco) R 21730 21733 20765 0 -1 4202496 47139 0 0 0 63 6 0 0 20 0 1 0 55509210 216571904 46940 33554432000 4194304 6142532 140734858789184 140734858784312 140139833949157 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 28504064 140734858798214 140734858798344 140734858798344 140734858801102 0
/proc/21733/statm: 52874 46940 807 476 0 46196 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 211496 KiB
Current children cumulated memory: 187760 KiB
[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 21734
/proc/meminfo: memFree=26111088/32770624 swapFree=67108860/67108860
[pid=21733] ppid=21730 vsize=380376 memory=356668 CPUtime=1.49 cores=0,2,4,6
/proc/21733/stat : 21733 (cosoco) R 21730 21733 20765 0 -1 4202496 89373 0 0 0 138 11 0 0 20 0 1 0 55509210 389505024 89167 33554432000 4194304 6142532 140734858789184 140734858784312 5802412 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 28504064 140734858798214 140734858798344 140734858798344 140734858801102 0
/proc/21733/statm: 95094 89167 812 476 0 88416 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 380376 KiB
Current children cumulated memory: 356668 KiB
[startup+3.10961 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 21734
/proc/meminfo: memFree=26018932/32770624 swapFree=67108860/67108860
[pid=21733] ppid=21730 vsize=395976 memory=371672 CPUtime=3.1 cores=0,2,4,6
/proc/21733/stat : 21733 (cosoco) R 21730 21733 20765 0 -1 4202496 94024 0 0 0 298 12 0 0 20 0 1 0 55509210 405479424 92918 33554432000 4194304 6142532 140734858789184 140734858785832 5798036 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 28504064 140734858798214 140734858798344 140734858798344 140734858801102 0
/proc/21733/statm: 98994 92918 812 476 0 92316 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 395976 KiB
Current children cumulated memory: 371672 KiB
[startup+6.30022 s]
/proc/loadavg: 2.08 2.03 2.05 3/191 21734
/proc/meminfo: memFree=25990436/32770624 swapFree=67108860/67108860
[pid=21733] ppid=21730 vsize=427500 memory=401672 CPUtime=6.29 cores=0,2,4,6
/proc/21733/stat : 21733 (cosoco) R 21730 21733 20765 0 -1 4202496 103513 0 0 0 615 14 0 0 20 0 1 0 55509210 437760000 100418 33554432000 4194304 6142532 140734858789184 140734858783896 5800076 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 28504064 140734858798214 140734858798344 140734858798344 140734858801102 0
/proc/21733/statm: 106875 100418 812 476 0 100197 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 427500 KiB
Current children cumulated memory: 401672 KiB
[startup+12.7002 s]
/proc/loadavg: 2.08 2.03 2.05 2/189 21734
/proc/meminfo: memFree=26673512/32770624 swapFree=67108860/67108860
[pid=21733] ppid=21730 vsize=489904 memory=461760 CPUtime=12.69 cores=0,2,4,6
/proc/21733/stat : 21733 (cosoco) R 21730 21733 20765 0 -1 4202496 121357 0 0 0 1253 16 0 0 20 0 1 0 55509210 501661696 115440 33554432000 4194304 6142532 140734858789184 140734858785832 5801150 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 28504064 140734858798214 140734858798344 140734858798344 140734858801102 0
/proc/21733/statm: 122476 115440 812 476 0 115798 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 489904 KiB
Current children cumulated memory: 461760 KiB
[startup+25.5002 s]
/proc/loadavg: 2.14 2.05 2.05 3/207 21767
/proc/meminfo: memFree=23661596/32770624 swapFree=67108860/67108860
[pid=21733] ppid=21730 vsize=614400 memory=582040 CPUtime=25.48 cores=0,2,4,6
/proc/21733/stat : 21733 (cosoco) R 21730 21733 20765 0 -1 4202496 152999 0 0 0 2529 19 0 0 20 0 1 0 55509210 629145600 145510 33554432000 4194304 6142532 140734858789184 140734858785832 5802612 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 28504064 140734858798214 140734858798344 140734858798344 140734858801102 0
/proc/21733/statm: 153600 145510 812 476 0 146922 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 614400 KiB
Current children cumulated memory: 582040 KiB
[startup+51.1095 s]
/proc/loadavg: 2.03 2.03 2.05 3/191 21799
/proc/meminfo: memFree=26048592/32770624 swapFree=67108860/67108860
[pid=21733] ppid=21730 vsize=864748 memory=822668 CPUtime=51.09 cores=0,2,4,6
/proc/21733/stat : 21733 (cosoco) R 21730 21733 20765 0 -1 4202496 213553 0 0 0 5079 30 0 0 20 0 1 0 55509210 885501952 205667 33554432000 4194304 6142532 140734858789184 140734858784248 5425291 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 28504064 140734858798214 140734858798344 140734858798344 140734858801102 0
/proc/21733/statm: 216187 205667 812 476 0 209509 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 864748 KiB
Current children cumulated memory: 822668 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/191 21801
/proc/meminfo: memFree=25178924/32770624 swapFree=67108860/67108860
[pid=21733] ppid=21730 vsize=1511976 memory=1454484 CPUtime=102.27 cores=0,2,4,6
/proc/21733/stat : 21733 (cosoco) R 21730 21733 20765 0 -1 4202496 491019 0 0 0 10171 56 0 0 20 0 1 0 55509210 1548263424 363621 33554432000 4194304 6142532 140734858789184 140734858785816 140139834873155 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 28504064 140734858798214 140734858798344 140734858798344 140734858801102 0
/proc/21733/statm: 377994 363621 860 476 0 371316 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 1511976 KiB
Current children cumulated memory: 1454484 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 21809
/proc/meminfo: memFree=25069184/32770624 swapFree=67108860/67108860
[pid=21733] ppid=21730 vsize=1600860 memory=1536696 CPUtime=162.26 cores=0,2,4,6
/proc/21733/stat : 21733 (cosoco) R 21730 21733 20765 0 -1 4202496 712898 0 0 0 16156 70 0 0 20 0 1 0 55509210 1639280640 384174 33554432000 4194304 6142532 140734858789184 140734858785896 5399695 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 28504064 140734858798214 140734858798344 140734858798344 140734858801102 0
/proc/21733/statm: 400215 384174 860 476 0 393537 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 1600860 KiB
Current children cumulated memory: 1536696 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 21834
/proc/meminfo: memFree=25059936/32770624 swapFree=67108860/67108860
[pid=21733] ppid=21730 vsize=1605396 memory=1541604 CPUtime=222.27 cores=0,2,4,6
/proc/21733/stat : 21733 (cosoco) R 21730 21733 20765 0 -1 4202496 935221 0 0 0 22145 82 0 0 20 0 1 0 55509210 1643925504 385401 33554432000 4194304 6142532 140734858789184 140734858785816 5017767 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 28504064 140734858798214 140734858798344 140734858798344 140734858801102 0
/proc/21733/statm: 401349 385401 860 476 0 394671 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 1605396 KiB
Current children cumulated memory: 1541604 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 21835
/proc/meminfo: memFree=25046020/32770624 swapFree=67108860/67108860
[pid=21733] ppid=21730 vsize=1605396 memory=1545496 CPUtime=282.25 cores=0,2,4,6
/proc/21733/stat : 21733 (cosoco) R 21730 21733 20765 0 -1 4202496 1161587 0 0 0 28134 91 0 0 20 0 1 0 55509210 1643925504 386374 33554432000 4194304 6142532 140734858789184 140734858785816 4990720 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 28504064 140734858798214 140734858798344 140734858798344 140734858801102 0
/proc/21733/statm: 401349 386374 860 476 0 394671 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 1605396 KiB
Current children cumulated memory: 1545496 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 21836
/proc/meminfo: memFree=25016648/32770624 swapFree=67108860/67108860
[pid=21733] ppid=21730 vsize=1632632 memory=1575588 CPUtime=342.25 cores=0,2,4,6
/proc/21733/stat : 21733 (cosoco) R 21730 21733 20765 0 -1 4202496 1385062 0 0 0 34124 101 0 0 20 0 1 0 55509210 1671815168 393897 33554432000 4194304 6142532 140734858789184 140734858785928 140139843894094 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 28504064 140734858798214 140734858798344 140734858798344 140734858801102 0
/proc/21733/statm: 408158 393897 860 476 0 401480 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 1632632 KiB
Current children cumulated memory: 1575588 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 21838
/proc/meminfo: memFree=24997684/32770624 swapFree=67108860/67108860
[pid=21733] ppid=21730 vsize=1647880 memory=1593024 CPUtime=402.24 cores=0,2,4,6
/proc/21733/stat : 21733 (cosoco) R 21730 21733 20765 0 -1 4202496 1529862 0 0 0 40115 109 0 0 20 0 1 0 55509210 1687429120 398256 33554432000 4194304 6142532 140734858789184 140734858785816 5047869 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 28504064 140734858798214 140734858798344 140734858798344 140734858801102 0
/proc/21733/statm: 411970 398256 860 476 0 405292 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 1647880 KiB
Current children cumulated memory: 1593024 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 21839
/proc/meminfo: memFree=24991008/32770624 swapFree=67108860/67108860
[pid=21733] ppid=21730 vsize=1651448 memory=1600128 CPUtime=462.23 cores=0,2,4,6
/proc/21733/stat : 21733 (cosoco) R 21730 21733 20765 0 -1 4202496 1707805 0 0 0 46106 117 0 0 20 0 1 0 55509210 1691082752 400032 33554432000 4194304 6142532 140734858789184 140734858785816 5013907 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 28504064 140734858798214 140734858798344 140734858798344 140734858801102 0
/proc/21733/statm: 412862 400032 860 476 0 406184 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 1651448 KiB
Current children cumulated memory: 1600128 KiB
################
# More data... #
################
/proc/21733/statm: 468819 459391 860 476 0 462141 0
Current children cumulated CPU time: 1722.16 s
Current children cumulated vsize: 1875276 KiB
Current children cumulated memory: 1837564 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 21881
/proc/meminfo: memFree=24732228/32770624 swapFree=67108860/67108860
[pid=21733] ppid=21730 vsize=1875276 memory=1837572 CPUtime=1782.16 cores=0,2,4,6
/proc/21733/stat : 21733 (cosoco) R 21730 21733 20765 0 -1 4202496 2567905 0 0 0 178043 173 0 0 20 0 1 0 55509210 1920282624 459393 33554432000 4194304 6142532 140734858789184 140734858785928 5363520 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 28504064 140734858798214 140734858798344 140734858798344 140734858801102 0
/proc/21733/statm: 468819 459393 860 476 0 462141 0
Current children cumulated CPU time: 1782.16 s
Current children cumulated vsize: 1875276 KiB
Current children cumulated memory: 1837572 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 21883
/proc/meminfo: memFree=24732592/32770624 swapFree=67108860/67108860
[pid=21733] ppid=21730 vsize=1875276 memory=1837572 CPUtime=1842.15 cores=0,2,4,6
/proc/21733/stat : 21733 (cosoco) R 21730 21733 20765 0 -1 4202496 2569866 0 0 0 184042 173 0 0 20 0 1 0 55509210 1920282624 459393 33554432000 4194304 6142532 140734858789184 140734858785928 5371724 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 28504064 140734858798214 140734858798344 140734858798344 140734858801102 0
/proc/21733/statm: 468819 459393 860 476 0 462141 0
Current children cumulated CPU time: 1842.15 s
Current children cumulated vsize: 1875276 KiB
Current children cumulated memory: 1837572 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 21885
/proc/meminfo: memFree=24723276/32770624 swapFree=67108860/67108860
[pid=21733] ppid=21730 vsize=1885000 memory=1846344 CPUtime=1902.15 cores=0,2,4,6
/proc/21733/stat : 21733 (cosoco) R 21730 21733 20765 0 -1 4202496 2602037 0 0 0 190040 175 0 0 20 0 1 0 55509210 1930240000 461586 33554432000 4194304 6142532 140734858789184 140734858785896 5013887 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 28504064 140734858798214 140734858798344 140734858798344 140734858801102 0
/proc/21733/statm: 471250 461586 860 476 0 464572 0
Current children cumulated CPU time: 1902.15 s
Current children cumulated vsize: 1885000 KiB
Current children cumulated memory: 1846344 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 21893
/proc/meminfo: memFree=24718056/32770624 swapFree=67108860/67108860
[pid=21733] ppid=21730 vsize=1890756 memory=1851456 CPUtime=1962.16 cores=0,2,4,6
/proc/21733/stat : 21733 (cosoco) R 21730 21733 20765 0 -1 4202496 2610320 0 0 0 196040 176 0 0 20 0 1 0 55509210 1936134144 462864 33554432000 4194304 6142532 140734858789184 140734858785816 5367159 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 28504064 140734858798214 140734858798344 140734858798344 140734858801102 0
/proc/21733/statm: 472689 462864 860 476 0 466011 0
Current children cumulated CPU time: 1962.16 s
Current children cumulated vsize: 1890756 KiB
Current children cumulated memory: 1851456 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 21894
/proc/meminfo: memFree=24694992/32770624 swapFree=67108860/67108860
[pid=21733] ppid=21730 vsize=1916204 memory=1874340 CPUtime=2022.15 cores=0,2,4,6
/proc/21733/stat : 21733 (cosoco) R 21730 21733 20765 0 -1 4202496 2638195 0 0 0 202037 178 0 0 20 0 1 0 55509210 1962192896 468585 33554432000 4194304 6142532 140734858789184 140734858786008 5366716 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 28504064 140734858798214 140734858798344 140734858798344 140734858801102 0
/proc/21733/statm: 479051 468585 860 476 0 472373 0
Current children cumulated CPU time: 2022.15 s
Current children cumulated vsize: 1916204 KiB
Current children cumulated memory: 1874340 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 21895
/proc/meminfo: memFree=24668476/32770624 swapFree=67108860/67108860
[pid=21733] ppid=21730 vsize=1945384 memory=1901092 CPUtime=2082.15 cores=0,2,4,6
/proc/21733/stat : 21733 (cosoco) R 21730 21733 20765 0 -1 4202496 2670601 0 0 0 208034 181 0 0 20 0 1 0 55509210 1992073216 475273 33554432000 4194304 6142532 140734858789184 140734858786008 5215819 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 28504064 140734858798214 140734858798344 140734858798344 140734858801102 0
/proc/21733/statm: 486346 475273 860 476 0 479668 0
Current children cumulated CPU time: 2082.15 s
Current children cumulated vsize: 1945384 KiB
Current children cumulated memory: 1901092 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 21897
/proc/meminfo: memFree=24655712/32770624 swapFree=67108860/67108860
[pid=21733] ppid=21730 vsize=1958752 memory=1913792 CPUtime=2142.15 cores=0,2,4,6
/proc/21733/stat : 21733 (cosoco) R 21730 21733 20765 0 -1 4202496 2699112 0 0 0 214031 184 0 0 20 0 1 0 55509210 2005762048 478448 33554432000 4194304 6142532 140734858789184 140734858785928 5366776 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 28504064 140734858798214 140734858798344 140734858798344 140734858801102 0
/proc/21733/statm: 489688 478448 860 476 0 483010 0
Current children cumulated CPU time: 2142.15 s
Current children cumulated vsize: 1958752 KiB
Current children cumulated memory: 1913792 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 21898
/proc/meminfo: memFree=24640104/32770624 swapFree=67108860/67108860
[pid=21733] ppid=21730 vsize=1975880 memory=1929228 CPUtime=2202.15 cores=0,2,4,6
/proc/21733/stat : 21733 (cosoco) R 21730 21733 20765 0 -1 4202496 2718192 0 0 0 220030 185 0 0 20 0 1 0 55509210 2023301120 482307 33554432000 4194304 6142532 140734858789184 140734858785928 5048052 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 28504064 140734858798214 140734858798344 140734858798344 140734858801102 0
/proc/21733/statm: 493970 482307 860 476 0 487292 0
Current children cumulated CPU time: 2202.15 s
Current children cumulated vsize: 1975880 KiB
Current children cumulated memory: 1929228 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 21899
/proc/meminfo: memFree=24617116/32770624 swapFree=67108860/67108860
[pid=21733] ppid=21730 vsize=2002208 memory=1952964 CPUtime=2262.15 cores=0,2,4,6
/proc/21733/stat : 21733 (cosoco) R 21730 21733 20765 0 -1 4202496 2756396 0 0 0 226027 188 0 0 20 0 1 0 55509210 2050260992 488241 33554432000 4194304 6142532 140734858789184 140734858786008 5138259 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 28504064 140734858798214 140734858798344 140734858798344 140734858801102 0
/proc/21733/statm: 500552 488241 862 476 0 493874 0
Current children cumulated CPU time: 2262.15 s
Current children cumulated vsize: 2002208 KiB
Current children cumulated memory: 1952964 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 21900
/proc/meminfo: memFree=24616872/32770624 swapFree=67108860/67108860
[pid=21733] ppid=21730 vsize=2002520 memory=1953172 CPUtime=2322.15 cores=0,2,4,6
/proc/21733/stat : 21733 (cosoco) R 21730 21733 20765 0 -1 4202496 2759552 0 0 0 232027 188 0 0 20 0 1 0 55509210 2050580480 488293 33554432000 4194304 6142532 140734858789184 140734858785928 5139774 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 28504064 140734858798214 140734858798344 140734858798344 140734858801102 0
/proc/21733/statm: 500630 488293 862 476 0 493952 0
Current children cumulated CPU time: 2322.15 s
Current children cumulated vsize: 2002520 KiB
Current children cumulated memory: 1953172 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 21901
/proc/meminfo: memFree=24616932/32770624 swapFree=67108860/67108860
[pid=21733] ppid=21730 vsize=2002520 memory=1953176 CPUtime=2382.14 cores=0,2,4,6
/proc/21733/stat : 21733 (cosoco) R 21730 21733 20765 0 -1 4202496 2762462 0 0 0 238026 188 0 0 20 0 1 0 55509210 2050580480 488294 33554432000 4194304 6142532 140734858789184 140734858785928 5138259 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 28504064 140734858798214 140734858798344 140734858798344 140734858801102 0
/proc/21733/statm: 500630 488294 862 476 0 493952 0
Current children cumulated CPU time: 2382.14 s
Current children cumulated vsize: 2002520 KiB
Current children cumulated memory: 1953176 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 21903
/proc/meminfo: memFree=24615908/32770624 swapFree=67108860/67108860
[pid=21733] ppid=21730 vsize=2002520 memory=1953228 CPUtime=2442.14 cores=0,2,4,6
/proc/21733/stat : 21733 (cosoco) R 21730 21733 20765 0 -1 4202496 2765451 0 0 0 244026 188 0 0 20 0 1 0 55509210 2050580480 488307 33554432000 4194304 6142532 140734858789184 140734858785928 5175056 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 28504064 140734858798214 140734858798344 140734858798344 140734858801102 0
/proc/21733/statm: 500630 488307 862 476 0 493952 0
Current children cumulated CPU time: 2442.14 s
Current children cumulated vsize: 2002520 KiB
Current children cumulated memory: 1953228 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 21904
/proc/meminfo: memFree=24615904/32770624 swapFree=67108860/67108860
[pid=21733] ppid=21730 vsize=2002520 memory=1953252 CPUtime=2502.15 cores=0,2,4,6
/proc/21733/stat : 21733 (cosoco) R 21730 21733 20765 0 -1 4202496 2768292 0 0 0 250026 189 0 0 20 0 1 0 55509210 2050580480 488313 33554432000 4194304 6142532 140734858789184 140734858785928 5215584 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 28504064 140734858798214 140734858798344 140734858798344 140734858801102 0
/proc/21733/statm: 500630 488313 862 476 0 493952 0
Current children cumulated CPU time: 2502.15 s
Current children cumulated vsize: 2002520 KiB
Current children cumulated memory: 1953252 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 21904
/proc/meminfo: memFree=24615904/32770624 swapFree=67108860/67108860
[pid=21733] ppid=21730 vsize=2002520 memory=1953252 CPUtime=2519.85 cores=0,2,4,6
/proc/21733/stat : 21733 (cosoco) R 21730 21733 20765 0 -1 4202496 2768640 0 0 0 251796 189 0 0 20 0 1 0 55509210 2050580480 488313 33554432000 4194304 6142532 140734858789184 140734858785928 5215611 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 28504064 140734858798214 140734858798344 140734858798344 140734858801102 0
/proc/21733/statm: 500630 488313 862 476 0 493952 0
Current children cumulated CPU time: 2519.85 s
Current children cumulated vsize: 2002520 KiB
Current children cumulated memory: 1953252 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.03 s]
# the end of solver process 21733 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.97 s, system=1.91497 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.03
CPU time (s): 2519.89
CPU user time (s): 2517.97
CPU system time (s): 1.91497
CPU usage (%): 99.9941
Max. virtual memory (cumulated for all children) (KiB): 2002520
Max. memory (cumulated for all children) (KiB): 1953252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.97
system time used= 1.91497
maximum resident set size= 1953312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2768782
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= 187
involuntary context switches= 1067
# summary of solver processes directly reported to runsolver:
# pid: 21733
# total CPU time (s): 2519.89
# total CPU user time (s): 2517.97
# total CPU system time (s): 1.91497
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.49434 second user time and 17.4702 second system time
The end
Begin job on node134 at 2018-07-23 22:57:40 IDJOB=4293927 IDBENCH=141266 IDSOLVER=2752 FILE ID=node134/4293927-1532379459 RUNJOBID= node134-1532369368-20796 PBS_JOBID= 21021570 Free space on /tmp= 55676 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-06-0500_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293927-1532379459/watcher-4293927-1532379459 -o /tmp/evaluation-result-4293927-1532379459/solver-4293927-1532379459 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532369368-20796 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4293927-1532379459.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 26cacd4a9bde3a1253c36df99f6e4e09 RANDOM SEED=610936137 node134.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.68 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.68 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.68 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.68 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: 26387400 kB MemAvailable: 31236404 kB Buffers: 197520 kB Cached: 4913552 kB SwapCached: 0 kB Active: 2492956 kB Inactive: 3412400 kB Active(anon): 743824 kB Inactive(anon): 70292 kB Active(file): 1749132 kB Inactive(file): 3342108 kB Unevictable: 7396 kB Mlocked: 7396 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 219932 kB Writeback: 0 kB AnonPages: 756648 kB Mapped: 39568 kB Shmem: 17056 kB Slab: 175348 kB SReclaimable: 147200 kB SUnreclaim: 28148 kB KernelStack: 3456 kB PageTables: 6540 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1083112 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 698368 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 55684 MiB End job on node134 at 2018-07-23 23:39:40