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