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