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