Polytope of Type {4,194}

s0 := (389,486)(390,487)(391,488)(392,489)(393,490)(394,491)(395,492)(396,493)(397,494)(398,495)(399,496)(400,497)(401,498)(402,499)(403,500)(404,501)(405,502)(406,503)(407,504)(408,505)(409,506)(410,507)(411,508)(412,509)(413,510)(414,511)(415,512)(416,513)(417,514)(418,515)(419,516)(420,517)(421,518)(422,519)(423,520)(424,521)(425,522)(426,523)(427,524)(428,525)(429,526)(430,527)(431,528)(432,529)(433,530)(434,531)(435,532)(436,533)(437,534)(438,535)(439,536)(440,537)(441,538)(442,539)(443,540)(444,541)(445,542)(446,543)(447,544)(448,545)(449,546)(450,547)(451,548)(452,549)(453,550)(454,551)(455,552)(456,553)(457,554)(458,555)(459,556)(460,557)(461,558)(462,559)(463,560)(464,561)(465,562)(466,563)(467,564)(468,565)(469,566)(470,567)(471,568)(472,569)(473,570)(474,571)(475,572)(476,573)(477,574)(478,575)(479,576)(480,577)(481,578)(482,579)(483,580)(484,581)(485,582)(583,680)(584,681)(585,682)(586,683)(587,684)(588,685)(589,686)(590,687)(591,688)(592,689)(593,690)(594,691)(595,692)(596,693)(597,694)(598,695)(599,696)(600,697)(601,698)(602,699)(603,700)(604,701)(605,702)(606,703)(607,704)(608,705)(609,706)(610,707)(611,708)(612,709)(613,710)(614,711)(615,712)(616,713)(617,714)(618,715)(619,716)(620,717)(621,718)(622,719)(623,720)(624,721)(625,722)(626,723)(627,724)(628,725)(629,726)(630,727)(631,728)(632,729)(633,730)(634,731)(635,732)(636,733)(637,734)(638,735)(639,736)(640,737)(641,738)(642,739)(643,740)(644,741)(645,742)(646,743)(647,744)(648,745)(649,746)(650,747)(651,748)(652,749)(653,750)(654,751)(655,752)(656,753)(657,754)(658,755)(659,756)(660,757)(661,758)(662,759)(663,760)(664,761)(665,762)(666,763)(667,764)(668,765)(669,766)(670,767)(671,768)(672,769)(673,770)(674,771)(675,772)(676,773)(677,774)(678,775)(679,776);;
s1 := (  1,583)(  2,679)(  3,678)(  4,677)(  5,676)(  6,675)(  7,674)(  8,673)(  9,672)( 10,671)( 11,670)( 12,669)( 13,668)( 14,667)( 15,666)( 16,665)( 17,664)( 18,663)( 19,662)( 20,661)( 21,660)( 22,659)( 23,658)( 24,657)( 25,656)( 26,655)( 27,654)( 28,653)( 29,652)( 30,651)( 31,650)( 32,649)( 33,648)( 34,647)( 35,646)( 36,645)( 37,644)( 38,643)( 39,642)( 40,641)( 41,640)( 42,639)( 43,638)( 44,637)( 45,636)( 46,635)( 47,634)( 48,633)( 49,632)( 50,631)( 51,630)( 52,629)( 53,628)( 54,627)( 55,626)( 56,625)( 57,624)( 58,623)( 59,622)( 60,621)( 61,620)( 62,619)( 63,618)( 64,617)( 65,616)( 66,615)( 67,614)( 68,613)( 69,612)( 70,611)( 71,610)( 72,609)( 73,608)( 74,607)( 75,606)( 76,605)( 77,604)( 78,603)( 79,602)( 80,601)( 81,600)( 82,599)( 83,598)( 84,597)( 85,596)( 86,595)( 87,594)( 88,593)( 89,592)( 90,591)( 91,590)( 92,589)( 93,588)( 94,587)( 95,586)( 96,585)( 97,584)( 98,680)( 99,776)(100,775)(101,774)(102,773)(103,772)(104,771)(105,770)(106,769)(107,768)(108,767)(109,766)(110,765)(111,764)(112,763)(113,762)(114,761)(115,760)(116,759)(117,758)(118,757)(119,756)(120,755)(121,754)(122,753)(123,752)(124,751)(125,750)(126,749)(127,748)(128,747)(129,746)(130,745)(131,744)(132,743)(133,742)(134,741)(135,740)(136,739)(137,738)(138,737)(139,736)(140,735)(141,734)(142,733)(143,732)(144,731)(145,730)(146,729)(147,728)(148,727)(149,726)(150,725)(151,724)(152,723)(153,722)(154,721)(155,720)(156,719)(157,718)(158,717)(159,716)(160,715)(161,714)(162,713)(163,712)(164,711)(165,710)(166,709)(167,708)(168,707)(169,706)(170,705)(171,704)(172,703)(173,702)(174,701)(175,700)(176,699)(177,698)(178,697)(179,696)(180,695)(181,694)(182,693)(183,692)(184,691)(185,690)(186,689)(187,688)(188,687)(189,686)(190,685)(191,684)(192,683)(193,682)(194,681)(195,389)(196,485)(197,484)(198,483)(199,482)(200,481)(201,480)(202,479)(203,478)(204,477)(205,476)(206,475)(207,474)(208,473)(209,472)(210,471)(211,470)(212,469)(213,468)(214,467)(215,466)(216,465)(217,464)(218,463)(219,462)(220,461)(221,460)(222,459)(223,458)(224,457)(225,456)(226,455)(227,454)(228,453)(229,452)(230,451)(231,450)(232,449)(233,448)(234,447)(235,446)(236,445)(237,444)(238,443)(239,442)(240,441)(241,440)(242,439)(243,438)(244,437)(245,436)(246,435)(247,434)(248,433)(249,432)(250,431)(251,430)(252,429)(253,428)(254,427)(255,426)(256,425)(257,424)(258,423)(259,422)(260,421)(261,420)(262,419)(263,418)(264,417)(265,416)(266,415)(267,414)(268,413)(269,412)(270,411)(271,410)(272,409)(273,408)(274,407)(275,406)(276,405)(277,404)(278,403)(279,402)(280,401)(281,400)(282,399)(283,398)(284,397)(285,396)(286,395)(287,394)(288,393)(289,392)(290,391)(291,390)(292,486)(293,582)(294,581)(295,580)(296,579)(297,578)(298,577)(299,576)(300,575)(301,574)(302,573)(303,572)(304,571)(305,570)(306,569)(307,568)(308,567)(309,566)(310,565)(311,564)(312,563)(313,562)(314,561)(315,560)(316,559)(317,558)(318,557)(319,556)(320,555)(321,554)(322,553)(323,552)(324,551)(325,550)(326,549)(327,548)(328,547)(329,546)(330,545)(331,544)(332,543)(333,542)(334,541)(335,540)(336,539)(337,538)(338,537)(339,536)(340,535)(341,534)(342,533)(343,532)(344,531)(345,530)(346,529)(347,528)(348,527)(349,526)(350,525)(351,524)(352,523)(353,522)(354,521)(355,520)(356,519)(357,518)(358,517)(359,516)(360,515)(361,514)(362,513)(363,512)(364,511)(365,510)(366,509)(367,508)(368,507)(369,506)(370,505)(371,504)(372,503)(373,502)(374,501)(375,500)(376,499)(377,498)(378,497)(379,496)(380,495)(381,494)(382,493)(383,492)(384,491)(385,490)(386,489)(387,488)(388,487);;
s2 := (  1,196)(  2,195)(  3,291)(  4,290)(  5,289)(  6,288)(  7,287)(  8,286)(  9,285)( 10,284)( 11,283)( 12,282)( 13,281)( 14,280)( 15,279)( 16,278)( 17,277)( 18,276)( 19,275)( 20,274)( 21,273)( 22,272)( 23,271)( 24,270)( 25,269)( 26,268)( 27,267)( 28,266)( 29,265)( 30,264)( 31,263)( 32,262)( 33,261)( 34,260)( 35,259)( 36,258)( 37,257)( 38,256)( 39,255)( 40,254)( 41,253)( 42,252)( 43,251)( 44,250)( 45,249)( 46,248)( 47,247)( 48,246)( 49,245)( 50,244)( 51,243)( 52,242)( 53,241)( 54,240)( 55,239)( 56,238)( 57,237)( 58,236)( 59,235)( 60,234)( 61,233)( 62,232)( 63,231)( 64,230)( 65,229)( 66,228)( 67,227)( 68,226)( 69,225)( 70,224)( 71,223)( 72,222)( 73,221)( 74,220)( 75,219)( 76,218)( 77,217)( 78,216)( 79,215)( 80,214)( 81,213)( 82,212)( 83,211)( 84,210)( 85,209)( 86,208)( 87,207)( 88,206)( 89,205)( 90,204)( 91,203)( 92,202)( 93,201)( 94,200)( 95,199)( 96,198)( 97,197)( 98,293)( 99,292)(100,388)(101,387)(102,386)(103,385)(104,384)(105,383)(106,382)(107,381)(108,380)(109,379)(110,378)(111,377)(112,376)(113,375)(114,374)(115,373)(116,372)(117,371)(118,370)(119,369)(120,368)(121,367)(122,366)(123,365)(124,364)(125,363)(126,362)(127,361)(128,360)(129,359)(130,358)(131,357)(132,356)(133,355)(134,354)(135,353)(136,352)(137,351)(138,350)(139,349)(140,348)(141,347)(142,346)(143,345)(144,344)(145,343)(146,342)(147,341)(148,340)(149,339)(150,338)(151,337)(152,336)(153,335)(154,334)(155,333)(156,332)(157,331)(158,330)(159,329)(160,328)(161,327)(162,326)(163,325)(164,324)(165,323)(166,322)(167,321)(168,320)(169,319)(170,318)(171,317)(172,316)(173,315)(174,314)(175,313)(176,312)(177,311)(178,310)(179,309)(180,308)(181,307)(182,306)(183,305)(184,304)(185,303)(186,302)(187,301)(188,300)(189,299)(190,298)(191,297)(192,296)(193,295)(194,294)(389,584)(390,583)(391,679)(392,678)(393,677)(394,676)(395,675)(396,674)(397,673)(398,672)(399,671)(400,670)(401,669)(402,668)(403,667)(404,666)(405,665)(406,664)(407,663)(408,662)(409,661)(410,660)(411,659)(412,658)(413,657)(414,656)(415,655)(416,654)(417,653)(418,652)(419,651)(420,650)(421,649)(422,648)(423,647)(424,646)(425,645)(426,644)(427,643)(428,642)(429,641)(430,640)(431,639)(432,638)(433,637)(434,636)(435,635)(436,634)(437,633)(438,632)(439,631)(440,630)(441,629)(442,628)(443,627)(444,626)(445,625)(446,624)(447,623)(448,622)(449,621)(450,620)(451,619)(452,618)(453,617)(454,616)(455,615)(456,614)(457,613)(458,612)(459,611)(460,610)(461,609)(462,608)(463,607)(464,606)(465,605)(466,604)(467,603)(468,602)(469,601)(470,600)(471,599)(472,598)(473,597)(474,596)(475,595)(476,594)(477,593)(478,592)(479,591)(480,590)(481,589)(482,588)(483,587)(484,586)(485,585)(486,681)(487,680)(488,776)(489,775)(490,774)(491,773)(492,772)(493,771)(494,770)(495,769)(496,768)(497,767)(498,766)(499,765)(500,764)(501,763)(502,762)(503,761)(504,760)(505,759)(506,758)(507,757)(508,756)(509,755)(510,754)(511,753)(512,752)(513,751)(514,750)(515,749)(516,748)(517,747)(518,746)(519,745)(520,744)(521,743)(522,742)(523,741)(524,740)(525,739)(526,738)(527,737)(528,736)(529,735)(530,734)(531,733)(532,732)(533,731)(534,730)(535,729)(536,728)(537,727)(538,726)(539,725)(540,724)(541,723)(542,722)(543,721)(544,720)(545,719)(546,718)(547,717)(548,716)(549,715)(550,714)(551,713)(552,712)(553,711)(554,710)(555,709)(556,708)(557,707)(558,706)(559,705)(560,704)(561,703)(562,702)(563,701)(564,700)(565,699)(566,698)(567,697)(568,696)(569,695)(570,694)(571,693)(572,692)(573,691)(574,690)(575,689)(576,688)(577,687)(578,686)(579,685)(580,684)(581,683)(582,682);;
poly := Group([s0,s1,s2]);;

