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