Polytope of Type {984}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {984}*1968
Also Known As : 984-gon, {984}. if this polytope has another name.
Group : SmallGroup(1968,68)
Rank : 2
Schlafli Type : {984}
Number of vertices, edges, etc : 984, 984
Order of s₀s₁ : 984
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 : {492}*984
   3-fold quotients : {328}*656
   4-fold quotients : {246}*492
   6-fold quotients : {164}*328
   8-fold quotients : {123}*246
   12-fold quotients : {82}*164
   24-fold quotients : {41}*82
   41-fold quotients : {24}*48
   82-fold quotients : {12}*24
   123-fold quotients : {8}*16
   164-fold quotients : {6}*12
   246-fold quotients : {4}*8
   328-fold quotients : {3}*6
   492-fold quotients : {2}*4
Covers (Minimal Covers in Boldface) :
   None in this atlas.
Permutation Representation (GAP) :

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