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