Polytope of Type {992}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {992}*1984
Also Known As : 992-gon, {992}. if this polytope has another name.
Group : SmallGroup(1984,385)
Rank : 2
Schlafli Type : {992}
Number of vertices, edges, etc : 992, 992
Order of s₀s₁ : 992
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 : {496}*992
   4-fold quotients : {248}*496
   8-fold quotients : {124}*248
   16-fold quotients : {62}*124
   31-fold quotients : {32}*64
   32-fold quotients : {31}*62
   62-fold quotients : {16}*32
   124-fold quotients : {8}*16
   248-fold quotients : {4}*8
   496-fold quotients : {2}*4
Covers (Minimal Covers in Boldface) :
   None in this atlas.
Permutation Representation (GAP) :

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

Permutation Representation (Magma) :

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

References : None.
to this polytope