Polytope of Type {788} with group SmallGroup(1576,10)

Overview

Group: SmallGroup(1576,10)
Rank: 2
Schläfli Type: {788}
Vertices, edges, …: 788, 788
Order of s₀s₁: 788
Also known as: 788-gon, {788}. if this polytope has another name.

Special Properties

Universal
Spherical
Locally Spherical
Orientable
Self-Dual

Quotients maximal quotients in bold

2-fold

{394}*788

4-fold

{197}*394

197-fold

{4}*8

394-fold

{2}*4

Covers minimal covers in bold

None in this atlas.

Irregular Quotients of which this is a minimal cover

None.

Representations

Permutation Representation (GAP)

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

Finitely Presented Group Representation (GAP)

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

Finitely Presented Group Representation (Magma)

poly<s0,s1> := Group< s0,s1 | s0*s0, s1*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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*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*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1 >;

References