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