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