|
SCN.DATA := [];
##
## [ Code, Size ] ( PcGroup ) or [ Generators ] ( PermGroup ),
##
SCN.DATA[1] := [
[ 0, 1 ]
];
SCN.DATA[2] := [
[ 0, 2 ]
];
SCN.DATA[3] := [
[ 0, 3 ],
[ 25, 6 ]
];
SCN.DATA[4] := [
[ 5, 4 ],
[ 0, 4 ],
[ 227, 10 ],
[ 7012, 12 ]
];
SCN.DATA[5] := [
[ 0, 5 ],
[ 36, 8 ],
[ 2343, 8 ],
[ 797, 14 ],
[ 2510403, 20 ],
[ 227, 21 ],
[ 5790338948, 24 ],
[ (1,2,3), (1,4,5) ]
];
SCN.DATA[6] := [
[ 1, 6 ],
[ 3913, 12 ],
[ 321, 12 ],
[ 106355, 18 ],
[ 5475, 18 ],
[ 14981017363, 36 ],
[ 395011278090722335331, 72 ],
[ (1,2,3)(4,5,6), (1,4)(2,7) ]
];
SCN.DATA[7] := [
[ 0, 7 ],
[ 2245212, 16 ],
[ 35922525, 16 ],
[ 574759519, 16 ],
[ 3809, 22 ],
[ 3317376488, 24 ],
[ 1463, 39 ],
[ 330059, 42 ],
[ 1665614027, 52 ],
[ 1439, 55 ],
[ (1,2,3,4), (1,5) ],
[ (1,2,3,4,5), (1,2,6) ]
];
SCN.DATA[8] := [
[ 323, 8 ],
[ 33, 8 ],
[ 0, 8 ],
[ 133699, 20 ],
[ 6659, 20 ],
[ 420868, 24 ],
[ 6635, 26 ],
[ 276070751805136, 48 ],
[ 16352318614672076712, 48 ],
[ 340673304472416136, 48 ],
[ 119795621392, 48 ],
[ 8439127992, 56 ],
[ 9200439311, 68 ],
[ 9275927, 78 ],
[ 121887296570112, 80 ],
[ 11509314698901829264200, 168 ],
[ 132096126953042561369590799, 200 ],
[ 18492777126378635219665951, 300 ],
[ 28281902857911378608553757957412140482978831, 600 ],
[ (1,2,3)(4,5,6)(7,8,9), (1,4)(2,7)(3,10)(5,11) ],
[ (1,2,3,4)(5,6,7,8), (1,2,3,5)(4,9,7,10) ]
];
SCN.DATA[9] := [
[ 5, 9 ],
[ 0, 9 ],
[ 323, 18 ],
[ 128017073, 24 ],
[ 5333665, 24 ],
[ 221825, 24 ],
[ 195335, 30 ],
[ 894467, 36 ],
[ 8459, 57 ],
[ 85919707399, 60 ],
[ 149167619499417164, 72 ],
[ 5485182275489618019, 72 ],
[ 1057720606902787, 72 ],
[ 2071772490948108, 72 ],
[ 130963427, 114 ],
[ (1,2,3,4,5)(6,7,8,9,10)(11,12,13,14,15)(16,17,18,19,20), (1,6,11,16,21)(2,20,9,22,13)(4,12,23,10,18)(5,24,17,14,8) ],
[ 37832585391152708497031906052419, 144 ],
[ 6187272061426060786703860752448, 192 ],
[ 8408221185850301309215122191243409878848, 192 ],
[ (1,2,3,4,5,6), (1,2,5,6,7,8) ],
[ (1,2,3,4,5,6,7), (1,2,3,6,8,9,5) ],
[ (1,2,3,4,5)(6,7,8,9,10)(11,12,13,14,15), (1,2,4,6,11)(3,7,12,9,13)(5,15,14,16,8) ],
[ (1,2,3,4,5,6)(7,8,9,10,11,12), (1,2,7,13,14,9)(3,11,6,12,8,10) ],
[ 1721650833599572476585223880195284008598657596419, 1176 ],
[ 914116286094504205208122913547656296152536547168645701130664281442671609347, 2352 ],
[ (1,2,3,4,5), (1,6,7) ]
];
SCN.DATA[10] := [
[ 3, 10 ],
[ 16905, 16 ],
[ 279051, 16 ],
[ 140301, 16 ],
[ 520, 16 ],
[ 139787, 16 ],
[ 8716, 16 ],
[ 1018013, 28 ],
[ 36293, 28 ],
[ 15887, 34 ],
[ 25403106051, 40 ],
[ 635117827, 40 ],
[ 10379, 42 ],
[ 275708419185700, 48 ],
[ 5743925468164, 48 ],
[ 24356615, 54 ],
[ 1315620679, 54 ],
[ 25290119, 54 ],
[ 94448863022361708772424464, 96 ],
[ 1111956731590553616, 96 ],
[ 10248357525302016946960, 96 ],
[ 10248357585294120137488, 96 ],
[ 1457818756494362474969104, 96 ],
[ 4181335752766735, 100 ],
[ 41289059594511, 100 ],
[ 41289125130511, 100 ],
[ (1,2,3)(4,5), (1,6,7) ],
[ 173203482589986831, 136 ],
[ 2247290449951, 150 ],
[ 103835905182744967235633920, 160 ],
[ 701877802289202019676077281529158051, 216 ],
[ 5506427439776842810764159175482097751948352, 448 ],
[ 9356850238980535469208629927, 588 ],
[ 13308648595489280086734238656789952541527081955, 784 ],
[ (1,2,3,4)(5,6,7,8), (1,2,4,5)(6,9,10,11) ],
[ (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,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), (1,2,12,47,114,83,78,19,80,103)(3,28,112,48,13,44,20,108,65,62)(4,81,93,109,71,69,89,119,70,106)(5,56,15,57,96,76,33,75,53,40)(6,115,59,30,100,87,10,64,94,117)(7,29,86,22,35,111,8,61,50,82)(9,99,26,32,73,24,23,52,97,105)(11,63,104,67,34,25,21,91,116,17)(14,16,95,43,101,38,79,45,102,110)(18,39,42,58,92,41,54,84,27,107)(31,85,60,36,72,77,55,118,121,90)(37,46,49,66,98,88,120,51,74,68) ],
[ (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18), (1,2,4)(3,7,10)(6,13,16)(9,17,19)(11,20,14)(12,18,21) ]
];
SCN.DATA[11] := [
[ 0, 11 ],
[ 36, 27 ],
[ 901, 27 ],
[ 555778609, 32 ],
[ 17784406585, 32 ],
[ 569100501563, 32 ],
[ 18710018966396, 32 ],
[ 598720606913405, 32 ],
[ 19159059421217663, 32 ],
[ 17734582904, 32 ],
[ 567506649722, 32 ],
[ 22697, 38 ],
[ 1080095, 75 ],
[ 553128533058418720, 96 ],
[ 72044351436807, 108 ],
[ 10872039, 110 ],
[ 256130865115, 116 ],
[ 55919, 155 ],
[ 32841864431, 171 ],
[ 3882600059, 186 ],
[ 2357766084909836732701920111870096, 192 ],
[ 86917864631651736931469441248294849680, 192 ],
[ 660356726303585266764815, 200 ],
[ 48775, 203 ],
[ 11396282116346971624648071950981153866393862912, 320 ],
[ (1,2,3)(4,5,6)(7,8,9)(10,11,12), (1,5,9)(4,12,7)(6,16,15)(8,13,14) ],
[ 361528625176228301335179577667, 392 ],
[ 10996656430121725508044437787639463924182884375129417251, 432 ],
[ (1,2,3,4,5), (1,6) ],
[ (1,2,3,4,5,6,7,8), (1,2,3,9,7,6,5,10) ],
[ (1,2,3,4,5,6,7,8)(9,10,11,12), (1,9,5,11)(2,13,6,14) ],
[ (1,2,3,4,5,6,7), (1,2)(4,8) ],
[ (1,2,3)(4,5,6), (1,4,7)(2,8,9) ],
[ (1,2,3,4,5,6,7,8)(9,10,11,12,13,14,15,16), (1,2,3,9,16,6,15,14)(4,12,5,17,18,7,11,8) ],
[ (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), (1,2,3,38,6,9,50)(4,12,48,55,19,37,62)(5,56,32,14,61,49,22)(7,54,64,63,28,51,47)(8,59,15,30,18,25,36)(11,24,46,17,44,42,27)(16,45,41,65,21,35,34)(20,52,57,40,39,60,26)(23,31,53,29,58,33,43) ]
];
SCN.DATA[12] := [
[ 266, 12 ],
[ 1, 12 ],
[ 5358129, 24 ],
[ 221729, 24 ],
[ 221713, 24 ],
[ 8705, 24 ],
[ 6663, 30 ],
[ 425337683, 36 ],
[ 22151964, 36 ],
[ 11813699, 36 ],
[ 11576083, 36 ],
[ 615180, 36 ],
[ 320259, 36 ],
[ 1502507, 42 ],
[ 8411174942337, 48 ],
[ 403736398149281, 48 ],
[ 403736398149313, 48 ],
[ 19379347112081121, 48 ],
[ 39739399, 60 ],
[ 1058098627270755, 72 ],
[ 24574980105, 72 ],
[ 14695814338595, 72 ],
[ 5476367453, 84 ],
[ 55306968584587147680, 96 ],
[ 55306786733197131296, 96 ],
[ 23753207777360935, 108 ],
[ 10957462319, 126 ],
[ 12670675598623412646103235, 144 ],
[ 12670675598610713990187203, 144 ],
[ 1863071209083101, 168 ],
[ 208939960514703826854576842951, 216 ],
[ 8339480135, 222 ],
[ (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), (1,3,31,45,27)(2,24,34,36,16)(4,20,12,38,40)(6,44,46,10,14)(7,9,25,39,33)(8,18,28,30,22)(13,15,41,29,37)(19,21,47,35,43) ],
[ (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), (1,9,38)(2,25,21)(3,23,33)(4,37,12)(5,24,28)(6,36,20)(7,32,17)(8,13,26)(10,14,35)(11,29,16)(27,30,40)(31,39,34) ],
[ (1,2,3)(4,5,6)(7,8), (1,4)(2,9) ],
[ (1,2,3,4)(5,6), (1,7)(5,8) ],
[ 5903213253465323175254796803521875966456596845785231424, 384 ],
[ 870464213489719524877946860732753841147568512046932551515200, 384 ],
[ 112193751391444390140774709853046138965128332511731178134289472, 384 ],
[ 5146631300124546522167181117860465319895199251398720, 384 ],
[ (1,2,3,4,5,6)(7,8), (1,7,9)(4,8,10) ],
[ 1575419877886170044582555997289401800807170144772892199654089835432785053455, 1296 ],
[ 43081763318422729215420361178988914390984867488288752469, 1620 ],
[ (1,2,3,4,5,6)(7,8,9,10,11,12)(13,14,15), (1,3)(2,7)(5,16)(6,11)(10,13)(12,15) ],
[ 3407562530211029884398289333032940144846104409958100099, 2904 ],
[ 33951203061412529789445415484391220626642384926168003208496569970840119622626378581, 3240 ],
[ (1,2,3,4,5,6,7,8,9)(10,11,12,13,14,15,16,17,18), (1,2,3,19,10,8,5,16,20)(4,6,13,7,9,12,11,15,14) ],
[ (1,2,3,4,5,6)(7,8,9)(10,11), (1,7)(2,12)(3,13)(9,10) ],
[ (1,2,3,4,5)(6,7,8,9,10)(11,12,13,14,15), (1,2,6)(3,10,16)(4,7,11)(9,12,15) ],
[ (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,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), (1,2,57,219,222,352,310,270,322,5)(3,50,335,199,242,282,28,296,40,163)(4,347,262,80,129,200,231,212,66,266)(6,295,272,65,91,253,156,150,32,327)(7,183,18,79,185,287,301,188,265,299)(8,343,313,356,56,74,33,141,34,350)(9,269,37,268,100,38,285,243,319,331)(10,202,59,194,68,127,104,146,180,158)(11,255,215,178,36,110,349,124,48,75)(12,240,211,53,207,264,88,220,241,177)(13,274,120,145,51,346,311,278,167,174)(14,130,326,62,125,27,216,276,263,328)(15,111,173,140,47,330,102,94,203,256)(16,117,26,83,137,157,221,338,90,297)(17,142,333,248,293,138,93,76,78,101)(19,149,45,61,239,182,95,41,232,161)(20,244,85,121,139,134,286,339,355,42)(21,81,128,267,291,289,147,162,97,135)(22,204,359,46,193,315,132,261,345,316)(23,277,235,82,306,170,77,181,144,245)(24,84,298,303,247,198,271,300,213,217)(25,31,184,218,153,206,323,115,71,205)(29,246,357,230,43,225,214,30,336,294)(35,131,318,103,112,123,99,307,332,223)(39,70,190,151,340,113,358,122,275,55)(44,337,344,292,334,133,64,229,234,189)(49,116,92,72,98,197,351,195,302,238)(52,314,329,279,87,312,89,305,260,105)(54,325,69,317,106,126,284,304,119,320)(58,341,154,176,257,168,280,237,259,107)(60,228,155,114,164,191,108,118,186,273)(63,258,67,143,252,321,96,109,209,166)(73,324,226,251,175,187,169,159,192,281)(86,196,224,360,249,152,160,233,254,283)(136,342,210,165,308,361,290,179,172,236)(148,171,309,250,201,208,288,354,353,348) ],
[ (1,2,3)(4,5,6)(7,8,9)(10,11,12)(13,14,15)(16,17,18), (1,2,4)(3,7,10)(5,19,20)(6,13,16)(8,21,15)(9,17,22) ]
];
SCN.DATA[13] := [
[ 0, 13 ],
[ 26241280771, 40 ],
[ 656026115, 40 ],
[ 16394243, 40 ],
[ 41645, 46 ],
[ 1161368287856993, 64 ],
[ 74327570224531811, 64 ],
[ 4829002876820933989, 64 ],
[ 309056184116341394791, 64 ],
[ 309056184116341394797, 64 ],
[ 19779595783445650885999, 64 ],
[ 88259, 93 ],
[ 509649248191327434210824, 96 ],
[ 4696927471331273533610294984, 96 ],
[ 48926327826367432652521096, 96 ],
[ 396037370127, 100 ],
[ 845466135231709296, 120 ],
[ 1151272678499, 148 ],
[ 9741398894623, 150 ],
[ 443893502308763, 156 ],
[ 297004194007519426219710794752, 160 ],
[ 367803162459151, 162 ],
[ 59584112483662991, 162 ],
[ 59584112399252623, 162 ],
[ 59584098568011279, 162 ],
[ 9652623995531984527, 162 ],
[ 117364873763583503, 162 ],
[ 1563725085060996562639, 162 ],
[ 225766702500098090506885047732920480, 192 ],
[ 1597736962724310317425963176646597800622240, 192 ],
[ 1175868242188010888056693442994208, 192 ],
[ 8321546680855782903260224878370319235104, 192 ],
[ 60959, 205 ],
[ 138975360681987652375843102919, 216 ],
[ 322465254535911458532665351, 216 ],
[ 3123, 253 ],
[ 21507450131, 258 ],
[ 286019, 301 ],
[ 4043304119, 310 ],
[ 24675464984170254868242298919, 324 ],
[ 593094364378979840039, 328 ],
[ 4146423650711, 333 ],
[ 547188494798056708430037585519571005455, 400 ],
[ 5144312510990618458451930973918083240481104083582396132841423152, 576 ],
[ 598219740488683556311032264588128694303, 600 ],
[ (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,65,66)(67,68,69)(70,71,72), (1,4,78)(2,62,48)(3,70,58)(5,51,37)(6,17,10)(7,45,69)(8,18,23)(9,32,76)(11,68,34)(12,80,63)(13,55,61)(14,36,79)(15,29,54)(19,73,30)(20,35,42)(21,72,26)(22,25,75)(24,38,28)(27,47,33)(31,57,65)(40,44,59)(43,64,74)(49,77,60)(50,66,53) ],
[ 11885314287970500411946482807028410825522957894846481267637015160096512, 960 ],
[ 4368312465428874631908072501568878424127, 1000 ],
[ 100286712487397165939678173, 1053 ],
[ (1,2,3,4,5,6,7,8,9,10), (1,2,4,6,7,11,3,9,5,12) ],
[ (1,2,3,4,5,6,7,8), (1,3)(4,9)(8,10) ],
[ 19782404378149045960433791666527893679816562364786813194168092893852837372905863886479, 1944 ],
[ 19782393935805285982527803328533203442078748102027231961075034588363828340649713579663, 1944 ]
];
SCN.DATA[14] := [
[ 5, 14 ],
[ 17784406325, 32 ],
[ 569100501303, 32 ],
[ 569100501309, 32 ],
[ 19346260023, 32 ],
[ 19346784311, 32 ],
[ 619031068735, 32 ],
[ 557104, 32 ],
[ 17858610, 32 ],
[ 571506739, 32 ],
[ 17858612, 32 ],
[ 571490358, 32 ],
[ 18287722551, 32 ],
[ 571523126, 32 ],
[ 570982454, 32 ],
[ 18271469623, 32 ],
[ 554713688, 32 ],
[ 17750835801, 32 ],
[ 568026743387, 32 ],
[ 17750835804, 32 ],
[ 13033009, 44 ],
[ 296009, 44 ],
[ 3081530597768, 48 ],
[ 147913464963496, 48 ],
[ 17308559, 50 ],
[ 338703, 50 ],
[ 138263, 78 ],
[ 165657432360639491, 80 ],
[ 2070717990587395, 80 ],
[ 2070717990589443, 80 ],
[ 25884060959747, 80 ],
[ 14329614137, 84 ],
[ 170906123, 84 ],
[ 10245006187125012490436, 96 ],
[ 106718814449235454084, 96 ],
[ 1111654317196109828, 96 ],
[ 132185868178187, 104 ],
[ 1271021269259, 104 ],
[ 7994904959085607, 108 ],
[ 112039, 110 ],
[ 20759084370337835504263567144661, 128 ],
[ 2657162799403242944545617122326231, 128 ],
[ 2657161561463203659167558426326743, 128 ],
[ 340116679867290068372886625347335903, 128 ],
[ 2158734912039, 164 ],
[ 12279700341491502430618891042832, 192 ],
[ 452685060163338736094416445340109840, 192 ],
[ 16510795186078155791, 200 ],
[ 3302000528755531661327, 200 ],
[ (1,2,3,4)(5,6), (5,6,7,8,9) ],
[ (1,2,3,4), (1,5)(6,7) ],
[ 396478320479373188929425520, 240 ],
[ 16802246212811770723830125115117688832048, 288 ],
[ 2813436791483637269000384340811824, 288 ],
[ 15311267211187079, 294 ],
[ 51792365903687, 294 ],
[ 50989398974279, 294 ],
[ 37306291975581238756431, 300 ],
[ 61645312866147271933983, 300 ],
[ 83337178553829851525180095482818471098386677648384, 320 ],
[ 260428682980718286016187798383807722225860480000, 320 ],
[ 104344917517534171566493429244778196679803242112, 384 ],
[ 5908333116556944957693931620789048209140916223282757248, 384 ],
[ 5908333116647599221513935336209941178442835900730687104, 384 ],
[ 362151563018999577320411037450465011942001792, 384 ],
[ 53401420876529601673358529939789957078646651854464, 384 ],
[ 20506353944267702547728972346277390928292270410014336, 384 ],
[ 922257476101259105775543107, 392 ],
[ 7638528159, 410 ],
[ 136716375385856713861286551026530758697440715399, 432 ],
[ 8921807859983569076924570783548203419567872, 480 ],
[ 263732594779726286652479, 500 ],
[ 270086969512639335466047, 500 ],
[ 183917271038128976630012891598211826133015420967, 648 ],
[ (1,2,3,4,5), (1,2,6)(7,8) ],
[ 1498331707040754680621844144950047138994126749965578968803154001920, 1280 ],
[ 2454866668815572469288348034513945073488780870106154179072995743397249024, 1280 ],
[ 2454866668815572469009697652753673272688954783597974807987551870903844864, 1280 ],
[ 19628062160833551696060112939965659703998759981615640152193489236160, 1344 ],
[ (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), (1,2,5,9,15)(3,14,36,10,7)(4,8,11,6,12)(16,23,35,37,29)(17,33,26,22,40)(18,39,21,28,31)(19,30,38,34,25) ],
[ (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), (1,4,10,7)(2,27,5,36)(3,24,12,15)(6,21,9,18)(8,30,11,33)(13,34,19,25)(14,20)(16,28,22,31)(26,38,29,39)(32,40,35,37) ],
[ 6387929704872009623481000726500399, 2420 ],
[ 1562256083187979339698632775872294813238277027000199, 2904 ],
[ (1,2,3,4,5,6)(7,8,9,10,11,12)(13,14,15,16,17,18)(19,20,21,22,23,24), (1,3,7,13,8)(2,19,17,15,20)(4,16,6,11,10)(9,24,25,21,12) ],
[ 684928630018389999245285227809710040072706804111789206671, 4056 ],
[ (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), (1,2,9,14)(3,17,12,27)(4,19,7,25)(8,28,11,21)(15,26,16,23)(18,22,24,20) ],
[ (1,2,3,4,5,6,7,8,9,10,11)(12,13,14,15,16,17,18,19,20,21,22), (1,2,3,10,23,12,9,6,17,24,5)(4,19,8,20,7,21,11,13,18,22,16) ],
[ 195783628132600391034274950281215513649360070177832473191081653958509457484719156974962344191, 13872 ],
[ (1,2,3,4,5), (1,2,6,7,8) ],
[ (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), (1,5)(2,22)(3,13)(4,40)(6,10)(7,33)(8,14)(9,23)(11,37)(16,36)(17,25)(20,30)(26,42)(27,35)(28,38)(29,41) ],
[ (1,2,3,4,5,6,7,8)(9,10,11,12,13,14,15,16)(17,18,19,20), (1,3)(2,9)(5,17)(6,15)(7,19)(8,21)(10,20) ],
[ (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), (1,9)(3,35)(4,38)(5,37)(6,12)(7,27)(8,22)(11,21)(14,26)(16,42)(17,33)(23,29)(24,32)(25,41)(28,36)(30,40) ],
[ (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), (1,8)(3,6)(4,11)(5,41)(7,49)(9,36)(10,38)(13,44)(14,26)(15,20)(16,48)(17,47)(18,42)(21,28)(23,35)(27,46)(30,40)(31,50)(32,43)(33,39) ]
];
[ Dauer der Verarbeitung: 0.4 Sekunden
(vorverarbeitet)
]
|
