Quelle brfac68

Sprache: Text
BRENTFACTORS[68]:=MakeImmutable(

[ ,,,,,,,,,,,,,,,,,,,,,, [ 144066824449, 785676091933 ],,,,, [ 1106356357 ], 

  [ 24549351499 ],, [ 18365307687689 ],,, [ 719579327989 ],,, 

  [ 1183740408275366404843 ], [ 92872386001607, 44781451382825519 ],,, 

  [ 393184543229 ],, [ 9594290807, 23913362989459389576431702738837 ], 

  [ 2170819557883901 ], [ 5339751556535322211 ], [ 12757279453 ], 

  [ 532420380710380271214511372540831 ],, 

  [ 130615408007813, 3157297756049263 ], [ 2381898376001 ], 

  [ 284927339439915898819 ],, 

  [ 12774001194985638103, 74603650264116948313, 1325767646104433555787107 ], 

  [ 2352313603 ], [ 59392996949756250881 ], [ 1145565031404704513 ], 

  [ 7535817682777 ], [ 306249709725017 ], 

  [ 4858445723947, 69779491011911, 761847181612286497877, 

      90747747081632446990601 ],, [ 1606582845287075553706929519320297 ],, 

  [ 2698663087, 185255507557 ], [ 52508646185194976897 ],, [ 9146508645979 ], 

  [ 1048921527777202484633 ], [ 2648899093903356371681 ], 

  [ 14506321593191430105031 ],, 

  [ 4696314313, 24767407991779181, 223923181688249161 ],, [ 2696360267 ],, 

  [ 2196365851, 12979039996159474467179701 ], 

  [ 27028215660233, 32383446007433, 119939719819097 ], 

  [ 31508814688067887912863369477760964172967357819459 ], [ 113414379391 ], 

  [ 40714203773, 547288019218893885287700459677961488539191112597810549 ], 

  [ 1432822581761 ], [ 361282378526574661204778657810251 ],, 

  [ 15593722133457959, 32820924888439082150296829303844467959658687 ],, 

  [ 1975820411 ],, 

  [ 2349883579782847, 12246270786417793, 131535247886209533313 ], 

  [ 111346051697 ], 

  [ 893684973414038622249273852554886714571454231052793689097379699 ],, 

  [ 170431883140247, 170118954820010543539816079, 

      132273615298188446074322425353623 ], 

  [ 4987514602787021, 194862975311027989417263673 ], 

  [ 31130153377, 232817296997214273613 ], 

  [ 22996561635587, 82522836736636359097, 2501490622732644949955123 ], 

  [ 11262858773345981, 13504583962441789501 ], 

  [ 1611103777, 93825382369, 24098019279300193, 214245867085697281 ], 

  [ 1467097914167304443, 

      5648850476486373242264569756540516128429698137332610135269139147 ], 

  [ 10649481680847084908477 ], [ 655407035713 ], 

  [ 2725353152664101, 1672789517297680601 ], 

  [ 1684927576522297, 28242316282091127977, 

      1769038019058097770162001209540094751355504887088996073 ], 

  [ 858683315353, 5414261286613 ], 

  [ 

      230448318230702604770379643464531387897509518395319783297290095322705302771\

0609107930283 ],,, [ 10347809436867999836437, 3562559466587419006927152972923 

     ],, [ 79526380933, 4165399499581, 22357098779581 ], [ 5391955439683 ], 

  [ 2774697566142371 ], [ 481283463999883, 3032714786423263 ],, 

  [ 11926213231, 6090576014582319978587926764398906268808837666829529577213, 

      1500723958756290757312440899497633635025049495529645580598269129 ], 

  [ 521867535000295235342695280221 ],, 

  [ 2876650193550608549, 531122791155838357642686743681 ], 

  [ 4236912109, 371454355896918841 ], [ 263580875023 ], 

  [ 2783474261, 2905348111, 5493482681, 25332187357, 3902137866978457, 

      180151908917489157349, 11382457428734576902249585103, 

      1323006831628297057361422385377 ], [ 1670088621506775121 ], 

  [ 50259497491810877044563779 ], [ 4456334261 ], 

  [ 12332520883516742333411561619563460071471466431224293121924237399 ], 

  [ 1368569773, 1066438097197909 ], 

  [ 701132273533797751, 68514663419263173694115685251, 

      6681627532347432317517512313838889885515911989699335508529001 ],, 

  [ 325585545209443930003 ], [ 64905030463584257 ], 

  [ 2827936453, 

      152489971112806252867644234353634474799736389477535781284091120901483 ],

  , [ 1479585800279516498018145161602460924311 ], 

  [ 1349504541814827655629289235737 ], [ 8451934295813 ], 

  [ 1813394616463470622032961 ], 

  [ 4436255396806021, 15425240027699315144621419132322071 ], 

  [ 13867852023937, 14691746818289338236289, 

      9625115733670717754307586206809489 ], 

  [ 78753177271, 82447223133986621, 1603442816442283674024928984544429 ], 

  [ 13295054137, 111065977051633, 38158712482325257, 41563071733702741 ], 

  [ 64029244276044703646772527, 95894822273824180251664572379551657193 ], 

  [ 1147213579625344141 ], 

  [ 34859013772441865191, 52266234138930762901015041937 ], [ 16448814383 ],, 

  [ 10795140233926624056005421986037151645469281 ],, 

  [ 2081756551995923730734803840709, 35730305209941291544460960991689189921 ],

  [ 61125089963215742134971950203, 

      1852063866937150688023715606417946845721604386131634800978269 ], 

  [ 33311942861, 675892724346953, 81137853647118200180153 ],,,, 

  [ 21748785175589407868013578738809299399888177641 ], 

  [ 145628575363, 183266568614596879, 123701490682425901222574797, 

      23412378072141026566018596917317, 2744915554163734723552182520447729 ], 

  [ 55929669802649015170648636633 ], [ 2426157887371961 ], 

  [ 97913364116740069 ], 

  [ 500124974912323, 6270940928573747114837, 2529602558938640414643562649 ], 

  [ 3724666879, 13041535285987896419609450977 ],, 

  [ 55076028663259631750646241, 78462988123551619569673218721 ],,, 

  [ 4516558199, 35497097609640261889627 ], 

  [ 935446932769, 104698752964097141, 

      2672988739352516266682928338233112581499497674427548082517 ],, 

  [ 4186570503197083 ],, [ 101432662039129, 77992807177176193 ],, 

  [ 641864353901, 15438590666381, 513611284014821, 1431241549814621 ], 

  [ 40551816889 ], 

  [ 402583308594437, 104899694211934253, 

      193319225719696168904756780533169316893 ], [ 79503713794729744349 ], 

  [ 19075122136237, 3771118783001168489041 ], 

  [ 239098546751, 1248109714849348751 ], 

  [ 13066772955574375795946414355124337 ],, 

  [ 35877266507, 1118083891596247, 55857695968238948524814197 ], 

  [ 5830783949, 193192813699 ], [ 1133368577240647312717561 ],, 

  [ 4327503057151, 29569770726042588886070308597676084743 ],, 

  [ 316541060401, 612322289153, 160669569754801 ], 

  [ 258469188751, 125403866535002771 ], [ 8664498426445342506211 ], 

  [ 212357674981, 555901910177461, 518424289699588933, 1587961359155033831, 

      748815728852096898389, 157629927219252778218589 ], 

  [ 2779613206817, 380078097878729089724093560602243163421, 

      163340937096306009151050028041058855928206609747273 ], 

  [ 3674171921743 ], 

  [ 12343897464506762206863596938891, 258090866801950269317730651975611 ],, 

  [ 2901086919538347908106839041 ],, [ 108746046526469768939 ], 

  [ 13238195101, 714815507527516661198023992421, 

      80197273569553148026399817439071927431 ], 

  [ 108319083128761, 295569218282482456086833139582376009, 

      4847465907196890700917214447768389751552613 ], [ 6770304517 ], 

  [ 438677597482147, 5581137985972365021918920816066090707141 ], 

  [ 4533807302333, 1625389114038487087 ], [ 7372295027719201 ],, 

  [ 26483569715545625336833897, 

      38090701069021695330947954173612602321765078298060242586728851161 ],, 

  [ 305765089852273, 69972067820310893769818809 ],, 

  [ 5841973191167, 125210478962705870388664781021 ],, 

  [ 8702288040161, 686785733074493057617, 

      1288714188767996411510642336060302897, 

      313701019957762812722627375989563164353 ],,,, 

  [ 34289286193, 477267459676789, 565489049760034147648609, 

      882653676229064543112598503457, 

      363841046974884832658482727269775950245401 ],, 

  [ 3254162200642393508961333718389487, 13728436402817792732606252875728307093

        , 931483401243059183173540235476793401613665517251 ],, 

  [ 140972378401, 627817462479159913, 10931069915988650155814286682621915201, 

      7754171527028991249837121031071014622681 ],, 

  [ 1707185840047660348087935098251, 8206996989490467965961290391603842906033 

     ],, [ 6387524579559208712152248581 ], [ 593744372521, 142512898301567 ], 

  [ 796871541132165493, 458518329021476565820435944279151 ],, 

  [ 1137241494373672604550499937 ],, 

  [ 3513723727542253800562447392100625712339576139 ],, 

  [ 2002930297, 204946946564112877, 9501008708292796315713637 ],, 

  [ 150368193250945087773580508358551621 ],, 

  [ 8257642817, 11249116733660943658080254945371030358600003358329729, 

      715391112232744248890409571946529539063323660022794183947683424473 ],, 

  [ 56660398751604259, 206552039463045433 ],, 

  [ 16863875129150960362369, 3125919975800294197984083841, 

      7506686348037740621097710183200476580505073749325089 ],, 

  [ 362218454162531953780698380133558356847215457870054381246434977 ],,,, 

  [ 2105592726623, 343934380569187, 136501640803844844622349839 ],,,, 

  [ 462292199911, 228504028350889, 

      104297049974439914113233163221861213091667503501 ],, 

  [ 46935038340164549569, 418445028130993755124069501060985609, 

      2234792041517975533614356218871929052617 ],, 

  [ 3580126171531784656541261359417677527236888767001 ],, 

  [ 69814050013, 48445217147676850924476147979868505901 ],,, 

  [ 2023963809003159391, 2072943483932056441, 77206479093519473658151, 

      332402736421973137567832866411 ], 

  [ 208741357889360641, 95000853759673160421437191169, 

      16672003050374189681067213031795636280607980572364347393 ],, 

  [ 2076620071, 48556328406335327906543107, 

      1035609131889123804534521885235765771689674741 ],, 

  [ 329999785441, 8470883789138394781, 

      15769736107486500683543280972206691764590960141 ],, 

  [ 20591996897, 512150154646703, 256956280962153656976563, 

      517188758724819285083637229387, 40946835414299766126213966582586297, 

      5686828267024031599080443306416017071 ],, 

  [ 4330091453953, 

      30468145733620804225776546048638646817622138667439419102164977 ],, 

  [ 359071324481801, 47328115349683925481999928781 ],, 

  [ 7913722729543643455099284689714669221 ],, 

  [ 3729501665641641909815197429411, 

      56772288006177924165927875240361346285552561 ],, 

  [ 1139142189377325313, 61340251494834772160089056679239601839508001 ],, 

  [ 23285579011, 640667432792348995088915954603, 

      95805070389179411344706573674659272945841121 ],, 

  [ 1279329829, 64267354309, 3878805177649, 160185230848901720006648425537, 

      1400580696274598991028919353137288232222999237 ],, 

  [ 48953191249, 5362976323915101228719 ],, [ 1189925801 ],, 

  [ 1881804631238121370537, 4434958997050698330589, 

      239307329637981863053666714258432893818285483781673273 ],, 

  [ 70821885459283556767529 ],, [ 25909430154319256854739 ],, 

  [ 1962884072123712673001102270593, 5718016892743628205881058545736001, 

      35097832407964549043032957112489857 ],,,,,, 

  [ 6885055037362198252077837729221843175538256317860708049009 ],, 

  [ 212434922060297, 1771832623043246297 ],,,, 

  [ 16493472231752564984846677498924352861401 ],, 

  [ 2389322665109, 8285923622173 ],, [ 895192602737, 9595177603694223595057 ],

  , 

  [ 66635091331753591087200969045686612451761977, 

      539590528674938351079952183334949447000141473957757164047501 ],, 

  [ 10645633463548958844817, 70738723629114570597569 ],, 

  [ 3419346552078733961 ],, 

  [ 17850381286609, 58802624831409329988883952993993181841 ],, 

  [ 653636413027160677, 10769598414047025809 ],, [ 2770806334044701 ],,,, 

  [ 2129496315395890022401 ],,, [ 15658786769 ], [ 1484927040850936563544381 ]

   ,, [ 455689615080674419, 20833968391379123983 ],, 

  [ 46611966210620809, 1214252485672559082017 ],, 

  [ 2333052481, 16595567469361, 1210959658607161, 53849067412179113282011, 

      558779110500062721449468971 ],,,,,, 

  [ 37464654592199587426741838493868697118673, 

      992252264928540254250597891489274245026346660220590231217 ],,,, 

  [ 7655543893121, 927701322677544521, 42945345040679519761 ],, 

  [ 13905754330987, 63204490416421, 613514868224387202016552621 ],, 

  [ 38728933362391777, 7815080298018856657 ],,,,,, 

  [ 1862004901, 2757666739101401 ],, 

  [ 1338483521, 364048600973377, 6729327043512266959393 ],, [ 131632916539 ],,

  , [ 77546513983 ], [ 6725898778984526087 ],, 

  [ 15674698311329311332862073688796723564135743465027035041 ],,,, 

  [ 707238308301617, 4086736143377442829 ],, 

  [ 171445158205963591, 1214773492378825288957 ],, [ 2830106938481 ],, 

  [ 4109050171, 93034547141 ],,,,,,,, [ 25716104182564867 ],, 

  [ 11422304307055178167801 ],, 

  [ 3384099419, 79191812239, 25388378107782312211 ],, 

  [ 6720637136014200371077249 ],, [ 148595572093, 3422418559809678661 ],,,, 

  [ 14324692981, 11185285089023646881024378791 ], 

  [ 128905075501, 284876300606347673 ], [ 3022472489 ],,,, 

  [ 2845569931381, 53959205404277713 ],, [ 967723924506009149623 ],,,,,,,,,,,,

  ,,,,,,,,,, [ 293752062661, 589362811066326306662101 ],,,,,,,,,,,,,,,,,,,,,,,

  ,,,,,,, [ 1758732301, 459486614201924251, 2551395417824053294651 ],,,,,,,,,,

  ,, [ 5358769879, 178634658973, 255696766771909, 12007044048519367 ],,,,,,,,,

  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, [ 7069863781 ] ]);
Messung V0.5 in Prozent
¤ Dauer der Verarbeitung: 0.14 Sekunden (vorverarbeitet am 2026-07-02) ¤

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.