Polytope of Type {996}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {996}*1992
Also Known As : 996-gon, {996}. if this polytope has another name.
Group : SmallGroup(1992,25)
Rank : 2
Schlafli Type : {996}
Number of vertices, edges, etc : 996, 996
Order of s₀s₁ : 996
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 : {498}*996
   3-fold quotients : {332}*664
   4-fold quotients : {249}*498
   6-fold quotients : {166}*332
   12-fold quotients : {83}*166
   83-fold quotients : {12}*24
   166-fold quotients : {6}*12
   249-fold quotients : {4}*8
   332-fold quotients : {3}*6
   498-fold quotients : {2}*4
Covers (Minimal Covers in Boldface) :
   None in this atlas.
Permutation Representation (GAP) :

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

Permutation Representation (Magma) :

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

References : None.
to this polytope