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