Polytope of Type {20,10,4}

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