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