Polytope of Type {5,10,16}

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

F := FreeGroup("s0","s1","s2","s3");;
s0 := F.1;;  s1 := F.2;;  s2 := F.3;;  s3 := F.4;;  
rels := [ s0*s0, s1*s1, s2*s2, s3*s3, s0*s2*s0*s2, 
s0*s3*s0*s3, s1*s3*s1*s3, s1*s2*s3*s2*s1*s2*s3*s2, 
s2*s0*s1*s2*s1*s2*s0*s1*s2*s1, s0*s1*s0*s1*s0*s1*s0*s1*s0*s1, 
s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3 ];;
poly := F / rels;;

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

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