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