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