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 s₀s₁ : 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.
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