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