Polytope of Type {916}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {916}*1832
Also Known As : 916-gon, {916}. if this polytope has another name.
Group : SmallGroup(1832,10)
Rank : 2
Schlafli Type : {916}
Number of vertices, edges, etc : 916, 916
Order of s₀s₁ : 916
Special Properties :
   Universal
   Spherical
   Locally Spherical
   Orientable
   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 : {458}*916
   4-fold quotients : {229}*458
   229-fold quotients : {4}*8
   458-fold quotients : {2}*4
Covers (Minimal Covers in Boldface) :
   None in this atlas.
Permutation Representation (GAP) :

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