Questions?
See the FAQ
or other info.

# Polytope of Type {12,12}

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

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

```
References : None.
to this polytope