Polytope of Type {10,60}

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