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