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