Polytope of Type {12,6,12} with group SmallGroup(1728,36990)

Overview

Group: SmallGroup(1728,36990)
Rank: 4
Schläfli Type: {12,6,12}
Vertices, edges, …: 12, 36, 36, 12
Order of s₀s₁s₂s₃: 12
Order of s₀s₁s₂s₃s₂s₁: 2
Also known as: {{12,6|2},{6,12|2}}. if this polytope has another name.

Special Properties

Universal
Orientable
Flat
Self-Dual

Quotients maximal quotients in bold

2-fold

3-fold

4-fold

{6,6,6}*432b

6-fold

9-fold

12-fold

18-fold

24-fold

27-fold

{4,2,4}*64

36-fold

48-fold

{3,2,3}*36

54-fold

72-fold

108-fold

{2,2,2}*16

Covers minimal covers in bold

None in this atlas.

Irregular Quotients of which this is a minimal cover

None.

Representations

Permutation Representation (GAP)

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

Permutation Representation (Magma)

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

References