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