Quelle brfac255

Sprache: Text
BRENTFACTORS[255]:=MakeImmutable([ ,,,,,,,,,,,,,,,, [ 51691815953 ],,,, 

  [ 17545853389 ], [ 5683419457 ],,,,, [ 57194120089 ],,,, 

  [ 5820912515881, 539997643560347190879690989 ],,, [ 27856282757 ],,, 

  [ 19629421791278179165133997656104871123 ], [ 19289016449 ], [ 1957159777 ],

  , [ 2809900728154496612941167093449 ],, 

  [ 155558035937149219063960505007312698491079 ], [ 276901582717 ], 

  [ 1938716821 ], [ 1726018815933111839 ], [ 47418683623193107 ],, 

  [ 7502524245927543231967, 3669344677233901335667747 ], 

  [ 67822539465127901 ], [ 6651347576597818000604452429561 ], 

  [ 191841614870003333 ], [ 2709161110890563627369801 ], [ 39444631140232567 ]

   ,, [ 1836428329 ], [ 753577113841, 2866757800310149987 ], [ 18022738577 ], 

  [ 118956311531, 1976837232673, 21349273631669, 6379976768839045282161893, 

      45376566367750352052166553 ], [ 19064139345537541 ], 

  [ 58441950239, 

      79983169025828475742351517008980584732169473419228831045469881 ],, 

  [ 457499708261655375225063421 ], [ 759793310849, 35035599880321 ], 

  [ 38912271191, 39471417311, 53854200284464312137341, 

      8211383940014504415572240600351 ], [ 262281250507 ], 

  [ 2221970983, 2897321737 ], [ 540330246040588647323536544773 ],,,, 

  [ 112927969369, 3217989042001 ], 

  [ 37180177501, 7581848828044453, 2300674681194474220065430826197 ], 

  [ 871352147317450316699537700607 ], [ 206940528451 ], 

  [ 3590279029326620929 ],, [ 1840521040016401411077319 ], 

  [ 539416647571, 8522296708558686281, 29450225222785305032926019 ], 

  [ 7083637950007681, 25300381823966605361 ], [ 5836458981799 ],,, 

  [ 93139832114361506367097 ], [ 6340213400148095446751 ], [ 7364343487 ], 

  [ 4902536131, 730622032755741745802023 ], [ 4546903884135097 ], 

  [ 38055541757961137, 640514096205171811900189333 ],, 

  [ 401182395979, 3925679926259268997, 19808403340719502672619 ], 

  [ 2047841293541 ], [ 21085697119, 753585403158997 ],,, 

  [ 146870694913241348534613327628929697 ], 

  [ 1069624845221, 2107989076762237 ], 

  [ 1857177379934030792569, 5353656563126843121367687 ], 

  [ 25221808691457247 ], [ 50918111839628425346675291691301 ],,, 

  [ 935092404192229561 ], [ 54141314099009652302432874797173009 ], 

  [ 1581889396565789851 ], 

  [ 10378109141, 479534779516034776249787, 153133724577707743875237070543 ],, 

  [ 83992467056565691581419054953 ], [ 5466453658280975179 ],, 

  [ 36375799253203, 360197532453901 ], [ 11041773098175569 ], 

  [ 145601608079 ], [ 24629350013297257, 343980154973546153123437 ],, 

  [ 420893183857, 2392558226812707593, 4288895016422260692147277 ],,, 

  [ 3268843329660384841 ],, [ 1730434142206821679 ], [ 68644466732239 ], 

  [ 8014338188891923123, 28656470566584348727 ],,, 

  [ 2456423677, 61333863245173 ], [ 140333183089741 ], 

  [ 202610982908014337, 34048680263266020353, 463447759285400673020368513, 

      364326859315471323240730350068993 ], [ 4470987463951 ], 

  [ 588729635395764913655016491 ],, [ 957020009905378987299998912535195637 ],

  , [ 26772585593177372201229811 ], [ 11391928831 ],,, [ 5209383391 ],, 

  [ 2161927024454508273901 ],, [ 17356073151773 ],, 

  [ 4244278240801, 16105194957872466916993, 687169293337612211379147361 ], 

  [ 3458850741744241 ], 

  [ 363735767262014236961, 8331767808291434583289, 

      45159803234103556278697621021, 

      1100764511373807653676220678109342409315692297 ], 

  [ 60932273284807086878253721 ], [ 7475364412971769, 7421992462973159805289 ]

    , [ 6628521530321 ], [ 1869478783351 ],, [ 46324469089 ], 

  [ 2101368016747, 6129065077721389 ], [ 975826846920154484641 ], 

  [ 17374220213981 ], [ 82788651153860554281065705659369 ], 

  [ 8843987923570237 ], 

  [ 1447515737, 82955231361806202673, 12150925128886051054691 ], 

  [ 1581283939, 366236943637 ], [ 377078183201, 6237924501479852489068445921 ]

    , [ 9833878391, 2423131525922008147 ], 

  [ 2233009560547, 14708808885637, 4997425943166506376224252563, 

      37568012924447717096742245989543 ], 

  [ 120004579863862709, 2281210845910582127 ], 

  [ 13543179636408797, 2133035938089578017259629 ],, [ 548924558004461 ], 

  [ 5666589893, 61870762553528989 ], 

  [ 2553169921, 6365017749122379418725686257 ], [ 1344116503211 ], 

  [ 390592610641, 15317165091931, 328145956041827101326403638231869521, 

      454761058445897998862198695246239619251661 ],,,, 

  [ 11793355797251023, 29542686866284518313, 90649303893206555615861742169 ], 

  [ 1195476101 ], [ 181744008700169521 ],, 

  [ 11409183117149, 222933216841820921, 2216295199041768999227, 

      81659494115502213148402169689 ], [ 7315794204437 ],, [ 4770453377 ], 

  [ 2380776217 ], [ 47983568803, 22385423166070975027123 ], 

  [ 1470517985922379828712897 ], [ 133145425741 ], 

  [ 3239507467366842644593, 134504534706449169038920333 ], 

  [ 5953102506121, 8895135338517539 ], [ 149140776217141 ], 

  [ 2276517207690307 ], [ 319528020052361680844351 ],, 

  [ 1627417856316481, 90722952709447514391102482881, 

      388559231959710236497015861867388891521 ], [ 5254002668137 ], 

  [ 16209717714689 ], [ 474111090529553101 ], 

  [ 2881979446921, 2509695881091617 ], 

  [ 76453711483, 214550197313, 6603365929577 ], [ 190203304897 ],, 

  [ 4222131238752601, 126405934425280801 ],, 

  [ 10486137861986179, 11453834939254946093 ],, 

  [ 61414051736881, 131310014368087482721 ],,,,,, 

  [ 97326746641066142494092201421411 ],, 

  [ 1182783829, 1741125473, 2344665390279973 ],, [ 1164400751 ],, 

  [ 9975177001 ],,,,,,,, [ 670136246131270516708321 ], 

  [ 87745638525301, 13967668140901766729101 ], [ 1254114551407 ],,,, 

  [ 24085468428961 ], [ 9013213903, 911588683437433, 58009844488365138601 ], 

  [ 1943369166521, 28699856265161 ],,,, 

  [ 333409803195793, 223489624709462533 ],, 

  [ 21103077417733907, 367144971092068025809, 12577860762287108613319 ],,,, 

  [ 1284558257756252623 ],, [ 8975226217, 40045336422073 ],, [ 1443107587 ],, 

  [ 3532594337 ],, [ 219841692564022307449751 ],, 

  [ 3729340189, 7086345033853, 42567594862200409 ],,,, 

  [ 11556188929, 51984676097 ],, [ 648751621943077 ],, 

  [ 1036555001, 325863596219201, 672272055142937861 ],,,,,, 

  [ 16024783769, 3517598604199, 1752940914541783, 680105263231137829 ],, 

  [ 634906362514911401 ],,,,,,,, [ 3250532385277 ],, 

  [ 363934510711, 3848887223183, 83662456966069, 179825896873350895663 ],,,, 

  [ 1925800144849753, 36521664925192233403 ],,,, [ 184049344414742951 ],, 

  [ 1609740289 ],, [ 1591193718794454102978931 ],,,, 

  [ 6716705773, 8952919770618500378260399 ],,,, 

  [ 538719900720607, 179896889029085159 ],,,, 

  [ 3800249996005091, 42318866126833837 ],,,, 

  [ 5516818309, 65443717243413109 ],, 

  [ 34805142373, 41495947417, 383631660390435073 ],, 

  [ 1895616668801, 34941487239655000541 ],, [ 2617317527360329 ],, 

  [ 1475676913 ],, [ 275334210589 ],,,, [ 208470791150081 ],, [ 2331392057 ],,

  ,, [ 84629792887777586797 ],, [ 385450212297217 ],, [ 2973184695035281 ],, 

  [ 18133382837, 44408747296622586217 ],,,, [ 4691854273 ],,,,,, 

  [ 76626058499119 ],,,, [ 7932977627, 172476654587 ],,,,,, 

  [ 818658501226369, 3244386143262566369 ],, [ 2263286611 ],, 

  [ 6675677059313, 14681637886873 ],,,, [ 9297052402681 ],, 

  [ 715360192699, 65884265336951, 13375357656761759 ],, [ 6676959017 ],,,,,,,,

  ,,,, [ 1872862393, 1884474401, 477840890057 ],, 

  [ 269580112957, 1293974182117, 81431110152631, 113845667761787473 ],, 

  [ 7281725823982381 ],,,, [ 26194502944741533697 ],,,, [ 1181173657 ],, 

  [ 323930983351, 3784327552743817951, 8131521432671890111, 

      262471836496015284841 ],, [ 3554781833, 28724195233308121 ],, 

  [ 95601465001820629 ],, [ 1113097058921894113 ],,,, [ 36523478801 ],,,,,,,,,

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

  [ 469354731428701, 120441214729865251, 128884434621932251 ],,,,,,,,,,,,,,,,,

  ,,,,,,,,,,,,, [ 1532250721, 92444088371521 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 

  [ 5543270071, 121176388621, 1138071521092373341 ],,,,,,,,,,,,,,,,,,,,,,,,,,,

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

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

  ,,,,,,,,,,, 

  [ 505275502201, 147232802993501, 11708145068756501, 641290375886696201 ] ]);
Messung V0.5 in Prozent
¤ Dauer der Verarbeitung: 0.13 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.