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