Polytope of Type {956} with group SmallGroup(1912,10)

Overview

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

Special Properties

Universal
Spherical
Locally Spherical
Orientable
Self-Dual

Quotients maximal quotients in bold

2-fold

{478}*956

4-fold

{239}*478

239-fold

{4}*8

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