Polytope of Type {908} with group SmallGroup(1816,10)

Overview

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

Special Properties

Universal
Spherical
Locally Spherical
Orientable
Self-Dual

Quotients maximal quotients in bold

2-fold

{454}*908

4-fold

{227}*454

227-fold

{4}*8

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

Permutation Representation (Magma)

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

References