Polytope of Type {966}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {966}*1932
Also Known As : 966-gon, {966}. if this polytope has another name.
Group : SmallGroup(1932,33)
Rank : 2
Schlafli Type : {966}
Number of vertices, edges, etc : 966, 966
Order of s₀s₁ : 966
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 : {483}*966
   3-fold quotients : {322}*644
   6-fold quotients : {161}*322
   7-fold quotients : {138}*276
   14-fold quotients : {69}*138
   21-fold quotients : {46}*92
   23-fold quotients : {42}*84
   42-fold quotients : {23}*46
   46-fold quotients : {21}*42
   69-fold quotients : {14}*28
   138-fold quotients : {7}*14
   161-fold quotients : {6}*12
   322-fold quotients : {3}*6
   483-fold quotients : {2}*4
Covers (Minimal Covers in Boldface) :
   None in this atlas.
Permutation Representation (GAP) :

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

Finitely Presented Group Representation (GAP) :

F := FreeGroup("s0","s1");;
s0 := F.1;;  s1 := F.2;;  
rels := [ s0*s0, s1*s1, s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1 ];;
poly := F / rels;;

Permutation Representation (Magma) :

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

Finitely Presented Group Representation (Magma) :

poly<s0,s1> := Group< s0,s1 | s0*s0, s1*s1, s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1 >;

References : None.
to this polytope