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