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 s0s1 : 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.
Irregular Quotients (of which this is a minimal cover):
None.
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