Polytope of Type {974}

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

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

Permutation Representation (Magma) :

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

References : None.
to this polytope