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