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