Quelle brfac440

Sprache: Text
BRENTFACTORS[440]:=MakeImmutable(

[ ,,,,,,,,,, [ 22135509397 ],, [ 398951259877 ],,,,,,,,,,,, 

  [ 194143919889524201 ],, [ 3858550576054147 ],,,, 

  [ 250390191207726010433511689 ], [ 58287569729 ],,, 

  [ 12060099941, 138857703181 ],, 

  [ 38674559607322486613069, 1812115860911434709272529454491 ],, 

  [ 191510450899, 680813904343 ], [ 80658031016921 ], [ 5386359971405311 ],, 

  [ 10145209074785199337300310638683869423267 ], [ 103134241851092981 ], 

  [ 1639970461, 49653505806075541 ], [ 55223783774221 ],, 

  [ 33628446200955408433 ], 

  [ 136931045689873, 484598639584613, 45201006201767309671, 

      3956654897169307407372151638947 ],,,, 

  [ 84761169422476277, 20431447468497177368386429549 ],,, 

  [ 4133701937, 6188698271472925433 ],, 

  [ 22441825277, 3405792328331, 3449173262452044342290171 ], 

  [ 1192911547255411, 62659596985812143 ],, 

  [ 997434407045173, 38414658755489848954348769 ], 

  [ 24618144055554877583461258937 ],,, 

  [ 783051530776509668301223804083016303576571 ],,,, 

  [ 2196183119341, 10193098299128792965312306609 ], 

  [ 16415374651007311740251 ],, [ 134474658338606673179104383097 ], 

  [ 9215416368127631 ], [ 3354008720741625282487 ], 

  [ 50344069051, 79932288301, 828385481101, 263178634974601, 

      88951632216021089484451 ], 

  [ 357705158580529, 31815758219633949113211445323253 ], [ 46883241300743 ],, 

  [ 297014987179 ], [ 776426219677858240681328817281 ],, 

  [ 3008612503485831313855591 ], [ 65161537247 ], [ 379261893841573 ], 

  [ 299046386131 ],, [ 490538912059252937401347661 ], [ 84538143148980929 ], 

  [ 19122574446082066441 ], [ 232016154841, 1313014409011 ], [ 4451934943 ], 

  [ 7850900593, 504558483520458036795484392234492310973388133 ], 

  [ 745953471717008407868583803994244957 ], [ 40164887052746103522481148281 ],

  [ 68227289392571, 45777073081418455561, 8234735895088738538437381 ], 

  [ 67679850241 ], [ 12225679211 ],, [ 64900677944381886898456947013 ],, 

  [ 1449478030885630597 ], 

  [ 300572798689, 1758693126372379, 74754407236660115119 ], 

  [ 229889776399277 ], [ 41023034417, 438329233560461777000461324110732628769 

     ],, [ 2257870597, 4330016473 ],,,, [ 1616453411909370425785848047765161 ]

    , [ 9416002273574947, 22405959625631487590560081303 ],,, 

  [ 3318781235093476003 ], 

  [ 20258055691, 16314987486691, 39604284884320151, 14888000226050043034451 ],

  [ 58460231320743002580353412881159224052341 ], [ 7272751357, 622283328811 ],

  [ 45413629153 ], [ 240308254110809802877 ], 

  [ 3726179747761, 585499195391014869171601 ],,,, 

  [ 680793325553370361421, 28758748789330608143441 ],, 

  [ 34825970719, 19119230910812204551, 337550172693930947562311047561021 ], 

  [ 23551020463 ], [ 112996861849601 ],, 

  [ 748202091146333614104683981, 33814522575715401006569990372232974051 ],, 

  [ 114584596507237593381349, 24300914578021790206882561, 

      3275973863651922266379079249 ],, [ 9753833803537 ], 

  [ 175868919394009012081 ],, [ 6763463677, 2153766736871051 ],, 

  [ 21695329613, 414552156497259523, 55047760796199547393 ], 

  [ 4880568496021 ], [ 1192209453487951, 16710193695407689 ], 

  [ 39512946860684332346056627638008081 ],,, 

  [ 102702662536841, 23370755201512421, 426531454033330771 ], 

  [ 1087023546585119481829, 2803065953642519346619580147, 

      86045197604934273198846319079 ], [ 53284575168819637184957082739 ],, 

  [ 2761643779, 1210491084183967 ], [ 190424446179901, 822327128863795121101 ]

   ,, 

  [ 15944782366395106610998769, 26546301611001315491091713, 

      282118093488015394795509881, 112078679703326091492521942161 ], 

  [ 2818901998711, 4055880783240487 ], [ 33261228073669707370799 ], 

  [ 1085797631, 13060831717610071, 66964728716374537921 ],,,,,,, 

  [ 32129762617, 1712661251153451619924202301701749, 

      61695937450000250042031706911373459 ],, [ 40676750977501 ], 

  [ 2597750761, 8870634961, 21956223724931231011 ], [ 851721183499 ],,,,,, 

  [ 654152421818195057 ],, [ 380639211103 ], 

  [ 279214123651, 1285612955684290451 ], 

  [ 1050538721, 20025841575697, 16007250671479662426833 ],, 

  [ 243698683035335471 ],, [ 6540589801 ],, [ 2261705157228331877447768293 ], 

  [ 1527219913, 2806891773438091 ], [ 1326191679883454297 ],,,,,, 

  [ 1290565657664673491, 687661802487162047367123061 ],,,, 

  [ 2776582903, 1888433589829, 213768070823291, 106404637430080647674733811 ],

  , [ 7393980049, 20175843689, 577953410684694437 ],,,,,, [ 2451432244184263 ]

   ,, [ 16639473544120213 ],,,, [ 11335089169 ],, 

  [ 1117984295710892581902421 ],,,,,, 

  [ 3751700141945914057, 796124283760570391857 ],, [ 544291033880467 ],, 

  [ 2666096401, 51571787704512849767896321, 

      12225027087626591694150128395194162821, 

      338390456059942853481689157704696502625375514735415360948521 ],, 

  [ 2825443767739, 5628057368719, 144846107048425428061098841 ],,,, 

  [ 13373097435679, 68867934054599 ],,,, [ 137610349791529180751 ], 

  [ 1129245811, 4366800227329 ],,,,, [ 62147824877, 23369450234033 ],,,, 

  [ 464932474606081, 114624938300707068125271509761 ],,,,,, 

  [ 2668716487, 138931066079867359 ],,,, 

  [ 7696617861443558949751, 2860488311710919227851251 ],,,, [ 12273143271547 ]

   ,, [ 62918359986396190721 ],,,, [ 1898446421, 432969974321 ],,,, 

  [ 55569840217, 22580668624537 ],,,, [ 6034848398088593 ],, 

  [ 5362772556316538059503481, 31398360729439110591644641 ],, 

  [ 458552154738497, 635855641661777 ],, [ 36922798479350569 ],,,,,, 

  [ 2205777607229586601, 2972050151817034735441 ],, [ 4017037844423173 ],, 

  [ 11702369669 ],, [ 20696641681, 86143701283520453, 3494374282154502319 ],, 

  [ 7906125670561, 1187744891135410712161 ],,,,,,,,,, 

  [ 145049598761, 9026690655223, 653468688928651, 136614025791169229 ],, 

  [ 25646766562389786301, 1363670517113290970574301 ],,,,,, 

  [ 9996888857887, 37018092295369 ],,,, [ 51798185492167871 ],,,,,,,, 

  [ 533060894479 ],,,,,,,,,,,, [ 9643028356831 ],,,,,, 

  [ 781137191521, 4847691117874081 ],,,, [ 1604371261 ],, [ 3646653319 ],,,,,

  , [ 171241267933, 1331872716949, 8152238705617, 83960255021329 ],,,,,, 

  [ 4482209233 ],,,,,,,,,,,,,,,,,,,,,,,, [ 1572638383 ],,,,,, [ 3359785729 ],,

  ,,,, [ 146120124151 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 

  [ 20411017986125341, 128435638152802642621 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 

  [ 1671885408601 ] ]);
Messung V0.5 in Prozent
¤ Dauer der Verarbeitung: 0.17 Sekunden (vorverarbeitet am 2026-06-05) ¤

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.