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