Polytope of Type {954}

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