Part of the Atlas of Small Regular Polytopes

Polytope of Type {2,458}

Atlas Canonical Name {2,458}*1832

Overview

Group
SmallGroup(1832,12)
Rank
3
Schläfli Type
{2,458}
Vertices, edges, …
2, 458, 458
Order of s0s1s2
458
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

229-fold

Covers minimal covers in bold

None in this atlas.

Representations

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