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