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