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