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