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