Quelle brfac404

Sprache: Text
BRENTFACTORS[404]:=MakeImmutable([ ,,,,,,,,,,,,,,,, [ 705487289951 ],,,,,, 

  [ 2727417193997389 ],, [ 643438043698001 ],, [ 360606000569761 ],, 

  [ 59454367569767 ],, [ 30173309007902432032219492220550575153 ],, 

  [ 3525676782023905279 ],, [ 10284010241 ], [ 12202468669 ], 

  [ 1970395500196751 ], [ 1318665589 ], [ 96777305713488143366453143 ], 

  [ 987788789881 ], [ 1199899523, 1735815262339, 2396168392085071 ],, 

  [ 2315704044319, 10391894412230393781673832665171075944547 ],, 

  [ 50377653397475679871 ], [ 2386265574463823737 ], 

  [ 6374116914917741590405116062293727011 ],, 

  [ 1377929019051414794535257, 111351485435563724761506242693 ], 

  [ 218991387001, 932222158951 ], 

  [ 39518141317, 901551053233, 3717732784669, 200636208853062973 ], 

  [ 1818851671313 ], 

  [ 1701169516359035724123491, 1317466497303849269875044799360073380554920929 

     ],, [ 694823563454065997556894436928397470378471 ],, 

  [ 16031010393815041 ], [ 2438167375581059 ], [ 544192659833058355109 ],, 

  [ 59173330357, 8244368452954105130798089406759 ], 

  [ 48782033745760876823, 1238430062424438363803 ], 

  [ 2453492791, 179679749837225423995217134354526173 ], 

  [ 69103343758050284368513 ], [ 46248085391, 15252489167937919951 ], 

  [ 21942623133564965173 ], [ 27584354021222989, 295734017039946529314971933 ]

    , [ 138647163246123722917 ], 

  [ 12268788031249, 4008569642559018631, 4022323958590610199738376578331 ],,, 

  [ 44723948887153, 71260187051495089 ], 

  [ 2828950144627185633443549, 131687885645499062175611225149 ],, 

  [ 1016757901, 9908453252885401, 125178574242814979488102351 ], 

  [ 12852844266149, 3111696726103061051176009 ], [ 127161464243969 ], 

  [ 28431297259, 2439479721823, 13525024870969 ], 

  [ 1845989627892165702573257 ],, [ 705235638499752042735933511 ], 

  [ 116200758671008264239071 ], [ 528552370326534912324973 ], 

  [ 1780759134841 ], [ 128062898215662128021, 581425500484963547414831 ], 

  [ 209339268503584961549, 935254998465383898271, 166636010663314581501173 ],

  , [ 11990209477577 ], [ 569740086200963, 1088189800810388241220109 ],, 

  [ 1237439659, 149709626977 ],, [ 7831880239, 109242488317 ], 

  [ 28529225450369297, 1894624190527779657264397463 ], 

  [ 3193338979417788452978138551 ], [ 195673146049, 5713500267457 ],, 

  [ 69999289279006807454674596328109148343753 ],, 

  [ 218948433701, 1830445608701, 164449478379765701 ], 

  [ 5080623403, 42459444541, 16217881106960537, 

      4473026888383331596429145981118095519, 

      1355141371407100209074715224523070548062288586920486384937882906473393 ]

    , [ 9963300331 ], [ 1457637906279431 ], 

  [ 4033235542466388925993, 304251430012562225674937 ], 

  [ 851041991941, 8932070643721, 16789748823788244571, 

      62302711242892866964182162505246591 ], [ 625881318971 ], 

  [ 8081625899, 183954571201, 135897593538979, 8300600919450135521 ], 

  [ 97895328917121721 ],, [ 1865149595837268841 ], 

  [ 613632029947, 21400627640533, 7351657904118956652991381548763 ], 

  [ 1747116113, 8015881553, 10183066230866662813939375968939267365174081 ], 

  [ 832743817334423, 8687639831251333523 ], 

  [ 1367962723, 2733448874997507871 ], [ 7727288696982781 ],, 

  [ 33936952266638651995129, 113571342636600478637593, 

      1398320353914095051011963 ],, 

  [ 7258621343, 8381809507, 68861938797410915271431 ], 

  [ 202600844881, 20728791286138969670823669121 ], 

  [ 1850813581, 1668134043542011, 166469212255027232735141 ], 

  [ 108890471371980187 ], [ 373287900049 ],, 

  [ 32493489251, 2080518612275434298251, 4969407038587387401251 ], 

  [ 6513320521, 85788669583 ],, [ 318084252289 ], [ 15440678680020785834989 ],

  [ 153543535795883294428462741015430892131 ], [ 71617359139 ], 

  [ 55334539789, 2475014635633, 20935758885493 ], [ 1510823379504139 ],, 

  [ 360146928781 ], [ 1308252456582110753554817442161 ], 

  [ 39272193403, 356221594763 ], [ 36590079978854742748759928501263 ], 

  [ 523401014463769699 ], [ 5799543793261, 195341300183765802862370425901 ],, 

  [ 1008422941 ],, 

  [ 12212454817, 422190063649, 2620169878252734142077273114760166358425521 ], 

  [ 1017058420871, 12909796171091 ], [ 6040425151, 132185951917887509 ], 

  [ 453301958719 ],, [ 18507144577, 21115967794993217 ], 

  [ 100279026664288425451, 26958514553507001630751 ],, [ 1930282961 ],, 

  [ 8803220068254613 ],, 

  [ 17013213115796041, 11833099446893677993, 9000462516262474757293 ],, 

  [ 2012435206229369683649 ], [ 173497771687, 1457243750337609331 ], 

  [ 956152988347681 ],,,, [ 5746394033 ], 

  [ 3973446201658561, 33031273364617045924561 ], [ 2177666286863534690098913 ]

   ,, [ 2768376409, 9355829941170049, 1824113861344268054284076137 ],, 

  [ 36237355738641728012681 ], 

  [ 180852522391, 162383934670183, 532785344111173 ],,, 

  [ 4639955846443531, 760222255023682558831 ],,, [ 25647914191 ], 

  [ 363896780431 ],, [ 2291740021, 2257430746231981, 111491177197712041 ],, 

  [ 8418362681, 194954562349, 22008134385511 ],, [ 233202754728433689673 ],, 

  [ 54013854091 ],, [ 1824552973, 17053007557, 5953767431852572793717 ],, 

  [ 13929626941, 3198473360231, 30472248773080946125031 ],, 

  [ 137365145621859503386369 ],,, [ 3401948587968061 ],,,,, 

  [ 6755998843618001 ],, [ 5123940603989 ],, 

  [ 1300563284269, 214985831177461, 1434589251290133972972369091501 ],, 

  [ 18748006691321 ],, [ 517286668713569, 423791358310439393 ],, 

  [ 9398930731 ],,,,, [ 8892574670354611 ], [ 76332168613081 ],,,,,, 

  [ 23188802431, 18548322562910971 ],, [ 83498059523605217 ], 

  [ 25394422634101 ], [ 4462170443 ],,,, [ 3950927581, 829686666475005454681 ]

    , [ 1775568161137 ], [ 16137026047318284553 ],, [ 43832917771579 ],,,,,, 

  [ 2173275419761 ],,,,,, [ 180028583942407 ],, [ 2439437617 ],, 

  [ 871767298816501 ],, 

  [ 62378944741, 179852716847383612545173470489, 

      15229798924898469382893230353021 ],, [ 5030236067 ], 

  [ 7361362441, 7420639129137303061 ], [ 16071121267457, 268250992572161 ],, 

  [ 691413182001058861 ],, [ 147213524317861 ],, [ 335967884183978419 ],, 

  [ 99997212481 ],, [ 51643377311 ],,,, [ 30759275611 ],, 

  [ 1069584611270209, 2836987076411633 ],,,,,,,, [ 3684662835844393964349881 ]

   ,, [ 24064410217 ],, [ 203566205115353 ],,,,,, [ 902763307091 ],,,, 

  [ 3266829893671, 8273544256635253 ],, [ 262521541844060881 ],, 

  [ 1124704151 ],,,,,,,, [ 2348069801849563339 ],, [ 190103453388157 ],,,,,,,,

  ,, [ 102730186867801 ],, [ 9382440961, 228938454334721 ],,,, 

  [ 12069683641 ],,,,,,,,,,,,,,,, [ 20548432072121 ],,,,,,,,,, 

  [ 58816502079301, 35748618746994301, 163246647827540201 ],,,, 

  [ 5263965953720991961 ],,,,,, [ 54391019401 ],,,,,, [ 1287941224771 ],,,,,,,

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

  [ 56242627357871 ] ]);
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.