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