Polytope of Type {962}

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

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

Permutation Representation (Magma) :

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

References : None.
to this polytope