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