Part of the Atlas of Small Regular Polytopes

Polytope of Type {2,446}

Atlas Canonical Name {2,446}*1784

Overview

Group
SmallGroup(1784,12)
Rank
3
Schläfli Type
{2,446}
Vertices, edges, …
2, 446, 446
Order of s0s1s2
446
Order of s0s1s2s1
2
Also known as
if this polytope has a name.

Special Properties

  • Degenerate
  • Universal
  • Compact Hyperbolic Quotient
  • Locally Spherical
  • Orientable
  • Flat

Quotients maximal quotients in bold

2-fold

223-fold

Covers minimal covers in bold

None in this atlas.

Representations

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