Eine aufbereitete Darstellung der Quelle

 
     
 
 
Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 

Benutzer

Quelle  smallclassnr.grp

  Sprache: Shell
 

SCN.DATA := [];
##
##  [ Code, Size ] ( PcGroup ) or [ Generators ] ( PermGroup ),
##

SCN.DATA[1] := [
    [ 01 ]
];

SCN.DATA[2] := [
    [ 02 ]
];

SCN.DATA[3] := [
    [ 03 ],
    [ 256 ]
];

SCN.DATA[4] := [
    [ 54 ],
    [ 04 ],
    [ 22710 ],
    [ 701212 ]
];

SCN.DATA[5] := [
    [ 05 ],
    [ 368 ],
    [ 23438 ],
    [ 79714 ],
    [ 251040320 ],
    [ 22721 ],
    [ 579033894824 ],
    [ (1,2,3), (1,4,5) ]
];

SCN.DATA[6] := [
    [ 16 ],
    [ 391312 ],
    [ 32112 ],
    [ 10635518 ],
    [ 547518 ],
    [ 1498101736336 ],
    [ 39501127809072233533172 ],
    [ (1,2,3)(4,5,6), (1,4)(2,7) ]
];

SCN.DATA[7] := [
    [ 07 ],
    [ 224521216 ],
    [ 3592252516 ],
    [ 57475951916 ],
    [ 380922 ],
    [ 331737648824 ],
    [ 146339 ],
    [ 33005942 ],
    [ 166561402752 ],
    [ 143955 ],
    [ (1,2,3,4), (1,5) ],
    [ (1,2,3,4,5), (1,2,6) ]
];

