Polytope of Type {2,486}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {2,486}*1944
if this polytope has a name.
Group : SmallGroup(1944,102)
Rank : 3
Schlafli Type : {2,486}
Number of vertices, edges, etc : 2, 486, 486
Order of s₀s₁s₂ : 486
Order of s₀s₁s₂s₁ : 2
Special Properties :
   Degenerate
   Universal
   Compact Hyperbolic Quotient
   Locally Spherical
   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,243}*972
   3-fold quotients : {2,162}*648
   6-fold quotients : {2,81}*324
   9-fold quotients : {2,54}*216
   18-fold quotients : {2,27}*108
   27-fold quotients : {2,18}*72
   54-fold quotients : {2,9}*36
   81-fold quotients : {2,6}*24
   162-fold quotients : {2,3}*12
   243-fold quotients : {2,2}*8
Covers (Minimal Covers in Boldface) :
   None in this atlas.
Permutation Representation (GAP) :

s0 := (1,2);;
s1 := (  4,  5)(  6, 11)(  7, 10)(  8,  9)( 12, 29)( 13, 28)( 14, 27)( 15, 26)
( 16, 25)( 17, 24)( 18, 23)( 19, 22)( 20, 21)( 30, 83)( 31, 82)( 32, 81)
( 33, 80)( 34, 79)( 35, 78)( 36, 77)( 37, 76)( 38, 75)( 39, 74)( 40, 73)
( 41, 72)( 42, 71)( 43, 70)( 44, 69)( 45, 68)( 46, 67)( 47, 66)( 48, 65)
( 49, 64)( 50, 63)( 51, 62)( 52, 61)( 53, 60)( 54, 59)( 55, 58)( 56, 57)
( 84,245)( 85,244)( 86,243)( 87,242)( 88,241)( 89,240)( 90,239)( 91,238)
( 92,237)( 93,236)( 94,235)( 95,234)( 96,233)( 97,232)( 98,231)( 99,230)
(100,229)(101,228)(102,227)(103,226)(104,225)(105,224)(106,223)(107,222)
(108,221)(109,220)(110,219)(111,218)(112,217)(113,216)(114,215)(115,214)
(116,213)(117,212)(118,211)(119,210)(120,209)(121,208)(122,207)(123,206)
(124,205)(125,204)(126,203)(127,202)(128,201)(129,200)(130,199)(131,198)
(132,197)(133,196)(134,195)(135,194)(136,193)(137,192)(138,191)(139,190)
(140,189)(141,188)(142,187)(143,186)(144,185)(145,184)(146,183)(147,182)
(148,181)(149,180)(150,179)(151,178)(152,177)(153,176)(154,175)(155,174)
(156,173)(157,172)(158,171)(159,170)(160,169)(161,168)(162,167)(163,166)
(164,165)(247,248)(249,254)(250,253)(251,252)(255,272)(256,271)(257,270)
(258,269)(259,268)(260,267)(261,266)(262,265)(263,264)(273,326)(274,325)
(275,324)(276,323)(277,322)(278,321)(279,320)(280,319)(281,318)(282,317)
(283,316)(284,315)(285,314)(286,313)(287,312)(288,311)(289,310)(290,309)
(291,308)(292,307)(293,306)(294,305)(295,304)(296,303)(297,302)(298,301)
(299,300)(327,488)(328,487)(329,486)(330,485)(331,484)(332,483)(333,482)
(334,481)(335,480)(336,479)(337,478)(338,477)(339,476)(340,475)(341,474)
(342,473)(343,472)(344,471)(345,470)(346,469)(347,468)(348,467)(349,466)
(350,465)(351,464)(352,463)(353,462)(354,461)(355,460)(356,459)(357,458)
(358,457)(359,456)(360,455)(361,454)(362,453)(363,452)(364,451)(365,450)
(366,449)(367,448)(368,447)(369,446)(370,445)(371,444)(372,443)(373,442)
(374,441)(375,440)(376,439)(377,438)(378,437)(379,436)(380,435)(381,434)
(382,433)(383,432)(384,431)(385,430)(386,429)(387,428)(388,427)(389,426)
(390,425)(391,424)(392,423)(393,422)(394,421)(395,420)(396,419)(397,418)
(398,417)(399,416)(400,415)(401,414)(402,413)(403,412)(404,411)(405,410)
(406,409)(407,408);;
s2 := (  3,327)(  4,329)(  5,328)(  6,335)(  7,334)(  8,333)(  9,332)( 10,331)
( 11,330)( 12,353)( 13,352)( 14,351)( 15,350)( 16,349)( 17,348)( 18,347)
( 19,346)( 20,345)( 21,344)( 22,343)( 23,342)( 24,341)( 25,340)( 26,339)
( 27,338)( 28,337)( 29,336)( 30,407)( 31,406)( 32,405)( 33,404)( 34,403)
( 35,402)( 36,401)( 37,400)( 38,399)( 39,398)( 40,397)( 41,396)( 42,395)
( 43,394)( 44,393)( 45,392)( 46,391)( 47,390)( 48,389)( 49,388)( 50,387)
( 51,386)( 52,385)( 53,384)( 54,383)( 55,382)( 56,381)( 57,380)( 58,379)
( 59,378)( 60,377)( 61,376)( 62,375)( 63,374)( 64,373)( 65,372)( 66,371)
( 67,370)( 68,369)( 69,368)( 70,367)( 71,366)( 72,365)( 73,364)( 74,363)
( 75,362)( 76,361)( 77,360)( 78,359)( 79,358)( 80,357)( 81,356)( 82,355)
( 83,354)( 84,246)( 85,248)( 86,247)( 87,254)( 88,253)( 89,252)( 90,251)
( 91,250)( 92,249)( 93,272)( 94,271)( 95,270)( 96,269)( 97,268)( 98,267)
( 99,266)(100,265)(101,264)(102,263)(103,262)(104,261)(105,260)(106,259)
(107,258)(108,257)(109,256)(110,255)(111,326)(112,325)(113,324)(114,323)
(115,322)(116,321)(117,320)(118,319)(119,318)(120,317)(121,316)(122,315)
(123,314)(124,313)(125,312)(126,311)(127,310)(128,309)(129,308)(130,307)
(131,306)(132,305)(133,304)(134,303)(135,302)(136,301)(137,300)(138,299)
(139,298)(140,297)(141,296)(142,295)(143,294)(144,293)(145,292)(146,291)
(147,290)(148,289)(149,288)(150,287)(151,286)(152,285)(153,284)(154,283)
(155,282)(156,281)(157,280)(158,279)(159,278)(160,277)(161,276)(162,275)
(163,274)(164,273)(165,488)(166,487)(167,486)(168,485)(169,484)(170,483)
(171,482)(172,481)(173,480)(174,479)(175,478)(176,477)(177,476)(178,475)
(179,474)(180,473)(181,472)(182,471)(183,470)(184,469)(185,468)(186,467)
(187,466)(188,465)(189,464)(190,463)(191,462)(192,461)(193,460)(194,459)
(195,458)(196,457)(197,456)(198,455)(199,454)(200,453)(201,452)(202,451)
(203,450)(204,449)(205,448)(206,447)(207,446)(208,445)(209,444)(210,443)
(211,442)(212,441)(213,440)(214,439)(215,438)(216,437)(217,436)(218,435)
(219,434)(220,433)(221,432)(222,431)(223,430)(224,429)(225,428)(226,427)
(227,426)(228,425)(229,424)(230,423)(231,422)(232,421)(233,420)(234,419)
(235,418)(236,417)(237,416)(238,415)(239,414)(240,413)(241,412)(242,411)
(243,410)(244,409)(245,408);;
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*s1*s0*s1, s0*s2*s0*s2, 
s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2 ];;
poly := F / rels;;

