a := (  14, 456,  92)(  15, 457,  93)(  16, 458,  94)(  17, 459,  95)
(  18, 460,  96)(  19, 461,  97)(  20, 462,  98)(  21, 463,  99)
(  22, 464, 100)(  23, 465, 101)(  24, 466, 102)(  25, 467, 103)
(  26, 468, 104)(  27, 469, 105)(  28, 470, 106)(  29, 471, 107)
(  30, 472, 108)(  31, 473, 109)(  32, 474, 110)(  33, 475, 111)
(  34, 476, 112)(  35, 477, 113)(  36, 478, 114)(  37, 479, 115)
(  38, 480, 116)(  39, 481, 117)(  40, 482, 118)(  41, 483, 119)
(  42, 484, 120)(  43, 485, 121)(  44, 486, 122)(  45, 487, 123)
(  46, 488, 124)(  47, 489, 125)(  48, 490, 126)(  49, 491, 127)
(  50, 492, 128)(  51, 493, 129)(  52, 494, 130)(  53, 495, 131)
(  54, 496, 132)(  55, 497, 133)(  56, 498, 134)(  57, 499, 135)
(  58, 500, 136)(  59, 501, 137)(  60, 502, 138)(  61, 503, 139)
(  62, 504, 140)(  63, 505, 141)(  64, 506, 142)(  65, 507, 143)
(  66, 508, 144)(  67, 509, 145)(  68, 510, 146)(  69, 511, 147)
(  70, 512, 148)(  71, 513, 149)(  72, 514, 150)(  73, 515, 151)
(  74, 516, 152)(  75, 517, 153)(  76, 518, 154)(  77, 519, 155)
(  78, 520, 156)(  79, 521, 157)(  80, 522, 158)(  81, 523, 159)
(  82, 524, 160)(  83, 525, 161)(  84, 526, 162)(  85, 527, 163)
(  86, 528, 164)(  87, 529, 165)(  88, 530, 166)(  89, 531, 167)
(  90, 532, 168)(  91, 533, 169)( 170, 534, 820)( 171, 535, 821)
( 172, 536, 822)( 173, 537, 823)( 174, 538, 824)( 175, 539, 825)
( 176, 540, 826)( 177, 541, 827)( 178, 542, 828)( 179, 543, 829)
( 180, 544, 830)( 181, 545, 831)( 182, 546, 832)( 183, 547, 833)
( 184, 548, 834)( 185, 549, 835)( 186, 550, 836)( 187, 551, 837)
( 188, 552, 838)( 189, 553, 839)( 190, 554, 840)( 191, 555, 841)
( 192, 556, 842)( 193, 557, 843)( 194, 558, 844)( 195, 559, 845)
( 196, 560, 846)( 197, 561, 847)( 198, 562, 848)( 199, 563, 849)
( 200, 564, 850)( 201, 565, 851)( 202, 566, 852)( 203, 567, 853)
( 204, 568, 854)( 205, 569, 855)( 206, 570, 856)( 207, 571, 857)
( 208, 572, 858)( 209, 573, 859)( 210, 574, 860)( 211, 575, 861)
( 212, 576, 862)( 213, 577, 863)( 214, 578, 864)( 215, 579, 865)
( 216, 580, 866)( 217, 581, 867)( 218, 582, 868)( 219, 583, 869)
( 220, 584, 870)( 221, 585, 871)( 222, 586, 872)( 223, 587, 873)
( 224, 588, 874)( 225, 589, 875)( 226, 590, 876)( 227, 591, 877)
( 228, 592, 878)( 229, 593, 879)( 230, 594, 880)( 231, 595, 881)
( 232, 596, 882)( 233, 597, 883)( 234, 598, 884)( 235, 599, 885)
( 236, 600, 886)( 237, 601, 887)( 238, 602, 888)( 239, 603, 889)
( 240, 604, 890)( 241, 605, 891)( 242, 606, 892)( 243, 607, 893)
( 244, 608, 894)( 245, 609, 895)( 246, 610, 896)( 247, 611, 897)
( 248, 612, 898)( 249, 613, 899)( 250, 614, 900)( 251, 615, 901)
( 252, 616, 902)( 253, 617, 903)( 254, 618, 904)( 255, 619, 905)
( 256, 620, 906)( 257, 621, 907)( 258, 622, 908)( 259, 623, 909)
( 260, 624, 910)( 261, 625, 911)( 262, 626, 912)( 263, 627, 913)
( 264, 628, 914)( 265, 629, 915)( 266, 630, 916)( 267, 631, 917)
( 268, 632, 918)( 269, 633, 919)( 270, 634, 920)( 271, 635, 921)
( 272, 636, 922)( 273, 637, 923)( 274, 638, 924)( 275, 639, 925)
( 276, 640, 926)( 277, 641, 927)( 278, 642, 928)( 279, 643, 929)
( 280, 644, 930)( 281, 645, 931)( 282, 646, 932)( 283, 647, 933)
( 284, 648, 934)( 285, 649, 935)( 286, 650, 936)( 287, 651, 937)
( 288, 652, 938)( 289, 653, 939)( 290, 654, 940)( 291, 655, 941)
( 292, 656, 942)( 293, 657, 943)( 294, 658, 944)( 295, 659, 945)
( 296, 660, 946)( 297, 661, 947)( 298, 662, 948)( 299, 663, 949)
( 300, 664, 950)( 301, 665, 951)( 302, 666, 952)( 303, 667, 953)
( 304, 668, 954)( 305, 669, 955)( 306, 670, 956)( 307, 671, 957)
( 308, 672, 958)( 309, 673, 959)( 310, 674, 960)( 311, 675, 961)
( 312, 676, 962)( 313, 677, 963)( 314, 678, 964)( 315, 679, 965)
( 316, 680, 966)( 317, 681, 967)( 318, 682, 968)( 319, 683, 969)
( 320, 684, 970)( 321, 685, 971)( 322, 686, 972)( 323, 687, 973)
( 324, 688, 974)( 325, 689, 975)( 326, 690, 976)( 327, 691, 977)
( 328, 692, 978)( 329, 693, 979)( 330, 694, 980)( 331, 695, 981)
( 332, 696, 982)( 333, 697, 983)( 334, 698, 984)( 335, 699, 985)
( 336, 700, 986)( 337, 701, 987)( 338, 702, 988)( 339, 703, 989)
( 340, 704, 990)( 341, 705, 991)( 342, 706, 992)( 343, 707, 993)
( 344, 708, 994)( 345, 709, 995)( 346, 710, 996)( 347, 711, 997)
( 348, 712, 998)( 349, 713, 999)( 350, 714,1000)( 351, 715,1001)
( 352, 716,1002)( 353, 717,1003)( 354, 718,1004)( 355, 719,1005)
( 356, 720,1006)( 357, 721,1007)( 358, 722,1008)( 359, 723,1009)
( 360, 724,1010)( 361, 725,1011)( 362, 726,1012)( 363, 727,1013)
( 364, 728,1014)( 365, 729,1015)( 366, 730,1016)( 367, 731,1017)
( 368, 732,1018)( 369, 733,1019)( 370, 734,1020)( 371, 735,1021)
( 372, 736,1022)( 373, 737,1023)( 374, 738,1024)( 375, 739,1025)
( 376, 740,1026)( 377, 741,1027)( 378, 742,1028)( 379, 743,1029)
( 380, 744,1030)( 381, 745,1031)( 382, 746,1032)( 383, 747,1033)
( 384, 748,1034)( 385, 749,1035)( 386, 750,1036)( 387, 751,1037)
( 388, 752,1038)( 389, 753,1039)( 390, 754,1040)( 391, 755,1041)
( 392, 756,1042)( 393, 757,1043)( 394, 758,1044)( 395, 759,1045)
( 396, 760,1046)( 397, 761,1047)( 398, 762,1048)( 399, 763,1049)
( 400, 764,1050)( 401, 765,1051)( 402, 766,1052)( 403, 767,1053)
( 404, 768,1054)( 405, 769,1055)( 406, 770,1056)( 407, 771,1057)
( 408, 772,1058)( 409, 773,1059)( 410, 774,1060)( 411, 775,1061)
( 412, 776,1062)( 413, 777,1063)( 414, 778,1064)( 415, 779,1065)
( 416, 780,1066)( 417, 781,1067)( 418, 782,1068)( 419, 783,1069)
( 420, 784,1070)( 421, 785,1071)( 422, 786,1072)( 423, 787,1073)
( 424, 788,1074)( 425, 789,1075)( 426, 790,1076)( 427, 791,1077)
( 428, 792,1078)( 429, 793,1079)( 430, 794,1080)( 431, 795,1081)
( 432, 796,1082)( 433, 797,1083)( 434, 798,1084)( 435, 799,1085)
( 436, 800,1086)( 437, 801,1087)( 438, 802,1088)( 439, 803,1089)
( 440, 804,1090)( 441, 805,1091)( 442, 806,1092)( 443, 807,1093)
( 444, 808,1094)( 445, 809,1095)( 446, 810,1096)( 447, 811,1097)
( 448, 812,1098)( 449, 813,1099)( 450, 814,1100)( 451, 815,1101)
( 452, 816,1102)( 453, 817,1103)( 454, 818,1104)( 455, 819,1105);