Questions?
See the FAQ
or other info.

Polytope of Type {12,6}

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