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