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