Polytope of Type {12,12}
This page is part of the Atlas of Small Regular Polytopes
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