Quelle brfac88

Sprache: Text
BRENTFACTORS[88]:=MakeImmutable([ ,,,,,,,,,,,,,,,,,,,,,, [ 76911579108281 ],,,

  ,,,,, [ 20276593893071, 155017251134387 ], [ 16443116353 ],,, 

  [ 7115673554369027411 ],, [ 1161352735861, 327176143092624193 ], 

  [ 5991631267 ],,, [ 1105732370356011310509139668199 ],, 

  [ 786231499986051989447863 ],, [ 17877307072591 ],, 

  [ 625222678845991071001011207101 ], [ 125564654747713, 427403727043537 ], 

  [ 1054563910048531, 154823536526442869 ], 

  [ 1310025261048851, 65033436802129151 ], [ 1895475019028803 ], 

  [ 141186602129 ], [ 40301455037, 79807228934869, 30815454117391159 ], 

  [ 3986595531559 ], [ 32598126328241 ], [ 466724640962497 ],,, 

  [ 58851220409, 7725521132266118912657 ],,, [ 454926580878790187 ],, 

  [ 250820112795031911553 ], [ 6208635941 ],, 

  [ 618204060493, 580645604993513, 646092882505129879 ],, [ 8792450600149 ], 

  [ 398776820615881 ], [ 684051770708985153705990497 ], [ 9959939600201713 ], 

  [ 2486878591, 8346962654539916789651 ], [ 2509763563442772853763551 ],,, 

  [ 1461004931, 2479582211107, 396359660827988734823783039013987713585203 ],, 

  [ 259419901749554336747649859662749240441791 ], [ 3562236632401 ], 

  [ 269423089057, 7548817719358376354302082466663407177989 ], 

  [ 15320144860817, 1140375410821687086468271 ],,, [ 13669726935481 ], 

  [ 375353591427558829 ], [ 1138769085609368107, 441519014589525663007054297 ]

    , [ 25237928645777, 5741494419437921, 176949013126320689 ], 

  [ 1015842523110549831247359874035427528531490854593461 ], 

  [ 193368121019608681 ], 

  [ 29345245931, 120110720974063, 70473516581738417603, 

      282344202450176772862222381414904879 ], 

  [ 17867604649, 110316396144702641 ], 

  [ 11429953309435613857, 686623982494031018985378931 ], [ 8864389497287743 ],

  [ 2119925348919720287735597763156633607893008478030692302001 ], 

  [ 1734034762443457 ], [ 8761037812651, 13111065103889025282112391 ],,,, 

  [ 1598545400704999, 176999420809496844622504359638447699, 

      310290018731454757704956964104976708947424487430699 ], 

  [ 1749802266463 ], [ 3882461949887690321 ], [ 3708996409 ], 

  [ 37691978091476101 ], [ 17716074535417 ],, [ 327665525422439161 ], 

  [ 46588508504757696805290319003063, 

      4339503917658018654182341466103505794021011777 ], 

  [ 4828017025413492487721 ], [ 1764767733893782279 ], [ 1676080285852897 ], 

  [ 1446805390773086604166814037432305292801593 ], [ 336818926861 ], 

  [ 1989254385458918160931089074231, 81954569039043877903441013612740994311 ],

  [ 13371212353, 44799531828170304797849114157924326540503453 ], 

  [ 85735563499, 2065975704075875819734441748070260364359936781793 ], 

  [ 337044848525168730157917372564141251999430961 ],, 

  [ 90606168807462759313921 ], 

  [ 386153863180361, 641582916503110211487929339151137, 

      216107281796728951765881669714339879913 ],, 

  [ 769548042668076906614075124679, 

      780534453518120926027142022912882914678740270498661651917213 ], 

  [ 298688023895061910597, 182519013439569683733853424718354576805778417 ], 

  [ 137231850251, 30890066336591251, 11871650501109485746973700538001, 

      1248628671461669451378694441316120915980280093984128018751 ], 

  [ 80828834062903890161613157 ], 

  [ 329649387273129613, 22810776575917685709615067, 

      423890681689559347179076302983642459807, 

      71715949662622566265948123269527972408175846359 ], 

  [ 195939868788292668161, 8759529869507120207717917582394770817 ], 

  [ 1145366491, 1877252119, 431856015967, 10913037155767, 1119393474254947 ],

  , [ 14050295747, 47877789078403, 4695506194850659, 141485528211733933, 

      16190697903506595644895970637 ], 

  [ 126893799164617, 1127454267195942738097 ],, 

  [ 110612688607671323, 19242452728590946303249 ], [ 176193855456317685451 ], 

  [ 43189084479313, 1510436805467314713190251434113, 

      6777911102743892809167721021154075897 ], 

  [ 31541930849479, 846834577047244883 ], 

  [ 1303059030180236610948484930045760209 ], [ 33349836599 ], 

  [ 324816945181, 95188809969062461, 2562721962259206897822401 ], 

  [ 1358203623190293537839068021781869, 

      440151597710297253774167456320907653964001253616534594546689 ], 

  [ 35679134137, 99100132709983 ], [ 39762698628294969037479913 ],, 

  [ 91245552731 ],, [ 350819609827 ], 

  [ 115410854963403868900486717713092207600813 ],, [ 59966349451 ], 

  [ 17780361284088926978015920592669 ], [ 5618015137586297 ], 

  [ 31444223885348616912709, 3624115058016450763972582424601019 ], 

  [ 13083180471119241366059869001 ], 

  [ 58453240450531, 45588143032581330109526694361 ], 

  [ 931523402064812789529181 ], [ 9681833297, 149722849669 ], 

  [ 6273103675602289573648968521130797, 18562738462613858693157421994565749 ],

  [ 613793965237, 248714371457917 ], [ 427383188798561 ], 

  [ 24955166245037071 ], [ 39077168743788735381499 ], [ 9685286416323937 ], 

  [ 196299953833 ], [ 1230962036893449439902205047739590560117665081 ], 

  [ 13478902529, 1298613046063, 10893357373063702877, 40222077954649298834999 

     ], [ 5927095267811 ], [ 14784258458254657, 27861534885252881569 ], 

  [ 12795222059576711, 2119237915869196877 ], 

  [ 5263358951, 1471673423616147468811, 40835958833675091391031, 

      43722530020252396296833010211 ],, 

  [ 7874190908057, 45060394439509, 8104032571767248033, 

      478918321930633472918649674467369 ], 

  [ 247970483028791, 11265609184262291, 367646806814843014363 ], 

  [ 123863471819503556257806904985553087190051727243137 ],, 

  [ 46287326384641 ], [ 212493912661, 109331580806473414348721893 ], 

  [ 407987015619859919, 34157350625398046867, 67108459912186790985737 ],,,, 

  [ 886270524125548432958873560659977 ],, 

  [ 775843282383385114073393, 

      55367046189921489001249259075890170991712673591517175442697 ],, 

  [ 18179882153630269, 93018546388528028967877311821430239913893645569 ],, 

  [ 12935600134806337129180906367741, 

      236039913204081445964104033087470390556354579309 ], 

  [ 303095670094576448839 ], 

  [ 609623407461811, 91528735274189891, 1495951505567688345274584281 ],, 

  [ 8965535923009, 5036960127056541889 ], 

  [ 933603227833, 3643654444292393171423 ], 

  [ 3534959379374125818927316467171546869391117289, 

      470905956473680066246030421813108472978531599609613672565487 ], 

  [ 5567610826441 ], 

  [ 286188251441, 64001676103429, 93302370467461, 4678151437433860849, 

      4787272673461127236297 ],,, [ 204625379363 ], 

  [ 576179018106626401, 4195441167932955402677568401 ],,,, 

  [ 17238206894919603233078197 ],, [ 53852383423, 3384836479477 ],, 

  [ 1531225697, 2840130108655841, 46493807504047489, 1024647496612144289, 

      6360317088035195024367473, 41877165583030300982269201, 

      56366614236009347961645148486192993 ],,,, [ 7242554806643555488003093 ],

  , [ 14354321353, 32616869921 ],,,, 

  [ 1353416517168517, 81755953245688063, 3521203970356392791, 

      278362361264113710086537 ],, 

  [ 1019590387092421, 271997305286829761, 

      93081811870449417355874265744199283275741 ],, 

  [ 14964715639, 174103011002646770143267724659216201146117522295333 ],, 

  [ 99669749537, 803328656929, 25036050442460737, 7689100719336851412193 ], 

  [ 12169757251, 9434385214651 ], 

  [ 2029941935092663, 521351389838296799, 10304131303500515737, 

      6161721484725581361692118985931983, 

      18142442422044013907637263686635184579316303978124834934743339827 ],, 

  [ 3586502724269896678141 ],, 

  [ 2933004710851, 4915161342803696801, 29176379879502163003291 ],, 

  [ 4177614806477982601 ],, 

  [ 3359000971, 1798449913963, 20321064238216044889, 202239401147596862494147 

     ],, 

  [ 8837327111212021, 303717572134828769, 3966895048740305565189370146281, 

      90321718245754104689500167940019523161226596492868530124622871797 ],, 

  [ 229658401079013466621462030169107 ],,,,,, [ 234320734073100627373 ],, 

  [ 36038633938130625243516154807, 98587610109915777900310917109640983 ],,,, 

  [ 3118721318501, 104941006453352438205340601562326047726677900628001 ],, 

  [ 15179626729, 12462748792957, 190197401946049, 256750385938201 ],, 

  [ 5975478039150577, 100504799019564338891 ], [ 278332035932131 ], 

  [ 2771610208255878646273 ],, 

  [ 

      197772061443829334741500424722387157062993941877872063960654353713373765071

     ],, 

  [ 101407017661, 1190796961506881, 1731857706201221, 

      51412371896104723120746665795436841, 

      1119059775597026334883228275452227359181 ],, 

  [ 32706873657048319, 1038113688555820406576807073541 ],, 

  [ 160696098678601882177, 1715264333034555862976268483363979633 ],, 

  [ 6379408756211, 6051900545265716129257277 ],,,, 

  [ 757429930801, 5254324790683063518454501, 46790344106214076286027191 ],, 

  [ 23116163713, 10842427583249734499213713 ],, 

  [ 12379588453693, 1169532699200929093 ],, 

  [ 1191256871401540445295960214849, 

      5415972859531458812150275966443662825084306092944355515039548257 ],, 

  [ 520150808591936771 ],, 

  [ 16820284601, 66290230853523601, 32996118512637992321 ],, 

  [ 1495051739394937, 1466323887192328353599803 ],, [ 8247199216528539173 ],, 

  [ 16392444320337896383 ],, [ 1591475329 ],, [ 2739132724241 ],,,,,,,, 

  [ 88814212163 ],, 

  [ 3018778801, 6064223673601, 2729663263416986705236001662985199601 ],, 

  [ 12232046388757076759 ],, [ 299734672364177765441 ],, 

  [ 31924141481971, 158757938390839080432619, 469939558330111945163383, 

      1193336189421309419880007 ],, [ 6816826663109 ],,,, 

  [ 4625758238350257888822112361637491137 ],,,, [ 1529182777 ],, 

  [ 16557176777203 ],, [ 33129052927612208166801028481 ],, 

  [ 118370752627, 4852952683627821277 ],,,, 

  [ 105254696693021, 202918200031572217, 318497671217375267 ],,,, 

  [ 10039897220761 ],, 

  [ 28933209506129, 4050494780039273, 3744657320474339759057041 ],, 

  [ 20484370301 ],, [ 2706728216641, 20511757735657777 ],, 

  [ 3777244979, 805696172269, 910446343357669 ],, 

  [ 26955450241, 187129287041 ],, [ 1663082094011671 ],,,,,,,,,, 

  [ 43431886081, 812966327984105857 ],, 

  [ 12970993297, 14468979587677, 28858039381333, 

      57672313533217927415253413533 ],, [ 149632373537, 14245699324478461621 ]

   ,,,, 

  [ 94563000383153752511517529136881, 382195851261457408643137945701241, 

      1022041564476175971093549670755295275008889841 ],, [ 1175170013 ],, 

  [ 1655442517, 216492839101132247985241 ],, [ 61875060739 ],, 

  [ 514043717576116983553 ],,,, [ 4490478589 ],,,, [ 61298987242763333641 ],, 

  [ 5843395027 ],, [ 1456105419110633701, 274700033245579207534144321 ],, 

  [ 161732448487 ],,,, [ 5825510645527, 15544116941963063 ],, 

  [ 2781275957, 235580703001704866120356673 ],, 

  [ 6770193691, 241068535891, 3680182659623418001, 1098918870225965648625481, 

      1360592466935238302789743153993542523519269003481 ],, [ 278554633561 ],,

  ,, [ 9679966561, 29218316689, 12688165051057, 101507232444157 ],, 

  [ 7613318803582425707233 ],, 

  [ 1319510843201, 46171611422801, 14412805657451718749201 ],,,,,,,,,,,,,,,,,,

  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, [ 36982956151 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,

  ,,,,,, 

  [ 8230656193, 16366869949, 1543871622569, 4060620396343897, 

      11550257570463747389, 9238261425155015046377 ],,,,,,,,,,,,,,,,,,,,,,,,,,

  ,, [ 1019725313 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,

  , [ 3245556029 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,

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

  [ 8479072801, 18156736621, 7404746310990265381 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,

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

  [ 1912090052145241466403313 ] ]);
Messung V0.5 in Prozent
¤ Dauer der Verarbeitung: 0.16 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.