Polytope of Type {4,62,4}

s0 := (  1,497)(  2,498)(  3,499)(  4,500)(  5,501)(  6,502)(  7,503)(  8,504)(  9,505)( 10,506)( 11,507)( 12,508)( 13,509)( 14,510)( 15,511)( 16,512)( 17,513)( 18,514)( 19,515)( 20,516)
( 21,517)( 22,518)( 23,519)( 24,520)( 25,521)( 26,522)( 27,523)( 28,524)( 29,525)( 30,526)( 31,527)( 32,528)( 33,529)( 34,530)( 35,531)( 36,532)( 37,533)( 38,534)( 39,535)( 40,536)( 41,537)( 42,538)( 43,539)( 44,540)( 45,541)( 46,542)( 47,543)( 48,544)( 49,545)( 50,546)( 51,547)( 52,548)( 53,549)( 54,550)( 55,551)( 56,552)( 57,553)( 58,554)( 59,555)( 60,556)( 61,557)( 62,558)( 63,559)( 64,560)( 65,561)( 66,562)( 67,563)( 68,564)( 69,565)( 70,566)( 71,567)( 72,568)( 73,569)( 74,570)( 75,571)( 76,572)( 77,573)( 78,574)( 79,575)( 80,576)( 81,577)( 82,578)( 83,579)( 84,580)( 85,581)( 86,582)( 87,583)( 88,584)( 89,585)( 90,586)( 91,587)( 92,588)( 93,589)( 94,590)( 95,591)( 96,592)( 97,593)( 98,594)( 99,595)(100,596)(101,597)(102,598)(103,599)(104,600)(105,601)(106,602)(107,603)(108,604)(109,605)(110,606)(111,607)(112,608)(113,609)(114,610)(115,611)(116,612)(117,613)(118,614)(119,615)(120,616)(121,617)(122,618)(123,619)(124,620)(125,683)(126,684)(127,685)(128,686)(129,687)(130,688)(131,689)(132,690)(133,691)(134,692)(135,693)(136,694)(137,695)(138,696)(139,697)(140,698)(141,699)(142,700)(143,701)(144,702)(145,703)(146,704)(147,705)(148,706)(149,707)(150,708)(151,709)(152,710)(153,711)(154,712)(155,713)(156,714)(157,715)(158,716)(159,717)(160,718)(161,719)(162,720)(163,721)(164,722)(165,723)(166,724)(167,725)(168,726)(169,727)(170,728)(171,729)(172,730)(173,731)(174,732)(175,733)(176,734)(177,735)(178,736)(179,737)(180,738)(181,739)(182,740)(183,741)(184,742)(185,743)(186,744)(187,621)(188,622)(189,623)(190,624)(191,625)(192,626)(193,627)(194,628)(195,629)(196,630)(197,631)(198,632)(199,633)(200,634)(201,635)(202,636)(203,637)(204,638)(205,639)(206,640)(207,641)(208,642)(209,643)(210,644)(211,645)(212,646)(213,647)(214,648)(215,649)(216,650)(217,651)(218,652)(219,653)(220,654)(221,655)(222,656)(223,657)(224,658)(225,659)(226,660)(227,661)(228,662)(229,663)(230,664)(231,665)(232,666)(233,667)(234,668)(235,669)(236,670)(237,671)(238,672)(239,673)(240,674)(241,675)(242,676)(243,677)(244,678)(245,679)(246,680)(247,681)(248,682)(249,745)(250,746)(251,747)(252,748)(253,749)(254,750)(255,751)(256,752)(257,753)(258,754)(259,755)(260,756)(261,757)(262,758)(263,759)(264,760)(265,761)(266,762)(267,763)(268,764)(269,765)(270,766)(271,767)(272,768)(273,769)(274,770)(275,771)(276,772)(277,773)(278,774)(279,775)(280,776)(281,777)(282,778)(283,779)(284,780)(285,781)(286,782)(287,783)(288,784)(289,785)(290,786)(291,787)(292,788)(293,789)(294,790)(295,791)(296,792)(297,793)(298,794)(299,795)(300,796)(301,797)(302,798)(303,799)(304,800)(305,801)(306,802)(307,803)(308,804)(309,805)(310,806)(311,807)(312,808)(313,809)(314,810)(315,811)(316,812)(317,813)(318,814)(319,815)(320,816)(321,817)(322,818)(323,819)(324,820)(325,821)(326,822)(327,823)(328,824)(329,825)(330,826)(331,827)(332,828)(333,829)(334,830)(335,831)(336,832)(337,833)(338,834)(339,835)(340,836)(341,837)(342,838)(343,839)(344,840)(345,841)(346,842)(347,843)(348,844)(349,845)(350,846)(351,847)(352,848)(353,849)(354,850)(355,851)(356,852)(357,853)(358,854)(359,855)(360,856)(361,857)(362,858)(363,859)(364,860)(365,861)(366,862)(367,863)(368,864)(369,865)(370,866)(371,867)(372,868)(373,931)(374,932)(375,933)(376,934)(377,935)(378,936)(379,937)(380,938)(381,939)(382,940)(383,941)(384,942)(385,943)(386,944)(387,945)(388,946)(389,947)(390,948)(391,949)(392,950)(393,951)(394,952)(395,953)(396,954)(397,955)(398,956)(399,957)(400,958)(401,959)(402,960)(403,961)(404,962)(405,963)(406,964)(407,965)(408,966)(409,967)(410,968)(411,969)(412,970)(413,971)(414,972)(415,973)(416,974)(417,975)(418,976)(419,977)(420,978)(421,979)(422,980)(423,981)(424,982)(425,983)(426,984)(427,985)(428,986)(429,987)(430,988)(431,989)(432,990)(433,991)(434,992)(435,869)(436,870)(437,871)(438,872)(439,873)(440,874)(441,875)(442,876)(443,877)(444,878)(445,879)(446,880)(447,881)(448,882)(449,883)(450,884)(451,885)(452,886)(453,887)(454,888)(455,889)(456,890)(457,891)(458,892)(459,893)(460,894)(461,895)(462,896)(463,897)(464,898)(465,899)(466,900)(467,901)(468,902)(469,903)(470,904)(471,905)(472,906)(473,907)(474,908)
(475,909)(476,910)(477,911)(478,912)(479,913)(480,914)(481,915)(482,916)(483,917)(484,918)(485,919)(486,920)(487,921)(488,922)(489,923)(490,924)(491,925)(492,926)(493,927)(494,928)(495,929)(496,930);;
s1 := (  1,125)(  2,155)(  3,154)(  4,153)(  5,152)(  6,151)(  7,150)(  8,149)(  9,148)( 10,147)( 11,146)( 12,145)( 13,144)( 14,143)( 15,142)( 16,141)( 17,140)( 18,139)( 19,138)( 20,137)
( 21,136)( 22,135)( 23,134)( 24,133)( 25,132)( 26,131)( 27,130)( 28,129)( 29,128)( 30,127)( 31,126)( 32,156)( 33,186)( 34,185)( 35,184)( 36,183)( 37,182)( 38,181)( 39,180)( 40,179)( 41,178)( 42,177)( 43,176)( 44,175)( 45,174)( 46,173)( 47,172)( 48,171)( 49,170)( 50,169)( 51,168)( 52,167)( 53,166)( 54,165)( 55,164)( 56,163)( 57,162)( 58,161)( 59,160)( 60,159)( 61,158)( 62,157)( 63,187)( 64,217)( 65,216)( 66,215)( 67,214)( 68,213)( 69,212)( 70,211)( 71,210)( 72,209)( 73,208)( 74,207)( 75,206)( 76,205)( 77,204)( 78,203)( 79,202)( 80,201)( 81,200)( 82,199)( 83,198)( 84,197)( 85,196)( 86,195)( 87,194)( 88,193)( 89,192)( 90,191)( 91,190)( 92,189)( 93,188)( 94,218)( 95,248)( 96,247)( 97,246)( 98,245)( 99,244)(100,243)(101,242)(102,241)(103,240)(104,239)(105,238)(106,237)(107,236)(108,235)(109,234)(110,233)(111,232)(112,231)(113,230)(114,229)(115,228)(116,227)(117,226)(118,225)(119,224)(120,223)(121,222)(122,221)(123,220)(124,219)(249,373)(250,403)(251,402)(252,401)(253,400)(254,399)(255,398)(256,397)(257,396)(258,395)(259,394)(260,393)(261,392)(262,391)(263,390)(264,389)(265,388)(266,387)(267,386)(268,385)(269,384)(270,383)(271,382)(272,381)(273,380)(274,379)(275,378)(276,377)(277,376)(278,375)(279,374)(280,404)(281,434)(282,433)(283,432)(284,431)(285,430)(286,429)(287,428)(288,427)(289,426)(290,425)(291,424)(292,423)(293,422)(294,421)(295,420)(296,419)(297,418)(298,417)(299,416)(300,415)(301,414)(302,413)(303,412)(304,411)(305,410)(306,409)(307,408)(308,407)(309,406)(310,405)(311,435)(312,465)(313,464)(314,463)(315,462)(316,461)(317,460)(318,459)(319,458)(320,457)(321,456)(322,455)(323,454)(324,453)(325,452)(326,451)(327,450)(328,449)(329,448)(330,447)(331,446)(332,445)(333,444)(334,443)(335,442)(336,441)(337,440)(338,439)(339,438)(340,437)(341,436)(342,466)(343,496)(344,495)(345,494)(346,493)(347,492)(348,491)(349,490)(350,489)(351,488)(352,487)(353,486)(354,485)(355,484)(356,483)(357,482)(358,481)(359,480)(360,479)(361,478)(362,477)(363,476)(364,475)(365,474)(366,473)(367,472)(368,471)(369,470)(370,469)(371,468)(372,467)(497,621)(498,651)(499,650)(500,649)(501,648)(502,647)(503,646)(504,645)(505,644)(506,643)(507,642)(508,641)(509,640)(510,639)(511,638)(512,637)(513,636)(514,635)(515,634)(516,633)(517,632)(518,631)(519,630)(520,629)(521,628)(522,627)(523,626)(524,625)(525,624)(526,623)(527,622)(528,652)(529,682)(530,681)(531,680)(532,679)(533,678)(534,677)(535,676)(536,675)(537,674)(538,673)(539,672)(540,671)(541,670)(542,669)(543,668)(544,667)(545,666)(546,665)(547,664)(548,663)(549,662)(550,661)(551,660)(552,659)(553,658)(554,657)(555,656)(556,655)(557,654)(558,653)(559,683)(560,713)(561,712)(562,711)(563,710)(564,709)(565,708)(566,707)(567,706)(568,705)(569,704)(570,703)(571,702)(572,701)(573,700)(574,699)(575,698)(576,697)(577,696)(578,695)(579,694)(580,693)(581,692)(582,691)(583,690)(584,689)(585,688)(586,687)(587,686)(588,685)(589,684)(590,714)(591,744)(592,743)(593,742)(594,741)(595,740)(596,739)(597,738)(598,737)(599,736)(600,735)(601,734)(602,733)(603,732)(604,731)(605,730)(606,729)(607,728)(608,727)(609,726)(610,725)(611,724)(612,723)(613,722)(614,721)(615,720)(616,719)(617,718)(618,717)(619,716)(620,715)(745,869)(746,899)(747,898)(748,897)(749,896)(750,895)(751,894)(752,893)(753,892)(754,891)(755,890)(756,889)(757,888)(758,887)(759,886)(760,885)(761,884)(762,883)(763,882)(764,881)(765,880)(766,879)(767,878)(768,877)(769,876)(770,875)(771,874)(772,873)(773,872)(774,871)(775,870)(776,900)(777,930)(778,929)(779,928)(780,927)(781,926)(782,925)(783,924)(784,923)(785,922)(786,921)(787,920)(788,919)(789,918)(790,917)(791,916)(792,915)(793,914)(794,913)(795,912)(796,911)(797,910)(798,909)(799,908)(800,907)(801,906)(802,905)(803,904)(804,903)(805,902)(806,901)(807,931)(808,961)(809,960)(810,959)(811,958)(812,957)(813,956)(814,955)(815,954)(816,953)(817,952)(818,951)(819,950)(820,949)(821,948)(822,947)(823,946)(824,945)(825,944)(826,943)(827,942)(828,941)(829,940)(830,939)(831,938)(832,937)(833,936)(834,935)(835,934)(836,933)(837,932)(838,962)(839,992)(840,991)(841,990)(842,989)(843,988)(844,987)(845,986)(846,985)
(847,984)(848,983)(849,982)(850,981)(851,980)(852,979)(853,978)(854,977)(855,976)(856,975)(857,974)(858,973)(859,972)(860,971)(861,970)(862,969)(863,968)(864,967)(865,966)(866,965)(867,964)(868,963);;
s2 := (  1,126)(  2,125)(  3,155)(  4,154)(  5,153)(  6,152)(  7,151)(  8,150)(  9,149)( 10,148)( 11,147)( 12,146)( 13,145)( 14,144)( 15,143)( 16,142)( 17,141)( 18,140)( 19,139)( 20,138)
( 21,137)( 22,136)( 23,135)( 24,134)( 25,133)( 26,132)( 27,131)( 28,130)( 29,129)( 30,128)( 31,127)( 32,157)( 33,156)( 34,186)( 35,185)( 36,184)( 37,183)( 38,182)( 39,181)( 40,180)( 41,179)( 42,178)( 43,177)( 44,176)( 45,175)( 46,174)( 47,173)( 48,172)( 49,171)( 50,170)( 51,169)( 52,168)( 53,167)( 54,166)( 55,165)( 56,164)( 57,163)( 58,162)( 59,161)( 60,160)( 61,159)( 62,158)( 63,188)( 64,187)( 65,217)( 66,216)( 67,215)( 68,214)( 69,213)( 70,212)( 71,211)( 72,210)( 73,209)( 74,208)( 75,207)( 76,206)( 77,205)( 78,204)( 79,203)( 80,202)( 81,201)( 82,200)( 83,199)( 84,198)( 85,197)( 86,196)( 87,195)( 88,194)( 89,193)( 90,192)( 91,191)( 92,190)( 93,189)( 94,219)( 95,218)( 96,248)( 97,247)( 98,246)( 99,245)(100,244)(101,243)(102,242)(103,241)(104,240)(105,239)(106,238)(107,237)(108,236)(109,235)(110,234)(111,233)(112,232)(113,231)(114,230)(115,229)(116,228)(117,227)(118,226)(119,225)(120,224)(121,223)(122,222)(123,221)(124,220)(249,405)(250,404)(251,434)(252,433)(253,432)(254,431)(255,430)(256,429)(257,428)(258,427)(259,426)(260,425)(261,424)(262,423)(263,422)(264,421)(265,420)(266,419)(267,418)(268,417)(269,416)(270,415)(271,414)(272,413)(273,412)(274,411)(275,410)(276,409)(277,408)(278,407)(279,406)(280,374)(281,373)(282,403)(283,402)(284,401)(285,400)(286,399)(287,398)(288,397)(289,396)(290,395)(291,394)(292,393)(293,392)(294,391)(295,390)(296,389)(297,388)(298,387)(299,386)(300,385)(301,384)(302,383)(303,382)(304,381)(305,380)(306,379)(307,378)(308,377)(309,376)(310,375)(311,467)(312,466)(313,496)(314,495)(315,494)(316,493)(317,492)(318,491)(319,490)(320,489)(321,488)(322,487)(323,486)(324,485)(325,484)(326,483)(327,482)(328,481)(329,480)(330,479)(331,478)(332,477)(333,476)(334,475)(335,474)(336,473)(337,472)(338,471)(339,470)(340,469)(341,468)(342,436)(343,435)(344,465)(345,464)(346,463)(347,462)(348,461)(349,460)(350,459)(351,458)(352,457)(353,456)(354,455)(355,454)(356,453)(357,452)(358,451)(359,450)(360,449)(361,448)(362,447)(363,446)(364,445)(365,444)(366,443)(367,442)(368,441)(369,440)(370,439)(371,438)(372,437)(497,684)(498,683)(499,713)(500,712)(501,711)(502,710)(503,709)(504,708)(505,707)(506,706)(507,705)(508,704)(509,703)(510,702)(511,701)(512,700)(513,699)(514,698)(515,697)(516,696)(517,695)(518,694)(519,693)(520,692)(521,691)(522,690)(523,689)(524,688)(525,687)(526,686)(527,685)(528,715)(529,714)(530,744)(531,743)(532,742)(533,741)(534,740)(535,739)(536,738)(537,737)(538,736)(539,735)(540,734)(541,733)(542,732)(543,731)(544,730)(545,729)(546,728)(547,727)(548,726)(549,725)(550,724)(551,723)(552,722)(553,721)(554,720)(555,719)(556,718)(557,717)(558,716)(559,622)(560,621)(561,651)(562,650)(563,649)(564,648)(565,647)(566,646)(567,645)(568,644)(569,643)(570,642)(571,641)(572,640)(573,639)(574,638)(575,637)(576,636)(577,635)(578,634)(579,633)(580,632)(581,631)(582,630)(583,629)(584,628)(585,627)(586,626)(587,625)(588,624)(589,623)(590,653)(591,652)(592,682)(593,681)(594,680)(595,679)(596,678)(597,677)(598,676)(599,675)(600,674)(601,673)(602,672)(603,671)(604,670)(605,669)(606,668)(607,667)(608,666)(609,665)(610,664)(611,663)(612,662)(613,661)(614,660)(615,659)(616,658)(617,657)(618,656)(619,655)(620,654)(745,963)(746,962)(747,992)(748,991)(749,990)(750,989)(751,988)(752,987)(753,986)(754,985)(755,984)(756,983)(757,982)(758,981)(759,980)(760,979)(761,978)(762,977)(763,976)(764,975)(765,974)(766,973)(767,972)(768,971)(769,970)(770,969)(771,968)(772,967)(773,966)(774,965)(775,964)(776,932)(777,931)(778,961)(779,960)(780,959)(781,958)(782,957)(783,956)(784,955)(785,954)(786,953)(787,952)(788,951)(789,950)(790,949)(791,948)(792,947)(793,946)(794,945)(795,944)(796,943)(797,942)(798,941)(799,940)(800,939)(801,938)(802,937)(803,936)(804,935)(805,934)(806,933)(807,901)(808,900)(809,930)(810,929)(811,928)(812,927)(813,926)(814,925)(815,924)(816,923)(817,922)(818,921)(819,920)(820,919)(821,918)(822,917)(823,916)(824,915)(825,914)(826,913)(827,912)(828,911)(829,910)(830,909)(831,908)(832,907)(833,906)(834,905)(835,904)(836,903)(837,902)(838,870)(839,869)(840,899)(841,898)(842,897)(843,896)(844,895)(845,894)(846,893)
(847,892)(848,891)(849,890)(850,889)(851,888)(852,887)(853,886)(854,885)(855,884)(856,883)(857,882)(858,881)(859,880)(860,879)(861,878)(862,877)(863,876)(864,875)(865,874)(866,873)(867,872)(868,871);;
s3 := (  1,249)(  2,250)(  3,251)(  4,252)(  5,253)(  6,254)(  7,255)(  8,256)(  9,257)( 10,258)( 11,259)( 12,260)( 13,261)( 14,262)( 15,263)( 16,264)( 17,265)( 18,266)( 19,267)( 20,268)
( 21,269)( 22,270)( 23,271)( 24,272)( 25,273)( 26,274)( 27,275)( 28,276)( 29,277)( 30,278)( 31,279)( 32,280)( 33,281)( 34,282)( 35,283)( 36,284)( 37,285)( 38,286)( 39,287)( 40,288)( 41,289)( 42,290)( 43,291)( 44,292)( 45,293)( 46,294)( 47,295)( 48,296)( 49,297)( 50,298)( 51,299)( 52,300)( 53,301)( 54,302)( 55,303)( 56,304)( 57,305)( 58,306)( 59,307)( 60,308)( 61,309)( 62,310)( 63,311)( 64,312)( 65,313)( 66,314)( 67,315)( 68,316)( 69,317)( 70,318)( 71,319)( 72,320)( 73,321)( 74,322)( 75,323)( 76,324)( 77,325)( 78,326)( 79,327)( 80,328)( 81,329)( 82,330)( 83,331)( 84,332)( 85,333)( 86,334)( 87,335)( 88,336)( 89,337)( 90,338)( 91,339)( 92,340)( 93,341)( 94,342)( 95,343)( 96,344)( 97,345)( 98,346)( 99,347)(100,348)(101,349)(102,350)(103,351)(104,352)(105,353)(106,354)(107,355)(108,356)(109,357)(110,358)(111,359)(112,360)(113,361)(114,362)(115,363)(116,364)(117,365)(118,366)(119,367)(120,368)(121,369)(122,370)(123,371)(124,372)(125,373)(126,374)(127,375)(128,376)(129,377)(130,378)(131,379)(132,380)(133,381)(134,382)(135,383)(136,384)(137,385)(138,386)(139,387)(140,388)(141,389)(142,390)(143,391)(144,392)(145,393)(146,394)(147,395)(148,396)(149,397)(150,398)(151,399)(152,400)(153,401)(154,402)(155,403)(156,404)(157,405)(158,406)(159,407)(160,408)(161,409)(162,410)(163,411)(164,412)(165,413)(166,414)(167,415)(168,416)(169,417)(170,418)(171,419)(172,420)(173,421)(174,422)(175,423)(176,424)(177,425)(178,426)(179,427)(180,428)(181,429)(182,430)(183,431)(184,432)(185,433)(186,434)(187,435)(188,436)(189,437)(190,438)(191,439)(192,440)(193,441)(194,442)(195,443)(196,444)(197,445)(198,446)(199,447)(200,448)(201,449)(202,450)(203,451)(204,452)(205,453)(206,454)(207,455)(208,456)(209,457)(210,458)(211,459)(212,460)(213,461)(214,462)(215,463)(216,464)(217,465)(218,466)(219,467)(220,468)(221,469)(222,470)(223,471)(224,472)(225,473)(226,474)(227,475)(228,476)(229,477)(230,478)(231,479)(232,480)(233,481)(234,482)(235,483)(236,484)(237,485)(238,486)(239,487)(240,488)(241,489)(242,490)(243,491)(244,492)(245,493)(246,494)(247,495)(248,496)(497,745)(498,746)(499,747)(500,748)(501,749)(502,750)(503,751)(504,752)(505,753)(506,754)(507,755)(508,756)(509,757)(510,758)(511,759)(512,760)(513,761)(514,762)(515,763)(516,764)(517,765)(518,766)(519,767)(520,768)(521,769)(522,770)(523,771)(524,772)(525,773)(526,774)(527,775)(528,776)(529,777)(530,778)(531,779)(532,780)(533,781)(534,782)(535,783)(536,784)(537,785)(538,786)(539,787)(540,788)(541,789)(542,790)(543,791)(544,792)(545,793)(546,794)(547,795)(548,796)(549,797)(550,798)(551,799)(552,800)(553,801)(554,802)(555,803)(556,804)(557,805)(558,806)(559,807)(560,808)(561,809)(562,810)(563,811)(564,812)(565,813)(566,814)(567,815)(568,816)(569,817)(570,818)(571,819)(572,820)(573,821)(574,822)(575,823)(576,824)(577,825)(578,826)(579,827)(580,828)(581,829)(582,830)(583,831)(584,832)(585,833)(586,834)(587,835)(588,836)(589,837)(590,838)(591,839)(592,840)(593,841)(594,842)(595,843)(596,844)(597,845)(598,846)(599,847)(600,848)(601,849)(602,850)(603,851)(604,852)(605,853)(606,854)(607,855)(608,856)(609,857)(610,858)(611,859)(612,860)(613,861)(614,862)(615,863)(616,864)(617,865)(618,866)(619,867)(620,868)(621,869)(622,870)(623,871)(624,872)(625,873)(626,874)(627,875)(628,876)(629,877)(630,878)(631,879)(632,880)(633,881)(634,882)(635,883)(636,884)(637,885)(638,886)(639,887)(640,888)(641,889)(642,890)(643,891)(644,892)(645,893)(646,894)(647,895)(648,896)(649,897)(650,898)(651,899)(652,900)(653,901)(654,902)(655,903)(656,904)(657,905)(658,906)(659,907)(660,908)(661,909)(662,910)(663,911)(664,912)(665,913)(666,914)(667,915)(668,916)(669,917)(670,918)(671,919)(672,920)(673,921)(674,922)(675,923)(676,924)(677,925)(678,926)(679,927)(680,928)(681,929)(682,930)(683,931)(684,932)(685,933)(686,934)(687,935)(688,936)(689,937)(690,938)(691,939)(692,940)(693,941)(694,942)(695,943)(696,944)(697,945)(698,946)(699,947)(700,948)(701,949)(702,950)(703,951)(704,952)(705,953)(706,954)(707,955)(708,956)(709,957)(710,958)(711,959)(712,960)(713,961)(714,962)(715,963)(716,964)(717,965)(718,966)(719,967)(720,968)(721,969)(722,970)
(723,971)(724,972)(725,973)(726,974)(727,975)(728,976)(729,977)(730,978)(731,979)(732,980)(733,981)(734,982)(735,983)(736,984)(737,985)(738,986)(739,987)(740,988)(741,989)(742,990)(743,991)(744,992);;
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, s0*s1*s0*s1*s0*s1*s0*s1, 
s0*s1*s2*s1*s0*s1*s2*s1, s1*s2*s3*s2*s1*s2*s3*s2, 
s2*s3*s2*s3*s2*s3*s2*s3, s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*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(992)!(  1,497)(  2,498)(  3,499)(  4,500)(  5,501)(  6,502)(  7,503)(  8,504)(  9,505)( 10,506)( 11,507)( 12,508)( 13,509)( 14,510)( 15,511)( 16,512)( 17,513)( 18,514)( 19,515)
( 20,516)( 21,517)( 22,518)( 23,519)( 24,520)( 25,521)( 26,522)( 27,523)( 28,524)( 29,525)( 30,526)( 31,527)( 32,528)( 33,529)( 34,530)( 35,531)( 36,532)( 37,533)( 38,534)( 39,535)( 40,536)( 41,537)( 42,538)( 43,539)( 44,540)( 45,541)( 46,542)( 47,543)( 48,544)( 49,545)( 50,546)( 51,547)( 52,548)( 53,549)( 54,550)( 55,551)( 56,552)( 57,553)( 58,554)( 59,555)( 60,556)( 61,557)( 62,558)( 63,559)( 64,560)( 65,561)( 66,562)( 67,563)( 68,564)( 69,565)( 70,566)( 71,567)( 72,568)( 73,569)( 74,570)( 75,571)( 76,572)( 77,573)( 78,574)( 79,575)( 80,576)( 81,577)( 82,578)( 83,579)( 84,580)( 85,581)( 86,582)( 87,583)( 88,584)( 89,585)( 90,586)( 91,587)( 92,588)( 93,589)( 94,590)( 95,591)( 96,592)( 97,593)( 98,594)( 99,595)(100,596)(101,597)(102,598)(103,599)(104,600)(105,601)(106,602)(107,603)(108,604)(109,605)(110,606)(111,607)(112,608)(113,609)(114,610)(115,611)(116,612)(117,613)(118,614)(119,615)(120,616)(121,617)(122,618)(123,619)(124,620)(125,683)(126,684)(127,685)(128,686)(129,687)(130,688)(131,689)(132,690)(133,691)(134,692)(135,693)(136,694)(137,695)(138,696)(139,697)(140,698)(141,699)(142,700)(143,701)(144,702)(145,703)(146,704)(147,705)(148,706)(149,707)(150,708)(151,709)(152,710)(153,711)(154,712)(155,713)(156,714)(157,715)(158,716)(159,717)(160,718)(161,719)(162,720)(163,721)(164,722)(165,723)(166,724)(167,725)(168,726)(169,727)(170,728)(171,729)(172,730)(173,731)(174,732)(175,733)(176,734)(177,735)(178,736)(179,737)(180,738)(181,739)(182,740)(183,741)(184,742)(185,743)(186,744)(187,621)(188,622)(189,623)(190,624)(191,625)(192,626)(193,627)(194,628)(195,629)(196,630)(197,631)(198,632)(199,633)(200,634)(201,635)(202,636)(203,637)(204,638)(205,639)(206,640)(207,641)(208,642)(209,643)(210,644)(211,645)(212,646)(213,647)(214,648)(215,649)(216,650)(217,651)(218,652)(219,653)(220,654)(221,655)(222,656)(223,657)(224,658)(225,659)(226,660)(227,661)(228,662)(229,663)(230,664)(231,665)(232,666)(233,667)(234,668)(235,669)(236,670)(237,671)(238,672)(239,673)(240,674)(241,675)(242,676)(243,677)(244,678)(245,679)(246,680)(247,681)(248,682)(249,745)(250,746)(251,747)(252,748)(253,749)(254,750)(255,751)(256,752)(257,753)(258,754)(259,755)(260,756)(261,757)(262,758)(263,759)(264,760)(265,761)(266,762)(267,763)(268,764)(269,765)(270,766)(271,767)(272,768)(273,769)(274,770)(275,771)(276,772)(277,773)(278,774)(279,775)(280,776)(281,777)(282,778)(283,779)(284,780)(285,781)(286,782)(287,783)(288,784)(289,785)(290,786)(291,787)(292,788)(293,789)(294,790)(295,791)(296,792)(297,793)(298,794)(299,795)(300,796)(301,797)(302,798)(303,799)(304,800)(305,801)(306,802)(307,803)(308,804)(309,805)(310,806)(311,807)(312,808)(313,809)(314,810)(315,811)(316,812)(317,813)(318,814)(319,815)(320,816)(321,817)(322,818)(323,819)(324,820)(325,821)(326,822)(327,823)(328,824)(329,825)(330,826)(331,827)(332,828)(333,829)(334,830)(335,831)(336,832)(337,833)(338,834)(339,835)(340,836)(341,837)(342,838)(343,839)(344,840)(345,841)(346,842)(347,843)(348,844)(349,845)(350,846)(351,847)(352,848)(353,849)(354,850)(355,851)(356,852)(357,853)(358,854)(359,855)(360,856)(361,857)(362,858)(363,859)(364,860)(365,861)(366,862)(367,863)(368,864)(369,865)(370,866)(371,867)(372,868)(373,931)(374,932)(375,933)(376,934)(377,935)(378,936)(379,937)(380,938)(381,939)(382,940)(383,941)(384,942)(385,943)(386,944)(387,945)(388,946)(389,947)(390,948)(391,949)(392,950)(393,951)(394,952)(395,953)(396,954)(397,955)(398,956)(399,957)(400,958)(401,959)(402,960)(403,961)(404,962)(405,963)(406,964)(407,965)(408,966)(409,967)(410,968)(411,969)(412,970)(413,971)(414,972)(415,973)(416,974)(417,975)(418,976)(419,977)(420,978)(421,979)(422,980)(423,981)(424,982)(425,983)(426,984)(427,985)(428,986)(429,987)(430,988)(431,989)(432,990)(433,991)(434,992)(435,869)(436,870)(437,871)(438,872)(439,873)(440,874)(441,875)(442,876)(443,877)(444,878)(445,879)(446,880)(447,881)(448,882)(449,883)(450,884)(451,885)(452,886)(453,887)(454,888)(455,889)(456,890)(457,891)(458,892)(459,893)(460,894)(461,895)(462,896)(463,897)(464,898)(465,899)(466,900)(467,901)(468,902)(469,903)(470,904)(471,905)(472,906)(473,907)
(474,908)(475,909)(476,910)(477,911)(478,912)(479,913)(480,914)(481,915)(482,916)(483,917)(484,918)(485,919)(486,920)(487,921)(488,922)(489,923)(490,924)(491,925)(492,926)(493,927)(494,928)(495,929)(496,930);
s1 := Sym(992)!(  1,125)(  2,155)(  3,154)(  4,153)(  5,152)(  6,151)(  7,150)(  8,149)(  9,148)( 10,147)( 11,146)( 12,145)( 13,144)( 14,143)( 15,142)( 16,141)( 17,140)( 18,139)( 19,138)
( 20,137)( 21,136)( 22,135)( 23,134)( 24,133)( 25,132)( 26,131)( 27,130)( 28,129)( 29,128)( 30,127)( 31,126)( 32,156)( 33,186)( 34,185)( 35,184)( 36,183)( 37,182)( 38,181)( 39,180)( 40,179)( 41,178)( 42,177)( 43,176)( 44,175)( 45,174)( 46,173)( 47,172)( 48,171)( 49,170)( 50,169)( 51,168)( 52,167)( 53,166)( 54,165)( 55,164)( 56,163)( 57,162)( 58,161)( 59,160)( 60,159)( 61,158)( 62,157)( 63,187)( 64,217)( 65,216)( 66,215)( 67,214)( 68,213)( 69,212)( 70,211)( 71,210)( 72,209)( 73,208)( 74,207)( 75,206)( 76,205)( 77,204)( 78,203)( 79,202)( 80,201)( 81,200)( 82,199)( 83,198)( 84,197)( 85,196)( 86,195)( 87,194)( 88,193)( 89,192)( 90,191)( 91,190)( 92,189)( 93,188)( 94,218)( 95,248)( 96,247)( 97,246)( 98,245)( 99,244)(100,243)(101,242)(102,241)(103,240)(104,239)(105,238)(106,237)(107,236)(108,235)(109,234)(110,233)(111,232)(112,231)(113,230)(114,229)(115,228)(116,227)(117,226)(118,225)(119,224)(120,223)(121,222)(122,221)(123,220)(124,219)(249,373)(250,403)(251,402)(252,401)(253,400)(254,399)(255,398)(256,397)(257,396)(258,395)(259,394)(260,393)(261,392)(262,391)(263,390)(264,389)(265,388)(266,387)(267,386)(268,385)(269,384)(270,383)(271,382)(272,381)(273,380)(274,379)(275,378)(276,377)(277,376)(278,375)(279,374)(280,404)(281,434)(282,433)(283,432)(284,431)(285,430)(286,429)(287,428)(288,427)(289,426)(290,425)(291,424)(292,423)(293,422)(294,421)(295,420)(296,419)(297,418)(298,417)(299,416)(300,415)(301,414)(302,413)(303,412)(304,411)(305,410)(306,409)(307,408)(308,407)(309,406)(310,405)(311,435)(312,465)(313,464)(314,463)(315,462)(316,461)(317,460)(318,459)(319,458)(320,457)(321,456)(322,455)(323,454)(324,453)(325,452)(326,451)(327,450)(328,449)(329,448)(330,447)(331,446)(332,445)(333,444)(334,443)(335,442)(336,441)(337,440)(338,439)(339,438)(340,437)(341,436)(342,466)(343,496)(344,495)(345,494)(346,493)(347,492)(348,491)(349,490)(350,489)(351,488)(352,487)(353,486)(354,485)(355,484)(356,483)(357,482)(358,481)(359,480)(360,479)(361,478)(362,477)(363,476)(364,475)(365,474)(366,473)(367,472)(368,471)(369,470)(370,469)(371,468)(372,467)(497,621)(498,651)(499,650)(500,649)(501,648)(502,647)(503,646)(504,645)(505,644)(506,643)(507,642)(508,641)(509,640)(510,639)(511,638)(512,637)(513,636)(514,635)(515,634)(516,633)(517,632)(518,631)(519,630)(520,629)(521,628)(522,627)(523,626)(524,625)(525,624)(526,623)(527,622)(528,652)(529,682)(530,681)(531,680)(532,679)(533,678)(534,677)(535,676)(536,675)(537,674)(538,673)(539,672)(540,671)(541,670)(542,669)(543,668)(544,667)(545,666)(546,665)(547,664)(548,663)(549,662)(550,661)(551,660)(552,659)(553,658)(554,657)(555,656)(556,655)(557,654)(558,653)(559,683)(560,713)(561,712)(562,711)(563,710)(564,709)(565,708)(566,707)(567,706)(568,705)(569,704)(570,703)(571,702)(572,701)(573,700)(574,699)(575,698)(576,697)(577,696)(578,695)(579,694)(580,693)(581,692)(582,691)(583,690)(584,689)(585,688)(586,687)(587,686)(588,685)(589,684)(590,714)(591,744)(592,743)(593,742)(594,741)(595,740)(596,739)(597,738)(598,737)(599,736)(600,735)(601,734)(602,733)(603,732)(604,731)(605,730)(606,729)(607,728)(608,727)(609,726)(610,725)(611,724)(612,723)(613,722)(614,721)(615,720)(616,719)(617,718)(618,717)(619,716)(620,715)(745,869)(746,899)(747,898)(748,897)(749,896)(750,895)(751,894)(752,893)(753,892)(754,891)(755,890)(756,889)(757,888)(758,887)(759,886)(760,885)(761,884)(762,883)(763,882)(764,881)(765,880)(766,879)(767,878)(768,877)(769,876)(770,875)(771,874)(772,873)(773,872)(774,871)(775,870)(776,900)(777,930)(778,929)(779,928)(780,927)(781,926)(782,925)(783,924)(784,923)(785,922)(786,921)(787,920)(788,919)(789,918)(790,917)(791,916)(792,915)(793,914)(794,913)(795,912)(796,911)(797,910)(798,909)(799,908)(800,907)(801,906)(802,905)(803,904)(804,903)(805,902)(806,901)(807,931)(808,961)(809,960)(810,959)(811,958)(812,957)(813,956)(814,955)(815,954)(816,953)(817,952)(818,951)(819,950)(820,949)(821,948)(822,947)(823,946)(824,945)(825,944)(826,943)(827,942)(828,941)(829,940)(830,939)(831,938)(832,937)(833,936)(834,935)(835,934)(836,933)(837,932)(838,962)(839,992)(840,991)(841,990)(842,989)(843,988)(844,987)(845,986)
(846,985)(847,984)(848,983)(849,982)(850,981)(851,980)(852,979)(853,978)(854,977)(855,976)(856,975)(857,974)(858,973)(859,972)(860,971)(861,970)(862,969)(863,968)(864,967)(865,966)(866,965)(867,964)(868,963);
s2 := Sym(992)!(  1,126)(  2,125)(  3,155)(  4,154)(  5,153)(  6,152)(  7,151)(  8,150)(  9,149)( 10,148)( 11,147)( 12,146)( 13,145)( 14,144)( 15,143)( 16,142)( 17,141)( 18,140)( 19,139)
( 20,138)( 21,137)( 22,136)( 23,135)( 24,134)( 25,133)( 26,132)( 27,131)( 28,130)( 29,129)( 30,128)( 31,127)( 32,157)( 33,156)( 34,186)( 35,185)( 36,184)( 37,183)( 38,182)( 39,181)( 40,180)( 41,179)( 42,178)( 43,177)( 44,176)( 45,175)( 46,174)( 47,173)( 48,172)( 49,171)( 50,170)( 51,169)( 52,168)( 53,167)( 54,166)( 55,165)( 56,164)( 57,163)( 58,162)( 59,161)( 60,160)( 61,159)( 62,158)( 63,188)( 64,187)( 65,217)( 66,216)( 67,215)( 68,214)( 69,213)( 70,212)( 71,211)( 72,210)( 73,209)( 74,208)( 75,207)( 76,206)( 77,205)( 78,204)( 79,203)( 80,202)( 81,201)( 82,200)( 83,199)( 84,198)( 85,197)( 86,196)( 87,195)( 88,194)( 89,193)( 90,192)( 91,191)( 92,190)( 93,189)( 94,219)( 95,218)( 96,248)( 97,247)( 98,246)( 99,245)(100,244)(101,243)(102,242)(103,241)(104,240)(105,239)(106,238)(107,237)(108,236)(109,235)(110,234)(111,233)(112,232)(113,231)(114,230)(115,229)(116,228)(117,227)(118,226)(119,225)(120,224)(121,223)(122,222)(123,221)(124,220)(249,405)(250,404)(251,434)(252,433)(253,432)(254,431)(255,430)(256,429)(257,428)(258,427)(259,426)(260,425)(261,424)(262,423)(263,422)(264,421)(265,420)(266,419)(267,418)(268,417)(269,416)(270,415)(271,414)(272,413)(273,412)(274,411)(275,410)(276,409)(277,408)(278,407)(279,406)(280,374)(281,373)(282,403)(283,402)(284,401)(285,400)(286,399)(287,398)(288,397)(289,396)(290,395)(291,394)(292,393)(293,392)(294,391)(295,390)(296,389)(297,388)(298,387)(299,386)(300,385)(301,384)(302,383)(303,382)(304,381)(305,380)(306,379)(307,378)(308,377)(309,376)(310,375)(311,467)(312,466)(313,496)(314,495)(315,494)(316,493)(317,492)(318,491)(319,490)(320,489)(321,488)(322,487)(323,486)(324,485)(325,484)(326,483)(327,482)(328,481)(329,480)(330,479)(331,478)(332,477)(333,476)(334,475)(335,474)(336,473)(337,472)(338,471)(339,470)(340,469)(341,468)(342,436)(343,435)(344,465)(345,464)(346,463)(347,462)(348,461)(349,460)(350,459)(351,458)(352,457)(353,456)(354,455)(355,454)(356,453)(357,452)(358,451)(359,450)(360,449)(361,448)(362,447)(363,446)(364,445)(365,444)(366,443)(367,442)(368,441)(369,440)(370,439)(371,438)(372,437)(497,684)(498,683)(499,713)(500,712)(501,711)(502,710)(503,709)(504,708)(505,707)(506,706)(507,705)(508,704)(509,703)(510,702)(511,701)(512,700)(513,699)(514,698)(515,697)(516,696)(517,695)(518,694)(519,693)(520,692)(521,691)(522,690)(523,689)(524,688)(525,687)(526,686)(527,685)(528,715)(529,714)(530,744)(531,743)(532,742)(533,741)(534,740)(535,739)(536,738)(537,737)(538,736)(539,735)(540,734)(541,733)(542,732)(543,731)(544,730)(545,729)(546,728)(547,727)(548,726)(549,725)(550,724)(551,723)(552,722)(553,721)(554,720)(555,719)(556,718)(557,717)(558,716)(559,622)(560,621)(561,651)(562,650)(563,649)(564,648)(565,647)(566,646)(567,645)(568,644)(569,643)(570,642)(571,641)(572,640)(573,639)(574,638)(575,637)(576,636)(577,635)(578,634)(579,633)(580,632)(581,631)(582,630)(583,629)(584,628)(585,627)(586,626)(587,625)(588,624)(589,623)(590,653)(591,652)(592,682)(593,681)(594,680)(595,679)(596,678)(597,677)(598,676)(599,675)(600,674)(601,673)(602,672)(603,671)(604,670)(605,669)(606,668)(607,667)(608,666)(609,665)(610,664)(611,663)(612,662)(613,661)(614,660)(615,659)(616,658)(617,657)(618,656)(619,655)(620,654)(745,963)(746,962)(747,992)(748,991)(749,990)(750,989)(751,988)(752,987)(753,986)(754,985)(755,984)(756,983)(757,982)(758,981)(759,980)(760,979)(761,978)(762,977)(763,976)(764,975)(765,974)(766,973)(767,972)(768,971)(769,970)(770,969)(771,968)(772,967)(773,966)(774,965)(775,964)(776,932)(777,931)(778,961)(779,960)(780,959)(781,958)(782,957)(783,956)(784,955)(785,954)(786,953)(787,952)(788,951)(789,950)(790,949)(791,948)(792,947)(793,946)(794,945)(795,944)(796,943)(797,942)(798,941)(799,940)(800,939)(801,938)(802,937)(803,936)(804,935)(805,934)(806,933)(807,901)(808,900)(809,930)(810,929)(811,928)(812,927)(813,926)(814,925)(815,924)(816,923)(817,922)(818,921)(819,920)(820,919)(821,918)(822,917)(823,916)(824,915)(825,914)(826,913)(827,912)(828,911)(829,910)(830,909)(831,908)(832,907)(833,906)(834,905)(835,904)(836,903)(837,902)(838,870)(839,869)(840,899)(841,898)(842,897)(843,896)(844,895)(845,894)
(846,893)(847,892)(848,891)(849,890)(850,889)(851,888)(852,887)(853,886)(854,885)(855,884)(856,883)(857,882)(858,881)(859,880)(860,879)(861,878)(862,877)(863,876)(864,875)(865,874)(866,873)(867,872)(868,871);
s3 := Sym(992)!(  1,249)(  2,250)(  3,251)(  4,252)(  5,253)(  6,254)(  7,255)(  8,256)(  9,257)( 10,258)( 11,259)( 12,260)( 13,261)( 14,262)( 15,263)( 16,264)( 17,265)( 18,266)( 19,267)
( 20,268)( 21,269)( 22,270)( 23,271)( 24,272)( 25,273)( 26,274)( 27,275)( 28,276)( 29,277)( 30,278)( 31,279)( 32,280)( 33,281)( 34,282)( 35,283)( 36,284)( 37,285)( 38,286)( 39,287)( 40,288)( 41,289)( 42,290)( 43,291)( 44,292)( 45,293)( 46,294)( 47,295)( 48,296)( 49,297)( 50,298)( 51,299)( 52,300)( 53,301)( 54,302)( 55,303)( 56,304)( 57,305)( 58,306)( 59,307)( 60,308)( 61,309)( 62,310)( 63,311)( 64,312)( 65,313)( 66,314)( 67,315)( 68,316)( 69,317)( 70,318)( 71,319)( 72,320)( 73,321)( 74,322)( 75,323)( 76,324)( 77,325)( 78,326)( 79,327)( 80,328)( 81,329)( 82,330)( 83,331)( 84,332)( 85,333)( 86,334)( 87,335)( 88,336)( 89,337)( 90,338)( 91,339)( 92,340)( 93,341)( 94,342)( 95,343)( 96,344)( 97,345)( 98,346)( 99,347)(100,348)(101,349)(102,350)(103,351)(104,352)(105,353)(106,354)(107,355)(108,356)(109,357)(110,358)(111,359)(112,360)(113,361)(114,362)(115,363)(116,364)(117,365)(118,366)(119,367)(120,368)(121,369)(122,370)(123,371)(124,372)(125,373)(126,374)(127,375)(128,376)(129,377)(130,378)(131,379)(132,380)(133,381)(134,382)(135,383)(136,384)(137,385)(138,386)(139,387)(140,388)(141,389)(142,390)(143,391)(144,392)(145,393)(146,394)(147,395)(148,396)(149,397)(150,398)(151,399)(152,400)(153,401)(154,402)(155,403)(156,404)(157,405)(158,406)(159,407)(160,408)(161,409)(162,410)(163,411)(164,412)(165,413)(166,414)(167,415)(168,416)(169,417)(170,418)(171,419)(172,420)(173,421)(174,422)(175,423)(176,424)(177,425)(178,426)(179,427)(180,428)(181,429)(182,430)(183,431)(184,432)(185,433)(186,434)(187,435)(188,436)(189,437)(190,438)(191,439)(192,440)(193,441)(194,442)(195,443)(196,444)(197,445)(198,446)(199,447)(200,448)(201,449)(202,450)(203,451)(204,452)(205,453)(206,454)(207,455)(208,456)(209,457)(210,458)(211,459)(212,460)(213,461)(214,462)(215,463)(216,464)(217,465)(218,466)(219,467)(220,468)(221,469)(222,470)(223,471)(224,472)(225,473)(226,474)(227,475)(228,476)(229,477)(230,478)(231,479)(232,480)(233,481)(234,482)(235,483)(236,484)(237,485)(238,486)(239,487)(240,488)(241,489)(242,490)(243,491)(244,492)(245,493)(246,494)(247,495)(248,496)(497,745)(498,746)(499,747)(500,748)(501,749)(502,750)(503,751)(504,752)(505,753)(506,754)(507,755)(508,756)(509,757)(510,758)(511,759)(512,760)(513,761)(514,762)(515,763)(516,764)(517,765)(518,766)(519,767)(520,768)(521,769)(522,770)(523,771)(524,772)(525,773)(526,774)(527,775)(528,776)(529,777)(530,778)(531,779)(532,780)(533,781)(534,782)(535,783)(536,784)(537,785)(538,786)(539,787)(540,788)(541,789)(542,790)(543,791)(544,792)(545,793)(546,794)(547,795)(548,796)(549,797)(550,798)(551,799)(552,800)(553,801)(554,802)(555,803)(556,804)(557,805)(558,806)(559,807)(560,808)(561,809)(562,810)(563,811)(564,812)(565,813)(566,814)(567,815)(568,816)(569,817)(570,818)(571,819)(572,820)(573,821)(574,822)(575,823)(576,824)(577,825)(578,826)(579,827)(580,828)(581,829)(582,830)(583,831)(584,832)(585,833)(586,834)(587,835)(588,836)(589,837)(590,838)(591,839)(592,840)(593,841)(594,842)(595,843)(596,844)(597,845)(598,846)(599,847)(600,848)(601,849)(602,850)(603,851)(604,852)(605,853)(606,854)(607,855)(608,856)(609,857)(610,858)(611,859)(612,860)(613,861)(614,862)(615,863)(616,864)(617,865)(618,866)(619,867)(620,868)(621,869)(622,870)(623,871)(624,872)(625,873)(626,874)(627,875)(628,876)(629,877)(630,878)(631,879)(632,880)(633,881)(634,882)(635,883)(636,884)(637,885)(638,886)(639,887)(640,888)(641,889)(642,890)(643,891)(644,892)(645,893)(646,894)(647,895)(648,896)(649,897)(650,898)(651,899)(652,900)(653,901)(654,902)(655,903)(656,904)(657,905)(658,906)(659,907)(660,908)(661,909)(662,910)(663,911)(664,912)(665,913)(666,914)(667,915)(668,916)(669,917)(670,918)(671,919)(672,920)(673,921)(674,922)(675,923)(676,924)(677,925)(678,926)(679,927)(680,928)(681,929)(682,930)(683,931)(684,932)(685,933)(686,934)(687,935)(688,936)(689,937)(690,938)(691,939)(692,940)(693,941)(694,942)(695,943)(696,944)(697,945)(698,946)(699,947)(700,948)(701,949)(702,950)(703,951)(704,952)(705,953)(706,954)(707,955)(708,956)(709,957)(710,958)(711,959)(712,960)(713,961)(714,962)(715,963)(716,964)(717,965)(718,966)(719,967)(720,968)(721,969)
(722,970)(723,971)(724,972)(725,973)(726,974)(727,975)(728,976)(729,977)(730,978)(731,979)(732,980)(733,981)(734,982)(735,983)(736,984)(737,985)(738,986)(739,987)(740,988)(741,989)(742,990)(743,991)(744,992);
poly := sub<Sym(992)|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, 
s0*s1*s0*s1*s0*s1*s0*s1, s0*s1*s2*s1*s0*s1*s2*s1, 
s1*s2*s3*s2*s1*s2*s3*s2, s2*s3*s2*s3*s2*s3*s2*s3, 
s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2 >;