Polytope of Type {990}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {990}*1980
Also Known As : 990-gon, {990}. if this polytope has another name.
Group : SmallGroup(1980,37)
Rank : 2
Schlafli Type : {990}
Number of vertices, edges, etc : 990, 990
Order of s₀s₁ : 990
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 : {495}*990
   3-fold quotients : {330}*660
   5-fold quotients : {198}*396
   6-fold quotients : {165}*330
   9-fold quotients : {110}*220
   10-fold quotients : {99}*198
   11-fold quotients : {90}*180
   15-fold quotients : {66}*132
   18-fold quotients : {55}*110
   22-fold quotients : {45}*90
   30-fold quotients : {33}*66
   33-fold quotients : {30}*60
   45-fold quotients : {22}*44
   55-fold quotients : {18}*36
   66-fold quotients : {15}*30
   90-fold quotients : {11}*22
   99-fold quotients : {10}*20
   110-fold quotients : {9}*18
   165-fold quotients : {6}*12
   198-fold quotients : {5}*10
   330-fold quotients : {3}*6
   495-fold quotients : {2}*4
Covers (Minimal Covers in Boldface) :
   None in this atlas.
Permutation Representation (GAP) :

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

Permutation Representation (Magma) :

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

References : None.
to this polytope