Quelle  conjugacyclasses.g   Sprache: unbekannt

#############################################################################
##
#W  conjugacyclasses.g            GAP4 Package `RCWA'             Stefan Kohl
##
##  Data library of groups generated by 3 class transpositions which inter-
##  change residue classes with moduli <= 6: part containing lists of indices
##  of groups which are conjugate in RCWA(Z).
##
##  The list 'conjugacyclasses' below contains lists of indices of conjugate
##  groups in the list grps. Here 'conjugate' means 'conjugate in RCWA(Z)'.
##  Due to the computational difficulty of conjugacy tests for the groups
##  in question it is not guaranteed that grps[i] and grps[j] are not
##  conjugate if i and j do not lie in the same list in 'conjugacyclasses'.
##
#############################################################################

return [[1,2,68],
 [3,7,69,73,219,220,222,223,226,227,237,239,465,466,468,469,
   472,473,483,485,2413,2450,2696,4558,4579,4825,8917,8918,
   8920,8921,8924,8925,8935,8937,11043,11045,11046,11047,11052,
   11061,11062,12819,12820,12822,12824,12827,12829,12837,12840,
   12844,13608,13654,13738,13889,13920,14083,18909,18953,19032,
   19146,19545,19696],[4,10,70,76],
 [5,8,71,74,2539,4684,15607,15608,16252,23936,23938,24046],
 [6,12,75,77],[9,11,72,78],[13,14,16,19,79,80,82,85],
 [15,17,20,81,83,86],[18,21,84,87],[22,88],
 [23,31,44,90,94,107,1296,1297,1307,1309,1349,1391,1424,1426,
   1437,1439,1472,1511,3686,3725,3905,3970,5858,5859,5870,5872,
   7860,7939,8130,8134,13772,14175,14198,19010,19278,19376,
   42528,42571,42711,42800,43373,44353,45930,45955,45987,46669,
   47631,48470],
 [24,25,27,28,33,35,46,48,97,98,99,101,108,110,112,114,154,
   155,159,162,172,175,2303,2304,2309,2312,2323,2325,2368,
   2369,2374,2377,2388,2390,4513,4514,4519,4522,4533,4535],
 [26,32,41,42,89,91,92,93,1289,1290,1292,1293,1298,1300,1311,
   1313,1333,1334,1335,1376,1378,1418,1419,1422,1423,1433,1435,
   1459,1613,1622,1623,1657,1660,1685,1691,1696,1756,1763,1928,
   1930,1932,1934,1955,2049,3563,3565,3567,3605,3607,3609,3643,
   3644,3646,3868,3869,3871,4141,4166,4215,4217,5647,5648,5649,
   5732,5733,5734,5775,5815,5857,5861,5868,5874,5972,5985,6113,
   6315,7733,7734,7736,7776,7777,7779,7898,7900,7908,8050,8063,
   8085,8121,8127,8132,8368,38606,38607,38669,38670,39326,39332,
   39363,39369,40459,40462,40488,40491,40814,40815,40822,40823,
   41249,41254,41279,41284,41969,41970,42091,42092,42272,42273,
   42277,42278,43268,43274,43339,43347,43406,43414,43468,43469,
   43528,43533,43634,43663,43976,43977,44110,44113,44168,44169,
   44396,44416,44454,44456,44830,44831,45297,45305,45774,45776,
   45781,45782,46477,46483,46597,46732,46786,46803,46951,46954,
   47348,47349,47354,47356,47444,47449,47584,47608,47731,47764,
   47908,47911,47989,48104,48447,48552,48570,48588,48897,48903,
   48904,48905,49060,49104,49159,49163,49165,49166,49421,49450,
   49588,49803,50182,50789,50834,50856,51986,52030,52073,52107,
   52131,52172],
 [29,37,43,47,102,104,116,118,1545,1796,1857,1982],
 [30,38,109,115],[34,36,103,117],[39,54,105,120],
 [40,55,111,119],[45,53,106,121],[49,50,95,96],
 [51,52,100,113,14065,19486],[56,59,62,67,126,129,130,131],
 [57,58,60,61,63,64,65,66,122,123,124,125,127,128,132,133],
 [134,138,6638],[135,141],[136,139],[137,140,142,143],
 [144,145,147,150],[146,148,151],[149,152],[153],
 [156,158,163,166,173,177,1339,1340,1341,1343,1350,1352,1354,
   1356,1381,1382,1383,1385,1392,1394,1396,1398,1462,1463,1464,
   1466,1473,1475,1477,1479,1501,1502,1503,1505,1512,1514,1516,
   1518,1614,1616,1627,1629,1649,1651,1662,1664,1692,1694,1757,
   1759,1957,1959,2004,2006],
 [157,164,179,2305,2310,2321,2370,2375,2386,4515,4520,4531,
   12685,12686,12805,12807,12808,18290],[160,178,181,183],
 [161,165,180,182,1596,1732],[167,168,169,174],[170,185],
 [171,176,184,186],[187,190,191,193,194,195,196,198],
 [188,189,192,197],
 [199,200,203,205,263,265,266,327,330,449,451,510,3762,3763,
   3766,4030,4031,4034,4190,4216,5862,5864,5876,5878,6140,6154,
   6211,6483,8014,8015,8030,8120,8135,8137,8170,8545,8717,8718,
   8720,8779,8780,8782,8901,8903,10732,10733,10735,10856,10915,
   12745,12806,16406,40305,40306,40307,40404,40405,40406,40810,
   40811,42111,42114,42115,42138,42141,42142,42192,42262,42773,
   42775,42832,42834,43499,43500,43503,43659,43662,44045,44047,
   44078,44080,44455,45339,45340,45341,45746,45759,45864,45866,
   46769,47330,47344,47476,47478,47748,48038,48061,48589,48742,
   48745,48746,48797,48866,49147,49148,49842,50097,51940],
 [201,204,206,207,388,450,452,453,3805,3806,3945,3946,4008,
   4009,4065,4066,5907,5913,5944,5950,6076,6090,6179,6428,7980,
   7987,8234,8259,8262,8288,8291,8423,8840,8902,8904,8905,
   10796,10973,11031,11032],[202],
 [208,209,211,214,454,455,457,460,8906,8907,8909,8912],
 [210,212,215,456,458,461,8908,8910,8913,12809,12810,12812,
   12815],
 [213,216,459,462,8911,8914,29895,33490,35670,36759,37329,37828]
  ,[217,463,8915],[218,221,236,464,467,482,8916,8919,8934],
 [224,225,233,238,244,245,470,471,479,484,490,491,8922,8923,
   8931,8936,8942,8943],
 [228,230,241,243,474,476,487,489,8926,8928,8939,8941,11055,
   11066],
 [229,231,232,242,246,247,475,477,478,488,492,493,8927,8929,
   8930,8940,8944,8945],[234,249,480,495,8932,8947],
 [235,240,248,250,481,486,494,496,8933,8938,8946,8948],
 [251,252,253,254,255,256,257,258,259,260,261,262,497,498,
   499,500,501,502,503,504,505,506,507,508,8949,8950,8951,
   8952,8953,8954,8955,8956,8957,8958,8959,8960,11076,11077,
   11078,11079,11080,11081,11082,11083,11084,11085,11086,11087],
 [264,267,269,270,391,568,626,627],[268,328],
 [271,272,274,277,628,629,631,634],[273,275,278,630,632,635]
  ,[276,279,633,636],[280,637],
 [281,284,299,343,346,361,523,526,541,638,641,656,2575,2755,
   4704,4884,6727,11808,11881,12076,12307,22259,22332,22527,
   22758],[282,286,289,302,639,643,646,659],
 [283,285,290,300,344,348,351,364,524,528,531,544,640,642,
   647,657],[287,296,301,308,644,653,658,665],
 [288,307,645,664],[291,306,648,663],
 [292,294,295,305,309,310,649,651,652,662,666,667],
 [293,304,650,661],[297,312,654,669],
 [298,303,311,313,655,660,668,670],
 [314,315,316,317,318,319,320,321,322,323,324,325,671,672,
   673,674,675,676,677,678,679,680,681,682],
 [326,329,331,332,389,390,392,509,511,512,570,683],
 [333,334,336,339,513,514,516,519],[335,337,340,515,517,520]
  ,[338,341,518,521],[342,522],
 [345,347,352,362,525,527,532,542],
 [349,358,363,370,529,538,543,550],[350,369,530,549],
 [353,368,533,548],
 [354,356,357,367,371,372,534,536,537,547,551,552],
 [355,366,535,546],[359,374,539,554],
 [360,365,373,375,540,545,553,555],
 [376,377,378,379,380,381,382,383,384,385,386,387,556,557,
   558,559,560,561,562,563,564,565,566,567,2218,2223,2227,
   2232,2236,2241,2245,2250,2253,2255,2269,2273],[393,569],
 [394,577,690,739],[395,574,687,740],[396,578,691,741],
 [397,400,571,572,684,685,742,745],[398,575,688,743],
 [399,579,692,744],[401,573,686,746],[402,576,689,747],
 [403,580,693,748],[404,599,712,749],
 [405,409,589,602,702,715,750,754],
 [406,408,590,600,703,713,751,753],
 [407,422,581,584,694,697,752,767],[410,608,721,755],
 [411,419,601,607,714,720,756,764],
 [412,425,582,586,695,699,757,770],
 [413,423,583,585,696,698,758,768],
 [414,429,591,606,704,719,759,774],[415,609,722,760],
 [416,427,593,604,706,717,761,772],[417,595,708,762],
 [418,594,707,763],[420,435,597,612,710,725,765,780],
 [421,436,603,611,716,724,766,781],[424,596,709,769],
 [426,434,598,613,711,726,771,779],[428,610,723,773],
 [430,431,587,588,700,701,775,776],[432,592,705,777],
 [433,605,718,778],[437,440,621,623,734,736,782,785],
 [438,439,619,624,732,737,783,784],
 [441,445,620,625,733,738,786,790],
 [442,444,446,447,614,615,616,617,727,728,729,730,787,789,
   791,792],[443,448,618,622,731,735,788,793],
 [794,795,848,849,850,953,955,956,1103],[796,799,852],
 [797,798,853,854,901,903,954,1004,1005,1007,1104,1151],
 [800,904],[801,802,1054,1057,1105,1198],
 [803,806,821,856,859,874,959,962,977,1106,1109,1124],
 [804,808,811,824,857,861,864,877,960,964,967,980,1107,1111,
   1114,1127],
 [805,807,812,822,858,860,865,875,961,963,968,978,1108,1110,
   1115,1125],[809,863,985,1133],
 [810,818,862,986,1126,1132],
 [813,828,866,881,969,984,1116,1131],[814,827,1134,1135],
 [815,826,868,879,971,982,1118,1129],[816,880,988,1120],
 [817,867,987,1119],[819,834,1122,1137],[820,835,1128,1136],
 [823,882,966,1121],[825,833,878,886,976,991,1123,1138],
 [829,830,876,974,1112,1113],[831,869,885,973,983,1117],
 [832,870,884,970,972,1130],
 [836,839,890,891,895,900,996,997,1000,1002,1146,1148],
 [837,838,842,847,889,892,893,894,897,899,993,994,998,999,
   1001,1003,1143,1144,1147,1149],
 [840,841,843,844,845,846,896,898,992,995,1139,1140,1141,1142,
   1145,1150],[851,957],[855,958],[871,883,965,979],
 [872,887,975,990],[873,888,981,989],[902,1006],
 [905,907,1152],[906,1055,1056],
 [908,911,926,1009,1012,1027,1058,1061,1076,1153,1156,1171,
   1199,1202,1217],
 [909,913,916,929,1010,1014,1017,1030,1154,1158,1161,1174],
 [910,912,917,927,1011,1013,1018,1028,1155,1157,1162,1172],
 [914,915,1179,1180],[918,933,1019,1034,1163,1178],
 [919,1181],[920,931,1021,1032,1165,1176],
 [921,1033,1038,1167],[922,1020,1037,1166],
 [923,1015,1036,1173],[924,939,1169,1184],
 [925,940,1175,1183],[928,934,1160,1168],
 [930,938,1170,1185],[932,1182],[935,1024,1029,1159],
 [936,937,1022,1023,1164,1177],
 [941,942,943,944,947,952,1043,1044,1046,1047,1048,1050,1052,
   1053,1190,1191,1193,1194,1195,1196],
 [945,946,949,951,1042,1045,1049,1051,1187,1188,1192,1197],
 [948,950,1186,1189],[1008],[1016,1035],[1025,1040],
 [1026,1031,1039,1041],
 [1059,1063,1066,1079,1200,1204,1207,1220],
 [1060,1062,1067,1077,1201,1203,1208,1218],[1064,1226],
 [1065,1225],[1068,1083,1209,1224],[1069,1227],
 [1070,1081,1211,1222],[1071,1087,1213,1223],
 [1072,1086,1210,1212],[1073,1085,1205,1219],
 [1074,1089,1215,1230],[1075,1090,1221,1229],[1078,1214],
 [1080,1088,1216,1231],[1082,1228],[1084,1206],
 [1091,1094,1095,1096,1099,1101,1233,1234,1238,1239,1241,1243],
 [1092,1093,1097,1102,1236,1237,1240,1242],
 [1098,1100,1232,1235],[1244,1247,1262],
 [1245,1249,1252,1265],[1246,1248,1253,1263],[1250,1271],
 [1251,1270],[1254,1269],[1255,1272],[1256,1267],
 [1257,1258],[1259,1264],[1260,1275],[1261,1266,1274,1276],
 [1268,1273],[1277,1280,1284,1286],
 [1278,1279,1281,1282,1283,1285,1287,1288],
 [1291,1306,1432,3520,3836,5692,5867,7819,8128,38304,38497,
   38530,39286,39404,39532,40108,40263,40328,41154,41217,41900,
   41995,42639,42671],[1294,1308,1421,1440,1846,1936],
 [1295,1303,1420,1441,1929,1935],
 [1299,1301,1302,1312,1425,1438,1442,1443,1787,1817,1937,1938,
   7754,7797,8057,8337],[1304,1319,1874,1940],
 [1305,1320,1931,1939],
 [1310,1318,1431,1436,1444,1446,1901,1941],
 [1314,1315,1429,1434,1549,1586],
 [1316,1317,1427,1428,1724,1730,1783,1933,2143],
 [1321,1324,1327,1332,1448,1449,1452,1457,1946,1949,1950,1951],
 [1322,1323,1325,1326,1328,1329,1330,1331,1447,1450,1451,1453,
   1454,1455,1456,1458,1942,1943,1944,1945,1947,1948,1952,1953]
  ,[1336,1377,1625,1658,1698,1761],
 [1337,1338,1499,1500,1538,1630,1631,1688,1693,1848,1853,1983,
   2007,2008,2108],
 [1342,1355,1504,1517,1632,1633,1686,1687,1794,1824,2009,2010],
 [1344,1346,1358,1360,1387,1388,1400,1401,1468,1469,1481,1482,
   1506,1508,1520,1522,1539,1540,1542,1544,1550,1552,1555,1578,
   1579,1580,1591,1592,1593,1618,1624,1628,1650,1652,1659,1684,
   1699,1701,1725,1726,1731,1762,1764,1767,1784,1788,1789,1814,
   1819,1820,1826,1856,1954,1979,2005,2048,2050,2053,2089,2091,
   2109,2110,2126,2127],
 [1345,1359,1386,1402,1467,1483,1507,1521,1615,1617,1653,1663,
   1697,1702,1718,1727,1729,1766,1790,1818,1958,2052,2069,2092]
  ,[1347,1362,1509,1524,1620,1635,1877,2012],
 [1348,1363,1510,1525,1626,1634,2003,2011],
 [1351,1357,1393,1399,1474,1480,1513,1519,1541,1543,1554,1556,
   1576,1577,1587,1589,1619,1654,1700,1765,1847,1849,2051,2090]
  ,[1353,1361,1515,1523,1621,1636,1904,2013],
 [1364,1365,1366,1367,1369,1370,1374,1375,1526,1527,1528,1529,
   1531,1532,1536,1537,1638,1639,1641,1642,1644,1645,1646,1647,
   2015,2016,2018,2019,2021,2022,2023,2024],
 [1368,1371,1372,1373,1530,1533,1534,1535,1637,1640,1643,1648,
   2014,2017,2020,2025],
 [1379,1380,1460,1461,1665,1666,1753,1758,1851,1960,1961,1981],
 [1384,1397,1465,1478,1667,1668,1751,1752,1792,1822,1962,1963],
 [1389,1390,1404,1405,1470,1471,1485,1486,1655,1661,1669,1670,
   1873,1875,1878,1886,1888,1914,1956,1964,1965,2034,2174,2188]
  ,[1395,1403,1476,1484,1656,1671,1902,1966],
 [1406,1407,1408,1409,1411,1412,1416,1417,1487,1488,1489,1490,
   1492,1493,1497,1498,1673,1674,1676,1677,1679,1680,1681,1682,
   1968,1969,1971,1972,1974,1975,1976,1977,2213,2214,2225,2226,
   2230,2234,2235,2239,2258,2259,2261,2263,2267,2271,2276,2278]
  ,[1410,1413,1414,1415,1491,1494,1495,1496,1672,1675,1678,
   1683,1967,1970,1973,1978],[1430,1445],
 [1546,1557,1588,1595,1854,1985],[1547,1562,1883,2129],
 [1548,1563,2030,2128],[1551,1594,1855],
 [1553,1561,1590,1598,1909,1910,2113,2130],[1558],
 [1559,1733],[1560,2071],
 [1564,1567,1602,1603,2119,2124,2138,2140],
 [1565,1566,1601,1604,1861,1864,1998,2000,2121,2123,2136,2141],
 [1568,1572,1862,1863,1996,2001,2137,2142],
 [1569,1574,1867,1872,1995,1999,2132,2133],
 [1570,1575,2135,2139],
 [1571,1573,1608,1610,1866,1871,1992,1993,2114,2117,2131,2134],
 [1581,1721,1825,1986],[1582,1795,1852,1987],[1583,1984],
 [1584,1599,1882,2112],
 [1585,1600,1845,1860,1980,1988,2029,2111],[1597,2070],
 [1605,1609,2120,2125],
 [1606,1611,1868,1870,1991,1994,2115,2116],
 [1607,1612,2118,2122],[1689,1704,1881,2094],
 [1690,1695,1703,1705,1908,2028,2093,2095],
 [1706,1709,1710,1712,1713,1714,1715,1717,2096,2099,2100,2102,
   2103,2104,2105,2107],
 [1707,1708,1711,1716,2097,2098,2101,2106],[1719,1827],
 [1720,1793,1797,1828],[1722,1737,1884,2145],
 [1723,1738,2031,2144],[1728,1736,1911,2146],[1734],
 [1735,2072],[1739,1742,2154,2156],
 [1740,1741,1809,1811,1832,1835,2152,2157],
 [1743,1747,1807,1812,1833,1834,2084,2086,2153,2158,2162,2165],
 [1744,1749,1806,1810,1838,1843,2148,2149],
 [1745,1750,2151,2155],
 [1746,1748,1803,1804,1837,1842,2081,2085,2147,2150,2168,2173],
 [1754,1769,1879,2055],
 [1755,1760,1768,1770,1905,1906,1913,2026,2035,2054,2056,2175],
 [1771,1774,1775,1777,1778,1779,1780,1782,2057,2060,2061,2063,
   2064,2065,2066,2068,2216,2220,2243,2247,2264,2266,2272,2277]
  ,[1772,1773,1776,1781,2058,2059,2062,2067],
 [1785,1800,1815,1830],[1786,1801,1821,1829],
 [1791,1799,1816,1831],[1798,1823],
 [1802,1805,1839,1841,2078,2079,2167,2172],
 [1808,1813,1836,1840,2082,2087,2163,2164],
 [1844,1859,1876,1989],[1850,1858,1903,1990],
 [1865,1869,1997,2002],[1880,1885,2075,2160],[1887],
 [1889,1892,1896,1898,2189,2192,2196,2198],
 [1890,1891,1894,1899,2190,2191,2194,2199],
 [1893,1895,1897,1900,2193,2195,2197,2200],
 [1907,2032,2076,2159],[1912,2027,2074,2161],[1915,2033],
 [1916,1919,2043,2045,2183,2185,2201,2204],
 [1917,1918,2041,2046,2181,2186,2202,2203],
 [1920,1924,2042,2047,2182,2187,2205,2209],
 [1921,1923,1925,1926,2036,2037,2038,2039,2176,2177,2178,2179,
   2206,2208,2210,2211],
 [1922,1927,2040,2044,2180,2184,2207,2212],[2073],
 [2077,2080,2169,2171],[2083,2088,2166,2170],
 [2215,2224,2254,2262,2268,2270],
 [2217,2219,2221,2222,2229,2231,2238,2240,2244,2246,2248,2249],
 [2228,2233,2237,2242,2251,2256,2260,2274],
 [2252,2257,2265,2275],[2279,12979,14635],
 [2280,2281,2284,2345,2346,2349,4490,4491,4494],
 [2282,2285,2347,2350,4492,4495],
 [2283,2286,2288,2289,2348,2351,2353,2354,4493,4496,4498,4499],
 [2287,2352,4497],
 [2290,2291,2293,2296,2355,2356,2358,2361,4500,4501,4503,4506],
 [2292,2294,2297,2357,2359,2362,4502,4504,4507],
 [2295,2298,2360,2363,4505,4508,12989,13044,14648,14706,18187,
   23144],[2299,2364,4509],
 [2300,2301,2302,2308,2318,2319,2365,2366,2367,2373,2383,2384,
   3560,3561,3602,3603,3648,3650,3873,3875,4510,4511,4512,4518,
   4528,4529,5652,5663,5737,5748,5782,5795,5822,5835,7732,7742,
   7775,7785,7899,7902,8098,8197,38605,38667,39501,39845,40429,
   40621,41308,41443,41971,42090,43474,43527,43617,43730,43979,
   44005,44111,44163,44832,45643,46482,46953,48019,48146,49059,
   49105,49420,49451,50793,50804,51994,52001,52078,52087,52136,
   52152],
 [2306,2307,2311,2313,2314,2315,2320,2324,2326,2327,2328,2329,
   2371,2372,2376,2378,2379,2380,2385,2389,2391,2392,2393,2394,
   3807,3808,3943,3944,4006,4007,4067,4068,4516,4517,4521,4523,
   4524,4525,4530,4534,4536,4537,4538,4539,5901,5915,5938,5952,
   6082,6088,6338,6426,7981,7982,8229,8232,8264,8293,8418,8421,
   8721,8722,8783,8784,8841,8842,8843,8961,9020,9135,10736,
   10737,10793,10794,10795,10855,10914,11088,12748,12749,12922,
   12923,14575,14576,14636,14694,16405,16522,16523,16579,18175,
   21539],
 [2316,2322,2331,2332,2381,2387,2396,2397,4526,4532,4541,4542],
 [2317,2330,2382,2395,4527,4540],
 [2333,2337,2339,2342,2398,2402,2404,2407,4543,4547,4549,4552],
 [2334,2335,2336,2338,2340,2341,2343,2344,2399,2400,2401,2403,
   2405,2406,2408,2409,4544,4545,4546,4548,4550,4551,4553,4554]
  ,[2410,2411,2474,2476,2477,2660,4555,4556,4619,4621,4622,
   4805],[2412,2418,2475,4625,4806,4808],
 [2414,2416,2538,2541,2662,2721,2852,2858,2867,2868,4559,4561,
   4683,4686,4807,4866,4994,4996,4997,4998,6721,6726,6729,6740,
   16063,23695],[2415,4809],[2417,2478,4626,4744],
 [2419,2420,2422,2425,2482,2483,2485,2488,2665,2666,2668,2671,
   4564,4565,4567,4570,4627,4628,4630,4633,4810,4811,4813,4816]
  ,[2421,2423,2426,2484,2486,2489,2667,2669,2672,4566,4568,
   4571,4629,4631,4634,4812,4814,4817],
 [2424,2427,2487,2490,2670,2673,4569,4572,4632,4635,4815,4818],
 [2428,2491,2674,4573,4636,4819],
 [2429,2437,2492,2500,2675,2683,4575,4592,4638,4655,4821,4838,
   7842,7846,7848,7851,8403,8407,8409,8412,9748,9749,9759,9761,
   9801,9843,9924,9963,11701,11754,11755,11786,17192,17193,
   17203,17205,17245,17287,17368,17407,22165,22331,22358,22367,
   40127,40130,40131,40132,40603,40607,40609,40612,40694,40698,
   41911,41915,41916,41919,42009,42017,45538,45541,45544,45549,
   45629,45633,47125,47133],
 [2430,2431,2452,2454,2495,2501,2510,2511,2676,2677,2698,2700,
   4582,4586,4593,4599,4637,4639,4640,4641,4828,4832,4839,4845,
   6654,6655,6662,6672,6717,6718,6725,6735,6900,6901,6908,6918]
  ,[2432,2438,2447,2448,2493,2494,2678,2684,2693,2694,4574,
   4576,4577,4578,4645,4656,4820,4822,4823,4824],
 [2433,2434,2439,2441,2496,2497,2502,2504,2679,2680,2685,2687,
   4583,4584,4595,4597,4646,4647,4658,4660,4829,4830,4841,4843]
  ,[2435,2443,2498,2506,2512,2516,2695,2699,4589,4603,4650,
   4652,4664,4666,4833,4847,9997,10309,11950,12201,12262,12387,
   17692,17878],[2436,2444,2503,2505,4651,4665,4840,4846],
 [2440,2442,2499,2507,2686,2688,4588,4602,4657,4663,4834,4848],
 [2445,2509,4667,4851],[2446,2461,2508,4668,4842,4850],
 [2449,2453,2681,2689,4587,4601,4835,4849,10248,10434,17441,
   17753],[2451,4852],[2455,2456,4826,4827],
 [2457,2458,2518,2519,2703,2704,4585,4598,4643,4644,4831,4844],
 [2459,4837],[2460,2514,2706,4590,4669,4836],
 [2462,2465,2529,2530,2714,2719,4611,4615,4672,4676,4860,4862],
 [2463,2466,2528,2531,2713,2717,4607,4609,4674,4677,4859,4863],
 [2464,2470,2527,2532,2715,2718,4608,4610,4673,4675,4858,4864],
 [2467,2471,2525,2536,2709,2712,4613,4617,4678,4679,4853,4855],
 [2468,2473,2526,2534,2708,2711,4614,4616,4670,4680,4857,4861],
 [2469,2472,2533,2535,2710,2716,4612,4618,4671,4681,4854,4856],
 [2479,4624],[2480,2661,4563,4620],
 [2481,2599,2664,4560,4562,4623],[2513,4642],
 [2515,2517,4649,4662],
 [2520,2521,2701,2702,4580,4581,4648,4661],[2522,4654],
 [2523,2697,4606,4653],[2524,2691,4605,4659],[2537,4867],
 [2540,4868],
 [2542,2543,2600,2601,2720,2894,4687,4688,4745,4746,4865,5039],
 [2544,2545,2547,2550,2724,2725,2727,2730,4689,4690,4692,4695,
   4869,4870,4872,4875],
 [2546,2548,2551,2726,2728,2731,4691,4693,4696,4871,4873,4876],
 [2549,2552,2729,2732,4694,4697,4874,4877],
 [2553,2733,4698,4878],
 [2554,2562,2734,2742,4700,4717,4880,4897,6656,6673,6719,6736,
   6902,6919,9791,9802,9833,9844,9915,9927,9954,9966,11696,
   11702,11711,11712,11782,11788,11796,11797,11837,11877,12063,
   12097,13587,13592,13602,13605,13632,13635,13645,13652,13720,
   13728,13735,13799,13807,13810,13921,13925,13990,13994,15477,
   17235,17246,17277,17288,17359,17371,17398,17410,18898,18903,
   18913,18916,18943,18946,18956,18963,19031,19039,19046,19110,
   19118,19121,19232,19236,19301,19305,20561,22147,22153,22162,
   22163,22233,22247,22288,22319,22328,22335,22514,22520,24015,
   25698],
 [2555,2556,2557,2563,2752,2753,4699,4701,4882,4883,4887,4898,
   15526,15884,20657,20840,20912,23946,24247,25349,25844,25931,
   40220,40516,40666,40667,41799,41974,42065,42094,43646,44100,
   45357,45474,45601,45602,46626,46942,47036,47059,48110,48516,
   49928,49976,50898,50946],[2558,2566,4888,4902,6720,6742],
 [2559,2564,2757,2759,4711,4724,4889,4900,6722,6738],
 [2560,2568,2754,2758,4714,4728,4892,4906,13841,14153,19403,
   19589],
 [2561,2565,2567,2569,2745,2747,4713,4727,4893,4899,4905,4907],
 [2570,2571,4909,4910],
 [2572,2573,2577,2579,2735,2736,2737,2743,4702,4703,4707,4718,
   4879,4881,4891,4904,15476,15598,15605,15818,16198,20567,
   20735,20739,20952,23693,23777,23779,24060,24131,25264,25272,
   25383,25545],
 [2574,2578,2740,2748,4712,4726,4894,4908,14092,14278,19152,
   19464],[2576,2765,4715,4911],[2580,2581,4885,4886],
 [2582,2583,2760,2761,2762,2763,4705,4706,4710,4723,4890,4903],
 [2584,4896],[2585,2756,4731,4895],[2586,2750,4730,4901],
 [2587,2588,2592,2593,2770,2771,2776,2778,4429,4438,4461,4466,
   4732,4738,4739,4740,4914,4916,4921,4922,6574,6597,6611,6625]
  ,[2589,2774,4735,4917],
 [2590,2591,2772,2773,4734,4736,4918,4919],
 [2594,2595,2769,2777,4452,4480,4733,4737,4915,4923,6583,6606],
 [2596,2598,2767,2768,4741,4742,4912,4920],
 [2597,2775,4743,4913],[2602,4982],[2603,4748],[2604,4925],
 [2605,2608,2950,2956,4927,4933,5041,5046],[2606,5043],
 [2607,2609,5044,5047],[2610,5048],
 [2611,2951,2953,4928,4930,5040],
 [2612,2952,2957,4929,4934,5042],[2613,5045],[2614,5049],
 [2615,2623,2960,2968,4938,4955,5051,5068,15422,15435,15751,
   20596,20609,20771,23732,23745,23907,25177,25190,25506],
 [2616,2617,2618,2624,2978,2979,2983,2985,4937,4939,4949,4962,
   5053,5054,5058,5069],[2619,2627,5059,5073],
 [2620,2625,5060,5071],[2621,2629,5063,5077,15671,24192],
 [2622,2626,2628,2630,2967,2975,4957,4963,5064,5070,5076,5078],
 [2631,2632,2992,4959,5080,5081],
 [2633,2634,2961,2962,2963,2969,4940,4941,4945,4956,5050,5052],
 [2635,2639,2966,2974,4950,4964,5065,5079,16108,21056,24253,
   25426],[2636,2981,4942,5055],[2637,2991,4953,5082],
 [2638,2640,5062,5075],
 [2641,2642,2986,2987,2988,2989,4943,4944,4948,4961,5056,5057],
 [2643,2644,5061,5074],[2645,5067],[2646,5066],
 [2647,2977,4967,5072],
 [2648,2653,2996,3002,4970,4977,5085,5092],
 [2649,2654,5087,5093],[2650,5088],
 [2651,2652,2993,4979,5089,5090],
 [2655,2995,3003,4971,4975,5086],[2656,5094],
 [2657,2998,2999,4972,4974,5083],[2658,3000,4973,5084],
 [2659,5091],[2663,4557],[2682,2690,4594,4600],
 [2692,2707,4596,4604],[2705,4591],[2722,4682],[2723,4685],
 [2738,2746,4708,4722,6657,6679,6903,6925],
 [2739,2744,4709,4720,6659,6675,6782,6784,6800,6804,6905,6921,
   6962,6964,6980,6984,8738,8743,8754,8800,8805,8816,8976,8983,
   9000,9091,9098,9115,10753,10758,10769,10874,10879,10890,
   10933,10938,10949,12761,12768,12785,12935,12942,12959,16424,
   16429,16440,16535,16542,16559,18246,18253,18270],
 [2741,2749,4719,4725],[2751,4729],[2764,4716],[2766,4721],
 [2779,4983],[2780,4749],[2781,4926],[2782,2901,4750,5101],
 [2783,5098],[2784,5102],[2785,2895,4756,5096],[2786,5099],
 [2787,5103],[2788,2896,4753,5095],[2789,2897,4757,5097],
 [2790,5100],[2791,5104],
 [2792,2800,2905,2913,4761,4778,5106,5123,15462,15475,15550,
   15565,15637,15824,20556,20569,20684,20699,20885,20958,23692,
   23705,23820,23835,24021,24094,25217,25230,25305,25320,25392,
   25579],[2793,2794,2923,2924,4760,4762,5113,5124],
 [2795,2801,5108,5109],[2796,2804,5114,5128],
 [2797,2802,5115,5126],[2798,2806,5118,5132,20805,25677],
 [2799,2807,5125,5131],
 [2803,2805,2912,2920,4780,4786,5119,5133],
 [2808,2937,4782,5136],[2809,5135],
 [2810,2811,2906,2907,4768,4779,5105,5107],
 [2812,2816,2911,2919,4773,4787,5120,5134,15922,21242,23941,
   25738],[2813,5110],[2814,2936,4776,5137],
 [2815,2817,5117,5130],
 [2818,2819,2933,2934,4771,4784,5111,5112],
 [2820,2821,5116,5129],[2822,5122],[2823,5121],[2824,5127],
 [2825,2947,4793,5147],[2826,5148],[2827,2946,4804,5143],
 [2828,5145],[2829,2938,4802,5144],[2830,2941,4800,5140],
 [2831,5142],[2832,2940,4798,5141],[2833,5149],
 [2834,2944,4797,5138],[2835,5139],[2836,5146],[2837,4747],
 [2838,4924],[2839,2840,2842,2845,4984,4985,4987,4990],
 [2841,2843,2846,4986,4988,4991],[2844,2847,4989,4992],
 [2848,4993],
 [2849,2857,4995,5012,11714,11801,11916,12162,13682,13689,13873,
   13959,19087,19090,19425,19454,22152,22205,22322,22518],
 [2850,2851,2872,2874,5002,5006,5013,5019],
 [2853,2861,5003,5017],[2854,2859,5004,5015],
 [2855,2863,2869,2873,5007,5009,5021,5023,22401,22652,22713,
   22838],[2856,2864,5014,5020],[2860,2862,5008,5022],
 [2865,5025],[2866,5024],[2870,4999],[2871,5026],
 [2875,2876,5000,5001],[2877,2878,5005,5018],[2879,5011],
 [2880,5010],[2881,5016],[2882,2893,5035,5036],
 [2883,2891,5027,5037],[2884,2889,5030,5032],
 [2885,2888,5031,5034],[2886,2887,5029,5033],
 [2890,2892,5028,5038],[2898,4751],[2899,4754],[2900,4758],
 [2902,4752],[2903,4755],[2904,4759],[2908,2914,4763,4764],
 [2909,2917,4769,4783],[2910,2915,4770,4781],
 [2916,2918,4774,4788],[2921,4791],[2922,4790],
 [2925,2929,4775,4789,15983,24378],[2926,4765],[2927,4792],
 [2928,2930,4772,4785],[2931,2932,4766,4767],[2935,4777],
 [2939,4803],[2942,4799],[2943,4795],[2945,4796],
 [2948,4794],[2949,4801],[2954,4931],[2955,2958,4932,4935],
 [2959,4936],[2964,2972,4946,4960],[2965,2970,4947,4958],
 [2971,2973,4951,4965],[2976,4968],
 [2980,2984,4952,4966,21117,25863],[2982,4969],[2990,4954],
 [2994,4980],[2997,3004,4976,4978],[3001,4981],
 [3005,3006,3059,3060,3061,3164,3166,3167,3314,5150,5151,5204,
   5205,5206,5309,5311,5312,5459,7341,7343,7588],
 [3007,3010,3063,5152,5155,5208,7338,7442],
 [3008,3009,3064,3065,3112,3114,3165,3215,3216,3218,3315,3362,
   5153,5154,5209,5210,5257,5259,5310,5360,5361,5363,5460,5507,
   15463,15464,15553,15554,15664,15909,21108,21113,21243,23823,
   23824,24026,24027,24179,24504,25729,25734,25864],
 [3011,3115,5156,5260,7444],
 [3012,3013,3265,3268,3316,3409,5157,5158,5410,5413,5461,5554],
 [3014,3022,3067,3075,3170,3178,3317,3325,5160,5177,5213,5230,
   5316,5333,5463,5480,7346,7363,7447,7464,7591,7608,26608,
   26661,27986,28039,29393,29408,29479,29674,30587,30640,31893,
   31908,31979,32174,34116,34169,35278,35293,35364,35559,37687],
 [3015,3016,3017,3023,3032,3033,3068,3069,3070,3076,3085,3086,
   3171,3172,3173,3179,3188,3189,3318,3319,3320,3326,3335,3336,
   5159,5161,5162,5163,5167,5178,5212,5214,5215,5216,5220,5231,
   5315,5317,5318,5319,5323,5334,5462,5464,5465,5466,5470,5481]
  ,[3018,3026,3071,3079,3174,3182,3321,3329,5168,5182,5221,
   5235,5324,5338,5471,5485],
 [3019,3024,3072,3077,3175,3180,3322,3327,5169,5180,5222,5233,
   5325,5336,5472,5483],
 [3020,3028,3176,3184,3190,3194,5225,5227,5239,5241,5475,5489,
   7355,7370,7596,7617,26857,28486,28547,29748,30836,31273,
   34616,35497],[3021,3029,3181,3183,5226,5240,5482,5488],
 [3025,3027,3177,3185,3324,3332,5179,5185,5232,5238,5476,5490],
 [3030,3187,3349,5181,5242,5493],
 [3031,3046,3186,5243,5484,5492],
 [3034,3038,3087,3091,3323,3331,5172,5186,5330,5344,5477,5491,
   7452,7456,7471,7473,27108,27294,28672,31148,32112,32248,
   34365,34677],[3035,3088,3191,3338,5164,5217,5320,5467],
 [3036,3201,3348,5175,5228,5494],
 [3037,3039,3090,3092,3193,3195,3340,3342,5171,5184,5224,5237,
   5327,5340,5474,5487],
 [3040,3041,3345,3346,5170,5183,5468,5469],
 [3042,3043,3095,3096,3196,3197,3343,3344,5165,5166,5218,5219,
   5326,5339,5473,5486],[3044,5479],[3045,3192,5244,5478],
 [3047,3050,3101,3106,3111,3207,3208,3359,5192,5247,5251,5352,
   5356,5358,5502,5504],
 [3048,3058,3100,3105,3209,3354,5198,5249,5350,5357,5503,5505],
 [3049,3108,3110,3205,3210,3358,3360,5193,5203,5248,5250,5349,
   5359,5500],
 [3051,3109,3206,3350,3351,3361,5200,5201,5202,5252,5348,5501],
 [3052,3056,3203,3353,3356,5196,5199,5254,5495,5497],
 [3053,3103,3104,3204,3212,3214,3355,5194,5245,5253,5255,5354,
   5355,5499],
 [3054,3055,3057,3107,3352,5197,5351,5496,5498,5506],
 [3062,3168,5207,5313],[3066,3169,5211,5314],
 [3073,3081,3337,3341,5174,5188,5328,5342,27169,28235,31087,
   34802],
 [3074,3078,3080,3082,3328,3330,5173,5187,5329,5335,5341,5343],
 [3083,3084,5345,5346],[3089,5347],
 [3093,3094,3198,3199,5223,5236,5321,5322,7357,7364,7603,7604],
 [3097,5332],[3098,3339,5191,5331],[3099,3333,5190,5337],
 [3102,3211,3213,3357,5195,5246,5256,5353],
 [3113,3217,5258,5362,13898,13902,14098,14104,14287,14293,14374,
   14378,14434,14435,14450,14451,19174,19182,19349,19357,19443,
   19448,19472,19477,19723,19731,19771,19779,43930,44573,46910,
   47839,48311,48717,50310,51203,51541,51705,51825,51902],
 [3116,3118,3363,5261,5263,5508,20165,20167,20412,24786,24788,
   25033],[3117,3266,5262,5411],
 [3119,3127,3220,3228,3364,3372,5265,5282,5366,5383,5510,5527,
   7241,7258,7294,7311,7397,7414,7544,7561,26695,26704,26787,
   26814,26815,26826,27004,27006,28073,28082,28165,28192,28193,
   28204,28382,28384,29307,29312,29322,29355,29365,29448,30674,
   30683,30766,30793,30794,30805,30983,30985,31807,31812,31822,
   31855,31865,31948,32983,32998,33031,33035,33118,33124,33129,
   33319,33453,34203,34212,34295,34322,34323,34334,34512,34514,
   35192,35197,35207,35240,35250,35333,36227,36242,36275,36279,
   36362,36368,36373,36563,36697,37429,37440,37620],
 [3120,3121,3122,3128,3137,3138,3221,3222,3223,3229,3238,3239,
   3365,3366,3367,3373,3382,3383,5264,5266,5267,5268,5272,5283,
   5365,5367,5368,5369,5373,5384,5509,5511,5512,5513,5517,5528]
  ,[3123,3131,3224,3232,3368,3376,5273,5287,5374,5388,5518,
   5532,7242,7264,7295,7317,7398,7420,7545,7567],
 [3124,3129,3225,3230,3369,3374,5274,5285,5375,5386,5519,5530,
   7244,7260,7297,7313,7400,7416,7547,7563],
 [3125,3133,3226,3234,3384,3388,5279,5293,5378,5392,5522,5536,
   29561,29873,32061,32312,35697,35883],
 [3126,3134,3231,3233,3375,3377,5278,5292,5379,5393,5529,5535],
 [3130,3132,3227,3235,5385,5391,5523,5537],
 [3135,3237,5395,5540],[3136,3236,5396,5539],
 [3139,3143,5524,5538,29998,35758],
 [3140,3241,3385,5269,5370,5514],[3141,3251,5381,5541],
 [3142,3144,3243,3245,3387,3389,5276,5289,5377,5390,5521,5534],
 [3145,3146,3392,3393,5275,5288,5515,5516],
 [3147,3148,3390,3391,5270,5271,5520,5533],[3149,5526],
 [3150,3386,5296,5525],[3151,3380,5295,5531],
 [3152,3153,3163,3258,3259,3401,5303,5400,5402,5550,5551,5552],
 [3154,3255,3261,3263,3404,3405,3407,5298,5300,5308,5399,5403,
   5409,5547],
 [3155,3158,3254,3257,3264,3402,3406,5297,5299,5404,5406,5408,
   5546,5549],
 [3156,3256,3262,3398,3408,5305,5307,5398,5405,5548],
 [3157,3253,3403,5301,5407,5544],[3159,5545],
 [3160,3162,3260,3399,5302,5401,5543,5553],
 [3161,3397,3400,5304,5306,5542],[3200,5229],
 [3202,3334,5189,5234],[3219,5364],
 [3240,3244,3370,3378,5277,5291,5380,5394,29812,32373,32498,
   35446],[3242,5397],
 [3246,3247,3248,3249,5371,5372,5376,5389],[3250,5382],
 [3252,5387],[3267,5412],
 [3269,3277,3410,3418,5415,5432,5556,5573,29059,29060,29064,
   29069,31706,31707,31710,31712,32988,33041,36232,36285],
 [3270,3271,3272,3278,3287,3288,3411,3412,3413,3419,3428,3429,
   5414,5416,5417,5418,5422,5433,5555,5557,5558,5559,5563,5574]
  ,[3273,3281,3414,3422,5423,5437,5564,5578],
 [3274,3279,3415,3420,5424,5435,5565,5576],
 [3275,3283,3289,3293,5568,5570,5582,5584,33237,33674,36732,
   36793],[3276,3280,3282,3284,5569,5575,5581,5583],
 [3285,3286,5585,5586],[3290,3431,5419,5560],
 [3291,3300,5571,5587],
 [3292,3294,3433,3435,5426,5439,5567,5580],
 [3295,3296,3438,3439,5425,5438,5561,5562],
 [3297,3298,3436,3437,5420,5421,5566,5579],[3299,5572],
 [3301,5577],[3302,3307,3449,5451,5590,5597],
 [3303,3308,3313,3447,3448,5449,5453,5592,5596,5598],
 [3304,3451,3453,5448,5458,5593],
 [3305,3306,3444,3452,3454,5447,5455,5457,5594,5595],
 [3309,5591],[3310,3312,3445,3450,5450,5452,5589,5599],
 [3311,3446,5454,5588],[3347,5176],[3371,3379,5284,5290],
 [3381,3396,5286,5294],[3394,5281],[3395,5280],
 [3416,3424,3430,3434,5427,5429,5441,5443,33488,33549,36481,
   36918],[3417,3425,5434,5440],[3421,3423,5428,5442],
 [3426,5445],[3427,5444],[3432,5446],[3440,5431],
 [3441,5430],[3442,5436],[3443,5456],
 [3455,3463,5601,5618,37222,37275],
 [3456,3457,3458,3464,3473,3474,5600,5602,5603,5604,5608,5619],
 [3459,3467,5609,5623],[3460,3465,5610,5621],
 [3461,3469,5613,5627,37471,37722],[3462,3470,5620,5626],
 [3466,3468,5614,5628],[3471,5631],[3472,5630],
 [3475,3479,5615,5629,37783,37908],[3476,5605],[3477,5632],
 [3478,3480,5612,5625],
 [3481,3482,3483,3484,5606,5607,5611,5624],[3485,5617],
 [3486,5616],[3487,5622],[3488,5642],
 [3489,3492,3499,5639,5641,5643],
 [3490,3496,3498,5634,5638,5644],[3491,3497,5633,5640],
 [3493,3494,5635,5637],[3495,5636],
 [3500,3501,3502,3508,3517,3518,3522,3524,3544,3550,3592,3633,
   3634,3824,3833,3834,3838,3840,4139,4260,5645,5646,5662,5689,
   5690,5691,5695,5699,5706,5712,5747,5774,5788,5828,5978,5979,
   6112,6119,6284,6290,7725,7726,7743,7769,7786,7813,7817,7818,
   7821,7827,7832,7909,7913,8058,8059,8087,8094,8193,8364,8393,
   38211,38221,38222,38253,38263,38264,38294,38295,38296,38298,
   38305,38307,38309,38311,38335,38344,38347,38374,38383,38386,
   38485,38494,38495,38499,38501,38529,38532,38534,38536,38564,
   38566,38629,38631,38800,38802,38827,39156,39166,39167,39201,
   39207,39214,39241,39247,39254,39276,39277,39278,39280,39287,
   39289,39291,39293,39391,39397,39398,39400,39402,39433,39439,
   39467,39473,39531,39534,39536,39538,39703,39709,39734,40060,
   40068,40073,40098,40099,40100,40102,40109,40111,40113,40115,
   40139,40147,40152,40250,40258,40259,40261,40265,40294,40298,
   40327,40330,40332,40334,40393,40397,40564,40568,40593,40922,
   40928,40935,40959,40967,40972,41083,41085,41118,41120,41141,
   41147,41148,41150,41152,41212,41213,41215,41219,41388,41390,
   41505,41738,41747,41750,41861,41865,41887,41893,41894,41896,
   41898,41930,41934,41992,41993,41997,41999,42166,42170,42242,
   42602,42604,42626,42634,42635,42637,42641,42668,42669,42673,
   42675,42736,42738,42907,42909,42981,44638,44640,44670,44674,
   44735,44737,44980,44982,45025,45263,45269,45328,45332,45528,
   45530,45620,45889,45891,46087,46091,46138,47111,47113,47160],
 [3503,3504,3509,3511,3670,3673,3675,3712,3716,3825,3827,3896,
   5696,5697,5708,5710,6005,6013,6016,6047,6052,6286,6288,6360,
   7812,7814,7830,7834,7855,7869,7871,7948,7954,8391,8395,8442,
   13783,13784,13788,13789,14264,14268,14270,14271,14353,14359,
   14360,14361,14509,14513,14515,14516,14524,14525,14526,14554,
   14555,14556,14560,14561,19015,19016,19023,19024,19281,19283,
   19288,19289,19381,19382,19387,19389,19841,19842,19847,19849,
   19850,19855,19856,19863,19864,19883,19884,19885,26161,26162,
   26163,26165,26166,26167,26213,26214,26215,26217,26218,26219,
   26265,26266,26317,26319,26320,26366,26368,26369,26416,26417,
   26463,26464,27591,27592,27593,27595,27596,27597,27644,27645,
   27646,27647,27694,27695,27696,27697,27793,27794,27842,27888,
   28969,28971,28972,28974,29020,29070,29071,29073,29119,29121,
   29167,29214,30295,30296,30297,30298,30345,30346,30348,30395,
   30396,30442,30443,31570,31572,31573,31619,31621,31667,31714,
   32795,32796,32844,32890,33971,33972,34018,35099,38206,38207,
   38208,38212,38213,38215,38224,38226,38228,38248,38249,38250,
   38254,38255,38257,38266,38268,38270,38290,38291,38334,38336,
   38338,38345,38349,38351,38353,38354,38355,38373,38375,38377,
   38384,38388,38390,38392,38393,38394,38486,38488,38521,38523,
   38563,38568,38570,38571,38573,38574,38628,38633,38635,38636,
   38638,38639,38804,38806,38829,38831,38876,38878,38981,38982,
   38998,38999,39151,39152,39153,39157,39158,39160,39169,39171,
   39173,39194,39197,39198,39199,39208,39210,39212,39234,39237,
   39238,39239,39248,39250,39252,39315,39316,39317,39327,39329,
   39330,39352,39353,39354,39364,39366,39367,39388,39389,39425,
   39426,39432,39435,39437,39459,39460,39466,39469,39471,39705,
   39707,39730,39732,39780,39781,39823,39824,40054,40058,40059,
   40062,40063,40064,40065,40069,40071,40075,40095,40137,40138,
   40141,40142,40143,40144,40148,40150,40154,40249,40252,40285,
   40293,40296,40300,40310,40311,40312,40317,40318,40319,40321,
   40392,40395,40399,40409,40410,40411,40416,40417,40418,40419,
   40420,40455,40456,40460,40484,40485,40489,40566,40570,40591,
   40595,40615,40619,40640,40685,40871,40877,40878,40879,40885,
   40886,40912,40913,40915,40918,40919,40920,40929,40931,40933,
   40957,40958,40961,40962,40963,40964,40968,40970,40974,41070,
   41072,41078,41079,41081,41105,41107,41113,41114,41116,41240,
   41244,41245,41246,41270,41274,41275,41276,41384,41386,41410,
   41413,41415,41435,41460,41462,41737,41739,41741,41748,41752,
   41754,41756,41757,41758,41849,41852,41858,41859,41863,41866,
   41867,41868,41885,41921,41927,41928,41932,41935,41936,41937,
   42164,42168,42191,42195,42203,42204,42208,42209,42210,42211,
   42240,42285,42293,42294,42298,42299,42300,42301,42344,42345,
   42363,42379,42453,42454,42456,42463,42464,42466,42495,42500,
   42590,42591,42599,42600,42606,42607,42608,42610,42628,42662,
   42733,42734,42740,42741,42742,42744,42760,42765,42766,42771,
   42791,42824,42825,42830,42905,42911,42931,42932,42934,42960,
   42983,43026,43085,43087,43103,43120,43257,43258,43259,43269,
   43271,43272,43329,43337,43340,43343,43364,43404,43407,43410,
   43610,43613,43684,43728,43995,43996,44037,44042,44043,44070,
   44075,44076,44278,44279,44350,44351,44625,44627,44633,44634,
   44636,44661,44667,44668,44672,44675,44676,44677,44732,44733,
   44739,44740,44741,44743,44906,44908,44910,44931,44933,44935,
   45085,45086,45102,45103,45255,45256,45262,45265,45267,45295,
   45298,45301,45327,45330,45334,45344,45345,45346,45351,45352,
   45353,45499,45503,45504,45505,45526,45575,45576,45577,45805,
   45811,45812,45814,45826,45827,45848,45849,45856,45861,45862,
   45888,45893,45895,45896,45898,45899,46060,46062,46065,46066,
   46089,46136,46180,46181,46240,46242,46258,46275,46590,46592,
   46665,46708,47084,47086,47088,47115,47162,47205,47264,47265,
   47283,47299,47390,47391,47404,47406,47411,47413,47432,47434,
   47435,47439,47440,47441,47468,47469,47474,47576,47580,47600,
   47604,47904,47905,47909,48010,48011,48039,48062,48416,48421,
   48441,48468,49471,49473,49475,49520,49521,49522,49564,49565,
   49795,49799,49820,49822,49865,49873,49874,49878,49879,49880,
   49881,50029,50036,50043,50045,50074,50076,50080,50085,50098,
   50393,50394,50999,51004,51005,51016,51044,51045,51051,51055,
   51426,51427,51443,51579,52178,52179,52181,52209,52215,52216,
   52220,52254,52255,52256,52265,52275,52281,52282,52287,52288,
   52308,52310,52315,52317,52337,52338,52357,52358,52360,52365,
   52375,52394],
 [3505,3513,3519,3523,3750,3829,3835,3839,5700,5702,5714,5716,
   6143,6202,6292,6294,7816,7820,7835,7837,8023,8161,8396,8398,
   38297,38310,38411,38417,38422,38490,38496,38500,38524,38531,
   38597,38659,38689,38854,39394,39399,39526,39533,39562,39571,
   39621,39632,39711,39713,39735,39738,39864,39865,40101,40114,
   40212,40223,40232,40264,40361,40368,40572,40573,40596,40598,
   40686,40687,41036,41049,41187,41218,41393,41394,41506,41509,
   41545,41547,41779,41792,41890,41895,41967,41988,41994,41998,
   42053,42082,43298,43309,43437,43975,44103,44308,44798,44827,
   44958,45363,45422,45533,45534,45622,45624,45661,45662,46620,
   46948,46978,47557,48400],
 [3506,3510,3512,3514,3553,3555,3595,3597,3632,3640,3787,3788,
   3797,3798,3826,3828,3830,3865,3940,3942,4003,4005,4057,4058,
   5664,5670,5701,5707,5713,5715,5749,5755,5790,5796,5830,5836,
   5974,5988,6108,6122,6173,6174,6180,6285,6291,6293,6318,6447,
   7748,7751,7791,7794,7815,7833,7836,7838,7896,7919,7975,7985,
   7986,7990,8069,8099,8102,8198,8201,8374,8394,8397,8399,8489,
   38292,38293,38448,38459,38467,38487,38489,38491,38525,38526,
   38718,38726,38801,38830,39392,39393,39495,39527,39528,39592,
   39704,39710,39712,39736,39737,39847,39866,39867,40096,40097,
   40175,40180,40186,40251,40571,40574,40594,40597,40599,40623,
   40688,40689,40999,41002,41012,41174,41391,41392,41441,41507,
   41508,41525,41546,41548,41816,41829,41833,41888,41889,41954,
   41987,41989,42023,42031,42165,42305,43615,43732,43999,44275,
   44707,44711,44768,44773,44957,45045,45393,45531,45532,45552,
   45621,45623,45641,45660,45663,46417,46425,46641,47007,47012,
   47114,47137,47690,48017,48148,48420,49057,49068,49069,49100,
   49408,49410,49419,49456,50795,50805,50836,50841,51992,52000,
   52008,52009,52070,52072,52079,52086,52138,52144,52145,52153],
 [3507,5705,7828],
 [3515,3516,3531,3831,3832,3847,5709,5717,5718,6287,6295,6296,
   38303,38318,38492,38493,38508,38773,38776,38803,38811,38813,
   38884,38885,39284,39299,39395,39410,39706,39714,39715,39803,
   39869,39870,41146,41159,41387,41395,41484,41551,42666,42667,
   42680,42851,42854,42908,42916,42989,44853,44857,44988,45004,
   45071,46036,46040,46143,46144,46160,46225,46227],
 [3521,3530,3837,3846,5703,5719,6230,6297,38308,38316,38498,
   38507,38746,38749,38812,38883,39290,39298,39401,39411,39649,
   39656,39716,39868,41151,41161,41357,41364,41397,41549,42672,
   42681,42878,42881,42917,42988,44880,44884,44989,45070,46009,
   46013,46145,46226],
 [3525,3526,3527,3528,3841,3842,3843,3844,4319,4354,5693,5694,
   5698,5711,5894,5905,5942,6080,6086,6289,7822,7823,7824,7829,
   8224,8225,8250,8254,8283,8390,13769,13773,13790,13791,14253,
   14263,14269,14354,14358,18989,18992,19017,19022,19258,19282,
   19290,19380,19388,26164,26216,26267,26268,26269,26270,26318,
   26367,26415,27594,27648,27698,27744,27745,27746,27747,27795,
   28973,29021,29022,29023,29024,29072,29120,30299,30347,30489,
   31571,31668,32843,38352,38391,38502,38503,38504,38505,38572,
   38637,38980,39324,39361,39438,39472,39499,39502,39504,39505,
   39708,40070,40149,40424,40425,40426,40430,40454,40483,40590,
   40876,40884,40891,40892,40893,40969,41250,41280,41303,41304,
   41305,41309,41439,41755,41869,41938,42000,42001,42002,42003,
   42346,42455,42465,42496,42501,42505,42609,42676,42677,42678,
   42679,42743,42767,42795,42796,42797,42801,42826,42956,43086,
   43266,43342,43371,43374,43376,43377,43409,43612,44003,44006,
   44008,44009,44040,44073,44276,44678,44742,45119,45268,45300,
   45619,45813,45819,45820,45821,45828,45859,45897,46137,46259,
   46664,47282,47396,47397,47398,47405,47412,47445,47470,47627,
   47903,48015,48417,50033,50034,50035,50044,50081,51003,51013,
   51014,51015,51046,52180,52210,52211,52260,52261,52280,52289,
   52309,52316,52336,52359,52361],
 [3529,3845,5704,6257,38302,38317,38506,38875,39285,39300,39396,
   39409,39676,39683,41145,41160,41330,41337,41396,41550,42682,
   42918,42980,42990,44979,44987,45069,46135],
 [3532,3533,3535,3536,3537,3538,3541,3543,3848,3849,3851,3852,
   3853,3854,3857,3859,5720,5722,5724,5726,5727,5728,5729,5730,
   6298,6300,6302,6304,6305,6306,6307,6308,38319,38320,38321,
   38322,38324,38325,38329,38330,38509,38510,38512,38513,38514,
   38515,38518,38520,38814,38817,38818,38820,38821,38822,38823,
   38825,38886,38888,38889,38892,38893,38894,38896,38897,39301,
   39302,39303,39304,39306,39307,39311,39312,39412,39413,39414,
   39416,39417,39418,39421,39422,39717,39719,39721,39723,39724,
   39725,39726,39727,39871,39873,39874,39877,39878,39879,39881,
   39882,41162,41163,41164,41166,41167,41168,41171,41172,41399,
   41400,41402,41403,41405,41406,41407,41408,41553,41554,41555,
   41557,41559,41560,41562,41563,42683,42684,42686,42687,42688,
   42689,42692,42694,42920,42922,42923,42924,42926,42927,42928,
   42930,42992,42993,42994,42996,42998,42999,43001,43002,44991,
   44992,44994,44995,44997,44998,44999,45000,45073,45075,45076,
   45077,45079,45080,45081,45083,46146,46148,46150,46152,46153,
   46154,46155,46156,46228,46231,46232,46234,46235,46236,46237,
   46239],
 [3534,3539,3540,3542,3850,3855,3856,3858,5721,5723,5725,5731,
   6299,6301,6303,6309,38323,38326,38327,38328,38511,38516,
   38517,38519,38815,38816,38819,38824,38887,38890,38891,38895,
   39305,39308,39309,39310,39415,39419,39420,39423,39718,39720,
   39722,39728,39872,39875,39876,39880,41165,41169,41170,41173,
   41398,41401,41404,41409,41552,41556,41558,41561,42685,42690,
   42691,42693,42919,42921,42925,42929,42991,42995,42997,43000,
   44990,44993,44996,45001,45072,45074,45078,45082,46147,46149,
   46151,46157,46229,46230,46233,46238],
 [3545,3546,3547,3551,3552,3554,3587,3588,3589,3593,3594,3596,
   3629,3630,3635,3637,3674,3683,3684,3688,3690,3713,3722,3723,
   3727,3729,3860,3862,3902,3903,3907,3909,3967,3968,3972,3974,
   4143,4145,4168,4170,5653,5654,5656,5665,5667,5669,5738,5739,
   5741,5750,5752,5754,5778,5779,5780,5789,5791,5793,5818,5819,
   5820,5829,5831,5833,5969,5970,5981,5983,6007,6014,6020,6041,
   6048,6054,6115,6117,6311,6313,6362,6405,7727,7728,7729,7745,
   7747,7749,7770,7771,7772,7788,7790,7792,7854,7858,7859,7862,
   7868,7873,7895,7911,7915,7937,7938,7941,7947,7952,8049,8052,
   8061,8065,8093,8096,8100,8192,8195,8199,8366,8370,8440,8485,
   14185,14191,14192,14193,14213,14217,14219,14220,14332,14333,
   14337,14338,19785,19786,19793,19794,19799,19800,19805,19807,
   19810,19812,19817,19818,38332,38337,38350,38371,38376,38389,
   38558,38559,38565,38623,38624,38630,39427,39429,39434,39461,
   39463,39468,39782,39783,39785,39825,39826,39828,40057,40061,
   40074,40136,40140,40153,40643,40644,40645,40725,40726,40727,
   40956,40960,40973,41416,41418,41419,41463,41465,41466,41735,
   41740,41753,41854,41855,41860,41923,41924,41929,42516,42520,
   42521,42523,42527,42533,42553,42557,42564,42570,42572,42574,
   42605,42702,42708,42710,42712,42739,42770,42829,43296,43464,
   43639,43687,43689,43750,43752,43962,44033,44039,44066,44072,
   44305,44473,44663,44664,44669,44738,45257,45259,45264,45507,
   45508,45509,45579,45580,45581,45852,45858,45883,45884,45890,
   45919,45924,45927,45929,45949,45954,45978,45983,45986,45988,
   46619,46787,47473,47553,47730,47988,48041,48043,48064,48066,
   48394,48571,49058,49109,49418,49460,49524,49525,49526,49823,
   49825,49826,50100,50102,50395,50396,50398,50415,50417,50434,
   50435,50436,50794,50803,51993,52002,52080,52085,52137,52151],
 [3548,3549,3556,3557,3590,3591,3598,3599,3631,3636,3638,3639,
   3749,3751,3753,3755,3757,3793,3799,3802,3803,3804,3861,3863,
   3864,3931,3935,3936,3937,3941,3994,3998,3999,4000,4004,4025,
   4059,4062,4063,4064,4140,4144,4165,4169,4192,4194,4259,4280,
   5658,5659,5672,5673,5743,5744,5757,5758,5783,5784,5797,5798,
   5823,5824,5837,5838,5973,5980,5986,5987,6109,6114,6120,6123,
   6139,6144,6145,6151,6153,6170,6182,6184,6204,6209,6210,6212,
   6310,6316,6317,6339,6341,6343,6445,6448,6464,6466,6482,6499,
   7730,7731,7752,7753,7773,7774,7795,7796,7897,7914,7917,7918,
   7974,7976,7978,7979,7993,7995,8027,8028,8031,8033,8051,8064,
   8066,8067,8086,8101,8104,8154,8160,8166,8169,8171,8200,8203,
   8369,8371,8372,8484,8487,8488,8506,8508,8544,8546,8562,8579,
   38209,38210,38217,38218,38231,38232,38251,38252,38259,38260,
   38273,38274,38339,38341,38378,38380,38410,38450,38451,38452,
   38463,38464,38465,38468,38469,38556,38590,38656,38686,38720,
   38723,38725,38728,38729,38853,38855,38920,38924,38925,38941,
   38963,38964,39154,39155,39162,39163,39176,39177,39195,39196,
   39202,39203,39216,39217,39235,39236,39242,39243,39256,39257,
   39320,39334,39357,39371,39440,39442,39474,39476,39558,39589,
   39594,39595,39597,39754,39756,39884,39901,39918,40077,40079,
   40156,40158,40174,40176,40178,40179,40181,40182,40188,40191,
   40192,40286,40289,40290,40301,40304,40354,40388,40389,40400,
   40403,40464,40493,40641,40705,40746,40763,40779,40827,40828,
   40835,40836,40839,40840,40847,40848,40916,40917,40923,40924,
   40937,40938,40976,40978,40994,40995,40996,40998,41000,41001,
   41006,41008,41011,41071,41073,41074,41086,41087,41106,41108,
   41109,41121,41122,41252,41282,41414,41461,41564,41582,41583,
   41742,41744,41774,41812,41814,41815,41823,41827,41828,41831,
   41832,41851,41920,42019,42020,42024,42025,42028,42032,42033,
   42125,42126,42130,42131,42152,42153,42157,42158,42190,42194,
   42197,42198,42217,42284,42287,42288,42594,42596,42728,42730,
   42938,42940,43067,43069,43262,43276,43293,43295,43331,43333,
   43345,43398,43400,43412,43463,43494,43635,43638,43686,43749,
   43960,43961,44031,44064,44303,44304,44327,44328,44395,44398,
   44415,44418,44472,44489,44626,44628,44629,44641,44642,44660,
   44700,44701,44706,44708,44709,44727,44729,44759,44760,44763,
   44764,44765,44771,44772,44905,44909,44911,44912,44930,44934,
   44936,44937,45270,45272,45289,45291,45303,45323,45324,45335,
   45338,45354,45385,45388,45390,45391,45500,45550,45679,45680,
   45681,45749,45751,45756,45757,45762,45764,45769,45770,45850,
   46067,46069,46182,46184,46416,46422,46423,46424,46427,46588,
   46589,46594,46595,46618,46642,46729,46730,46768,46770,46940,
   46970,47002,47004,47009,47010,47013,47085,47089,47091,47094,
   47139,47225,47245,47248,47335,47336,47341,47343,47360,47361,
   47366,47368,47447,47549,47550,47578,47579,47582,47602,47603,
   47606,47729,47747,47913,47985,47986,48037,48060,48391,48396,
   48443,48444,48449,48511,48531,48554,48572,48605,48756,48757,
   48761,48762,48808,48812,48814,48815,48877,48881,48883,48884,
   49053,49070,49098,49099,49227,49233,49234,49235,49248,49254,
   49255,49256,49404,49411,49449,49455,49470,49474,49476,49477,
   49495,49498,49499,49566,49568,49585,49586,49605,49608,49624,
   49625,49626,49797,49798,49801,49821,49853,49857,49859,49860,
   49864,49867,49868,49906,49908,49924,49942,49943,50096,50140,
   50141,50161,50184,50414,50633,50639,50640,50641,50796,50806,
   50835,50840,50855,50858,50877,50878,50895,50912,50929,51257,
   51274,51290,51943,51945,51950,51951,51956,51957,51962,51964,
   51987,51995,52028,52029,52033,52034,52041,52042,52064,52065,
   52106,52108,52130,52139,52173,52174],
 [3558,3600,3642,3867,4152,4177,5666,5751,5800,5840,5991,6321],
 [3559,3601,3641,3866,5801,5841,5990,6320],
 [3562,3566,3604,3608,3645,3649,3760,3761,3765,3767,3870,3874,
   4028,4029,4033,4035,5657,5671,5742,5756,5785,5799,5825,5839,
   5975,5989,6107,6121,6150,6203,6319,6446,7735,7750,7778,7793,
   7901,7916,8012,8013,8016,8022,8068,8103,8165,8202,8373,8486,
   38604,38668,39507,39757,40432,40618,40829,40834,40841,40846,
   41313,41438,41968,42093,42132,42133,42159,42160,42772,42774,
   42803,42805,42831,42833,42962,42964,43379,43381,43470,43473,
   43497,43498,43502,43504,43529,43532,43789,43978,44013,44046,
   44048,44079,44081,44112,44165,44166,44283,44325,44833,45553,
   45750,45758,45763,45771,45865,45867,46202,46204,46479,46480,
   46639,46710,46952,47334,47342,47359,47367,47475,47477,47626,
   47711,48183,48425,48467,48763,48764,48807,48813,48876,48882,
   49228,49232,49249,49253,49852,49858,50219,50634,50638,51085,
   51944,51952,51955,51963,52035,52040],
 [3564,3568,3569,3606,3610,3611,3647,3653,3654,3872,3878,3879,
   4148,4149,4151,4173,4174,4176,4261,4262,4266,4300,4301,4305,
   5655,5660,5668,5740,5745,5753,5781,5794,5802,5821,5834,5842,
   5895,5899,5906,5912,5932,5936,5943,5949,5992,6110,6237,6322,
   7737,7744,7780,7787,7904,7905,8054,8055,8088,8095,8187,8194,
   8253,8258,8282,8287,13700,13701,13965,13966,14470,14484,
   19077,19078,19480,19482,19485,19563],
 [3570,3571,3612,3613,3651,3652,3876,3877,4146,4147,4171,4172,
   4263,4264,4302,4303,5650,5651,5735,5736,5776,5777,5816,5817,
   5971,5984,6074,6081,6087,6118,6314,6425,7738,7739,7781,7782,
   7903,7910,8053,8060,8089,8090,8188,8189,8223,8228,8365,8417]
  ,[3572,3614,5977,6258],
 [3573,3574,3615,3616,4085,4086,4089,4116,4117,4119,4142,4167,
   4237,4239,4399,5675,5676,5760,5761,5976,5982,6124,6126,6231,
   6234,6312,6449,6451,6531,6544],
 [3575,3581,3617,3623,3659,3663,3884,3888,4157,4162,4182,4187,
   5677,5683,5762,5768,5805,5813,5845,5853,5997,6002,6327,6332]
  ,[3576,3580,3618,3622,3658,3664,3883,3889,4156,4164,4181,
   4189,5684,5685,5769,5770,5807,5812,5847,5852,5995,6003,6325,
   6333],
 [3577,3578,3585,3586,3619,3620,3627,3628,3660,3662,3667,3668,
   3885,3887,3892,3893,4154,4158,4160,4161,4179,4183,4185,4186,
   4268,4274,4275,4276,4307,4313,4314,4315,4431,4441,4445,4446,
   4470,4475,4487,4489,5679,5680,5687,5688,5764,5765,5772,5773,
   5803,5804,5808,5809,5843,5844,5848,5849,5994,5998,6000,6001,
   6130,6131,6136,6138,6324,6328,6330,6331,6455,6456,6461,6463,
   6569,6586,6590,6599,6614,6615,6633,6634],
 [3579,3584,3621,3626,3661,3669,3886,3894,4153,4159,4178,4184,
   4269,4273,4308,4312,5681,5686,5766,5771,5810,5811,5850,5851,
   5993,5999,6129,6137,6323,6329,6454,6462],
 [3582,3583,3624,3625,3665,3666,3890,3891,4155,4163,4180,4188,
   5678,5682,5763,5767,5806,5814,5846,5854,5996,6004,6326,6334]
  ,[3655,3656,3880,3881,4385,5786,5787,5826,5827,6229],
 [3657,3882,4090,4092,4112,4113,5674,5759,5792,5832,6125,6450],
 [3671,3679,3685,3689,3754,3963,3969,3973,6008,6010,6022,6024,
   6148,6207,6407,6409,7857,7861,7876,7878,8029,8167,8525,8527,
   41052,41188,41781,42218,43432,44437,45367,45428,46749,47138,
   47672,48515],
 [3672,3676,3678,3680,3791,3929,3962,3964,6009,6015,6021,6023,
   6178,6337,6406,6408,7856,7874,7877,7879,7992,8505,8526,8528]
  ,[3677,3714,6018,6050,7875,7950],
 [3681,3682,3965,3966,4084,6025,6026,6410,6411,6530],
 [3687,3696,3971,3980,4218,4219,4220,4221,5855,5856,5860,5873,
   6011,6027,6235,6412,8122,8123,8124,8129,12835,12836,12841,
   12849,12850,12851,13699,13967,19083,19509],
 [3691,3692,3693,3694,3730,3731,3732,3733,3910,3911,3912,3913,
   3975,3976,3977,3978,4320,4321,4337,4338,5896,5897,5898,5908,
   5910,5911,5933,5934,5935,5945,5947,5948,6006,6019,6040,6053,
   6083,6085,6361,6404,7863,7864,7865,7870,7942,7943,7944,7949,
   8219,8220,8226,8230,8255,8256,8260,8284,8285,8289,8415,8419,
   8719,8781,8963,9078,10734,10858,10917,12684,12687,14577,
   16408,18233],
 [3695,3697,3979,3981,4386,6012,6017,6261,6262,6382],
 [3698,3699,3703,3704,3982,3983,3987,3988,4424,4469,6030,6032,
   6037,6038,6415,6417,6422,6423,6591,6632],
 [3700,3708,3984,3992,6029,6033,6414,6418,13796,13813,13982,
   13989,14304,14305,19106,19111,19294,19295,19614,19617],
 [3701,3702,3707,3709,3985,3986,3991,3993,4454,4488,6028,6034,
   6035,6036,6413,6419,6420,6421,6576,6620],
 [3705,3706,3989,3990,6031,6039,6416,6424],
 [3710,3718,3724,3728,3752,3898,3904,3908,6042,6044,6056,6058,
   6146,6205,6364,6366,7936,7940,7955,7957,8025,8163,8443,8445,
   13766,13767,14169,14171,14174,14201,14202,14252,14322,19011,
   19012,19276,19277,19375,19377,19781,19782,19795,38881,38882,
   39274,39275,40323,40324,41142,41143,42244,42245,42515,42517,
   42519,42522,42529,42532,42555,42556,42568,42569,42573,42627,
   42661,42663,42665,42701,42707,42709,42910,42959,42982,42985,
   42987,43025,43367,44355,44983,44984,45915,45916,45920,45921,
   45928,45946,45951,45952,45980,45985,45989,46086,46111,46114,
   46115,46139,46141,46667,47163,47166,47629,48472,50453,50454,
   50455,50471,50472,50488],
 [3711,3715,3717,3719,3789,3790,3792,3895,3897,3899,3932,3995,
   6043,6049,6055,6057,6175,6176,6181,6335,6342,6363,6365,6465,
   7935,7953,7956,7958,7988,7991,7994,8441,8444,8446,8509,8563,
   8716,8778,8964,9079,10731,10857,10916,12746,12864,14186,
   14190,14212,14218,14339,14340,16407,16464,18234,19787,19792,
   19798,19806,19811,19819,38333,38372,38560,38625,39428,39462,
   39784,39827,40056,40135,40646,40728,40955,41417,41464,41736,
   41853,41922,42592,42695,42935,43046,44662,44694,45258,45506,
   45578,45885,46061,46113,49067,49409,49497,49523,49824,49885,
   50397,50437,50845,52007,52071,52146],
 [3720,3721,3900,3901,6059,6060,6367,6368],
 [3726,3735,3906,3915,6045,6061,6233,6369,7867,7880,7946,7959,
   8340,8344,8447,8529],[3734,3914,6046,6260],
 [3736,3916,6051,6359],
 [3737,3738,3742,3743,3917,3918,3922,3923,6064,6066,6071,6072,
   6372,6374,6379,6380],
 [3739,3747,3919,3927,6063,6067,6371,6375,7883,7887,7889,7892,
   7962,7966,7968,7971,8450,8454,8456,8459,8532,8536,8538,8541,
   40375,40383,40750,40751,42229,42230,42322,42323,44322,44323,
   45437,45439,45733,45734,49972,49974],
 [3740,3741,3746,3748,3920,3921,3926,3928,6062,6068,6069,6070,
   6370,6376,6377,6378],
 [3744,3745,3924,3925,6065,6073,6373,6381],
 [3756,4193,6152,6213,8032,8168,8715,8962,10854,12747,14514,
   14523,14565,19848,19857,19862,26160,26316,26510,27643,27841,
   28970,29168,30394,31620,32797,38205,38331,38557,38921,39015,
   39193,39313,39424,39779,40055,40287,40450,40642,40824,40870,
   40914,41069,41239,41411,41850,42109,42193,42362,42449,42494,
   42593,42761,42936,43104,43330,43685,44030,44394,44904,45084,
   45501,45745,45806,45847,46064,46241,46593,47090,47266,47331,
   47399,47433,47575,48035,48445,48796,49217,50046,50075,51006,
   51050],
 [3758,3759,4026,4027,6155,6156,6484,6485,43495,43496,47749,
   47750],
 [3764,4032,4200,4286,6157,6200,6241,6486,43501,47751,48347,
   50167],
 [3768,3769,4036,4037,4197,4198,4283,4284,5900,5914,5937,5951,
   6077,6091,6208,6429,8017,8024,8156,8157,8233,8261,8290,8422,
   43476,43505,43506,44142,44143,44332,46485,46514,46517,48535,
   50164,50165],
 [3770,3771,4038,4039,4195,4196,4281,4282,5902,5916,5939,5953,
   6075,6089,6149,6427,8018,8019,8155,8162,8231,8263,8292,8420,
   43507,43508,43537,44173,44202,44203,46455,46456,46644,47692,
   50162,50163],[3772,4040,6142,6266,43509,47531],
 [3773,4041,4191,4238,6141,6216,6239,6517,43510,47504,48623,
   50119],
 [3774,4042,4087,4091,4114,4118,6147,6214,6215,6386,6515,6516,
   43511,47651,48621,48622,48822,49173],
 [3775,3780,4043,4048,4206,4292,6160,6167,6223,6489,6496,6524,
   43512,43517,47754,47761,48630,50173],
 [3776,3781,4044,4049,4211,4297,6162,6168,6217,6491,6497,6518,
   43513,43518,47756,47762,48624,50178],
 [3777,3785,4045,4053,4209,4210,4295,4296,6159,6163,6220,6228,
   6488,6492,6521,6529,43514,43522,47753,47757,48627,48635,
   50176,50177],
 [3778,3779,3784,4046,4047,4052,4202,4203,4207,4208,4288,4289,
   4293,4294,6158,6164,6165,6219,6221,6226,6227,6487,6493,6494,
   6520,6522,6527,6528,43515,43516,43521,47752,47758,47759,
   48626,48628,48633,48634,50169,50170,50174,50175],
 [3782,3783,4050,4051,4204,4212,4290,4298,6161,6169,6218,6222,
   6490,6498,6519,6523,43519,43520,47755,47763,48625,48629,
   50171,50179],[3786,4054,6166,6495,43523,47760],
 [3794,3930,6183,6340,7996,8507],
 [3795,3934,3997,4055,6185,6345,6468,6500],
 [3796,3811,3933,3996,4056,4071,6186,6336,6344,6385,6467,6501],
 [3800,3938,4001,4060,5863,5869,5875,5877,7977,8133,8136,8138,
   38466,38727,39509,39598,40187,40434,41007,41311,41830,42034,
   43609,43661,44011,44281,44710,44774,45394,46426,46712,47011,
   47713,48014,48125,48423],
 [3801,3810,3939,4002,4061,4070,6187,6232,6238,6346,6469,6502],
 [3809,4069,6259,6265],
 [3812,3815,3954,3955,4017,4018,4072,4075,6190,6194,6354,6356,
   6477,6479,6505,6509],
 [3813,3956,4019,4073,6192,6357,6480,6507],
 [3814,3820,3952,3957,4015,4020,4074,4080,6191,6193,6352,6358,
   6475,6481,6506,6508],
 [3816,3953,4016,4076,6195,6353,6476,6510],
 [3817,3821,3950,4013,4077,4081,6197,6347,6349,6470,6472,6512],
 [3818,3951,3959,4014,4022,4078,6188,6198,6351,6474,6503,6513],
 [3819,3822,3958,3960,4021,4023,4079,4082,6189,6199,6348,6350,
   6471,6473,6504,6514],[3823,4083,6355,6478],
 [3947,4010,6172,6267],[3948,4011,6171,6240],
 [3949,4012,6177,6387],[3961,4024,6196,6511],
 [4088,4115,4224,5871,5879,5880],
 [4093,4094,4357,4372,5918,5955,6084,6383],
 [4095,4096,6093,6431],[4097,6270],[4098,6243],[4099,6390],
 [4100,4132,4421,6392,6534,6554],[4101,4133,6536,6555],
 [4102,4129,6537,6550],[4103,4131,6538,6552],
 [4104,4130,4412,6401,6539,6551],
 [4105,4127,4415,6399,6541,6547],[4106,4128,6542,6549],
 [4107,4135,4414,6397,6543,6548],
 [4108,4134,4422,6393,6535,6556],[4109,4418,6396,6545],
 [4110,6546],[4111,6553],
 [4120,4121,4324,4341,5909,5917,5946,5954],
 [4122,4123,6092,6430],[4124,6269],[4125,6242],[4126,6389],
 [4136,4417,6394,6532],[4137,4419,6395,6533],[4138,6540],
 [4150,4175,5661,5746],[4199,4285,6201,6268,48374,50166],
 [4201,4287,6206,6388,48494,50168],
 [4205,4291,6224,6525,48631,50172],
 [4213,4299,6225,6526,48632,50180],[4214,5881],[4222,5866],
 [4223,5865],
 [4225,4226,4228,4229,4230,4231,4234,4236,5882,5884,5886,5888,
   5889,5890,5891,5892],
 [4227,4232,4233,4235,5883,5885,5887,5893],
 [4240,4241,4356,4371,5919,5956,6078,6236],
 [4242,4243,6094,6432],[4244,6271],[4245,6244],[4246,6391],
 [4247,4252,4403,4409,6245,6252,6559,6566],
 [4248,4253,6561,6567],[4249,6562],[4250,6564],
 [4251,4400,6254,6563],[4254,4255,4402,6250,6560,6568],
 [4256,4406,6249,6557],[4257,6558],[4258,6565],
 [4265,4304,6111,6264],[4267,4306,6116,6384],
 [4270,4278,4309,4317,6128,6132,6453,6457],
 [4271,4279,4310,4318,6134,6135,6459,6460],
 [4272,4277,4311,4316,6127,6133,6452,6458],
 [4322,4339,5904,5941],[4323,4340,5903,5940],
 [4325,4328,4342,4345,4367,4382,5927,5929,5964,5966,6095,6433],
 [4326,4343,5930,5967],
 [4327,4333,4344,4350,4366,4368,4381,4383,5925,5931,5962,5968,
   6096,6106,6434,6444],
 [4329,4346,4358,4369,4373,4384,5926,5963,6103,6104,6441,6442],
 [4330,4334,4347,4351,4361,4364,4376,4379,5920,5922,5957,5959,
   6099,6102,6437,6440],
 [4331,4348,4363,4378,5924,5961,6097,6435],
 [4332,4335,4349,4352,4360,4375,5921,5923,5958,5960,6100,6438],
 [4336,4353,4362,4377,5928,5965,6101,6439],
 [4355,4370,6079,6263],[4359,4374,6105,6443],
 [4365,4380,6098,6436],[4387,6281],[4388,6282],[4389,6277],
 [4390,6279],[4391,6278],[4392,6274],[4393,6276],
 [4394,6275],[4395,6283],[4396,6272],[4397,6273],
 [4398,6280],[4401,6255],[4404,6251],[4405,6247],
 [4407,6248],[4408,6256],[4410,6246],[4411,6253],
 [4413,6402],[4416,6398],[4420,6403],[4423,6400],
 [4425,4447,4464,4478,6582,6592,6601,6617],
 [4426,4462,4479,6593,6610,6626],
 [4427,4432,4455,4477,6572,6577,6594,6622],
 [4428,4459,6575,6596],
 [4430,4440,4451,4453,4460,4467,4471,4476,6573,6584,6585,6598,
   6604,6605,6613,6616],[4433,4457,6587,6602],[4434,6629],
 [4435,4448,4465,4473,4481,6571,6580,6607,6618,6624],
 [4436,4463,4474,6595,6608,6627],
 [4437,4456,4472,6570,6609,6623],[4439,6612],[4442,6578],
 [4443,4484,6579,6588],[4444,6630],[4449,6600],
 [4450,4482,6581,6619],[4458,4483,6603,6628],[4468,6621],
 [4485,6589],[4486,6631],[6635,6636,6699,6701,6702,6885],
 [6637,6888],[6639,6641,6763,6766,6887,6946],[6640,6889],
 [6642,6703,6706,6824],[6643,6700,6705,6886],
 [6644,6645,6647,6650,6707,6708,6710,6713,6890,6891,6893,6896],
 [6646,6648,6651,6709,6711,6714,6892,6894,6897],
 [6649,6652,6712,6715,6895,6898],[6653,6716,6899],
 [6658,6663,6666,6677,6904,6909,6912,6923,7074,7075,7078,7082,
   7083,7086,7092,7097,13653,13736,19028,19183],
 [6660,6683,6723,6741,6744,6746,6924,6927],
 [6661,6682,6724,6728,6743,6745,6911,6926,10048,12001,12137,
   17628],[6664,6910,10221,10331,17665,17775],
 [6665,6680,6907,6928,10184,17492],[6667,6674,6914,6915],
 [6668,6669,6730,6731,6732,6737,6913,6920],[6670,6931],
 [6671,6930],[6676,6932],[6678,6681,6906,6929],[6684,6917],
 [6685,6739,6749,6916],[6686,6733,6748,6922],
 [6687,6691,6754,6756,6939,6942],
 [6688,6689,6753,6757,6938,6943],
 [6690,6695,6752,6755,6940,6944],
 [6692,6697,6758,6761,6934,6935],
 [6693,6696,6750,6759,6933,6937],
 [6694,6698,6751,6760,6936,6941],[6704],[6734,6747],
 [6762,6765,6947,6948],[6764],[6767,6768,6825,6826,6945,7119]
  ,[6769,6770,6772,6775,6949,6950,6952,6955],
 [6771,6773,6776,6951,6953,6956],[6774,6777,6954,6957],
 [6778,6958],
 [6779,6780,6967,6977,38425,38600,38672,38861,39576,39657,39660,
   39765,41054,41365,41368,41530,43588,43981,44797,44826,45051,
   46568,47930,48336,49646,49662,51275,51291],
 [6781,6798,6961,6978,13673,13688,13692,13759,13954,13958,18984,
   18999,19070,19073,19265,19364],[6783,6802,6968,6971],
 [6785,6808,6983,6986],[6786,6807,6970,6985,13892,19339],
 [6787,6797,6959,6960,14061,14062,19161,19336],
 [6788,6791,6963,6982],[6789,6969],
 [6790,6805,6966,6987,14028,19203],[6792,6799,6973,6974],
 [6793,6794,6972,6979],[6795,6801,6990,6991],[6796,6989],
 [6803,6806,6965,6988],[6809,6976],[6810,6811,6975,6981],
 [6812,6818,6996,7001,8654,8691],
 [6813,6817,6819,6820,6994,6995,7002,7003,8663,8677,8686,8705],
 [6814,6815,6822,6823,6993,6997,6999,7000],
 [6816,6821,6992,6998],[6827,7062],[6828],[6829,7005],
 [6830,7007,7126,7181],[6831,7123],[6832,7127],
 [6833,7013,7121,7175],[6834,7124],[6835,7128],
 [6836,7010,7120,7176],[6837,7014,7122,7177],[6838,7125],
 [6839,7129],[6840,6841,7017,7018,7138,7148,7193,7203],
 [6842,6859,7019,7036,7132,7149,7187,7204,13585,13586,13629,
   13636,13637,13672,13674,13690,13694,13704,13705,13712,13713,
   13715,13718,13719,13909,13945,13953,13956,13970,13972,13977,
   13978,14226,14302,14530,14531,14572,14574,15503,15518,15589,
   15883,18899,18900,18941,18942,19025,19040,19042,19066,19069,
   19071,19094,19095,19099,19100,19119,19125,19221,19229,19230,
   19535,19562,19566,19575,19579,19581,19582,19820,19837,19865,
   19866,20652,20723,20726,20918,23788,23792,23859,24054,25258,
   25273,25344,25543,38416,38592,38598,38665,39570,39629,39760,
   39762,40231,40369,40706,40708,41053,41191,41526,41528,41782,
   41956,41962,42088,43299,43431,43640,43642,43769,43771,43964,
   43970,44098,44104,44309,44436,44828,45368,45427,45556,45558,
   46623,46750,46949,47558,47671,47992,47994,48107,48109,48399,
   48512],[6843,6865,7133,7155],
 [6844,6863,7139,7142,15599,15603,16083,20733,20737,21217,23778,
   23781,24047,25263,25266,25532],[6845,6861,7135,7151],
--> --------------------

--> maximum size reached

--> --------------------