Quelle brfac90

Sprache: Text
BRENTFACTORS[90]:=MakeImmutable([ ,,,,,,,,,,,,,,,, [ 1885164443 ],,,,,, 

  [ 227068662973 ],, [ 126712205401 ],,,, [ 12029459824653037000298387 ],,, 

  [ 12697650241 ],,, [ 1493616582933754511 ],,,, [ 2142798847489 ], 

  [ 24808875121 ], [ 433429462454252768808977773942649 ],, 

  [ 289945858896963731210403283 ],, [ 13001250151 ],, 

  [ 681437335559, 3142708475929969, 30201529546665609689 ],,, [ 15249643601 ],

  , [ 1258228102616242933969 ], [ 65289467160959 ],,,, 

  [ 262371264517794693334951 ], [ 6221851459 ], 

  [ 42390985757, 137050972679, 23406029451923034284707 ],, 

  [ 8062475989320163507, 14210943531023973187 ], [ 1760137513571 ], 

  [ 1356494077, 32942849437 ],, [ 18487498511, 487229468311 ],, 

  [ 766398825481, 9059751671298162413, 103524390485859633447667 ],, 

  [ 12884520863384224540819554769 ], [ 4465556552485001 ],,, 

  [ 501206441140784647900624957, 11650197008231115285022551905489 ], 

  [ 19984835383, 109673847037, 193181567503 ], 

  [ 588125175154413646738068804151 ], [ 2007439766397409 ],, 

  [ 4986904730921525179 ], [ 22626294569 ], [ 25496620321, 6899439350561 ], 

  [ 1052499332197, 5973926806701212876443, 8273390880180968269597 ], 

  [ 3667967339, 49455759720114739 ], 

  [ 1179558406239368809218399577027, 

      3253724076629581940273189850251187215409416552565911898071 ], 

  [ 341113006249 ], 

  [ 4559542121, 759189770413511, 1287593068182741791, 

      2403248704569170449552153951 ],, 

  [ 160701124333400091045003481, 15896409689085203242013831809 ],, 

  [ 13899103513995520959678437, 

      8055247483437047112698776284813055967165179898322293 ],, 

  [ 387741031927159, 427554647676899990749533729909736615658969311 ], 

  [ 459923483014789 ], [ 223142932290089893, 16446048444404964306383311 ],, 

  [ 28616491717951 ], [ 325801596916801, 4625772934321323745921 ],, 

  [ 2836522087255837, 1425748439877864820600855561 ],, 

  [ 176665507201, 252212986478501, 1579418237623781501 ], 

  [ 1772012479, 340456633320266147668603004568329551, 

      3383795551136352684614129125778805575016360508885069616893 ], 

  [ 3587998207, 1642380958201 ], [ 501196218307, 192640667851451363811893 ], 

  [ 1532477248639430393 ], [ 3856546819869511879940902736512868238710482231 ],

  [ 9489924173557135357172998117171 ], 

  [ 9993337547, 1400670330332573, 10425934681145163682169, 

      20357222217040336352934312236471181377592959, 

      7881870393209477994062013637180002680790598479374879 ], 

  [ 5730677816672399247829 ], 

  [ 28113107999, 63620438969, 38108381195119, 58052517125507, 

      64008743656818239, 11318410927886193841613, 

      25374625413326309695351371268522075301359735809386947 ],, 

  [ 93158336294543797, 1222882964196000319723347871471, 

      2820477821705627287950934415401 ], 

  [ 446466529350689, 118791751043294822081 ], 

  [ 119386373241561922925215620274277, 

      498454134131238951649140931899265405723853 ], 

  [ 1354454410359742195250163853 ], [ 3620111164549815372682643052671 ], 

  [ 8135575611183399289 ], 

  [ 29873752039, 3060823211151491349343793867244157573787293044627871 ], 

  [ 7175019338267903, 127851366937703287420357 ], [ 17171818899921566917 ], 

  [ 332109606821194318164058561 ], 

  [ 69675713960717523220743825937921, 4274374955022982750836249854148529 ], 

  [ 17384873203551629729 ], [ 188609760016211235333255244644409370174881 ], 

  [ 84736475657221, 56595948792141498269 ], 

  [ 3461080440243009676980751, 180221141962577901728322360252900991001 ],,,, 

  [ 73063859139067 ], [ 2434308170902921 ], [ 1450214279 ],, 

  [ 27782864698289, 560763494335609402237 ],, 

  [ 790168717081, 1012961660271391, 610363006542966241 ], 

  [ 4481651230809601, 4834195692984529416270757949205081905107169 ], 

  [ 16410472391, 345735974863649205361, 525738635253682725144253 ],, 

  [ 9132467967628079 ], [ 5205463182302041 ], 

  [ 890367168187368092942492885193658096449812341056893243709064967809 ], 

  [ 194612836293741533846374188212681 ], [ 18200779526758973 ], 

  [ 881131458484801, 132778522205518897553041873 ],, 

  [ 200060121719353986499, 30860518545302964051298648241719000693 ], 

  [ 7324258722753378947223406573419151 ], [ 414490467541349778982829849 ], 

  [ 9360732791 ], [ 7575212251, 4355799177883733851 ],, [ 24818550322822873 ],

  [ 121968271027, 673619645268143017317552994957, 

      89627083324647753555490483455409 ], 

  [ 454546802824560050709851031740473841632059483157 ], [ 9682305197321 ], 

  [ 15138319396998030979239497180905736255694655729 ], 

  [ 6995142094517, 347048204549798153513597 ], 

  [ 2081326733, 231905164986219438370526561824728487605344708685343705637687 ]

   ,, [ 370823796757121, 872873518654721 ], 

  [ 81353806507, 831471695027, 95466937347293 ], [ 7540525063 ],,,, 

  [ 195219704554935503, 33730291770892724282633086832430451 ],, 

  [ 11336527286680807728217, 17868736476085755725977 ],, 

  [ 58218277989371, 14130796360868003101001, 

      524453300501881566849110319847314851 ],, 

  [ 176663445114109, 9572156920585613429, 66294838735270788949, 

      110621364734298515887572177671726406732449 ], 

  [ 862855495434500666501987 ], 

  [ 7411854554893, 73698255839565447949528704585296371 ],,,, 

  [ 25049681600589906366256848699053293375735493436584926900496987851 ],, 

  [ 114679131557934998881, 384781002366159118744021 ], [ 1891694351 ], 

  [ 3797755755452569, 23600091863117277039589331, 655211766004146018049488653,

      172793767563236816127267289063 ], [ 1732001482243 ], 

  [ 49770194385949448988131220529, 

      1630283464500014790082478140781909404922274641 ],, 

  [ 146014832281, 81148527677263, 51097289288346502112732800968612149371 ],, 

  [ 115700382221, 

      402224481490634967235158565798353105936337023713928302741726049590653615\

6704221 ], [ 1554928401601 ],, [ 460938920371192254385631987443 ], 

  [ 56689410049, 8330734280131598017, 16652257579474188645491242177, 

      257015063438823952763368170817 ],,,, 

  [ 1326042592410057761, 33138632617105998387482814694049, 

      317141869811498044389852493022441003813676221 ],, 

  [ 11823190763077, 15169549415329 ], [ 2920275649, 2328311956319 ], 

  [ 31862656801, 401192636512858378909652312434777201 ],, 

  [ 211966167322768666200847, 166506216947440799773176281, 

      2247243348416181388330858899975214219175438849 ],, 

  [ 24716320096381, 43583089984393637295378721 ],, 

  [ 1496535463561, 12292660448585216730497419, 154912773766411460815768087, 

      247213733410732095956982616643321 ],, 

  [ 323563324657, 125627197129677413873, 208876586629492815986993, 

      3706004890438202279293601 ],,,, 

  [ 333682038650751210310283909996361362069, 

      4465044506061105009498394315029740196393181, 

      119328594789657866554591151032551269664192301 ],, 

  [ 160050770773, 111003978432689, 

      3733797202354869978966075765505150476103290121 ],, 

  [ 112317724304797177, 71065371937762755361, 255213046802686919833, 

      542097202660787087438617 ],, 

  [ 292226919409, 170851817284783, 5494833364283831437 ],, 

  [ 54141552233134261607517961, 900043365395901724319037653147559361 ],, 

  [ 169776115848091, 903555290849559841 ],,,, [ 7373402451952561756811 ],, 

  [ 20694012142907788683140682423656563401928398661 ],, 

  [ 310534840171, 473598822451, 344507437529244851, 3772290614891074561 ],, 

  [ 8168298192406821356154816302129 ],, 

  [ 9649792601352137287, 16326586034853776371, 

      1673313897325821887233878848428211093647 ],,,,,, 

  [ 278122506527989915414286808110939755201 ],, 

  [ 34998195937037609, 288597165488918973080123386889 ],,,, 

  [ 3346436565380126503, 62460524121726227820613 ],, [ 3288161425649 ],, 

  [ 1505181255223001 ],, [ 1737060416569489254503946016080567889 ],, 

  [ 1074371983534635656197, 35845085844103118428473634420435715951853640502167

     ],,,, 

  [ 7057739174053, 236402274693113461903, 

      21106148787171899166363426537445003330888278792992929754263 ],, 

  [ 9935638862761, 3799263073515770126663916634840141, 

      235544550426774354237815438064039104193446056381 ],,,, 

  [ 389823397657, 26116223214069649, 14870166205181451655352470833577, 

      8481404834491190922815339118475201679977 ],, 

  [ 217111914851329, 64822868623286677 ],,,, 

  [ 5759941138291, 3616207246597411, 800890152483556441, 

      140481322024615837201, 165882492129558872251 ],,,, 

  [ 107191745742093797 ],,,, [ 1559635740562959091 ],, 

  [ 5372066561, 165157919252768824324402585441, 

      87277226869124842476894127075721681 ],, 

  [ 891742263862832659, 

      1193390695105954419469103037690426116379881192321461453 ],, 

  [ 19718950890276692869809341 ],, [ 378246733261342377168881 ],, 

  [ 8521497410977, 57916621907352883988563638227677718142690437126770033588513

     ],, [ 1631035696091, 71808080233513502143255232321 ],, 

  [ 592862036189, 1400071016535629, 298404097246945601 ],, 

  [ 24009568378545713519911696452835357083795493 ],, [ 12307112396249257 ],, 

  [ 1906978605967 ],, 

  [ 1337095999148122693801, 466370681509888827992443801, 

      994480079278301243031000718332492885274201 ],, 

  [ 8298555623, 9979725045007390489 ],, 

  [ 16135312564781441, 1033866118902535335793, 169810290536665483115377, 

      402392250362378686423313 ],, 

  [ 1890702397, 91485758983050438101467150105333 ],, [ 283074933106773632441 ]

   ,,,, [ 15481480873, 15935677107867405013009 ],,,, 

  [ 73396654638575538911957189 ],, [ 1322889223, 1070279078641 ],,,,,,,,,,,, 

  [ 137780693161651, 187239994516411, 122993016356815781765561151027693241 ],

  , [ 274276266588869, 2975140392752029 ],, 

  [ 5963227312985141653, 36485579452932531201619 ],, [ 88760393569 ],, 

  [ 167116941995151401293 ],, [ 25183655270161, 749725103133695761 ],,,, 

  [ 135310126849, 23234489053557365171729 ],,,, 

  [ 5435545212132781, 73373465287580307349 ],, 

  [ 34835585051, 6250746088651, 374031084735911487225251 ],, 

  [ 24415051937, 80359207243138913 ],,,, [ 19421788956224929 ],, 

  [ 8493152263 ],,,, [ 13426980373, 609143064317171 ],, 

  [ 17185435962534758101 ],, [ 1736260112838565711381087 ],,,, 

  [ 272528817886051, 1506917379200921, 642736427167894660841, 

      16284589293662265949534331 ],, 

  [ 900491412481, 9107344208857576726306909 ],, [ 168672840601 ],, 

  [ 1740110864929, 254078670910289 ],,,, [ 9500899081, 66937592801 ],, 

  [ 3022587529219, 489300583899348173, 13393064927979354442493 ],,,, 

  [ 378393864369419 ],, [ 2151294876947620367141 ],, 

  [ 20335222051, 867345041006944891, 75734803596404634992235932783401, 

      263849912155541921227249751381739188692681 ],, 

  [ 2984425753, 629144307122962018697 ],, [ 6053225699 ],,,, 

  [ 6324077548414819991729 ],,,,,,,,,,,,,,,,,,,,,, 

  [ 241523846341, 6598569669774181091052409201312718699281, 

      1342321371987559300074322676307727164012590441594592601 ],,,,,,,,,,,,,,,

  ,,,,,,,,,,,,,,, [ 1363255651 ],,,,,,,,,, 

  [ 11614309349101, 12097671501121, 4132880676090781 ],, 

  [ 9161699489251, 1823221638593844721, 2869828728020819074357 ],,,,,,,,,,,,,,

  ,,,, [ 1086523201, 3400190401 ],,,,,,,,,,,,,,,,,,,, 

  [ 2564572001, 6753899029001 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 

  [ 165604156192801 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 

  [ 26198638861, 67570542881, 34224112445834338061 ],,,,,,,,,,,,,,,,,,,,,,,,,,

  ,,,,,,,,,,,,,, [ 1912776825465631888320721 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,

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

  [ 43028269901, 532142855518655017001, 42509889473983624440301, 

      440810673758644719661601, 767561393119458089030201 ],,,,,,,,,,,,,,,,,,,,

  ,,,,,,,,,,,,,,,,,,,, [ 9747048968460507985123261 ],,,,,,,,,,,,,,,,,,,,,,,,,,

  ,,,,,,,,,,,,,, [ 1391789101, 595021106447204581 ] ]);
Messung V0.5 in Prozent
¤ Dauer der Verarbeitung: 0.15 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.