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