Quelle brfac500

Sprache: Latech
BRENTFACTORS[500]:=MakeImmutable([ ,,,,,,,,,, [ 7687317199 ],, [ 1173650999 ],

  ,,,,,,, [ 4441438429, 74232158701 ],, [ 19716383617318257439 ],, 

  [ 2776144751, 4473244201 ], [ 2765413928161 ], [ 234854141654089 ],,,, 

  [ 276091395123061536749 ], [ 1586863305953 ], 

  [ 15906079069, 970567228770019 ],, [ 96974801701 ],,,, 

  [ 267652195669, 38150147989376150131 ], [ 20294728481 ], [ 79227583609 ],, 

  [ 115914794587771 ],, [ 251085425131 ],, 

  [ 294096713671757582840135328140129 ],, 

  [ 24956447741, 125035186637615880160002120751516741 ], 

  [ 668555508375188932034101 ], [ 1601077183159, 7027830086829241671623449 ], 

  [ 2690362139561496401 ], 

  [ 193376860708080319, 11335740665138954261, 

      362983481594058121038137830630357829 ],, 

  [ 6160898921, 3210055028150081, 41555212829696553945431 ], 

  [ 37661481278730867829097 ], [ 493645955662729, 1127218771379247691 ], 

  [ 7522187145799313807108910883 ], [ 7060053989, 904572229369621 ],,,,, 

  [ 24696716353, 928721996801, 26027885547570865688321 ], 

  [ 111937049652741075780735618451319731 ], [ 1383740994901 ], 

  [ 10564212646404259, 4293880623298298039172509, 

      1621557639890610325363531096171 ],, 

  [ 544892034691, 1033621873489, 327308217706989391, 4653971022295579672111 ],

  [ 295685993261 ], [ 19684895551, 3022590035299, 8722495294075059839 ], 

  [ 713445328873, 3971297605932073, 11224419096968929 ],, 

  [ 168482107021183271274284801 ], 

  [ 1056903901, 51521900401, 17513483534762231878159632094625701 ], 

  [ 377450483529164701626334617300012710237 ],, [ 354801655662331021 ],,, 

  [ 27065985571 ], [ 143609644169, 153317647867, 12545193446691621203 ], 

  [ 7262433575599 ],, 

  [ 57413500751, 8343325059851, 1231369037907191, 11413012448927531461, 

      27390632549297441581, 824400234719930247670213698692139834281621 ], 

  [ 2120603567, 14096356367581588545236953593667 ], 

  [ 13703853421939, 519621267222770430001, 931565625240536859754639, 

      39419756015721287536709672653879 ], 

  [ 1269879601, 520061491841, 4359783698057840998913447102323009 ], 

  [ 143210957457751709 ], [ 11924690178731263028101 ],, 

  [ 35008435778127467477, 311412198815547923458003136321 ], 

  [ 52494080641, 280493761351 ], [ 10936143052370147123 ], 

  [ 10317545111, 1559459360273696440019197741, 

      3296038323895804333047696288587471, 

      620772737916840725736219085860692970094251274912811, 

      9250965299049452151944962383151238259071379530437735091 ], 

  [ 2993619263356609 ], [ 37767980141 ], [ 30478265581 ], 

  [ 8280277194509843973319 ], [ 9214092218281139952352829509801 ], 

  [ 7172184529 ], [ 58046929346053481392231228277557418582203 ],, 

  [ 368830679277899637482795281 ], 

  [ 2845948021031677531564390583125220079480983281 ], 

  [ 137029446936563, 1880876810701955715001 ],, 

  [ 4762305828927013225805928619093 ],, [ 4867385800562561 ], 

  [ 74572890492495115239121 ], 

  [ 59718811778081, 22235066718451238401, 334132634433912666241 ], 

  [ 277733610355711, 8405945586414209 ], 

  [ 8466851517405469, 309424427609298386285605321 ], 

  [ 275898571841, 25949054663771, 54239228772132921238653017371, 

      140610308490380052561044383866234091325101864033318038876776635074221 ],

  [ 43356034868215551527130102743389841 ], 

  [ 2375681719611799, 2725118779159865089 ], 

  [ 1960173403, 724509033907, 33970140921276978221681, 

      916740164466301697458303, 18084051594019064010784703 ], 

  [ 1152042809, 32416347559 ], 

  [ 53644268746801, 2115413045642401, 2486134659007017282245521 ],, 

  [ 2558932067, 2058434527170227 ],, [ 9061122557 ], 

  [ 418219724501, 2503437329814926251, 99974102584805512139324801616001, 

      794822673409925915369321895478504977145434900344501251 ],, 

  [ 93728297431, 32112575891690860039 ],,, [ 30225894661 ], [ 35277453479 ], 

  [ 504596410693, 95286954937004691169, 127311180887668922447791357 ], 

  [ 84899376855625302209 ],, [ 51039786376531, 935668032890852971 ],,, 

  [ 10361366313455178037474136987586283099442799349 ],, 

  [ 3299659721, 155383601519441, 230202266959495129980720159401 ], 

  [ 1858155916060952659 ],,,, 

  [ 546318582781, 303766010782982622331, 380330769038305150771 ], 

  [ 2055967789873412060030207 ], 

  [ 1940024269, 49334405401, 23482246455043187201671 ],,, 

  [ 1594226701, 81163329301, 114532142881201, 561678331206929401, 

      30772073362350956277001 ],, [ 132323619262433340967275353 ], 

  [ 1763094889 ], 

  [ 1899283849, 157763357051609, 3355024458862939787, 

      5445860754125933405696884607, 15651363941496396705364004092174007 ],, 

  [ 1430320321, 15579342799976606187182881 ],,,,,,,,, 

  [ 218616219933211, 785321922117052048741, 

      2576493628531714551016415500107658031821 ], [ 27354242486141 ],, 

  [ 2502310609 ],,,,,, [ 5716814273083, 3777885280554523 ],, 

  [ 185064615649, 135565655525295220684801, 156600674314978632361921 ], 

  [ 78136909129 ],,, [ 1260531001, 6052123515601 ],,, 

  [ 1027302152602321, 17216400363618409 ],, [ 526859402471, 32875137129641 ], 

  [ 2276908027 ],,,,,,,,, 

  [ 1621510021, 3576328278783781, 824736989974011271, 4126799536849503356701 ]

    , [ 2907490253554769, 551935016813771828329 ],, [ 128024580285361 ],, 

  [ 15897880001, 22326940801350176979601 ],,,,, 

  [ 31231773195139571911, 2886949758206290397381 ], [ 15478889441 ],, 

  [ 2837981174529705761233 ],, [ 78612274861 ],,,,, 

  [ 25654923346621, 29208862486943341, 4989983102782739291 ], 

  [ 379434893581926878286457 ],,,,,, 

  [ 1898468521, 21514630723, 6849403677607193733529 ],,, 

  [ 796814848351, 2239456927051, 163859286281097601, 1057707262337499001 ], 

  [ 28762741683457741187, 30153651457266101647 ],,,, [ 16523084122997581 ], 

  [ 1243568153521, 1747988633760601 ],,, [ 10276253365249 ], [ 720068831681 ],

  ,,, [ 9734016657532509989 ],,,,, [ 8164341647123813 ], 

  [ 61707869231, 325126402301 ], [ 28266522340768547966161 ],, 

  [ 32287348454129 ],, [ 38040314440001 ],,,,,, [ 2165377793 ],,,,,, 

  [ 119367252401 ],,, [ 286427236441, 11709356118586162391 ],,, 

  [ 7038914677, 1234249786201 ],, [ 1339293529100748040381 ],,,,, 

  [ 258226794101, 20213808622151 ], [ 4643470479426721 ],,,, 

  [ 7378746689101201, 24413761112996081 ],, 

  [ 922837237558021, 7232234519945791261 ],,,,,,,, [ 257643009301 ],,,, 

  [ 99723185145551168381503 ], 

  [ 65787903986491, 199638757897231, 2872739708892451, 13800657296895311, 

      1572626730660748207591 ], [ 42015310633 ],, 

  [ 7160307347, 21127125700342827241 ],, 

  [ 1990337036407201, 601533908748706613401 ],,,,,,,,,, [ 4171156129121 ],,,,,

  ,,,,,,,,, [ 6433163533, 54890806357, 2512634366889772996609 ],,,,,, 

  [ 6337519777426211135521 ],,,,,,,,,,,, [ 326017392759523, 1591120899399223 ]

   ,,,,,,,, [ 180079322512601 ],,,, 

  [ 22734775621, 2366265479332279747, 2629441586258784013603 ],,,,,, 

  [ 238031490241, 2715173492401 ],,,,,,,,,,,,,,,,,,,,,,,, [ 2693920897 ],,,,,,

  ,,,,,, [ 2246214961, 12453850729 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,

  ,,,,,,,,,,,,,,,,,,,,,,,, 

  [ 18851883667, 36961253778215383, 1014989035368915223 ],,,,,,,,,,,,,,,, 

  [ 15121132538655514883 ],, [ 2594039088001, 98630324709121, 124248681838081 

     ],,,,,,,,,,,,,,,,,,,, [ 31262196381930001 ],,,,,,,,,, [ 196168186883941 ]

   ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,

  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,

  ,,,,,,,,,,,,,,,,,,,,, [ 3953234944443247 ] ]);
Messung V0.5 in Prozent
¤ Dauer der Verarbeitung: 0.3 Sekunden ¤

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.