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