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