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