Polytope of Type {986}

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