F := FreeGroup("s0","s1","s2");;
s0 := F.1;;  s1 := F.2;;  s2 := F.3;;  
rels := [ s0*s0, s1*s1, s2*s2, s0*s2*s0*s2, s0*s1*s0*s1*s0*s1*s0*s1, 
s0*s1*s2*s1*s0*s1*s2*s1, s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*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;;

s0 := Sym(776)!(389,486)(390,487)(391,488)(392,489)(393,490)(394,491)(395,492)(396,493)(397,494)(398,495)(399,496)(400,497)(401,498)(402,499)(403,500)(404,501)(405,502)(406,503)(407,504)(408,505)(409,506)(410,507)(411,508)(412,509)(413,510)(414,511)(415,512)(416,513)(417,514)(418,515)(419,516)(420,517)(421,518)(422,519)(423,520)(424,521)(425,522)(426,523)(427,524)(428,525)(429,526)(430,527)(431,528)(432,529)(433,530)(434,531)(435,532)(436,533)(437,534)(438,535)(439,536)(440,537)(441,538)(442,539)(443,540)(444,541)(445,542)(446,543)(447,544)(448,545)(449,546)(450,547)(451,548)(452,549)(453,550)(454,551)(455,552)(456,553)(457,554)(458,555)(459,556)(460,557)(461,558)(462,559)(463,560)(464,561)(465,562)(466,563)(467,564)(468,565)(469,566)(470,567)(471,568)(472,569)(473,570)(474,571)(475,572)(476,573)(477,574)(478,575)(479,576)(480,577)(481,578)(482,579)(483,580)(484,581)(485,582)(583,680)(584,681)(585,682)(586,683)(587,684)(588,685)(589,686)(590,687)(591,688)(592,689)(593,690)(594,691)(595,692)(596,693)(597,694)(598,695)(599,696)(600,697)(601,698)(602,699)(603,700)(604,701)(605,702)(606,703)(607,704)(608,705)(609,706)(610,707)(611,708)(612,709)(613,710)(614,711)(615,712)(616,713)(617,714)(618,715)(619,716)(620,717)(621,718)(622,719)(623,720)(624,721)(625,722)(626,723)(627,724)(628,725)(629,726)(630,727)(631,728)(632,729)(633,730)(634,731)(635,732)(636,733)(637,734)(638,735)(639,736)(640,737)(641,738)(642,739)(643,740)(644,741)(645,742)(646,743)(647,744)(648,745)(649,746)(650,747)(651,748)(652,749)(653,750)(654,751)(655,752)(656,753)(657,754)(658,755)(659,756)(660,757)(661,758)(662,759)(663,760)(664,761)(665,762)(666,763)(667,764)(668,765)(669,766)(670,767)(671,768)(672,769)(673,770)(674,771)(675,772)(676,773)(677,774)(678,775)(679,776);
s1 := Sym(776)!(  1,583)(  2,679)(  3,678)(  4,677)(  5,676)(  6,675)(  7,674)(  8,673)(  9,672)( 10,671)( 11,670)( 12,669)( 13,668)( 14,667)( 15,666)( 16,665)( 17,664)( 18,663)( 19,662)( 20,661)( 21,660)( 22,659)( 23,658)( 24,657)( 25,656)( 26,655)( 27,654)( 28,653)( 29,652)( 30,651)( 31,650)( 32,649)( 33,648)( 34,647)( 35,646)( 36,645)( 37,644)( 38,643)( 39,642)( 40,641)( 41,640)( 42,639)( 43,638)( 44,637)( 45,636)( 46,635)( 47,634)( 48,633)( 49,632)( 50,631)( 51,630)( 52,629)( 53,628)( 54,627)( 55,626)( 56,625)( 57,624)( 58,623)( 59,622)( 60,621)( 61,620)( 62,619)( 63,618)( 64,617)( 65,616)( 66,615)( 67,614)( 68,613)( 69,612)( 70,611)( 71,610)( 72,609)( 73,608)( 74,607)( 75,606)( 76,605)( 77,604)( 78,603)( 79,602)( 80,601)( 81,600)( 82,599)( 83,598)( 84,597)( 85,596)( 86,595)( 87,594)( 88,593)( 89,592)( 90,591)( 91,590)( 92,589)( 93,588)( 94,587)( 95,586)( 96,585)( 97,584)( 98,680)( 99,776)(100,775)(101,774)(102,773)(103,772)(104,771)(105,770)(106,769)(107,768)(108,767)(109,766)(110,765)(111,764)(112,763)(113,762)(114,761)(115,760)(116,759)(117,758)(118,757)(119,756)(120,755)(121,754)(122,753)(123,752)(124,751)(125,750)(126,749)(127,748)(128,747)(129,746)(130,745)(131,744)(132,743)(133,742)(134,741)(135,740)(136,739)(137,738)(138,737)(139,736)(140,735)(141,734)(142,733)(143,732)(144,731)(145,730)(146,729)(147,728)(148,727)(149,726)(150,725)(151,724)(152,723)(153,722)(154,721)(155,720)(156,719)(157,718)(158,717)(159,716)(160,715)(161,714)(162,713)(163,712)(164,711)(165,710)(166,709)(167,708)(168,707)(169,706)(170,705)(171,704)(172,703)(173,702)(174,701)(175,700)(176,699)(177,698)(178,697)(179,696)(180,695)(181,694)(182,693)(183,692)(184,691)(185,690)(186,689)(187,688)(188,687)(189,686)(190,685)(191,684)(192,683)(193,682)(194,681)(195,389)(196,485)(197,484)(198,483)(199,482)(200,481)(201,480)(202,479)(203,478)(204,477)(205,476)(206,475)(207,474)(208,473)(209,472)(210,471)(211,470)(212,469)(213,468)(214,467)(215,466)(216,465)(217,464)(218,463)(219,462)(220,461)(221,460)(222,459)(223,458)(224,457)(225,456)(226,455)(227,454)(228,453)(229,452)(230,451)(231,450)(232,449)(233,448)(234,447)(235,446)(236,445)(237,444)(238,443)(239,442)(240,441)(241,440)(242,439)(243,438)(244,437)(245,436)(246,435)(247,434)(248,433)(249,432)(250,431)(251,430)(252,429)(253,428)(254,427)(255,426)(256,425)(257,424)(258,423)(259,422)(260,421)(261,420)(262,419)(263,418)(264,417)(265,416)(266,415)(267,414)(268,413)(269,412)(270,411)(271,410)(272,409)(273,408)(274,407)(275,406)(276,405)(277,404)(278,403)(279,402)(280,401)(281,400)(282,399)(283,398)(284,397)(285,396)(286,395)(287,394)(288,393)(289,392)(290,391)(291,390)(292,486)(293,582)(294,581)(295,580)(296,579)(297,578)(298,577)(299,576)(300,575)(301,574)(302,573)(303,572)(304,571)(305,570)(306,569)(307,568)(308,567)(309,566)(310,565)(311,564)(312,563)(313,562)(314,561)(315,560)(316,559)(317,558)(318,557)(319,556)(320,555)(321,554)(322,553)(323,552)(324,551)(325,550)(326,549)(327,548)(328,547)(329,546)(330,545)(331,544)(332,543)(333,542)(334,541)(335,540)(336,539)(337,538)(338,537)(339,536)(340,535)(341,534)(342,533)(343,532)(344,531)(345,530)(346,529)(347,528)(348,527)(349,526)(350,525)(351,524)(352,523)(353,522)(354,521)(355,520)(356,519)(357,518)(358,517)(359,516)(360,515)(361,514)(362,513)(363,512)(364,511)(365,510)(366,509)(367,508)(368,507)(369,506)(370,505)(371,504)(372,503)(373,502)(374,501)(375,500)(376,499)(377,498)(378,497)(379,496)(380,495)(381,494)(382,493)(383,492)(384,491)(385,490)(386,489)(387,488)(388,487);
s2 := Sym(776)!(  1,196)(  2,195)(  3,291)(  4,290)(  5,289)(  6,288)(  7,287)(  8,286)(  9,285)( 10,284)( 11,283)( 12,282)( 13,281)( 14,280)( 15,279)( 16,278)( 17,277)( 18,276)( 19,275)( 20,274)( 21,273)( 22,272)( 23,271)( 24,270)( 25,269)( 26,268)( 27,267)( 28,266)( 29,265)( 30,264)( 31,263)( 32,262)( 33,261)( 34,260)( 35,259)( 36,258)( 37,257)( 38,256)( 39,255)( 40,254)( 41,253)( 42,252)( 43,251)( 44,250)( 45,249)( 46,248)( 47,247)( 48,246)( 49,245)( 50,244)( 51,243)( 52,242)( 53,241)( 54,240)( 55,239)( 56,238)( 57,237)( 58,236)( 59,235)( 60,234)( 61,233)( 62,232)( 63,231)( 64,230)( 65,229)( 66,228)( 67,227)( 68,226)( 69,225)( 70,224)( 71,223)( 72,222)( 73,221)( 74,220)( 75,219)( 76,218)( 77,217)( 78,216)( 79,215)( 80,214)( 81,213)( 82,212)( 83,211)( 84,210)( 85,209)( 86,208)( 87,207)( 88,206)( 89,205)( 90,204)( 91,203)( 92,202)( 93,201)( 94,200)( 95,199)( 96,198)( 97,197)( 98,293)( 99,292)(100,388)(101,387)(102,386)(103,385)(104,384)(105,383)(106,382)(107,381)(108,380)(109,379)(110,378)(111,377)(112,376)(113,375)(114,374)(115,373)(116,372)(117,371)(118,370)(119,369)(120,368)(121,367)(122,366)(123,365)(124,364)(125,363)(126,362)(127,361)(128,360)(129,359)(130,358)(131,357)(132,356)(133,355)(134,354)(135,353)(136,352)(137,351)(138,350)(139,349)(140,348)(141,347)(142,346)(143,345)(144,344)(145,343)(146,342)(147,341)(148,340)(149,339)(150,338)(151,337)(152,336)(153,335)(154,334)(155,333)(156,332)(157,331)(158,330)(159,329)(160,328)(161,327)(162,326)(163,325)(164,324)(165,323)(166,322)(167,321)(168,320)(169,319)(170,318)(171,317)(172,316)(173,315)(174,314)(175,313)(176,312)(177,311)(178,310)(179,309)(180,308)(181,307)(182,306)(183,305)(184,304)(185,303)(186,302)(187,301)(188,300)(189,299)(190,298)(191,297)(192,296)(193,295)(194,294)(389,584)(390,583)(391,679)(392,678)(393,677)(394,676)(395,675)(396,674)(397,673)(398,672)(399,671)(400,670)(401,669)(402,668)(403,667)(404,666)(405,665)(406,664)(407,663)(408,662)(409,661)(410,660)(411,659)(412,658)(413,657)(414,656)(415,655)(416,654)(417,653)(418,652)(419,651)(420,650)(421,649)(422,648)(423,647)(424,646)(425,645)(426,644)(427,643)(428,642)(429,641)(430,640)(431,639)(432,638)(433,637)(434,636)(435,635)(436,634)(437,633)(438,632)(439,631)(440,630)(441,629)(442,628)(443,627)(444,626)(445,625)(446,624)(447,623)(448,622)(449,621)(450,620)(451,619)(452,618)(453,617)(454,616)(455,615)(456,614)(457,613)(458,612)(459,611)(460,610)(461,609)(462,608)(463,607)(464,606)(465,605)(466,604)(467,603)(468,602)(469,601)(470,600)(471,599)(472,598)(473,597)(474,596)(475,595)(476,594)(477,593)(478,592)(479,591)(480,590)(481,589)(482,588)(483,587)(484,586)(485,585)(486,681)(487,680)(488,776)(489,775)(490,774)(491,773)(492,772)(493,771)(494,770)(495,769)(496,768)(497,767)(498,766)(499,765)(500,764)(501,763)(502,762)(503,761)(504,760)(505,759)(506,758)(507,757)(508,756)(509,755)(510,754)(511,753)(512,752)(513,751)(514,750)(515,749)(516,748)(517,747)(518,746)(519,745)(520,744)(521,743)(522,742)(523,741)(524,740)(525,739)(526,738)(527,737)(528,736)(529,735)(530,734)(531,733)(532,732)(533,731)(534,730)(535,729)(536,728)(537,727)(538,726)(539,725)(540,724)(541,723)(542,722)(543,721)(544,720)(545,719)(546,718)(547,717)(548,716)(549,715)(550,714)(551,713)(552,712)(553,711)(554,710)(555,709)(556,708)(557,707)(558,706)(559,705)(560,704)(561,703)(562,702)(563,701)(564,700)(565,699)(566,698)(567,697)(568,696)(569,695)(570,694)(571,693)(572,692)(573,691)(574,690)(575,689)(576,688)(577,687)(578,686)(579,685)(580,684)(581,683)(582,682);
poly := sub<Sym(776)|s0,s1,s2>;

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