Polytope of Type {964}

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

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

Permutation Representation (Magma) :

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

References : None.
to this polytope