Polytope of Type {8,94}
This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {8,94}*1504
Also Known As : {8,94|2}. if this polytope has another name.
Group : SmallGroup(1504,155)
Rank : 3
Schlafli Type : {8,94}
Number of vertices, edges, etc : 8, 376, 94
Order of s0s1s2 : 376
Order of s0s1s2s1 : 2
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 : {4,94}*752
4-fold quotients : {2,94}*376
8-fold quotients : {2,47}*188
47-fold quotients : {8,2}*32
94-fold quotients : {4,2}*16
188-fold quotients : {2,2}*8
Covers (Minimal Covers in Boldface) :
None in this atlas.
Permutation Representation (GAP) :
s0 := ( 95,142)( 96,143)( 97,144)( 98,145)( 99,146)(100,147)(101,148)(102,149)
(103,150)(104,151)(105,152)(106,153)(107,154)(108,155)(109,156)(110,157)
(111,158)(112,159)(113,160)(114,161)(115,162)(116,163)(117,164)(118,165)
(119,166)(120,167)(121,168)(122,169)(123,170)(124,171)(125,172)(126,173)
(127,174)(128,175)(129,176)(130,177)(131,178)(132,179)(133,180)(134,181)
(135,182)(136,183)(137,184)(138,185)(139,186)(140,187)(141,188)(283,330)
(284,331)(285,332)(286,333)(287,334)(288,335)(289,336)(290,337)(291,338)
(292,339)(293,340)(294,341)(295,342)(296,343)(297,344)(298,345)(299,346)
(300,347)(301,348)(302,349)(303,350)(304,351)(305,352)(306,353)(307,354)
(308,355)(309,356)(310,357)(311,358)(312,359)(313,360)(314,361)(315,362)
(316,363)(317,364)(318,365)(319,366)(320,367)(321,368)(322,369)(323,370)
(324,371)(325,372)(326,373)(327,374)(328,375)(329,376)(377,471)(378,472)
(379,473)(380,474)(381,475)(382,476)(383,477)(384,478)(385,479)(386,480)
(387,481)(388,482)(389,483)(390,484)(391,485)(392,486)(393,487)(394,488)
(395,489)(396,490)(397,491)(398,492)(399,493)(400,494)(401,495)(402,496)
(403,497)(404,498)(405,499)(406,500)(407,501)(408,502)(409,503)(410,504)
(411,505)(412,506)(413,507)(414,508)(415,509)(416,510)(417,511)(418,512)
(419,513)(420,514)(421,515)(422,516)(423,517)(424,518)(425,519)(426,520)
(427,521)(428,522)(429,523)(430,524)(431,525)(432,526)(433,527)(434,528)
(435,529)(436,530)(437,531)(438,532)(439,533)(440,534)(441,535)(442,536)
(443,537)(444,538)(445,539)(446,540)(447,541)(448,542)(449,543)(450,544)
(451,545)(452,546)(453,547)(454,548)(455,549)(456,550)(457,551)(458,552)
(459,553)(460,554)(461,555)(462,556)(463,557)(464,558)(465,559)(466,560)
(467,561)(468,562)(469,563)(470,564)(565,659)(566,660)(567,661)(568,662)
(569,663)(570,664)(571,665)(572,666)(573,667)(574,668)(575,669)(576,670)
(577,671)(578,672)(579,673)(580,674)(581,675)(582,676)(583,677)(584,678)
(585,679)(586,680)(587,681)(588,682)(589,683)(590,684)(591,685)(592,686)
(593,687)(594,688)(595,689)(596,690)(597,691)(598,692)(599,693)(600,694)
(601,695)(602,696)(603,697)(604,698)(605,699)(606,700)(607,701)(608,702)
(609,703)(610,704)(611,705)(612,706)(613,707)(614,708)(615,709)(616,710)
(617,711)(618,712)(619,713)(620,714)(621,715)(622,716)(623,717)(624,718)
(625,719)(626,720)(627,721)(628,722)(629,723)(630,724)(631,725)(632,726)
(633,727)(634,728)(635,729)(636,730)(637,731)(638,732)(639,733)(640,734)
(641,735)(642,736)(643,737)(644,738)(645,739)(646,740)(647,741)(648,742)
(649,743)(650,744)(651,745)(652,746)(653,747)(654,748)(655,749)(656,750)
(657,751)(658,752);;
s1 := ( 1,565)( 2,611)( 3,610)( 4,609)( 5,608)( 6,607)( 7,606)( 8,605)
( 9,604)( 10,603)( 11,602)( 12,601)( 13,600)( 14,599)( 15,598)( 16,597)
( 17,596)( 18,595)( 19,594)( 20,593)( 21,592)( 22,591)( 23,590)( 24,589)
( 25,588)( 26,587)( 27,586)( 28,585)( 29,584)( 30,583)( 31,582)( 32,581)
( 33,580)( 34,579)( 35,578)( 36,577)( 37,576)( 38,575)( 39,574)( 40,573)
( 41,572)( 42,571)( 43,570)( 44,569)( 45,568)( 46,567)( 47,566)( 48,612)
( 49,658)( 50,657)( 51,656)( 52,655)( 53,654)( 54,653)( 55,652)( 56,651)
( 57,650)( 58,649)( 59,648)( 60,647)( 61,646)( 62,645)( 63,644)( 64,643)
( 65,642)( 66,641)( 67,640)( 68,639)( 69,638)( 70,637)( 71,636)( 72,635)
( 73,634)( 74,633)( 75,632)( 76,631)( 77,630)( 78,629)( 79,628)( 80,627)
( 81,626)( 82,625)( 83,624)( 84,623)( 85,622)( 86,621)( 87,620)( 88,619)
( 89,618)( 90,617)( 91,616)( 92,615)( 93,614)( 94,613)( 95,706)( 96,752)
( 97,751)( 98,750)( 99,749)(100,748)(101,747)(102,746)(103,745)(104,744)
(105,743)(106,742)(107,741)(108,740)(109,739)(110,738)(111,737)(112,736)
(113,735)(114,734)(115,733)(116,732)(117,731)(118,730)(119,729)(120,728)
(121,727)(122,726)(123,725)(124,724)(125,723)(126,722)(127,721)(128,720)
(129,719)(130,718)(131,717)(132,716)(133,715)(134,714)(135,713)(136,712)
(137,711)(138,710)(139,709)(140,708)(141,707)(142,659)(143,705)(144,704)
(145,703)(146,702)(147,701)(148,700)(149,699)(150,698)(151,697)(152,696)
(153,695)(154,694)(155,693)(156,692)(157,691)(158,690)(159,689)(160,688)
(161,687)(162,686)(163,685)(164,684)(165,683)(166,682)(167,681)(168,680)
(169,679)(170,678)(171,677)(172,676)(173,675)(174,674)(175,673)(176,672)
(177,671)(178,670)(179,669)(180,668)(181,667)(182,666)(183,665)(184,664)
(185,663)(186,662)(187,661)(188,660)(189,377)(190,423)(191,422)(192,421)
(193,420)(194,419)(195,418)(196,417)(197,416)(198,415)(199,414)(200,413)
(201,412)(202,411)(203,410)(204,409)(205,408)(206,407)(207,406)(208,405)
(209,404)(210,403)(211,402)(212,401)(213,400)(214,399)(215,398)(216,397)
(217,396)(218,395)(219,394)(220,393)(221,392)(222,391)(223,390)(224,389)
(225,388)(226,387)(227,386)(228,385)(229,384)(230,383)(231,382)(232,381)
(233,380)(234,379)(235,378)(236,424)(237,470)(238,469)(239,468)(240,467)
(241,466)(242,465)(243,464)(244,463)(245,462)(246,461)(247,460)(248,459)
(249,458)(250,457)(251,456)(252,455)(253,454)(254,453)(255,452)(256,451)
(257,450)(258,449)(259,448)(260,447)(261,446)(262,445)(263,444)(264,443)
(265,442)(266,441)(267,440)(268,439)(269,438)(270,437)(271,436)(272,435)
(273,434)(274,433)(275,432)(276,431)(277,430)(278,429)(279,428)(280,427)
(281,426)(282,425)(283,518)(284,564)(285,563)(286,562)(287,561)(288,560)
(289,559)(290,558)(291,557)(292,556)(293,555)(294,554)(295,553)(296,552)
(297,551)(298,550)(299,549)(300,548)(301,547)(302,546)(303,545)(304,544)
(305,543)(306,542)(307,541)(308,540)(309,539)(310,538)(311,537)(312,536)
(313,535)(314,534)(315,533)(316,532)(317,531)(318,530)(319,529)(320,528)
(321,527)(322,526)(323,525)(324,524)(325,523)(326,522)(327,521)(328,520)
(329,519)(330,471)(331,517)(332,516)(333,515)(334,514)(335,513)(336,512)
(337,511)(338,510)(339,509)(340,508)(341,507)(342,506)(343,505)(344,504)
(345,503)(346,502)(347,501)(348,500)(349,499)(350,498)(351,497)(352,496)
(353,495)(354,494)(355,493)(356,492)(357,491)(358,490)(359,489)(360,488)
(361,487)(362,486)(363,485)(364,484)(365,483)(366,482)(367,481)(368,480)
(369,479)(370,478)(371,477)(372,476)(373,475)(374,474)(375,473)(376,472);;
s2 := ( 1,190)( 2,189)( 3,235)( 4,234)( 5,233)( 6,232)( 7,231)( 8,230)
( 9,229)( 10,228)( 11,227)( 12,226)( 13,225)( 14,224)( 15,223)( 16,222)
( 17,221)( 18,220)( 19,219)( 20,218)( 21,217)( 22,216)( 23,215)( 24,214)
( 25,213)( 26,212)( 27,211)( 28,210)( 29,209)( 30,208)( 31,207)( 32,206)
( 33,205)( 34,204)( 35,203)( 36,202)( 37,201)( 38,200)( 39,199)( 40,198)
( 41,197)( 42,196)( 43,195)( 44,194)( 45,193)( 46,192)( 47,191)( 48,237)
( 49,236)( 50,282)( 51,281)( 52,280)( 53,279)( 54,278)( 55,277)( 56,276)
( 57,275)( 58,274)( 59,273)( 60,272)( 61,271)( 62,270)( 63,269)( 64,268)
( 65,267)( 66,266)( 67,265)( 68,264)( 69,263)( 70,262)( 71,261)( 72,260)
( 73,259)( 74,258)( 75,257)( 76,256)( 77,255)( 78,254)( 79,253)( 80,252)
( 81,251)( 82,250)( 83,249)( 84,248)( 85,247)( 86,246)( 87,245)( 88,244)
( 89,243)( 90,242)( 91,241)( 92,240)( 93,239)( 94,238)( 95,284)( 96,283)
( 97,329)( 98,328)( 99,327)(100,326)(101,325)(102,324)(103,323)(104,322)
(105,321)(106,320)(107,319)(108,318)(109,317)(110,316)(111,315)(112,314)
(113,313)(114,312)(115,311)(116,310)(117,309)(118,308)(119,307)(120,306)
(121,305)(122,304)(123,303)(124,302)(125,301)(126,300)(127,299)(128,298)
(129,297)(130,296)(131,295)(132,294)(133,293)(134,292)(135,291)(136,290)
(137,289)(138,288)(139,287)(140,286)(141,285)(142,331)(143,330)(144,376)
(145,375)(146,374)(147,373)(148,372)(149,371)(150,370)(151,369)(152,368)
(153,367)(154,366)(155,365)(156,364)(157,363)(158,362)(159,361)(160,360)
(161,359)(162,358)(163,357)(164,356)(165,355)(166,354)(167,353)(168,352)
(169,351)(170,350)(171,349)(172,348)(173,347)(174,346)(175,345)(176,344)
(177,343)(178,342)(179,341)(180,340)(181,339)(182,338)(183,337)(184,336)
(185,335)(186,334)(187,333)(188,332)(377,566)(378,565)(379,611)(380,610)
(381,609)(382,608)(383,607)(384,606)(385,605)(386,604)(387,603)(388,602)
(389,601)(390,600)(391,599)(392,598)(393,597)(394,596)(395,595)(396,594)
(397,593)(398,592)(399,591)(400,590)(401,589)(402,588)(403,587)(404,586)
(405,585)(406,584)(407,583)(408,582)(409,581)(410,580)(411,579)(412,578)
(413,577)(414,576)(415,575)(416,574)(417,573)(418,572)(419,571)(420,570)
(421,569)(422,568)(423,567)(424,613)(425,612)(426,658)(427,657)(428,656)
(429,655)(430,654)(431,653)(432,652)(433,651)(434,650)(435,649)(436,648)
(437,647)(438,646)(439,645)(440,644)(441,643)(442,642)(443,641)(444,640)
(445,639)(446,638)(447,637)(448,636)(449,635)(450,634)(451,633)(452,632)
(453,631)(454,630)(455,629)(456,628)(457,627)(458,626)(459,625)(460,624)
(461,623)(462,622)(463,621)(464,620)(465,619)(466,618)(467,617)(468,616)
(469,615)(470,614)(471,660)(472,659)(473,705)(474,704)(475,703)(476,702)
(477,701)(478,700)(479,699)(480,698)(481,697)(482,696)(483,695)(484,694)
(485,693)(486,692)(487,691)(488,690)(489,689)(490,688)(491,687)(492,686)
(493,685)(494,684)(495,683)(496,682)(497,681)(498,680)(499,679)(500,678)
(501,677)(502,676)(503,675)(504,674)(505,673)(506,672)(507,671)(508,670)
(509,669)(510,668)(511,667)(512,666)(513,665)(514,664)(515,663)(516,662)
(517,661)(518,707)(519,706)(520,752)(521,751)(522,750)(523,749)(524,748)
(525,747)(526,746)(527,745)(528,744)(529,743)(530,742)(531,741)(532,740)
(533,739)(534,738)(535,737)(536,736)(537,735)(538,734)(539,733)(540,732)
(541,731)(542,730)(543,729)(544,728)(545,727)(546,726)(547,725)(548,724)
(549,723)(550,722)(551,721)(552,720)(553,719)(554,718)(555,717)(556,716)
(557,715)(558,714)(559,713)(560,712)(561,711)(562,710)(563,709)(564,708);;
poly := Group([s0,s1,s2]);;
Finitely Presented Group Representation (GAP) :
F := FreeGroup("s0","s1","s2");;
s0 := F.1;; s1 := F.2;; s2 := F.3;;
rels := [ s0*s0, s1*s1, s2*s2, s0*s2*s0*s2, s0*s1*s2*s1*s0*s1*s2*s1,
s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1,
s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*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(752)!( 95,142)( 96,143)( 97,144)( 98,145)( 99,146)(100,147)(101,148)
(102,149)(103,150)(104,151)(105,152)(106,153)(107,154)(108,155)(109,156)
(110,157)(111,158)(112,159)(113,160)(114,161)(115,162)(116,163)(117,164)
(118,165)(119,166)(120,167)(121,168)(122,169)(123,170)(124,171)(125,172)
(126,173)(127,174)(128,175)(129,176)(130,177)(131,178)(132,179)(133,180)
(134,181)(135,182)(136,183)(137,184)(138,185)(139,186)(140,187)(141,188)
(283,330)(284,331)(285,332)(286,333)(287,334)(288,335)(289,336)(290,337)
(291,338)(292,339)(293,340)(294,341)(295,342)(296,343)(297,344)(298,345)
(299,346)(300,347)(301,348)(302,349)(303,350)(304,351)(305,352)(306,353)
(307,354)(308,355)(309,356)(310,357)(311,358)(312,359)(313,360)(314,361)
(315,362)(316,363)(317,364)(318,365)(319,366)(320,367)(321,368)(322,369)
(323,370)(324,371)(325,372)(326,373)(327,374)(328,375)(329,376)(377,471)
(378,472)(379,473)(380,474)(381,475)(382,476)(383,477)(384,478)(385,479)
(386,480)(387,481)(388,482)(389,483)(390,484)(391,485)(392,486)(393,487)
(394,488)(395,489)(396,490)(397,491)(398,492)(399,493)(400,494)(401,495)
(402,496)(403,497)(404,498)(405,499)(406,500)(407,501)(408,502)(409,503)
(410,504)(411,505)(412,506)(413,507)(414,508)(415,509)(416,510)(417,511)
(418,512)(419,513)(420,514)(421,515)(422,516)(423,517)(424,518)(425,519)
(426,520)(427,521)(428,522)(429,523)(430,524)(431,525)(432,526)(433,527)
(434,528)(435,529)(436,530)(437,531)(438,532)(439,533)(440,534)(441,535)
(442,536)(443,537)(444,538)(445,539)(446,540)(447,541)(448,542)(449,543)
(450,544)(451,545)(452,546)(453,547)(454,548)(455,549)(456,550)(457,551)
(458,552)(459,553)(460,554)(461,555)(462,556)(463,557)(464,558)(465,559)
(466,560)(467,561)(468,562)(469,563)(470,564)(565,659)(566,660)(567,661)
(568,662)(569,663)(570,664)(571,665)(572,666)(573,667)(574,668)(575,669)
(576,670)(577,671)(578,672)(579,673)(580,674)(581,675)(582,676)(583,677)
(584,678)(585,679)(586,680)(587,681)(588,682)(589,683)(590,684)(591,685)
(592,686)(593,687)(594,688)(595,689)(596,690)(597,691)(598,692)(599,693)
(600,694)(601,695)(602,696)(603,697)(604,698)(605,699)(606,700)(607,701)
(608,702)(609,703)(610,704)(611,705)(612,706)(613,707)(614,708)(615,709)
(616,710)(617,711)(618,712)(619,713)(620,714)(621,715)(622,716)(623,717)
(624,718)(625,719)(626,720)(627,721)(628,722)(629,723)(630,724)(631,725)
(632,726)(633,727)(634,728)(635,729)(636,730)(637,731)(638,732)(639,733)
(640,734)(641,735)(642,736)(643,737)(644,738)(645,739)(646,740)(647,741)
(648,742)(649,743)(650,744)(651,745)(652,746)(653,747)(654,748)(655,749)
(656,750)(657,751)(658,752);
s1 := Sym(752)!( 1,565)( 2,611)( 3,610)( 4,609)( 5,608)( 6,607)( 7,606)
( 8,605)( 9,604)( 10,603)( 11,602)( 12,601)( 13,600)( 14,599)( 15,598)
( 16,597)( 17,596)( 18,595)( 19,594)( 20,593)( 21,592)( 22,591)( 23,590)
( 24,589)( 25,588)( 26,587)( 27,586)( 28,585)( 29,584)( 30,583)( 31,582)
( 32,581)( 33,580)( 34,579)( 35,578)( 36,577)( 37,576)( 38,575)( 39,574)
( 40,573)( 41,572)( 42,571)( 43,570)( 44,569)( 45,568)( 46,567)( 47,566)
( 48,612)( 49,658)( 50,657)( 51,656)( 52,655)( 53,654)( 54,653)( 55,652)
( 56,651)( 57,650)( 58,649)( 59,648)( 60,647)( 61,646)( 62,645)( 63,644)
( 64,643)( 65,642)( 66,641)( 67,640)( 68,639)( 69,638)( 70,637)( 71,636)
( 72,635)( 73,634)( 74,633)( 75,632)( 76,631)( 77,630)( 78,629)( 79,628)
( 80,627)( 81,626)( 82,625)( 83,624)( 84,623)( 85,622)( 86,621)( 87,620)
( 88,619)( 89,618)( 90,617)( 91,616)( 92,615)( 93,614)( 94,613)( 95,706)
( 96,752)( 97,751)( 98,750)( 99,749)(100,748)(101,747)(102,746)(103,745)
(104,744)(105,743)(106,742)(107,741)(108,740)(109,739)(110,738)(111,737)
(112,736)(113,735)(114,734)(115,733)(116,732)(117,731)(118,730)(119,729)
(120,728)(121,727)(122,726)(123,725)(124,724)(125,723)(126,722)(127,721)
(128,720)(129,719)(130,718)(131,717)(132,716)(133,715)(134,714)(135,713)
(136,712)(137,711)(138,710)(139,709)(140,708)(141,707)(142,659)(143,705)
(144,704)(145,703)(146,702)(147,701)(148,700)(149,699)(150,698)(151,697)
(152,696)(153,695)(154,694)(155,693)(156,692)(157,691)(158,690)(159,689)
(160,688)(161,687)(162,686)(163,685)(164,684)(165,683)(166,682)(167,681)
(168,680)(169,679)(170,678)(171,677)(172,676)(173,675)(174,674)(175,673)
(176,672)(177,671)(178,670)(179,669)(180,668)(181,667)(182,666)(183,665)
(184,664)(185,663)(186,662)(187,661)(188,660)(189,377)(190,423)(191,422)
(192,421)(193,420)(194,419)(195,418)(196,417)(197,416)(198,415)(199,414)
(200,413)(201,412)(202,411)(203,410)(204,409)(205,408)(206,407)(207,406)
(208,405)(209,404)(210,403)(211,402)(212,401)(213,400)(214,399)(215,398)
(216,397)(217,396)(218,395)(219,394)(220,393)(221,392)(222,391)(223,390)
(224,389)(225,388)(226,387)(227,386)(228,385)(229,384)(230,383)(231,382)
(232,381)(233,380)(234,379)(235,378)(236,424)(237,470)(238,469)(239,468)
(240,467)(241,466)(242,465)(243,464)(244,463)(245,462)(246,461)(247,460)
(248,459)(249,458)(250,457)(251,456)(252,455)(253,454)(254,453)(255,452)
(256,451)(257,450)(258,449)(259,448)(260,447)(261,446)(262,445)(263,444)
(264,443)(265,442)(266,441)(267,440)(268,439)(269,438)(270,437)(271,436)
(272,435)(273,434)(274,433)(275,432)(276,431)(277,430)(278,429)(279,428)
(280,427)(281,426)(282,425)(283,518)(284,564)(285,563)(286,562)(287,561)
(288,560)(289,559)(290,558)(291,557)(292,556)(293,555)(294,554)(295,553)
(296,552)(297,551)(298,550)(299,549)(300,548)(301,547)(302,546)(303,545)
(304,544)(305,543)(306,542)(307,541)(308,540)(309,539)(310,538)(311,537)
(312,536)(313,535)(314,534)(315,533)(316,532)(317,531)(318,530)(319,529)
(320,528)(321,527)(322,526)(323,525)(324,524)(325,523)(326,522)(327,521)
(328,520)(329,519)(330,471)(331,517)(332,516)(333,515)(334,514)(335,513)
(336,512)(337,511)(338,510)(339,509)(340,508)(341,507)(342,506)(343,505)
(344,504)(345,503)(346,502)(347,501)(348,500)(349,499)(350,498)(351,497)
(352,496)(353,495)(354,494)(355,493)(356,492)(357,491)(358,490)(359,489)
(360,488)(361,487)(362,486)(363,485)(364,484)(365,483)(366,482)(367,481)
(368,480)(369,479)(370,478)(371,477)(372,476)(373,475)(374,474)(375,473)
(376,472);
s2 := Sym(752)!( 1,190)( 2,189)( 3,235)( 4,234)( 5,233)( 6,232)( 7,231)
( 8,230)( 9,229)( 10,228)( 11,227)( 12,226)( 13,225)( 14,224)( 15,223)
( 16,222)( 17,221)( 18,220)( 19,219)( 20,218)( 21,217)( 22,216)( 23,215)
( 24,214)( 25,213)( 26,212)( 27,211)( 28,210)( 29,209)( 30,208)( 31,207)
( 32,206)( 33,205)( 34,204)( 35,203)( 36,202)( 37,201)( 38,200)( 39,199)
( 40,198)( 41,197)( 42,196)( 43,195)( 44,194)( 45,193)( 46,192)( 47,191)
( 48,237)( 49,236)( 50,282)( 51,281)( 52,280)( 53,279)( 54,278)( 55,277)
( 56,276)( 57,275)( 58,274)( 59,273)( 60,272)( 61,271)( 62,270)( 63,269)
( 64,268)( 65,267)( 66,266)( 67,265)( 68,264)( 69,263)( 70,262)( 71,261)
( 72,260)( 73,259)( 74,258)( 75,257)( 76,256)( 77,255)( 78,254)( 79,253)
( 80,252)( 81,251)( 82,250)( 83,249)( 84,248)( 85,247)( 86,246)( 87,245)
( 88,244)( 89,243)( 90,242)( 91,241)( 92,240)( 93,239)( 94,238)( 95,284)
( 96,283)( 97,329)( 98,328)( 99,327)(100,326)(101,325)(102,324)(103,323)
(104,322)(105,321)(106,320)(107,319)(108,318)(109,317)(110,316)(111,315)
(112,314)(113,313)(114,312)(115,311)(116,310)(117,309)(118,308)(119,307)
(120,306)(121,305)(122,304)(123,303)(124,302)(125,301)(126,300)(127,299)
(128,298)(129,297)(130,296)(131,295)(132,294)(133,293)(134,292)(135,291)
(136,290)(137,289)(138,288)(139,287)(140,286)(141,285)(142,331)(143,330)
(144,376)(145,375)(146,374)(147,373)(148,372)(149,371)(150,370)(151,369)
(152,368)(153,367)(154,366)(155,365)(156,364)(157,363)(158,362)(159,361)
(160,360)(161,359)(162,358)(163,357)(164,356)(165,355)(166,354)(167,353)
(168,352)(169,351)(170,350)(171,349)(172,348)(173,347)(174,346)(175,345)
(176,344)(177,343)(178,342)(179,341)(180,340)(181,339)(182,338)(183,337)
(184,336)(185,335)(186,334)(187,333)(188,332)(377,566)(378,565)(379,611)
(380,610)(381,609)(382,608)(383,607)(384,606)(385,605)(386,604)(387,603)
(388,602)(389,601)(390,600)(391,599)(392,598)(393,597)(394,596)(395,595)
(396,594)(397,593)(398,592)(399,591)(400,590)(401,589)(402,588)(403,587)
(404,586)(405,585)(406,584)(407,583)(408,582)(409,581)(410,580)(411,579)
(412,578)(413,577)(414,576)(415,575)(416,574)(417,573)(418,572)(419,571)
(420,570)(421,569)(422,568)(423,567)(424,613)(425,612)(426,658)(427,657)
(428,656)(429,655)(430,654)(431,653)(432,652)(433,651)(434,650)(435,649)
(436,648)(437,647)(438,646)(439,645)(440,644)(441,643)(442,642)(443,641)
(444,640)(445,639)(446,638)(447,637)(448,636)(449,635)(450,634)(451,633)
(452,632)(453,631)(454,630)(455,629)(456,628)(457,627)(458,626)(459,625)
(460,624)(461,623)(462,622)(463,621)(464,620)(465,619)(466,618)(467,617)
(468,616)(469,615)(470,614)(471,660)(472,659)(473,705)(474,704)(475,703)
(476,702)(477,701)(478,700)(479,699)(480,698)(481,697)(482,696)(483,695)
(484,694)(485,693)(486,692)(487,691)(488,690)(489,689)(490,688)(491,687)
(492,686)(493,685)(494,684)(495,683)(496,682)(497,681)(498,680)(499,679)
(500,678)(501,677)(502,676)(503,675)(504,674)(505,673)(506,672)(507,671)
(508,670)(509,669)(510,668)(511,667)(512,666)(513,665)(514,664)(515,663)
(516,662)(517,661)(518,707)(519,706)(520,752)(521,751)(522,750)(523,749)
(524,748)(525,747)(526,746)(527,745)(528,744)(529,743)(530,742)(531,741)
(532,740)(533,739)(534,738)(535,737)(536,736)(537,735)(538,734)(539,733)
(540,732)(541,731)(542,730)(543,729)(544,728)(545,727)(546,726)(547,725)
(548,724)(549,723)(550,722)(551,721)(552,720)(553,719)(554,718)(555,717)
(556,716)(557,715)(558,714)(559,713)(560,712)(561,711)(562,710)(563,709)
(564,708);
poly := sub<Sym(752)|s0,s1,s2>;
Finitely Presented Group Representation (Magma) :
poly<s0,s1,s2> := Group< s0,s1,s2 | s0*s0, s1*s1, s2*s2,
s0*s2*s0*s2, s0*s1*s2*s1*s0*s1*s2*s1,
s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1,
s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*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