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 8 kB image not shown  

Quelle  brfac251

  Sprache: C
 

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

BRENTFACTORS[251]:=MakeImmutable([ ,,,,,,,,,,,,,, [ 2376251641 ],,,, 
  [ 165568099843 ],,,,,, [ 106486579514489819928701 ],, [ 27657629929 ],,,, 
  [ 2297416139 ],,,,,, [ 3364384043886312834433888363650202391471980281 ],,
  , [ 162772385761 ], [ 54565689516893910600187382430969 ],, 
  [ 469794440770050373 ], [ 3127965941 ], [ 3411796022317351 ],, 
  [ 381195334539274253 ], [ 1215305473 ], 
  [ 117794647615389751390760175565603245537206531713691498007329
      19907580241559208785206279971603157735283 ],, 
  [ 416923105605140113396131085005083378456963 ], [ 306938408948258881 ], 
  [ 45052316207140062115981261249216329727203614111263504221
      9591199702863285852319724957346351919355120808681338062481 ],, 
  [ 22791245411439518239708671 ], [ 86335387611609996365723307296657 ],
  , [ 34133098404773 ], 
  [ 22609724293056531171805694818167031805164415549931321449 ],, 
  [ 425516194555510322743499 ], [ 7838551396556597 ],,,,, 
  [ 3117012692099800238631334063309112947123614244062511536443619 ], 
  [ 4679112798855277 ], [ 303335205717308328310283114157270005551080653 ], 
  [ 1656842759145130065131487371 ], 
  [ 616215049347174713039329651951912311356597405365172896763001017
      15058424017135755178867181129
      3358313627176704644651418154015863625304512612278491 ], 
  [ 995249615617278469861166009 ], [ 335404338697097 ], 
  [ 27398111902135488856927006728529 ], [ 186229050120655136422001 ], 
  [ 86527174131712407681519167671817 ], [ 339437040709879729 ],, 
  [ 244827857212865649913566043982538814616189628934553749 ],, 
  [ 899269904433720094058552593715978721231484079262655258012869 ], 
  [ 13797528778351068112079011019197724769 ],,, 
  [ 316113563415013599964483376460740410769902237661 ], 
  [ 2590209189680067482195360243320607983 ], 
  [ 4513680583143180648474481140518752430665293663 ], 
  [ 352093466305051735529 ],, [ 1607820443461 ], [ 10284801948282623581 ], 
  [ 457476957945147337 ],, [ 6275771206181 ], 
  [ 3193251505930515191546442028035200838741784577211
      23946288784806868479887433431151366641 ], [ 4671415609496929 ], 
  [ 3083372315039 ], [ 13622381063329036241934099 ], 
  [ 106456031173918034176524005027 ], 
  [ 35862374972220120971049068470600138807972132335078156358464201 ], 
  [ 
      116766037056531323104599508145214689479742861762780229989615902726444247646\
024673579231 ], [ 25726169330239995880686872054501 ], 
  [ 254600736006427372776137727660634479871847016720765139834756753209499 ], 
  [ 333423745212441836049880172380901280348740441 ], 
  [ 6652073937930744859274763081446971 ],, 
  [ 56549142791213879378768877105523117609876545644994051
      139746650713722238711927 ],, [ 5412934329821 ], 
  [ 26545427711702164605625180939389118177439437273571491
      206582099292310671744021392717462868961 ],,,, 
  [ 277494961636978074946282457657 ], 
  [ 69759548025536981115882438579216633211 ], 
  [ 20744727160233604873206766689201356211333157452758790053213239022909 ],
  , [ 3349655260947893974728570208403507762055964374817 ], 
  [ 184381945376791 ], [ 1100615567702041 ],,, 
  [ 1345409917100021941972019726912196277971246652620637 ], 
  [ 532400671342028643599160210266335881396798870551049113026409 ], 
  [ 329472353823522436001 ], [ 45712345123364366079530315579071 ], 
  [ 1483772243 ], [ 204834953330677312137006812693561209373814728193 ],, 
  [ 704725105271519655311 ],,, [ 20590931789 ], 
  [ 28978414819120372681329
      108369793436242073532791044057886190467750855629 ],, 
  [ 767255145911585427256019598516313884831862906738795422604093259142801 ],
  [ 4393218853616638799071 ], [ 4626500185771302614334800039 ], 
  [ 13276705097435574768321317563359122032034331640940454783 ], 
  [ 4968424809219717161 ], [ 29009692219370860900526650481 ], 
  [ 977995513458317332186987351128249361236308559771
      2436378039990817338460347172357252801
      67371204534817238519664283288438596768721 ], 
  [ 39691533653337685551129799 ], [ 20443206941006326593281549362081 ],, 
  [ 19162556475470749805082174685740277
      842389397262000135190046502532732612842565617461689906010202673 ], 
  [ 41122365072063665725777811 ], 
  [ 1227106912909557453910762327203141193109
      21631952963540897405938131134673975579745160913651359054148713 ],, 
  [ 207837720132003312818051925920900701778269551 ], [ 41241728463132973 ]
   ,, [ 430151078974861483196655942569 ], 
  [ 161702667296351553935088363
      11899743646810293358510076855202715225191714161593 ], [ 38220181171 ], 
  [ 30437005449683509 ], [ 156855636617 ],, [ 10290357620948371 ], 
  [ 2579106401615457132703945761 ], 
  [ 10393397278741292560892857205328471154127819 ],, 
  [ 30653563894721643792362839 ], 
  [ 79812027689762266466724148117
      1336682500451153775577238448431540550465929 ],, 
  [ 176728152428646005648481636016177684580503 ], [ 77960191499 ], 
  [ 25167478499867443267615920861568316776058657137 ],, 
  [ 46067967008309369951
      55601058335572617478546994871728683582140751555960351 ], 
  [ 100286742097 ],,, 
  [ 201736348367096919235001171965003509646147183511199
      54077865969055147929486417967 ],, 
  [ 1905868024181617347098788432996165207137 ], 
  [ 8881094087017741694526011627 ], 
  [ 897435377644218697873254077708956964379769
      252800420215481137832280648657993850253122536113 ],,,, 
  [ 64340387036951445177951939461447120134978129273
      3379965400081938816322099464810727 ], 
  [ 2459519205791877895736288488643 ], 
  [ 2232932921194823690547149347322633382753645686898767380055729
      84254903316730026629688865992812739377
      414687722646822176515095823603547283840584962285529 ],, 
  [ 3481826905937488579411233067127606642350760687440720672341
      52210162951045651099 ], [ 10521708399534443 ],,, 
  [ 322531457718112680978770949647581994640717062941 ], [ 1244639659 ], 
  [ 5359636993844235976760129 ], [ 1855042351346840925143 ], 
  [ 582159213838479875979813790511067617292536471766696933949593 ], 
  [ 17215726665541785808349698451 ], [ 181574091061627349 ],,, 
  [ 3357075073613 ], [ 37142097820936678601123553254943214546242822201 ],, 
  [ 6342113007330179 ],,,, [ 1629066541 ],, 
  [ 13837152362576924993730479444145427672593 ],, [ 487132077710566002751 ],
  [ 762419152944434179 ], [ 3716733703849 ],, [ 196499465342170358073 ],, 
  [ 10810229226559931007124758928476008308364969 ],,,, [ 74025153401 ],,,, 
  [ 920929078448492396641 ],, [ 7128157001307134677365935045325754148903 ],
  , [ 438350841496388693028894629459857773 ],,, [ 30805295050892671 ],,, 
  [ 4244454397108834339556913198953583063 ],, [ 167030551229 ],,,, 
  [ 1647672413160141390241898089208321 ], [ 1186009328213 ], 
  [ 13441842971172124270442344754977691 ],, 
  [ 8070469458435053486227223257031241 ],, [ 28200714301172953983977429 ],
  , [ 2961820838069266887361 ],,,,,, [ 8453458429726274216234984475883 ], 
  [ 162234974431 ], [ 268833868910419806943889153 ],,,,,, [ 1678836074051 ],
  , [ 511105675081 ],, [ 6674650212175877 ],, [ 18722246573 ],, 
  [ 115981322715791985657778381 ],, [ 872955739331809675105041 ],,,,,,,, 
  [ 3236079790560121 ],, [ 1261328551641406471 ],, 
  [ 351115191264157125384640461605630044442648921777983050779097 ],,,, 
  [ 2751801970858273 ],,,,, [ 78439469512073618722149147 ], 
  [ 137528411957161 ],, [ 562088438261571396793 ],, 
  [ 1104410947384244627195573707074533 ],, [ 6815250601 ],,,,,, 
  [ 3290037337 ],,,, [ 20879753427341390534206639431 ], [ 255833747051 ], 
  [ 2647588130617160886041063177246194029868555475631081 ],, 
  [ 236758819478742497 ],, [ 54812269642155920157482881 ],, 
  [ 282197027299177 ],,,, [ 1449749245379 ],, [ 1461154789 ],,,,,, 
  [ 52063934613571 ],, [ 36421298393 ],, [ 4292215917620093 ],,,,,, 
  [ 8451295001 ],, [ 26269621579117164672263 ],,,,,, [ 548488942018675297 ],
  ,,, [ 70516260672153724684499211273427764252884769 ],, [ 440369835799 ],
  , [ 17417405872915481 ],,,, [ 2208862441 ],, [ 411793462110295513491 ],, 
  [ 528162566663404037 ],, [ 2502710739586871098294635856937551091 ],,,, 
  [ 7554122131136673165932352521911 ],, [ 72237545318161 ],,,,,,,,,,,, 
  [ 24296133400538404609 ],,,, [ 7509478489 ],, [ 130642401951219211 ],,,, 
  [ 1381431148865249 ],,,,,, [ 3117142001100841895601 ],,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,, [ 24063341851 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,, [ 3469201019507158755971767927451955843959641991 
     ] ]);

¤ Dauer der Verarbeitung: 0.11 Sekunden  (vorverarbeitet am  2026-06-29) ¤

*© 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.