Polytope of Type {994}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {994}*1988
Also Known As : 994-gon, {994}. if this polytope has another name.
Group : SmallGroup(1988,12)
Rank : 2
Schlafli Type : {994}
Number of vertices, edges, etc : 994, 994
Order of s₀s₁ : 994
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 : {497}*994
   7-fold quotients : {142}*284
   14-fold quotients : {71}*142
   71-fold quotients : {14}*28
   142-fold quotients : {7}*14
   497-fold quotients : {2}*4
Covers (Minimal Covers in Boldface) :
   None in this atlas.
Permutation Representation (GAP) :

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

Permutation Representation (Magma) :

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

References : None.
to this polytope