Polytope of Type {932} with group SmallGroup(1864,10)

Overview

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

Special Properties

Universal
Spherical
Locally Spherical
Orientable
Self-Dual

Quotients maximal quotients in bold

2-fold

{466}*932

4-fold

{233}*466

233-fold

{4}*8

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