a := (  13, 365,  79)(  14, 366,  80)(  15, 367,  81)(  16, 368,  82)
(  17, 369,  83)(  18, 370,  84)(  19, 371,  85)(  20, 372,  86)
(  21, 373,  87)(  22, 374,  88)(  23, 375,  89)(  24, 376,  90)
(  25, 377,  91)(  26, 378,  92)(  27, 379,  93)(  28, 380,  94)
(  29, 381,  95)(  30, 382,  96)(  31, 383,  97)(  32, 384,  98)
(  33, 385,  99)(  34, 386, 100)(  35, 387, 101)(  36, 388, 102)
(  37, 389, 103)(  38, 390, 104)(  39, 391, 105)(  40, 392, 106)
(  41, 393, 107)(  42, 394, 108)(  43, 395, 109)(  44, 396, 110)
(  45, 397, 111)(  46, 398, 112)(  47, 399, 113)(  48, 400, 114)
(  49, 401, 115)(  50, 402, 116)(  51, 403, 117)(  52, 404, 118)
(  53, 405, 119)(  54, 406, 120)(  55, 407, 121)(  56, 408, 122)
(  57, 409, 123)(  58, 410, 124)(  59, 411, 125)(  60, 412, 126)
(  61, 413, 127)(  62, 414, 128)(  63, 415, 129)(  64, 416, 130)
(  65, 417, 131)(  66, 418, 132)(  67, 419, 133)(  68, 420, 134)
(  69, 421, 135)(  70, 422, 136)(  71, 423, 137)(  72, 424, 138)
(  73, 425, 139)(  74, 426, 140)(  75, 427, 141)(  76, 428, 142)
(  77, 429, 143)(  78, 430, 144)( 145, 431, 651)( 146, 432, 652)
( 147, 433, 653)( 148, 434, 654)( 149, 435, 655)( 150, 436, 656)
( 151, 437, 657)( 152, 438, 658)( 153, 439, 659)( 154, 440, 660)
( 155, 441, 661)( 156, 442, 662)( 157, 443, 663)( 158, 444, 664)
( 159, 445, 665)( 160, 446, 666)( 161, 447, 667)( 162, 448, 668)
( 163, 449, 669)( 164, 450, 670)( 165, 451, 671)( 166, 452, 672)
( 167, 453, 673)( 168, 454, 674)( 169, 455, 675)( 170, 456, 676)
( 171, 457, 677)( 172, 458, 678)( 173, 459, 679)( 174, 460, 680)
( 175, 461, 681)( 176, 462, 682)( 177, 463, 683)( 178, 464, 684)
( 179, 465, 685)( 180, 466, 686)( 181, 467, 687)( 182, 468, 688)
( 183, 469, 689)( 184, 470, 690)( 185, 471, 691)( 186, 472, 692)
( 187, 473, 693)( 188, 474, 694)( 189, 475, 695)( 190, 476, 696)
( 191, 477, 697)( 192, 478, 698)( 193, 479, 699)( 194, 480, 700)
( 195, 481, 701)( 196, 482, 702)( 197, 483, 703)( 198, 484, 704)
( 199, 485, 705)( 200, 486, 706)( 201, 487, 707)( 202, 488, 708)
( 203, 489, 709)( 204, 490, 710)( 205, 491, 711)( 206, 492, 712)
( 207, 493, 713)( 208, 494, 714)( 209, 495, 715)( 210, 496, 716)
( 211, 497, 717)( 212, 498, 718)( 213, 499, 719)( 214, 500, 720)
( 215, 501, 721)( 216, 502, 722)( 217, 503, 723)( 218, 504, 724)
( 219, 505, 725)( 220, 506, 726)( 221, 507, 727)( 222, 508, 728)
( 223, 509, 729)( 224, 510, 730)( 225, 511, 731)( 226, 512, 732)
( 227, 513, 733)( 228, 514, 734)( 229, 515, 735)( 230, 516, 736)
( 231, 517, 737)( 232, 518, 738)( 233, 519, 739)( 234, 520, 740)
( 235, 521, 741)( 236, 522, 742)( 237, 523, 743)( 238, 524, 744)
( 239, 525, 745)( 240, 526, 746)( 241, 527, 747)( 242, 528, 748)
( 243, 529, 749)( 244, 530, 750)( 245, 531, 751)( 246, 532, 752)
( 247, 533, 753)( 248, 534, 754)( 249, 535, 755)( 250, 536, 756)
( 251, 537, 757)( 252, 538, 758)( 253, 539, 759)( 254, 540, 760)
( 255, 541, 761)( 256, 542, 762)( 257, 543, 763)( 258, 544, 764)
( 259, 545, 765)( 260, 546, 766)( 261, 547, 767)( 262, 548, 768)
( 263, 549, 769)( 264, 550, 770)( 265, 551, 771)( 266, 552, 772)
( 267, 553, 773)( 268, 554, 774)( 269, 555, 775)( 270, 556, 776)
( 271, 557, 777)( 272, 558, 778)( 273, 559, 779)( 274, 560, 780)
( 275, 561, 781)( 276, 562, 782)( 277, 563, 783)( 278, 564, 784)
( 279, 565, 785)( 280, 566, 786)( 281, 567, 787)( 282, 568, 788)
( 283, 569, 789)( 284, 570, 790)( 285, 571, 791)( 286, 572, 792)
( 287, 573, 793)( 288, 574, 794)( 289, 575, 795)( 290, 576, 796)
( 291, 577, 797)( 292, 578, 798)( 293, 579, 799)( 294, 580, 800)
( 295, 581, 801)( 296, 582, 802)( 297, 583, 803)( 298, 584, 804)
( 299, 585, 805)( 300, 586, 806)( 301, 587, 807)( 302, 588, 808)
( 303, 589, 809)( 304, 590, 810)( 305, 591, 811)( 306, 592, 812)
( 307, 593, 813)( 308, 594, 814)( 309, 595, 815)( 310, 596, 816)
( 311, 597, 817)( 312, 598, 818)( 313, 599, 819)( 314, 600, 820)
( 315, 601, 821)( 316, 602, 822)( 317, 603, 823)( 318, 604, 824)
( 319, 605, 825)( 320, 606, 826)( 321, 607, 827)( 322, 608, 828)
( 323, 609, 829)( 324, 610, 830)( 325, 611, 831)( 326, 612, 832)
( 327, 613, 833)( 328, 614, 834)( 329, 615, 835)( 330, 616, 836)
( 331, 617, 837)( 332, 618, 838)( 333, 619, 839)( 334, 620, 840)
( 335, 621, 841)( 336, 622, 842)( 337, 623, 843)( 338, 624, 844)
( 339, 625, 845)( 340, 626, 846)( 341, 627, 847)( 342, 628, 848)
( 343, 629, 849)( 344, 630, 850)( 345, 631, 851)( 346, 632, 852)
( 347, 633, 853)( 348, 634, 854)( 349, 635, 855)( 350, 636, 856)
( 351, 637, 857)( 352, 638, 858)( 353, 639, 859)( 354, 640, 860)
( 355, 641, 861)( 356, 642, 862)( 357, 643, 863)( 358, 644, 864)
( 359, 645, 865)( 360, 646, 866)( 361, 647, 867)( 362, 648, 868)
( 363, 649, 869)( 364, 650, 870);