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