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 s0s1 : 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.
Irregular Quotients (of which this is a minimal cover):
None.
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