Permutation Representation (Magma) :

s0 := Sym(488)!(1,2);
s1 := Sym(488)!(  4,  5)(  6, 11)(  7, 10)(  8,  9)( 12, 29)( 13, 28)( 14, 27)
( 15, 26)( 16, 25)( 17, 24)( 18, 23)( 19, 22)( 20, 21)( 30, 83)( 31, 82)
( 32, 81)( 33, 80)( 34, 79)( 35, 78)( 36, 77)( 37, 76)( 38, 75)( 39, 74)
( 40, 73)( 41, 72)( 42, 71)( 43, 70)( 44, 69)( 45, 68)( 46, 67)( 47, 66)
( 48, 65)( 49, 64)( 50, 63)( 51, 62)( 52, 61)( 53, 60)( 54, 59)( 55, 58)
( 56, 57)( 84,245)( 85,244)( 86,243)( 87,242)( 88,241)( 89,240)( 90,239)
( 91,238)( 92,237)( 93,236)( 94,235)( 95,234)( 96,233)( 97,232)( 98,231)
( 99,230)(100,229)(101,228)(102,227)(103,226)(104,225)(105,224)(106,223)
(107,222)(108,221)(109,220)(110,219)(111,218)(112,217)(113,216)(114,215)
(115,214)(116,213)(117,212)(118,211)(119,210)(120,209)(121,208)(122,207)
(123,206)(124,205)(125,204)(126,203)(127,202)(128,201)(129,200)(130,199)
(131,198)(132,197)(133,196)(134,195)(135,194)(136,193)(137,192)(138,191)
(139,190)(140,189)(141,188)(142,187)(143,186)(144,185)(145,184)(146,183)
(147,182)(148,181)(149,180)(150,179)(151,178)(152,177)(153,176)(154,175)
(155,174)(156,173)(157,172)(158,171)(159,170)(160,169)(161,168)(162,167)
(163,166)(164,165)(247,248)(249,254)(250,253)(251,252)(255,272)(256,271)
(257,270)(258,269)(259,268)(260,267)(261,266)(262,265)(263,264)(273,326)
(274,325)(275,324)(276,323)(277,322)(278,321)(279,320)(280,319)(281,318)
(282,317)(283,316)(284,315)(285,314)(286,313)(287,312)(288,311)(289,310)
(290,309)(291,308)(292,307)(293,306)(294,305)(295,304)(296,303)(297,302)
(298,301)(299,300)(327,488)(328,487)(329,486)(330,485)(331,484)(332,483)
(333,482)(334,481)(335,480)(336,479)(337,478)(338,477)(339,476)(340,475)
(341,474)(342,473)(343,472)(344,471)(345,470)(346,469)(347,468)(348,467)
(349,466)(350,465)(351,464)(352,463)(353,462)(354,461)(355,460)(356,459)
(357,458)(358,457)(359,456)(360,455)(361,454)(362,453)(363,452)(364,451)
(365,450)(366,449)(367,448)(368,447)(369,446)(370,445)(371,444)(372,443)
(373,442)(374,441)(375,440)(376,439)(377,438)(378,437)(379,436)(380,435)
(381,434)(382,433)(383,432)(384,431)(385,430)(386,429)(387,428)(388,427)
(389,426)(390,425)(391,424)(392,423)(393,422)(394,421)(395,420)(396,419)
(397,418)(398,417)(399,416)(400,415)(401,414)(402,413)(403,412)(404,411)
(405,410)(406,409)(407,408);
s2 := Sym(488)!(  3,327)(  4,329)(  5,328)(  6,335)(  7,334)(  8,333)(  9,332)
( 10,331)( 11,330)( 12,353)( 13,352)( 14,351)( 15,350)( 16,349)( 17,348)
( 18,347)( 19,346)( 20,345)( 21,344)( 22,343)( 23,342)( 24,341)( 25,340)
( 26,339)( 27,338)( 28,337)( 29,336)( 30,407)( 31,406)( 32,405)( 33,404)
( 34,403)( 35,402)( 36,401)( 37,400)( 38,399)( 39,398)( 40,397)( 41,396)
( 42,395)( 43,394)( 44,393)( 45,392)( 46,391)( 47,390)( 48,389)( 49,388)
( 50,387)( 51,386)( 52,385)( 53,384)( 54,383)( 55,382)( 56,381)( 57,380)
( 58,379)( 59,378)( 60,377)( 61,376)( 62,375)( 63,374)( 64,373)( 65,372)
( 66,371)( 67,370)( 68,369)( 69,368)( 70,367)( 71,366)( 72,365)( 73,364)
( 74,363)( 75,362)( 76,361)( 77,360)( 78,359)( 79,358)( 80,357)( 81,356)
( 82,355)( 83,354)( 84,246)( 85,248)( 86,247)( 87,254)( 88,253)( 89,252)
( 90,251)( 91,250)( 92,249)( 93,272)( 94,271)( 95,270)( 96,269)( 97,268)
( 98,267)( 99,266)(100,265)(101,264)(102,263)(103,262)(104,261)(105,260)
(106,259)(107,258)(108,257)(109,256)(110,255)(111,326)(112,325)(113,324)
(114,323)(115,322)(116,321)(117,320)(118,319)(119,318)(120,317)(121,316)
(122,315)(123,314)(124,313)(125,312)(126,311)(127,310)(128,309)(129,308)
(130,307)(131,306)(132,305)(133,304)(134,303)(135,302)(136,301)(137,300)
(138,299)(139,298)(140,297)(141,296)(142,295)(143,294)(144,293)(145,292)
(146,291)(147,290)(148,289)(149,288)(150,287)(151,286)(152,285)(153,284)
(154,283)(155,282)(156,281)(157,280)(158,279)(159,278)(160,277)(161,276)
(162,275)(163,274)(164,273)(165,488)(166,487)(167,486)(168,485)(169,484)
(170,483)(171,482)(172,481)(173,480)(174,479)(175,478)(176,477)(177,476)
(178,475)(179,474)(180,473)(181,472)(182,471)(183,470)(184,469)(185,468)
(186,467)(187,466)(188,465)(189,464)(190,463)(191,462)(192,461)(193,460)
(194,459)(195,458)(196,457)(197,456)(198,455)(199,454)(200,453)(201,452)
(202,451)(203,450)(204,449)(205,448)(206,447)(207,446)(208,445)(209,444)
(210,443)(211,442)(212,441)(213,440)(214,439)(215,438)(216,437)(217,436)
(218,435)(219,434)(220,433)(221,432)(222,431)(223,430)(224,429)(225,428)
(226,427)(227,426)(228,425)(229,424)(230,423)(231,422)(232,421)(233,420)
(234,419)(235,418)(236,417)(237,416)(238,415)(239,414)(240,413)(241,412)
(242,411)(243,410)(244,409)(245,408);
poly := sub<Sym(488)|s0,s1,s2>;

Finitely Presented Group Representation (Magma) :

poly<s0,s1,s2> := Group< s0,s1,s2 | s0*s0, s1*s1, s2*s2, 
s0*s1*s0*s1, s0*s2*s0*s2, s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2 >;

to this polytope