Polytope of Type {956}

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

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

Permutation Representation (Magma) :

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

References : None.
to this polytope