Polytope of Type {998}

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

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

Permutation Representation (Magma) :

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

References : None.
to this polytope