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