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