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