diff --git a/grp/simplerew.grp b/grp/simplerew.grp index 903a2c875e..dcf82ad685 100644 --- a/grp/simplerew.grp +++ b/grp/simplerew.grp @@ -22934,5 +22934,1879 @@ return [4601824703876435680040804148940,1853072443780982269829532590], [4601824703876435680040525316538,1853072443780981544586454988], [4601824703876435680040525209336,1853072443780981544301889982], -[234693059897698219682066785673941,94506694632830058759396297491]]] +[234693059897698219682066785673941,94506694632830058759396297491]]], +[[24815256521932800,"B",[5,2],"S10(2)"], +[(2,123)(5,78)(7,72)(8,87)(9,23)(10,114)(11,17)(12,96) +(14,80)(15,97)(16,99)(18,119)(19,90)(20,71)(21,124) +(24,74)(25,77)(28,66)(29,59)(30,107)(31,55)(32,115) +(33,110)(35,48)(36,91)(37,62)(39,45)(41,92)(43,63) +(44,120)(49,121)(50,65)(51,106)(52,79)(53,111)(54,86) +(56,108)(57,73)(61,101)(64,122)(67,112)(68,103)(69,113) +(76,116)(84,117)(88,118)(94,105)(95,109)(129,206)(130,199) +(131,197)(132,194)(133,210)(134,218)(135,217)(136,223)(137,196) +(138,211)(139,212)(140,222)(141,201)(142,209)(143,208)(144,204) +(145,203)(146,205)(147,216)(148,207)(149,221)(150,202)(151,219) +(152,220)(153,193)(154,198)(155,224)(156,195)(157,214)(158,215) +(159,213)(160,200)(161,164)(162,163)(170,171)(175,176)(177,189) +(178,191)(180,190)(182,192)(225,237)(228,240)(229,234)(232,233) +(241,248)(244,246)(249,250)(255,256)(257,267)(258,354)(259,364) +(260,270)(263,378)(265,371)(266,352)(268,348)(269,381)(272,374) +(274,286)(275,284)(276,323)(277,328)(279,366)(281,340)(282,334) +(283,357)(287,330)(288,337)(289,307)(290,322)(291,333)(292,359) +(294,349)(295,311)(297,375)(298,313)(299,342)(300,380)(301,365) +(304,319)(306,372)(308,343)(309,321)(310,355)(314,346)(316,335) +(317,367)(320,384)(338,353)(339,363)(341,368)(344,358)(345,361) +(347,356)(350,360)(351,362)(385,426)(386,521)(387,474)(389,456) +(390,524)(392,499)(393,493)(395,465)(398,483)(399,527)(401,434) +(402,446)(403,497)(404,463)(405,518)(407,492)(408,433)(409,445) +(410,458)(413,481)(414,430)(416,510)(417,482)(418,516)(419,457) +(421,471)(422,455)(423,496)(425,517)(428,525)(429,462)(431,490) +(437,520)(438,502)(443,505)(444,470)(447,522)(448,487)(449,467) +(452,464)(460,480)(468,486)(472,484)(475,491)(498,511)(500,513) +(507,512)(508,523),(1,251)(4,230)(5,55)(6,56)(8,194) +(9,57)(10,58)(12,224)(15,59)(16,151)(17,157)(18,158) +(19,169)(20,60)(21,35)(22,131)(23,162)(24,40)(27,184) +(28,176)(29,234)(31,191)(32,226)(33,233)(34,167)(36,190) +(38,207)(39,195)(41,200)(42,142)(47,223)(48,244)(49,150) +(50,183)(53,242)(54,212)(61,146)(62,218)(63,145)(64,255) +(65,231)(68,92)(69,86)(70,209)(71,89)(73,217)(74,93) +(76,240)(77,164)(78,201)(80,189)(81,197)(82,181)(83,174) +(87,132)(88,152)(90,243)(94,241)(95,137)(96,155)(97,159) +(98,114)(99,116)(100,136)(101,205)(103,192)(104,227)(105,121) +(107,237)(108,125)(111,165)(112,206)(113,171)(115,179)(117,211) +(119,215)(123,250)(124,130)(127,254)(128,148)(135,163)(139,170) +(141,178)(143,168)(147,186)(149,187)(154,172)(160,182)(198,245) +(199,246)(202,248)(208,247)(213,229)(216,236)(219,228)(221,238) +(258,486)(259,428)(260,515)(261,450)(265,268)(269,475)(270,436) +(271,495)(272,443)(273,454)(274,494)(276,497)(277,426)(279,287) +(281,446)(285,519)(286,435)(288,521)(290,472)(291,301)(292,455) +(293,429)(295,487)(296,298)(299,437)(300,499)(303,442)(304,509) +(305,462)(306,518)(308,438)(309,310)(311,448)(313,318)(315,528) +(316,460)(317,456)(319,432)(321,511)(322,343)(325,350)(326,440) +(328,337)(329,459)(330,445)(331,447)(332,439)(333,507)(334,457) +(335,342)(338,441)(339,517)(341,489)(344,478)(346,434)(348,444) +(349,433)(352,508)(353,488)(355,452)(357,430)(358,453)(360,376) +(363,425)(364,381)(365,449)(366,482)(368,451)(370,427)(371,513) +(373,469)(375,471)(377,466)(378,431)(382,522)(384,463)(385,386) +(390,391)(397,398)(399,400)(407,420)(409,417)(411,423)(413,424) +(461,524)(464,498)(467,512)(470,500)(473,496)(476,527)(480,520) +(481,506)(483,514)(484,502)(491,525)(492,504), +(3,247)(4,38)(5,30)(6,239)(7,193)(10,221)(11,55) +(12,53)(14,180)(15,163)(17,31)(18,148)(19,155)(20,44) +(21,175)(22,181)(25,178)(26,60)(27,165)(28,49)(29,217) +(33,241)(34,174)(35,138)(37,141)(39,206)(41,237)(42,179) +(45,129)(46,252)(48,211)(50,136)(52,208)(54,240)(56,222) +(58,238)(59,135)(61,132)(62,201)(64,250)(65,223)(66,121) +(68,214)(69,219)(70,226)(71,120)(72,153)(75,168)(77,191) +(78,107)(79,143)(80,190)(81,230)(82,128)(84,105)(85,173) +(86,228)(88,150)(89,102)(90,224)(92,225)(94,117)(95,145) +(96,111)(97,162)(98,187)(101,194)(103,157)(104,242)(108,140) +(109,203)(110,248)(113,151)(114,149)(118,202)(119,207)(122,249) +(124,176)(125,185)(127,251)(130,152)(131,158)(133,154)(134,160) +(161,182)(164,192)(169,184)(172,188)(197,215)(198,210)(199,220) +(200,218)(227,243)(232,246)(233,244)(235,245)(258,433)(260,447) +(263,392)(266,389)(270,522)(272,471)(273,494)(274,339)(275,496) +(276,321)(277,497)(278,473)(279,414)(280,411)(281,355)(282,335) +(283,342)(284,423)(285,435)(286,363)(287,419)(288,446)(289,410) +(290,444)(291,525)(292,460)(295,341)(299,357)(301,491)(302,415) +(303,466)(304,448)(306,437)(307,458)(308,513)(309,323)(310,340) +(311,368)(312,526)(314,498)(315,440)(316,334)(319,487)(320,464) +(322,470)(324,479)(327,397)(328,403)(329,450)(330,457)(332,489) +(333,428)(337,402)(338,517)(343,500)(344,429)(345,493)(346,511) +(351,398)(352,456)(353,425)(354,408)(358,462)(359,480)(361,393) +(362,483)(365,475)(366,430)(370,495)(372,520)(373,451)(374,421) +(378,499)(379,396)(383,514)(384,452)(385,401)(386,404)(387,399) +(388,400)(405,417)(407,416)(409,422)(412,420)(426,434)(432,439) +(441,454)(445,455)(463,521)(469,509)(474,527)(476,501)(482,518) +(485,504)(488,519)(492,510),(1,104)(2,110)(3,126)(4,127) +(5,86)(6,93)(7,120)(8,119)(9,68)(10,71)(11,109) +(12,101)(13,75)(14,66)(15,121)(16,124)(17,95)(18,87) +(19,115)(20,114)(21,99)(22,100)(23,103)(24,108)(25,91) +(26,85)(27,83)(28,80)(29,94)(30,122)(31,113)(32,90) +(33,123)(34,82)(35,116)(36,77)(37,67)(38,70)(39,117) +(40,125)(41,73)(42,128)(43,118)(44,72)(45,84)(46,102) +(47,81)(48,76)(49,97)(50,111)(51,79)(52,106)(53,65) +(54,78)(55,69)(56,74)(57,92)(58,89)(59,105)(60,98) +(61,96)(62,112)(63,88)(64,107)(129,134)(130,151)(131,136) +(132,158)(133,153)(135,160)(137,157)(138,156)(139,141)(140,144) +(142,148)(143,147)(145,152)(146,155)(149,154)(150,159)(161,180) +(162,192)(163,182)(164,190)(165,183)(166,185)(167,181)(168,186) +(169,179)(170,178)(171,191)(172,187)(173,188)(174,184)(175,177) +(176,189)(193,210)(194,215)(195,211)(196,214)(197,223)(198,221) +(199,219)(200,217)(201,212)(202,213)(203,220)(204,222)(205,224) +(206,218)(207,209)(208,216)(225,256)(226,243)(227,251)(228,246) +(229,248)(230,254)(231,242)(232,249)(233,250)(234,241)(235,252) +(236,247)(237,255)(238,245)(239,253)(240,244)(289,361)(290,333) +(291,322)(292,346)(293,331)(294,367)(295,339)(296,325)(297,380) +(298,350)(299,355)(300,375)(301,343)(302,379)(303,370)(304,353) +(305,382)(306,384)(307,345)(308,365)(309,335)(310,342)(311,363) +(312,324)(313,360)(314,359)(315,329)(316,321)(317,349)(318,376) +(319,338)(320,372)(389,408)(392,421)(394,406)(395,418)(399,407) +(400,420)(401,422)(404,405)(425,448)(427,442)(429,447)(432,441) +(433,456)(434,455)(437,452)(438,449)(459,528)(460,511)(462,522) +(463,518)(464,520)(465,516)(467,502)(471,499)(472,507)(476,504) +(477,503)(480,498)(484,512)(487,517)(488,509)(492,527), +(1,261)(2,380)(3,383)(5,335)(7,307)(9,268)(11,283) +(12,363)(13,369)(15,322)(17,357)(19,338)(23,348)(24,313) +(25,372)(27,273)(29,308)(30,282)(31,299)(34,370)(37,359) +(40,318)(41,330)(43,367)(46,312)(47,331)(50,270)(51,356) +(52,362)(53,286)(55,342)(57,265)(59,343)(62,292)(63,317) +(64,378)(65,260)(68,279)(72,289)(73,371)(74,298)(75,327) +(77,306)(78,316)(79,351)(83,271)(85,302)(90,353)(92,287) +(93,296)(95,352)(96,339)(97,290)(100,382)(103,366)(104,285) +(106,347)(107,334)(109,266)(111,274)(122,263)(123,300)(126,336) +(127,329)(133,474)(134,422)(135,500)(136,522)(137,508)(141,480) +(143,398)(144,516)(145,456)(147,481)(153,410)(154,527)(155,517) +(157,430)(159,472)(160,409)(161,405)(162,444)(163,470)(164,518) +(165,494)(166,477)(167,427)(168,397)(169,441)(172,476)(173,415) +(174,495)(178,520)(182,417)(183,436)(184,454)(186,506)(188,501) +(191,437)(192,482)(193,458)(196,523)(198,399)(200,445)(201,460) +(203,389)(204,418)(208,483)(210,387)(213,484)(214,414)(216,413) +(217,513)(218,455)(223,447)(224,425)(225,419)(227,519)(229,502) +(231,515)(234,438)(235,388)(236,424)(237,457)(242,435)(243,488) +(245,400)(247,514)(249,392)(250,499)(251,450)(252,526)(253,406) +(254,459)(255,431)(256,490),(2,249)(5,178)(6,125)(9,135) +(10,114)(11,214)(14,177)(15,229)(16,240)(17,157)(19,90) +(20,71)(21,246)(22,81)(23,217)(24,74)(25,161)(28,176) +(29,159)(30,225)(31,201)(32,115)(33,233)(35,199)(36,190) +(37,134)(38,128)(39,195)(40,93)(41,192)(42,70)(43,203) +(45,156)(47,100)(48,130)(49,241)(50,65)(53,111)(54,171) +(55,141)(56,108)(57,163)(58,98)(59,213)(60,89)(62,218) +(63,145)(64,255)(66,175)(67,129)(68,160)(69,139)(73,162) +(76,151)(77,164)(78,191)(80,189)(84,138)(86,170)(88,152) +(91,180)(92,182)(94,150)(95,137)(97,234)(99,228)(103,200) +(105,202)(107,237)(109,196)(110,232)(112,206)(113,212)(116,219) +(117,211)(118,220)(121,248)(122,256)(123,250)(124,244)(131,197) +(136,223)(142,209)(143,208)(147,216)(148,207)(149,221)(154,198) +(165,242)(168,247)(169,243)(172,245)(179,226)(183,231)(186,236) +(187,238)(258,486)(259,475)(260,270)(263,490)(265,470)(266,523) +(268,500)(269,428)(272,443)(274,286)(276,497)(277,521)(279,409) +(281,446)(282,419)(283,414)(287,417)(288,426)(290,438)(291,467) +(292,455)(293,305)(294,408)(296,318)(297,421)(298,313)(299,460) +(300,499)(301,512)(304,319)(306,518)(308,472)(309,464)(310,498) +(314,401)(316,437)(317,456)(320,404)(321,452)(322,502)(323,403) +(325,376)(328,386)(330,482)(331,382)(333,449)(334,457)(335,520) +(337,385)(338,353)(340,402)(341,368)(342,480)(343,484)(344,358) +(346,434)(348,513)(349,433)(350,360)(352,508)(354,468)(355,511) +(357,430)(359,422)(364,491)(365,507)(366,445)(367,389)(371,444) +(372,405)(374,505)(375,471)(378,431)(380,392)(381,525)(384,463) +(390,524)(391,461)(397,514)(398,483)(399,527)(400,476)(407,492) +(411,473)(413,481)(420,504)(423,496)(424,506)(429,462)(432,509) +(435,494)(436,515)(441,488)(447,522)(451,489)(453,478), +(1,254)(3,52)(4,215)(5,55)(6,56)(8,205)(11,30) +(12,227)(16,171)(17,164)(18,181)(19,165)(20,60)(21,35) +(22,148)(23,159)(25,37)(26,44)(27,155)(28,152)(29,217) +(31,192)(32,209)(33,211)(34,174)(36,189)(38,197)(39,206) +(41,201)(42,179)(47,231)(48,241)(49,130)(50,136)(53,243) +(54,240)(61,132)(62,237)(63,137)(64,250)(65,223)(66,84) +(68,92)(70,226)(71,89)(73,234)(75,79)(76,212)(77,157) +(78,200)(80,190)(81,207)(82,158)(83,167)(87,146)(88,176) +(90,242)(94,244)(95,145)(96,184)(97,162)(100,183)(101,194) +(102,120)(103,191)(104,224)(105,121)(107,218)(108,125)(110,118) +(111,169)(112,195)(113,151)(115,142)(117,233)(119,230)(123,255) +(124,150)(127,251)(128,131)(133,188)(134,161)(138,175)(140,185) +(141,178)(143,168)(154,172)(160,182)(198,245)(199,246)(202,248) +(208,247)(210,235)(214,225)(220,232)(222,239)(258,433)(259,507) +(260,447)(261,459)(269,449)(270,522)(271,427)(272,471)(273,517) +(274,441)(275,278)(276,434)(277,511)(279,287)(280,284)(281,463) +(282,283)(285,425)(286,488)(288,452)(290,444)(292,457)(293,478) +(295,439)(299,482)(300,431)(303,466)(304,451)(305,453)(306,430) +(308,513)(309,310)(311,469)(314,320)(315,440)(316,445)(317,508) +(319,489)(321,426)(323,340)(326,528)(327,351)(328,337)(329,450) +(330,460)(331,515)(332,487)(333,428)(334,455)(335,342)(338,494) +(339,454)(341,432)(344,429)(346,497)(348,472)(349,486)(352,456) +(353,435)(355,521)(357,518)(358,462)(359,372)(362,383)(363,519) +(365,475)(366,437)(368,509)(370,495)(371,438)(373,448)(375,443) +(377,442)(378,499)(382,436)(384,446)(385,386)(387,388)(397,398) +(399,400)(401,404)(402,403)(405,422)(407,420)(409,417)(411,423) +(412,416)(414,419)(464,498)(473,496)(474,501)(476,527)(480,520) +(483,514)(485,510)(492,504),(1,231)(2,229)(3,247)(4,243) +(5,232)(6,239)(7,221)(8,209)(9,196)(10,193)(11,199) +(12,197)(13,186)(14,163)(15,180)(16,189)(17,130)(18,148) +(19,155)(20,133)(21,175)(22,181)(23,137)(24,144)(25,178) +(26,172)(27,165)(28,192)(29,206)(30,246)(31,152)(32,205) +(33,241)(34,179)(35,138)(36,171)(37,141)(38,227)(39,217) +(40,166)(41,237)(42,174)(43,213)(44,154)(45,135)(46,238) +(47,254)(48,211)(49,164)(50,132)(51,147)(52,208)(53,215) +(54,250)(55,220)(56,222)(57,256)(58,252)(59,129)(60,188) +(61,136)(62,201)(63,159)(64,240)(65,194)(66,182)(67,139) +(68,214)(69,203)(70,251)(71,210)(72,149)(73,255)(74,204) +(75,168)(76,195)(77,191)(78,233)(79,143)(80,162)(81,230) +(82,169)(83,183)(84,160)(85,187)(86,249)(87,142)(88,150) +(89,235)(90,224)(91,170)(92,225)(93,253)(94,218)(95,151) +(96,131)(97,190)(98,173)(99,177)(100,167)(101,223)(102,245) +(103,157)(104,242)(105,134)(106,216)(107,244)(108,140)(109,219) +(110,248)(111,158)(112,212)(113,145)(114,153)(115,146)(116,156) +(117,200)(118,202)(119,207)(120,198)(121,161)(122,228)(123,234) +(124,176)(125,185)(126,236)(127,226)(128,184)(258,352)(260,344) +(263,374)(266,354)(270,358)(272,378)(274,341)(276,334)(281,357) +(282,323)(283,340)(286,368)(289,361)(290,333)(291,322)(295,339) +(299,355)(301,343)(302,379)(303,370)(307,345)(308,365)(309,335) +(310,342)(311,363)(312,324)(315,329)(316,321)(385,409)(386,417) +(387,416)(388,412)(389,408)(392,421)(393,410)(396,415)(399,407) +(400,420)(401,422)(404,405)(426,445)(428,444)(429,447)(432,441) +(433,456)(434,455)(439,454)(440,450)(458,493)(462,522)(463,518) +(466,495)(469,519)(470,525)(471,499)(474,510)(475,513)(476,504) +(479,526)(482,521)(485,501)(488,509)(491,500)(492,527), +(2,380)(4,315)(5,335)(6,325)(7,307)(8,119)(10,71) +(12,363)(14,66)(15,322)(16,124)(18,87)(19,338)(20,114) +(21,99)(22,305)(24,313)(25,372)(26,379)(28,80)(29,308) +(31,299)(32,304)(33,375)(34,370)(35,116)(36,384)(37,359) +(38,70)(39,117)(40,318)(42,128)(43,367)(44,361)(45,84) +(46,312)(47,331)(48,76)(49,333)(54,321)(55,342)(56,350) +(58,89)(59,343)(60,98)(61,295)(62,292)(63,317)(67,314) +(69,310)(72,289)(74,298)(77,306)(78,316)(81,293)(82,303) +(85,302)(86,309)(88,349)(90,353)(91,320)(93,296)(94,365) +(96,339)(97,290)(100,382)(101,311)(102,324)(105,301)(108,360) +(110,297)(112,346)(113,355)(115,319)(118,294)(120,345)(121,291) +(123,300)(125,376)(127,329)(129,401)(130,151)(131,462)(132,158) +(134,422)(136,522)(138,156)(139,498)(140,465)(141,480)(142,148) +(144,516)(145,456)(146,487)(149,492)(150,507)(152,433)(154,527) +(155,517)(159,472)(161,405)(164,518)(166,477)(167,427)(169,441) +(170,464)(171,452)(172,476)(175,177)(176,189)(178,520)(179,432) +(180,404)(181,442)(185,503)(187,504)(190,463)(191,437)(194,215) +(195,211)(197,429)(198,399)(199,219)(201,460)(202,512)(203,389) +(204,418)(205,448)(206,434)(207,209)(212,511)(213,484)(218,455) +(220,408)(221,407)(222,395)(223,447)(224,425)(226,509)(228,246) +(229,502)(230,528)(232,421)(233,471)(234,438)(238,420)(239,394) +(240,244)(241,449)(243,488)(245,400)(248,467)(249,392)(250,499) +(253,406)(254,459)(257,275)(258,281)(259,288)(262,278)(264,280) +(267,284)(269,277)(272,276)(323,374)(326,373)(328,381)(332,377) +(337,364)(340,354)(341,358)(344,368)(385,491)(386,525)(390,496) +(391,473)(393,510)(396,485)(402,468)(403,505)(411,461)(412,479) +(416,493)(423,524)(426,475)(428,521)(439,466)(440,469)(443,497) +(446,486)(451,478)(453,489),(2,256)(3,75)(4,82)(5,182) +(6,125)(9,213)(11,134)(12,96)(14,180)(15,163)(16,171) +(17,218)(18,119)(19,90)(20,71)(21,248)(22,81)(23,159) +(25,225)(26,102)(27,104)(28,233)(29,217)(30,161)(31,200) +(33,176)(35,202)(36,189)(37,214)(38,128)(39,206)(41,191) +(43,196)(44,120)(45,129)(48,150)(49,244)(52,79)(53,111) +(54,240)(55,160)(56,108)(57,229)(59,135)(60,89)(62,157) +(63,137)(64,250)(66,232)(67,156)(68,141)(69,219)(73,234) +(76,212)(77,237)(78,192)(80,190)(84,220)(86,228)(88,211) +(91,177)(92,178)(94,130)(95,145)(97,162)(99,170)(103,201) +(105,199)(107,164)(109,203)(110,175)(112,195)(113,151)(116,139) +(117,152)(118,138)(121,246)(122,249)(123,255)(124,241)(131,197) +(133,210)(140,222)(143,208)(148,207)(154,198)(155,224)(158,215) +(165,242)(168,247)(169,243)(172,245)(181,230)(184,227)(185,239) +(188,235)(258,433)(259,507)(263,392)(265,502)(266,389)(268,484) +(269,449)(272,471)(273,285)(274,286)(275,284)(276,463)(277,452) +(278,280)(279,480)(281,434)(282,405)(283,422)(287,520)(288,511) +(290,444)(291,525)(292,430)(294,468)(295,311)(297,505)(299,445) +(300,431)(301,491)(304,319)(306,457)(308,513)(309,386)(310,385) +(314,402)(316,482)(317,508)(320,403)(321,521)(322,470)(323,404) +(327,383)(328,464)(330,437)(332,373)(333,428)(334,518)(335,417) +(337,498)(338,353)(339,363)(340,401)(341,368)(342,409)(343,500) +(346,446)(348,472)(349,486)(351,362)(352,456)(354,408)(355,426) +(357,455)(359,414)(364,512)(365,475)(366,460)(367,523)(371,438) +(372,419)(374,421)(375,443)(378,499)(380,490)(381,467)(384,497) +(387,474)(388,501)(397,514)(398,483)(399,527)(400,476)(407,492) +(411,473)(412,485)(416,510)(420,504)(423,496)(425,517)(432,509) +(435,494)(439,469)(441,488)(448,487)(451,489)(454,519), +(1,8)(2,43)(3,52)(4,12)(5,55)(6,56)(7,46) +(9,57)(10,58)(11,30)(13,51)(14,45)(15,59)(16,23) +(17,28)(18,27)(19,22)(20,60)(21,35)(24,40)(25,37) +(26,44)(29,54)(31,49)(32,47)(33,62)(34,61)(36,63) +(38,53)(39,64)(41,48)(42,50)(65,70)(66,84)(67,91) +(68,92)(69,86)(71,89)(72,85)(73,76)(74,93)(75,79) +(77,88)(78,94)(80,95)(81,90)(82,96)(83,87)(97,113) +(98,114)(99,116)(100,115)(101,127)(102,120)(103,124)(104,119) +(105,121)(106,126)(107,117)(108,125)(109,122)(110,118)(111,128) +(112,123)(129,180)(130,192)(131,169)(132,174)(133,188)(134,161) +(135,163)(136,179)(137,189)(138,175)(139,170)(140,185)(141,178) +(142,183)(143,168)(144,166)(145,190)(146,167)(147,186)(148,165) +(149,187)(150,191)(151,162)(152,164)(153,173)(154,172)(155,181) +(156,177)(157,176)(158,184)(159,171)(160,182)(193,252)(194,251) +(195,255)(196,256)(197,243)(198,245)(199,246)(200,244)(201,241) +(202,248)(203,249)(204,253)(205,254)(206,250)(207,242)(208,247) +(209,231)(210,235)(211,237)(212,234)(213,229)(214,225)(215,227) +(216,236)(217,240)(218,233)(219,228)(220,232)(221,238)(222,239) +(223,226)(224,230)(258,352)(259,348)(260,344)(261,326)(269,371) +(270,358)(271,377)(272,378)(273,332)(274,341)(276,334)(277,330) +(281,357)(285,373)(286,368)(288,366)(290,333)(292,346)(293,331) +(295,339)(299,355)(300,375)(303,370)(304,353)(305,382)(306,384) +(308,365)(311,363)(315,329)(316,321)(317,349)(319,338)(425,448) +(426,445)(427,442)(428,444)(429,447)(430,446)(431,443)(432,441) +(433,456)(434,455)(435,451)(436,453)(437,452)(438,449)(439,454) +(440,450)(457,497)(459,528)(460,511)(462,522)(463,518)(466,495) +(469,519)(471,499)(472,507)(475,513)(478,515)(482,521)(486,508) +(487,517)(488,509)(489,494),(4,509)(5,335)(6,239)(7,307) +(8,209)(10,493)(11,283)(12,363)(14,525)(15,322)(16,189) +(17,357)(18,148)(20,510)(21,175)(22,181)(26,504)(28,521) +(29,308)(30,282)(31,299)(32,205)(33,241)(34,370)(35,138) +(36,171)(38,469)(39,475)(42,466)(44,492)(45,491)(46,312) +(48,211)(49,463)(50,270)(53,286)(54,471)(55,342)(56,222) +(58,479)(59,343)(60,485)(61,462)(64,378)(65,260)(66,386) +(67,139)(69,408)(70,440)(71,416)(72,289)(76,195)(78,316) +(80,428)(81,230)(82,432)(84,385)(85,302)(86,421)(87,142) +(88,150)(89,412)(91,170)(94,434)(95,352)(96,339)(97,290) +(98,396)(99,177)(101,429)(102,420)(105,401)(107,334)(108,140) +(109,266)(110,248)(111,274)(112,212)(113,433)(114,393)(115,146) +(116,156)(117,426)(118,202)(119,207)(120,407)(121,404)(122,263) +(124,176)(125,185)(127,329)(128,439)(129,301)(130,281)(131,295) +(132,358)(133,474)(134,422)(135,500)(136,522)(145,456)(149,361) +(151,258)(152,355)(153,410)(154,527)(158,341)(160,409)(161,405) +(162,444)(163,470)(164,518)(169,441)(172,476)(173,415)(174,495) +(179,303)(180,291)(182,417)(184,454)(187,379)(188,501)(190,333) +(192,482)(193,458)(194,344)(197,311)(198,399)(199,340)(200,445) +(203,389)(206,365)(210,387)(215,368)(217,513)(218,455)(219,354) +(220,310)(221,345)(223,447)(226,315)(227,519)(228,374)(232,309) +(233,321)(235,388)(238,324)(240,272)(243,488)(244,276)(245,400) +(246,323)(249,392)(250,499)(251,450)(252,526)(257,390)(259,486) +(262,391)(264,461)(267,524)(269,443)(275,496)(277,497)(278,473) +(280,411)(284,423)(288,446)(293,528)(294,512)(297,467)(304,448) +(305,442)(314,498)(319,487)(320,464)(325,394)(326,478)(328,403) +(332,489)(337,402)(346,511)(349,507)(350,395)(360,465)(364,468) +(373,451)(375,449)(376,503)(377,453)(381,505)(384,452), +(1,104)(3,126)(8,119)(9,68)(10,71)(11,109)(13,75) +(14,66)(16,124)(17,95)(18,87)(20,114)(21,99)(23,103) +(27,83)(28,80)(30,122)(35,116)(38,70)(39,117)(41,73) +(42,128)(45,84)(48,76)(50,111)(51,79)(52,106)(53,65) +(57,92)(58,89)(60,98)(64,107)(130,151)(132,158)(133,153) +(135,160)(137,157)(138,156)(142,148)(143,147)(162,192)(163,182) +(165,183)(168,186)(173,188)(174,184)(175,177)(176,189)(193,210) +(194,215)(195,211)(196,214)(199,219)(200,217)(207,209)(208,216) +(225,256)(227,251)(228,246)(231,242)(235,252)(236,247)(237,255) +(240,244)(257,275)(258,281)(259,288)(260,286)(261,285)(262,278) +(263,282)(264,280)(265,287)(266,283)(267,284)(268,279)(269,277) +(270,274)(271,273)(272,276)(323,374)(326,373)(327,369)(328,381) +(330,371)(332,377)(334,378)(336,383)(337,364)(340,354)(341,358) +(344,368)(347,362)(348,366)(351,356)(352,357)(385,491)(386,525) +(387,458)(388,526)(390,496)(391,473)(393,510)(396,485)(397,506) +(398,481)(402,468)(403,505)(409,500)(410,474)(411,461)(412,479) +(413,483)(414,523)(415,501)(416,493)(417,470)(419,490)(423,524) +(424,514)(426,475)(428,521)(430,508)(431,457)(435,515)(436,494) +(439,466)(440,469)(443,497)(444,482)(445,513)(446,486)(450,519) +(451,478)(453,489)(454,495),(1,83)(2,91)(3,75)(4,82) +(5,121)(6,125)(7,72)(8,87)(9,116)(10,114)(11,84) +(12,96)(13,126)(14,122)(15,86)(16,73)(17,117)(18,119) +(19,90)(20,71)(21,92)(22,81)(23,76)(24,74)(25,110) +(26,102)(27,104)(28,107)(29,113)(30,66)(31,94)(32,115) +(33,77)(34,127)(35,68)(36,123)(37,118)(38,128)(39,95) +(40,93)(41,124)(42,70)(43,67)(44,120)(45,109)(46,85) +(47,100)(48,103)(49,78)(50,65)(51,106)(52,79)(53,111) +(54,97)(55,105)(56,108)(57,99)(58,98)(59,69)(60,89) +(61,101)(62,88)(63,112)(64,80)(129,203)(130,200)(131,197) +(132,194)(133,210)(134,220)(135,219)(136,223)(137,195)(138,214) +(139,213)(140,222)(141,202)(142,209)(143,208)(144,204)(145,206) +(146,205)(147,216)(148,207)(149,221)(150,201)(151,217)(152,218) +(153,193)(154,198)(155,224)(156,196)(157,211)(158,215)(159,212) +(160,199)(161,232)(162,240)(163,228)(164,233)(165,242)(166,253) +(167,254)(168,247)(169,243)(170,229)(171,234)(172,245)(173,252) +(174,251)(175,225)(176,237)(177,256)(178,248)(179,226)(180,249) +(181,230)(182,246)(183,231)(184,227)(185,239)(186,236)(187,238) +(188,235)(189,255)(190,250)(191,241)(192,244)(258,352)(259,348) +(263,374)(265,381)(266,354)(268,364)(269,371)(272,378)(276,334) +(277,330)(279,337)(281,357)(282,323)(283,340)(287,328)(288,366) +(290,333)(291,322)(292,346)(294,367)(297,380)(299,355)(300,375) +(301,343)(306,384)(308,365)(309,335)(310,342)(314,359)(316,321) +(317,349)(320,372)(385,409)(386,417)(389,408)(392,421)(401,422) +(402,414)(403,419)(404,405)(426,445)(428,444)(430,446)(431,443) +(433,456)(434,455)(437,452)(438,449)(457,497)(460,511)(463,518) +(464,520)(467,502)(468,523)(470,525)(471,499)(472,507)(475,513) +(480,498)(482,521)(484,512)(486,508)(490,505)(491,500), +(1,261)(4,311)(6,56)(8,326)(10,58)(12,363)(14,45) +(16,259)(17,357)(18,332)(19,338)(20,60)(21,35)(22,319) +(23,348)(26,44)(27,273)(28,281)(29,308)(31,299)(32,293) +(33,346)(34,370)(36,349)(38,368)(39,272)(41,330)(42,358) +(47,331)(48,277)(49,355)(50,270)(53,286)(54,365)(61,303) +(62,292)(63,317)(64,378)(65,260)(66,84)(67,91)(69,86) +(70,344)(71,89)(73,371)(76,269)(77,306)(78,316)(80,258) +(81,304)(82,295)(83,271)(87,377)(88,384)(90,353)(94,321) +(95,352)(96,339)(97,290)(98,114)(99,116)(100,382)(101,315) +(102,120)(103,366)(104,285)(105,121)(107,334)(108,125)(110,118) +(111,274)(112,375)(113,333)(115,305)(117,276)(119,373)(123,300) +(124,288)(127,329)(128,341)(129,180)(130,521)(131,432)(132,466) +(136,522)(137,508)(138,175)(139,170)(140,185)(142,453)(145,456) +(146,442)(148,489)(149,187)(150,452)(151,428)(152,463)(155,517) +(156,177)(157,430)(158,439)(159,472)(162,444)(164,518)(165,494) +(167,427)(169,441)(171,507)(174,495)(176,446)(179,462)(181,487) +(183,436)(184,454)(189,486)(190,433)(191,437)(192,482)(194,440) +(195,443)(197,509)(199,246)(200,445)(201,460)(202,248)(205,528) +(206,471)(207,451)(209,478)(211,497)(212,449)(215,469)(217,513) +(218,455)(219,228)(220,232)(221,238)(222,239)(223,447)(224,425) +(226,429)(227,519)(230,448)(231,515)(233,434)(234,438)(237,457) +(240,475)(241,511)(242,435)(243,488)(244,426)(250,499)(251,450) +(254,459)(255,431)(257,262)(264,267)(275,278)(280,284)(291,301) +(294,297)(309,310)(314,320)(323,340)(324,345)(325,350)(328,337) +(354,374)(360,376)(361,379)(364,381)(385,386)(390,391)(393,396) +(394,395)(401,404)(402,403)(407,420)(408,421)(411,423)(412,416) +(461,524)(464,498)(465,503)(467,512)(468,505)(473,496)(479,493) +(485,510)(491,525)(492,504),(2,229)(4,226)(5,249)(6,239) +(7,198)(10,71)(11,109)(12,223)(14,66)(15,161)(17,95) +(19,155)(20,114)(22,181)(24,144)(25,178)(26,187)(28,80) +(29,218)(30,122)(31,145)(32,205)(33,241)(34,169)(36,171) +(37,141)(38,70)(39,117)(40,166)(42,128)(43,213)(44,149) +(45,84)(46,245)(47,254)(49,190)(50,111)(53,65)(54,233) +(55,203)(56,222)(58,89)(59,134)(60,98)(61,131)(62,201) +(63,159)(64,107)(67,139)(69,220)(72,154)(74,204)(77,191) +(78,250)(81,230)(82,179)(85,172)(86,232)(88,150)(90,224) +(91,170)(93,253)(94,206)(96,136)(97,164)(100,167)(101,197) +(102,238)(105,129)(108,140)(110,248)(112,212)(113,152)(115,146) +(118,202)(120,221)(121,180)(123,234)(125,185)(127,243)(130,151) +(132,158)(133,153)(135,160)(162,192)(163,182)(173,188)(174,184) +(193,210)(194,215)(199,219)(200,217)(227,251)(228,246)(235,252) +(240,244)(258,281)(260,286)(263,282)(266,283)(270,274)(272,276) +(289,527)(290,518)(291,404)(292,460)(293,528)(294,512)(295,462) +(296,406)(297,467)(298,418)(299,456)(300,438)(301,401)(302,476) +(303,432)(304,448)(305,442)(306,437)(307,399)(308,455)(309,421) +(310,408)(311,429)(312,400)(313,516)(314,498)(315,509)(316,499) +(317,472)(318,477)(319,487)(320,464)(321,471)(322,405)(323,374) +(324,420)(325,394)(329,488)(331,459)(333,463)(334,378)(335,392) +(338,517)(339,522)(340,354)(341,358)(342,389)(343,422)(344,368) +(345,407)(346,511)(349,507)(350,395)(352,357)(353,425)(355,433) +(359,480)(360,465)(361,492)(363,447)(365,434)(367,484)(370,441) +(372,520)(375,449)(376,503)(379,504)(380,502)(382,427)(384,452) +(385,491)(386,525)(387,458)(388,526)(393,510)(396,485)(409,500) +(410,474)(412,479)(415,501)(416,493)(417,470)(426,475)(428,521) +(439,466)(440,469)(444,482)(445,513)(450,519)(454,495), +(2,380)(4,82)(5,335)(6,125)(8,87)(9,268)(10,114) +(11,283)(14,374)(15,322)(16,269)(17,357)(18,119)(20,71) +(21,328)(22,81)(23,348)(25,372)(26,102)(28,276)(29,308) +(30,282)(31,299)(32,115)(33,384)(35,337)(36,375)(37,359) +(38,128)(39,258)(41,330)(42,70)(43,367)(44,120)(45,354) +(48,288)(49,321)(54,333)(55,342)(56,108)(57,265)(58,98) +(59,343)(60,89)(61,101)(62,292)(63,317)(64,378)(66,323) +(67,294)(68,279)(69,301)(73,371)(76,259)(77,306)(78,316) +(80,272)(84,340)(86,291)(88,346)(91,297)(92,287)(94,355) +(95,352)(97,290)(99,381)(103,366)(105,310)(107,334)(109,266) +(110,320)(112,349)(113,365)(116,364)(117,281)(118,314)(121,309) +(122,263)(123,300)(124,277)(129,408)(130,426)(131,197)(132,194) +(134,422)(135,500)(137,508)(138,402)(139,512)(140,222)(141,480) +(142,209)(145,456)(146,205)(148,207)(149,221)(150,511)(151,475) +(152,434)(156,468)(157,430)(158,215)(159,472)(160,409)(161,405) +(162,444)(163,470)(164,518)(170,467)(171,449)(175,403)(176,497) +(177,505)(178,520)(179,226)(180,421)(181,230)(182,417)(185,239) +(187,238)(189,443)(190,471)(191,437)(192,482)(195,486)(196,523) +(199,385)(200,445)(201,460)(202,498)(203,389)(206,433)(211,446) +(212,507)(213,484)(214,414)(217,513)(218,455)(219,491)(220,401) +(225,419)(228,525)(229,502)(232,404)(233,463)(234,438)(237,457) +(240,428)(241,452)(244,521)(246,386)(248,464)(249,392)(250,499) +(255,431)(256,490)(257,267)(262,264)(275,284)(278,280)(293,305) +(295,311)(303,315)(304,319)(324,379)(325,376)(326,377)(332,373) +(341,368)(344,358)(345,361)(350,360)(390,524)(391,461)(393,493) +(394,503)(395,465)(396,479)(407,492)(411,473)(412,485)(416,510) +(420,504)(423,496)(429,462)(432,509)(439,469)(440,466)(442,528) +(448,487)(451,489)(453,478),(1,104)(2,43)(4,101)(5,55) +(6,56)(7,46)(8,119)(12,127)(15,59)(16,124)(17,95) +(18,87)(19,100)(22,115)(23,103)(24,40)(25,37)(26,44) +(27,83)(28,80)(29,78)(31,97)(32,81)(33,112)(34,96) +(36,88)(38,70)(39,117)(41,73)(42,128)(47,90)(48,76) +(49,113)(50,111)(53,65)(54,94)(61,82)(62,123)(63,77) +(64,107)(67,91)(69,86)(72,85)(74,93)(102,120)(105,121) +(108,125)(110,118)(129,180)(130,151)(131,179)(132,158)(134,161) +(136,169)(137,157)(139,170)(140,185)(141,178)(142,148)(144,166) +(145,164)(146,181)(149,187)(150,171)(152,190)(154,172)(155,167) +(159,191)(162,192)(165,183)(174,184)(176,189)(194,215)(195,211) +(197,226)(198,245)(200,217)(201,234)(202,248)(203,249)(204,253) +(205,230)(206,233)(207,209)(212,241)(213,229)(218,250)(220,232) +(221,238)(222,239)(223,243)(224,254)(227,251)(231,242)(237,255) +(240,244)(258,281)(259,288)(260,286)(261,285)(269,277)(270,274) +(271,273)(272,276)(289,302)(290,299)(291,301)(292,300)(293,304) +(294,297)(295,303)(296,298)(305,319)(306,317)(307,312)(308,316) +(309,310)(311,315)(313,318)(314,320)(321,365)(322,343)(324,345) +(325,350)(326,373)(329,363)(330,371)(331,353)(332,377)(333,355) +(334,378)(335,342)(338,382)(339,370)(341,358)(344,368)(346,375) +(348,366)(349,384)(352,357)(359,372)(360,376)(361,379)(367,380) +(389,392)(394,395)(399,400)(401,404)(405,422)(406,418)(407,420) +(408,421)(425,459)(426,475)(427,517)(428,521)(429,509)(430,508) +(431,457)(432,462)(433,463)(434,471)(435,515)(436,494)(437,472) +(438,460)(439,466)(440,469)(441,522)(442,487)(443,497)(444,482) +(445,513)(446,486)(447,488)(448,528)(449,511)(450,519)(451,478) +(452,507)(453,489)(454,495)(455,499)(456,518)(464,498)(465,503) +(467,512)(476,527)(477,516)(480,520)(484,502)(492,504), +(1,231)(2,229)(3,247)(6,239)(8,209)(9,196)(13,186) +(16,189)(18,148)(19,155)(21,175)(22,181)(23,137)(24,144) +(25,178)(27,165)(32,205)(33,241)(35,138)(36,171)(37,141) +(40,166)(41,237)(43,213)(47,254)(48,211)(51,147)(52,208) +(56,222)(57,256)(62,201)(63,159)(67,139)(68,214)(73,255) +(74,204)(75,168)(76,195)(77,191)(79,143)(81,230)(83,183) +(87,142)(88,150)(90,224)(91,170)(92,225)(93,253)(99,177) +(100,167)(103,157)(104,242)(106,216)(108,140)(110,248)(112,212) +(115,146)(116,156)(118,202)(119,207)(123,234)(124,176)(125,185) +(126,236)(257,390)(259,486)(261,515)(262,391)(264,461)(265,490) +(267,524)(268,523)(269,443)(271,436)(273,494)(275,496)(277,497) +(278,473)(279,414)(280,411)(284,423)(285,435)(287,419)(288,446) +(292,460)(293,528)(294,512)(296,406)(297,467)(298,418)(300,438) +(304,448)(305,442)(306,437)(313,516)(314,498)(317,472)(318,477) +(319,487)(320,464)(325,394)(326,478)(327,397)(328,403)(330,457) +(331,459)(332,489)(336,424)(337,402)(338,517)(346,511)(347,413) +(348,508)(349,507)(350,395)(351,398)(353,425)(356,481)(359,480) +(360,465)(362,483)(364,468)(366,430)(367,484)(369,506)(371,431) +(372,520)(373,451)(375,449)(376,503)(377,453)(380,502)(381,505) +(382,427)(383,514)(384,452),(2,25)(4,82)(5,15)(6,125) +(7,72)(9,68)(11,109)(12,96)(14,66)(16,124)(17,95) +(19,90)(21,99)(22,81)(23,103)(24,74)(26,102)(28,80) +(29,31)(30,122)(32,115)(33,36)(34,127)(35,116)(37,43) +(39,117)(40,93)(41,73)(44,120)(45,84)(46,85)(47,100) +(48,76)(49,54)(55,59)(56,108)(57,92)(61,101)(62,63) +(64,107)(67,118)(69,105)(77,123)(78,97)(86,121)(88,112) +(91,110)(94,113)(129,220)(130,151)(131,197)(134,203)(135,160) +(136,223)(137,157)(138,156)(139,202)(140,222)(141,213)(144,204) +(145,218)(146,205)(149,221)(150,212)(152,206)(154,198)(155,224) +(159,201)(161,249)(162,192)(163,182)(164,250)(166,253)(167,254) +(169,243)(170,248)(171,241)(172,245)(175,177)(176,189)(178,229) +(179,226)(180,232)(181,230)(185,239)(187,238)(190,233)(191,234) +(195,211)(196,214)(199,219)(200,217)(225,256)(228,246)(237,255) +(240,244)(258,281)(259,288)(263,282)(265,287)(266,283)(268,279) +(269,277)(272,276)(289,307)(290,316)(291,309)(292,317)(293,305) +(294,314)(295,311)(296,318)(297,320)(298,313)(299,308)(300,306) +(301,310)(302,312)(303,315)(304,319)(321,333)(322,335)(323,374) +(324,379)(325,376)(328,381)(329,370)(330,371)(331,382)(334,378) +(337,364)(338,353)(339,363)(340,354)(342,343)(345,361)(346,349) +(348,366)(350,360)(352,357)(355,365)(359,367)(372,380)(375,384) +(385,491)(386,525)(389,422)(392,405)(394,503)(395,465)(399,527) +(400,476)(401,408)(402,468)(403,505)(404,421)(406,477)(407,492) +(409,500)(414,523)(417,470)(418,516)(419,490)(420,504)(425,517) +(426,475)(427,459)(428,521)(429,462)(430,508)(431,457)(432,509) +(433,434)(437,438)(441,488)(442,528)(443,497)(444,482)(445,513) +(446,486)(447,522)(448,487)(449,452)(455,456)(460,472)(463,471) +(464,467)(480,484)(498,512)(499,518)(502,520)(507,511), +(1,231)(4,197)(5,55)(7,46)(8,209)(10,58)(11,30) +(12,243)(14,45)(15,59)(16,189)(17,192)(18,148)(19,155) +(20,60)(22,181)(23,137)(26,44)(27,165)(28,130)(29,250) +(31,164)(32,205)(33,241)(34,136)(36,171)(38,215)(39,240) +(41,237)(42,132)(47,254)(48,211)(49,152)(50,174)(53,227) +(54,206)(61,179)(62,201)(63,159)(64,217)(65,251)(66,84) +(69,86)(70,194)(71,89)(72,85)(73,255)(76,195)(77,191) +(78,218)(80,151)(81,230)(82,131)(83,183)(87,142)(88,150) +(90,224)(94,233)(95,162)(96,169)(97,145)(98,114)(100,167) +(101,226)(102,120)(103,157)(104,242)(105,121)(107,200)(109,122) +(111,184)(112,212)(113,190)(115,146)(117,244)(119,207)(123,234) +(124,176)(127,223)(128,158)(129,180)(133,188)(134,161)(135,163) +(149,187)(153,173)(154,172)(160,182)(193,252)(198,245)(199,246) +(203,249)(210,235)(219,228)(220,232)(221,238)(258,428)(259,486) +(260,450)(261,515)(263,266)(269,443)(270,495)(271,436)(272,475) +(273,494)(274,454)(276,426)(277,497)(281,521)(282,283)(285,435) +(286,519)(288,446)(289,302)(290,456)(291,301)(292,460)(293,528) +(295,432)(299,518)(300,438)(303,462)(304,448)(305,442)(306,437) +(307,312)(308,499)(309,310)(311,509)(315,429)(316,455)(317,472) +(319,487)(321,434)(322,343)(323,340)(324,345)(326,478)(329,447) +(330,457)(331,459)(332,489)(333,433)(334,445)(335,342)(338,517) +(339,441)(341,439)(344,440)(346,511)(348,508)(349,507)(352,444) +(353,425)(354,374)(355,463)(357,482)(358,466)(361,379)(363,488) +(365,471)(366,430)(368,469)(370,522)(371,431)(373,451)(375,449) +(377,453)(378,513)(382,427)(384,452)(385,386)(387,388)(389,392) +(393,396)(399,400)(401,404)(405,422)(407,420)(408,421)(409,417) +(410,415)(412,416)(458,526)(470,500)(474,501)(476,527)(479,493) +(485,510)(491,525)(492,504),(2,229)(4,82)(5,161)(7,72) +(9,196)(10,114)(11,160)(12,96)(14,228)(15,249)(16,189) +(17,200)(20,71)(21,175)(23,137)(25,178)(26,102)(28,244) +(29,145)(30,182)(31,218)(33,241)(34,127)(35,138)(36,171) +(37,141)(38,128)(39,151)(41,237)(42,70)(43,213)(44,120) +(45,219)(46,85)(48,211)(49,233)(50,65)(53,111)(54,190) +(55,134)(57,256)(58,98)(59,203)(60,89)(61,101)(62,201) +(63,159)(64,162)(66,246)(67,139)(68,214)(69,129)(73,255) +(76,195)(77,191)(78,164)(80,240)(84,199)(86,180)(88,150) +(91,170)(92,225)(94,152)(95,217)(97,250)(99,177)(103,157) +(105,220)(107,192)(109,135)(110,248)(112,212)(113,206)(116,156) +(117,130)(118,202)(121,232)(122,163)(123,234)(124,176)(131,197) +(132,194)(133,210)(136,223)(149,221)(153,193)(154,198)(158,215) +(169,243)(172,245)(173,252)(174,251)(179,226)(184,227)(187,238) +(188,235)(258,475)(259,486)(260,270)(263,470)(265,490)(266,500) +(268,523)(269,443)(272,428)(274,286)(276,521)(277,497)(279,414) +(281,426)(282,417)(283,409)(287,419)(288,446)(289,307)(290,499) +(291,421)(292,460)(294,512)(295,311)(297,467)(299,455)(300,438) +(301,408)(302,312)(303,315)(306,437)(308,456)(309,404)(310,401) +(314,498)(316,518)(317,472)(320,464)(321,463)(322,392)(323,386) +(324,379)(328,403)(329,370)(330,457)(333,471)(334,482)(335,405) +(337,402)(339,363)(340,385)(341,368)(342,422)(343,389)(344,358) +(345,361)(346,511)(348,508)(349,507)(352,513)(354,491)(355,434) +(357,445)(359,480)(364,468)(365,433)(366,430)(367,484)(371,431) +(372,520)(374,525)(375,449)(378,444)(380,502)(381,505)(384,452) +(387,474)(388,501)(393,493)(396,479)(399,527)(400,476)(407,492) +(410,458)(412,485)(415,526)(416,510)(420,504)(429,462)(432,509) +(439,469)(440,466)(441,488)(447,522)(450,495)(454,519), +(2,43)(3,52)(5,55)(6,56)(7,46)(9,57)(10,58) +(11,30)(13,51)(14,45)(15,59)(20,60)(21,35)(24,40) +(25,37)(26,44)(66,84)(67,91)(68,92)(69,86)(71,89) +(72,85)(74,93)(75,79)(98,114)(99,116)(102,120)(105,121) +(106,126)(108,125)(109,122)(110,118)(129,180)(133,188)(134,161) +(135,163)(138,175)(139,170)(140,185)(141,178)(143,168)(144,166) +(147,186)(149,187)(153,173)(154,172)(156,177)(160,182)(193,252) +(196,256)(198,245)(199,246)(202,248)(203,249)(204,253)(208,247) +(210,235)(213,229)(214,225)(216,236)(219,228)(220,232)(221,238) +(222,239)(257,262)(263,266)(264,267)(265,268)(275,278)(279,287) +(280,284)(282,283)(289,302)(291,301)(294,297)(296,298)(307,312) +(309,310)(313,318)(314,320)(322,343)(323,340)(324,345)(325,350) +(327,351)(328,337)(335,342)(336,347)(354,374)(356,369)(359,372) +(360,376)(361,379)(362,383)(364,381)(367,380)(385,386)(387,388) +(389,392)(390,391)(393,396)(394,395)(397,398)(399,400)(401,404) +(402,403)(405,422)(406,418)(407,420)(408,421)(409,417)(410,415) +(411,423)(412,416)(413,424)(414,419)(458,526)(461,524)(464,498) +(465,503)(467,512)(468,505)(470,500)(473,496)(474,501)(476,527) +(477,516)(479,493)(480,520)(481,506)(483,514)(484,502)(485,510) +(490,523)(491,525)(492,504),(1,83)(2,43)(4,82)(5,55) +(8,87)(9,57)(11,30)(12,96)(14,45)(15,59)(16,76) +(17,107)(18,119)(19,90)(21,35)(22,81)(23,73)(25,37) +(27,104)(28,117)(29,97)(31,78)(32,115)(33,88)(34,127) +(36,112)(38,128)(39,80)(41,103)(42,70)(47,100)(48,124) +(49,94)(50,65)(53,111)(54,113)(61,101)(62,77)(63,123) +(64,95)(66,84)(67,91)(68,92)(69,86)(99,116)(105,121) +(109,122)(110,118)(129,180)(130,244)(131,197)(132,194)(134,161) +(135,163)(136,223)(137,255)(138,175)(139,170)(141,178)(142,209) +(145,250)(146,205)(148,207)(150,241)(151,240)(152,233)(155,224) +(156,177)(157,237)(158,215)(159,234)(160,182)(162,217)(164,218) +(165,242)(167,254)(169,243)(171,212)(174,251)(176,211)(179,226) +(181,230)(183,231)(184,227)(189,195)(190,206)(191,201)(192,200) +(196,256)(199,246)(202,248)(203,249)(213,229)(214,225)(219,228) +(220,232)(258,272)(259,269)(260,270)(261,271)(263,266)(265,268) +(273,285)(274,286)(276,281)(277,288)(279,287)(282,283)(290,308) +(291,301)(292,306)(293,305)(294,297)(295,311)(299,316)(300,317) +(303,315)(304,319)(309,310)(314,320)(321,355)(322,343)(323,340) +(326,377)(328,337)(329,370)(330,366)(331,382)(332,373)(333,365) +(334,357)(335,342)(338,353)(339,363)(341,368)(344,358)(346,384) +(348,371)(349,375)(352,378)(354,374)(359,372)(364,381)(367,380) +(385,386)(389,392)(401,404)(402,403)(405,422)(408,421)(409,417) +(414,419)(425,517)(426,521)(427,459)(428,475)(429,462)(430,457) +(431,508)(432,509)(433,471)(434,463)(435,494)(436,515)(437,460) +(438,472)(439,469)(440,466)(441,488)(442,528)(443,486)(444,513) +(445,482)(446,497)(447,522)(448,487)(449,507)(450,495)(451,489) +(452,511)(453,478)(454,519)(455,518)(456,499)(464,498)(467,512) +(468,505)(470,500)(480,520)(484,502)(490,523)(491,525), +(1,83)(3,75)(4,82)(6,125)(7,72)(8,87)(10,114) +(12,96)(13,126)(18,119)(19,90)(20,71)(22,81)(24,74) +(26,102)(27,104)(32,115)(34,127)(38,128)(40,93)(42,70) +(44,120)(46,85)(47,100)(50,65)(51,106)(52,79)(53,111) +(56,108)(58,98)(60,89)(61,101)(131,197)(132,194)(133,210) +(136,223)(140,222)(142,209)(143,208)(144,204)(146,205)(147,216) +(148,207)(149,221)(153,193)(154,198)(155,224)(158,215)(165,242) +(166,253)(167,254)(168,247)(169,243)(172,245)(173,252)(174,251) +(179,226)(181,230)(183,231)(184,227)(185,239)(186,236)(187,238) +(188,235)(257,267)(260,270)(261,271)(262,264)(273,285)(274,286) +(275,284)(278,280)(289,307)(293,305)(295,311)(296,318)(298,313) +(302,312)(303,315)(304,319)(324,379)(325,376)(326,377)(327,383) +(329,370)(331,382)(332,373)(336,369)(338,353)(339,363)(341,368) +(344,358)(345,361)(347,356)(350,360)(351,362)(387,474)(388,501) +(390,524)(391,461)(393,493)(394,503)(395,465)(396,479)(397,514) +(398,483)(399,527)(400,476)(406,477)(407,492)(410,458)(411,473) +(412,485)(413,481)(415,526)(416,510)(418,516)(420,504)(423,496) +(424,506)(425,517)(427,459)(429,462)(432,509)(435,494)(436,515) +(439,469)(440,466)(441,488)(442,528)(447,522)(448,487)(450,495) +(451,489)(453,478)(454,519),(1,326)(2,297)(3,278)(5,309) +(7,345)(9,364)(11,340)(12,311)(13,264)(15,291)(17,281) +(19,319)(23,259)(24,360)(25,320)(27,332)(29,365)(30,323) +(31,355)(34,303)(37,314)(40,376)(41,277)(43,294)(46,324) +(47,293)(50,358)(51,267)(52,275)(53,368)(55,310)(57,381) +(59,301)(62,346)(63,349)(64,272)(65,344)(68,337)(72,361) +(73,269)(74,350)(75,280)(77,384)(78,321)(79,284)(83,377) +(85,379)(90,304)(92,328)(93,325)(95,258)(96,295)(97,333) +(100,305)(103,288)(104,373)(106,257)(107,276)(109,354)(111,341) +(122,374)(123,375)(126,262)(127,315)(133,510)(134,401)(135,491) +(136,462)(137,486)(141,498)(143,423)(144,465)(145,433)(147,524) +(153,393)(154,492)(155,487)(157,446)(159,507)(160,385)(161,404) +(162,428)(163,525)(164,463)(165,489)(166,503)(167,442)(168,411) +(169,432)(172,504)(173,396)(174,466)(178,464)(182,386)(183,453) +(184,439)(186,461)(188,485)(191,452)(192,521)(193,493)(196,468) +(198,407)(200,426)(201,511)(203,408)(204,395)(208,496)(210,416) +(213,512)(214,402)(216,390)(217,475)(218,434)(223,429)(224,448) +(225,403)(227,469)(229,467)(231,478)(234,449)(235,412)(236,391) +(237,497)(242,451)(243,509)(245,420)(247,473)(249,421)(250,471) +(251,440)(252,479)(253,394)(254,528)(255,443)(256,505), +(1,285)(2,403)(5,246)(7,416)(8,425)(9,279)(10,399) +(12,215)(13,327)(14,405)(15,386)(16,437)(18,155)(19,148) +(20,154)(21,178)(23,366)(24,423)(25,175)(28,164)(29,426) +(31,130)(32,304)(34,439)(35,141)(36,384)(37,138)(38,243) +(39,455)(40,411)(42,441)(43,402)(45,422)(46,412)(47,451) +(48,201)(50,274)(51,351)(54,321)(55,199)(57,287)(58,400) +(59,385)(60,172)(61,295)(62,211)(63,446)(64,334)(65,286) +(66,161)(67,314)(69,310)(70,488)(71,198)(72,510)(73,330) +(74,496)(76,460)(77,176)(78,244)(80,518)(83,273)(84,134) +(85,485)(86,309)(87,517)(89,245)(90,207)(91,320)(93,473) +(95,357)(96,158)(97,521)(98,476)(99,520)(100,489)(101,311) +(106,362)(109,283)(112,346)(113,355)(114,527)(115,319)(116,480) +(117,218)(119,224)(122,282)(123,497)(124,191)(126,383)(127,469) +(128,169)(129,401)(132,339)(135,409)(136,341)(137,430)(139,498) +(142,338)(144,284)(145,281)(146,487)(147,398)(149,492)(151,299) +(153,474)(156,359)(159,288)(162,482)(163,417)(166,280)(167,332) +(170,464)(171,452)(173,501)(174,454)(177,372)(179,432)(180,404) +(183,494)(186,397)(187,504)(189,306)(190,463)(193,387)(194,363) +(195,292)(196,414)(203,340)(204,275)(205,448)(206,434)(209,353) +(212,511)(213,337)(216,483)(217,445)(219,342)(221,407)(223,368) +(226,509)(228,335)(229,328)(231,435)(234,277)(236,514)(238,420) +(240,316)(249,323)(250,276)(251,519)(252,388)(253,278)(254,373) +(255,457)(256,419)(257,418)(258,456)(259,472)(262,406)(264,477) +(267,516)(269,438)(272,499)(289,393)(290,428)(296,391)(298,390) +(300,443)(302,396)(307,493)(308,475)(312,479)(313,524)(317,486) +(318,461)(322,525)(326,459)(329,440)(331,478)(343,491)(344,447) +(354,389)(358,522)(364,484)(367,468)(370,466)(374,392)(377,427) +(380,505)(381,502)(382,453),(2,122)(3,236)(4,226)(6,89) +(9,214)(10,222)(11,213)(12,223)(14,91)(15,161)(16,176) +(17,159)(18,142)(19,111)(20,108)(22,128)(23,157)(24,133) +(25,163)(26,187)(27,183)(28,171)(29,218)(30,229)(32,215) +(33,240)(36,80)(37,135)(38,81)(39,112)(40,188)(42,181) +(43,109)(44,149)(45,67)(47,227)(50,155)(52,216)(53,90) +(54,233)(56,71)(57,225)(58,239)(59,134)(60,125)(62,217) +(63,95)(64,123)(65,224)(66,170)(69,220)(70,230)(73,237) +(74,210)(75,186)(76,211)(77,162)(79,147)(82,179)(84,139) +(86,232)(88,151)(93,235)(96,136)(97,164)(98,185)(99,175) +(100,184)(102,238)(104,231)(107,234)(110,228)(113,152)(114,140) +(115,158)(116,138)(117,212)(118,219)(119,209)(120,221)(130,150) +(132,146)(141,160)(144,153)(166,173)(167,174)(178,182)(191,192) +(193,204)(194,205)(199,202)(200,201)(241,244)(246,248)(251,254) +(252,253)(258,349)(259,446)(260,425)(263,380)(265,419)(266,367) +(268,414)(269,497)(270,517)(272,375)(273,436)(274,338)(275,390) +(276,449)(278,391)(280,461)(281,507)(282,502)(283,484)(284,524) +(285,515)(286,353)(290,518)(291,404)(292,513)(293,469)(294,354) +(295,462)(296,388)(297,374)(298,387)(300,378)(301,401)(304,368) +(305,439)(306,444)(308,455)(311,429)(313,474)(314,491)(317,352) +(318,501)(319,341)(320,525)(322,405)(323,467)(325,412)(327,506) +(331,519)(332,453)(333,463)(334,438)(339,522)(340,512)(343,422) +(344,448)(346,475)(348,430)(350,416)(351,481)(357,472)(358,487) +(359,500)(360,510)(362,413)(363,447)(364,402)(365,434)(371,457) +(372,470)(373,478)(376,485)(381,403)(382,454)(383,424)(384,428) +(385,498)(386,464)(393,465)(394,479)(395,493)(396,503)(406,526) +(409,480)(410,516)(415,477)(417,520)(418,458)(426,511)(427,495) +(437,482)(440,528)(442,466)(445,460)(450,459)(452,521), +(1,252)(5,62)(6,222)(7,47)(8,58)(10,209)(11,41) +(12,243)(14,189)(15,63)(16,45)(17,192)(18,60)(19,154) +(20,148)(21,138)(22,44)(23,135)(26,181)(27,188)(30,237) +(32,221)(33,232)(36,180)(37,178)(38,215)(39,240)(40,144) +(42,132)(43,229)(46,254)(48,199)(49,152)(51,186)(52,247) +(54,206)(55,201)(57,196)(59,159)(61,179)(66,176)(67,170) +(69,212)(70,194)(71,207)(72,100)(73,109)(76,219)(77,161) +(78,218)(79,168)(81,120)(83,173)(84,124)(85,167)(86,112) +(87,98)(88,121)(89,119)(90,198)(92,214)(93,204)(95,162) +(96,169)(97,145)(99,156)(101,226)(102,230)(103,160)(104,235) +(105,150)(106,236)(114,142)(115,149)(117,244)(118,248)(122,255) +(123,249)(125,140)(128,158)(129,171)(133,165)(134,191)(137,163) +(146,187)(153,183)(155,172)(157,182)(193,231)(195,228)(203,234) +(205,238)(210,242)(211,246)(220,241)(224,245)(257,391)(258,428) +(259,491)(261,526)(263,431)(265,523)(266,371)(267,461)(269,354) +(271,415)(273,501)(275,473)(277,340)(281,521)(282,457)(283,330) +(284,411)(285,388)(287,414)(288,385)(289,382)(290,456)(291,349) +(292,335)(293,345)(294,467)(295,432)(296,418)(300,392)(301,507) +(302,427)(304,407)(305,361)(306,405)(307,331)(309,346)(310,511) +(311,509)(312,459)(314,464)(316,455)(317,322)(318,516)(319,492) +(321,434)(323,497)(324,528)(325,395)(326,479)(328,402)(332,485) +(333,433)(338,527)(339,441)(342,460)(343,472)(347,424)(348,500) +(351,397)(352,444)(353,399)(356,506)(357,482)(359,520)(362,514) +(363,488)(366,409)(367,502)(373,412)(374,443)(375,421)(376,465) +(377,396)(379,442)(381,468)(384,404)(386,446)(387,435)(389,438) +(393,453)(400,425)(401,452)(408,449)(410,436)(416,451)(417,430) +(420,448)(422,437)(458,515)(470,508)(474,494)(476,517)(478,493) +(486,525)(487,504)(489,510),(1,256)(2,254)(4,232)(5,243) +(7,85)(8,177)(9,183)(10,98)(11,184)(12,161)(13,106) +(14,194)(15,223)(16,76)(18,138)(19,141)(21,207)(22,202) +(25,224)(26,120)(27,214)(28,117)(29,97)(30,227)(32,170) +(34,203)(35,148)(36,112)(37,155)(38,246)(39,80)(40,74) +(42,219)(43,167)(45,132)(47,229)(48,124)(49,94)(50,135) +(52,75)(53,182)(55,169)(56,125)(57,231)(59,136)(60,71) +(61,129)(62,77)(65,163)(66,215)(67,146)(68,165)(69,179) +(70,228)(81,248)(82,220)(83,196)(84,158)(86,226)(87,156) +(90,178)(91,205)(92,242)(96,134)(99,209)(100,213)(101,180) +(104,225)(105,131)(109,174)(110,230)(111,160)(115,139)(116,142) +(118,181)(119,175)(121,197)(122,251)(127,249)(128,199)(162,217) +(164,218)(166,204)(168,208)(171,212)(172,198)(173,193)(176,211) +(185,222)(186,216)(187,221)(188,210)(189,195)(190,206)(191,201) +(192,200)(257,264)(260,470)(261,490)(263,450)(265,515)(266,495) +(268,436)(270,500)(271,523)(273,414)(274,409)(275,280)(279,494) +(282,519)(283,454)(285,419)(286,417)(287,435)(290,308)(291,429) +(292,306)(293,467)(294,442)(295,401)(297,528)(298,318)(301,462) +(302,307)(303,408)(304,464)(305,512)(309,509)(310,432)(311,404) +(314,487)(315,421)(319,498)(320,448)(322,447)(323,469)(326,505) +(327,362)(328,451)(329,392)(331,502)(332,402)(333,365)(335,488) +(337,489)(338,480)(339,422)(340,439)(341,385)(342,441)(343,522) +(344,525)(345,379)(346,384)(347,369)(350,376)(353,520)(354,466) +(358,491)(359,517)(363,405)(364,453)(367,427)(368,386)(370,389) +(372,425)(373,403)(374,440)(377,468)(380,459)(381,478)(382,484) +(387,501)(390,461)(395,503)(396,493)(397,483)(399,476)(407,504) +(411,496)(413,506)(415,458)(416,485)(418,477)(426,521)(428,475) +(434,463)(437,460)(444,513)(445,482)(452,511)(455,518)],60, +["b1","B1","b2","B2","b3","B3","b4","B4","b5","B5","b6","B6", +"b7","B7","b8","B8","b9","B9","b10","B10","b11","B11","b12", +"B12","b13","B13","b14","B14","b15","B15","b16","B16","b17", +"B17","b18","B18","b19","B19","b20","B20","b21","B21","b22", +"B22","b23","B23","b24","B24","b25","B25","w1","W1","w2", +"W2","w3","W3","w4","W4","w5","W5"], +[1,-1,2,-2,3,-3,4,-4,5,-5,6,-6,7,-7,8,-8,9,-9,10,-10, +11,-11,12,-12,13,-13,14,-14,15,-15,16,-16,17,-17,18, +-18,19,-19,20,-20,21,-21,22,-22,23,-23,24,-24,25,-25, +26,-26,27,-27,28,-28,29,-29,30,-30], +[25,25,24,24,23,23,22,22,21,21,20,20,19,19,18,18,17,17, +16,16,15,15,14,14,13,13,12,12,11,11,10,10,9,9,8,8,7, +7,6,6,5,5,4,4,3,3,2,2,1,1,26,26,26,26,26,26,26,26, +26,26], +[[3038,0],[50,49],[2916,3036],[2914,0],[48,47], +[2794,3034],[2792,2912],[2790,0],[46,45], +[2672,3032],[2670,2910],[2668,2788],[2666,0], +[44,43],[2550,3030],[2548,2908],[2546,2786], +[2544,2664],[2542,0],[42,41],[2428,3028], +[2426,2906],[2424,2784],[2422,2662],[2420,2540], +[2418,0],[40,39],[2306,3026],[2304,2904], +[2302,2782],[2300,2660],[2298,2538],[2296,2416], +[2294,0],[38,37],[2184,3024],[2182,2902], +[2180,2780],[2178,2658],[2176,2536],[2174,2414], +[2172,2292],[2170,0],[36,35],[2062,3022], +[2060,2900],[2058,2778],[2056,2656],[2054,2534], +[2052,2412],[2050,2290],[2048,2168],[2046,0], +[34,33],[1940,3020],[1938,2898],[1936,2776], +[1934,2654],[1932,2532],[1930,2410],[1928,2288], +[1926,2166],[1924,2044],[1922,0],[32,31], +[1818,3018],[1816,2896],[1814,2774],[1812,2652], +[1810,2530],[1808,2408],[1806,2286],[1804,2164], +[1802,2042],[1800,1920],[1798,0],[30,29], +[1696,3016],[1694,2894],[1692,2772],[1690,2650], +[1688,2528],[1686,2406],[1684,2284],[1682,2162], +[1680,2040],[1678,1918],[1676,176683],[1674,0], +[28,27],[1574,3014],[1572,2892],[1570,2770], +[1568,2648],[1566,2526],[1564,2404],[1562,2282], +[1560,2160],[1558,2038],[1556,1916],[1554,1794], +[1552,1672],[1550,0],[26,25],[1452,3012], +[1450,2890],[1448,2768],[1446,2646],[1444,2524], +[1442,2402],[1440,2280],[1438,2158],[1436,2036], +[1434,1914],[1432,1792],[1430,161673],[1428,1548], +[1426,0],[24,23],[1330,3010],[1328,2888], +[1326,2766],[1324,2644],[1322,2522],[1320,2400], +[1318,2278],[1316,2156],[1314,176921],[1312,1912], +[1310,1790],[1308,1668],[1306,1546],[1304,153985], +[1302,0],[22,21],[1208,3008],[1206,2886], +[1204,2764],[1202,2642],[1200,2520],[1198,2398], +[1196,2276],[1194,177041],[1192,2032],[1190,161913], +[1188,1788],[1186,1666],[1184,11268732],[1182,1422], +[1180,1300],[1178,0],[20,19],[1086,3006], +[1084,2884],[1082,2762],[1080,2640],[1078,2518], +[1076,2396],[1074,2274],[1072,2152],[1070,2030], +[1068,1908],[1066,1786],[1064,146783],[1062,1542], +[1060,1420],[1058,131533],[1056,123969],[1054,0], +[18,17],[964,3004],[962,2882],[960,2760], +[958,2638],[956,2516],[954,2394],[952,2272], +[950,2150],[948,162031],[946,1906],[944,154345], +[942,1662],[940,1540],[938,1418],[936,1296], +[934,1174],[932,116403],[930,0],[16,15],[842,3002], +[840,2880],[838,2758],[836,2636],[834,2514], +[832,177279],[830,2270],[828,2148],[826,2026], +[824,154465],[822,1782],[820,1660],[818,10345918], +[816,1416],[814,1294],[812,1172],[810,108959], +[808,928],[806,0],[14,13],[720,3000],[718,2878], +[716,2756],[714,2634],[712,177399],[710,2390], +[708,11284340],[706,2146],[704,2024],[702,147021], +[700,1780],[698,1658],[696,1536],[694,124207], +[692,1292],[690,1170],[688,1048],[686,101393], +[684,804],[682,0],[12,11],[598,2998],[596,2876], +[594,2754],[592,2632],[590,2510],[588,2388], +[586,2266],[584,2144],[582,2022],[580,1900], +[578,1778],[576,11246518],[574,1534],[572,1412], +[570,10323344],[568,1168],[566,1046],[564,8484804], +[562,802],[560,680],[558,0],[10,9],[476,2996], +[474,2874],[472,2752],[470,2630],[468,2508], +[466,2386],[464,2264],[462,2142],[460,147139], +[458,1898],[456,132011],[454,1654],[452,1532], +[450,116761],[448,1288],[446,101633],[444,1044], +[442,922],[440,78941],[438,678],[436,5738338], +[434,0],[8,7],[354,2994],[352,2872],[350,2750], +[348,2628],[346,2506],[344,162387],[342,2262], +[340,154701],[338,2018],[336,1896],[334,1774], +[332,1652],[330,8515178],[328,1408],[326,1286], +[324,1164],[322,86625],[320,920],[318,798], +[316,71375],[314,554],[312,56247],[310,0],[6,5], +[232,2992],[230,2870],[228,2748],[226,177513], +[224,2504],[222,2382],[220,10368966],[218,2138], +[216,2016],[214,132129],[212,1772],[210,1650], +[208,1528],[206,109315],[204,1284],[202,1162], +[200,1040],[198,79059],[196,796],[194,674], +[192,552],[190,430],[188,48681],[186,0],[4,3], +[110,2990],[108,2868],[106,11299702],[104,2624], +[102,162505],[100,2380],[98,2258],[96,147255], +[94,2014],[92,1892],[90,124563],[88,1648], +[86,1526],[84,1404],[82,101749],[80,1160], +[78,1038],[76,916],[74,71493],[72,672],[70,550], +[68,428],[66,306],[64,41115],[62,0],[2,1], +[3162,0],[3286,0],[3410,0],[3534,0],[3658,0], +[52,51],[54,53],[56,55],[58,57],[60,59], +[3166,3406],[3290,3530],[3168,3528],[3414,3654], +[3292,3652],[3170,3650],[207943,200621],[215509,208187], +[223075,215753],[11776408,12223048],[12677014,11776652], +[13138542,12238180],[13600070,12699708], +[45537348260,47198402780],[800989593,718376071], +[829142803,746529281],[48887595386,45481980024], +[50549557834,43820940632],[175834715722516,182015444223076], +[3085184067327,2774400781765],[188300929895122,175625256762920], +[678059074202608696,701057561574822256],[3112,112], +[3114,234],[3116,356],[3118,1088],[3122,722], +[3124,844],[3126,1454],[3128,478],[3130,1210], +[3132,1820],[3134,966],[3136,1576],[3138,2064], +[3140,1332],[3142,1942],[3144,1698],[3146,2186], +[3148,2308],[3150,2430],[3152,2552],[3154,2674], +[3156,2796],[3158,2918],[3160,3040],[3234,114], +[3236,236],[3238,968],[3242,1578],[3244,724], +[3246,1334],[3248,358],[3250,1090],[3252,1700], +[3254,846],[3256,1944],[3258,602],[3260,1212], +[3262,2188],[3264,1456],[3266,2432],[3268,1822], +[3270,2310],[3272,2066],[3274,2554],[3276,2676], +[3278,2798],[3280,2920],[3282,3042],[3356,116], +[3358,848],[3362,970],[3364,604],[3366,1214], +[3368,238],[3370,482],[3372,1458],[3374,726], +[3376,1336],[3378,1092],[3380,2312],[3382,1702], +[3384,1824],[3386,1946],[3388,2068],[3390,2556], +[3392,1580],[3394,2678],[3396,2190],[3398,2434], +[3400,2800],[3402,2922],[3404,3044],[3478,728], +[3482,850],[3484,484],[3486,606],[3488,118], +[3490,362],[3492,1338],[3494,1094],[3496,1216], +[3498,972],[3500,1826],[3502,1582],[3504,1704], +[3506,1460],[3508,2192],[3510,2070],[3512,1948], +[3514,2802],[3516,2436],[3518,2558],[3520,2924], +[3522,2314],[3524,2680],[3526,3046],[3602,730], +[3604,364],[3606,486],[3608,608],[3610,242], +[3612,1218],[3614,974],[3616,1096],[3618,852], +[3620,1706],[3622,1462],[3624,1584],[3626,1340], +[3628,2072],[3630,1950],[3632,1828],[3634,2438], +[3636,2316],[3638,2194],[3640,2682],[3642,2560], +[3644,3048],[3646,2926],[3648,2804],[190321,6841], +[190323,14283],[190325,21725],[190327,350033869], +[197641,6961],[197643,14403],[197645,3426560], +[204961,7081],[204963,2965276],[212281,2503992], +[190371,36609],[197693,29287],[205015,21965], +[212337,14643],[219659,7321],[190375,207775], +[197697,215337],[190377,215217],[205019,222899], +[197699,222779],[190379,222659],[12505848,12237888], +[12681650,12235006],[762853855,746335373], +[12952492,12699412],[13142934,12696290], +[790098897,774473695],[13399136,13160936], +[13604218,13157574],[817343939,802612017], +[708381097,745605937],[718197095,745603295], +[43211083124,45481801004],[718358257,745442377], +[43211244286,45471985006],[43810020164,45471982364], +[2635876067933,2773790924213],[762849219,718375779], +[773134063,708381341],[46533638568,43211261808], +[773294981,718372897],[46533799486,43820746724], +[47161174970,43211258926],[2838551949775,2635886794493], +[790094505,746528985],[801272389,735626627], +[48195586132,44873224252],[801447947,746525863], +[48195761690,45538077648],[48877612614,44873221130], +[2939930750937,2737266488935],[817339791,774682191], +[829410715,762871913],[49857533696,46535186696], +[829600913,774678829],[49857723894,47255408572], +[50594050258,46535183334],[3041309552099,2838646183377], +[2737265759547,2879102569587],[2777114089945,2878492891347], +[166972547178452,175588066372174],[2777768249187,2838589177585], +[166973201337694,10562353139421579], +[169403949491972,173153330154452], +[10185325367890899,173153939832692], +[2777778080069,2879092575149],[166973211168576,175624647084096], +[169403959322854,175588056377736], +[10185325377721781,10710871439041903], +[169443863036616,173153929838254], +[10185365281435543,644303540895055608], +[10333640918846501,10562353129427141], +[621304847441181048,10562389720133501], +[2777778240987,2879102566705],[166973211329494,175625256569012], +[169403959483772,175588066369292], +[10185325377882699,10710872048526819], +[169443863197534,173153939829810], +[10185365281596461,644303541504540524], +[10333640919007419,10562353139418697], +[621304847441341966,10562390329618417], +[169444462881336,175624647081214], +[10185365881280263,10713103471954061], +[10333641518691221,10710871439039021], +[621304848041025768,653363157781380288], +[10336075645230703,10562389720130619], +[621307282167565250,39302515994598216293], +[630352096049633688,644303540895052726], +[37899595693912041055,644305772927967766], +[48195303336,43820940336],[48850370502,43211262100], +[2939903508825,2635886988105],[48860186500,43810037978], +[2939913324823,2672412316663],[2979872421949,2635876085747], +[179334113859652,160788441230572],[48860362058,43820937214], +[2939913500381,2673077170059],[2979872597507,2635886984983], +[179334114035210,160789106083968],[2980471373385,2672412313541], +[179334712811088,163017151126006], +[181772217735774,160788441227450], +[10939380945435657,9808094914874455],[49857265784,45538286144], +[50566808390,44873224548],[3041282310231,2737266697431], +[50577517428,45526475866],[3041293019269,2777115027829], +[3084575118235,2737254887153],[185518220730536,166972548116336], +[50577707626,45538282782],[3041293209467,2777835249705], +[3084575308433,2737266694069],[185518220920734,166973268338212], +[3085228559751,2777115024467],[185518874172052,169404016492490], +[188159082208978,166972548112974], +[11316611464559339,10185325434891417], +[2939940733709,2774400781469],[2981533640073,2737210391311], +[179335775077776,166969833869976],[2982133323875,2773791103233], +[179336374761578,169201257297218], +[181873542049782,166969224191740], +[10939482269749665,10185122675696145], +[2982143139873,2774389879111],[179336384577576,169237782625776], +[181873551865780,166969822967618], +[10939482279565663,10185159201024703], +[181910132577702,169201246394860], +[10939518860277585,10321276030086465], +[11094286064858029,10185122664793787], +[667308418454550892,621292482552421012], +[2982143315431,2774400778347],[179336384753134,169238447479172], +[181873552041338,166969833866854], +[10939482279741221,10185159865878099], +[181910132753260,169201257294096], +[10939518860453143,10321276694939861], +[11094286065033587,10185122675693023], +[667308418454726450,621292483217274408], +[181910731529138,169237782622654], +[10939519459229021,10323504739981899], +[11094286663809465,10185159201021581], +[667308419053502328,621294711262316446], +[11096518087236707,10321276030083343], +[667310650476929570,629597837835083928], +[676751449956336654,621292482552417890], +[40705813525727601297,37898841435697491295], +[3041265059675,2673077378555],[3082913349403,2635886988401], +[185516558961704,160789106292464],[3083512125281,2672412316959], +[185517157737582,163017151334502], +[188057703410990,160788441230868], +[11316510085761351,9808094915082951], +[3083522834319,2673065568277],[185517168446620,163056999664900], +[188057714120028,160789094482186], +[11316510096470389,9808134763413349], +[188094239448586,163017139524224], +[11316546621798947,9944045510977667], +[11471519907876835,9808094903272673], +[690307115231248856,598293789099633056], +[3083523024517,2673077375193],[185517168636818,163057719886776], +[188057714310226,160789106289102], +[11316510096660587,9808135483635225], +[188094239638784,163017151331140], +[11316546621989145,9944046231199543], +[11471519908067033,9808094915079589], +[690307115231439054,598293789819854932], +[188094892890102,163056999661538], +[11316547275240463,9946476979353821], +[11471520561318351,9808134763409987], +[690307115884690372,598296220568009210], +[11473748606360389,9944045510974305], +[690309343929732410,606586776169432608], +[699762714380483578,598293789099629694], +[42108734029106176859,36495921135077411337], +[10562599788771921,11102942097607641], +[10723240316029519,11100470780678001], +[644315909772043224,677128717621358066], +[10725877145681241,10939624171922959], +[644318546601694946,40706190793392622709], +[654117618764408424,667314603170370864], +[39303270455581244429,667317074487300504], +[10725917049395003,11102904907217483], +[644318586505408708,677277199340266468], +[654117658668122186,677128680430967908], +[39303270495484958191,41304849506289042393], +[654278505276877228,667317037296910346], +[39303431342093713233,2483077636128336185616], +[39901174744019235391,40706190756202232551], +[2397499497789846231696,40706339275111531111], +[10725917649078805,11102941487929405], +[644318587105092510,677279430763693710], +[654117659267805988,677128717011679830], +[39303270496084641993,41304851737712469635], +[654278505876561030,667317073877622268], +[39303431342693397035,2483077638359759612858], +[39901174744618919193,40706190792782944473], +[2397499497790445915498,40706341506534958353], +[654280940003100512,677277198730588232], +[39303433776819936517,41313909122565882157], +[39901177178745458675,41304849505679364157], +[2397499500224572454980,2519595819846441213582], +[39910988821879516237,40706339274501852875], +[2397509311867706512542,151467735803791316950185], +[2433971659385163364180,2483077636127726507380], +[146247469365180610138785,2483086695744613025380], +[10725917658894803,11102942086705283], +[644318587114908508,677279467289022268], +[654117659277621986,677128717610455708], +[39303270496094457991,41304851774237798193], +[654278505886377028,667317074476398146], +[39303431342703213033,2483077638396284941416], +[39901174744628735191,40706190793381720351], +[2397499497790455731496,40706341543060286911], +[654280940012916510,677277199329364110], +[39303433776829752515,41313909159091210715], +[39901177178755274673,41304849506278140035], +[2397499500224582270978,2519595819882966542140], +[39910988821889332235,40706339275100628753], +[2397509311867716328540,151467735803827842278743], +[2433971659385173180178,2483077636128325283258], +[146247469365180619954783,2483086695781138353938], +[654280976593628432,677279430752791352], +[39303433813410464437,41314045275920272477], +[39901177215335986595,41304851737701567277], +[2397499500261162982900,2519595955999795603902], +[39910988858470044157,40706341506524055995], +[2397509311904297040462,151467735939944671340505], +[2433971659421753892100,2483077638359748710500], +[146247469365217200666705,2483086831897967415700], +[39911137340188952559,41313909122554979799], +[2397509460386015948864,2520148456475853767744], +[2433971807903472800502,2519595819846430311224], +[146247469513698919575107,153695345010632248984669], +[2434570318134650311784,2483086695744602123022], +[146248068023930097086389,9239531884031269668917452], +[148472271222494965036307,151467735803791306047827], +[8921095631276017218287212,151468288440420729504347], +[10725917659070361,11102942097604519], +[644318587115084066,677279467953875664], +[654117659277797544,677128717621354944], +[39303270496094633549,41304851774902651589], +[654278505886552586,667317074487297382], +[39303431342703388591,2483077638396949794812], +[39901174744628910749,40706190793392619587], +[2397499497790455907054,40706341543725140307], +[654280940013092068,677277199340263346], +[39303433776829928073,41313909159756064111], +[39901177178755450231,41304849506289039271], +[2397499500224582446536,2519595819883631395536], +[39910988821889507793,40706339275111527989], +[2397509311867716504098,151467735803828507132139], +[2433971659385173355736,2483077636128336182494], +[146247469365180620130341,2483086695781803207334], +[654280976593803990,677279430763690588], +[39303433813410639995,41314045276585125873], +[39901177215336162153,41304851737712466513], +[2397499500261163158458,2519595956000460457298], +[39910988858470219715,40706341506534955231], +[2397509311904297216020,151467735939945336193901], +[2433971659421754067658,2483077638359759609736], +[146247469365217200842263,2483086831898632269096], +[39911137340189128117,41313909122565879035], +[2397509460386016124422,2520148456476518621140], +[2433971807903472976060,2519595819846441210460], +[146247469513698919750665,153695345010632913838065], +[2434570318134650487342,2483086695744613022258], +[146248068023930097261947,9239531884031270333770848], +[148472271222494965211865,151467735803791316947063], +[8921095631276017218462770,151468288440421394357743], +[654280977192579868,677279467289019146], +[39303433814009415873,41314047504630167911], +[39901177215934938031,41304851774237795071], +[2397499500261761934336,2519595958228505499336], +[39910988859068995593,40706341543060283789], +[2397509311904895991898,151467735942173381235939], +[2433971659422352843536,2483077638396284938294], +[146247469365217799618141,2483086834126677311134], +[39911137340787903995,41313909159091207593], +[2397509460386614900300,2520148458704563663178], +[2433971807904071751938,2519595819882966539018], +[146247469513699518526543,153695345012860958880103], +[2434570318135249263220,2483086695781138350816], +[146248068023930696037825,9239531884033498378812886], +[148472271222495563987743,151467735803827842275621], +[8921095631276017817238648,151468288442649439399781], +[39911139572211331237,41314045275920269355], +[2397509462618038327542,2520156761831136430660], +[2433971810135495179180,2519595955999795600780], +[146247469515930941953785,153695353315987531647585], +[2434570320366672690462,2483086831897967412578], +[146248068026162119465067,9239531892336624951580368], +[148472271224726987414985,151467735939944671337383], +[8921095631278249240665890,151468296745776012167263], +[2434579377751526102984,2520148456475853764622], +[146248077083546972877589,153729055845027079641947], +[148472280282111840827507,153695345010632248981547], +[8921095640335634094078412,9375416045648567187874372], +[148508789406213669015709,151468288440420729501225], +[8921132149459735922266614,563611444925907449803774135], +[9056808544572192867211612,9239531884031269668914330], +[544186833507837050315516817,9239565594865664499574730], +[185518829679628,169238447687668], +[188159037716554,166969833870272], +[11316611420066915,10185159866086595], +[188195618428476,169201257297514], +[11316648000778837,10321276695148357], +[11477700691031323,10185122675696441], +[690313296014403344,621292483217482904], +[188196217204354,169237782626072], +[11316648599554715,10323504740190395], +[11477701289807201,10185159201024999], +[690313296613179222,621294711262524942], +[11479932713234443,10321276030086761], +[690315528036606464,629597837835292424], +[700139742142008110,621292482552421308], +[42109111056867701391,37898841435697699791], +[188196227913392,169238435877390], +[11316648610263753,10323544588520793], +[11477701300516239,10185159854276317], +[690313296623888260,621294751110855340], +[11479932723943481,10321276683338079], +[690315528047315502,629597877683622822], +[700139742152717148,621292483205672626], +[42109111056878410429,37898841475546030189], +[11479969249272039,10323504728380117], +[690315564572644060,629733788431187140], +[700139778678045706,621294711250714664], +[42109111093403738987,37898977386293594507], +[700275895507107468,629597837823482146], +[42109247210232800749,38405468107232410909], +[42708524270662301155,37898841435685889513], +[2568655774468929591296,2311829327576839260296], +[188196228103590,169238447684306], +[11316648610453951,10323545308742669], +[11477701300706437,10185159866083233], +[690313296624078458,621294751831077216], +[11479932724133679,10321276695144995], +[690315528047505700,629597878403844698], +[700139742152907346,621292483217479542], +[42109111056878600627,37898841476266252065], +[11479969249462237,10323504740187033], +[690315564572834258,629733789151409016], +[700139778678235904,621294711262521580], +[42109111093403929185,37898977387013816383], +[700275895507297666,629597837835289062], +[42109247210232990947,38405468107952632785], +[42708524270662491353,37898841435697696429], +[2568655774468929781494,2311829327577559482172], +[11479969902713555,10323544588517431], +[690315565226085576,629736219899563294], +[700139779331487222,621294751110851978], +[42109111094057180503,37898979817761970661], +[700275896160548984,629597877683619460], +[42109247210886242265,38405470538700787063], +[42708524271315742671,37898841475546026827], +[2568655774469583032812,2311829330008307636450], +[700278124205591022,629733788431183778], +[42109249438931284303,38413761094302210461], +[42708526499360784709,37898977386293591145], +[2568655776697628074850,2311837620563909059848], +[42716829625933552191,38405468107232407547], +[2568664079824200842332,2342733554541176860370], +[2605219980510400367098,2311829327576839256934], +[156688002242604705065699,141021588982187194672977], +[11316753312245483,10713140662538123], +[11483885406672567,10562390329812325], +[690319480730044588,644305810118551828], +[11486319533212049,10710872048720727], +[690321914856584070,653363194971964350], +[700516972616636194,644303541504734432], +[42109488287342329475,39302516031788800355], +[11486356113923971,10713103472147969], +[690321951437295992,653499311801026112], +[700517009197348116,644305772928161674], +[42109488323923041397,39302652148617862117], +[700665490916256518,653363157781574196], +[42109636805641949799,39855152624676025959], +[42731535329005129363,39302515994598410201], +[2568678785527272419504,2397453475670503022264], +[11486356712699849,10713139997476527], +[690321952036071870,653501539846068150], +[700517009796123994,644305809453490232], +[42109488324521817275,39302654376662904155], +[700665491515032396,653363194306902754], +[42109636806240725677,39855154852721067997], +[42731535329603905241,39302516031123738759], +[2568678785527871195382,2397453477898548064302], +[700667722938459638,653499311135964516], +[42109639037664152919,39863457979293835479], +[42731537561027332483,39302652147952800521], +[2568678787759294622624,2397461781025120831784], +[42740594945880745005,39855152624010964363], +[2568687845144148035146,2431164310064668826146], +[2606623655069301988550,2397453475669837960668], +[156689405917163606687151,146244662015860115600751], +[11486356723408887,10713140650727845], +[690321952046780908,653501579694398548], +[700517009806833032,644305810106741550], +[42109488324532526313,39302654416511234553], +[700665491525741434,653363194960154072], +[42109636806251434715,39855154892569398395], +[42731535329614614279,39302516031776990077], +[2568678785527881904420,2397453477938396394700], +[700667722949168676,653499311789215834], +[42109639037674861957,39863458019142165877], +[42731537561038041521,39302652148606051839], +[2568678787759305331662,2397461781064969162182], +[42740594945891454043,39855152624664215681], +[2568687845144158744184,2431164310104517156544], +[2606623655069312697588,2397453475670491211986], +[156689405917163617396189,146244662015899963931149], +[700667759474497234,653501539834257872], +[42109639074200190515,39863593929889730195], +[42731537597563370079,39302654376651093877], +[2568678787795830660220,2397461916975716726500], +[42740594982416782601,39855154852709257719], +[2568687845180684072742,2431164446015264720862], +[2606623655105838026146,2397453477898536254024], +[156689405917200142724747,146244662151810711495467], +[42740731099245844363,39863457979282025201], +[2568687981297513134504,2431670936736203537264], +[2606623791222667087908,2397461781025109021506], +[156689406053316971786509,146245168642531650311869], +[2607176291698725251750,2431164310064657015868], +[156689958553793029950351,148301022913944077967951], +[159004042959227421107995,146244662015860103790473], +[9558053760946980007722656,8920924382967466331218856], +[11486356723599085,10713140662534761], +[690321952046971106,653501580414620424], +[700517009807023230,644305810118548466], +[42109488324532716511,39302654417231456429], +[700665491525931632,653363194971960988], +[42109636806251624913,39855154893289620271], +[42731535329614804477,39302516031788796993], +[2568678785527882094618,2397453477939116616576], +[700667722949358874,653499311801022750], +[42109639037675052155,39863458019862387753], +[42731537561038231719,39302652148617858755], +[2568678787759305521860,2397461781065689384058], +[42740594945891644241,39855152624676022597], +[2568687845144158934382,2431164310105237378420], +[2606623655069312887786,2397453475670503018902], +[156689405917163617586387,146244662015900684153025], +[700667759474687432,653501539846064788], +[42109639074200380713,39863593930609952071], +[42731537597563560277,39302654376662900793], +[2568678787795830850418,2397461916976436948376], +[42740594982416972799,39855154852721064635], +[2568687845180684262940,2431164446015984942738], +[2606623655105838216344,2397453477898548060940], +[156689405917200142914945,146244662151811431717343], +[42740731099246034561,39863457979293832117], +[2568687981297513324702,2431670936736923759140], +[2606623791222667278106,2397461781025120828422], +[156689406053316971976707,146245168642532370533745], +[2607176291698725441948,2431164310064668822784], +[156689958553793030140549,148301022913944798189827], +[159004042959227421298193,146244662015860115597389], +[9558053760946980007912854,8920924382967467051440732], +[700667760127938750,653501579694395186], +[42109639074853632031,39863596361358106349], +[42731537598216811595,39302654416511231191], +[2568678787796484101736,2397461919407185102654], +[42740594983070224117,39855154892569395033], +[2568687845181337514258,2431164448446733097016], +[2606623655106491467662,2397453477938396391338], +[156689405917200796166263,146244662154242179871621], +[42740731099899285879,39863458019142162515], +[2568687981298166576020,2431670939167671913418], +[2606623791223320529424,2397461781064969158820], +[156689406053317625228025,146245168644963118688023], +[2607176291699378693266,2431164310104517153182], +[156689958553793683391867,148301022916375546344105], +[159004042959228074549511,146244662015899963927787], +[9558053760946980661164172,8920924382969897799595010], +[42740733327944327917,39863593929889726833], +[2568687983526211618058,2431679229723273336816], +[2606623793451365571462,2397461916975716723138], +[156689406055545670270063,146245176935518720111421], +[2607176293927423735304,2431164446015264717500], +[156689958556021728433905,148301031206931147767503], +[159004042961456119591549,146244662151810711492105], +[9558053760949208706206210,8920924391260453401018408], +[2607184597053996502786,2431670936736203533902], +[156689966859148301201387,148331927140908415568025], +[159004051264582692359031,146245168642531650308507], +[9558053769252335278973692,8920955287194430668818930], +[159037753793622240353393,148301022913944077964589], +[9558087471781374826968054,9046362397750588755839932], +[9699246620512872687584338,8920924382967466331215494], +[583041279417765780471078659,544176387361015446204145137], +[40707121149973873339,42764511256064157619], +[41350874307018742937,42754548862597374259], +[2483123660929065886160,2608027480618439829802], +[41361440208433445539,42110028876300515537], +[2483134226830480588762,156690809742712744528403], +[2522403169410217634240,2568701799060864664400], +[151470543153355093370843,2568711761454331447760], +[41361601055042200581,42764360505731431821], +[2483134387677089343804,2608625990849617341084], +[2522403330256826389282,2608027329868107104004], +[151470543314201702125885,159089667121954533344247], +[2523047850243123248004,2568711610703998721962], +[151471187834187998984607,9558139385109707119958908], +[153866593331551958758765,156690809591962411802605], +[9239703132352189378691548,156691408252943922039685], +[41361603489168740063,42764508987450340223], +[2483134390111215883286,2608635048234470753606], +[2522403332690952928764,2608027478349826012406], +[151470543316635828665367,159089676179339386756769], +[2523047852677249787486,2568711759185717630364], +[151471187836622125524089,9558139394167091973371430], +[153866593333986085298247,156690809740444130711007], +[9239703132354623505231030,156691417310328775452207], +[2523057664320383845048,2608625988581003523688], +[151471197648265259581651,159126185303441214944971], +[153866603145629219355809,159089667119685919526851], +[9239703142166266639288592,9704469694300841091137914], +[153905918864793327737851,156691408250675308222289], +[9239742457885430747670634,583046502491553748874632235], +[9385862193224632293894272,9558139385107438506141512], +[563621891073483514909794035,9558175903291193801559632], +[41361603525749451985,42764511218873767465], +[2483134390147796595208,2608635184351299815368], +[2522403332727533640686,2608027480581249439648], +[151470543316672409377289,159089676315456215818531], +[2523047852713830499408,2568711761417141057606], +[151471187836658706236011,9558139394303208802433192], +[153866593334022666010169,156690809742675554138249], +[9239703132354660085942952,156691417446445604513969], +[2523057664356964556970,2608625990812426950930], +[151471197648301840293573,159126185439558044006733], +[153866603145665800067731,159089667121917342954093], +[9239703142166303220000514,9704469694436957920199676], +[153905918864829908449773,156691408252906731649531], +[9239742457885467328382556,583046502491689865703693997], +[9385862193224668874606194,9558139385109669929568754], +[563621891073483551490505957,9558175903427310630621394], +[2523057812838683465372,2608635048197280363452], +[151471197796783559201975,159126737940034102170575], +[153866603294147518976133,159089676179302196366615], +[9239703142314784938908916,9704470246937433978363518], +[153905919013311627358175,156691417310291585062053], +[9239742458033949047290958,583046503044190341761857839], +[9385862193373150593514596,9558139394167054782981276], +[563621891073632033209414359,9558176455927786688785236], +[153906517523542804869457,159126185303404024554817], +[9239743056544180224802240,9706697303507645497843840], +[9385862791883381771025878,9704469694300803900747760], +[563621891672142264386925641,591972651352349037945613363], +[9388261050752392382330440,9558175903291156611169478], +[563624289931011274998230203,35565836651984776412738766944], +[572537593786702569317872121,583046502491553711684242081], +[34380935355482494408887757664,583048730100760553281338161], +[41361603526348227863,42764511255399096023], +[2483134390148395371086,2608635186579344857406], +[2522403332728132416564,2608027480617774768206], +[151470543316673008153167,159089676317684260860569], +[2523047852714429275286,2568711761453666386164], +[151471187836659305011889,9558139394305436847475230], +[153866593334023264786047,156690809742712079466807], +[9239703132354660684718830,156691417448673649556007], +[2523057664357563332848,2608625990848952279488], +[151471197648302439069451,159126185441786089048771], +[153866603145666398843609,159089667121953868282651], +[9239703142166303818776392,9704469694439185965241714], +[153905918864830507225651,156691408252943256978089], +[9239742457885467927158434,583046502491692093748736035], +[9385862193224669473382072,9558139385109706454897312], +[563621891073483552089281835,9558175903429538675663432], +[2523057812839282241250,2608635048233805692010], +[151471197796784157977853,159126737942262147212613], +[153866603294148117752011,159089676179338721695173], +[9239703142314785537684794,9704470246939662023405556], +[153905919013312226134053,156691417310328110390611], +[9239742458033949646066836,583046503044192569806899877], +[9385862193373151192290474,9558139394167091308309834], +[563621891073632033808190237,9558176455930014733827274], +[153906517523543403645335,159126185303440549883375], +[9239743056544180823578118,9706697303509873542885878], +[9385862791883382369801756,9704469694300840426076318], +[563621891672142264985701519,591972651352351265990655401], +[9388261050752392981106318,9558175903291193136498036], +[563624289931011275597006081,35565836651984778640783808982], +[572537593786702569916647999,583046502491553748209570639], +[34380935355482494409486533542,583048730100762781326380199], +[2523057815070705668492,2608635184350634753772], +[151471197799015581405095,159126746245388719980095], +[153866603296379541179253,159089676315455550756935], +[9239703142317016961112036,9704470255242788596173038], +[153905919015543649561295,156691417446444939452373], +[9239742458036181069494078,583046503052495696379667359], +[9385862193375382615717716,9558139394303208137371596], +[563621891073634265231617479,9558176464233141306594756], +[153906517525774827072577,159126185439557378945137], +[9239743056546412247005360,9706697311813000115653360], +[9385862791885613793228998,9704469694436957255138080], +[563621891672144496409128761,591972651360654392563422883], +[9388261050754624404533560,9558175903427309965559798], +[563624289931013507020433323,35565836651993081767356576464], +[572537593786704801340075241,583046502491689865038632401], +[34380935355482496640909960784,583048730109065907899147681], +[153906526583159680485099,159126737940033437108979], +[9239743065603797100417882,9706731014342039663647722], +[9385862800942998646641520,9704470246937433313301922], +[563621891681201881262541283,591972685063183432111417245], +[9388261059812009257946082,9558176455927786023723640], +[563624289940070891873845845,35565836685695610806904570826], +[572537593795762186193487763,583046503044190341096796243], +[34380935355491554025763373306,583048763811594947447142043], +[9388297568936111086134284,9706697303507644832782244], +[563624326449194993702034047,592108535513966334799716887], +[572537630304886288021675965,591972651352349037280551767], +[34380935392000678127591561508,36110331732493291274113657790], +[572683924095895935311254247,583048730100760552616276565], +[34381081685791687774881139790,2169516035771071361136496026231], +[34924793220988856728379296788,35565836651984776412073705348], +[2097237056684432158942142314911,35565972536146393709592870468], +[41361603526358936901,42764511256052347341], +[2483134390148406080124,2608635186619193187804], +[2522403332728143125602,2608027480618428019524], +[151470543316673018862205,159089676317724109190967], +[2523047852714439984324,2568711761454319637482], +[151471187836659315720927,9558139394305476695805628], +[153866593334023275495085,156690809742712732718125], +[9239703132354660695427868,156691417448713497886405], +[2523057664357574041886,2608625990849605530806], +[151471197648302449778489,159126185441825937379169], +[153866603145666409552647,159089667121954521533969], +[9239703142166303829485430,9704469694439225813572112], +[153905918864830517934689,156691408252943910229407], +[9239742457885467937867472,583046502491692133597066433], +[9385862193224669484091110,9558139385109707108148630], +[563621891073483552099990873,9558175903429578523993830], +[2523057812839292950288,2608635048234458943328], +[151471197796784168686891,159126737942301995543011], +[153866603294148128461049,159089676179339374946491], +[9239703142314785548393832,9704470246939701871735954], +[153905919013312236843091,156691417310328763641929], +[9239742458033949656775874,583046503044192609655230275], +[9385862193373151202999512,9558139394167091961561152], +[563621891073632033818899275,9558176455930054582157672], +[153906517523543414354373,159126185303441203134693], +[9239743056544180834287156,9706697303509913391216276], +[9385862791883382380510794,9704469694300841079327636], +[563621891672142264996410557,591972651352351305838985799], +[9388261050752392991815356,9558175903291193789749354], +[563624289931011275607715119,35565836651984778680632139380], +[572537593786702569927357037,583046502491553748862821957], +[34380935355482494409497242580,583048730100762821174710597], +[2523057815070716377530,2608635184351288005090], +[151471197799015592114133,159126746245428568310493], +[153866603296379551888291,159089676315456204008253], +[9239703142317016971821074,9704470255242828444503436], +[153905919015543660270333,156691417446445592703691], +[9239742458036181080203116,583046503052495736227997757], +[9385862193375382626426754,9558139394303208790622914], +[563621891073634265242326517,9558176464233181154925154], +[153906517525774837781615,159126185439558032196455], +[9239743056546412257714398,9706697311813039963983758], +[9385862791885613803938036,9704469694436957908389398], +[563621891672144496419837799,591972651360654432411753281], +[9388261050754624415242598,9558175903427310618811116], +[563624289931013507031142361,35565836651993081807204906862], +[572537593786704801350784279,583046502491689865691883719], +[34380935355482496640920669822,583048730109065947747478079], +[153906526583159691194137,159126737940034090360297], +[9239743065603797111126920,9706731014342079511978120], +[9385862800942998657350558,9704470246937433966553240], +[563621891681201881273250321,591972685063183471959747643], +[9388261059812009268655120,9558176455927786676974958], +[563624289940070891884554883,35565836685695610846752901224], +[572537593795762186204196801,583046503044190341750047561], +[34380935355491554025774082344,583048763811594987295472441], +[9388297568936111096843322,9706697303507645486033562], +[563624326449194993712743085,592108535513966374648047285], +[572537630304886288032385003,591972651352349037933803085], +[34380935392000678127602270546,36110331732493291313961988188], +[572683924095895935321963285,583048730100760553269527883], +[34381081685791687774891848828,2169516035771071361176344356629], +[34924793220988856728390005826,35565836651984776412726956666], +[2097237056684432158942153023949,35565972536146393749441200866], +[2523057815107241706088,2608635186579333047128], +[151471197799052117442691,159126746381339315874811], +[153866603296416077216849,159089676317684249050291], +[9239703142317053497149632,9704470255378739192067754], +[153905919015580185598891,156691417448673637745729], +[9239742458036217605531674,583046503052631646975562075], +[9385862193375419151755312,9558139394305436835664952], +[563621891073634301767655075,9558176464369091902489472], +[153906517525811363110173,159126185441786077238493], +[9239743056546448783042956,9706697311948950711548076], +[9385862791885650329266594,9704469694439185953431436], +[563621891672144532945166357,591972651360790343159317599], +[9388261050754660940571156,9558175903429538663853154], +[563624289931013543556470919,35565836651993217717952471180], +[572537593786704837876112837,583046502491692093736925757], +[34380935355482496677445998380,583048730109201858495042397], +[153906526583196216522695,159126737942262135402335], +[9239743065603833636455478,9706731014477990259542438], +[9385862800943035182679116,9704470246939662011595278], +[563621891681201917798578879,591972685063319382707311961], +[9388261059812045793983678,9558176455930014722016996], +[563624289940070928409883441,35565836685695746757500465542], +[572537593795762222729525359,583046503044192569795089599], +[34380935355491554062299410902,583048763811730898043036759], +[9388297568936147622171880,9706697303509873531075600], +[563624326449195030238071643,592108535514102285395611603], +[572537630304886324557713561,591972651352351265978845123], +[34380935392000678164127599104,36110331732493427224709552506], +[572683924095895971847291843,583048730100762781314569921], +[34381081685791687811417177386,2169516035771071497087091920947], +[34924793220988856764915334384,35565836651984778640771998704], +[2097237056684432158978678352507,35565972536146529660188765184], +[153906526719313045584457,159126746245388708169817], +[9239743065739950465517240,9706731520968711198358840], +[9385862801079152011740878,9704470255242788584362760], +[563621891681338034627640641,591972685569810103646128363], +[9388261059948162623045440,9558176464233141294784478], +[563624289940207045238945203,35565836686202237478439281944], +[572537593795898339558587121,583046503052495696367857081], +[34380935355491690179128472664,583048764318221618981853161], +[9388297569072264451233642,9706697311813000103843082], +[563624326449331147067133405,592108536020593006334428005], +[572537630305022441386775323,591972651360654392551612605], +[34380935392000814280956660866,36110331732999917945648368908], +[572683924096032088676353605,583048730109065907887337403], +[34381081685791823928246239148,2169516035771577987808030737349], +[34924793220988992881744396146,35565836651993081767344766186], +[2097237056684432295095507414269,35565972536653020381127581586], +[9388298121572740509397484,9706731014342039651837444], +[563624327001831623125297247,592110591874864418762084087], +[572537630857522917444939165,591972685063183432099606967], +[34380935392553314757014824708,36110333788854189358076024990], +[572683924648532564734517447,583048763811594947435331765], +[34381081686344324404304402990,2169516037827432259220458393431], +[34924793221541493357802559988,35565836685695610806892760548], +[2097237056684984795571565578111,35565974592507291793555237668], +[572686151705102776253997769,592108535513966334787906609], +[34381083913400894615823883312,36118620666351946422062303152], +[34924795448598063569322040310,36110331732493291274101847512], +[2097237058912041365783085058433,2202730235682090767720212698235], +[34933719369849652053986315512,35565972536146393709581060190], +[2097245982833292954267749333635,132340478182035353029325537173136], +[2130412386480320260431136910513,2169516035771071361136484215953], +[127931460457750361695470681016016,2169524324704930016284444671593], +[41361603526359127099,42764511256064154257], +[2483134390148406270322,2608635186619913409680], +[2522403332728143315800,2608027480618439826440], +[151470543316673019052403,159089676317724829412843], +[2523047852714440174522,2568711761454331444398], +[151471187836659315911125,9558139394305477416027504], +[153866593334023275685283,156690809742712744525041], +[9239703132354660695618066,156691417448714218108281], +[2523057664357574232084,2608625990849617337722], +[151471197648302449968687,159126185441826657601045], +[153866603145666409742845,159089667121954533340885], +[9239703142166303829675628,9704469694439226533793988], +[153905918864830518124887,156691408252943922036323], +[9239742457885467938057670,583046502491692134317288309], +[9385862193224669484281308,9558139385109707119955546], +[563621891073483552100181071,9558175903429579244215706], +[2523057812839293140486,2608635048234470750244], +[151471197796784168877089,159126737942302715764887], +[153866603294148128651247,159089676179339386753407], +[9239703142314785548584030,9704470246939702591957830], +[153905919013312237033289,156691417310328775448845], +[9239742458033949656966072,583046503044192610375452151], +[9385862193373151203189710,9558139394167091973368068], +[563621891073632033819089473,9558176455930055302379548], +[153906517523543414544571,159126185303441214941609], +[9239743056544180834477354,9706697303509914111438152], +[9385862791883382380700992,9704469694300841091134552], +[563621891672142264996600755,591972651352351306559207675], +[9388261050752392992005554,9558175903291193801556270], +[563624289931011275607905317,35565836651984778681352361256], +[572537593786702569927547235,583046502491553748874628873], +[34380935355482494409497432778,583048730100762821894932473], +[2523057815070716567728,2608635184351299812006], +[151471197799015592304331,159126746245429288532369], +[153866603296379552078489,159089676315456215815169], +[9239703142317016972011272,9704470255242829164725312], +[153905919015543660460531,156691417446445604510607], +[9239742458036181080393314,583046503052495736948219633], +[9385862193375382626616952,9558139394303208802429830], +[563621891073634265242516715,9558176464233181875147030], +[153906517525774837971813,159126185439558044003371], +[9239743056546412257904596,9706697311813040684205634], +[9385862791885613804128234,9704469694436957920196314], +[563621891672144496420027997,591972651360654433131975157], +[9388261050754624415432796,9558175903427310630618032], +[563624289931013507031332559,35565836651993081807925128738], +[572537593786704801350974477,583046502491689865703690635], +[34380935355482496640920860020,583048730109065948467699955], +[153906526583159691384335,159126737940034102167213], +[9239743065603797111317118,9706731014342080232199996], +[9385862800942998657540756,9704470246937433978360156], +[563621891681201881273440519,591972685063183472679969519], +[9388261059812009268845318,9558176455927786688781874], +[563624289940070891884745081,35565836685695610847473123100], +[572537593795762186204386999,583046503044190341761854477], +[34380935355491554025774272542,583048763811594988015694317], +[9388297568936111097033520,9706697303507645497840478], +[563624326449194993712933283,592108535513966375368269161], +[572537630304886288032575201,591972651352349037945610001], +[34380935392000678127602460744,36110331732493291314682210064], +[572683924095895935322153483,583048730100760553281334799], +[34381081685791687774892039026,2169516035771071361177064578505], +[34924793220988856728390196024,35565836651984776412738763582], +[2097237056684432158942153214147,35565972536146393750161422742], +[2523057815107241896286,2608635186579344854044], +[151471197799052117632889,159126746381340036096687], +[153866603296416077407047,159089676317684260857207], +[9239703142317053497339830,9704470255378739912289630], +[153905919015580185789089,156691417448673649552645], +[9239742458036217605721872,583046503052631647695783951], +[9385862193375419151945510,9558139394305436847471868], +[563621891073634301767845273,9558176464369092622711348], +[153906517525811363300371,159126185441786089045409], +[9239743056546448783233154,9706697311948951431769952], +[9385862791885650329456792,9704469694439185965238352], +[563621891672144532945356555,591972651360790343879539475], +[9388261050754660940761354,9558175903429538675660070], +[563624289931013543556661117,35565836651993217718672693056], +[572537593786704837876303035,583046502491692093748732673], +[34380935355482496677446188578,583048730109201859215264273], +[153906526583196216712893,159126737942262147209251], +[9239743065603833636645676,9706731014477990979764314], +[9385862800943035182869314,9704470246939662023402194], +[563621891681201917798769077,591972685063319383427533837], +[9388261059812045794173876,9558176455930014733823912], +[563624289940070928410073639,35565836685695746758220687418], +[572537593795762222729715557,583046503044192569806896515], +[34380935355491554062299601100,583048763811730898763258635], +[9388297568936147622362078,9706697303509873542882516], +[563624326449195030238261841,592108535514102286115833479], +[572537630304886324557903759,591972651352351265990652039], +[34380935392000678164127789302,36110331732493427225429774382], +[572683924095895971847482041,583048730100762781326376837], +[34381081685791687811417367584,2169516035771071497087812142823], +[34924793220988856764915524582,35565836651984778640783805620], +[2097237056684432158978678542705,35565972536146529660908987060], +[153906526719313045774655,159126746245388719976733], +[9239743065739950465707438,9706731520968711918580716], +[9385862801079152011931076,9704470255242788596169676], +[563621891681338034627830839,591972685569810104366350239], +[9388261059948162623235638,9558176464233141306591394], +[563624289940207045239135401,35565836686202237479159503820], +[572537593795898339558777319,583046503052495696379663997], +[34380935355491690179128662862,583048764318221619702075037], +[9388297569072264451423840,9706697311813000115649998], +[563624326449331147067323603,592108536020593007054649881], +[572537630305022441386965521,591972651360654392563419521], +[34380935392000814280956851064,36110331732999917946368590784], +[572683924096032088676543803,583048730109065907899144319], +[34381081685791823928246429346,2169516035771577987808750959225], +[34924793220988992881744586344,35565836651993081767356573102], +[2097237056684432295095507604467,35565972536653020381847803462], +[9388298121572740509587682,9706731014342039663644360], +[563624327001831623125487445,592110591874864419482305963], +[572537630857522917445129363,591972685063183432111413883], +[34380935392553314757015014906,36110333788854189358796246866], +[572683924648532564734707645,583048763811594947447138681], +[34381081686344324404304593188,2169516037827432259221178615307], +[34924793221541493357802750186,35565836685695610806904567464], +[2097237056684984795571565768309,35565974592507291794275459544], +[572686151705102776254187967,592108535513966334799713525], +[34381083913400894615824073510,36118620666351946422782525028], +[34924795448598063569322230508,36110331732493291274113654428], +[2097237058912041365783085248631,2202730235682090767720932920111], +[34933719369849652053986505710,35565972536146393709592867106], +[2097245982833292954267749523833,132340478182035353029326257395012], +[2130412386480320260431137100711,2169516035771071361136496022869], +[127931460457750361695470681206214,2169524324704930016285164893469], +[2523057815107895147604,2608635186619193184442], +[151471197799052770884207,159126746383770784250965], +[153866603296416730658365,159089676317724109187605], +[9239703142317054150591148,9704470255381170660443908], +[153905919015580839040407,156691417448713497883043], +[9239742458036218258973190,583046503052634078443938229], +[9385862193375419805196828,9558139394305476695802266], +[563621891073634302421096591,9558176464371523370865626], +[153906517525812016551689,159126185441825937375807], +[9239743056546449436484472,9706697311951382179924230], +[9385862791885650982708110,9704469694439225813568750], +[563621891672144533598607873,591972651360792774627693753], +[9388261050754661594012672,9558175903429578523990468], +[563624289931013544209912435,35565836651993220149420847334], +[572537593786704838529554353,583046502491692133597063071], +[34380935355482496678099439896,583048730109204289963418551], +[153906526583196869964211,159126737942301995539649], +[9239743065603834289896994,9706731014480421727918592], +[9385862800943035836120632,9704470246939701871732592], +[563621891681201918452020395,591972685063321814175688115], +[9388261059812046447425194,9558176455930054582154310], +[563624289940070929063324957,35565836685695749188968841696], +[572537593795762223382966875,583046503044192609655226913], +[34380935355491554062952852418,583048763811733329511412913], +[9388297568936148275613396,9706697303509913391212914], +[563624326449195030891513159,592108535514104716863987757], +[572537630304886325211155077,591972651352351305838982437], +[34380935392000678164781040620,36110331732493429656177928660], +[572683924095895972500733359,583048730100762821174707235], +[34381081685791687812070618902,2169516035771071499518560297101], +[34924793220988856765568775900,35565836651984778680632136018], +[2097237056684432158979331794023,35565972536146532091657141338], +[153906526719313699025973,159126746245428568307131], +[9239743065739951118958756,9706731520971142666734994], +[9385862801079152665182394,9704470255242828444500074], +[563621891681338035281082157,591972685569812535114504517], +[9388261059948163276486956,9558176464233181154921792], +[563624289940207045892386719,35565836686202239909907658098], +[572537593795898340212028637,583046503052495736227994395], +[34380935355491690179781914180,583048764318224050450229315], +[9388297569072265104675158,9706697311813039963980396], +[563624326449331147720574921,592108536020595437802804159], +[572537630305022442040216839,591972651360654432411749919], +[34380935392000814281610102382,36110331732999920377116745062], +[572683924096032089329795121,583048730109065947747474717], +[34381081685791823928899680664,2169516035771577990239499113503], +[34924793220988992882397837662,35565836651993081807204903500], +[2097237056684432295096160855785,35565972536653022812595957740], +[9388298121572741162839000,9706731014342079511974758], +[563624327001831623778738763,592110591874866850230460241], +[572537630857522918098380681,591972685063183471959744281], +[34380935392553314757668266224,36110333788854191789544401144], +[572683924648532565387958963,583048763811594987295469079], +[34381081686344324404957844506,2169516037827432261651926769585], +[34924793221541493358456001504,35565836685695610846752897862], +[2097237056684984795572219019627,35565974592507294225023613822], +[572686151705102776907439285,592108535513966374648043923], +[34381083913400894616477324828,36118620666351948853530679306], +[34924795448598063569975481826,36110331732493291313961984826], +[2097237058912041365783738499949,2202730235682090770151681074389], +[34933719369849652054639757028,35565972536146393749441197504], +[2097245982833292954268402775151,132340478182035353031757005549290], +[2130412386480320260431790352029,2169516035771071361176344353267], +[127931460457750361695471334457532,2169524324704930018715913047747], +[153906526721541744068011,159126746381339315871449], +[9239743065742179164000794,9706731529261698268158392], +[9385862801081380710224432,9704470255378739192064392], +[563621891681340263326124195,591972685578103090715927915], +[9388261059950391321528994,9558176464369091902486110], +[563624289940209273937428757,35565836686210530465509081496], +[572537593795900568257070675,583046503052631646975558713], +[34380935355491692407826956218,583048764326514606051652713], +[9388297569074493149717196,9706697311948950711544714], +[563624326449333375765616959,592108536028885993404227557], +[572537630305024670085258877,591972651360790343159314237], +[34380935392000816509655144420,36110331733008210932718168460], +[572683924096034317374837159,583048730109201858495039035], +[34381081685791826156944722702,2169516035771586280795100536901], +[34924793220988995110442879700,35565836651993217717952467818], +[2097237056684432297324205897823,35565972536661313368197381138], +[9388298121574969207881038,9706731014477990259539076], +[563624327001833851823780801,592110591883157405831883639], +[572537630857525146143422719,591972685063319382707308599], +[34380935392553316985713308262,36110333788862482345145824542], +[572683924648534793433001001,583048763811730898043033397], +[34381081686344326633002886544,2169516037827440552207528192983], +[34924793221541495586501043542,35565836685695746757500462180], +[2097237056684984797800264061665,35565974592515584780625037220], +[572686151705105004952481323,592108535514102285395608241], +[34381083913400896844522366866,36118620666360239409132102704], +[34924795448598065798020523864,36110331732493427224709549144], +[2097237058912041368011783541987,2202730235682099060707282497787], +[34933719369849654282684799066,35565972536146529660188761822], +[2097245982833292956496447817189,132340478182035361322312606972688], +[2130412386480320262659835394067,2169516035771071497087091917585], +[127931460457750361697699379499570,2169524324704938309271514471145], +[9388298129878095780648520,9706731520968711198355478], +[563624327010136978396548283,592110622779091383099684161], +[572537630865828272716190201,591972685569810103646125001], +[34380935392561620112286075744,36110333819758416322413625064], +[572683924656837920005768483,583048764318221618981849799], +[34381081686352629759575654026,2169516037858336486184795993505], +[34924793221549798713073811024,35565836686202237478439278582], +[2097237056684993100926836829147,35565974623411518757892837742], +[572686151713408131525248805,592108536020593006334424643], +[34381083913409199971095134348,36118620697256173386399903226], +[34924795448606368924593291346,36110331732999917945648365546], +[2097237058912049671138356309469,2202730235712994994684550298309], +[34933719369857957409257566548,35565972536653020381127578224], +[2097245982833301259623020584671,132340478182066257256289874773210], +[2130412386480328565786408161549,2169516035771577987808030733987], +[127931460457750370000825952267052,2169524324735834243248782271667], +[572686185415937171073243167,592110591874864418762080725], +[34381083947111729010643128710,36118746104366729544486924228], +[34924795482308897964141285708,36110333788854189358076021628], +[2097237058945752200177904303831,2202730361120105550842637319311], +[34933719403560486448805560910,35565974592507291793555234306], +[2097245982867003788662568579033,132340478307473367812447961794212], +[2130412386514031094825956155911,2169516037827432259220458390069], +[127931460457784072529865500261414,2169524450142944799406869292669], +[34933855254011269351493860552,36118620666351946422062299790], +[2097246118717454571565256878675,2203235860647468731745800287193], +[2130412522364481877728644455553,2202730235682090767720212694873], +[127931460593634523312768188561056,134366544376607536830932974387256 +], +[2130956881560828775293165242875,2169524324704930016284444668231], +[127932004952830870210332709348378, +8072769169104156534788857767356217], +[129955155575299535886299351537936,132340478182035353029325537169774 +], +[7803819087922772063423711541973619, +132340983807000730993351124762094]]] + ]; diff --git a/lib/clashom.gi b/lib/clashom.gi index 52354e4c8e..537ad2b08b 100644 --- a/lib/clashom.gi +++ b/lib/clashom.gi @@ -1130,7 +1130,7 @@ local cs, # chief series of G # we will give classes always by their representatives in G and # centralizers by their full preimages in G. - cs:= ChiefSeriesOfGroup( G ); + cs:= ChiefSeriesThrough( G,[Socle(G)] ); # the first step is always simple if HasAbelianFactorGroup(G,cs[2]) then @@ -1719,8 +1719,6 @@ BindGlobal("LiftClassesEANonsolvGeneral", # Construct matrices for the affine operation on $N/[h,N]$. Info(InfoHomClass,4,"space=",Size(field),"^",r); - if Size(field)^r>3*10^8 then Error("too large");fi; - aff := ExtendedVectors( field ^ r ); gens:=Concatenation(cl[2],Npcgs,cl[3]); # all generators gpsz:=cl[5]; @@ -1745,7 +1743,9 @@ BindGlobal("LiftClassesEANonsolvGeneral", Add( imgs, M ); od; -#if Size(field)^r>10^7 then Error("BIG");fi; + + if Size(field)^r>3*10^8 then Error("too large");fi; + aff := ExtendedVectors( field ^ r ); # now compute orbits, being careful to get stabilizers in steps #orbreps:=[]; diff --git a/lib/ctblfuns.gi b/lib/ctblfuns.gi index 4ff7e9ba51..b98fd7da0f 100644 --- a/lib/ctblfuns.gi +++ b/lib/ctblfuns.gi @@ -1666,7 +1666,9 @@ InstallMethod( ScalarProduct, x2:= ValuesOfClassFunction( x2 ); scpr:= 0; for i in [ 1 .. Length( x1 ) ] do - scpr:= scpr + x1[i] * GaloisCyc( x2[i], -1 ) * weight[i]; + if x1[i]<>0 and x2[i]<>0 then + scpr:= scpr + x1[i] * GaloisCyc( x2[i], -1 ) * weight[i]; + fi; od; return scpr / Size( tbl ); end ); @@ -3269,18 +3271,24 @@ InstallMethod( ReducedClassFunctions, for i in [ 1 .. Length( reducibles ) ] do single:= reducibles[i]; - for j in [ 1 .. upper[i] ] do + + j:=1; + while j<=upper[i] do scpr:= ScalarProduct( ordtbl, single, constituents[j] ); if IsInt( scpr ) then scpr:= Int( scpr / normsquare[j] ); if scpr <> 0 then single:= single - scpr * constituents[j]; + if ForAll(single,x->x=0) then + j:=upper[i]; + fi; fi; else Info( InfoCharacterTable, 1, "ReducedClassFunctions: scalar product of X[", j, "] with Y[", i, "] not integral (ignore)" ); fi; + j:=j+1; od; if ForAny( single, x -> x <> 0 ) then if single[1] < 0 then diff --git a/lib/ctblgrp.gd b/lib/ctblgrp.gd index 8ab20670d6..f1df8e80f2 100644 --- a/lib/ctblgrp.gd +++ b/lib/ctblgrp.gd @@ -251,6 +251,8 @@ DeclareGlobalFunction("OrbitSplit"); ## DeclareGlobalFunction("DxSplitDegree"); +DeclareGlobalFunction("DxOnedimCleanout"); + ############################################################################# ## diff --git a/lib/ctblgrp.gi b/lib/ctblgrp.gi index 4cc3603fcd..ed0ceea706 100644 --- a/lib/ctblgrp.gi +++ b/lib/ctblgrp.gi @@ -688,7 +688,6 @@ InstallGlobalFunction(SplitStep,function(D,bestMat) Add(D.yetmats,bestMat); for col in bestMatCol do - Info(InfoCharacterTable,2,"Computing column ",col,":"); D.ClassMatrixColumn(D,M,bestMat,col); od; @@ -1732,7 +1731,7 @@ DoubleCentralizerOrbit := function(D,c1,c2) often:=List(trans,i->Length(i)); return [List(trans,i->i[1]),often]; else - Info(InfoCharacterTable,3,"using DoubleCosets;"); + #Info(InfoCharacterTable,3,"using DoubleCosets;"); cent:=Centralizer(D.classes[inv]); l:=DoubleCosetRepsAndSizes(D.group,cent,Centralizer(D.classes[c2])); s1:=Size(cent); @@ -1769,14 +1768,16 @@ StandardClassMatrixColumn := function(D,M,r,t) for i in D.classrange do M[i^p,t]:=M[i,c]; od; - Info(InfoCharacterTable,2,"by GaloisImage"); + Info(InfoCharacterTable,2,"Computing column ",t, + " : by GaloisImage"); return; fi; fi; fi; T:=DoubleCentralizerOrbit(D,r,t); - Info(InfoCharacterTable,2,Length(T[1])," instead of ",D.classiz[r]); + Info(InfoCharacterTable,2,"Computing column ",t," :", + Length(T[1])," instead of ",D.classiz[r]); if IsDxLargeGroup(D.group) then # if r and t are unique,the conjugation test can be weak (i.e. up to @@ -2061,25 +2062,9 @@ local G, # group return D; end ); - -############################################################################# -## -#F DixonSplit() . . calculate matrix,split spaces and obtain characters -## -InstallGlobalFunction( DixonSplit, function(arg) -local D,r,i,j,ch,ra,bsm, - gens; - - D:=arg[1]; - if Length(arg)>1 then - bsm:=arg[2]; - else - bsm:=BestSplittingMatrix(D); - fi; - if bsm<>fail then - SplitStep(D,bsm); - fi; - +InstallGlobalFunction(DxOnedimCleanout,function(D) +local i,j,r,ch,kill,gens,ra; + kill:=false; for i in [1..Length(D.raeume)] do r:=D.raeume[i]; if r.dim=1 then @@ -2101,14 +2086,38 @@ local D,r,i,j,ch,ra,bsm, Add(D.irreducibles,j); od; Unbind(D.raeume[i]); + kill:=true; fi; od; - # Throw away lifted spaces - ra:=[]; - for i in D.raeume do - Add(ra,i); - od; - D.raeume:=ra; + if kill then + # Throw away lifted spaces + ra:=[]; + for i in D.raeume do + Add(ra,i); + od; + D.raeume:=ra; + fi; +end); + +############################################################################# +## +#F DixonSplit() . . calculate matrix,split spaces and obtain characters +## +InstallGlobalFunction( DixonSplit, function(arg) +local D,bsm; + + D:=arg[1]; + if Length(arg)>1 then + bsm:=arg[2]; + else + bsm:=BestSplittingMatrix(D); + fi; + if bsm<>fail then + SplitStep(D,bsm); + fi; + + DxOnedimCleanout(D); + CombinatoricSplit(D); return bsm; end ); diff --git a/lib/ctblpc.gi b/lib/ctblpc.gi index 2b2a09ea52..7a606cc57d 100644 --- a/lib/ctblpc.gi +++ b/lib/ctblpc.gi @@ -32,13 +32,15 @@ PcGroupClassMatrixColumn := function(D,M,r,t) for i in D.classrange do M[i^p][t]:=M[i][c]; od; - Info(InfoCharacterTable,2,"by GaloisImage"); + Info(InfoCharacterTable,2,"Computing column ",t, + " : by GaloisImage"); return; fi; fi; T:=DoubleCentralizerOrbit(D,r,t); - Info(InfoCharacterTable,2,Length(T[1])," instead of ",D.classiz[r]); + Info(InfoCharacterTable,2,"Computing column ",t," :", + Length(T[1])," instead of ",D.classiz[r]); for i in [1..Length(T[1])] do T[1][i]:=T[1][i]*z; diff --git a/lib/grp.gi b/lib/grp.gi index a4fec06df3..f0012f8c62 100644 --- a/lib/grp.gi +++ b/lib/grp.gi @@ -107,21 +107,21 @@ end); ## #M MinimalGeneratingSet() . . . . . . . . . . . . . for groups ## -InstallMethod(MinimalGeneratingSet,"solvable group via pc",true, - [IsGroup],0, +InstallMethod(MinimalGeneratingSet,"test solvable and 2-generator noncyclic", + true, [IsGroup and IsFinite],0, function(G) local i; - if not IsSolvableGroup(G) then - if IsGroup(G) and HasGeneratorsOfGroup(G) + if not HasIsSolvableGroup(G) and IsSolvableGroup(G) and + CanEasilyComputePcgs(G) then + # discovered solvable -- redo + return MinimalGeneratingSet(G); + elif not IsSolvableGroup(G) then + if IsGroup(G) and (not IsCyclic(G)) and HasGeneratorsOfGroup(G) and Length(GeneratorsOfGroup(G)) = 2 then return GeneratorsOfGroup(G); fi; TryNextMethod(); fi; - i:=IsomorphismPcGroup(G); - G:=Image(i,G); - G:=MinimalGeneratingSet(G); - return List(G,j->PreImagesRepresentative(i,j)); end); ############################################################################# diff --git a/lib/grppcatr.gi b/lib/grppcatr.gi index 29c64eb9d3..ef65518680 100644 --- a/lib/grppcatr.gi +++ b/lib/grppcatr.gi @@ -612,7 +612,7 @@ end; ## InstallMethod( MinimalGeneratingSet, "pcgs computable groups using special pcgs", - true, [ IsPcGroup and IsFinite ], 0, + true, [ IsSolvableGroup and IsFinite and CanEasilyComputePcgs], 0, function( G ) local spec, weights, first, m, mingens, i, start, next, j, @@ -662,13 +662,8 @@ end ); #M SmallGeneratingSet() ## InstallMethod(SmallGeneratingSet,"using minimal generating set",true, - [IsPcGroup and IsFinite],0, -function (G) - if Length(Pcgs(G))>14 then - TryNextMethod(); - fi; - return MinimalGeneratingSet(G); -end); + [IsSolvableGroup and IsFinite and CanEasilyComputePcgs],0, + MinimalGeneratingSet); ############################################################################# ## diff --git a/tst/testbugfix/2022-04-19-conjcl.tst b/tst/testbugfix/2022-04-19-conjcl.tst new file mode 100644 index 0000000000..004e7832a0 --- /dev/null +++ b/tst/testbugfix/2022-04-19-conjcl.tst @@ -0,0 +1,7 @@ +# ConjugacyClasses, #4866 +gap> g:=Group((9,11)(12,14)(15,17)(18,20)(21,23)(24,26)(27,29)(30,32)(33,35) +> (36,38),(9,39)(11,40)(13,42)(15,44)(17,45)(19,46)(21,47)(23,49)(25,51) +> (27,52)(29,53)(31,54)(33,56)(35,58)(37,59), (7,8)(10,11)(15,16)(20,21) +> (25,26)(30,31)(35,36)(40,41)(43,44)(47,48)(50,51)(54,55)(57,58));; +gap> Length(ConjugacyClasses(g)); +1308