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