Polytope of Type {988}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {988}*1976
Also Known As : 988-gon, {988}. if this polytope has another name.
Group : SmallGroup(1976,26)
Rank : 2
Schlafli Type : {988}
Number of vertices, edges, etc : 988, 988
Order of s₀s₁ : 988
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 : {494}*988
   4-fold quotients : {247}*494
   13-fold quotients : {76}*152
   19-fold quotients : {52}*104
   26-fold quotients : {38}*76
   38-fold quotients : {26}*52
   52-fold quotients : {19}*38
   76-fold quotients : {13}*26
   247-fold quotients : {4}*8
   494-fold quotients : {2}*4
Covers (Minimal Covers in Boldface) :
   None in this atlas.
Permutation Representation (GAP) :

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

Permutation Representation (Magma) :

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

References : None.
to this polytope