Questions?
See the FAQ
or other info.

# Polytope of Type {24,12}

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

```
References : None.
to this polytope