SCN.DATA[8] := [
    [ 3238 ],
    [ 338 ],
    [ 08 ],
    [ 13369920 ],
    [ 665920 ],
    [ 42086824 ],
    [ 663526 ],
    [ 27607075180513648 ],
    [ 1635231861467207671248 ],
    [ 34067330447241613648 ],
    [ 11979562139248 ],
    [ 843912799256 ],
    [ 920043931168 ],
    [ 927592778 ],
    [ 12188729657011280 ],
    [ 11509314698901829264200168 ],
    [ 132096126953042561369590799200 ],
    [ 18492777126378635219665951300 ],
    [ 28281902857911378608553757957412140482978831600 ],
    [ (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] := [
    [ 59 ],
    [ 09 ],
    [ 32318 ],
    [ 12801707324 ],
    [ 533366524 ],
    [ 22182524 ],
    [ 19533530 ],
    [ 89446736 ],
    [ 845957 ],
    [ 8591970739960 ],
    [ 14916761949941716472 ],
    [ 548518227548961801972 ],
    [ 105772060690278772 ],
    [ 207177249094810872 ],
    [ 130963427114 ],
    [ (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) ],
    [ 37832585391152708497031906052419144 ],
    [ 6187272061426060786703860752448192 ],
    [ 8408221185850301309215122191243409878848192 ],
    [ (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) ],
    [ 17216508335995724765852238801952840085986575964191176 ],
    [ 9141162860945042052081229135476562961525365471686457011306642814426716093472352 ],
    [ (1,2,3,4,5), (1,6,7) ]
];

SCN.DATA[10] := [
    [ 310 ],
    [ 1690516 ],
    [ 27905116 ],
    [ 14030116 ],
    [ 52016 ],
    [ 13978716 ],
    [ 871616 ],
    [ 101801328 ],
    [ 3629328 ],
    [ 1588734 ],
    [ 2540310605140 ],
    [ 63511782740 ],
    [ 1037942 ],
    [ 27570841918570048 ],
    [ 574392546816448 ],
    [ 2435661554 ],
    [ 131562067954 ],
    [ 2529011954 ],
    [ 9444886302236170877242446496 ],
    [ 111195673159055361696 ],
    [ 1024835752530201694696096 ],
    [ 1024835758529412013748896 ],
    [ 145781875649436247496910496 ],
    [ 4181335752766735100 ],
    [ 41289059594511100 ],
    [ 41289125130511100 ],
    [ (1,2,3)(4,5), (1,6,7) ],
    [ 173203482589986831136 ],
    [ 2247290449951150 ],
    [ 103835905182744967235633920160 ],
    [ 701877802289202019676077281529158051216 ],
    [ 5506427439776842810764159175482097751948352448 ],
    [ 9356850238980535469208629927588 ],
    [ 13308648595489280086734238656789952541527081955784 ],
    [ (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] := [
    [ 011 ],
    [ 3627 ],
    [ 90127 ],
    [ 55577860932 ],
    [ 1778440658532 ],
    [ 56910050156332 ],
    [ 1871001896639632 ],
    [ 59872060691340532 ],
    [ 1915905942121766332 ],
    [ 1773458290432 ],
    [ 56750664972232 ],
    [ 2269738 ],
    [ 108009575 ],
    [ 55312853305841872096 ],
    [ 72044351436807108 ],
    [ 10872039110 ],
    [ 256130865115116 ],
    [ 55919155 ],
    [ 32841864431171 ],
    [ 3882600059186 ],
    [ 2357766084909836732701920111870096192 ],
    [ 86917864631651736931469441248294849680192 ],
    [ 660356726303585266764815200 ],
    [ 48775203 ],
    [ 11396282116346971624648071950981153866393862912320 ],
    [ (1,2,3)(4,5,6)(7,8,9)(10,11,12), (1,5,9)(4,12,7)(6,16,15)(8,13,14) ],
    [ 361528625176228301335179577667392 ],
    [ 10996656430121725508044437787639463924182884375129417251432 ],
    [ (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] := [
    [ 26612 ],
    [ 112 ],
    [ 535812924 ],
    [ 22172924 ],
    [ 22171324 ],
    [ 870524 ],
    [ 666330 ],
    [ 42533768336 ],
    [ 2215196436 ],
    [ 1181369936 ],
    [ 1157608336 ],
    [ 61518036 ],
    [ 32025936 ],
    [ 150250742 ],
    [ 841117494233748 ],
    [ 40373639814928148 ],
    [ 40373639814931348 ],
    [ 1937934711208112148 ],
    [ 3973939960 ],
    [ 105809862727075572 ],
    [ 2457498010572 ],
    [ 1469581433859572 ],
    [ 547636745384 ],
    [ 5530696858458714768096 ],
    [ 5530678673319713129696 ],
    [ 23753207777360935108 ],
    [ 10957462319126 ],
    [ 12670675598623412646103235144 ],
    [ 12670675598610713990187203144 ],
    [ 1863071209083101168 ],
    [ 208939960514703826854576842951216 ],
    [ 8339480135222 ],
    [ (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) ],
    [ 5903213253465323175254796803521875966456596845785231424384 ],
    [ 870464213489719524877946860732753841147568512046932551515200384 ],
    [ 112193751391444390140774709853046138965128332511731178134289472384 ],
    [ 5146631300124546522167181117860465319895199251398720384 ],
    [ (1,2,3,4,5,6)(7,8), (1,7,9)(4,8,10) ],
    [ 15754198778861700445825559972894018008071701447728921996540898354327850534551296 ],
    [ 430817633184227292154203611789889143909848674882887524691620 ],
    [ (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) ],
    [ 34075625302110298843982893330329401448461044099581000992904 ],
    [ 339512030614125297894454154843912206266423849261680032084965699708401196226263785813240 ],
    [ (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] := [
    [ 013 ],
    [ 2624128077140 ],
    [ 65602611540 ],
    [ 1639424340 ],
    [ 4164546 ],
    [ 116136828785699364 ],
    [ 7432757022453181164 ],
    [ 482900287682093398964 ],
    [ 30905618411634139479164 ],
    [ 30905618411634139479764 ],
    [ 1977959578344565088599964 ],
    [ 8825993 ],
    [ 50964924819132743421082496 ],
    [ 469692747133127353361029498496 ],
    [ 4892632782636743265252109696 ],
    [ 396037370127100 ],
    [ 845466135231709296120 ],
    [ 1151272678499148 ],
    [ 9741398894623150 ],
    [ 443893502308763156 ],
    [ 297004194007519426219710794752160 ],
    [ 367803162459151162 ],
    [ 59584112483662991162 ],
    [ 59584112399252623162 ],
    [ 59584098568011279162 ],
    [ 9652623995531984527162 ],
    [ 117364873763583503162 ],
    [ 1563725085060996562639162 ],
    [ 225766702500098090506885047732920480192 ],
    [ 1597736962724310317425963176646597800622240192 ],
    [ 1175868242188010888056693442994208192 ],
    [ 8321546680855782903260224878370319235104192 ],
    [ 60959205 ],
    [ 138975360681987652375843102919216 ],
    [ 322465254535911458532665351216 ],
    [ 3123253 ],
    [ 21507450131258 ],
    [ 286019301 ],
    [ 4043304119310 ],
    [ 24675464984170254868242298919324 ],
    [ 593094364378979840039328 ],
    [ 4146423650711333 ],
    [ 547188494798056708430037585519571005455400 ],
    [ 5144312510990618458451930973918083240481104083582396132841423152576 ],
    [ 598219740488683556311032264588128694303600 ],
    [ (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) ],
    [ 11885314287970500411946482807028410825522957894846481267637015160096512960 ],
    [ 43683124654288746319080725015688784241271000 ],
    [ 1002867124873971659396781731053 ],
    [ (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) ],
    [ 197824043781490459604337916665278936798165623647868131941680928938528373729058638864791944 ],
    [ 197823939358052859825278033285332034420787481020272319610750345883638283406497135796631944 ]
];

SCN.DATA[14] := [
    [ 514 ],
    [ 1778440632532 ],
    [ 56910050130332 ],
    [ 56910050130932 ],
    [ 1934626002332 ],
    [ 1934678431132 ],
    [ 61903106873532 ],
    [ 55710432 ],
    [ 1785861032 ],
    [ 57150673932 ],
    [ 1785861232 ],
    [ 57149035832 ],
    [ 1828772255132 ],
    [ 57152312632 ],
    [ 57098245432 ],
    [ 1827146962332 ],
    [ 55471368832 ],
    [ 1775083580132 ],
    [ 56802674338732 ],
    [ 1775083580432 ],
    [ 1303300944 ],
    [ 29600944 ],
    [ 308153059776848 ],
    [ 14791346496349648 ],
    [ 1730855950 ],
    [ 33870350 ],
    [ 13826378 ],
    [ 16565743236063949180 ],
    [ 207071799058739580 ],
    [ 207071799058944380 ],
    [ 2588406095974780 ],
    [ 1432961413784 ],
    [ 17090612384 ],
    [ 1024500618712501249043696 ],
    [ 10671881444923545408496 ],
    [ 111165431719610982896 ],
    [ 132185868178187104 ],
    [ 1271021269259104 ],
    [ 7994904959085607108 ],
    [ 112039110 ],
    [ 20759084370337835504263567144661128 ],
    [ 2657162799403242944545617122326231128 ],
    [ 2657161561463203659167558426326743128 ],
    [ 340116679867290068372886625347335903128 ],
    [ 2158734912039164 ],
    [ 12279700341491502430618891042832192 ],
    [ 452685060163338736094416445340109840192 ],
    [ 16510795186078155791200 ],
    [ 3302000528755531661327200 ],
    [ (1,2,3,4)(5,6), (5,6,7,8,9) ],
    [ (1,2,3,4), (1,5)(6,7) ],
    [ 396478320479373188929425520240 ],
    [ 16802246212811770723830125115117688832048288 ],
    [ 2813436791483637269000384340811824288 ],
    [ 15311267211187079294 ],
    [ 51792365903687294 ],
    [ 50989398974279294 ],
    [ 37306291975581238756431300 ],
    [ 61645312866147271933983300 ],
    [ 83337178553829851525180095482818471098386677648384320 ],
    [ 260428682980718286016187798383807722225860480000320 ],
    [ 104344917517534171566493429244778196679803242112384 ],
    [ 5908333116556944957693931620789048209140916223282757248384 ],
    [ 5908333116647599221513935336209941178442835900730687104384 ],
    [ 362151563018999577320411037450465011942001792384 ],
    [ 53401420876529601673358529939789957078646651854464384 ],
    [ 20506353944267702547728972346277390928292270410014336384 ],
    [ 922257476101259105775543107392 ],
    [ 7638528159410 ],
    [ 136716375385856713861286551026530758697440715399432 ],
    [ 8921807859983569076924570783548203419567872480 ],
    [ 263732594779726286652479500 ],
    [ 270086969512639335466047500 ],
    [ 183917271038128976630012891598211826133015420967648 ],
    [ (1,2,3,4,5), (1,2,6)(7,8) ],
    [ 14983317070407546806218441449500471389941267499655789688031540019201280 ],
    [ 24548666688155724692883480345139450734887808701061541790729957433972490241280 ],
    [ 24548666688155724690096976527536732726889547835979748079875518709038448641280 ],
    [ 196280621608335516960601129399656597039987599816156401521934892361601344 ],
    [ (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) ],
    [ 63879297048720096234810007265003992420 ],
    [ 15622560831879793396986327758722948132382770270001992904 ],
    [ (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) ],
    [ 6849286300183899992452852278097100400727068041117892066714056 ],
    [ (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) ],
    [ 19578362813260039103427495028121551364936007017783247319108165395850945748471915697496234419113872 ],
    [ (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) ]
];

Messung V0.5 in Prozent
C=96 H=100 G=97

¤ Dauer der Verarbeitung: 0.12 Sekunden  (vorverarbeitet am  2026-06-17) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Software

     Quellcodebibliothek
     Eigene Quellcodes
     Fremde Quellcodes
     Suchen

Aktivitäten

     Artikel über Sicherheit
     Anleitung zur Aktivierung von SSL

Muße

     Gedichte
     Musik
     Bilder

Jenseits des Üblichen ....
    

Besucherstatistik

Besucherstatistik