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