[[0,2,3,4,7,10,14,19,21,25,28,38,44,48,51,58,69,580,1028,1283],[1,5,11,12,15,16,17,24,26,29,35,39,59,60,68,99,257,261,321,514,643,1033,1541,2304],[8,9,20,27,30,31,37,42,43,49,56,61,62,66,71,72,74,79,87,104,268,275,1024,1026,1045,1220,1286,2053,2561],[13,18,34,45,47,52,57,75,91,100,131,138,140,195,263,287,289,297,385,518,769,1044,1055,1094,1292,1346,2180,3202],[23,36,50,53,76,89,92,111,128,266,269,271,276,295,311,315,521,526,527,707,1025,1029,1032,1034,1035,1036,1037,1038,1042,1052,1060,1073,1095,1098,1154,1289,1539,1551,1667,2626,3267,3394,3589],[40,41,63,73,88,108,113,135,256,259,262,265,270,291,296,299,308,322,329,333,392,520,525,836,1031,1040,1063,1084,1357,1796,2054,2116,2313,2369,2501,2882,3140,3712],[6,22,33,46,78,84,121,127,258,267,282,285,302,304,391,523,581,589,1054,1066,1067,1082,1088,1111,1349,1605,1856,1923,2125,2307,2757,3330,3401,3524],[54,55,64,65,85,86,90,102,106,107,109,139,143,264,277,283,316,328,331,519,524,590,1049,1056,1113,1152,1285,1411,1475,1989,2115,2123,2127,2189,3072,3079,3720,3907],[67,77,81,83,93,95,116,118,130,142,193,260,300,303,313,323,340,450,513,585,775,781,896,1030,1058,1070,1086,1100,1101,1102,2048,2063,2113,2247,2571,2823,3084,3456,4034],[96,110,115,120,124,279,281,301,319,320,335,356,359,396,452,462,712,839,963,1039,1047,1053,1069,1071,1089,1109,1280,1290,1294,1297,1359,1545,1734,2055,2056,2057,2059,2376,2433,2504,3278,3841],[94,101,134,166,170,272,280,286,294,298,318,325,346,349,361,397,515,845,847,1050,1051,1059,1065,1076,1096,1097,1115,1161,1216,1288,1291,1348,1546,1547,1602,1871,2126,2312,2575,2692,2695,2696,2895,2948,3080,3335,3649,3843],[70,105,119,137,141,180,284,293,312,326,522,551,587,772,1048,1061,1077,1103,1116,1314,1316,1321,1419,1476,1998,1999,2049,2050,2058,2062,2087,2094,2118,2188,2572,2702,3011,3201,3340,3780,3917],[32,117,133,145,273,274,305,332,334,350,366,393,399,516,531,579,650,776,779,898,1027,1043,1057,1068,1079,1081,1087,1099,1106,1139,1153,1224,1281,1304,1322,1408,1420,1613,1737,2060,2061,2082,2178,2439,2560,3969],[80,144,153,160,288,292,317,330,342,343,344,348,384,390,451,535,563,576,777,968,1064,1075,1083,1093,1117,1145,1164,1230,1231,1293,1295,1315,1416,1422,1536,1542,1544,1549,1609,1664,1730,1924,2052,2088,2120,2176,2316,2817,3073,3085,3086,3209,3457,3593,3980],[147,156,201,207,306,360,533,537,539,543,549,550,553,558,571,572,778,783,1078,1092,1112,1157,1159,1162,1229,1282,1301,1309,1323,1325,1326,1350,1352,1538,1550,1603,1799,1807,1986,2066,2089,2098,2309,2375,2884,3212,3718,3968],[82,103,123,136,150,152,155,159,198,203,324,362,364,371,398,530,556,591,646,710,771,773,834,1080,1091,1123,1125,1284,1303,1332,1412,2064,2068,2069,2109,2121,2122,2379,2503,3016,3077,3098,3269,3328,3591,3906],[98,112,122,125,129,146,154,202,205,278,354,389,394,395,415,460,552,555,564,569,570,713,770,782,791,1074,1085,1090,1128,1135,1160,1167,1287,1299,1300,1306,1308,1318,1334,1414,1675,1802,1803,2065,2074,2092,2110,2242,2306,2625,3074,3143,3147,3272,3274,3339,3341,3521,4043,4045],[97,126,132,158,161,174,185,190,196,200,204,310,314,327,351,401,512,546,584,586,654,714,780,799,800,1041,1120,1130,1132,1134,1140,1149,1158,1191,1302,1329,1333,1336,1340,1342,1343,1614,1793,1795,2076,2078,2095,2107,2117,2133,2183,2184,2252,2311,2336,2374,2637,3136,3399,3467,3535],[157,165,171,172,307,353,363,365,367,369,528,534,557,559,718,794,906,1046,1072,1119,1129,1166,1171,1310,1311,1353,1355,1363,1421,1543,1548,1800,1861,1863,2051,2073,2079,2093,2100,2103,2105,2185,2187,2314,2318,2378,2445,2562,2697,2893,3137,3146,3149,3331,3648],[164,168,175,177,179,187,189,191,197,206,229,336,370,377,382,383,386,387,547,565,575,588,607,647,715,717,768,910,960,1062,1105,1124,1131,1165,1210,1223,1327,1337,1354,1381,1571,1868,1928,2071,2072,2077,2080,2091,2108,2119,2124,2129,2241,2305,2342,2345,2565,2754,2822,2944,3008,3089,3091,3095,3144,3464,3587,3918],[114,169,199,215,232,341,404,453,536,554,566,568,574,577,641,789,821,1122,1133,1137,1138,1163,1190,1305,1307,1320,1324,1328,1339,1341,1344,1351,1358,1383,1480,1481,1554,1565,1587,1608,1665,1673,1678,1732,1811,2104,2106,2186,2320,2636,2826,3076,3081,3082,3148,3342,3661,3788],[176,186,192,194,213,290,374,379,388,540,644,653,708,788,808,830,841,1107,1127,1143,1144,1156,1194,1203,1313,1556,1573,1611,1621,2081,2084,2090,2102,2111,2138,2139,2191,2250,2251,2315,2317,2319,2332,2344,2347,2351,2370,2443,2446,2511,2634,2883,3078,3083,3087,3101,3138,3150,3208,3273,3393,3659,3779,4033],[162,173,188,234,238,309,352,358,381,403,412,413,517,541,578,583,592,599,628,648,651,716,793,814,962,1142,1146,1147,1148,1170,1202,1218,1298,1345,1478,1607,1805,2075,2086,2141,2249,2348,2507,2567,2638,2818,2824,3075,3145,3151,3460,3466,3468,3790],[151,183,219,224,245,337,372,373,408,409,458,538,542,545,548,573,796,842,909,1118,1126,1150,1193,1196,1222,1225,1338,1356,1392,1418,1562,1566,1567,1671,1738,1797,1806,1867,2067,2096,2097,2099,2112,2134,2165,2190,2356,2435,2582,2631,2951,2956,3200,3727,3845],[163,181,182,221,355,375,378,407,411,414,435,456,457,459,561,567,601,603,605,638,655,719,813,815,828,846,850,905,1108,1121,1151,1197,1362,1367,1371,1372,1417,1483,1486,1540,1595,1615,1801,2136,2137,2207,2244,2308,2310,2360,2584,2627,2690,3105,3139,3142,3204,3213,3336,3400,3403,3404,3594,3597,3719,3721,3912,3983],[184,214,217,233,237,253,345,347,380,410,444,562,604,649,709,787,804,843,900,908,972,1114,1172,1183,1199,1232,1385,1423,1580,1594,1792,1858,1990,2083,2140,2146,2182,2253,2321,2331,2334,2337,2367,2372,2380,2383,2569,2573,2758,3104,3214,3265,3392,3592,3909,3971],[149,212,240,251,376,421,447,465,529,598,612,632,640,667,795,820,831,837,858,1169,1178,1181,1368,1390,1487,1537,1557,1581,1597,1674,1742,1821,2101,2114,2130,2132,2194,2326,2328,2352,2377,2381,2382,2564,2570,2886,3270,3529,3651,3784,3787],[148,210,226,248,445,593,635,636,642,774,810,832,857,860,862,903,967,1173,1175,1182,1227,1228,1312,1347,1394,1404,1405,1406,1479,1553,1563,1578,1599,1600,1604,1610,1630,1929,2070,2085,2144,2153,2158,2160,2177,2206,2323,2500,2767,2892,3023,3102,3103,3120,3333,3338,3343,3349,3469,3854],[218,220,228,338,406,436,532,597,616,623,801,833,1141,1155,1188,1192,1212,1214,1331,1360,1366,1370,1407,1561,1583,1625,1794,1920,2168,2175,2197,2324,2333,2368,2371,2373,2437,2441,2498,2831,3018,3088,3096,3097,3127,3135,3275,3358,3656,3662,3855],[178,208,222,243,339,427,428,429,442,455,463,608,614,617,629,661,706,819,825,1104,1209,1373,1376,1432,1558,1596,1606,1624,1677,1857,1862,1869,2159,2162,2203,2254,2255,2330,2353,2387,2396,2444,2510,2628,3012,3092,3134,3329,3357,3596,3599,3657,3723,3778,3849,4039],[225,236,254,405,420,443,446,454,560,619,663,705,798,811,824,829,840,844,907,971,974,1226,1296,1369,1375,1379,1427,1620,1666,1743,1804,1864,1865,1922,2142,2145,2166,2327,2350,2362,2389,2434,2701,2890,3099,3100,3110,3345,3350,3406,3526,3598,3660,3848,3851,3914,4044],[216,255,357,368,418,423,424,440,449,501,602,606,652,670,784,785,792,809,827,1110,1176,1317,1330,1335,1364,1387,1388,1409,1482,1484,1564,1672,1810,1840,1870,2149,2152,2157,2169,2173,2179,2224,2358,2363,2508,2574,2699,2827,2955,2959,3122,3129,3154,3203,3210,3405,3531,3533,3725,3850,3853,4040,4041],[426,434,438,471,486,505,582,600,666,817,854,859,1180,1200,1319,1374,1402,1415,1552,1591,1618,1740,1823,2325,2335,2349,2355,2398,2568,2591,2593,2759,2763,2816,2821,2830,3123,3215,3337,3355,3395,3458,3471,3590,3658,3905,4047],[167,209,223,246,250,422,431,461,596,626,634,645,669,671,851,901,969,1177,1208,1211,1243,1396,1410,1424,1434,1586,1589,1598,1612,1859,1866,1930,1984,2135,2329,2346,2365,2436,2566,2632,2760,2828,2829,2881,3114,3116,3133,3348,3359,3470,3605,3783,3913],[235,242,402,432,493,544,594,595,618,627,692,790,802,848,871,904,1136,1179,1206,1217,1365,1377,1393,1399,1477,1555,1572,1601,1628,1631,1676,1679,1728,1814,2128,2156,2167,2171,2193,2341,2393,2395,2432,2633,2635,2647,2698,2765,2819,3019,3128,3130,3131,3132,3159,3166,3211,3266,3334,3347,3354,3381,3520,3585,3588,3915],[419,439,441,488,631,656,724,797,805,835,975,1168,1174,1213,1215,1221,1238,1240,1242,1400,1425,1429,1436,1438,1560,1577,1584,1592,1619,1818,1822,2143,2172,2174,2235,2240,2245,2364,2397,2497,2639,2703,3015,3093,3107,3112,3118,3153,3184,3207,3276,3353,3716,3722,3842,3844,3973,4046],[249,425,448,469,475,611,613,622,664,665,668,823,916,970,1184,1187,1195,1201,1219,1233,1236,1361,1472,1474,1485,1736,1931,2150,2154,2170,2196,2199,2248,2257,2322,2361,2442,2447,2450,2505,2579,2585,2650,2691,2700,2761,2762,2891,3094,3121,3124,3218,3407,3663,3789,3976,3982],[211,227,239,484,615,621,633,704,728,786,806,807,812,816,822,964,1198,1205,1244,1413,1435,1439,1494,1668,1798,1808,1826,1848,1850,1933,1934,1995,2204,2243,2366,2386,2388,2391,2392,2440,2506,2583,2589,2688,2894,2945,3125,3141,3157,3158,3161,3193,3199,3205,3463,3612,3655,4038],[241,400,468,479,490,495,620,637,639,659,861,902,1239,1252,1397,1430,1431,1433,1437,1503,1570,1590,1627,1820,1882,2155,2164,2228,2266,2340,2587,2825,2838,2841,2952,3106,3111,3119,3156,3160,3162,3164,3165,3277,3279,3366,3391,3396,3402,3459,3650,3786,3919],[416,430,464,466,472,473,474,660,721,726,838,852,973,1185,1245,1389,1446,1462,1575,1579,1588,1593,1636,1731,1812,1816,1873,1926,1994,2161,2181,2202,2427,2430,2509,2563,2577,2580,2629,2693,2764,2766,2845,3117,3167,3230,3385,3386,3527,3595,3785,3916],[247,252,437,467,470,492,504,509,511,662,911,961,1246,1248,1266,1403,1467,1559,1582,1638,1657,1670,1681,1733,1813,1819,1932,1991,2151,2201,2416,2417,2421,2448,2578,2581,2586,2602,2604,2609,2649,2651,2694,2842,2888,2889,3014,3109,3115,3173,3332,3367,3372,3375,3522,3715,3726],[476,625,630,676,711,826,849,856,897,1237,1378,1398,1470,1471,1568,1629,1642,1649,1739,2131,2147,2209,2211,2238,2267,2384,2399,2403,2496,2502,2595,2624,2880,2950,2953,2954,3090,3108,3175,3356,3369,3398,3413,3414,3461,3584,3586,3600,3611,3908,3911],[477,478,496,672,677,683,685,703,863,899,1204,1268,1384,1386,1426,1650,1652,1669,1835,1839,1884,1921,2148,2233,2236,2264,2265,2269,2390,2407,2415,2592,2600,2630,2656,2820,3017,3113,3155,3163,3169,3171,3352,3360,3397,3532,3534,3615,3653,3654,3846],[494,610,624,686,853,874,887,1251,1260,1391,1441,1489,1574,1576,1834,1872,1925,1927,2192,2246,2263,2277,2354,2357,2359,2438,2455,2588,2590,2643,2666,2670,2756,2851,2947,2957,3126,3152,3168,3176,3182,3190,3217,3225,3226,3271,3351,3378,3412,3528,3530,3852,3977,3979],[433,508,609,675,732,919,965,1254,1270,1401,1450,1464,1490,1500,1585,1623,1626,1632,1682,1688,1689,1690,1692,1735,1741,1838,1876,1985,1993,2205,2215,2284,2286,2394,2408,2424,2517,2614,2833,2835,2862,2887,2899,3234,3344,3420,3652,3724,3840,4032],[244,487,506,658,691,729,883,920,925,1189,1473,1643,1662,1691,1729,1751,1825,1829,1836,1879,1887,1935,2200,2256,2261,2385,2429,2458,2461,2512,2523,2576,2601,2603,2640,2646,2664,2689,2706,2753,3022,3206,3216,3222,3224,3243,3268,3374,3465,3717,3782,3974,3981],[417,730,734,890,912,921,966,1241,1263,1445,1451,1497,1640,1817,1837,1846,1860,1880,2163,2198,2343,2406,2499,2524,2526,2605,2606,2617,2648,2654,2752,2832,2885,3227,3231,3264,3368,3389,3473,3856,3972,3975,3978],[230,231,497,657,733,913,1247,1256,1257,1395,1449,1465,1569,1647,1686,1885,1946,1988,1997,2195,2216,2268,2271,2285,2404,2414,2655,2658,2843,2844,2949,3009,3178,3198,3370,3382,3411,3418,3419,3462,3601,3776,3847,3864],[864,865,917,924,976,982,1234,1271,1279,1428,1443,1444,1469,1498,1616,1622,1644,1680,1685,1687,1693,1824,1874,1881,1890,1987,1992,1996,2217,2220,2221,2234,2338,2454,2462,2463,2611,2618,2840,2846,2855,2907,2958,3174,3192,3410,3416,3421,3423,3484,3523,3791,3910,4037,4042],[507,682,687,720,725,746,882,885,895,926,927,929,991,1278,1442,1452,1455,1507,1645,1659,1809,1898,1941,2208,2214,2449,2469,2608,2610,2623,2847,3010,3219,3280,3362,3371,3388,3408,3417,3602,3604,3609,3613,3667,3714,3777,3860,3866,3871,3904],[500,673,684,695,803,855,891,892,987,988,1235,1382,1454,1456,1491,1617,1658,1661,1663,1683,1694,1815,1831,1886,2260,2270,2412,2522,2597,2642,2714,2755,2836,2837,2946,2967,3187,3191,3195,3294,3478,3487,3610,3713,3781],[483,491,678,696,735,873,876,884,894,923,980,1255,1274,1380,1453,1460,1492,1496,1501,1508,1660,1754,1833,1847,1851,1855,1878,1939,2000,2218,2226,2281,2339,2409,2413,2423,2456,2460,2520,2645,2652,2705,2770,2772,3020,3021,3185,3197,3228,3285,3295,3525,3606,3607,3608,3674,3733,3862,3970],[502,681,697,701,702,742,914,915,922,979,1207,1262,1461,1466,1495,1499,1641,1646,1750,1756,1828,1843,1875,1883,1936,2400,2405,2425,2467,2596,2607,2653,2719,3013,3177,3179,3180,3221,3241,3289,3290,3364,3373,3387,3422,3427,3479,3537,3539,3614,3671,3797,3923,3926,3988,4035],[680,693,694,723,866,868,870,918,1468,1493,1502,1639,1653,1853,1945,1947,1948,1950,2007,2219,2222,2232,2259,2262,2411,2426,2457,2468,2473,2475,2598,2613,2641,2711,2773,2777,2778,2780,2839,2898,2903,2966,3170,3181,3229,3246,3415,3475,3482,3616,3668,3673,3792,3807,3861,3869,4036],[481,489,698,700,722,731,754,867,875,889,1186,1633,1635,1745,1747,1753,1758,1832,1849,1852,1854,1891,1940,2213,2223,2258,2451,2452,2459,2466,2487,2715,2834,3025,3030,3284,3292,3346,3361,3363,3383,3536,3664,3669,3730,4048],[498,674,689,727,869,878,893,985,1259,1261,1447,1448,1458,1463,1488,1514,1637,1699,1748,1841,1937,2212,2453,2474,2480,2514,2525,2527,2616,2619,2620,2704,2716,2717,3189,3220,3281,3286,3544,3545,3990,4058],[510,679,699,741,744,751,888,990,1258,1267,1277,1512,1656,1752,1830,1894,1944,2210,2225,2227,2239,2273,2410,2478,2621,2644,2672,2776,2896,2902,2904,2909,2910,2970,2971,3282,3288,3293,3428,3433,3486,3620,3629,3672,3728,3865,3867,4054],[482,485,818,879,881,984,1250,1253,1265,1272,1275,1504,1513,1516,1517,1518,1654,1695,1749,1757,1901,1949,2006,2009,2015,2230,2401,2472,2479,2712,2718,2848,2860,3183,3244,3377,3409,3480,3481,3546,3675,3677,3678,3679,3921,4059],[690,872,877,886,941,942,986,1457,1506,1712,1744,1827,1877,1896,1919,2231,2282,2418,2428,2516,2594,2667,2709,2775,2906,3223,3379,3384,3390,3432,3474,3485,3547,3621,3628,3637,3731,3738,3870,3929,3932,3933],[740,939,943,981,997,1269,1276,1459,1648,1651,1655,1698,1700,1703,1706,1842,1909,1938,1943,2003,2278,2283,2419,2518,2681,2708,2861,2897,2963,2972,3031,3196,3235,3236,3283,3291,3380,3483,3543,3548,3550,3631,3632,3665,3676,3737,3859,3931,3935],[750,932,934,936,978,989,1273,1440,1526,1527,1533,1704,1708,1709,1719,1723,1763,1897,1902,1903,1910,2012,2013,2295,2420,2464,2494,2515,2519,2665,2707,2713,2900,2911,2962,3194,3376,3429,3430,3454,3603,3666,3925,3928,3985,3998],[499,745,747,753,763,935,938,977,1684,1707,1713,1755,1759,1899,1906,1913,2237,2272,2289,2521,2531,2669,2783,2852,2863,2865,2905,2908,2965,3034,3036,3233,3287,3298,3426,3431,3435,3443,3444,3472,3477,3617,3624,3626,3736,3742,3799,3868,3922,3930],[480,736,940,945,949,956,1249,1264,1510,1515,1530,1696,1702,1845,1888,1951,2001,2297,2612,2659,2710,2725,2771,2857,2901,2968,3038,3250,3296,3311,3449,3492,3503,3542,3627,3740,3857,3858,3863,3920,3993,4050,4062],[737,749,759,958,959,1634,1746,1764,1844,2276,2291,2431,2513,2661,2668,2671,2675,2678,2683,2685,2732,2734,2866,2912,2964,2973,2975,3238,3308,3424,3436,3439,3540,3549,3618,3623,3625,3691,3802,3804,3878,3995,3996,3999,4049,4061],[743,880,933,996,1711,1722,1889,1912,1952,2008,2010,2014,2491,2534,2599,2615,2660,2662,2733,2856,2858,2919,2920,2922,2924,2926,2974,3035,3188,3240,3242,3365,3437,3476,3493,3551,3622,3639,3642,3643,3681,3798,3877,3924,3989,4060],[748,931,946,983,995,1511,1528,1532,1705,1710,1765,1771,1916,1955,1965,2011,2275,2280,2470,2476,2481,2495,2538,2541,2542,2781,2791,2969,3033,3037,3172,3259,3297,3305,3455,3538,3630,3647,3670,3729,3732,3735,3739,3741,3795],[739,937,948,953,1726,1895,1917,1942,1960,1963,2002,2004,2005,2402,2477,2622,2663,2768,2859,2867,2877,3027,3245,3249,3263,3306,3310,3434,3438,3490,3635,3644,3645,3646,3680,3750,3793,3803,3805,3886,3934,3986,3992,3994],[738,760,761,928,950,952,1519,1720,1762,1767,1914,1953,1958,1964,2488,2492,2539,2682,2723,2731,2769,2779,2850,2917,2921,2960,2977,3026,3028,3232,3239,3247,3253,3260,3307,3441,3442,3451,3553,3640,3743,3755,3801,3873,3997],[756,766,957,1529,1535,1697,1769,1770,1773,2023,2279,2290,2482,2489,2528,2680,2782,2849,2854,2925,2976,3032,3039,3453,3497,3501,3641,3689,3692,3695,3800,3880,3883,3984,4000,4057],[503,688,757,764,930,1000,1007,1520,1724,1725,1774,1892,1893,1962,2301,2490,2686,2724,2726,2774,2784,2868,2873,2914,2923,2961,3237,3251,3261,3440,3448,3450,3541,3686,3688,3694,3734,3806,3939,3987,4011,4052,4055,4056,4063],[762,767,1524,1727,1766,1900,1904,1961,2025,2229,2294,2296,2300,2422,2530,2536,2543,2673,2677,2729,3024,3248,3258,3303,3425,3684,3685,3690,3794,3875,3887,3927],[944,1002,1003,1004,1005,1014,1509,1522,1721,1918,2028,2287,2299,2537,2657,2674,2728,2730,2735,2869,2916,3029,3186,3254,3262,3304,3309,3502,3633,3814,3820,3821,3874,3884,3885,3991,4053],[765,951,1505,1523,1531,1714,1715,1772,1905,1966,2022,2465,2529,2540,2721,2722,2793,2853,2879,2918,2987,3040,3255,3256,3446,3488,3498,3757,3796,3813,3881,3882,3950,4051,4066],[994,1006,1018,1020,1521,1701,1775,1915,1954,1967,2018,2532,2535,2740,2864,2870,2872,2874,2875,2876,2934,2982,3257,3301,3318,3325,3489,3494,3499,3506,3509,3556,3559,3682,3683,3938,4003,4067],[993,1716,1908,1959,2293,2302,2486,2687,2720,2787,2796,2940,3055,3322,3324,3491,3500,3516,3562,3634,3693,3697,3747,3891,3945,3948,3949,4013,4075],[954,999,1001,1534,1776,1972,2031,2483,2485,2546,2684,2798,2981,3041,3050,3445,3496,3563,3567,3711,3752,3816,3872,3879,3903],[755,992,2298,2303,2493,2676,2727,2792,2915,2927,2991,3045,3321,3327,3452,3495,3555,3619,3638,3704,3746,3759,3817,3943],[955,1008,1768,1957,1974,2019,2030,2533,2794,2795,2929,2935,2939,2990,3299,3300,3302,3316,3323,3447,3505,3554,3699,3749,3754,3876,3900,3940,4074],[998,1760,1956,1973,2024,2026,2288,2292,2471,2547,2555,2557,2799,2871,2878,2913,2986,2988,3317,3512,3560,3758,3809,3894,3896,3937,3942,4071,4077],[1012,1016,1017,1019,1022,1717,1718,1783,1786,1983,2021,2274,2558,2744,2790,2978,3561,3566,3707,3756,3819,3890,3895,3936,4006],[758,1013,1525,1907,1911,1980,2027,2679,2747,2797,2932,2942,3053,3054,3252,3320,3557,3687,3696,3705,3708,3897,3898,3899,3902,4004,4014],[1761,1779,1780,1782,1784,1789,1975,1977,2484,2549,2550,2552,2553,2556,2742,2785,2930,2941,2984,2985,3049,3314,3572,3582,3709,3745,3818,3823,3892,3944,3946,3947,3951,3957,3966],[752,1021,1023,1968,1978,2029,2544,2548,2737,2738,2751,2788,2938,2993,3052,3312,3508,3564,3573,3576,3579,3636,3706,3710,3815,3893,3941,4009],[947,1781,1788,1970,1981,1982,2017,2559,2743,2746,2800,2933,2980,2989,3047,3513,3514,3552,3565,3569,3703,3751,3753,3901,3953,3965,3967,4076,4079],[1777,1785,1791,1971,2020,2035,2554,2741,2745,2750,2786,2789,2979,3046,3517,3580,3748,3808,3812,4002,4068],[1011,1976,1979,2045,2736,2748,2810,2936,2998,3007,3326,3507,3558,3701,3744,3765,3810,3822,3963],[1010,1015,2039,2739,2749,2805,2807,2813,2983,2999,3001,3043,3044,3048,3510,3702,3762,3764,3770,3828,4065],[1787,1790,2016,2040,2545,2803,2996,3042,3051,3313,3315,3518,3519,3578,3700,3773,3836,3964,4007,4008,4010,4012,4015],[1969,2033,2811,2937,2943,2992,2997,3002,3004,3006,3504,3515,3698,3766,3811,3831,4005,4016,4069,4073,4078],[1009,2032,2034,2041,2042,2044,2551,2815,2931,3005,3058,3069,3570,3772,3889,3952,3955,4001,4021,4022,4026,4028,4070],[2037,2809,2812,3000,3064,3066,3070,3581,3583,3760,3774,3837,3961,4064,4072,4086,4087,4088,4095],[1778,2038,2043,2808,2814,2928,3062,3067,3511,3832,3838,3960,4020,4024],[2046,2047,2806,3056,3060,3319,3568,3771,3775,3825,3835,3954,3956,4025],[2804,3065,3763,3767,3769,3827,3830,3834,3839,3962,4082],[2036,2802,2995,3003,3574,3768,3826,3888,3958,4090],[2801,3057,3575,3577,3959,4031,4083,4094],[3063,3068,3071,3571,3761,4030,4081],[3824,4017,4018,4019,4027,4093],[3833,4029,4080,4089,4091],[2994,4023],[3059,3061,4092],[4084,4085],[3829]]