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