Quelle brfac288

Sprache: Text
BRENTFACTORS[288]:=MakeImmutable([ ,,,,,,,,,, [ 9772025297 ],,,,,,,, 

  [ 154289887487 ],,,, [ 41975549855297, 59501586358013273 ],, 

  [ 4525137238151 ],,, [ 53724846029 ], [ 1112677126695813643241 ],, 

  [ 9639337096474800497 ],, [ 1120316330753422194151 ], [ 11804883403 ], 

  [ 67387122601, 412567793767501961 ], [ 570465339598081 ], 

  [ 43207495315557049 ], [ 5190859889 ], [ 161595938731895323657 ],, 

  [ 24352275153986649702089449 ],, [ 334461071688169094544479 ], 

  [ 135106547533 ], [ 376625541511, 213425469013591 ],,,,, [ 5966571251 ], 

  [ 9378335104579422797560855417 ], [ 341715347759969 ], 

  [ 53086252981013513, 382858851682729654276837404560881, 

      13551742695396413382569027509350521 ],,, [ 365842746761651377 ], 

  [ 55079375954440633, 3985800021445069308583 ], 

  [ 2584784849, 1337475458770057 ], [ 29361176777 ], [ 10215842821 ], 

  [ 6220436010143, 667145791098324233 ],, 

  [ 1090588969, 141108941737, 4449908699713 ], 

  [ 134090656149294660097, 984792806124198624001 ],, 

  [ 7539731657569, 10821902877193 ], 

  [ 135024471943, 610280274976583, 731762248205897 ], 

  [ 26414808206831538430063877 ], [ 194101378327 ], [ 586500393398837983171 ],

  , [ 9810648731379313 ], [ 1465735319, 24026928369803839 ], 

  [ 971322031811853648677240246359355223851 ], [ 6304470128185433551 ], 

  [ 1303782433, 346992932552429, 377908948301398865261 ], 

  [ 5638056288242689081 ],, [ 72181074079 ], [ 16741080641 ], 

  [ 49386266267828178828633493798295935522359275142477509953609 ], 

  [ 2158194074424329, 50450374819136272773864793 ],, [ 4615331446306981 ],, 

  [ 961520501109041971, 50057698840986946507 ], [ 79345171935241 ], 

  [ 73022231533104564833 ],,, 

  [ 1113482194841046031, 56732723523126451529, 1060717686341835382738696183 ],

  [ 26697208610254212629326868070597450118212517 ], 

  [ 72344587657, 371667787874398177, 14633932160256083503, 

      296242047083389540231186807, 15283917867141905689268473140613633 ], 

  [ 3904010174033, 19368928473299 ], [ 170701287735721, 2139397438803991 ],,,

  , [ 4105961641 ], 

  [ 2059058401, 3790762392272159958489601, 4065590455362426656294401 ], 

  [ 36238677484577, 88057993291519, 105484830750816497887 ],, 

  [ 4095052236301057, 7610697204425303 ], 

  [ 1652665873, 64685815969633, 453171367081681, 26584236114277921, 

      1757526338575273686577 ], [ 61490929921 ], 

  [ 1310906207459, 74699361569929387, 3686694740894529021403 ], 

  [ 1176282015449 ], [ 12288086681690446239813894497939840046577 ],, 

  [ 1044403717281174303340615093481 ],, [ 59152316174561, 588950329130689 ],, 

  [ 101798243303410531 ],, 

  [ 21200120213, 6701351768743199499697, 

      951518393117209285084294823170932987917 ], 

  [ 658051491943, 2855770890103, 108469866007487494927 ], 

  [ 4557962468975908476825259 ],, [ 3522292150565301056527936863361 ],, 

  [ 2475510186397641587 ],, 

  [ 904375411880108324084511736331191002998609261929845930095856173 ],, 

  [ 1001414322721 ],,,, [ 13447194615645961, 139925317459995731 ], 

  [ 969599272666196111 ], 

  [ 616937858251573, 4399587217087129, 28047126476157621493 ], 

  [ 278270372521, 29446804143457, 497979888743880929 ], 

  [ 102671496131, 1471645424513404139 ], [ 124325073381961 ], 

  [ 7915785617, 962204660564653905450353, 3685977895890293853923233, 

      7360411395502421933400193 ], [ 3161120191 ], 

  [ 649858107248861802499521013263677557650723496011883 ], 

  [ 26882215249, 189630328828310873 ], 

  [ 98736946546700881548026207661621845470093248821 ],, 

  [ 535942906049902071841139 ], [ 571164319727, 10109537329789327 ],, 

  [ 12041739760081 ], [ 241385786969, 17790213886785643 ], 

  [ 206944198867897, 12082989103584513577 ], 

  [ 3068096389, 105624510909517, 

      108923937629570593381264412881193803714502749 ],, 

  [ 1115079001, 20056981051, 75660367201, 4871299926705001, 

      914610348646644451 ],,, [ 1848549854065347577 ],,, 

  [ 4062529381, 17683756897, 62713276128361, 5872323214501537 ],,, 

  [ 107123124987206593 ],,, [ 6246095767838587, 2967131443317200116956379 ], 

  [ 526118784085577, 836750839848359, 3687995037297683407 ], 

  [ 3822676002133, 25187898329582902189 ],,, [ 1944337247, 4548441727 ], 

  [ 735351319568863201, 98233906443943580036161, 

      11057115708077546556279598993 ], [ 30486807242212543 ], 

  [ 593306932302474153783611, 4166074275193424704854895746211 ], 

  [ 2080710559, 40714648630132231, 179142971108327407 ], 

  [ 382885676581, 191274199637153, 759502533733965816982897, 

      48244213134714617409666135581, 4401835124154418833471197534471811879077 

     ], [ 7812486151164847 ], 

  [ 23948372982739, 52529094835029029165731, 

      1371807951667137977346534332568823610041 ],,, [ 15222575959 ], 

  [ 58825656093188507 ], [ 6491213041, 577701088581703 ], 

  [ 602649688681, 18599214635278021, 1221207689465071866495807764373051482881 

     ], [ 467015150201, 18350293905337 ],,,,, [ 416764715038257552787363 ], 

  [ 108715264309609 ], 

  [ 205758167357, 29042853872875567713148362012479237, 

      12354945683895713017208292873843540001, 

      33283429413554941221584415295200797094066016304413 ], 

  [ 17092356751, 1369785220158996001873 ], [ 2081891561 ], [ 5395563967 ], 

  [ 29565435354774428202305402689921 ],, [ 251992526058094722347 ], 

  [ 8482235191, 55775112121, 114522431791 ], 

  [ 15188968649, 1323898133024226047534585662596329556630630781, 

      979719228850220835263077062521115214533887505581 ], 

  [ 12901398799, 110335042921 ], 

  [ 85719987216490771, 1377982711774416472363, 211437386077132480868857, 

      73142901003917885962972188457 ], [ 61365605239515696241 ], 

  [ 1075074040518365759700001 ],,,, 

  [ 23799763633, 6407439352952661571285920551104654309, 

      720448308975004268020094994599087662489429 ],,,, 

  [ 1776245622321457225537, 1667696094633530996358689 ],, 

  [ 381587115339821949735838777271401 ],, [ 13362495469, 5861281402834673 ],,,

  , [ 3784097089, 10157711951089 ],, [ 5881436002979083 ],, 

  [ 561529204245381767290894355501, 

      389206524559665147708883839565602103837523974857269528553945774228941 ],

  , [ 16945016416328655880297 ],,,,,, 

  [ 25376626387669372624443088057, 233711358671245796032015958319579433, 

      5657956870994350210373358310173307009 ],, 

  [ 195936773181361, 6122585167142681 ], 

  [ 265379705977, 3207542861183125843687 ],,, [ 500761765297 ],, 

  [ 10974063013, 48352913101, 121031738412604363313 ],, [ 9801825973787 ],,,,,

  , [ 124753428493 ],, [ 42869964067291, 45938901354963241 ],, 

  [ 11008832599715801297 ],, [ 2859646649532268938529049066251 ],, 

  [ 2220512752960741, 105437385380351592541, 

      20658777281315275469334677913398745294284482647677833561 ],, 

  [ 432464151424226881, 685451027513459777153 ],,,, 

  [ 1137172776292345351584009409 ],, 

  [ 2415739301, 126519377921, 945187817081, 14591650700381, 1212430831223561, 

      3054164974200079741, 143803860057506106459185007127201, 

      2598541744811897680633582005790970114701 ],, 

  [ 51223878857, 26146603608049547177 ],,,, [ 1161285895169 ],,,,,, 

  [ 6883890241 ],, [ 90187033059163139081 ],, 

  [ 2881604497, 2326271935824371317, 729791762189080492608385729, 

      253230414946150491985341070227589, 

      60523370505813233263627476535643031727491957031475474373217 ],, 

  [ 14189987728907 ],, [ 342403416615121, 16562605243678945921 ],, 

  [ 42445024818550657, 1235829396368098531 ],, 

  [ 106626026162413, 754141190957333 ],, [ 436524151122203, 8568904107823489 ]

   ,, [ 98406510337 ],,,, [ 1892392141, 47922524087884021 ],, 

  [ 1695979968209333815849 ],, [ 216540299887057 ],, 

  [ 24157006739, 1725052591033, 7182228505650353 ],, 

  [ 10967242501, 674645206191792272401, 225250964564338545476101, 

      1558316497897444296818450735662176831477733578977401 ],,,, 

  [ 1160534854154213395681 ],, [ 88978284015576337 ],,,, 

  [ 68932499513051, 4533358985005481, 159224255877559451 ],, 

  [ 39263757449294353 ],, [ 117723718201 ],, [ 73245659593 ],,,, 

  [ 150324007681 ],,,, [ 21976878529 ],,,,,,,,,, 

  [ 2763211693603, 20673204162899 ],, [ 23809612059663097249 ],, 

  [ 16862664859 ],,,, [ 120507956563123 ],, 

  [ 1879300227953, 1632153797202977 ],,,, 

  [ 27510276961, 74026762341121, 14756225195810693437 ],, [ 2262358001 ],, 

  [ 144577603336321 ],,,, [ 19037234920491629969 ],, [ 6984922664759257 ],, 

  [ 23762501151121, 38615756247509041 ],, [ 109895249389657 ],, 

  [ 1217645553853, 12972281940073 ],,,, [ 4228098324161, 4217372698687009 ],, 

  [ 4781653561 ],, [ 11605295161, 6776131892809, 22726292013877 ],, 

  [ 42427212257, 2259360298007473 ],, [ 165739159889, 38747261929041937 ],, 

  [ 4472346313 ],, [ 203670256421, 514996415501, 17236626792312101 ],,,,,, 

  [ 51223957073, 989120547491, 446330260574700617 ],, 

  [ 3567864010013, 64087305751229, 117678556588721, 22581845981295554224853 ],

  ,,, [ 201712327489 ],,,, 

  [ 212587835329, 3714242690597869, 12575686740839187317749 ],, 

  [ 8964010721 ],, [ 7092121601 ],,,,,,,,,,,,,,,,,,,, 

  [ 111748688941, 134116350481, 7664667864001, 22393479004988417214001, 

      168986105394727842292681 ],,,,,,,,,,,,,,,, 

  [ 405693124649, 20965306972201 ],,,,,,,, 

  [ 7366424869, 75635843557, 66658160596297 ],,,,,,,, 

  [ 497092761125557, 134367162070119233 ],,,,,,,, [ 54602115461 ],, 

  [ 2472644329, 31426947786697, 59635695814003, 15378463370752615883641123 ],,

  ,,,, [ 146935331913102409, 881419679703128593 ],,,,,,,,,,,, 

  [ 150930004801, 72209754473281, 1285090495084623361 ],,,,,,,,,,,, 

  [ 4238724084169, 3595612344225973, 1540227357702554173 ],,,,,,,, 

  [ 137569945501 ],,,,,,,, 

  [ 5156954885026169, 26598298418580997, 47662244788504064717 ],,,,,,,, 

  [ 170993767136821 ],,,,,,,, [ 44130708317, 75791994041 ],,,,,,,,,,,,,,,, 

  [ 15361210045261 ],,,,,,,, [ 14073807642233, 542705554035242417 ],,,,,,,, 

  [ 281409835960441 ],,,,,,,, [ 1648250219953 ],,,,,,,, 

  [ 3807575773, 577284272650801 ],,,,,,,,,,,,,,,, [ 22076389997980780729 ],,,,

  ,,,, [ 5121339427631250053, 7602530283950363081 ],,,,,,,, 

  [ 12691851081046013 ],,,,,,,, [ 1536146929, 14480734573 ],,,,,,,, 

  [ 8773279001, 863068708815421 ],,,,,,,, 

  [ 444672675653, 109117511410937, 116274944171209 ],,,,,,,,,,,,,,,,,,,,,,,, 

  [ 59028779222617 ],,,,,,,, [ 2962818541, 635375124781, 11058940539013621 ],,

  ,,,,,, [ 13003174441 ],,,,,,,, 

  [ 3107110969, 19460887421, 92179188973, 7390435006189, 118378532571469, 

      3764204774708821 ],,,,,,,, [ 5706497558357389 ],,,,,,,,,,,,,,,, 

  [ 3284341201 ],,,,,,,, [ 1981975201 ],,,,,,,, [ 20284761721069171632181 ],,,

  ,,,,,,,,,,,,, [ 10782664513 ],,,,,,,, [ 8766517189741, 236985725320621 ],,,,

  ,,,, [ 10977606113, 7390339486173689, 156032533053589457 ],,,,,,,, 

  [ 1181111653 ],,,,,,,, [ 8784722593, 43109451013, 935974904050722482633 ],,,

  ,,,,, [ 127680974237 ],,,,,,,, [ 2987878141 ],,,,,,,, 

  [ 18534205726832933, 23076609191487581 ],,,,,,,, [ 3155689886878981 ] ]);
Messung V0.5 in Prozent
¤ Dauer der Verarbeitung: 0.16 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.