Quelle brfac770

Sprache: Text
BRENTFACTORS[770]:=MakeImmutable([ ,,,,,,,,,,,, [ 1328088026108611 ],,,,,, 

  [ 11636773403, 38452640658413 ],,,, [ 119225093545484118607 ],,, 

  [ 167318627087 ],, [ 2873789353 ], [ 389748290381 ],,, 

  [ 9400463713, 9026817902813153 ], [ 1177291733529865460431 ],, 

  [ 96284500271, 11866027327001, 29468141341381 ], [ 1422316837 ],, 

  [ 3225050987089946507 ],,, [ 9875526222103, 1773456634169317771215121 ],, 

  [ 25083765686563036934387, 4841051165105223828438361, 

      829058596175649241602876439 ], [ 5115355081 ], 

  [ 2988421854963309559434421 ], [ 56002037054339728199041 ], 

  [ 22098841059812869873, 170888076205119955049299809259952999533623223 ],, 

  [ 1114143432176083, 816963955960768636291405032902796188334401 ], 

  [ 8891951245748613901 ], [ 14974902144168794617, 30513578263718980694947 ], 

  [ 6286078253209 ], 

  [ 3384893606513, 3933574115562787252625532157469956526153, 

      75375536334460105835004947342079861473043629 ], 

  [ 232079472846235500877 ], [ 8973840481, 5417101546960383873011 ], 

  [ 20947590148141348273 ],, [ 1884934867, 2195104193, 361517123466103374589 ]

    , [ 47005619435161762163718123773 ], [ 81977597536923947401 ], 

  [ 75438021911191, 47181286059171858524394460729 ], 

  [ 2906654551, 5722155510654931 ], [ 8325867590065243 ], 

  [ 998329672476161, 57723805933561735404416937182977 ], 

  [ 1652106821, 57814960148128926777268261 ], [ 478437730862554585852841233 ],

  , [ 107384275021 ], [ 82758547155882956499003400309658401201 ], 

  [ 113896609989374521 ],,, 

  [ 310406235885942834857, 243839321331802752628658123 ], 

  [ 6641907319048206131278526397492728985339995329 ], 

  [ 324283460667257933204214301, 2211778313002626421546189726926301 ],, 

  [ 1344429896137828963, 1137255870750614462387, 2110629636800026255423357 ],

  , [ 17291989261 ],,,, [ 33060449411299 ], [ 147609676283749 ], 

  [ 131176968644401, 170994792567233498881 ], [ 4264655274091 ], 

  [ 337413812590398357721 ], 

  [ 1215905681, 274477947273394962529861154718404252867420460792881 ], 

  [ 9474429943747701100671619 ], [ 907028251468666741 ], 

  [ 90161905241274383725463711 ], 

  [ 7531703281, 425085389187986518244330791256740320301 ], [ 4384279539379 ], 

  [ 10143211283, 27528708589, 5756111867914003 ], 

  [ 2870558247191, 103762854042461 ],, 

  [ 1112919543945917819, 8987350348347060509 ], 

  [ 11263381029711004692510853 ], 

  [ 20575780923164408371, 112066078050483018067 ], 

  [ 55373580370718801, 16957532089944040201 ],, [ 25236304639027 ],, 

  [ 367497544274241830479225365443488887137233 ], 

  [ 3836265744781, 101180735461320448670479764060232616016876994766644591 ], 

  [ 7797353627281 ], [ 9994134133609, 1900421321334179249941 ], 

  [ 127253408509, 383365638937, 664292266674373, 

      19703183369760206779447171132633 ], [ 27949579223, 591112294669333 ], 

  [ 253301458667071, 4974354955947521, 202345431001525536970532580724531 ],, 

  [ 18343510417, 170827539674950904858897 ], [ 1506002077 ],, [ 1797200221 ], 

  [ 14117567292077, 11004760907179373, 2257775926804690001 ], 

  [ 132539395511676583 ], [ 354245841769216995239 ], [ 14218147847 ],, 

  [ 57294035063 ], [ 156719234872044216927443041 ],, 

  [ 161337776483028017606757704076794241449 ],, 

  [ 4259542267, 12158186775211 ], [ 511104450241273283 ],, 

  [ 2599771120731106688881 ], 

  [ 29390449531, 47930501752130930531, 

      232173765316114679917224425416102521484321 ],, 

  [ 223078833815331644470367525584511904843998797573 ], 

  [ 1513368431, 35837024497, 262913251121629748459 ], 

  [ 61043302207333, 3859605525389606039, 7321580206899839287499 ], 

  [ 206396465001074643511, 990634328680304655603906571 ],, 

  [ 22209930117744745391 ], 

  [ 7800833708611565109522114000482880756103633255316460493 ],,, 

  [ 383860289120747809 ],,, [ 186363263377 ], [ 37224133378269003581 ], 

  [ 78681956352422431763371 ], [ 13172912522071 ], 

  [ 13351302001, 2941942955897015545536338713 ], 

  [ 1812509797346099, 19365267885106361 ], [ 2638470362597916904501 ],, 

  [ 438123867481 ], [ 11465091721 ],, [ 5319214675199011 ], 

  [ 1899181597, 194667098791933 ],,,, [ 1335326561, 50274045871347841 ],, 

  [ 308471115144016189, 1550154781532556181, 25967555937142674995402299 ],, 

  [ 24334219080592991617 ],, [ 219953559871, 61378500175297 ],, 

  [ 8637611263042273246133358109203140284229674140574884620953 ],, 

  [ 2365580424797403301, 2225712741251374370307541 ], 

  [ 598213457232451849, 1401135410001123109 ], 

  [ 5825696879713, 11824578728141, 4274443582673721745397 ],, 

  [ 144168835177, 537823081504948151971, 10258876692543702367381335961 ],,,,,

  , [ 104684503327345504246501917199518938428343041 ],,,, 

  [ 495761950753, 12979242128681, 207618886752813479003684801 ],,,, 

  [ 1437814284349, 9465679919461367653 ], 

  [ 6036761090053, 5860506812460358213 ], 

  [ 6168282551, 20737043081, 27709082962101743660951 ],,,,,, 

  [ 23107767901, 2543532504583197167078809 ],,,,,, [ 623698668677341 ],, 

  [ 4359645154394118097 ],, [ 3826312003691, 6653247090233 ],, 

  [ 2204450946673 ],, 

  [ 1954682650607906941, 27195300945565516252961669985548947411 ],, 

  [ 987001823383489 ],,,, [ 1347127516175675617 ],, 

  [ 8672537049253229, 1242013921308541399 ],, 

  [ 81139271913701, 819701028097371661785721 ],,,,,,,, 

  [ 987921851114319304933 ],,,, [ 824686081281910009, 197250719982626629097 ],

  , 

  [ 13609635576371987023, 99180344589653970443503, 63673513249002476695089787 

     ],,,,,, [ 3336158641, 278903632801, 3466092325155841, 663471868094544961 

     ],,,, [ 6013556413, 20023236581, 69858451477 ],,,,,, 

  [ 379125645505041596108061251 ],,,, [ 3489154889040503, 26717255414939833 ],

  ,,, [ 162215588337391, 1054918053190741, 11327212321817643913 ],,,,,, 

  [ 1823096549737, 8889461262529 ],,,,,,,,,,,, 

  [ 20254789971823969, 2776423032756351841 ],,,,,,,, [ 1249895160814840621 ],,

  ,, [ 10742657900210209, 240014342169415691198435809 ],,,,,,,,,,,,,,,,,, 

  [ 4848146788843, 631259331657571, 131503424496013477 ],, 

  [ 63376260949, 695374532471081 ],,,, [ 13420101241, 122147638205167537 ],,,,

  ,, [ 31462581013, 23635523538566613581539 ],,,,,,,,,,,, [ 1591414771 ],,,,,

  , [ 288620753323057 ],,,,,, 

  [ 3805539679, 9335233806536683, 156079766834736967 ],,,,,, 

  [ 70312669508329 ],, [ 28656057151, 6927552597474601 ],,,,,,,,,, 

  [ 1318679281 ],,,,,,,,,,,, [ 4808428207417, 14749322009194420747753 ],,,,,, 

  [ 158671627759 ],,,,,, [ 87660894026783617, 21161653377571671553 ],,,,,, 

  [ 34012618771, 8227267595821, 26258702869242871 ],,,,,, [ 7272841327093 ],,,

  ,,,,,,,,, [ 3987960526441 ],,,,,,,,,,,, [ 73200433321, 1336496345101 ],,,,,,

  ,,,,,,,,,,,,,,,,,,,,,,,, [ 479539606401268201 ],,,,,,,,,,,, 

  [ 121767001357 ] ]);
Messung V0.5 in Prozent
¤ Dauer der Verarbeitung: 0.12 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.