Polytope of Type {916} with group SmallGroup(1832,10)

Overview

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

Special Properties

Universal
Spherical
Locally Spherical
Orientable
Self-Dual

Quotients maximal quotients in bold

2-fold

{458}*916

4-fold

{229}*458

229-fold

{4}*8

458-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,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