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