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

Quelle  brfac780

  Sprache: Text
 

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

BRENTFACTORS[780]:=MakeImmutable(
[ ,,,,,,,,,,,,,,,, [ 5664094817173426782413701 ],,,, [ 1128200179 ],, 
  [ 192865281191099237063 ],, [ 15768756151 ],, 
  [ 432302670013811412752357447 ],, [ 5464179971407 ],, 
  [ 76957724294393660521738671012247053067385402236276884069 ],,,, 
  [ 68302834671037372136376336867210523191 ],, 
  [ 3859311358925410149791551749765366057251771 ],,,, 
  [ 8378795449294998371913517880274239023343959172751613686292860261 ],, 
  [ 24289051393256398060529852469339 ],, [ 101574168150556305255061 ], 
  [ 14662378202790911 ], [ 253401200496649 ],, 
  [ 73392905243291837486457493349937478388110067015704276002940687 ], 
  [ 114162850522297706942651 ], [ 271979561236336002855412022278504027 ], 
  [ 124441483928732153 ], 
  [ 184914494482879882864980933027726046772505133426229923852729933409 ], 
  [ 2122940534869896877 ], [ 2791938721142017840923300016176315298771 ], 
  [ 14990395285847297229292285353488337 ], 
  [ 28506867379869944971811285522405852000566198863 ],, 
  [ 51457447057109379986438622397 ], [ 131194425375841 ], 
  [ 1938900841787596531067 ], 
  [ 114408186523697439343422858836910229605362474105127151 ],, 
  [ 2267827791078529 ], [ 6898241221190083075492311 ], [ 1796328610159117 ],
  [ 11000773209766665202480983847 ], [ 3090632180674382561842578760808190689 ]
   ,, [ 14735237861 ], [ 8381232437023 ], [ 23141555680773912337 ], 
  [ 4563462623805403230461734109 ], [ 762431373877705997 ], 
  [ 1212776101238540381587032448567451 ], 
  [ 126786923728657311574205081980397884687188986595165094795463877 ],,, 
  [ 1973922484241 ], [ 889407374983119663779871281 ], [ 9267830137 ], 
  [ 16000448302827390163718591 ], 
  [ 507098362330997491183379433685452359864549791341678043538914311913 ], 
  [ 3414475999405759620333875329 ], 
  [ 229737371006330613051120309438544186750806591 ], 
  [ 10155502791357928691 ], [ 35016158794495339 ], 
  [ 23805590852571858436251082717237801 ],, [ 26109652565660491 ], 
  [ 1612570781154135160867762677713450907319862917
      504054518079613042218991133 ], [ 394318367554693175520759286349289 ], 
  [ 291864478509546487 ], [ 1330203915517968174804408669216299403318107 ], 
  [ 270529861061307611026824587802134107964169021411108434801 ], 
  [ 1850223595873112323520373347315346396110283220466522721 ], 
  [ 13578040250914878526400731489004997 ], 
  [ 134577630404653924852075727938506363 ], 
  [ 15549866901934213660068215026557376191307007070930677 ], 
  [ 2324670818591512452011767215883059954676072293501 ],, 
  [ 176612568437125395377986728661 ], [ 330357944269897 ],, 
  [ 1214965946866245179807138142700949080626427612980372627637119675221141 ]
    , [ 46981190186537356241 ],, 
  [ 44761933217263334163273336389512849357618108793 ],, [ 348825623464781 ],
  [ 1886365303 ], [ 1521118155320411201 ], 
  [ 4877353009328870023300061573610867576418638469 ],,, 
  [ 5138260786410443292325095204099202028118117813 ], [ 515827633017056023 ]
   ,,, [ 119730623040008179681138664239251151113162281 ], 
  [ 21452704696927195703210217686859068804941917 ], 
  [ 7050431565342617561556977 ], [ 3822961578222091 ], 
  [ 141777233093125678753335940457721114815738640778403838749 ],, 
  [ 7291882459377736572431133359920308241929 ], 
  [ 174900031325039359598722090267660627 ], [ 98578205953 ], 
  [ 420883697587537 ], [ 15651340040076227269771 ], [ 96899574449 ], 
  [ 9178010557353241687846708264449341 ],, 
  [ 52002012790302997515292473667069233864053177 ], 
  [ 16296226285175352621019281276419242608067590650801 ], 
  [ 11794959313418345250435503491079615529 ],, 
  [ 9858518453347129071382361446886741 ],, [ 150715860961 ], 
  [ 4418470589569 ], [ 163358468501 ],, 
  [ 13353541931567595232183532187671307584932840294581071761695681 ], 
  [ 18543140925691258969483188111065874406986321 ], [ 12057065439563 ],,, 
  [ 479906744203463 ], 
  [ 513541735634177570170155150433076381147104031362314551 ],, 
  [ 33687896587367330707942594113 ], 
  [ 103057893114244237565291140267119564639 ],,, 
  [ 10554175053819498978887401838478094625876228001551626602894209 ],, 
  [ 23551055692674959 ], [ 97518433602703 ],,, [ 537494150899 ],,, 
  [ 5113402141 ], [ 41156762963 ],, [ 257060220100284860965777 ],, 
  [ 1844290901 ],, [ 828542593368733 ],,,, 
  [ 86968783387377782222473681378020897 ],, 
  [ 4862631180730582667771928917399 ],, [ 10370154870541 ],, 
  [ 10400255316779782808537 ], [ 53955645026617639 ], 
  [ 36535899849679051338673075035105758241112049 ],, [ 35839082794381 ],, 
  [ 2188699354451101114137027134351158937777684641402895205613661 ],, 
  [ 19816335797389472431 ],, [ 2908801537 ],, 
  [ 6241255481127129228261046764537775949012255936858117 ], 
  [ 5927326163592711536881 ], [ 91881124794766790057 ],, 
  [ 776902490000143453997932927639967206236911 ],, [ 114067680528401 ],,,, 
  [ 1563208010610027850575528031489412043294259922453 ],,,, 
  [ 28486919254769 ],, 
  [ 1708923915311881645522439411151264037274293744096390431 ],,,,,, 
  [ 41607853266433177 ],, [ 22828988837041 ],, 
  [ 447902542464853476114088651604025029667137921 ],, 
  [ 127861412821864011131971988931161050184672610575563452951 ],, 
  [ 339425705156750464897 ],, 
  [ 47807463715732453523412432894051137030333549 ],, [ 91701027721 ],,,,,,
  ,, [ 2476893098353422841 ],, [ 30178835803366993 ],, 
  [ 1067713920113269344266670161 ],,,, [ 14427178334152099401057 ],,,,,, 
  [ 250712338946019112501 ],,,,,,,,,,,,,, 
  [ 501285153755582980895970287816057 ],, 
  [ 4304542607316642322566766113996461760891444014371 ],,,,,, 
  [ 295019391393437329 ],,,, [ 1572861349186728881935413381827920149 ],,,,
  ,,,, [ 1086667195813 ],,,, 
  [ 322186287310258192553822411783568237580039332049061537 ],, 
  [ 783968942861201 ],, [ 500025552642809 ],, [ 1008996298507 ],, 
  [ 36196114334254769121 ],, [ 1775054440451 ],, 
  [ 5115916166259990013551623354624513501 ],,,,,, 
  [ 40553685199573719599513573023039327454169 ],,,, [ 7760359389242741 ],
  , [ 22744806052936227084631817 ],,,,,,,,,,,, [ 4071430981 ],,,,,, 
  [ 133821216541 ],,,,,,,,,,,,,,,,,, [ 677094816491944318740069617 ],,,,,, 
  [ 92190982361131 ],,,,,,,,,,,,,,,,,, [ 1686132878581 ],,,,,, [ 2446170679 ],
  ,,,,, [ 2471808769 ],,,,,, [ 128611537861216367551943141 ],,,,,, 
  [ 313626329709064417 ],,,,,,,,,,,,,,,,,,,,,,,, [ 326400986521 ],,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,, [ 14794955914418542752826506228648314539137 ],,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, [ 154394946762874471 ] ]);

¤ Dauer der Verarbeitung: 0.14 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.