Quelle brfac21

Sprache: Text
BRENTFACTORS[21]:=MakeImmutable([ ,,,,,,,,,,,,,,,,,, [ 12061389013 ],,,,,,,,,

  , [ 1103704099, 246763300513 ],, [ 4540713283, 3936833990413 ],,,,,, 

  [ 1681762703 ],,,, [ 17222085343, 914531249431 ],,,,,, [ 5298873343 ],, 

  [ 1606344741163, 1767442850839 ],,,, 

  [ 207612155793974069, 372515213872960388437 ],, 

  [ 5664205361, 270573999780463721 ], [ 115593326297 ],,, 

  [ 47540111129611360301 ],, [ 1128331159687, 1814065850324073713 ],, 

  [ 22125429901, 27186384126763 ],,,, 

  [ 324363426169571, 312929837239650768379490219650039 ],, 

  [ 459878292118921111 ],, [ 6912925952086714539251625713 ],,,, 

  [ 9728219701, 201307465501 ],, 

  [ 6225803431, 39824892937303186001525100993399811 ],, 

  [ 15208288358346544216626697, 122435283552586211204658864416622901 ], 

  [ 3184193681, 363230092241 ],,,,, 

  [ 11500287881306297400572689205013166485061 ], 

  [ 169367548429, 1163308526467 ], [ 7826081384442721874824416529 ], 

  [ 29831330140869137 ], [ 138348511207 ],, 

  [ 35381269315942497678572657090020747 ], [ 11918195405621 ], 

  [ 5490236844314625181981860471139 ], [ 230199028303 ], 

  [ 19449969211, 619598441951897251, 2522688573446019221 ], 

  [ 93310250563834657 ], 

  [ 99141858256733, 29748627560719740825024892426535732998061 ], 

  [ 2524084462789, 86494371600108393937 ], 

  [ 782006960636353, 146354764854514987 ], [ 33360993558601 ], 

  [ 9169578247930711724838223927 ],,,, [ 3987476221 ], 

  [ 167223466685805761701453712891 ], 

  [ 4272624310883, 352523466309500183, 55837009494804076861723, 

      16339864316070753885738065827 ], [ 360697466924286697 ], 

  [ 252649631352967, 243559381356675673 ], [ 8407123807237422961 ],, 

  [ 31548272195219921 ], 

  [ 768053632358191, 2848908845742998189988598903, 

      13882020027413204621222579528393197501 ],, 

  [ 282924347471791, 3394964812534556016503466037951 ], [ 1792484183066669 ], 

  [ 479667952955520596219571126379 ], [ 3085597813 ], 

  [ 2799538602198455356994757392557147, 

      228981930777446745490310485965805923037 ],, [ 25400947557093092161 ], 

  [ 15569711981, 132538677158969693, 37376752870606823789 ], 

  [ 1474011104949958983856849, 367541000424902470501250402608394113 ], 

  [ 13163658325422541897 ], [ 61856751975900984009042515310001 ], 

  [ 4527391635851869 ], 

  [ 123564234215209, 526073566316093, 21045416332383383, 

      6619201108364006378440292620708869500505245589624095987 ], 

  [ 70660081537 ], [ 7953436401867987800552310336799 ], 

  [ 101619538800983513441 ], 

  [ 2470162463, 229027002385831089465739609724278489582787 ], 

  [ 724051700079313 ], 

  [ 948175293266954869500463698756935713088089028515629708586399 ],, 

  [ 192787782171121, 2447244788249267691839821 ], 

  [ 2691707418840001, 5357156372335908409 ], 

  [ 1434935907463, 26713431631673, 45072031559057, 72752932313208962053, 

      2507048871610995663351125327991556777 ],, 

  [ 4329622389913701641, 687423001115670029908380379, 

      1717466079724751615975579073185741, 

      242224065084426595683370880085175862126081 ], [ 92152520881 ], 

  [ 62754239731, 26050530648193, 471375279539413, 85297241991463563433 ], 

  [ 826880829487, 172132091765842074983 ], 

  [ 197647219771, 713255542756934588000409316079479675200443737 ], 

  [ 4116371120264449 ], 

  [ 10560867746962116514771, 

      21933305517206008074555499460677419485784113293205521 ], 

  [ 9428689079641451, 1427364308750988577 ], [ 266450990381897623 ],, 

  [ 4149000929822858713, 19200704422015926819331744380572154435059819 ], 

  [ 895322420811001 ], 

  [ 6761621753, 3974667798337168284581, 71961086116587981948793, 

      86925566545463574785698705608720765611 ], 

  [ 8871582886760161, 4370570172021545617284038736601 ], 

  [ 625770304116639832567, 34098331055594280023053, 

      847586878961383719143557147 ], 

  [ 123679698913, 15502260840362954719909, 37681894326794146626121 ], 

  [ 397280183491, 331444555707209696951, 10051236464468058997903023288131 ], 

  [ 193538987428465501811153413 ], 

  [ 927769418893, 771665274541267, 6340852464650001524284475768730383408507 ],

  [ 41784481746279594641483665441943191140798018660203 ], 

  [ 2018656483852209137639505692992077007, 

      75685729452842223963000669830840612177358577 ], [ 742519225358081 ], 

  [ 4897051993, 28514133943, 32792468187424849, 

      989841672456580427804885218352119985137687 ],, 

  [ 14599604213, 561788105646941, 71382227518918280601812453, 

      233873265768022293940710651427, 

      375293848786689453728783544296310281471843370384860719701298799 ], 

  [ 153065748541, 166149756476309, 294168762061816395873078148041249581 ], 

  [ 182894303461, 28503846834226831, 237967900696723393143507690151891 ], 

  [ 340541835197467124476215159811, 59923443964076110556880753544175063 ], 

  [ 

      202318787244321591064731519404894661496763775699465896751888613137542935702\

28700650486980343491462439 ], [ 266902182961 ],, 

  [ 3549804001, 39748187549971 ], 

  [ 3263277133, 1769098309517989, 201773586986282524421768503820293 ], 

  [ 11665928381, 1229778870010013 ],, [ 69250702723682869 ], 

  [ 24602533201, 37686242599452410706868538086801 ], 

  [ 1105893073846539560737 ], 

  [ 30929958506284355669683837, 25450021381448750834132998943947 ], 

  [ 330901808518637, 27329974534657721237, 265584888342742928831, 

      1814250359778886183181 ],, [ 41764164884102175841 ],, 

  [ 97334207034611, 1737708201406774525206464521323498021877 ], 

  [ 57733681069 ], [ 781621671529, 16122157179747873899321928032897737 ], 

  [ 10738834628461552327151, 805835118294704523571872311 ], 

  [ 4035955783, 783622559828503 ], 

  [ 765464515091513689, 975445747250107665555691903049 ], 

  [ 2482265166773333982451717 ], [ 4167831781, 559529226207687925351 ], 

  [ 18806124191 ], [ 12157448103888869384609 ],, [ 155123125453 ], 

  [ 188495925509 ], [ 702978785993374112119171 ], [ 1177455793090616585141 ], 

  [ 75516500531 ],, [ 1044957359 ], [ 1166256601, 35270582801 ], 

  [ 4797582169 ], [ 2991025189177537 ], 

  [ 139184658492559, 960400283241933241 ], 

  [ 729040918680274021, 1556912582127465166281841 ], [ 15302729711 ], 

  [ 573079972724225525536065884172119, 

      124182167703174868733039024056091426756491656943 ], 

  [ 110173915920133084951 ], [ 1615033161089271825038593 ], 

  [ 698778642379357 ], 

  [ 16128844201, 268004127903031206150241, 32071033873519074932758681 ], 

  [ 248187433183216219981 ], 

  [ 14910160703858993, 156211149550774441321811821193 ], [ 22461400068241 ], 

  [ 16039770717611, 28393434685140971659, 17813258783089772599327 ], 

  [ 32108273175191, 222756144763231 ], 

  [ 14697355609, 30399041735797255948625080033 ], [ 1327673263118497 ], 

  [ 12437625258656743104073625051, 15547495436546185942695879543470800471 ], 

  [ 4072503517807, 518345871043554451 ], 

  [ 2599537710221, 9036610069262821, 140065954810191667464461, 

      427340685127009875562001 ], [ 8077975881587, 329870879538394852145879 ],

  [ 1872452679217, 30983921565277, 30308467970641907119, 

      105199608637709036593 ], [ 439472991593 ], 

  [ 360058801537, 936467984954383841 ], [ 45237496501, 9725237898751 ], 

  [ 97402954580003507, 1910857511744965027 ], [ 2646531892461378714335381 ], 

  [ 64793186833, 832365876613 ],, [ 58286351831, 69727564981 ], 

  [ 13030208254603, 16912366483493251, 102176232786629233 ], 

  [ 1221702721, 12064146485993225890171648153, 

      247096173349069999696204534489403326701538495313 ],, 

  [ 13473153762727699 ], [ 8254573388881 ], [ 426127435115926103911806312233 ]

    , [ 1834380224794697528813671 ], 

  [ 456547149396215146316989552005017911648766803061935886988961 ], 

  [ 4322592575557, 21310629067523 ], [ 303793280233949747866746506198881 ], 

  [ 30803026746692878739710027 ], 

  [ 45727370393, 38524810489309, 

      696345076410285727892694949942258081484370607564459 ],, 

  [ 6507039337, 939314334529, 151583426311021, 732829221167645894129 ], 

  [ 145699610071, 1169880551952935810191 ], 

  [ 342306022057032544447, 380770063539669474313312691529545132713 ], 

  [ 22740591300054418772021, 26814043683552997774267 ], [ 38051727977 ],, 

  [ 183175229895001, 52149276366245640092567568918361137482401249751 ],, 

  [ 3462803569, 272314707337, 38879383462474983799014142129 ],, 

  [ 3023767784043644159, 525212323217088996809, 14948184961120158829387 ],, 

  [ 47364380213310995446855681, 17505576891450841829489878762926790845953 ],, 

  [ 865024042330045810749522301, 575249475635243150387227010911 ],, 

  [ 42992409721, 85864930061, 128789956824244730223808008541, 

      1433993498064013499085064988761 ],,,, 

  [ 1860536006903334289, 121328963242175651825534959690920155497 ],, 

  [ 263478423344974307, 39188712102054729290763779, 

      1027619231425962708522784338595411210117 ],, 

  [ 12190216735350749, 7433885411863948422879097872510769, 

      43188774677058559319679599115492232913832013 ],, 

  [ 2810321698513575079231344181 ],, [ 895061946932350301738113 ], 

  [ 424277387218231, 780822438421787911002783931 ], 

  [ 439568420979596620584991270597, 

      89324288253958545575960848255100747898230610360730950584438935339339 ],

  , [ 532833941184541, 25811065122057230634896752078244095717 ],, 

  [ 109082531683019364259, 4030571091345838215808589 ],, 

  [ 56819827681, 428657635595589188881 ],, [ 5604507094507 ],, [ 7532230393 ],

  , [ 165238453381, 19725500031525136314134334713235761 ],, 

  [ 2280879799777, 5024477501569 ],,,, 

  [ 6899178178539541, 1405941375841813597, 11133979244859457087136933, 

      291735354693567319588543905901 ],,,, [ 17515714824521, 509348639343937 ]

   ,, [ 7361367053, 3562026657560934335039 ],, 

  [ 216079934487583829701, 21990762305034205478701 ],, 

  [ 3843132409, 33915399804509928260923827412471432376581621841865488579, 

      1653679523357922346828072050382592817945343190501946834331 ],,,, 

  [ 812747902414376177310556049257081 ],, 

  [ 4557276101739669313157253946749298236623032242013669493 ],, 

  [ 1080782761 ],, [ 533920169777048201800962081353257 ],, 

  [ 11726468699767, 

      10977207169320997761767466186604751213137477246601165175997 ], 

  [ 667866235603160161, 9836871692461559260201 ], 

  [ 1926854873, 49710933021782204453685378593, 

      34461495993387250259782587818586917 ],, [ 111803078830519 ],,,, 

  [ 70508844385268946126529487, 10691690931218936036951231691349 ],, 

  [ 114470487422433038629 ],, 

  [ 71021669202702868134608700277, 202941857898230649381951459157 ],, 

  [ 44631826706164506918222233, 2082627716077041670357143339079154939745481, 

      12622814878907184100865777660198685431286629416654696859110753 ],, 

  [ 15944511496321, 20651477307391591, 290876372783240399399264359363201321 ],

  ,,, [ 17770140143812417, 2040970260732926549747923539439137458678677 ],, 

  [ 2774300000368737687891868483184052563250138593521153 ],, 

  [ 1577317561, 557605383899089518711683136416448125851528873, 

      10067791945474325101972414912058006006403226592219 ],,,, 

  [ 89287241422177, 1343456427753441154701241543, 

      6553440934433074491786184400208956951461 ],, [ 256059424793 ],, 

  [ 12761810683477, 3956658511154887, 36502415754011189 ],,,, 

  [ 315986798401, 4853662284647061913896534715723251901, 

      293125233886991211739535978630708361851 ],, [ 3789682841473 ],,,, 

  [ 92592132917, 1716980587260059657097029047997768233, 

      22776473719769207768418930979744253189 ], 

  [ 2878387471, 180250982879958649 ], [ 17550120663287 ],, 

  [ 4014083991013398361 ],, [ 20166529816221960648341230175663334319 ],, 

  [ 1761677187589229 ],, 

  [ 578011194961, 

      3802536447549432836440638093101251935825010803727692773605408761917053 ]

   ,, [ 2880257611825611787588723888672769 ],, [ 36955800911 ],, 

  [ 5965934302583714931817, 

      487175034683122420465434036807173981610285613900093 ],, 

  [ 21871159470059504243 ],, 

  [ 2873726641, 3265513753, 1042262763273995452455080618017 ],, 

  [ 164687866184773, 29530378898266681, 96147459008542768120973717977 ],, 

  [ 4307457701 ],, 

  [ 113586887116607, 4296149125737272147, 2422496791069538905767875162472407 ]

   ,, [ 7196013143150373330433, 5976303920727967530041423506463413249 ],, 

  [ 16284846801239 ],,,, [ 24706699213176328849940942101 ],, [ 640080959281 ],

  , [ 2426612349068731, 296776354253006534969 ],, 

  [ 2809844133434751558300752991125417401 ],, 

  [ 46261520449, 279145484310017316137 ], 

  [ 219011625883, 2239359664963, 649811310190687, 8805390895887727 ], 

  [ 72215141710303601, 1996182264216434668032401 ],, 

  [ 31010678383, 43925426158099 ],,,, [ 2334333021133, 657228369497235543841 ]

   ,,,, [ 1768026191 ],, [ 17486925079333, 57396107489297 ],,,, 

  [ 1065309498241, 258204094212481 ],, [ 2419908034808639 ],, 

  [ 2616115321, 6474775133349148921, 

      2260473771611723850539339307597381961827361 ],,,, 

  [ 3341016278332509097, 234486179677976538457 ],, [ 249375088060905101623 ],

  , [ 114874039907713, 177556847282189, 107739552297307643008981 ],, 

  [ 117423401111, 3379774626131, 31449579712763966011 ],,,, 

  [ 57897596401, 37391106152229551 ],, [ 2215409632309 ],, [ 928470367243 ],, 

  [ 5271047011121, 1218921094812961 ],, [ 4090124773709694280141309 ],, 

  [ 1589679976083984537481 ],, [ 7169234676632555629 ],, 

  [ 11338306068097, 24511771477313, 3811794552666834287681 ],, 

  [ 4262607357458385601 ],, [ 208468809168353 ],,,, 

  [ 5370541965046548082885731921481 ],, [ 29762839771813 ],, 

  [ 5841401081, 1414971741476056541, 28953262389192509964881741 ],, 

  [ 9033642975850844737 ],, [ 45168642038468129, 56571050294072833 ],,,,,, 

  [ 3884209928361279371 ],, [ 59120552258079483649, 74076072452809654360457 ],

  , [ 132270117121 ],, [ 268748262443333 ],,,, 

  [ 285694658395780981313663847262081 ],, 

  [ 2647471279, 757351635473755086173 ], 

  [ 1861003831, 3013584799, 7619373005371, 1392853350318739, 

      305385288764715769 ], [ 5536592161, 64373269049 ],,,,,, 

  [ 1022561401, 57004912441, 119217670811, 31925216827211 ],, 

  [ 724099105793113, 278070848980469355337 ],, [ 83862189893, 823423116517 ],

  , [ 42095579521, 1345350384451889, 1044010272122690209 ],,,, 

  [ 3686713001, 250175390501, 229099250216436054001 ] ]);
Messung V0.5 in Prozent
¤ Dauer der Verarbeitung: 0.19 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.