Questions?
See the FAQ
or other info.

Polytope of Type {958}

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