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