Questions?
See the FAQ
or other info.

# Polytope of Type {12,6}

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

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

```
References : None.
to this polytope