Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/factint/tables/brent/   (GAP Algebra Version 4.15.1©)  Datei vom 15.10.2019 mit Größe 7 kB image not shown  

Quelle  brfac851

  Sprache: Text
 

Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

BRENTFACTORS[851]:=MakeImmutable([ ,,,,,,,,,, [ 20454033029 ],,,,, 
  [ 3282992593 ], [ 547459042916282673877 ],, [ 1703500495335895507409 ],, 
  [ 44937593359 ],, [ 120733518678954632362793110045894653 ], 
  [ 2659257504142919933921 ], [ 9040538593634946952601701 ],,,,,, 
  [ 2098897920430157902364116239 ],, [ 26246799494449102013513081 ], 
  [ 692930560682779 ],,, [ 8980428476931051081954219129049301547 ], 
  [ 670262202778786820785683 ],,, [ 9423456707419 ],, 
  [ 5865753857644898080120742001941130201514322778798198235582179666661 ],, 
  [ 64911005170831 ], [ 18219149172733991586682035749 ], 
  [ 90464450587129316437031014433017 ], [ 1445624653153 ], [ 106056818729 ], 
  [ 258700457856551 ], 
  [ 4394748439213391904838669049860834095125711111604461 ], 
  [ 584172239047234501613 ],,,, [ 9830054138518833533817996327581708329 ], 
  [ 1093423932114492210117599172476305510435799 ],, 
  [ 121209630132788374078603883622938359 ], [ 13077102589861 ],,, 
  [ 100297119270920329318746738453079575689331574663 ], 
  [ 321164226155455023949057 ], 
  [ 79483360776315120451912699162110777904801020370428098196014581 ], 
  [ 130695339353712304991551678223 ],,, 
  [ 97406008233419302616460568645926185576551 ],, 
  [ 89346979274910730570129771294712738423989636375977124909553892071 ],
  [ 114212095265883947639206331737 ], [ 311481657766618102012593408442559 ], 
  [ 8235943833746159151985401013786698146133588762916750617 ], 
  [ 27978186300407467849511960649491014117933541144951 ], 
  [ 171318775732245587388736542848571708282918343674509089124631089 ], 
  [ 48249811919 ], [ 6376526131 ], 
  [ 4590510671528270407231589063095302889982239889
      52478552300048003770400923430955752675486827105409021 ], 
  [ 317477564549727449578001 ], [ 610594406194302526930058833381 ], 
  [ 1689127741751775647702679111354624752189367112818008969 ], 
  [ 284410172256866801480835302261 ],, [ 359991164819071 ], 
  [ 4394731447350763220419283761893796114106086446666800872686743 ], 
  [ 60740233212801599851518779219 ],, 
  [ 89573443031785679539508408279354650907048917617159
      54439243289849287759226783 ], [ 2356748854593031 ], 
  [ 127338953414416673039109833905911686781083095776123 ], 
  [ 6514498369674625059025426008687863913779551079080819644488657 ], 
  [ 3758457640165170394189 ], [ 13383652979 ], [ 28945193561 ],,,, 
  [ 40507894549 ], 
  [ 622830610122725810353685261640157220690301366961012419701 ], 
  [ 1112759623 ], [ 793383348901792415891067665602487730825292749881 ], 
  [ 133211047743833 ], [ 275382325932458434970694741860762857122654137 ], 
  [ 271490871598506139215666417951115518102524908274175175032006965941
      5441622149401700332020114207331 ], [ 5709571579991377734868574170611 ]
    , [ 7422730233836374173947774159421 ], [ 66567510608776700438446733 ],
  [ 68834860331128349504976406359 ], 
  [ 26288507192047361813426287539897335442505773741 ], 
  [ 1311384303165249522695918723021810115373453685925005019017649327511 
     ],, [ 8390374096773097671059011 ], [ 9742639002401218653325459 ], 
  [ 53192051582526273871 ], 
  [ 99666004879051058084789203153117067643004115509173460011071733
      540341858359217820104845345939457 ], 
  [ 2298202023797461606317023101742416111031066762301
      39790564260412115020356967460765761 ],,, 
  [ 425285292507230373694485584881 ], 
  [ 144590790900707999152204378636612303 ], [ 570593952421 ], 
  [ 17205329132244388691509 ], 
  [ 27452025324004963736166182683801803509317
      567410619295089132884665832881320152916593562389939013036189233 ], 
  [ 46672665981661602805138501 ], [ 116602272739 ], 
  [ 54270140816891109766705450739273607060760723 ], 
  [ 20127796128556826891834268306402512861697 ], 
  [ 219195770595780272295224837296649304648440080089 ],, 
  [ 9957232736201 ], [ 351504696679695349119847277049278348467906432032694681 
     ], [ 179920395043636401678811463979 ], 
  [ 8355711383412512927010436817647578015947 ], 
  [ 171594536179220945831971171 ], [ 504526872985563800022473 ], 
  [ 16126476323 ], [ 1072938858411853 ], [ 46821301894178809 ], 
  [ 15861003942111706822101285303572592059201957700697091153834421 ], 
  [ 157126696089613 ], [ 3549536637314049762839 ],, 
  [ 1217313855177131146198211594519393 ], 
  [ 28581812714805191113083079061620859051 ], 
  [ 740363112137451039776823209076976917149 ],,, 
  [ 810981282723746142236658703503 ], [ 67149591683640451 ],,, 
  [ 3106486706347 ], [ 1471383949232379499539618397 ], [ 1356898211 ], 
  [ 3450800016457165242234287689750361 ],,, [ 2739704393479 ], 
  [ 93872445761 ],,,, [ 18684494581887329009924570147443142100979853 ], 
  [ 242305463411875869569518046770987126765639281336857111541 ], 
  [ 19969858119956023215686316196559613932037193277741197207 ],, 
  [ 363412046593660068118168283358876161
      40982174562629193671911186842196823017 ],,,,,,, 
  [ 68425191101553932945858991319030551 ], [ 863612181697 ], 
  [ 280454128375673442236050223 ],,, [ 41505087961 ],, 
  [ 41658849352041255517 ], [ 6364806529651 ], 
  [ 77179622130769127315036187622617531589089304764883170593 ],, 
  [ 209969838782379319462553723 ],, [ 17762518989924383359953601 ], 
  [ 2796839992911211213317236271183136193483885311388369460443795916787 
     ], [ 1367546622176037532031 ],, 
  [ 985110143498394877031136151307081622164666086898068217729 ],,, 
  [ 691904155801 ], [ 7793554861 ],, 
  [ 314767164071133985873870979197459634768044948396877 ],, 
  [ 3337940695655201 ],, [ 186972566329243876939861077563 ],, 
  [ 721258766771536707517171941039008989694795837
      2615584486223644434668941868245393 ],, 
  [ 2386206581420170031918721223895407122961064019544450134053
      439209686822091041707 ],, [ 1671472469068273 ],, 
  [ 155959256128831745187045749478034045122478334567167773695657481 ],, 
  [ 423759922816799310494421165291668421 ],, [ 235398411662957419 ],, 
  [ 141633639287922775897 ],,,,,, [ 7625438880049 ],, 
  [ 3705656869153142816378390311898273 ],,,,,, 
  [ 3196306011022612613359619441624908235221 ],, [ 22225792046938033 ],, 
  [ 175238379061327856244775377773 ],,,, [ 919129675785256626181 ],, 
  [ 27244729018210646036401 ],,,, [ 703936802381440485745587721 ],, 
  [ 555518270101 ],,,,,, [ 13630871638693 ],, [ 508133371382114209 ],, 
  [ 1397160142189313 ],,,, [ 19183075611863844795541172375708350897657061 
     ],,,, [ 3915595763641 ],,,, [ 51170038162961209716116792337 ],, 
  [ 625507685407077115639144005034651 ],,,,,, 
  [ 11496186613794465563183671150157891069 ],,,,,,,,,,,, 
  [ 3985503594497884801236024166621611831640193 ],,,, [ 182861726947581793 ]
   ,, [ 2431652190493 ],, [ 4608256537826307497 ],, [ 2035727699 ],, 
  [ 2341583769480140613009262009990055237201 ],,,,,,,,,, 
  [ 2984902350851112497311791782441801 ],,,,,,,, [ 133683880208297102227 ],
  , [ 112661248125901296128015106700242944486401 ],,,, [ 84625437569797 ],
  ,,,,, [ 18749932698953284291132581457555174522748261 ],,,,,,,,,, 
  [ 3170302078733521 ],,,,,,,,,, [ 74327026200199458993273886751 ],,,, 
  [ 14008591372603327752362498288956439 ],,,,,, 
  [ 227149200124773030024401165689782936768081 ],,,,,, [ 43647925483 ],,,,
  ,, [ 4701224322652997417516757293319828509 ],,,,,, 
  [ 1541409004938491267434149839051 ],,,,,, [ 6087943939201 ],,,,,, 
  [ 1255643844145287894731 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,, [ 1633305854701 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 26293310414064361121508283814384113546836141121 ] ]);

¤ Dauer der Verarbeitung: 0.9 Sekunden  (vorverarbeitet am  2026-06-26) ¤

*© Formatika GbR, Deutschland






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.