a := (1, 525)( 2,1545)(   3,1189)(   4, 654)(   6,1208)(   7, 575)
(   8,1322)(   9, 848)(  10, 126)(  11,1105)(  12, 666)(  13, 989)
(  14, 344)(  15, 450)(  16, 669)(  17, 408)(  18, 591)(  19,  77)
(  20,1305)(  21,1570)(  22, 825)(  23, 141)(  24,1001)(  25, 662)
(  26,1359)(  27, 846)(  28,1524)(  29,1490)(  30, 254)(  31, 320)
(  32,1095)(  33,1145)(  34,1168)(  35, 542)(  36, 635)(  37, 460)
(  38, 411)(  40, 412)(  41, 343)(  42, 397)(  43, 557)(  44, 565)
(  45,1386)(  46,1053)(  47,  90)(  48, 115)(  49, 659)(  50,1387)
(  51, 873)(  52,1162)(  53, 640)(  54,1000)(  55, 810)(  56, 949)
(  57, 868)(  58, 641)(  59, 273)(  60,1015)(  61,1256)(  62,1288)
(  63, 656)(  64,1196)(  65,1260)(  66, 346)(  67,1486)(  68, 912)
(  69, 188)(  70, 231)(  71,1003)(  72, 657)(  73, 655)(  74, 379)
(  75, 648)(  76, 452)(  78, 853)(  79,1192)(  80,1265)(  81, 370)
(  82,1412)(  84,1411)(  85, 133)(  86, 664)(  87, 618)(  88, 355)
(  89, 189)(  91, 239)(  92, 387)(  93,1385)(  94, 855)(  96,1018)
(  97,1499)(  98, 962)(  99, 978)( 100,1428)( 101,1228)( 102, 551)
( 103, 124)( 104, 263)( 105,1388)( 106, 297)( 107, 653)( 108, 663)
( 109,1532)( 110,1143)( 111, 523)( 112, 176)( 113, 497)( 114, 866)
( 116,1309)( 117,1209)( 118,1065)( 120,1354)( 121,1243)( 122, 652)
( 123, 665)( 125,1406)( 127, 637)( 128,1067)( 129,1449)( 130, 151)
( 131,1284)( 132, 390)( 134,1419)( 136, 646)( 137, 477)( 138,1026)
( 139, 658)( 140,1016)( 142,1276)( 143, 882)( 144,1257)( 145, 441)
( 146,1290)( 147,1400)( 148, 152)( 149, 527)( 150,1083)( 153, 920)
( 154,1045)( 155, 386)( 156, 389)( 157, 548)( 158, 964)( 159, 649)
( 160,1450)( 161,1491)( 162, 650)( 163,1500)( 164, 469)( 165, 442)
( 166,1058)( 167, 894)( 168, 818)( 169, 311)( 170, 623)( 171,1444)
( 172, 353)( 173,1544)( 174, 804)( 175, 616)( 178, 917)( 179, 261)
( 180, 651)( 181,1023)( 182, 888)( 183, 201)( 184,1031)( 185, 383)
( 186,1531)( 187,1422)( 190, 963)( 191, 576)( 192, 325)( 193, 642)
( 194,1556)( 195, 487)( 196,1056)( 197,1459)( 198,1355)( 199, 823)
( 200, 330)( 202, 643)( 203, 898)( 204,1059)( 205,1211)( 206,1561)
( 207,1356)( 208,1202)( 209, 500)( 210,1437)( 211,1438)( 212,1395)
( 213, 224)( 214, 668)( 215,1263)( 217, 378)( 218, 867)( 219,1366)
( 220,1175)( 221, 626)( 222, 241)( 223,1343)( 225, 827)( 226, 869)
( 227, 287)( 228,1166)( 229, 250)( 230,1066)( 232,1403)( 233,1039)
( 234, 934)( 235,1264)( 236,1198)( 237,1137)( 238, 916)( 240, 574)
( 242, 459)( 243, 636)( 244, 586)( 245,1104)( 246, 430)( 247,1107)
( 248, 644)( 249,1050)( 251, 971)( 252,1210)( 253,1522)( 255, 857)
( 256, 558)( 257, 880)( 258,1071)( 259,1176)( 260, 660)( 262, 573)
( 264,1456)( 265,1527)( 266,1520)( 267,1334)( 269,1505)( 271,1110)
( 272, 334)( 274, 797)( 275,1408)( 276, 645)( 277, 547)( 278, 544)
( 279,1125)( 280,1311)( 281,1364)( 282, 999)( 283, 667)( 284,1431)
( 285,1344)( 286,1130)( 288,1111)( 289,1165)( 290,1033)( 291, 468)
( 292, 647)( 293, 444)( 294,1212)( 295,1178)( 296, 835)( 298,1197)
( 299,1247)( 300,1308)( 301, 901)( 302, 474)( 303,1346)( 304, 639)
( 305,1303)( 306, 432)( 307,1447)( 308, 510)( 309, 956)( 310, 661)
( 312, 382)( 313,1078)( 314,1240)( 315, 493)( 316,1397)( 317, 986)
( 319, 504)( 321, 632)( 322, 533)( 323,1293)( 324, 638)( 326,1418)
( 327,1569)( 328, 966)( 329,1352)( 331, 732)( 332,1273)( 333,1426)
( 336, 713)( 337,1487)( 338, 974)( 339, 720)( 340,1022)( 341,1329)
( 342,1414)( 345,1371)( 347,1038)( 348, 627)( 349,1296)( 350,1433)
( 351, 496)( 352, 481)( 354, 566)( 356, 775)( 357,1158)( 358,1526)
( 359,1214)( 360, 602)( 361, 899)( 362, 945)( 363,1299)( 364,1215)
( 365,1008)( 366,1332)( 367, 761)( 368, 930)( 371, 422)( 372, 919)
( 373,1337)( 374,1316)( 375, 700)( 377, 768)( 380, 858)( 381, 513)
( 384,1028)( 385,1122)( 388, 904)( 391, 977)( 392, 905)( 393,1286)
( 394, 706)( 395,1396)( 396, 782)( 398, 451)( 399,1429)( 402, 997)
( 403,1060)( 404,1108)( 406, 609)( 407,1123)( 409, 876)( 410, 763)
( 413,1394)( 414,1441)( 415, 704)( 416, 967)( 417,1410)( 418, 726)
( 419,1530)( 420,1453)( 421, 926)( 423,1238)( 424, 559)( 426, 592)
( 427,1333)( 428,1041)( 429,1027)( 431, 738)( 433, 973)( 434, 819)
( 435, 759)( 436, 471)( 437, 581)( 438, 684)( 439, 690)( 440, 895)
( 443,1186)( 445,1513)( 446, 495)( 447,1497)( 453,1552)( 454,1096)
( 455, 965)( 456, 800)( 457,1201)( 458,1207)( 461,1558)( 462,1154)
( 463, 721)( 464, 622)( 465,1323)( 466, 751)( 467,1489)( 470,1172)
( 472, 710)( 473,1372)( 476, 932)( 478,1557)( 479,1102)( 480,1407)
( 482,1417)( 483,1099)( 484, 680)( 485, 891)( 486, 928)( 488, 630)
( 489, 854)( 490, 961)( 491, 865)( 492, 673)( 494,1424)( 498,1560)
( 499, 696)( 501, 852)( 502,1021)( 503,1280)( 505,1335)( 506, 766)
( 507, 890)( 508,1217)( 509, 889)( 511,1339)( 512,1177)( 514, 758)
( 515,1118)( 517,1471)( 518, 730)( 519, 815)( 520, 975)( 521, 739)
( 522,1377)( 524, 856)( 526, 614)( 528, 988)( 529, 864)( 530,1469)
( 531,1379)( 532,1549)( 534,1221)( 535,1229)( 536, 746)( 537,1539)
( 538,1268)( 539, 840)( 540, 749)( 541, 582)( 543, 801)( 545, 567)
( 546, 689)( 549,1232)( 552,1399)( 554, 722)( 555,1421)( 556,1136)
( 560, 875)( 561, 947)( 562, 679)( 563, 943)( 564,1446)( 568,1190)
( 569, 981)( 570,1430)( 571,1477)( 572,1427)( 577,1285)( 578, 736)
( 579,1443)( 580, 617)( 583,1082)( 584,1338)( 585,1516)( 587, 958)
( 588, 817)( 590, 729)( 593, 783)( 594,1392)( 595, 995)( 596,1064)
( 597,1327)( 598,1051)( 599,1566)( 601,1563)( 603, 820)( 604, 743)
( 605,1194)( 606,1093)( 607,1234)( 611, 836)( 612,1368)( 613,1254)
( 615,1164)( 619,1040)( 620, 979)( 621,1336)( 624,1547)( 625,1239)
( 628, 987)( 629,1127)( 631, 711)( 633,1241)( 634, 686)( 670, 765)
( 671,1537)( 672, 756)( 674,1076)( 675, 957)( 676,1455)( 677, 791)
( 678,1483)( 681, 935)( 682,1129)( 683,1425)( 685,1258)( 688,1535)
( 691, 924)( 692,1381)( 693,1013)( 694, 991)( 695,1562)( 697,1330)
( 699,1106)( 701,1554)( 702,1036)( 703, 714)( 705, 821)( 707,1559)
( 709,1199)( 712,1472)( 715,1237)( 716, 832)( 717,1541)( 718,1452)
( 719, 762)( 723, 918)( 724,1091)( 725, 850)( 727,1461)( 728,1204)
( 731,1249)( 733,1436)( 734,1565)( 735,1171)( 737, 811)( 740, 831)
( 741,1511)( 742, 871)( 744,1564)( 745, 939)( 747,1442)( 748,1124)
( 750, 872)( 752,1384)( 753,1085)( 755, 822)( 757,1141)( 760,1012)
( 764,1363)( 767, 881)( 769,1369)( 770,1253)( 771,1439)( 772, 906)
( 774,1049)( 776,1575)( 777,1275)( 778,1478)( 779,1084)( 780,1573)
( 784,1479)( 785, 923)( 786,1017)( 787,1070)( 788,1009)( 789,1287)
( 790,1115)( 792,1495)( 793,1163)( 794,1519)( 795,1094)( 796,1148)
( 798,1528)( 799,1277)( 802, 998)( 803, 976)( 805,1416)( 806,1269)
( 807,1248)( 808,1205)( 809,1345)( 812,1159)( 813, 983)( 814, 990)
( 816,1378)( 824,1072)( 826,1295)( 828,1451)( 829,1144)( 830,1512)
( 833,1173)( 834,1405)( 837,1465)( 838, 922)( 839,1068)( 841,1484)
( 842,1460)( 843,1042)( 844, 910)( 845,1011)( 847,1219)( 849,1326)
( 851,1423)( 859,1270)( 860, 902)( 862,1222)( 863,1349)( 870, 982)
( 874,1312)( 878,1401)( 879,1140)( 883,1271)( 884,1233)( 885,1551)
( 886,1543)( 887,1054)( 892,1350)( 893,1126)( 896,1160)( 897,1230)
( 903,1402)( 907,1534)( 908,1227)( 909,1092)( 911,1155)( 913, 959)
( 914,1508)( 915,1374)( 921,1226)( 925,1090)( 927,1025)( 929,1156)
( 931,1134)( 933,1061)( 936,1409)( 937, 946)( 938, 954)( 940,1413)
( 941,1458)( 942,1313)( 944,1383)( 951,1314)( 952,1300)( 953,1480)
( 955, 996)( 960,1301)( 968,1062)( 969,1510)( 970,1432)( 972,1002)
( 980,1030)( 984,1279)( 985,1357)( 992,1181)( 993,1044)( 994,1169)
(1004,1542)(1005,1574)(1006,1251)(1007,1555)(1010,1161)(1014,1298)
(1019,1283)(1024,1133)(1029,1101)(1032,1328)(1034,1037)(1035,1146)
(1043,1259)(1047,1567)(1048,1488)(1052,1250)(1055,1454)(1057,1518)
(1063,1262)(1069,1274)(1073,1482)(1074,1109)(1075,1188)(1079,1112)
(1080,1185)(1081,1149)(1086,1498)(1087,1266)(1088,1246)(1089,1415)
(1097,1261)(1098,1473)(1100,1135)(1103,1182)(1113,1216)(1114,1132)
(1116,1138)(1117,1321)(1119,1183)(1121,1550)(1128,1255)(1131,1390)
(1139,1225)(1142,1492)(1147,1548)(1150,1180)(1151,1502)(1152,1325)
(1167,1244)(1174,1252)(1179,1220)(1184,1278)(1191,1398)(1193,1373)
(1195,1496)(1200,1445)(1203,1494)(1213,1307)(1218,1358)(1223,1475)
(1224,1571)(1231,1306)(1235,1481)(1236,1292)(1242,1529)(1245,1361)
(1267,1294)(1281,1440)(1289,1391)(1291,1342)(1297,1324)(1302,1540)
(1310,1448)(1315,1389)(1317,1468)(1318,1348)(1319,1503)(1320,1435)
(1331,1509)(1340,1501)(1341,1463)(1347,1420)(1351,1485)(1362,1525)
(1365,1464)(1367,1568)(1375,1376)(1380,1507)(1382,1523)(1404,1476)
(1457,1538)(1462,1521)(1466,1515)(1467,1474)(1470,1533)(1506,1517);