Polytope of Type {940}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {940}*1880
Also Known As : 940-gon, {940}. if this polytope has another name.
Group : SmallGroup(1880,26)
Rank : 2
Schlafli Type : {940}
Number of vertices, edges, etc : 940, 940
Order of s₀s₁ : 940
Special Properties :
   Universal
   Spherical
   Locally Spherical
   Orientable
   Self-Dual
Related Polytopes :
   Facet
   Vertex Figure
   Dual
Facet Of :
   None in this Atlas
Vertex Figure Of :
   None in this Atlas
Quotients (Maximal Quotients in Boldface) :
   2-fold quotients : {470}*940
   4-fold quotients : {235}*470
   5-fold quotients : {188}*376
   10-fold quotients : {94}*188
   20-fold quotients : {47}*94
   47-fold quotients : {20}*40
   94-fold quotients : {10}*20
   188-fold quotients : {5}*10
   235-fold quotients : {4}*8
   470-fold quotients : {2}*4
Covers (Minimal Covers in Boldface) :
   None in this atlas.
Permutation Representation (GAP) :

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

Permutation Representation (Magma) :

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

References : None.
to this polytope