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

Overview

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

Special Properties

Universal
Orientable
Flat

Quotients maximal quotients in bold

2-fold

3-fold

4-fold

6-fold

8-fold

{3,6,6}*216b

9-fold

12-fold

18-fold

24-fold

27-fold

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