endOp = {3194,3195,3196,3197,3198,3199...,5109} [3194,5109]
endOp = {3189,3190,3191,3192,3193} [3189,3193]
endOp = {3150,3151,3152,3153,3154,3155...,3188} [3150,3188]
endOp = {3085,3086,3087,3088,3089,3090...,3149} [3085,3149]
endOp = {2985,2986,2987,2988,2989,2990...,3084} [2985,3084]
endOp = {2953,2954,2955,2956,2957,2958...,2984} [2953,2984]
endOp = {2919,2920,2921,2922,2923,2924...,2952} [2919,2952]
endOp = {2900,2901,2902,2903,2904,2905...,2918} [2900,2918]
endOp = {2887,2888,2889,2890,2891,2892...,2899} [2887,2899]
endOp = {2873,2874,2875,2876,2877,2878...,2886} [2873,2886]
endOp = {2773,2774,2775,2776,2777,2778...,2872} [2773,2872]
endOp = {2726,2727,2728,2729,2730,2731...,2772} [2726,2772]
endOp = {2687,2688,2689,2690,2691,2692...,2725} [2687,2725]
endOp = {2668,2669,2670,2671,2672,2673...,2686} [2668,2686]
endOp = {2630,2631,2632,2633,2634,2635...,2667} [2630,2667]
endOp = {2626,2627,2628,2629} [2626,2629]
endOp = {2607,2608,2609,2610,2611,2612...,2625} [2607,2625]
endOp = {2600,2601,2602,2603,2604,2605...,2606} [2600,2606]
endOp = {2594,2595,2596,2597,2598,2599} [2594,2599]
endOp = {2559,2560,2561,2562,2563,2564...,2593} [2559,2593]
endOp = {2540,2541,2542,2543,2544,2545...,2558} [2540,2558]
endOp = {2502,2503,2504,2505,2506,2507...,2539} [2502,2539]
endOp = {2498,2499,2500,2501} [2498,2501]
endOp = {2479,2480,2481,2482,2483,2484...,2497} [2479,2497]
endOp = {2472,2473,2474,2475,2476,2477...,2478} [2472,2478]
endOp = {2466,2467,2468,2469,2470,2471} [2466,2471]
endOp = {2464,2465} [2464,2465]
endOp = {2450,2451,2452,2453,2454,2455...,2463} [2450,2463]
endOp = {2445,2446,2447,2448,2449} [2445,2449]
endOp = {2438,2439,2440,2441,2442,2443...,2444} [2438,2444]
endOp = {2432,2433,2434,2435,2436,2437} [2432,2437]
endOp = {2425,2426,2427,2428,2429,2430...,2431} [2425,2431]
endOp = {2418,2419,2420,2421,2422,2423...,2424} [2418,2424]
endOp = {2391,2392,2393,2394,2395,2396...,2417} [2391,2417]
endOp = {2374,2375,2376,2377,2378,2379...,2390} [2374,2390]
endOp = {2369,2370,2371,2372,2373} [2369,2373]
endOp = {2340,2341,2342,2343,2344,2345...,2368} [2340,2368]
endOp = {2296,2297,2298,2299,2300,2301...,2339} [2296,2339]
endOp = {2272,2273,2274,2275,2276,2277...,2295} [2272,2295]
endOp = {2262,2263,2264,2265,2266,2267...,2271} [2262,2271]
endOp = {2257,2258,2259,2260,2261} [2257,2261]
endOp = 2256 [2256,2256]
endOp = {2252,2253,2254,2255} [2252,2255]
endOp = {2245,2246,2247,2248,2249,2250...,2251} [2245,2251]
endOp = {2218,2219,2220,2221,2222,2223...,2244} [2218,2244]
endOp = {2207,2208,2209,2210,2211,2212...,2217} [2207,2217]
endOp = {2192,2193,2194,2195,2196,2197...,2206} [2192,2206]
endOp = {2183,2184,2185,2186,2187,2188...,2191} [2183,2191]
endOp = {2176,2177,2178,2179,2180,2181...,2182} [2176,2182]
endOp = {2171,2172,2173,2174,2175} [2171,2175]
endOp = {2168,2169,2170} [2168,2170]
endOp = {2165,2166,2167} [2165,2167]
endOp = {2144,2145,2146,2147,2148,2149...,2164} [2144,2164]
endOp = {2133,2134,2135,2136,2137,2138...,2143} [2133,2143]
endOp = {2115,2116,2117,2118,2119,2120...,2132} [2115,2132]
endOp = 2114 [2114,2114]
endOp = {2111,2112,2113} [2111,2113]
endOp = {2109,2110} [2109,2110]
endOp = {2080,2081,2082,2083,2084,2085...,2108} [2080,2108]
endOp = {2077,2078,2079} [2077,2079]
endOp = {2063,2064,2065,2066,2067,2068...,2076} [2063,2076]
endOp = 2062 [2062,2062]
endOp = 2061 [2061,2061]
endOp = {2056,2057,2058,2059,2060} [2056,2060]
endOp = {2045,2046,2047,2048,2049,2050...,2055} [2045,2055]
endOp = {2035,2036,2037,2038,2039,2040...,2044} [2035,2044]
endOp = 2034 [2034,2034]
endOp = {2025,2026,2027,2028,2029,2030...,2033} [2025,2033]
endOp = {2007,2008,2009,2010,2011,2012...,2024} [2007,2024]
endOp = 2006 [2006,2006]
endOp = {2003,2004,2005} [2003,2005]
endOp = {2001,2002} [2001,2002]
endOp = {1972,1973,1974,1975,1976,1977...,2000} [1972,2000]
endOp = {1969,1970,1971} [1969,1971]
endOp = {1955,1956,1957,1958,1959,1960...,1968} [1955,1968]
endOp = 1954 [1954,1954]
endOp = 1953 [1953,1953]
endOp = {1948,1949,1950,1951,1952} [1948,1952]
endOp = {1937,1938,1939,1940,1941,1942...,1947} [1937,1947]
endOp = {1927,1928,1929,1930,1931,1932...,1936} [1927,1936]
endOp = 1926 [1926,1926]
endOp = {1915,1916,1917,1918,1919,1920...,1925} [1915,1925]
endOp = {1904,1905,1906,1907,1908,1909...,1914} [1904,1914]
endOp = {1897,1898,1899,1900,1901,1902...,1903} [1897,1903]
endOp = {1881,1882,1883,1884,1885,1886...,1896} [1881,1896]
endOp = {1870,1871,1872,1873,1874,1875...,1880} [1870,1880]
endOp = {1856,1857,1858,1859,1860,1861...,1869} [1856,1869]
endOp = 1855 [1855,1855]
endOp = {1850,1851,1852,1853,1854} [1850,1854]
endOp = {1846,1847,1848,1849} [1846,1849]
endOp = 1845 [1845,1845]
endOp = {1838,1839,1840,1841,1842,1843...,1844} [1838,1844]
endOp = 1837 [1837,1837]
endOp = {1834,1835,1836} [1834,1836]
endOp = {1827,1828,1829,1830,1831,1832...,1833} [1827,1833]
endOp = {1825,1826} [1825,1826]
endOp = 1824 [1824,1824]
endOp = {1822,1823} [1822,1823]
endOp = {1814,1815,1816,1817,1818,1819...,1821} [1814,1821]
endOp = {1812,1813} [1812,1813]
endOp = 1811 [1811,1811]
endOp = {1806,1807,1808,1809,1810} [1806,1810]
endOp = 1805 [1805,1805]
endOp = {1802,1803,1804} [1802,1804]
endOp = {1800,1801} [1800,1801]
endOp = {1792,1793,1794,1795,1796,1797...,1799} [1792,1799]
endOp = 1791 [1791,1791]
endOp = {1789,1790} [1789,1790]
endOp = {1781,1782,1783,1784,1785,1786...,1788} [1781,1788]
endOp = {1774,1775,1776,1777,1778,1779...,1780} [1774,1780]
endOp = {1769,1770,1771,1772,1773} [1769,1773]
endOp = {1763,1764,1765,1766,1767,1768} [1763,1768]
endOp = {1761,1762} [1761,1762]
endOp = {1757,1758,1759,1760} [1757,1760]
endOp = {1747,1748,1749,1750,1751,1752...,1756} [1747,1756]
endOp = {1736,1737,1738,1739,1740,1741...,1746} [1736,1746]
endOp = {1730,1731,1732,1733,1734,1735} [1730,1735]
endOp = {1728,1729} [1728,1729]
endOp = {1719,1720,1721,1722,1723,1724...,1727} [1719,1727]
endOp = {1716,1717,1718} [1716,1718]
endOp = {1714,1715} [1714,1715]
endOp = {1712,1713} [1712,1713]
endOp = {1706,1707,1708,1709,1710,1711} [1706,1711]
endOp = {1700,1701,1702,1703,1704,1705} [1700,1705]
endOp = 1699 [1699,1699]
endOp = {1697,1698} [1697,1698]
endOp = 1696 [1696,1696]
endOp = {1694,1695} [1694,1695]
endOp = {1682,1683,1684,1685,1686,1687...,1693} [1682,1693]
endOp = {1679,1680,1681} [1679,1681]
endOp = {1677,1678} [1677,1678]
endOp = {1674,1675,1676} [1674,1676]
endOp = {1665,1666,1667,1668,1669,1670...,1673} [1665,1673]
endOp = 1664 [1664,1664]
endOp = 1663 [1663,1663]
endOp = {1644,1645,1646,1647,1648,1649...,1662} [1644,1662]
endOp = 1643 [1643,1643]
endOp = 1642 [1642,1642]
endOp = 1641 [1641,1641]
endOp = 1640 [1640,1640]
endOp = {1635,1636,1637,1638,1639} [1635,1639]
endOp = 1634 [1634,1634]
endOp = 1633 [1633,1633]
endOp = 1632 [1632,1632]
endOp = 1631 [1631,1631]
endOp = {1629,1630} [1629,1630]
endOp = {1624,1625,1626,1627,1628} [1624,1628]
endOp = {1620,1621,1622,1623} [1620,1623]
endOp = {1616,1617,1618,1619} [1616,1619]
endOp = {1609,1610,1611,1612,1613,1614...,1615} [1609,1615]
endOp = {1599,1600,1601,1602,1603,1604...,1608} [1599,1608]
endOp = {1596,1597,1598} [1596,1598]
endOp = {1591,1592,1593,1594,1595} [1591,1595]
endOp = {1581,1582,1583,1584,1585,1586...,1590} [1581,1590]
endOp = {1578,1579,1580} [1578,1580]
endOp = {1568,1569,1570,1571,1572,1573...,1577} [1568,1577]
endOp = {1564,1565,1566,1567} [1564,1567]
endOp = {1555,1556,1557,1558,1559,1560...,1563} [1555,1563]
endOp = {1553,1554} [1553,1554]
endOp = {1549,1550,1551,1552} [1549,1552]
endOp = {1544,1545,1546,1547,1548} [1544,1548]
endOp = {1536,1537,1538,1539,1540,1541...,1543} [1536,1543]
endOp = {1524,1525,1526,1527,1528,1529...,1535} [1524,1535]
endOp = {1522,1523} [1522,1523]
endOp = 1521 [1521,1521]
endOp = {1508,1509,1510,1511,1512,1513...,1520} [1508,1520]
endOp = {1493,1494,1495,1496,1497,1498...,1507} [1493,1507]
endOp = {1491,1492} [1491,1492]
endOp = {1481,1482,1483,1484,1485,1486...,1490} [1481,1490]
endOp = {1479,1480} [1479,1480]
endOp = {1470,1471,1472,1473,1474,1475...,1478} [1470,1478]
endOp = {1466,1467,1468,1469} [1466,1469]
endOp = {1458,1459,1460,1461,1462,1463...,1465} [1458,1465]
endOp = 1457 [1457,1457]
endOp = {1455,1456} [1455,1456]
endOp = {1452,1453,1454} [1452,1454]
endOp = {1449,1450,1451} [1449,1451]
endOp = 1448 [1448,1448]
endOp = {1446,1447} [1446,1447]
endOp = {1423,1424,1425,1426,1427,1428...,1445} [1423,1445]
endOp = {1410,1411,1412,1413,1414,1415...,1422} [1410,1422]
endOp = 1409 [1409,1409]
endOp = 1408 [1408,1408]
endOp = {1406,1407} [1406,1407]
endOp = 1405 [1405,1405]
endOp = {1389,1390,1391,1392,1393,1394...,1404} [1389,1404]
endOp = {1383,1384,1385,1386,1387,1388} [1383,1388]
endOp = 1382 [1382,1382]
endOp = 1381 [1381,1381]
endOp = {1378,1379,1380} [1378,1380]
endOp = {1375,1376,1377} [1375,1377]
endOp = 1374 [1374,1374]
endOp = {1369,1370,1371,1372,1373} [1369,1373]
endOp = {1367,1368} [1367,1368]
endOp = 1366 [1366,1366]
endOp = {1360,1361,1362,1363,1364,1365} [1360,1365]
endOp = {1358,1359} [1358,1359]
endOp = {1350,1351,1352,1353,1354,1355...,1357} [1350,1357]
endOp = {1344,1345,1346,1347,1348,1349} [1344,1349]
endOp = 1343 [1343,1343]
endOp = 1342 [1342,1342]
endOp = {1339,1340,1341} [1339,1341]
endOp = {1337,1338} [1337,1338]
endOp = {1335,1336} [1335,1336]
endOp = 1334 [1334,1334]
endOp = {1332,1333} [1332,1333]
endOp = 1331 [1331,1331]
endOp = {1327,1328,1329,1330} [1327,1330]
endOp = 1326 [1326,1326]
endOp = 1325 [1325,1325]
endOp = 1324 [1324,1324]
endOp = 1323 [1323,1323]
endOp = {1321,1322} [1321,1322]
endOp = 1320 [1320,1320]
endOp = {1317,1318,1319} [1317,1319]
endOp = {1315,1316} [1315,1316]
endOp = {1312,1313,1314} [1312,1314]
endOp = 1311 [1311,1311]
endOp = 1310 [1310,1310]
endOp = 1309 [1309,1309]
endOp = 1308 [1308,1308]
endOp = {1305,1306,1307} [1305,1307]
endOp = 1304 [1304,1304]
endOp = 1303 [1303,1303]
endOp = 1302 [1302,1302]
endOp = 1301 [1301,1301]
endOp = {1297,1298,1299,1300} [1297,1300]
endOp = {1293,1294,1295,1296} [1293,1296]
endOp = {1291,1292} [1291,1292]
endOp = {1289,1290} [1289,1290]
endOp = 1288 [1288,1288]
endOp = {1286,1287} [1286,1287]
endOp = 1285 [1285,1285]
endOp = {1283,1284} [1283,1284]
endOp = {1281,1282} [1281,1282]
endOp = 1280 [1280,1280]
endOp = 1279 [1279,1279]
endOp = {1277,1278} [1277,1278]
endOp = {1275,1276} [1275,1276]
endOp = 1274 [1274,1274]
endOp = 1273 [1273,1273]
endOp = {1271,1272} [1271,1272]
endOp = {1269,1270} [1269,1270]
endOp = {1266,1267,1268} [1266,1268]
endOp = 1265 [1265,1265]
endOp = 1264 [1264,1264]
endOp = 1263 [1263,1263]
endOp = {1260,1261,1262} [1260,1262]
endOp = 1259 [1259,1259]
endOp = 1258 [1258,1258]
endOp = 1257 [1257,1257]
endOp = {1251,1252,1253,1254,1255,1256} [1251,1256]
endOp = {1244,1245,1246,1247,1248,1249...,1250} [1244,1250]
endOp = {1240,1241,1242,1243} [1240,1243]
endOp = 1239 [1239,1239]
endOp = 1238 [1238,1238]
endOp = 1237 [1237,1237]
endOp = 1236 [1236,1236]
endOp = 1235 [1235,1235]
endOp = {1233,1234} [1233,1234]
endOp = {1229,1230,1231,1232} [1229,1232]
endOp = {1227,1228} [1227,1228]
endOp = {1225,1226} [1225,1226]
endOp = {1222,1223,1224} [1222,1224]
endOp = 1221 [1221,1221]
endOp = {1216,1217,1218,1219,1220} [1216,1220]
endOp = {1213,1214,1215} [1213,1215]
endOp = {1211,1212} [1211,1212]
endOp = {1207,1208,1209,1210} [1207,1210]
endOp = {1205,1206} [1205,1206]
endOp = 1204 [1204,1204]
endOp = {1202,1203} [1202,1203]
endOp = {1197,1198,1199,1200,1201} [1197,1201]
endOp = 1196 [1196,1196]
endOp = {1191,1192,1193,1194,1195} [1191,1195]
endOp = 1190 [1190,1190]
endOp = {1185,1186,1187,1188,1189} [1185,1189]
endOp = {1180,1181,1182,1183,1184} [1180,1184]
endOp = {1177,1178,1179} [1177,1179]
endOp = {1172,1173,1174,1175,1176} [1172,1176]
endOp = {1170,1171} [1170,1171]
endOp = {1168,1169} [1168,1169]
endOp = {1166,1167} [1166,1167]
endOp = {1164,1165} [1164,1165]
endOp = 1163 [1163,1163]
endOp = {1159,1160,1161,1162} [1159,1162]
endOp = 1158 [1158,1158]
endOp = 1157 [1157,1157]
endOp = 1156 [1156,1156]
endOp = 1155 [1155,1155]
endOp = 1154 [1154,1154]
endOp = {1149,1150,1151,1152,1153} [1149,1153]
endOp = {1145,1146,1147,1148} [1145,1148]
endOp = {1137,1138,1139,1140,1141,1142...,1144} [1137,1144]
endOp = {1133,1134,1135,1136} [1133,1136]
endOp = {1125,1126,1127,1128,1129,1130...,1132} [1125,1132]
endOp = {1120,1121,1122,1123,1124} [1120,1124]
endOp = {1118,1119} [1118,1119]
endOp = 1117 [1117,1117]
endOp = 1116 [1116,1116]
endOp = {1112,1113,1114,1115} [1112,1115]
endOp = 1111 [1111,1111]
endOp = 1110 [1110,1110]
endOp = 1109 [1109,1109]
endOp = {1107,1108} [1107,1108]
endOp = 1106 [1106,1106]
endOp = 1105 [1105,1105]
endOp = {1101,1102,1103,1104} [1101,1104]
endOp = {1099,1100} [1099,1100]
endOp = {1095,1096,1097,1098} [1095,1098]
endOp = {1091,1092,1093,1094} [1091,1094]
endOp = {1089,1090} [1089,1090]
endOp = {1087,1088} [1087,1088]
endOp = {1085,1086} [1085,1086]
endOp = {1079,1080,1081,1082,1083,1084} [1079,1084]
endOp = {1077,1078} [1077,1078]
endOp = 1076 [1076,1076]
endOp = 1075 [1075,1075]
endOp = {1071,1072,1073,1074} [1071,1074]
endOp = 1070 [1070,1070]
endOp = {1068,1069} [1068,1069]
endOp = {1066,1067} [1066,1067]
endOp = {1064,1065} [1064,1065]
endOp = {1061,1062,1063} [1061,1063]
endOp = {1055,1056,1057,1058,1059,1060} [1055,1060]
endOp = 1054 [1054,1054]
endOp = 1053 [1053,1053]
endOp = {1043,1044,1045,1046,1047,1048...,1052} [1043,1052]
endOp = 1042 [1042,1042]
endOp = {1034,1035,1036,1037,1038,1039...,1041} [1034,1041]
endOp = {1032,1033} [1032,1033]
endOp = {1029,1030,1031} [1029,1031]
endOp = {1025,1026,1027,1028} [1025,1028]
endOp = {1022,1023,1024} [1022,1024]
endOp = {1019,1020,1021} [1019,1021]
endOp = 1018 [1018,1018]
endOp = 1017 [1017,1017]
endOp = {1010,1011,1012,1013,1014,1015...,1016} [1010,1016]
endOp = {1008,1009} [1008,1009]
endOp = {1003,1004,1005,1006,1007} [1003,1007]
endOp = {1001,1002} [1001,1002]
endOp = 1000 [1000,1000]
endOp = 999 [999,999]
endOp = {994,995,996,997,998} [994,998]
endOp = 993 [993,993]
endOp = 992 [992,992]
endOp = {990,991} [990,991]
endOp = 989 [989,989]
endOp = {987,988} [987,988]
endOp = {984,985,986} [984,986]
endOp = {982,983} [982,983]
endOp = 981 [981,981]
endOp = {978,979,980} [978,980]
endOp = {973,974,975,976,977} [973,977]
endOp = {971,972} [971,972]
endOp = {969,970} [969,970]
endOp = {967,968} [967,968]
endOp = {964,965,966} [964,966]
endOp = {960,961,962,963} [960,963]
endOp = {955,956,957,958,959} [955,959]
endOp = 954 [954,954]
endOp = {950,951,952,953} [950,953]
endOp = 949 [949,949]
endOp = 948 [948,948]
endOp = {940,941,942,943,944,945...,947} [940,947]
endOp = {937,938,939} [937,939]
endOp = {935,936} [935,936]
endOp = 934 [934,934]
endOp = {930,931,932,933} [930,933]
nodes: 1984905  cpu: 780.72614