Polytope of Type {964} with group SmallGroup(1928,10)

Overview

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

Special Properties

Universal
Spherical
Locally Spherical
Orientable
Self-Dual

Quotients maximal quotients in bold

2-fold

{482}*964

4-fold

{241}*482

241-fold

{4}*8

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

Permutation Representation (Magma)

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

References