Quelle brfac270

Sprache: Text
BRENTFACTORS[270]:=MakeImmutable(

[ ,,,,,,,,,,,,,,,,,,,,,, [ 59248597901147, 105940413470179 ],,,, 

  [ 11267713946210851 ],, [ 22222531214312924290643100617653 ],,, 

  [ 7549084001 ],,, [ 3443125421, 70895502091, 1661065317311 ],, 

  [ 10113716309 ],,, [ 157816182761 ],,, [ 38190570521261 ], [ 5533590481 ], 

  [ 62858375506891 ],, [ 359598869092921979405530605997 ], [ 1291567633 ],,, 

  [ 31404490183117 ], [ 59200128834583141133 ], 

  [ 49281609905585994790480352865006794127797289332987 ], [ 5262497670403 ],, 

  [ 93134524672561 ], [ 2675736979 ],,,, 

  [ 10035477046936729567, 144765029687441353339 ],, [ 60466844508841 ], 

  [ 16429979777 ], 

  [ 4498328251, 574176405791, 98163937540323529031, 

      1109634005862975740391715771 ],, [ 7007974265209 ], [ 4744231549 ], 

  [ 162803599051, 337261659397249 ],, 

  [ 4995026507, 189749287119701, 101879026195345356425726519 ], 

  [ 118937353994209 ],, [ 258452446103, 318710182369805593025012687 ], 

  [ 873656873777513851, 702083340646457188860451 ], 

  [ 1017477344916030392345190077 ], [ 143603244247, 3101279799311 ],, 

  [ 3500149511, 14664450884399, 101703472248852581 ],, [ 1641369259 ], 

  [ 1511864193221 ],,, [ 1492459109951 ], 

  [ 3521663021, 10118370363776162524463374603402833132268109 ],, 

  [ 4730732613156279980713 ], [ 4641161347031766761384273 ], 

  [ 582810037921, 1059966769057831 ], 

  [ 3523555455967, 1483235216235137, 163756621124613973 ], 

  [ 1731953453, 270434607141857, 54164854791191355932933827217 ],, 

  [ 7825467831509, 37677119681475957031, 

      1733341079159902688877091728347633774719 ],, 

  [ 8125545637249, 705289740163647169 ],, 

  [ 1018996553, 558419094795875797849, 13848230499333298912042702048561 ], 

  [ 576138924189124575802702939, 1992810147538822566822112807 ], 

  [ 236889170701, 42043458934646795148554647728651808997701 ], 

  [ 8318125903398337936566211 ], [ 2090343427 ], 

  [ 11978091729749, 929337769643363 ],, 

  [ 274155945207481, 16598945724081007402619482441 ], 

  [ 852832250939, 17265801499674713, 379423475341197926652263227 ],, 

  [ 2681496361, 1269805660129 ], 

  [ 14634903967, 26901171007, 18282924377538979421 ], [ 4525283106503501 ], 

  [ 23123943492706554534500433133 ], 

  [ 88347934090660900053137352066880809625648325690401 ], 

  [ 19167739865179, 2360260313511931, 242761468704029854643, 

      5740436719949441428201 ], [ 5287614737653, 147077305627729 ],, 

  [ 1839486034450360577033, 20661954918382786472041, 

      9350702083338064347467141389 ],, [ 10762548414676425885516327809677 ],,

  , [ 1391566793, 260865681132827 ], [ 1301926426814175366059 ], 

  [ 1072315976216647 ], [ 667392718422737642297 ],,,, 

  [ 17440121089, 9331294295954177 ], [ 2028653984779 ], 

  [ 21179822726980842376788701, 47799265639329401533449607889491331 ], 

  [ 177480696619 ],,, [ 79241999512691400865659609853 ], 

  [ 21447330706441, 1137261801391205851 ],,, 

  [ 1965936228681863198645574637, 21947161699957123667031533610373 ], 

  [ 732529348443259327 ], 

  [ 831749409541, 889315474615226447096488894365380461946921572303741 ],, 

  [ 23502458268034969, 2048662278350484514666162943, 

      2264006118485935236602490348447811285213 ], [ 149183537647 ], 

  [ 352153948041190214791057 ],,, [ 5170657896853 ], 

  [ 30025836257, 35015283593, 57236267479997, 798056411174153 ],, 

  [ 13354224601, 10332467967531868290725182801 ],,, [ 319655819382505453 ],, 

  [ 253457021761 ], 

  [ 762396220491690721, 1547492727794641711201, 

      64891190127099703471785314715581761 ],, 

  [ 4104020771, 101766409088204347 ], [ 35827927780081, 5637899187147249157 ],

  [ 17452135660801, 9528776600013158256161, 198412836101031875562401, 

      1137395577571295073328337908961 ],, 

  [ 584741625146048719, 3067673017352589973 ],,, 

  [ 1403759460841, 4361964674484009451, 1200948461006127001081 ],,, 

  [ 85928675148961 ], [ 1817838525371909, 232656605726030640857 ], 

  [ 10252728221, 28035759647259039205351, 969668716027123688921531, 

      1731804715376554699369594056280811 ], 

  [ 14876437624009579, 328499424761207743 ], [ 502435778657 ],, 

  [ 422444423267066562919189207149949857641707 ], [ 31083148635701 ], 

  [ 505780342134477802056375569 ], 

  [ 5199643333, 877745312329, 2382986075818837 ], [ 16669782996567314063 ], 

  [ 9119167531 ], 

  [ 40645341721, 244795164301, 1656627546907155477012119723038359670365781 ],

  , [ 1414469239, 120256341198749354873 ],, [ 12657113257 ],,, 

  [ 33083103130848233, 74843351870209781 ],,, [ 19922457601, 34234862911 ], 

  [ 151123186171 ], 

  [ 1176298369, 252463895829697, 766582759392193, 2148821065700174106817, 

      9623336656509608308231203841 ],,, [ 17874765091 ], 

  [ 3776730522978683453, 1519596075610689393008161 ],, 

  [ 2656140103306324801 ], [ 6543328553 ],,, [ 617967768846468121 ],, 

  [ 83749500061, 4560223191409 ],, [ 32492656453 ],, [ 46651080365027968129 ],

  ,,, [ 377155312517 ],, [ 4360821646859 ],, [ 2196292092629113 ],, 

  [ 91943761972052771947 ],, [ 2400253522599901, 1321702982501245741 ],,,, 

  [ 902528243233, 1462861519654753 ],, [ 98718691168017467993 ],, 

  [ 4578543089277181 ],,, [ 66770563927083949087 ],,, 

  [ 47364823351, 7169147017271227, 482581622644569527041, 

      12363656637503895027643 ],,,, [ 87801574603, 82109157814864547673307 ],

  , [ 4779923876437921 ],, [ 2201858759324334095261 ],,,,,,,, 

  [ 31614834265414049501, 161737958725436307251, 252268268482143404501 ],, 

  [ 146453720814829, 10333440630884920843994085541 ],, [ 1580144583419 ],, 

  [ 1530958311486209 ],, [ 183333456663444950293, 1123038330154659552637 ],,,,

  ,, [ 1902506393233513, 134324204977319464761193 ],, 

  [ 47123026040531331871, 106871935024470857459 ],, [ 4402375125868157 ],,,, 

  [ 819231448129 ],,,, [ 54149757039709 ],,,,,, [ 68940504884269614853 ],, 

  [ 151804403633 ],,,,,, [ 1537899582249241 ],, [ 52207141069 ],, 

  [ 467089304809 ],, [ 24187778233 ],,,, 

  [ 7260797929435648201, 1890858459963889914277947901, 

      15813029734300781616199671673935728490642431117837396727199963000501 ],

  , [ 13794888277, 850991718875105103341 ],, [ 5381905649 ],, [ 6000214159 ],,

  ,,,,,, [ 6701800597 ],,,, [ 1901501671 ],,,,,, [ 1417583269 ],, 

  [ 1910297083, 4371321613, 53426680726350978751 ],, [ 62995601281 ],,,,,,,,,

  , [ 3630915041015103427, 205563426013976424629 ],, 

  [ 2949222901, 13472437441 ],,,, [ 423254254601, 12460744881929 ],,,, 

  [ 737835362881, 283230793073408874229 ],,,, [ 52236177313 ],, 

  [ 1462334806968002786317 ],,,,,, [ 2293840322917921 ],, [ 1558619605603 ],,,

  ,,, [ 3741829774289 ],, [ 120840560096161, 64393699374720026981 ],,,,,, 

  [ 766505215702337 ],, [ 10343977583759302267 ],, 

  [ 3187856009941, 14028318151321 ],, [ 350176573383361 ],, [ 16379745205633 ]

   ,,,, [ 200189670393061 ],,,, [ 7201703491578467089 ],,,, [ 9758932921 ],, 

  [ 13230468517979 ],, [ 1073060884801 ],,,,,,,, [ 2707651201, 58692210457 ],,

  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, [ 77547745884601 ],,,,,,,,,,,, 

  [ 1348228267, 50719110289 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,

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

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

  [ 153920038025816701, 23713230458079366601 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,

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

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