From 5bc1b98ba2acbf927e084fb5370b2962b91395a9 Mon Sep 17 00:00:00 2001 From: Alexander Hulpke Date: Fri, 17 May 2019 14:21:31 -0600 Subject: [PATCH 1/3] Workaround for #3446 --- lib/stbcbckt.gi | 44 ++++++++++++++++++++++++-------------------- 1 file changed, 24 insertions(+), 20 deletions(-) diff --git a/lib/stbcbckt.gi b/lib/stbcbckt.gi index 2cfe39b39b..527e684ebe 100644 --- a/lib/stbcbckt.gi +++ b/lib/stbcbckt.gi @@ -692,26 +692,30 @@ local dom, # operation domain for the group # Map the suborbit with each old representative. for o in old do - if subs.reps[ o ] = true then - subs.reps[ o ] := InverseRepresentative( subs.stabChainTop, - SuboTruePos(ran, subs.blists[ o ] ) ) ^ -1; - fi; - for img in OnTuples( sub, subs.reps[ o ] ) do - - # Find the suborbit of the image. - i := subs.which[ img ]; - - # If this suborbit is encountered for the first time, add - # it to and store its distance . - if key[ i ] = 0 then - Add( new, i ); - key[ i ] := len; - fi; - - # Store the arrow which starts at suborbit . - key[ o ] := key[ o ] + d * - Length( sub ) ^ ( key[ i ] mod d ); - od; + if subs.reps[o]<>false then + if subs.reps[ o ] = true then + subs.reps[ o ] := InverseRepresentative( subs.stabChainTop, + SuboTruePos(ran, subs.blists[ o ] ) ) ^ -1; + fi; + for img in OnTuples( sub, subs.reps[ o ] ) do + + # Find the suborbit of the image. + i := subs.which[ img ]; + + # If this suborbit is encountered for the first time, add + # it to and store its distance . + if key[ i ] = 0 then + Add( new, i ); + key[ i ] := len; + fi; + + # Store the arrow which starts at suborbit . + key[ o ] := key[ o ] + d * + Length( sub ) ^ ( key[ i ] mod d ); + od; + else + Info(InfoWarning,1,"suborbits variant triggered, check!"); + fi; od; od; From 251d61c3f1929b77ba3e4c94c7fdb8878da2f279 Mon Sep 17 00:00:00 2001 From: Alexander Hulpke Date: Tue, 19 Nov 2019 08:34:08 -0700 Subject: [PATCH 2/3] Added test from #3446 --- tst/testbugfix/2019-11-19-backtrack.tst | 628 ++++++++++++++++++++++++ 1 file changed, 628 insertions(+) create mode 100644 tst/testbugfix/2019-11-19-backtrack.tst diff --git a/tst/testbugfix/2019-11-19-backtrack.tst b/tst/testbugfix/2019-11-19-backtrack.tst new file mode 100644 index 0000000000..fffac69d8a --- /dev/null +++ b/tst/testbugfix/2019-11-19-backtrack.tst @@ -0,0 +1,628 @@ +# Work-around a problem in backtrack +gap> a:=Group((3,45,13)(4,46,14)(5,44,25)(6,43,26)(7,62,33) +> (8,61,34)(9,29,31)(10,30,32)(15,18,20)(16,17,19) +> (21,63,51)(22,64,52)(23,36,27)(24,35,28)(37,50,47) +> (38,49,48)(39,56,42)(40,55,41)(53,58,60)(54,57,59) +> (65,161,97)(66,162,98)(67,163,99)(68,164,100)(69,165,101) +> (70,166,102)(71,167,103)(72,168,104)(73,169,105)(74,170,106) +> (75,171,107)(76,172,108)(77,173,109)(78,174,110)(79,175,111) +> (80,176,112)(81,177,113)(82,178,114)(83,179,115)(84,180,116) +> (85,181,117)(86,182,118)(87,183,119)(88,184,120)(89,185,121) +> (90,186,122)(91,187,123)(92,188,124)(93,189,125)(94,190,126) +> (95,191,127)(96,192,128)(129,312,241)(130,311,242)(131,319,250) +> (132,320,249)(133,308,245)(134,307,246)(135,315,254)(136,316,253) +> (137,310,244)(138,309,243)(139,317,251)(140,318,252)(141,305,247) +> (142,306,248)(143,313,255)(144,314,256)(145,302,226)(146,301,225) +> (147,293,233)(148,294,234)(149,297,230)(150,298,229)(151,289,238) +> (152,290,237)(153,304,227)(154,303,228)(155,296,236)(156,295,235) +> (157,300,231)(158,299,232)(159,292,240)(160,291,239)(193,375,279) +> (194,376,280)(195,368,272)(196,367,271)(197,373,277)(198,374,278) +> (199,359,263)(200,360,264)(201,371,275)(202,372,276)(203,363,267) +> (204,364,268)(205,370,274)(206,369,273)(207,356,260)(208,355,259) +> (209,366,270)(210,365,269)(211,361,265)(212,362,266)(213,357,261) +> (214,358,262)(215,353,257)(216,354,258)(217,384,288)(218,383,287) +> (219,379,283)(220,380,284)(221,381,285)(222,382,286)(223,378,282) +> (224,377,281)(321,417,391)(322,418,392)(323,441,406)(324,442,405) +> (325,426,400)(326,425,399)(327,443,408)(328,444,407)(329,421,387) +> (330,422,388)(331,446,401)(332,445,402)(333,430,395)(334,429,396) +> (335,448,403)(336,447,404)(337,434,414)(338,433,413)(339,438,410) +> (340,437,409)(341,435,415)(342,436,416)(343,439,411)(344,440,412) +> (345,420,389)(346,419,390)(347,423,386)(348,424,385)(349,428,398) +> (350,427,397)(351,431,394)(352,432,393), +> (3,15)(4,16)(5,27)(6,28)(7,35)(8,36)(9,41)(10,42) +> (13,32)(14,31)(17,29)(18,30)(19,55)(20,56)(21,22)(23,53) +> (24,54)(25,58)(26,57)(33,43)(34,44)(37,38)(39,45)(40,46) +> (47,48)(51,52)(59,62)(60,61)(65,87)(66,88)(67,80)(68,79) +> (69,85)(70,86)(73,83)(74,84)(77,82)(78,81)(89,96)(90,95) +> (97,193)(98,194)(99,195)(100,196)(101,197)(102,198)(103,199)(104,200) +> (105,201)(106,202)(107,203)(108,204)(109,205)(110,206)(111,207)(112,208) +> (113,209)(114,210)(115,211)(116,212)(117,213)(118,214)(119,215)(120,216) +> (121,217)(122,218)(123,219)(124,220)(125,221)(126,222)(127,223)(128,224) +> (129,151)(130,152)(131,144)(132,143)(133,149)(134,150)(137,147)(138,148) +> (141,146)(142,145)(153,160)(154,159)(161,257)(162,258)(163,259)(164,260) +> (165,261)(166,262)(167,263)(168,264)(169,265)(170,266)(171,267)(172,268) +> (173,269)(174,270)(175,271)(176,272)(177,273)(178,274)(179,275)(180,276) +> (181,277)(182,278)(183,279)(184,280)(185,281)(186,282)(187,283)(188,284) +> (189,285)(190,286)(191,287)(192,288)(225,322)(226,321)(227,323)(228,324) +> (229,326)(230,325)(231,327)(232,328)(233,330)(234,329)(235,331)(236,332) +> (237,334)(238,333)(239,335)(240,336)(241,337)(242,338)(243,339)(244,340) +> (245,341)(246,342)(247,343)(248,344)(249,346)(250,345)(251,348)(252,347) +> (253,350)(254,349)(255,352)(256,351)(289,414)(290,413)(291,406)(292,405) +> (293,409)(294,410)(295,401)(296,402)(297,415)(298,416)(299,407)(300,408) +> (301,411)(302,412)(303,404)(304,403)(305,392)(306,391)(307,399)(308,400) +> (309,387)(310,388)(311,396)(312,395)(313,390)(314,389)(315,398)(316,397) +> (317,385)(318,386)(319,394)(320,393)(353,375)(354,376)(355,368)(356,367) +> (357,373)(358,374)(361,371)(362,372)(365,370)(366,369)(377,384)(378,383) +> (417,440)(418,439)(419,432)(420,431)(421,438)(422,437)(425,436)(426,435) +> (429,433)(430,434)(441,448)(442,447), +> (3,14)(4,13)(5,25)(6,26)(7,37)(8,38)(15,17)(16,18) +> (19,20)(21,40)(22,39)(23,28)(24,27)(29,31)(30,32)(33,50) +> (34,49)(35,36)(41,63)(42,64)(45,46)(47,62)(48,61)(51,55) +> (52,56)(53,57)(54,58)(59,60)(65,101)(66,102)(67,109)(68,110) +> (69,97)(70,98)(71,105)(72,106)(73,103)(74,104)(75,112)(76,111) +> (77,99)(78,100)(79,108)(80,107)(81,113)(82,114)(83,121)(84,122) +> (85,117)(86,118)(87,126)(88,125)(89,115)(90,116)(91,123)(92,124) +> (93,120)(94,119)(95,127)(96,128)(129,245)(130,246)(131,247)(132,248) +> (133,241)(134,242)(135,244)(136,243)(137,254)(138,253)(139,256)(140,255) +> (141,250)(142,249)(143,252)(144,251)(145,226)(146,225)(147,227)(148,228) +> (149,230)(150,229)(151,232)(152,231)(153,233)(154,234)(155,236)(156,235) +> (157,237)(158,238)(159,240)(160,239)(161,165)(162,166)(163,173)(164,174) +> (167,169)(168,170)(171,176)(172,175)(179,185)(180,186)(183,190)(184,189) +> (193,213)(194,214)(195,210)(196,209)(197,222)(198,221)(199,217)(200,218) +> (203,205)(204,206)(211,224)(212,223)(257,353)(258,354)(259,355)(260,356) +> (261,375)(262,376)(263,384)(264,383)(265,377)(266,378)(267,370)(268,369) +> (269,368)(270,367)(271,366)(272,365)(273,364)(274,363)(275,371)(276,372) +> (277,382)(278,381)(279,357)(280,358)(281,361)(282,362)(283,379)(284,380) +> (285,374)(286,373)(287,360)(288,359)(289,299)(290,300)(293,304)(294,303) +> (305,319)(306,320)(307,311)(308,312)(309,316)(310,315)(313,318)(314,317) +> (321,346)(322,345)(323,349)(324,350)(325,337)(326,338)(327,342)(328,341) +> (329,336)(330,335)(343,348)(344,347)(385,439)(386,440)(387,447)(388,448) +> (389,418)(390,417)(391,419)(392,420)(393,432)(394,431)(395,430)(396,429) +> (397,442)(398,441)(399,433)(400,434)(401,446)(402,445)(403,422)(404,421) +> (405,427)(406,428)(407,435)(408,436)(409,437)(410,438)(411,424)(412,423) +> (413,425)(414,426)(415,444)(416,443), +> (1,3)(2,4)(5,17)(6,18)(7,19)(8,20)(9,21)(10,22) +> (11,23)(12,24)(13,46)(14,45)(15,49)(16,50)(25,61)(26,62) +> (27,35)(28,36)(29,55)(30,56)(31,57)(32,58)(33,48)(34,47) +> (37,43)(38,44)(39,59)(40,60)(41,52)(42,51)(53,63)(54,64) +> (65,77,66,78)(67,80,68,79)(69,74,70,73)(71,76,72,75) +> (81,88,82,87)(83,85,84,86)(89,96,90,95)(91,93,92,94) +> (97,226,98,225)(99,228,100,227)(101,230,102,229)(103,232,104,231) +> (105,234,106,233)(107,236,108,235)(109,238,110,237)(111,240,112,239) +> (113,242,114,241)(115,244,116,243)(117,246,118,245)(119,248,120,247) +> (121,250,122,249)(123,252,124,251)(125,254,126,253)(127,256,128,255) +> (129,141,130,142)(131,144,132,143)(133,138,134,137)(135,140,136,139) +> (145,152,146,151)(147,149,148,150)(153,160,154,159)(155,157,156,158) +> (161,290,162,289)(163,292,164,291)(165,294,166,293)(167,296,168,295) +> (169,298,170,297)(171,300,172,299)(173,302,174,301)(175,304,176,303) +> (177,306,178,305)(179,308,180,307)(181,310,182,309)(183,312,184,311) +> (185,314,186,313)(187,316,188,315)(189,318,190,317)(191,320,192,319) +> (193,209,194,210)(195,217,196,218)(197,213,198,214)(199,221,200,222) +> (201,212,202,211)(203,220,204,219)(205,215,206,216)(207,224,208,223) +> (257,280,258,279)(259,288,260,287)(261,275,262,276)(263,283,264,284) +> (265,277,266,278)(267,285,268,286)(269,273,270,274)(271,282,272,281) +> (321,338,322,337)(323,346,324,345)(325,342,326,341)(327,350,328,349) +> (329,339,330,340)(331,347,332,348)(333,344,334,343)(335,351,336,352) +> (353,365,354,366)(355,367,356,368)(357,362,358,361)(359,363,360,364) +> (369,376,370,375)(371,373,372,374)(377,383,378,384)(379,382,380,381) +> (385,408,386,407)(387,416,388,415)(389,403,390,404)(391,411,392,412) +> (393,405,394,406)(395,413,396,414)(397,401,398,402)(399,410,400,409) +> (417,430,418,429)(419,432,420,431)(421,425,422,426)(423,428,424,427) +> (433,439,434,440)(435,438,436,437)(441,448,442,447)(443,445,444,446), +> (1,6,2,5)(3,18,4,17)(7,16,8,15)(9,29,10,30) +> (11,32,12,31)(13,48,14,47)(19,50,20,49)(21,55,22,56) +> (23,58,24,57)(25,43,26,44)(27,51,28,52)(33,45,34,46) +> (35,42,36,41)(37,62,38,61)(39,54,40,53)(59,64,60,63) +> (65,78)(66,77)(67,80)(68,79)(69,73)(70,74)(71,76)(72,75) +> (81,88)(82,87)(83,86)(84,85)(89,95)(90,96)(91,93)(92,94) +> (97,225)(98,226)(99,227)(100,228)(101,230)(102,229)(103,232)(104,231) +> (105,234)(106,233)(107,236)(108,235)(109,237)(110,238)(111,239)(112,240) +> (113,242)(114,241)(115,243)(116,244)(117,245)(118,246)(119,248)(120,247) +> (121,250)(122,249)(123,251)(124,252)(125,253)(126,254)(127,256)(128,255) +> (129,142)(130,141)(131,144)(132,143)(133,137)(134,138)(135,140)(136,139) +> (145,152)(146,151)(147,150)(148,149)(153,159)(154,160)(155,157)(156,158) +> (161,290)(162,289)(163,291)(164,292)(165,293)(166,294)(167,296)(168,295) +> (169,298)(170,297)(171,299)(172,300)(173,301)(174,302)(175,304)(176,303) +> (177,306)(178,305)(179,308)(180,307)(181,309)(182,310)(183,311)(184,312) +> (185,313)(186,314)(187,315)(188,316)(189,318)(190,317)(191,320)(192,319) +> (193,321)(194,322)(195,323)(196,324)(197,325)(198,326)(199,327)(200,328) +> (201,329)(202,330)(203,331)(204,332)(205,333)(206,334)(207,335)(208,336) +> (209,337)(210,338)(211,339)(212,340)(213,341)(214,342)(215,343)(216,344) +> (217,345)(218,346)(219,347)(220,348)(221,349)(222,350)(223,351)(224,352) +> (257,280)(258,279)(259,288)(260,287)(261,276)(262,275)(263,284)(264,283) +> (265,277)(266,278)(267,285)(268,286)(269,274)(270,273)(271,281)(272,282) +> (353,417)(354,418)(355,419)(356,420)(357,421)(358,422)(359,423)(360,424) +> (361,425)(362,426)(363,427)(364,428)(365,429)(366,430)(367,431)(368,432) +> (369,433)(370,434)(371,435)(372,436)(373,437)(374,438)(375,439)(376,440) +> (377,441)(378,442)(379,443)(380,444)(381,445)(382,446)(383,447)(384,448) +> (385,408)(386,407)(387,416)(388,415)(389,404)(390,403)(391,412)(392,411) +> (393,405)(394,406)(395,413)(396,414)(397,402)(398,401)(399,409)(400,410), +> (1,7)(2,8)(3,19)(4,20)(5,15)(6,16)(9,27)(10,28) +> (11,39)(12,40)(13,44)(14,43)(17,49)(18,50)(21,35)(22,36) +> (23,59)(24,60)(25,48)(26,47)(29,51)(30,52)(31,53)(32,54) +> (33,61)(34,62)(37,45)(38,46)(41,56)(42,55)(57,63)(58,64) +> (65,89)(66,90)(67,81)(68,82)(69,93)(70,94)(71,85)(72,86) +> (73,91)(74,92)(75,83)(76,84)(77,96)(78,95)(79,87)(80,88) +> (97,230)(98,229)(99,232)(100,231)(101,225)(102,226)(103,227)(104,228) +> (105,237)(106,238)(107,240)(108,239)(109,234)(110,233)(111,235)(112,236) +> (113,246)(114,245)(115,248)(116,247)(117,241)(118,242)(119,243)(120,244) +> (121,254)(122,253)(123,256)(124,255)(125,249)(126,250)(127,251)(128,252) +> (129,153)(130,154)(131,145)(132,146)(133,157)(134,158)(135,149)(136,150) +> (137,155)(138,156)(139,147)(140,148)(141,160)(142,159)(143,151)(144,152) +> (161,315)(162,316)(163,307)(164,308)(165,320)(166,319)(167,312)(168,311) +> (169,314)(170,313)(171,306)(172,305)(173,318)(174,317)(175,309)(176,310) +> (177,299)(178,300)(179,292)(180,291)(181,304)(182,303)(183,295)(184,296) +> (185,297)(186,298)(187,290)(188,289)(189,301)(190,302)(191,293)(192,294) +> (193,201)(194,202)(195,204)(196,203)(197,206)(198,205)(199,208)(200,207) +> (209,212)(210,211)(213,216)(214,215)(217,219)(218,220)(221,223)(222,224) +> (257,385)(258,386)(259,387)(260,388)(261,389)(262,390)(263,391)(264,392) +> (265,393)(266,394)(267,395)(268,396)(269,397)(270,398)(271,399)(272,400) +> (273,401)(274,402)(275,403)(276,404)(277,405)(278,406)(279,407)(280,408) +> (281,409)(282,410)(283,411)(284,412)(285,413)(286,414)(287,415)(288,416) +> (321,329)(322,330)(323,332)(324,331)(325,334)(326,333)(327,336)(328,335) +> (337,340)(338,339)(341,344)(342,343)(345,347)(346,348)(349,351)(350,352) +> (353,419)(354,420)(355,417)(356,418)(357,423)(358,424)(359,421)(360,422) +> (361,427)(362,428)(363,425)(364,426)(365,432)(366,431)(367,430)(368,429) +> (369,442)(370,441)(371,444)(372,443)(373,446)(374,445)(375,448)(376,447) +> (377,434)(378,433)(379,436)(380,435)(381,438)(382,437)(383,440)(384,439), +> (1,10,2,9)(3,22,4,21)(5,30,6,29)(7,28,8,27) +> (11,44,12,43)(13,40,14,39)(15,52,16,51)(17,56,18,55) +> (19,36,20,35)(23,38,24,37)(25,32,26,31)(33,64,34,63) +> (41,50,42,49)(45,59,46,60)(47,53,48,54)(57,61,58,62) +> (69,70)(71,72)(77,78)(79,80)(85,86)(87,88)(93,94)(95,96) +> (97,98)(99,100)(105,106)(107,108)(117,118)(119,120)(125,126)(127,128) +> (133,134)(135,136)(141,142)(143,144)(149,150)(151,152)(157,158)(159,160) +> (161,312)(162,311)(163,319)(164,320)(165,308)(166,307)(167,315)(168,316) +> (169,310)(170,309)(171,317)(172,318)(173,305)(174,306)(175,313)(176,314) +> (177,301)(178,302)(179,294)(180,293)(181,298)(182,297)(183,290)(184,289) +> (185,303)(186,304)(187,295)(188,296)(189,299)(190,300)(191,291)(192,292) +> (193,338)(194,337)(195,345)(196,346)(197,341)(198,342)(199,350)(200,349) +> (201,339)(202,340)(203,348)(204,347)(205,343)(206,344)(207,351)(208,352) +> (209,321)(210,322)(211,330)(212,329)(213,326)(214,325)(215,334)(216,333) +> (217,324)(218,323)(219,331)(220,332)(221,327)(222,328)(223,336)(224,335) +> (229,230)(231,232)(237,238)(239,240)(241,242)(243,244)(249,250)(251,252) +> (259,260)(261,262)(265,266)(271,272)(273,274)(279,280)(283,284)(285,286) +> (355,356)(357,358)(363,364)(365,366)(373,374)(375,376)(377,378)(379,380) +> (387,388)(389,390)(393,394)(399,400)(401,402)(407,408)(411,412)(413,414) +> (417,418)(423,424)(425,426)(431,432)(433,434)(435,436)(445,446)(447,448), +> (1,12,2,11)(3,24,4,23)(5,32,6,31)(7,40,8,39) +> (9,44,10,43)(13,28,14,27)(15,54,16,53)(17,58,18,57) +> (19,60,20,59)(21,38,22,37)(25,30,26,29)(33,41,34,42) +> (35,46,36,45)(47,51,48,52)(49,64,50,63)(55,61,56,62) +> (65,129)(66,130)(67,131)(68,132)(69,133)(70,134)(71,135)(72,136) +> (73,137)(74,138)(75,139)(76,140)(77,141)(78,142)(79,143)(80,144) +> (81,145)(82,146)(83,147)(84,148)(85,149)(86,150)(87,151)(88,152) +> (89,153)(90,154)(91,155)(92,156)(93,157)(94,158)(95,159)(96,160) +> (97,241)(98,242)(99,250)(100,249)(101,245)(102,246)(103,254)(104,253) +> (105,244)(106,243)(107,251)(108,252)(109,247)(110,248)(111,255)(112,256) +> (113,226)(114,225)(115,233)(116,234)(117,230)(118,229)(119,238)(120,237) +> (121,227)(122,228)(123,236)(124,235)(125,231)(126,232)(127,240)(128,239) +> (161,312)(162,311)(163,319)(164,320)(165,308)(166,307)(167,315)(168,316) +> (169,310)(170,309)(171,317)(172,318)(173,305)(174,306)(175,313)(176,314) +> (177,302)(178,301)(179,293)(180,294)(181,297)(182,298)(183,289)(184,290) +> (185,304)(186,303)(187,296)(188,295)(189,300)(190,299)(191,292)(192,291) +> (193,337)(194,338)(195,345)(196,346)(197,341)(198,342)(199,349)(200,350) +> (201,340)(202,339)(203,348)(204,347)(205,343)(206,344)(207,352)(208,351) +> (209,321)(210,322)(211,330)(212,329)(213,325)(214,326)(215,333)(216,334) +> (217,323)(218,324)(219,332)(220,331)(221,327)(222,328)(223,336)(224,335) +> (257,395)(258,396)(259,394)(260,393)(261,400)(262,399)(263,398)(264,397) +> (265,388)(266,387)(267,385)(268,386)(269,392)(270,391)(271,390)(272,389) +> (273,412)(274,411)(275,409)(276,410)(277,415)(278,416)(279,414)(280,413) +> (281,403)(282,404)(283,402)(284,401)(285,408)(286,407)(287,405)(288,406) +> (353,430)(354,429)(355,431)(356,432)(357,426)(358,425)(359,428)(360,427) +> (361,422)(362,421)(363,424)(364,423)(365,418)(366,417)(367,419)(368,420) +> (369,440)(370,439)(371,437)(372,438)(373,435)(374,436)(375,434)(376,433) +> (377,448)(378,447)(379,445)(380,446)(381,443)(382,444)(383,442)(384,441), +> (3,4)(17,18)(19,20)(21,22)(23,24)(33,34)(35,36)(37,38) +> (41,42)(45,46)(49,50)(55,56)(57,58)(59,60)(61,62)(63,64) +> (65,95)(66,96)(67,87)(68,88)(69,92)(70,91)(71,84)(72,83) +> (73,93)(74,94)(75,85)(76,86)(77,89)(78,90)(79,82)(80,81) +> (97,102)(98,101)(99,103)(100,104)(105,109)(106,110)(107,111)(108,112) +> (113,118)(114,117)(115,120)(116,119)(121,125)(122,126)(123,127)(124,128) +> (129,159)(130,160)(131,151)(132,152)(133,156)(134,155)(135,148)(136,147) +> (137,157)(138,158)(139,149)(140,150)(141,153)(142,154)(143,146)(144,145) +> (161,188)(162,187)(163,179)(164,180)(165,191)(166,192)(167,184)(168,183) +> (169,186)(170,185)(171,177)(172,178)(173,190)(174,189)(175,182)(176,181) +> (193,211)(194,212)(195,220)(196,219)(197,215)(198,216)(199,224)(200,223) +> (201,209)(202,210)(203,218)(204,217)(205,214)(206,213)(207,222)(208,221) +> (225,230)(226,229)(227,231)(228,232)(233,237)(234,238)(235,239)(236,240) +> (241,246)(242,245)(243,248)(244,247)(249,253)(250,254)(251,255)(252,256) +> (257,286)(258,285)(259,278)(260,277)(261,281)(262,282)(263,273)(264,274) +> (265,288)(266,287)(267,280)(268,279)(269,284)(270,283)(271,275)(272,276) +> (289,316)(290,315)(291,307)(292,308)(293,319)(294,320)(295,312)(296,311) +> (297,314)(298,313)(299,305)(300,306)(301,318)(302,317)(303,310)(304,309) +> (321,340)(322,339)(323,347)(324,348)(325,344)(326,343)(327,351)(328,352) +> (329,338)(330,337)(331,345)(332,346)(333,341)(334,342)(335,349)(336,350) +> (353,355)(354,356)(357,360)(358,359)(361,363)(362,364)(365,367)(366,368) +> (369,378)(370,377)(371,380)(372,379)(373,381)(374,382)(375,383)(376,384) +> (385,413)(386,414)(387,405)(388,406)(389,410)(390,409)(391,402)(392,401) +> (393,415)(394,416)(395,407)(396,408)(397,411)(398,412)(399,404)(400,403) +> (417,420)(418,419)(421,423)(422,424)(425,428)(426,427)(429,432)(430,431) +> (433,441)(434,442)(435,443)(436,444)(437,446)(438,445)(439,448)(440,447), +> (7,8)(13,14)(15,16)(19,20)(27,28)(33,34)(35,36)(39,40) +> (41,42)(45,46)(47,48)(49,50)(51,52)(53,54)(59,60)(63,64) +> (65,70)(66,69)(67,71)(68,72)(73,77)(74,78)(75,79)(76,80) +> (81,86)(82,85)(83,88)(84,87)(89,93)(90,94)(91,95)(92,96) +> (97,124)(98,123)(99,115)(100,116)(101,127)(102,128)(103,120)(104,119) +> (105,122)(106,121)(107,113)(108,114)(109,126)(110,125)(111,118)(112,117) +> (129,134)(130,133)(131,135)(132,136)(137,141)(138,142)(139,143)(140,144) +> (145,150)(146,149)(147,152)(148,151)(153,157)(154,158)(155,159)(156,160) +> (161,191)(162,192)(163,183)(164,184)(165,188)(166,187)(167,180)(168,179) +> (169,189)(170,190)(171,181)(172,182)(173,185)(174,186)(175,178)(176,177) +> (193,204)(194,203)(195,202)(196,201)(197,207)(198,208)(199,206)(200,205) +> (209,219)(210,220)(211,217)(212,218)(213,224)(214,223)(215,222)(216,221) +> (225,252)(226,251)(227,243)(228,244)(229,255)(230,256)(231,248)(232,247) +> (233,250)(234,249)(235,241)(236,242)(237,254)(238,253)(239,246)(240,245) +> (257,259)(258,260)(261,264)(262,263)(265,267)(266,268)(269,271)(270,272) +> (273,282)(274,281)(275,284)(276,283)(277,285)(278,286)(279,287)(280,288) +> (289,319)(290,320)(291,311)(292,312)(293,316)(294,315)(295,308)(296,307) +> (297,317)(298,318)(299,309)(300,310)(301,313)(302,314)(303,306)(304,305) +> (321,332)(322,331)(323,330)(324,329)(325,335)(326,336)(327,334)(328,333) +> (337,347)(338,348)(339,345)(340,346)(341,352)(342,351)(343,350)(344,349) +> (353,373)(354,374)(355,381)(356,382)(357,369)(358,370)(359,377)(360,378) +> (361,375)(362,376)(363,383)(364,384)(365,372)(366,371)(367,379)(368,380) +> (385,388)(386,387)(389,391)(390,392)(393,396)(394,395)(397,400)(398,399) +> (401,409)(402,410)(403,411)(404,412)(405,414)(406,413)(407,416)(408,415) +> (417,437)(418,438)(419,445)(420,446)(421,433)(422,434)(423,441)(424,442) +> (425,439)(426,440)(427,447)(428,448)(429,436)(430,435)(431,443)(432,444), +> (7,8)(9,10)(15,16)(19,20)(21,22)(25,26)(29,30)(37,38) +> (39,40)(43,44)(49,50)(53,54)(55,56)(59,60)(61,62)(63,64) +> (65,80)(66,79)(67,78)(68,77)(69,75)(70,76)(71,74)(72,73) +> (81,95)(82,96)(83,93)(84,94)(85,92)(86,91)(87,90)(88,89) +> (97,115)(98,116)(99,124)(100,123)(101,119)(102,120)(103,128)(104,127) +> (105,113)(106,114)(107,122)(108,121)(109,118)(110,117)(111,126)(112,125) +> (129,144)(130,143)(131,142)(132,141)(133,139)(134,140)(135,138)(136,137) +> (145,159)(146,160)(147,157)(148,158)(149,156)(150,155)(151,154)(152,153) +> (161,190)(162,189)(163,182)(164,181)(165,185)(166,186)(167,177)(168,178) +> (169,192)(170,191)(171,184)(172,183)(173,188)(174,187)(175,179)(176,180) +> (193,198)(194,197)(195,199)(196,200)(201,205)(202,206)(203,207)(204,208) +> (209,214)(210,213)(211,216)(212,215)(217,221)(218,222)(219,223)(220,224) +> (225,243)(226,244)(227,252)(228,251)(229,247)(230,248)(231,256)(232,255) +> (233,241)(234,242)(235,250)(236,249)(237,246)(238,245)(239,254)(240,253) +> (257,284)(258,283)(259,275)(260,276)(261,287)(262,288)(263,280)(264,279) +> (265,282)(266,281)(267,273)(268,274)(269,286)(270,285)(271,278)(272,277) +> (289,318)(290,317)(291,310)(292,309)(293,313)(294,314)(295,305)(296,306) +> (297,320)(298,319)(299,312)(300,311)(301,316)(302,315)(303,307)(304,308) +> (321,326)(322,325)(323,327)(324,328)(329,333)(330,334)(331,335)(332,336) +> (337,342)(338,341)(339,344)(340,343)(345,349)(346,350)(347,351)(348,352) +> (353,378)(354,377)(355,369)(356,370)(357,381)(358,382)(359,374)(360,373) +> (361,380)(362,379)(363,371)(364,372)(365,384)(366,383)(367,376)(368,375) +> (385,412)(386,411)(387,403)(388,404)(389,415)(390,416)(391,408)(392,407) +> (393,410)(394,409)(395,401)(396,402)(397,414)(398,413)(399,406)(400,405) +> (417,442)(418,441)(419,433)(420,434)(421,445)(422,446)(423,438)(424,437) +> (425,444)(426,443)(427,435)(428,436)(429,448)(430,447)(431,440)(432,439), +> (3,4)(5,6)(7,8)(13,14)(21,22)(23,24)(25,26)(27,28) +> (29,30)(31,32)(33,34)(37,38)(39,40)(41,42)(49,50)(63,64) +> (65,67)(66,68)(69,72)(70,71)(73,75)(74,76)(77,79)(78,80) +> (81,90)(82,89)(83,92)(84,91)(85,93)(86,94)(87,95)(88,96) +> (97,106)(98,105)(99,108)(100,107)(101,109)(102,110)(103,112)(104,111) +> (113,116)(114,115)(117,120)(118,119)(121,124)(122,123)(125,128)(126,127) +> (129,131)(130,132)(133,136)(134,135)(137,139)(138,140)(141,143)(142,144) +> (145,154)(146,153)(147,156)(148,155)(149,157)(150,158)(151,159)(152,160) +> (161,172)(162,171)(163,170)(164,169)(165,175)(166,176)(167,174)(168,173) +> (177,187)(178,188)(179,185)(180,186)(181,192)(182,191)(183,190)(184,189) +> (193,213)(194,214)(195,221)(196,222)(197,209)(198,210)(199,217)(200,218) +> (201,215)(202,216)(203,223)(204,224)(205,212)(206,211)(207,219)(208,220) +> (225,233)(226,234)(227,235)(228,236)(229,238)(230,237)(231,239)(232,240) +> (241,243)(242,244)(245,247)(246,248)(249,251)(250,252)(253,255)(254,256) +> (257,264)(258,263)(259,261)(260,262)(265,272)(266,271)(267,270)(268,269) +> (273,285)(274,286)(275,287)(276,288)(277,282)(278,281)(279,284)(280,283) +> (289,299)(290,300)(291,297)(292,298)(293,304)(294,303)(295,301)(296,302) +> (305,316)(306,315)(307,314)(308,313)(309,319)(310,320)(311,317)(312,318) +> (321,341)(322,342)(323,349)(324,350)(325,337)(326,338)(327,345)(328,346) +> (329,343)(330,344)(331,351)(332,352)(333,340)(334,339)(335,347)(336,348) +> (353,383)(354,384)(355,375)(356,376)(357,380)(358,379)(359,372)(360,371) +> (361,381)(362,382)(363,373)(364,374)(365,377)(366,378)(367,370)(368,369) +> (385,391)(386,392)(387,390)(388,389)(393,399)(394,400)(395,397)(396,398) +> (401,414)(402,413)(403,416)(404,415)(405,409)(406,410)(407,411)(408,412) +> (417,447)(418,448)(419,439)(420,440)(421,444)(422,443)(423,436)(424,435) +> (425,445)(426,446)(427,437)(428,438)(429,441)(430,442)(431,434)(432,433), +> (65,66)(67,68)(69,70)(71,72)(73,74)(75,76)(77,78)(79,80) +> (81,82)(83,84)(85,86)(87,88)(89,90)(91,92)(93,94)(95,96) +> (97,98)(99,100)(101,102)(103,104)(105,106)(107,108)(109,110)(111,112) +> (113,114)(115,116)(117,118)(119,120)(121,122)(123,124)(125,126)(127,128) +> (129,130)(131,132)(133,134)(135,136)(137,138)(139,140)(141,142)(143,144) +> (145,146)(147,148)(149,150)(151,152)(153,154)(155,156)(157,158)(159,160) +> (161,162)(163,164)(165,166)(167,168)(169,170)(171,172)(173,174)(175,176) +> (177,178)(179,180)(181,182)(183,184)(185,186)(187,188)(189,190)(191,192) +> (193,194)(195,196)(197,198)(199,200)(201,202)(203,204)(205,206)(207,208) +> (209,210)(211,212)(213,214)(215,216)(217,218)(219,220)(221,222)(223,224) +> (225,226)(227,228)(229,230)(231,232)(233,234)(235,236)(237,238)(239,240) +> (241,242)(243,244)(245,246)(247,248)(249,250)(251,252)(253,254)(255,256) +> (257,258)(259,260)(261,262)(263,264)(265,266)(267,268)(269,270)(271,272) +> (273,274)(275,276)(277,278)(279,280)(281,282)(283,284)(285,286)(287,288) +> (289,290)(291,292)(293,294)(295,296)(297,298)(299,300)(301,302)(303,304) +> (305,306)(307,308)(309,310)(311,312)(313,314)(315,316)(317,318)(319,320) +> (321,322)(323,324)(325,326)(327,328)(329,330)(331,332)(333,334)(335,336) +> (337,338)(339,340)(341,342)(343,344)(345,346)(347,348)(349,350)(351,352) +> (353,354)(355,356)(357,358)(359,360)(361,362)(363,364)(365,366)(367,368) +> (369,370)(371,372)(373,374)(375,376)(377,378)(379,380)(381,382)(383,384) +> (385,386)(387,388)(389,390)(391,392)(393,394)(395,396)(397,398)(399,400) +> (401,402)(403,404)(405,406)(407,408)(409,410)(411,412)(413,414)(415,416) +> (417,418)(419,420)(421,422)(423,424)(425,426)(427,428)(429,430)(431,432) +> (433,434)(435,436)(437,438)(439,440)(441,442)(443,444)(445,446)(447,448), +> (65,66)(67,68)(69,70)(71,72)(73,74)(75,76)(77,78)(79,80) +> (81,82)(83,84)(85,86)(87,88)(89,90)(91,92)(93,94)(95,96) +> (97,98)(99,100)(101,102)(103,104)(105,106)(107,108)(109,110)(111,112) +> (113,114)(115,116)(117,118)(119,120)(121,122)(123,124)(125,126)(127,128) +> (129,130)(131,132)(133,134)(135,136)(137,138)(139,140)(141,142)(143,144) +> (145,146)(147,148)(149,150)(151,152)(153,154)(155,156)(157,158)(159,160) +> (161,162)(163,164)(165,166)(167,168)(169,170)(171,172)(173,174)(175,176) +> (177,178)(179,180)(181,182)(183,184)(185,186)(187,188)(189,190)(191,192) +> (193,194)(195,196)(197,198)(199,200)(201,202)(203,204)(205,206)(207,208) +> (209,210)(211,212)(213,214)(215,216)(217,218)(219,220)(221,222)(223,224) +> (225,226)(227,228)(229,230)(231,232)(233,234)(235,236)(237,238)(239,240) +> (241,242)(243,244)(245,246)(247,248)(249,250)(251,252)(253,254)(255,256) +> (257,258)(259,260)(261,262)(263,264)(265,266)(267,268)(269,270)(271,272) +> (273,274)(275,276)(277,278)(279,280)(281,282)(283,284)(285,286)(287,288) +> (289,290)(291,292)(293,294)(295,296)(297,298)(299,300)(301,302)(303,304) +> (305,306)(307,308)(309,310)(311,312)(313,314)(315,316)(317,318)(319,320) +> (321,322)(323,324)(325,326)(327,328)(329,330)(331,332)(333,334)(335,336) +> (337,338)(339,340)(341,342)(343,344)(345,346)(347,348)(349,350)(351,352) +> (353,354)(355,356)(357,358)(359,360)(361,362)(363,364)(365,366)(367,368) +> (369,370)(371,372)(373,374)(375,376)(377,378)(379,380)(381,382)(383,384) +> (385,386)(387,388)(389,390)(391,392)(393,394)(395,396)(397,398)(399,400) +> (401,402)(403,404)(405,406)(407,408)(409,410)(411,412)(413,414)(415,416) +> (417,418)(419,420)(421,422)(423,424)(425,426)(427,428)(429,430)(431,432) +> (433,434)(435,436)(437,438)(439,440)(441,442)(443,444)(445,446)(447,448), +> (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16) +> (17,18)(19,20)(21,22)(23,24)(25,26)(27,28)(29,30)(31,32) +> (33,34)(35,36)(37,38)(39,40)(41,42)(43,44)(45,46)(47,48) +> (49,50)(51,52)(53,54)(55,56)(57,58)(59,60)(61,62)(63, +> 64));; +gap> b:=Group( +> (1,12,2,11)(3,7,20,23,39,60,4,8,19,24,40,59) +> (5,41,36,31,33,46,6,42,35,32,34,45)(9,58,55,43, +> 17,62,10,57,56,44,18,61)(13,53,30,27,16,25,14,54, +> 29,28,15,26)(21,49,51,37,63,47,22,50,52,38,64,48) +> (65,413,114,129,280,225)(66,414,113,130,279,226)(67,406,100,131, +> 288,249)(68,405,99,132,287,250)(69,410,116,133,276,234) +> (70,409,115,134,275,233)(71,401,107,135,284,251)(72,402,108,136, +> 283,252)(73,416,118,137,278,229)(74,415,117,138,277,230) +> (75,407,103,139,286,254)(76,408,104,140,285,253)(77,412,119,141, +> 273,238)(78,411,120,142,274,237)(79,404,112,143,282,256) +> (80,403,111,144,281,255)(81,392,98,145,269,242)(82,391,97,146, +> 270,241)(83,399,102,147,262,246)(84,400,101,148,261,245) +> (85,387,106,149,266,243)(86,388,105,150,265,244)(87,396,109,151, +> 258,247)(88,395,110,152,257,248)(89,389,122,153,272,228) +> (90,390,121,154,271,227)(91,397,125,155,264,231)(92,398,126,156, +> 263,232)(93,386,123,157,268,236)(94,385,124,158,267,235) +> (95,393,128,159,260,239)(96,394,127,160,259,240)(161,321,376,312, +> 209,433)(162,322,375,311,210,434)(163,324,384,319,218,441) +> (164,323,383,320,217,442)(165,325,372,308,213,438)(166,326,371,307, +> 214,437)(167,328,380,315,222,446)(168,327,379,316,221,445) +> (169,330,374,310,211,436)(170,329,373,309,212,435)(171,331,382,317, +> 220,444)(172,332,381,318,219,443)(173,334,369,305,216,440) +> (174,333,370,306,215,439)(175,335,378,313,224,447)(176,336,377,314, +> 223,448)(177,337,365,302,193,418)(178,338,366,301,194,417) +> (179,340,358,293,201,425)(180,339,357,294,202,426)(181,341,362,297, +> 197,421)(182,342,361,298,198,422)(183,344,354,289,206,429) +> (184,343,353,290,205,430)(185,346,368,304,196,420)(186,345,367,303, +> 195,419)(187,347,360,296,204,427)(188,348,359,295,203,428) +> (189,350,364,300,200,423)(190,349,363,299,199,424)(191,351,356,292, +> 208,432)(192,352,355,291,207,431), +> (1,12,2,11)(3,7,4,8)(5,42,6,41)(9,43,10,44) +> (13,38,14,37)(15,48,16,47)(17,61,18,62)(19,60,20,59) +> (21,28,22,27)(23,39,24,40)(25,64,26,63)(29,49,30,50) +> (31,34,32,33)(35,45,36,46)(51,54,52,53)(55,58,56,57) +> (65,228)(66,227)(67,236)(68,235)(69,242)(70,241)(71,243) +> (72,244)(73,256)(74,255)(75,254)(76,253)(77,238)(78,237) +> (79,229)(80,230)(81,234)(82,233)(83,246)(84,245)(85,251) +> (86,252)(87,231)(88,232)(89,225)(90,226)(91,247)(92,248) +> (93,249)(94,250)(95,239)(96,240)(97,134)(98,133)(99,158) +> (100,157)(101,148)(102,147)(103,139)(104,140)(105,136)(106,135) +> (107,149)(108,150)(109,155)(110,156)(111,138)(112,137)(113,154) +> (114,153)(115,146)(116,145)(117,144)(118,143)(119,141)(120,142) +> (121,130)(122,129)(123,131)(124,132)(125,151)(126,152)(127,160) +> (128,159)(161,321)(162,322)(163,343)(164,344)(165,346)(166,345) +> (167,335)(168,336)(169,330)(170,329)(171,342)(172,341)(173,348) +> (174,347)(175,328)(176,327)(177,340)(178,339)(179,337)(180,338) +> (181,332)(182,331)(183,323)(184,324)(185,325)(186,326)(187,333) +> (188,334)(189,350)(190,349)(191,351)(192,352)(193,293)(194,294) +> (195,307)(196,308)(197,318)(198,317)(199,299)(200,300)(201,302) +> (202,301)(203,305)(204,306)(205,319)(206,320)(207,291)(208,292) +> (209,312)(210,311)(211,310)(212,309)(213,304)(214,303)(215,296) +> (216,295)(217,289)(218,290)(219,297)(220,298)(221,314)(222,313) +> (223,316)(224,315)(257,398)(258,397)(259,394)(260,393)(261,400) +> (262,399)(263,395)(264,396)(265,402)(266,401)(267,405)(268,406) +> (269,410)(270,409)(271,414)(272,413)(273,412)(274,411)(275,391) +> (276,392)(277,403)(278,404)(279,390)(280,389)(281,415)(282,416) +> (283,388)(284,387)(285,408)(286,407)(287,385)(288,386)(353,441) +> (354,442)(355,431)(356,432)(357,417)(358,418)(359,440)(360,439) +> (361,444)(362,443)(363,424)(364,423)(365,425)(366,426)(367,437) +> (368,438)(369,428)(370,427)(371,419)(372,420)(373,435)(374,436) +> (375,434)(376,433)(377,445)(378,446)(379,448)(380,447)(381,421) +> (382,422)(383,429)(384,430),(1,16,2,15)(3,50,4,49) +> (5,7,6,8)(9,51,10,52)(11,54,12,53)(13,25,14,26) +> (17,19,18,20)(21,42,22,41)(23,64,24,63)(27,29,28,30) +> (31,39,32,40)(33,37,34,38)(35,55,36,56)(43,47,44,48) +> (45,62,46,61)(57,59,58,60)(65,95)(66,96)(67,88) +> (68,87)(69,91)(70,92)(71,84)(72,83)(73,93)(74,94) +> (75,86)(76,85)(77,90)(78,89)(79,82)(80,81)(97,101) +> (98,102)(99,103)(100,104)(105,109)(106,110)(107,112)(108,111) +> (113,118)(114,117)(115,119)(116,120)(121,126)(122,125)(123,127) +> (124,128)(129,159)(130,160)(131,152)(132,151)(133,155)(134,156) +> (135,148)(136,147)(137,157)(138,158)(139,150)(140,149)(141,154) +> (142,153)(143,146)(144,145)(161,187)(162,188)(163,180)(164,179) +> (165,191)(166,192)(167,184)(168,183)(169,186)(170,185)(171,177) +> (172,178)(173,189)(174,190)(175,181)(176,182)(193,329)(194,330) +> (195,332)(196,331)(197,334)(198,333)(199,336)(200,335)(201,321) +> (202,322)(203,324)(204,323)(205,326)(206,325)(207,328)(208,327) +> (209,340)(210,339)(211,338)(212,337)(213,344)(214,343)(215,342) +> (216,341)(217,347)(218,348)(219,345)(220,346)(221,351)(222,352) +> (223,349)(224,350)(225,230)(226,229)(227,232)(228,231)(233,238) +> (234,237)(235,239)(236,240)(241,245)(242,246)(243,248)(244,247) +> (249,253)(250,254)(251,256)(252,255)(257,408)(258,407)(259,416) +> (260,415)(261,404)(262,403)(263,412)(264,411)(265,405)(266,406) +> (267,413)(268,414)(269,402)(270,401)(271,409)(272,410)(273,398) +> (274,397)(275,390)(276,389)(277,393)(278,394)(279,386)(280,385) +> (281,399)(282,400)(283,392)(284,391)(285,395)(286,396)(287,388) +> (288,387)(289,316)(290,315)(291,307)(292,308)(293,320)(294,319) +> (295,311)(296,312)(297,313)(298,314)(299,306)(300,305)(301,318) +> (302,317)(303,310)(304,309)(353,355)(354,356)(357,359)(358,360) +> (361,363)(362,364)(365,368)(366,367)(369,378)(370,377)(371,380) +> (372,379)(373,382)(374,381)(375,384)(376,383)(417,419)(418,420) +> (421,423)(422,424)(425,427)(426,428)(429,432)(430,431)(433,442) +> (434,441)(435,444)(436,443)(437,446)(438,445)(439,448)(440,447), +> (1,18,2,17)(3,6,4,5)(7,49,8,50)(9,55,10,56) +> (11,58,12,57)(13,34,14,33)(15,20,16,19)(21,29,22,30) +> (23,32,24,31)(25,37,26,38)(27,41,28,42)(35,52,36,51) +> (39,63,40,64)(43,62,44,61)(45,48,46,47)(53,60,54,59) +> (65,70)(66,69)(67,72)(68,71)(73,78)(74,77)(75,79) +> (76,80)(81,85)(82,86)(83,88)(84,87)(89,93)(90,94) +> (91,96)(92,95)(97,124)(98,123)(99,115)(100,116)(101,128) +> (102,127)(103,119)(104,120)(105,121)(106,122)(107,114)(108,113) +> (109,126)(110,125)(111,118)(112,117)(129,134)(130,133)(131,136) +> (132,135)(137,142)(138,141)(139,143)(140,144)(145,149)(146,150) +> (147,152)(148,151)(153,157)(154,158)(155,160)(156,159)(161,192) +> (162,191)(163,183)(164,184)(165,188)(166,187)(167,179)(168,180) +> (169,190)(170,189)(171,181)(172,182)(173,185)(174,186)(175,177) +> (176,178)(193,348)(194,347)(195,340)(196,339)(197,351)(198,352) +> (199,343)(200,344)(201,345)(202,346)(203,337)(204,338)(205,349) +> (206,350)(207,342)(208,341)(209,332)(210,331)(211,323)(212,324) +> (213,335)(214,336)(215,328)(216,327)(217,330)(218,329)(219,321) +> (220,322)(221,334)(222,333)(223,326)(224,325)(225,251)(226,252) +> (227,244)(228,243)(229,255)(230,256)(231,248)(232,247)(233,250) +> (234,249)(235,241)(236,242)(237,253)(238,254)(239,245)(240,246) +> (257,260)(258,259)(261,264)(262,263)(265,268)(266,267)(269,271) +> (270,272)(273,281)(274,282)(275,283)(276,284)(277,285)(278,286) +> (279,287)(280,288)(289,319)(290,320)(291,312)(292,311)(293,315) +> (294,316)(295,308)(296,307)(297,317)(298,318)(299,310)(300,309) +> (301,314)(302,313)(303,306)(304,305)(353,435)(354,436)(355,444) +> (356,443)(357,439)(358,440)(359,448)(360,447)(361,434)(362,433) +> (363,441)(364,442)(365,437)(366,438)(367,445)(368,446)(369,425) +> (370,426)(371,418)(372,417)(373,430)(374,429)(375,422)(376,421) +> (377,428)(378,427)(379,419)(380,420)(381,432)(382,431)(383,423) +> (384,424)(385,387)(386,388)(389,391)(390,392)(393,395)(394,396) +> (397,400)(398,399)(401,410)(402,409)(403,412)(404,411)(405,414) +> (406,413)(407,416)(408,415));; +gap> c:=Group((1,12,2,11)(3,7,20,23,39,60,4,8,19,24,40,59) +> (5,42,36,31,34,46,6,41,35,32,33,45)(9,58,56,43, +> 17,61,10,57,55,44,18,62)(13,53,29,27,16,26,14,54, +> 30,28,15,25)(21,49,52,37,63,48,22,50,51,38,64,47) +> (65,400,103,129,261,254)(66,399,104,130,262,253)(67,397,118,131, +> 264,229)(68,398,117,132,263,230)(69,395,111,133,257,255) +> (70,396,112,134,258,256)(71,393,119,135,260,238)(72,394,120,136, +> 259,237)(73,391,100,137,270,249)(74,392,99,138,269,250) +> (75,389,114,139,272,225)(76,390,113,140,271,226)(77,387,107,141, +> 266,251)(78,388,108,142,265,252)(79,386,115,143,268,233) +> (80,385,116,144,267,234)(81,415,126,145,277,232)(82,416,125,146, +> 278,231)(83,414,121,147,279,227)(84,413,122,148,280,228) +> (85,412,128,149,273,239)(86,411,127,150,274,240)(87,409,123,151, +> 275,236)(88,410,124,152,276,235)(89,407,101,153,286,245) +> (90,408,102,154,285,246)(91,406,97,155,288,241)(92,405,98,156, +> 287,242)(93,404,109,157,282,247)(94,403,110,158,281,248) +> (95,401,106,159,284,243)(96,402,105,160,283,244)(161,335,374,312, +> 224,436)(162,336,373,311,223,435)(163,334,382,319,216,444) +> (164,333,381,320,215,443)(165,332,370,308,219,439)(166,331,369,307, +> 220,440)(167,330,378,315,211,447)(168,329,377,316,212,448) +> (169,328,376,310,222,433)(170,327,375,309,221,434)(171,326,384,317, +> 214,441)(172,325,383,318,213,442)(173,324,371,305,218,437) +> (174,323,372,306,217,438)(175,321,380,313,209,446)(176,322,379,314, +> 210,445)(177,352,358,302,207,425)(178,351,357,301,208,426) +> (179,349,365,293,199,418)(180,350,366,294,200,417)(181,347,354,297, +> 204,429)(182,348,353,298,203,430)(183,346,362,289,196,421) +> (184,345,361,290,195,422)(185,344,360,304,206,427)(186,343,359,303, +> 205,428)(187,341,368,296,197,420)(188,342,367,295,198,419) +> (189,339,356,300,202,432)(190,340,355,299,201,431)(191,338,364,292, +> 194,423)(192,337,363,291,193,424), +> (1,12,2,11)(3,7,4,8)(5,41,6,42)(9,43,10,44) +> (13,38,14,37)(15,47,16,48)(17,62,18,61)(19,60,20,59) +> (21,28,22,27)(23,39,24,40)(25,63,26,64)(29,50,30,49) +> (31,33,32,34)(35,45,36,46)(51,53,52,54)(55,57,56,58) +> (65,246)(66,245)(67,248)(68,247)(69,231)(70,232)(71,240) +> (72,239)(73,234)(74,233)(75,226)(76,225)(77,252)(78,251) +> (79,250)(80,249)(81,256)(82,255)(83,228)(84,227)(85,237) +> (86,238)(87,242)(88,241)(89,253)(90,254)(91,235)(92,236) +> (93,230)(94,229)(95,244)(96,243)(97,152)(98,151)(99,143) +> (100,144)(101,130)(102,129)(103,154)(104,153)(105,159)(106,160) +> (107,142)(108,141)(109,132)(110,131)(111,146)(112,145)(113,139) +> (114,140)(115,138)(116,137)(117,157)(118,158)(119,150)(120,149) +> (121,148)(122,147)(123,156)(124,155)(125,133)(126,134)(127,135) +> (128,136)(161,327)(162,328)(163,347)(164,348)(165,342)(166,341) +> (167,329)(168,330)(169,336)(170,335)(171,346)(172,345)(173,344) +> (174,343)(175,322)(176,321)(177,351)(178,352)(179,350)(180,349) +> (181,334)(182,333)(183,326)(184,325)(185,324)(186,323)(187,331) +> (188,332)(189,337)(190,338)(191,340)(192,339)(193,300)(194,299) +> (195,318)(196,317)(197,307)(198,308)(199,294)(200,293)(201,292) +> (202,291)(203,320)(204,319)(205,306)(206,305)(207,301)(208,302) +> (209,314)(210,313)(211,316)(212,315)(213,290)(214,289)(215,298) +> (216,297)(217,303)(218,304)(219,295)(220,296)(221,312)(222,311) +> (223,310)(224,309)(257,416)(258,415)(259,412)(260,411)(261,408) +> (262,407)(263,404)(264,403)(265,387)(266,388)(267,391)(268,392) +> (269,386)(270,385)(271,389)(272,390)(273,394)(274,393)(275,405) +> (276,406)(277,396)(278,395)(279,413)(280,414)(281,397)(282,398) +> (283,401)(284,402)(285,400)(286,399)(287,409)(288,410)(353,443) +> (354,444)(355,423)(356,424)(357,425)(358,426)(359,438)(360,437) +> (361,442)(362,441)(363,432)(364,431)(365,417)(366,418)(367,439) +> (368,440)(369,420)(370,419)(371,427)(372,428)(373,433)(374,434) +> (375,436)(376,435)(377,447)(378,448)(379,446)(380,445)(381,430) +> (382,429)(383,422)(384,421),(1,18,2,17)(3,6,4,5) +> (7,49,8,50)(9,55,10,56)(11,58,12,57)(13,34,14,33) +> (15,20,16,19)(21,29,22,30)(23,32,24,31)(25,37,26,38) +> (27,41,28,42)(35,52,36,51)(39,63,40,64)(43,62,44,61) +> (45,48,46,47)(53,60,54,59)(65,70)(66,69)(67,72) +> (68,71)(73,78)(74,77)(75,79)(76,80)(81,85)(82,86) +> (83,88)(84,87)(89,93)(90,94)(91,96)(92,95)(97,124) +> (98,123)(99,115)(100,116)(101,128)(102,127)(103,119)(104,120) +> (105,121)(106,122)(107,114)(108,113)(109,126)(110,125)(111,118) +> (112,117)(129,134)(130,133)(131,136)(132,135)(137,142)(138,141) +> (139,143)(140,144)(145,149)(146,150)(147,152)(148,151)(153,157) +> (154,158)(155,160)(156,159)(161,192)(162,191)(163,183)(164,184) +> (165,188)(166,187)(167,179)(168,180)(169,190)(170,189)(171,181) +> (172,182)(173,185)(174,186)(175,177)(176,178)(193,348)(194,347) +> (195,340)(196,339)(197,351)(198,352)(199,343)(200,344)(201,345) +> (202,346)(203,337)(204,338)(205,349)(206,350)(207,342)(208,341) +> (209,332)(210,331)(211,323)(212,324)(213,335)(214,336)(215,328) +> (216,327)(217,330)(218,329)(219,321)(220,322)(221,334)(222,333) +> (223,326)(224,325)(225,251)(226,252)(227,244)(228,243)(229,255) +> (230,256)(231,248)(232,247)(233,250)(234,249)(235,241)(236,242) +> (237,253)(238,254)(239,245)(240,246)(257,260)(258,259)(261,264) +> (262,263)(265,268)(266,267)(269,271)(270,272)(273,281)(274,282) +> (275,283)(276,284)(277,285)(278,286)(279,287)(280,288)(289,319) +> (290,320)(291,312)(292,311)(293,315)(294,316)(295,308)(296,307) +> (297,317)(298,318)(299,310)(300,309)(301,314)(302,313)(303,306) +> (304,305)(353,435)(354,436)(355,444)(356,443)(357,439)(358,440) +> (359,448)(360,447)(361,434)(362,433)(363,441)(364,442)(365,437) +> (366,438)(367,445)(368,446)(369,425)(370,426)(371,418)(372,417) +> (373,430)(374,429)(375,422)(376,421)(377,428)(378,427)(379,419) +> (380,420)(381,432)(382,431)(383,423)(384,424)(385,387)(386,388) +> (389,391)(390,392)(393,395)(394,396)(397,400)(398,399)(401,410) +> (402,409)(403,412)(404,411)(405,414)(406,413)(407,416)(408,415), +> (1,16,2,15)(3,50,4,49)(5,7,6,8)(9,51,10,52) +> (11,54,12,53)(13,25,14,26)(17,19,18,20)(21,42,22,41) +> (23,64,24,63)(27,29,28,30)(31,39,32,40)(33,37,34,38) +> (35,55,36,56)(43,47,44,48)(45,62,46,61)(57,59,58,60) +> (65,95)(66,96)(67,88)(68,87)(69,91)(70,92)(71,84) +> (72,83)(73,93)(74,94)(75,86)(76,85)(77,90)(78,89) +> (79,82)(80,81)(97,101)(98,102)(99,103)(100,104)(105,109) +> (106,110)(107,112)(108,111)(113,118)(114,117)(115,119)(116,120) +> (121,126)(122,125)(123,127)(124,128)(129,159)(130,160)(131,152) +> (132,151)(133,155)(134,156)(135,148)(136,147)(137,157)(138,158) +> (139,150)(140,149)(141,154)(142,153)(143,146)(144,145)(161,187) +> (162,188)(163,180)(164,179)(165,191)(166,192)(167,184)(168,183) +> (169,186)(170,185)(171,177)(172,178)(173,189)(174,190)(175,181) +> (176,182)(193,329)(194,330)(195,332)(196,331)(197,334)(198,333) +> (199,336)(200,335)(201,321)(202,322)(203,324)(204,323)(205,326) +> (206,325)(207,328)(208,327)(209,340)(210,339)(211,338)(212,337) +> (213,344)(214,343)(215,342)(216,341)(217,347)(218,348)(219,345) +> (220,346)(221,351)(222,352)(223,349)(224,350)(225,230)(226,229) +> (227,232)(228,231)(233,238)(234,237)(235,239)(236,240)(241,245) +> (242,246)(243,248)(244,247)(249,253)(250,254)(251,256)(252,255) +> (257,408)(258,407)(259,416)(260,415)(261,404)(262,403)(263,412) +> (264,411)(265,405)(266,406)(267,413)(268,414)(269,402)(270,401) +> (271,409)(272,410)(273,398)(274,397)(275,390)(276,389)(277,393) +> (278,394)(279,386)(280,385)(281,399)(282,400)(283,392)(284,391) +> (285,395)(286,396)(287,388)(288,387)(289,316)(290,315)(291,307) +> (292,308)(293,320)(294,319)(295,311)(296,312)(297,313)(298,314) +> (299,306)(300,305)(301,318)(302,317)(303,310)(304,309)(353,355) +> (354,356)(357,359)(358,360)(361,363)(362,364)(365,368)(366,367) +> (369,378)(370,377)(371,380)(372,379)(373,382)(374,381)(375,384) +> (376,383)(417,419)(418,420)(421,423)(422,424)(425,427)(426,428) +> (429,432)(430,431)(433,442)(434,441)(435,444)(436,443)(437,446) +> (438,445)(439,448)(440,447));; +gap> erg:=RepresentativeAction(a,b,c);; +gap> erg in a; +true +gap> b^erg=c; +true From 9755bf305a037e3ec3593b9d2d5a878dcb844a88 Mon Sep 17 00:00:00 2001 From: Alexander Hulpke Date: Tue, 19 Nov 2019 13:00:44 -0700 Subject: [PATCH 3/3] REBASE: Info warnings --- tst/testbugfix/2019-11-19-backtrack.tst | 176 ++++++++++++++++++++++++ 1 file changed, 176 insertions(+) diff --git a/tst/testbugfix/2019-11-19-backtrack.tst b/tst/testbugfix/2019-11-19-backtrack.tst index fffac69d8a..31d7adf6a6 100644 --- a/tst/testbugfix/2019-11-19-backtrack.tst +++ b/tst/testbugfix/2019-11-19-backtrack.tst @@ -622,6 +622,182 @@ gap> c:=Group((1,12,2,11)(3,7,20,23,39,60,4,8,19,24,40,59) > (429,432)(430,431)(433,442)(434,441)(435,444)(436,443)(437,446) > (438,445)(439,448)(440,447));; gap> erg:=RepresentativeAction(a,b,c);; +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! +#I suborbits variant triggered, check! gap> erg in a; true gap> b^erg=c;