z1 := (1,2)(4,8)(5,10)(6,12)(7,14)(9,18)(11,22)(15,29)(16,30)(17,32)(20,37) (24,41)(25,43)(26,45)(27,47)(28,49)(31,55)(33,59)(34,61)(35,63)(36,65) (38,68)(39,70)(40,72)(42,76)(44,80)(46,84)(48,88)(50,92)(51,94)(52,96) (53,98)(54,75)(57,104)(58,66)(64,115)(67,120)(69,124)(71,128)(73,132)(79, 139)(82,144)(83,146)(86,150)(87,152)(91,158)(95,164)(97,168)(99,171)(101, 174)(102,176)(103,178)(106,183)(107,185)(108,187)(109,189)(110,191)(111, 181)(112,154)(114,196)(117,200)(118,202)(119,204)(121,207)(122,209)(126, 206)(130,220)(131,222)(133,226)(134,215)(135,229)(137,232)(138,180)(140, 237)(141,239)(142,241)(143,243)(145,247)(147,251)(148,253)(149,255)(151, 259)(153,263)(155,266)(156,268)(157,270)(159,170)(160,274)(161,276)(162, 278)(166,261)(167,284)(173,293)(175,297)(179,303)(182,306)(188,316)(192, 322)(193,324)(194,326)(195,328)(197,201)(198,331)(199,249)(210,345)(211, 309)(212,348)(213,350)(214,352)(216,354)(218,357)(219,359)(221,363)(223, 367)(224,369)(225,371)(227,375)(230,380)(231,299)(233,385)(234,386)(235, 388)(236,390)(240,397)(242,400)(245,404)(250,410)(252,414)(254,418)(257, 320)(258,424)(265,434)(272,444)(273,446)(275,356)(279,455)(280,456)(281, 458)(282,460)(283,462)(285,466)(286,468)(287,337)(288,471)(289,473)(290, 474)(291,476)(292,478)(294,481)(295,483)(300,489)(301,491)(302,493)(307, 500)(308,335)(310,432)(311,505)(312,338)(313,508)(315,510)(317,513)(318, 515)(319,517)(329,405)(330,528)(333,417)(336,377)(339,537)(341,540)(342, 542)(343,544)(344,546)(347,430)(349,552)(351,556)(355,562)(358,566)(360, 570)(361,571)(362,532)(364,576)(366,579)(372,588)(373,590)(374,592)(378, 597)(382,603)(383,605)(384,607)(387,612)(389,615)(391,618)(392,620)(393, 547)(394,623)(396,614)(399,629)(401,633)(402,635)(403,637)(406,641)(407, 643)(408,645)(412,651)(413,653)(416,587)(421,664)(422,666)(423,668)(426, 672)(427,521)(428,675)(433,680)(435,684)(436,670)(437,687)(439,690)(440, 692)(441,694)(442,464)(443,640)(451,703)(452,705)(453,707)(454,709)(461, 719)(465,596)(470,730)(475,736)(479,742)(480,743)(484,748)(485,749)(486, 751)(487,753)(492,760)(494,764)(495,543)(496,767)(497,769)(498,531)(499, 740)(504,776)(507,779)(512,783)(516,580)(518,791)(519,793)(520,794)(522, 797)(524,799)(525,801)(526,803)(527,805)(533,573)(534,811)(535,813)(539, 817)(541,819)(545,824)(548,660)(549,828)(550,830)(551,832)(553,835)(554, 826)(558,842)(559,844)(560,739)(561,846)(564,850)(565,852)(568,856)(569, 858)(574,866)(575,868)(578,873)(581,876)(583,879)(585,882)(586,809)(591, 890)(593,894)(594,896)(595,898)(598,901)(599,893)(600,903)(601,665)(602, 862)(606,911)(608,915)(609,917)(610,919)(611,921)(617,925)(619,929)(624, 889)(625,777)(626,887)(631,755)(632,941)(636,948)(638,952)(639,818)(644, 960)(646,936)(647,964)(648,965)(649,855)(650,968)(654,973)(655,975)(656, 977)(657,979)(658,980)(659,757)(661,984)(662,837)(663,987)(667,994)(669, 998)(676,1006)(677,1007)(678,727)(679,1009)(682,1013)(683,1015)(686,1019) (688,1022)(689,1024)(691,1028)(693,1032)(695,1036)(696,728)(697,1039) (698,922)(699,1041)(700,738)(701,1044)(702,834)(704,1049)(706,1053)(710, 1060)(711,1062)(712,1064)(713,1066)(714,1068)(716,1070)(717,1072)(718, 1074)(721,1078)(723,1081)(724,1083)(725,1085)(726,1087)(731,1094)(732, 1096)(733,1098)(734,1100)(741,1106)(745,1111)(746,1113)(747,1115)(750, 1120)(752,1124)(754,1128)(756,796)(758,1131)(759,1133)(763,1139)(766, 1143)(768,1147)(770,1150)(771,1151)(772,1153)(773,1109)(774,807)(775, 1156)(778,1161)(781,1091)(782,1076)(784,1167)(785,1169)(786,1171)(787, 1173)(790,1176)(795,1184)(798,861)(802,1191)(804,1195)(806,1127)(808,931) (815,840)(816,1206)(821,1211)(822,1213)(823,1215)(825,1219)(829,1225) (833,1229)(838,1163)(843,1241)(845,1245)(847,1248)(848,1223)(849,1250) (853,880)(854,972)(857,1259)(859,1263)(860,1265)(863,1269)(864,1271)(867, 1273)(870,1018)(871,1277)(872,1279)(875,1237)(877,1284)(878,1286)(881, 1289)(883,1292)(884,1294)(885,956)(886,1297)(888,1300)(895,1309)(897, 1312)(899,1314)(900,990)(904,1320)(905,1322)(906,1324)(907,927)(908,1326) (909,1327)(910,1329)(914,1335)(916,1338)(918,1341)(920,1345)(928,1351) (932,1356)(933,1224)(934,1358)(937,1362)(938,1363)(939,1365)(940,1367) (942,1371)(943,1373)(944,1375)(945,1377)(946,1378)(951,1384)(954,1389) (955,1391)(957,1394)(958,1396)(967,1407)(969,1411)(970,1406)(978,1420) (982,1426)(983,1199)(986,1431)(992,1317)(993,1435)(996,1439)(997,1441) (1001,1446)(1003,1449)(1004,1451)(1005,1453)(1010,1459)(1011,1461)(1012, 1463)(1014,1467)(1016,1470)(1017,1472)(1025,1059)(1026,1481)(1031,1194) (1034,1197)(1040,1498)(1042,1501)(1046,1503)(1048,1505)(1051,1508)(1052, 1510)(1055,1504)(1057,1515)(1058,1517)(1063,1524)(1065,1527)(1067,1529) (1069,1533)(1071,1537)(1073,1541)(1077,1547)(1082,1551)(1088,1559)(1089, 1560)(1090,1562)(1092,1564)(1093,1565)(1097,1569)(1099,1573)(1102,1576) (1103,1577)(1105,1579)(1107,1582)(1108,1584)(1114,1591)(1116,1500)(1117, 1595)(1118,1491)(1122,1593)(1126,1604)(1129,1607)(1132,1609)(1134,1612) (1135,1614)(1136,1616)(1137,1618)(1138,1620)(1140,1623)(1141,1545)(1142, 1626)(1144,1630)(1145,1611)(1146,1633)(1149,1637)(1154,1646)(1155,1648) (1157,1651)(1158,1652)(1159,1654)(1162,1657)(1164,1478)(1165,1661)(1166, 1663)(1172,1670)(1175,1674)(1177,1677)(1178,1678)(1179,1680)(1180,1682) (1181,1684)(1182,1685)(1187,1690)(1188,1638)(1189,1693)(1193,1469)(1201, 1704)(1202,1705)(1203,1707)(1204,1708)(1207,1709)(1209,1711)(1210,1712) (1212,1715)(1214,1718)(1217,1307)(1218,1252)(1222,1725)(1226,1728)(1227, 1729)(1228,1731)(1230,1735)(1231,1737)(1232,1688)(1233,1740)(1234,1742) (1236,1476)(1238,1746)(1239,1747)(1244,1754)(1247,1758)(1251,1764)(1253, 1428)(1254,1287)(1255,1605)(1256,1417)(1257,1769)(1260,1773)(1261,1775) (1262,1777)(1266,1784)(1267,1786)(1268,1788)(1272,1507)(1275,1789)(1276, 1793)(1280,1799)(1281,1523)(1291,1809)(1295,1813)(1299,1818)(1301,1820) (1302,1822)(1303,1823)(1304,1825)(1305,1827)(1306,1828)(1311,1834)(1313, 1836)(1315,1839)(1316,1653)(1318,1843)(1323,1848)(1325,1851)(1328,1855) (1330,1859)(1331,1780)(1332,1862)(1333,1864)(1334,1866)(1336,1869)(1342, 1876)(1343,1857)(1344,1437)(1347,1883)(1348,1885)(1349,1886)(1352,1641) (1353,1889)(1354,1608)(1355,1892)(1359,1896)(1360,1898)(1361,1900)(1364, 1808)(1366,1906)(1369,1910)(1370,1733)(1376,1920)(1380,1926)(1381,1928) (1385,1934)(1386,1936)(1387,1938)(1388,1940)(1393,1429)(1397,1540)(1398, 1952)(1399,1953)(1401,1954)(1402,1956)(1403,1958)(1404,1960)(1405,1962) (1409,1566)(1410,1968)(1413,1494)(1415,1973)(1416,1975)(1418,1796)(1419, 1539)(1422,1982)(1423,1984)(1424,1816)(1432,1732)(1433,1893)(1434,1997) (1436,2001)(1438,1447)(1440,2006)(1443,1664)(1444,2010)(1445,2012)(1448, 2016)(1450,2019)(1452,2022)(1455,2027)(1456,2029)(1457,2031)(1458,2032) (1462,2038)(1464,2042)(1465,1850)(1466,2045)(1474,2055)(1475,2057)(1479, 2061)(1480,2063)(1482,2067)(1484,2070)(1485,2072)(1486,2074)(1488,1699) (1489,2078)(1490,2080)(1493,2083)(1495,2085)(1496,2087)(1497,2089)(1502, 1553)(1506,2096)(1509,2101)(1511,2104)(1512,2000)(1513,2107)(1514,2109) (1516,2112)(1518,2114)(1519,2115)(1520,2117)(1521,2119)(1522,2121)(1525, 2125)(1526,2127)(1528,2130)(1531,2134)(1535,1656)(1536,2139)(1544,2136) (1546,2149)(1548,2152)(1549,2154)(1550,2156)(1555,2135)(1556,2161)(1557, 2163)(1558,2165)(1567,2176)(1572,2181)(1575,2186)(1578,2190)(1580,2193) (1586,1727)(1588,2203)(1589,2205)(1590,2206)(1597,2212)(1598,2213)(1599, 2215)(1600,2217)(1601,2090)(1603,2221)(1606,2191)(1610,2230)(1619,2128) (1622,2243)(1624,2220)(1628,2249)(1629,2251)(1632,2255)(1634,2258)(1635, 2260)(1636,2262)(1639,2005)(1640,2268)(1642,2271)(1643,2273)(1644,2274) (1649,1772)(1650,2281)(1655,2286)(1660,2291)(1665,2296)(1666,2036)(1667, 2299)(1668,2202)(1669,1837)(1671,2033)(1672,2303)(1673,2305)(1676,2308) (1679,2312)(1681,2315)(1683,2319)(1686,1912)(1687,2324)(1691,2326)(1692, 2328)(1694,2330)(1695,2332)(1696,2334)(1697,2336)(1698,2338)(1700,2341) (1701,2343)(1703,1761)(1706,2347)(1713,2354)(1717,2357)(1720,2035)(1722, 1832)(1723,2362)(1724,2363)(1730,2367)(1734,2371)(1739,2377)(1743,2383) (1744,2004)(1745,2386)(1748,2390)(1750,2393)(1751,2395)(1752,2397)(1755, 1996)(1756,2402)(1759,2406)(1760,2408)(1762,2411)(1766,2415)(1767,2235) (1770,2420)(1776,2426)(1778,2428)(1779,2430)(1781,2433)(1782,1812)(1783, 2425)(1787,2441)(1790,2446)(1791,2448)(1795,2453)(1797,2455)(1798,2457) (1801,2461)(1802,2463)(1804,2465)(1805,2466)(1806,2197)(1807,2469)(1810, 2472)(1811,2160)(1819,2483)(1824,2488)(1830,2495)(1831,2497)(1833,2500) (1835,2502)(1838,2506)(1841,2511)(1844,2516)(1845,2518)(1846,2519)(1853, 2524)(1854,2345)(1856,2528)(1865,2540)(1870,2521)(1871,2148)(1874,2548) (1875,2550)(1878,2555)(1879,2557)(1880,2559)(1881,2513)(1887,1908)(1891, 2569)(1894,2573)(1895,2575)(1899,2579)(1902,2582)(1903,2147)(1913,2591) (1914,2288)(1915,2594)(1916,2595)(1917,2589)(1922,2105)(1923,2601)(1924, 2603)(1925,2605)(1927,2609)(1929,2588)(1930,2306)(1931,2613)(1932,2349) (1933,2615)(1937,2622)(1939,2626)(1941,2630)(1942,2631)(1944,2276)(1945, 2200)(1946,2208)(1949,2633)(1950,2184)(1951,2342)(1955,2642)(1961,2650) (1963,2102)(1964,2654)(1965,2656)(1966,2489)(1967,2659)(1969,2662)(1970, 2664)(1971,2666)(1972,2668)(1977,2673)(1978,2674)(1979,2676)(1980,2678) (1981,2679)(1983,2682)(1985,2477)(1987,2686)(1988,2687)(1989,2689)(1990, 2456)(1991,2618)(1992,2307)(1993,2693)(1994,2695)(1998,2680)(1999,2699) (2003,2542)(2008,2320)(2009,2710)(2017,2719)(2018,2721)(2020,2725)(2021, 2464)(2025,2718)(2026,2731)(2028,2733)(2030,2736)(2034,2742)(2039,2547) (2041,2749)(2044,2753)(2047,2756)(2048,2758)(2051,2196)(2052,2755)(2053, 2763)(2058,2769)(2059,2095)(2065,2774)(2066,2775)(2069,2188)(2071,2779) (2073,2783)(2076,2787)(2077,2760)(2081,2794)(2082,2158)(2086,2800)(2092, 2805)(2093,2738)(2094,2808)(2097,2151)(2098,2812)(2099,2814)(2103,2373) (2106,2821)(2120,2834)(2123,2837)(2124,2839)(2129,2726)(2132,2848)(2133, 2850)(2137,2853)(2138,2854)(2140,2857)(2141,2859)(2142,2290)(2143,2831) (2144,2862)(2145,2293)(2146,2865)(2150,2685)(2153,2641)(2155,2877)(2157, 2880)(2162,2885)(2166,2890)(2167,2637)(2168,2564)(2169,2894)(2170,2896) (2171,2898)(2172,2350)(2173,2515)(2174,2419)(2178,2905)(2179,2907)(2182, 2910)(2183,2912)(2185,2915)(2192,2919)(2195,2923)(2198,2803)(2204,2930) (2210,2934)(2211,2932)(2216,2938)(2218,2439)(2223,2237)(2224,2944)(2225, 2946)(2226,2948)(2227,2950)(2228,2809)(2229,2953)(2234,2958)(2238,2960) (2240,2961)(2241,2257)(2242,2964)(2247,2967)(2248,2969)(2250,2972)(2252, 2974)(2253,2976)(2254,2841)(2264,2322)(2265,2989)(2267,2712)(2269,2514) (2270,2992)(2275,2998)(2277,3001)(2278,3003)(2279,3005)(2282,2348)(2283, 2991)(2285,2996)(2289,3013)(2292,3016)(2294,3018)(2298,2883)(2300,3022) (2301,3024)(2302,3026)(2304,3029)(2309,3021)(2310,3037)(2314,3040)(2317, 3045)(2318,3047)(2321,3051)(2323,3054)(2325,3057)(2333,3065)(2346,3076) (2351,3082)(2352,3084)(2356,2421)(2358,2508)(2359,3028)(2365,2491)(2370, 3078)(2374,3102)(2375,3104)(2379,3099)(2380,3109)(2381,2538)(2382,2855) (2384,3114)(2388,3117)(2389,3119)(2392,2494)(2394,3124)(2396,3127)(2398, 3131)(2399,3132)(2400,3134)(2401,3105)(2403,2646)(2404,2644)(2405,3140) (2410,3144)(2412,3148)(2413,2727)(2414,3150)(2418,3153)(2429,3161)(2434, 3166)(2435,3167)(2436,3169)(2437,3171)(2440,2720)(2443,3145)(2444,3180) (2445,3182)(2447,3185)(2449,3188)(2450,2777)(2451,3059)(2452,3191)(2454, 2688)(2458,3197)(2459,3199)(2467,3204)(2468,2858)(2470,3208)(2471,3210) (2474,3155)(2475,3069)(2476,2509)(2478,3217)(2479,2643)(2480,2541)(2482, 3220)(2485,3222)(2486,3195)(2490,3221)(2492,3229)(2493,3231)(2499,3237) (2501,3240)(2504,2879)(2505,2740)(2510,3246)(2517,2531)(2520,3256)(2523, 2776)(2527,3259)(2534,3106)(2535,3075)(2536,3266)(2539,3165)(2543,2965) (2546,3275)(2549,3278)(2551,3281)(2552,2634)(2553,3283)(2554,3285)(2558, 3290)(2561,2987)(2562,3135)(2563,3295)(2565,3297)(2566,3299)(2567,3300) (2568,3193)(2571,3303)(2572,3091)(2576,3307)(2577,3309)(2578,2884)(2580, 3313)(2581,3315)(2583,3317)(2584,2811)(2585,3320)(2586,2825)(2587,3177) (2593,3328)(2596,3110)(2597,3333)(2598,3335)(2599,2617)(2600,3338)(2602, 3341)(2604,3094)(2606,3340)(2612,3351)(2614,3086)(2616,3356)(2619,3358) (2621,3080)(2623,3362)(2625,3365)(2628,3370)(2629,3372)(2632,2669)(2635, 3376)(2638,2941)(2639,3379)(2640,3381)(2645,3387)(2647,3389)(2648,3391) (2649,3393)(2657,3187)(2658,3402)(2661,3405)(2665,3409)(2667,3413)(2670, 3181)(2671,3090)(2677,3255)(2684,3142)(2690,3432)(2694,3436)(2700,3440) (2701,3442)(2702,2815)(2705,3446)(2707,3448)(2708,2995)(2713,3453)(2714, 2903)(2715,3456)(2716,3458)(2717,3459)(2722,2729)(2723,3463)(2724,3184) (2728,3468)(2730,3471)(2734,3476)(2735,3478)(2737,3481)(2739,3483)(2744, 3451)(2750,3492)(2751,3494)(2752,3496)(2761,3201)(2762,3503)(2764,3505) (2765,3507)(2767,3509)(2768,3511)(2770,3514)(2771,3515)(2772,3517)(2773, 3519)(2778,3522)(2780,3524)(2781,3520)(2784,3528)(2785,3530)(2786,3532) (2788,3536)(2790,3538)(2792,2878)(2795,3541)(2797,3543)(2798,3545)(2799, 3547)(2801,3550)(2802,3552)(2807,3095)(2813,3559)(2819,3562)(2824,2988) (2826,2835)(2827,3568)(2828,3569)(2829,3571)(2830,3573)(2833,3576)(2836, 3580)(2842,3319)(2844,3586)(2845,3588)(2846,3590)(2847,3592)(2851,2927) (2861,3305)(2866,3558)(2869,3608)(2870,3089)(2873,3613)(2882,3622)(2886, 3597)(2888,3627)(2889,3629)(2892,3632)(2893,3474)(2899,3384)(2901,3401) (2902,3641)(2904,3251)(2908,3050)(2909,3375)(2913,3647)(2914,3649)(2917, 3653)(2918,3655)(2921,3658)(2922,3535)(2928,3071)(2931,3490)(2935,3664) (2939,3665)(2940,3486)(2942,3667)(2943,3500)(2945,3023)(2952,3470)(2955, 3678)(2956,3680)(2957,2984)(2963,2985)(2966,3689)(2971,3687)(2978,3697) (2980,3698)(2982,3612)(2983,3702)(2990,3707)(2994,3657)(2997,3710)(3000, 3713)(3002,3717)(3007,3720)(3008,3721)(3009,3723)(3011,3725)(3012,3727) (3014,3729)(3015,3380)(3017,3734)(3019,3234)(3025,3404)(3031,3743)(3034, 3745)(3035,3306)(3039,3750)(3041,3753)(3042,3755)(3043,3595)(3044,3758) (3046,3761)(3048,3764)(3049,3766)(3052,3769)(3053,3771)(3060,3777)(3062, 3779)(3063,3781)(3067,3485)(3070,3353)(3077,3786)(3079,3788)(3081,3790) (3083,3793)(3085,3796)(3092,3797)(3093,3465)(3096,3311)(3097,3801)(3101, 3804)(3107,3774)(3108,3812)(3111,3784)(3112,3815)(3113,3817)(3115,3347) (3116,3366)(3118,3819)(3120,3502)(3121,3498)(3122,3823)(3128,3830)(3129, 3832)(3130,3833)(3133,3269)(3136,3837)(3141,3258)(3143,3840)(3146,3845) (3147,3847)(3151,3646)(3152,3684)(3154,3854)(3156,3856)(3160,3859)(3163, 3863)(3168,3869)(3173,3584)(3174,3877)(3175,3879)(3176,3881)(3178,3883) (3179,3884)(3189,3891)(3190,3852)(3200,3897)(3202,3491)(3203,3899)(3206, 3224)(3207,3903)(3211,3907)(3212,3600)(3213,3909)(3216,3913)(3219,3917) (3225,3241)(3226,3844)(3227,3449)(3228,3921)(3230,3924)(3232,3927)(3233, 3242)(3236,3330)(3239,3932)(3244,3662)(3247,3938)(3250,3939)(3254,3853) (3261,3946)(3262,3948)(3263,3292)(3264,3682)(3265,3949)(3267,3864)(3268, 3893)(3271,3954)(3272,3956)(3273,3293)(3274,3428)(3277,3958)(3286,3970) (3288,3971)(3296,3978)(3298,3795)(3302,3675)(3304,3984)(3308,3987)(3312, 3378)(3316,3993)(3321,4000)(3322,4002)(3325,4005)(3326,3787)(3327,4008) (3336,3811)(3337,4018)(3342,3648)(3344,3607)(3345,4023)(3354,4030)(3355, 4032)(3364,4039)(3367,4042)(3368,4044)(3371,4048)(3373,4051)(3382,4058) (3383,4060)(3385,4063)(3390,4068)(3392,4071)(3394,4073)(3395,4075)(3396, 3934)(3397,3705)(3398,4078)(3399,4079)(3403,4083)(3406,4084)(3407,3439) (3411,3643)(3412,4089)(3415,3865)(3419,3575)(3422,4095)(3423,4096)(3424, 4098)(3425,3606)(3426,4101)(3427,3534)(3435,3944)(3444,4109)(3447,3952) (3450,4113)(3452,3625)(3457,3531)(3460,4121)(3462,3850)(3466,4125)(3473, 3690)(3475,4132)(3480,4138)(3487,4142)(3488,3644)(3489,4144)(3495,4149) (3501,4155)(3508,4053)(3510,4014)(3513,4170)(3516,4174)(3518,4176)(3523, 4180)(3533,4191)(3539,3992)(3542,4091)(3544,4201)(3546,4187)(3549,4066) (3553,4209)(3555,4211)(3564,4219)(3566,4220)(3567,3582)(3578,4229)(3581, 4233)(3594,4246)(3596,4143)(3598,4222)(3603,3724)(3609,4256)(3610,4258) (3611,4260)(3614,3672)(3616,4262)(3621,4116)(3624,3631)(3626,4265)(3630, 4267)(3633,3969)(3634,4271)(3635,4273)(3636,3986)(3638,4275)(3639,4277) (3640,3757)(3650,4285)(3651,4024)(3652,4288)(3660,3676)(3663,4148)(3671, 4290)(3673,4299)(3677,3693)(3685,4308)(3692,4313)(3694,4145)(3695,4311) (3699,4131)(3704,3858)(3708,3920)(3709,4326)(3711,4316)(3712,3722)(3714, 4331)(3715,4328)(3726,4335)(3731,4339)(3732,3765)(3736,3890)(3737,4344) (3739,4346)(3740,4292)(3741,4349)(3742,3937)(3744,4189)(3747,4224)(3748, 4354)(3749,4352)(3751,4351)(3752,4162)(3756,4361)(3763,4369)(3767,4372) (3773,4007)(3778,4376)(3780,4380)(3782,4383)(3783,3887)(3791,4387)(3798, 4394)(3799,4127)(3800,4397)(3802,4400)(3806,4404)(3807,4092)(3808,3849) (3810,4406)(3818,4415)(3821,4419)(3824,4423)(3825,4159)(3826,4425)(3834, 4432)(3835,4434)(3842,4440)(3843,4112)(3846,4081)(3848,4445)(3851,3981) (3855,3874)(3857,3875)(3861,4411)(3862,4453)(3867,4456)(3872,4460)(3873, 4461)(3885,4154)(3886,4341)(3888,4473)(3894,4479)(3895,4480)(3896,4482) (3898,4483)(3900,4486)(3901,4488)(3902,4315)(3904,4492)(3905,4494)(3906, 4496)(3911,4502)(3915,3935)(3919,3931)(3929,4114)(3943,4519)(3945,3963) (3950,4526)(3953,4530)(3955,4533)(3960,4319)(3961,4540)(3964,4104)(3965, 4537)(3966,4543)(3972,4548)(3975,4549)(3976,4551)(3977,4553)(3980,4554) (3990,4563)(3991,4388)(3994,4567)(3995,4384)(3996,4570)(3997,4572)(3998, 4574)(4004,4580)(4009,4582)(4010,4253)(4015,4585)(4019,4587)(4020,4589) (4025,4594)(4026,4595)(4028,4596)(4029,4597)(4034,4600)(4038,4604)(4040, 4521)(4041,4281)(4043,4608)(4045,4611)(4046,4364)(4052,4592)(4055,4146) (4056,4618)(4057,4619)(4061,4238)(4062,4625)(4064,4628)(4065,4630)(4067, 4363)(4070,4633)(4077,4236)(4080,4643)(4082,4576)(4086,4647)(4087,4649) (4090,4650)(4094,4613)(4103,4659)(4107,4374)(4110,4665)(4117,4202)(4128, 4300)(4129,4136)(4133,4678)(4134,4680)(4137,4467)(4140,4529)(4141,4685) (4150,4457)(4151,4693)(4152,4695)(4157,4697)(4161,4700)(4165,4379)(4168, 4702)(4173,4485)(4178,4276)(4179,4710)(4181,4713)(4182,4390)(4183,4716) (4186,4719)(4193,4206)(4197,4500)(4198,4357)(4205,4291)(4212,4734)(4214, 4735)(4215,4737)(4216,4739)(4217,4403)(4221,4742)(4223,4266)(4225,4237) (4228,4746)(4239,4753)(4240,4754)(4241,4307)(4242,4672)(4244,4730)(4245, 4759)(4247,4476)(4248,4762)(4251,4763)(4255,4515)(4264,4770)(4269,4772) (4274,4777)(4279,4408)(4284,4323)(4287,4788)(4289,4791)(4296,4303)(4297, 4348)(4301,4729)(4304,4798)(4305,4795)(4310,4804)(4317,4809)(4318,4811) (4320,4766)(4327,4385)(4337,4820)(4338,4822)(4342,4636)(4343,4825)(4356, 4831)(4358,4833)(4360,4829)(4365,4837)(4366,4828)(4367,4840)(4371,4516) (4382,4850)(4389,4852)(4391,4802)(4402,4858)(4410,4862)(4412,4864)(4413, 4654)(4416,4869)(4417,4871)(4418,4873)(4422,4535)(4424,4584)(4426,4877) (4427,4715)(4429,4880)(4436,4706)(4437,4885)(4438,4886)(4449,4796)(4455, 4896)(4462,4901)(4463,4902)(4464,4904)(4465,4504)(4466,4578)(4469,4794) (4470,4669)(4472,4814)(4475,4912)(4477,4884)(4484,4800)(4489,4923)(4490, 4750)(4491,4913)(4503,4933)(4505,4935)(4506,4937)(4507,4938)(4508,4842) (4509,4939)(4510,4867)(4511,4941)(4512,4881)(4514,4855)(4518,4817)(4520, 4934)(4522,4861)(4523,4952)(4525,4617)(4539,4907)(4542,4966)(4544,4969) (4545,4561)(4546,4733)(4547,4972)(4552,4977)(4555,4982)(4556,4984)(4557, 4986)(4558,4889)(4559,4988)(4562,4888)(4565,4651)(4566,4740)(4569,4997) (4581,5005)(4583,5006)(4586,4863)(4590,5012)(4599,4826)(4602,4830)(4605, 5023)(4607,4950)(4612,4927)(4614,5029)(4616,5031)(4620,5035)(4621,4955) (4622,5038)(4623,5040)(4626,5034)(4627,4675)(4631,4674)(4632,5049)(4635, 4882)(4637,5054)(4638,5051)(4639,4764)(4641,5057)(4642,4961)(4644,5061) (4645,4843)(4652,4827)(4653,5067)(4655,5069)(4656,5071)(4657,4945)(4658, 4947)(4661,4890)(4662,5045)(4663,4688)(4664,4793)(4667,5079)(4671,5081) (4676,4683)(4677,4755)(4689,4985)(4690,4893)(4694,5100)(4696,5018)(4701, 4726)(4703,5016)(4704,4940)(4707,4918)(4708,5107)(4709,4926)(4711,5078) (4712,5109)(4720,5102)(4722,5118)(4724,5121)(4725,5123)(4727,4910)(4728, 5125)(4732,5128)(4741,4943)(4745,5064)(4749,4819)(4751,5136)(4756,4866) (4757,5138)(4758,5140)(4760,4785)(4767,4844)(4768,5147)(4769,5084)(4774, 5088)(4784,5156)(4786,5158)(4803,5165)(4807,5169)(4812,5174)(4813,5013) (4818,4932)(4821,5068)(4823,5181)(4824,4915)(4834,5188)(4839,5193)(4841, 5190)(4845,5197)(4846,5143)(4847,5060)(4848,5200)(4849,4919)(4851,5202) (4853,5162)(4856,5206)(4859,5207)(4860,5004)(4868,5144)(4875,5130)(4883, 5222)(4887,5228)(4892,5224)(4900,5236)(4903,5240)(4908,5209)(4909,5245) (4914,5250)(4916,5252)(4917,5166)(4920,5256)(4921,5098)(4922,5163)(4928, 5261)(4929,5249)(4930,5264)(4931,5150)(4944,5273)(4946,5191)(4954,4995) (4956,5280)(4957,5281)(4962,5167)(4965,5286)(4974,5087)(4975,5294)(4979, 5298)(4980,5021)(4981,5173)(4991,5306)(4992,5151)(4994,5308)(4996,5310) (4998,5131)(5000,5314)(5001,5316)(5003,5318)(5009,5321)(5011,5182)(5015, 5327)(5017,5177)(5020,5225)(5028,5334)(5030,5332)(5042,5229)(5043,5345) (5044,5347)(5047,5349)(5050,5351)(5056,5356)(5059,5148)(5063,5270)(5066, 5363)(5073,5276)(5074,5368)(5075,5301)(5083,5374)(5085,5377)(5089,5382) (5092,5230)(5093,5385)(5103,5184)(5106,5393)(5114,5271)(5115,5399)(5116, 5185)(5117,5304)(5119,5398)(5132,5268)(5133,5168)(5135,5409)(5146,5408) (5149,5417)(5154,5421)(5155,5226)(5160,5337)(5164,5429)(5170,5433)(5192, 5326)(5201,5447)(5211,5305)(5213,5454)(5214,5455)(5215,5415)(5217,5457) (5218,5459)(5223,5462)(5227,5467)(5233,5435)(5238,5379)(5242,5466)(5247, 5469)(5248,5370)(5253,5483)(5257,5486)(5258,5389)(5263,5365)(5269,5451) (5278,5279)(5282,5394)(5283,5505)(5285,5489)(5288,5440)(5293,5474)(5295, 5511)(5299,5512)(5302,5515)(5307,5519)(5311,5383)(5312,5521)(5315,5400) (5317,5526)(5320,5529)(5322,5362)(5325,5531)(5328,5534)(5329,5406)(5341, 5410)(5343,5544)(5353,5372)(5354,5373)(5355,5555)(5358,5384)(5360,5371) (5366,5453)(5381,5434)(5388,5508)(5391,5568)(5395,5468)(5396,5560)(5397, 5574)(5402,5580)(5403,5563)(5411,5586)(5412,5587)(5413,5589)(5414,5425) (5423,5597)(5424,5470)(5430,5600)(5438,5606)(5439,5608)(5441,5593)(5442, 5446)(5444,5611)(5445,5613)(5449,5618)(5452,5552)(5456,5620)(5458,5551) (5460,5598)(5471,5543)(5477,5533)(5485,5510)(5490,5569)(5491,5497)(5499, 5643)(5537,5635)(5539,5561)(5542,5548)(5547,5669)(5550,5604)(5553,5625) (5554,5673)(5557,5626)(5558,5678)(5562,5651)(5565,5637)(5566,5603)(5572, 5685)(5573,5583)(5584,5692)(5585,5694)(5590,5688)(5594,5632)(5596,5634) (5599,5701)(5615,5640)(5641,5722)(5649,5681)(5650,5720)(5653,5709)(5654, 5712)(5657,5728)(5658,5711)(5660,5724)(5661,5731)(5663,5715)(5664,5733) (5668,5735)(5671,5737)(5672,5739)(5676,5706)(5682,5730)(5683,5723)(5689, 5704)(5696,5703)(5699,5742)(5708,5716)(5719,5748)(5725,5736)(5726,5743) (5751,5753)(5760,5762)(5765,5766)(5770,5772);