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  brfac176

  Sprache: Text
 

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

BRENTFACTORS[176]:=MakeImmutable([ ,,,,,,,,,,,,,,,,,, [ 32711411827 ],,,, 
  [ 91692185527 ],, [ 1045867345194966193334401 ],, [ 497051852180041 ],, 
  [ 34810818221618457776437 ],, [ 560160216643906180267715139281 ],, 
  [ 3912728146915047168391421 ],,, [ 1313037613 ], 
  [ 336748684744964019778749 ], [ 243316425104369 ],,,,, 
  [ 10345359767592104592295708631244909 ],,, [ 173267117244043 ], 
  [ 520981343369387096743106647 ], [ 14043656101729 ], 
  [ 3310019503718163948589534399 ], [ 781447490258054101 ], 
  [ 93430775265730870982794131881397762319239 ], 
  [ 51430284371667683177421 ], 
  [ 970302712031548024970244723977657925676423884119863338583701 ], 
  [ 21598304671 ], [ 1396325853625121 ],, 
  [ 17356386018104353989486702504311 ], [ 258335794936786401866309 ], 
  [ 1529634050859192677766775494321215866796315986297113221627 ],, 
  [ 16862138140661077316811356004225942736979910133231703239282920583779 ],
  , [ 5294215757964795565277053 ],, [ 3505747961 ], [ 7374284809 ], 
  [ 45592123368504689 ],,, [ 526636747625591 ], 
  [ 1249126999306387401120392321 ],,,, 
  [ 199038285162831260716013059892233499787057075201 ], 
  [ 4613928687758331598731541764974367719869 ], [ 1411241855449617792833 ], 
  [ 19892862421419859 ], [ 350059193213 ], 
  [ 6535308641739349054553372331851841 ], [ 5112818862729607 ], 
  [ 13186430059276615852177 ], [ 4554183939911698686000437714745449 ], 
  [ 6612070921 ],, [ 34782685463285879131 ], [ 20354578958723454631 ],, 
  [ 10697208229386221 ], [ 16744353620131 ],, 
  [ 118653752570347690637432545878723447886139918981896725421 ], 
  [ 37592874198007 ], [ 28950865551767168491948216663078187 ], 
  [ 238901912911949005766953111089976078680680039176140780421 ], 
  [ 14809064820099960462165727862133217 ],,, [ 164833501589043444037 ], 
  [ 23403878970810973301 ], [ 9526322202008363484718274437 ], 
  [ 44684124126739338992303669 ], [ 43271588378424377 ], 
  [ 15389774951313626904958057137374641392170650323174670139905687182561 ]
   ,, [ 164421869725129221854562810469074571451 ],, 
  [ 6708118930473200569129 ], [ 11349725294260358741 ], 
  [ 9350323512594548047096498238461 ], 
  [ 1516201207645651211753969066715617 ], 
  [ 15773772544387222103154320450574038541490499366211169043989489 ], 
  [ 1876210417 ], [ 5082197665161451363454941 ],,, 
  [ 21671916490172666732747288210882137 ], 
  [ 298868316132729148997954933550992817008872787323606899
      412506417238914401164392997349584859 ], [ 14818215495511 ], 
  [ 7933493897685280081338664029480391719281 ], [ 1061975861 ], 
  [ 1327821740477156461662482699230282233926607243
      3180311192312939868023601590440703 ], [ 14282732405254952917 ], 
  [ 45482397129771469365010032657 ], [ 92541936001176257738751 ], 
  [ 6447103665913 ],, [ 25242077273230870018041601 ],, 
  [ 647496316988698321135743354562616959669941
      1169322760777416347563528108211 ],, 
  [ 30291257833233745250912984416761589852210377 ],,,,, 
  [ 56425772395231 ], [ 557760960119323212910512208096896020800672094865923 
     ],,, [ 198983059592719 ], [ 5070414129353 ],, [ 37906275870721 ],,, 
  [ 1326201069559955733047667588083921529763879420941999 ], 
  [ 23381874353320381 ],, [ 3835728733800112848450005616917317170916183151 ]
   ,, [ 19812499866624734413289 ],, 
  [ 72613135995037323812983128337142208177111167261470564240823
      867384890249690718957283 ], [ 1559753704503233741611 ], 
  [ 10705785717396063275675932681 ], [ 1020763864877 ],, [ 2212728589 ],, 
  [ 83350389957773610183932091931 ],,,,,,, [ 682055916361 ], 
  [ 10867089781612141340011081933923 ], [ 2532350147801 ], 
  [ 71647268246686441184550706729829009 ], [ 56787092629021 ],,, 
  [ 2507342931562723765126564485266180431851 ], 
  [ 13609889516609140424386424975773815616936628801 ], [ 241932421681 ],, 
  [ 165692953501385963489 ], [ 129301194376223130421 ], [ 67640549197339 ], 
  [ 1642596574941120908742361 ], [ 28085897247319 ], [ 4646308201 ], 
  [ 1280851261051 ], [ 3050067991 ], [ 6264936887682617 ], 
  [ 181897733267188157 ], [ 1541195209 ], 
  [ 2706505920130491927128117762715467361 ],, [ 767993877697 ],,, 
  [ 9371398116611477151044168081621 ],, 
  [ 7292844259364800305417298065723012381 ], 
  [ 270991666018210515571668831264122395721526543562992635016017829 ],, 
  [ 684556865995601 ],,,, [ 5178210042935614742771334276633057324346037 ],, 
  [ 6240471899471497983666406777031731730176468159987539638893 ],,,, 
  [ 167997211216814291966367703019588110459680122433031431 ],, 
  [ 7979213076997 ],, [ 96373781447691395080305514801 ],, 
  [ 18375722948449114038537992129 ],, [ 1549884517 ],, 
  [ 204711668197100681 ],, [ 102924760908369711096049601890203371 ],,,, 
  [ 102256003135067333973293 ],,,, [ 84325251603256445913151 ], 
  [ 3183096841 ], [ 43299836201 ],,,,,,,,,, 
  [ 107342221932125405636550122128734867 ],, [ 11005177770910801 ],,,,,,,
  , [ 3429952586091809187229 ],, [ 88654910621191931 ],, 
  [ 4823442237502064641 ],, [ 12468971177942039421642547861 ],, 
  [ 23756486292128216998815107521066204263626141 ],, [ 1086078557 ],,,,,, 
  [ 16640719632005141 ],, [ 4674591919074331 ],, 
  [ 372970010908918731686151489 ],, [ 7001786137 ],,,, 
  [ 163482774710095331910205189665377 ],, [ 1791863081 ],, 
  [ 1016477008969958458057018944824733567786914975050872715465891818493 
     ],, [ 755497182251789 ],, [ 3269952957711752373016482014437369 ],,,, 
  [ 21833925956511377160061500754407171 ],,,, 
  [ 1229498593168258144917510423634349177 ],, [ 14360140153 ],,,, 
  [ 7201752533762580872280450111046425560855867648298622885001
      422418207104383187718396313368901 ],, [ 120953686842185257 ],, 
  [ 40680672781182113 ],,,,,,,,,, [ 1708025981033 ],, [ 824489447405033 ],,,,,
  , [ 2442728395673702739337597749 ],, [ 2000626378129 ],, 
  [ 42759910631532801561291371731581037 ],, [ 303126198884329 ],, 
  [ 2691879106996216839273169319238671 ],, [ 230320143371332065956077929 ]
   ,,,, [ 5686699537 ],,,,,,,, [ 3813931544233 ],, [ 682155812619888474169 ],,
  ,, [ 30726121041011076658572605152498493952803501 ],,,,,, 
  [ 2653279037 ],, [ 3383065782051047 ],, 
  [ 154304244152066476017776667441 ],, [ 1021954672530306289 ],, 
  [ 3228457961 ],, [ 48120871367938805287 ],,,,,,,, 
  [ 14949202639275085924333919185773330176719 ],,,,,, 
  [ 23860871623947961584190595045668181 ],, [ 220039344463409 ],, 
  [ 1669949219872148353 ],,,, [ 2020615598857 ],,,, [ 518315638967393 ],,,, 
  [ 82064278297493266141203617 ],,,, [ 497360112001 ],,,,,,,,,,,,,,,,,, 
  [ 222355584895308928758673 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 143506282933297988838645400439 ],,,,,,,,,,,,,,,,,, 
  [ 28302124801821237048403280704113984705640294618401 ],,,,,,,,,,,,,,,,,,
  ,,,,,,,, [ 24288231749 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 732533158515776324804585501 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  , [ 9904803718708934379088345232086457 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,, [ 15107773137782357589566420311522500915921000540251 ],,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, [ 1918930301852411 ],,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,, [ 249129150750940673543 ],,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,, [ 612265192110996665271530779611 ] ]);

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