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  brfac726

  Sprache: Text
 

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

BRENTFACTORS[726]:=MakeImmutable([ ,,,,,,,,,,,,,,,,,,,,,, [ 27299453247793 ],,
  , [ 7588557731 ], [ 1555049448192481632077987081 ], [ 18708251458177 ],,,
  , [ 5209707617 ], [ 6889556059 ], [ 1554739013 ], [ 399332873151763321 ],, 
  [ 318352876713975213418735258212469894677370426197 ], [ 40558033423 ], 
  [ 32389405777 ], [ 71209682810113899641 ], 
  [ 3382486765485367395112761109542044513592118912573336980308629 ],, 
  [ 18193752501710543 ], [ 10954413187915957 ],, [ 5552646935841991 ], 
  [ 542934496751318909312095924348060139445521 ],, 
  [ 184524438238118258128069249037629931528683455501475231803 ],,, 
  [ 2568118177109106123497489 ], [ 13961685432094087680023 ],, 
  [ 225934992385366110968686301244638091158443481278734732951901 ], 
  [ 2397183881 ], 
  [ 1381898083623759692513415257768251281279114270188328063459 ], 
  [ 7171928470136266999484443 ], 
  [ 647666606844908837307792366840033428609002750881 ], 
  [ 25603201816034728961 ], [ 48478960636463089275665252257 ], 
  [ 122128707661875020261368624839033034743779509 ], [ 7014358891 ],, 
  [ 840419917520318211535409328167720562209503997121 ], 
  [ 18643782075866697707431 ], 
  [ 593895355510111153165225628382204806653621861 ], 
  [ 17775229931146593842212535946036054344349 ], 
  [ 20293910178074830282589160995655861938627
      980949564190952411813938722063721 ],, 
  [ 15098881755831623314938076119144602104244642359 ], [ 9185793553 ],, 
  [ 124161520075718783551400192553443772328232065363 ], 
  [ 217348973419801930460154823017349886915201 ], 
  [ 663383219244233365431930482824569384289 ], 
  [ 10540417816195196620548465311908457897178635028580065763099049 ], 
  [ 1272039975613993 ], [ 113814743235905649076832617 ], 
  [ 14459630413220479805728158042799718497353618961 ], 
  [ 830651637965197987 ], [ 227846069367859334861133728533082090179388693 
     ], [ 56436833605725195942859 ], [ 45186147972128669832615005513 ], 
  [ 1461070271 ], [ 684828309341650321914494116550660327 ], 
  [ 71593933694663708299 ], 
  [ 239597569817703329921500160025417518735837610905670993 ], 
  [ 102311614311222589804341635375666379596710499157619 ], 
  [ 2989227961102630123765459144392321716248161 ], 
  [ 17196762311103085947480517 ], 
  [ 652864062150966554103176741918150978972219446017685597 ],,,, 
  [ 9118211234012587568754527233 ], [ 48588114413292778798303093 ], 
  [ 75617564962641528697518015734197634482581823606193
      6492410986761681805917574725539 ],,, [ 4672291109 ], 
  [ 425220202358515561117715242360185689399 ],, 
  [ 1160057081153268712780576876587107223333002214625851139540001 ], 
  [ 251755605508706881 ], [ 107239890587 ],, 
  [ 24440576475558616749300025815995217161 ],, 
  [ 2561846204371818112727501859683515311 ],,,,, [ 2788618208909962151 ], 
  [ 88979165089 ], [ 11741174950987 ], [ 22597920447437 ], 
  [ 109697817714595491131246579 ], 
  [ 7764531304081710640456559199423041370097172534997795180801 ], 
  [ 2249243107 ],,, [ 4512939883869061200137490553790380921684877053561853 ]
    , [ 951145715251686943012098251 ], [ 394174263431434965376223 ],,, 
  [ 1553372851 ], 
  [ 323922474147871
      67716572153732589833695258402266130385798231332069090179481 ], 
  [ 8668016643119146502805548791 ], 
  [ 6319492911736860210465237013712632505308951948697 ], 
  [ 82902456438759699781730031 ], 
  [ 34536916361314861692656111391009310787578749013389
      254139857301366011819065273 ], [ 7056594523171 ], 
  [ 4941731553709625281 ],,, [ 68493324692414354821705514463 ], 
  [ 192885750961226936007192014022636392472101 ], 
  [ 1525898125321523476481326310995817 ], 
  [ 5297606372887900146978144132603
      20547996013309112522628040115477653154819 ], [ 3388417162370000333 ], 
  [ 2722657498854778895607614307123000289
      689655710412124259137105364675904082753 ],,,, [ 9432177136175368169977 ]
   ,,,, [ 36482962039602193 ], [ 349038607994680897950705999054231945401 ], 
  [ 13527092522483167008629182653049023 ], [ 305132642622701 ], 
  [ 1211928024421931805268902647589988971063999884981364560725809 ],, 
  [ 36649141537262025064609477679898537505365061091
      19299256816149625999344491 ],, 
  [ 5786947809787066561612237570970894112214243841 ],, 
  [ 739459519081211295730790625784671113690879497419165161131317033 ],, 
  [ 1918912242127453143457 ], [ 122905031712842478224525171 ],,, 
  [ 365141763822410401 ],, 
  [ 1194542911162239354085672675134425325500006857981 ], [ 547533113473 ],
  [ 22053821869149589 ],, 
  [ 6793371337812813805987319046881604903867067501693876017
      20411243465870676325897591 ], [ 1745109101 ], [ 1095033809 ], 
  [ 10075078243 ],,, 
  [ 31786068598561893998597703296573801955734356003466595017601
      47624663345734247615848441 ],,,, [ 22113466841 ],,,, 
  [ 406228020974732206849553809697851390816841 ],, [ 44666456281 ],,,, 
  [ 88168146509 ],, [ 1025327353366677264636790160190257 ],,,, 
  [ 1426857767875201 ],,,, 
  [ 110171967725294850103331545152424465670297
      19949800087326640775394636649111771109817646817445097 ],, 
  [ 393195201202311413329 ],, [ 3517142000831822689 ],, [ 1190566231 ],,,,,, 
  [ 70525078143091794822097 ],, [ 674164982233131243141376387 ],, 
  [ 21588417841 ],,,, [ 13315403475261772193 ],, [ 195296421121086419 ],, 
  [ 2169726192612398597873091336585842169688741859931841
      459429950684883864782955714351014033799013125870401
      6870373840045135250274928059161085697 ],,,, 
  [ 22640953636925259243887877897 ],, 
  [ 3235859744833407738199562311937136126160719630790846448617
      141600940272023311 ],, [ 75024757207171561 ],, 
  [ 4148902892819547635977 ],, [ 252863675041 ],, [ 100803015363601 ],, 
  [ 18078334317325357 ],, [ 68681798462479400623106736568817 ],, 
  [ 688645069417334819609 ],, [ 194482091094251 ],, 
  [ 2636286987615588620606305833418195559906164885075764150234988133529
      678811898341582822633321427635499713919835972768214153453 ],,,,,,,, 
  [ 238055928390541 ],,,,,, [ 1238931558952753 ],,,,,, 
  [ 95306111252920432861038094393091093894897 ],, 
  [ 100610558407291001052663219 ],, 
  [ 579940457869210076519267624775892364932677665369
      35540972109043696847012968853832899067785226553 ],, [ 4535748199 ],,,, 
  [ 6520230340782927165744934290174361550399 ],, [ 204468045568313689 ],,,, 
  [ 1550846426113 ],, [ 9956215776687191564536853098851 ],, 
  [ 7041097033233405873138161 ],,,,,, 
  [ 6803600375713638830944882677758788982159730032363 ],, 
  [ 4984776148605943407935237890501804471760944179885019344327718328729501
      682823232243874901630384487466696590618357001 ],,,,,, [ 1215681391 ],,,,
  ,, [ 82198602721857273932643857 ],,,,,,,, [ 41910606721 ],,,,,,,,,, 
  [ 243674967473242471 ],,,,,, [ 2982627180289 ],,,,,,,,,,,, 
  [ 5806661956575990206626337 ],,,,,, [ 3098887303085591319446497153487 ],
  ,,,,, [ 399752271409681 ],,,,,, [ 12384916636300258487 ],,,,,,,,,,,, 
  [ 253038765520932074850702428129163379034093171079 ],,,,,,,,,,,,,,,,,, 
  [ 22774755169222214787565013367259158132775569 ],,,,,,,,,,,,,,,,,,,,,,,
  , [ 169171703167930706041 ],,,,,,,,,,,,,,,,,,,,,,,, [ 149145925718617 ],,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, [ 789688945921 ],,,,,,,,,,,, 
  [ 11297026447454533200099211463872241 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,, [ 7575417510295426201 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,, [ 4500776617776002465393 ] ]);

¤ 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.