Polytope of Type {878}

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

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

Permutation Representation (Magma) :

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

References : None.
to this polytope