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

Quelle  brfac380

  Sprache: SML
 

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

BRENTFACTORS[380]:=MakeImmutable([ ,,,,,,,,,,,,,,,, [ 4442147261 ],, 
  [ 3877135548947 ],,,, [ 11247061885989120883690991 ],, 
  [ 952960575114652415501 ],,, [ 571500198697 ], [ 200602472004071 ],, 
  [ 32762671296001147637763547 ], [ 2997473057 ], [ 2333550525043 ], 
  [ 4278227462967463 ], [ 1453028458011573519890328471 ],, [ 3698115073 ],, 
  [ 2087651774482114418712109 ],, 
  [ 8767740814450447816239923701106572989640272966555028135829 ], 
  [ 71553585349 ], 
  [ 16946917014181645127006388870360818371057681
      46063311401842771755674372621 ],, [ 2860541641122616552935817541 ], 
  [ 741193487733317 ], [ 1228415407 ],, 
  [ 373311615732317208955033081899371316990304013179936721 ],, 
  [ 2536841503004553596151463 ], [ 23658599716597 ], 
  [ 45915749757485713431283132998520483410170525681868459 ],, 
  [ 355442450506413209068745304151 ],, [ 38855046361 ], 
  [ 673391645408911104756479359 ], 
  [ 9444817106931942677284476955853043174994543731287999 ], 
  [ 1483658412071401 ], [ 764148378499894509059 ], [ 1314726021359 ], 
  [ 8835429052988898841259341263133412147067294355602453484279 ],, 
  [ 2374037122618273954112343539985895357516787875022481 ], 
  [ 2778254505876301 ], [ 13753909220410397749 ], [ 304368967369 ],,,, 
  [ 8967674381743369 ], [ 68873201761003 ], [ 74502858992461 ], 
  [ 658461045118661098301 ], [ 5683393320606688708969 ],, 
  [ 5438240434200613027 ], [ 87621622570997195600060931923463 ], 
  [ 9518445060659627986001 ], 
  [ 4033709653573768560354181726472547199305672889562922286828525223 ], 
  [ 27248422160538241544936372203263365511823143861036825658988979 ], 
  [ 2219296660061901031 ],, [ 12872232551 ], 
  [ 73630124485372632733330569965899838075322766913049149 ], 
  [ 19096531843152934654451923646172128263159981371771
      85315025412942012340559323 ], 
  [ 1092611208495498754074692158739230456971402988755597874206922773097 ],
  [ 1359659341609739 ], [ 28057763500561 ],, 
  [ 1006952536523532272773516134161238856061229669320321428772280869
      622093229932462829 ], [ 4043213689 ],, 
  [ 551943756315011468769477144215929123090307801
      96705598512614533831812001 ], [ 1778852759041 ],, 
  [ 184331921868584545147052886569381888893 ], [ 532389171007 ], 
  [ 627428703014667496276701125471257658385015456784600338771224501 ], 
  [ 506792066273707572016387 ], [ 35356537167083972673036416413 ], 
  [ 110069188803114177629958411371191279298661 ], 
  [ 1456717818933092907371217462711733187791393759354987036648823345697 ],
  [ 54706058533141859933664726855568151290475063993030291727016281 ],, 
  [ 4964505109 ], [ 4765346136732979791259269807139697 ], 
  [ 123249025164956839573 ], 
  [ 263023321144037782175249247494738217947610684258531 ],, 
  [ 2761401695809 ], [ 57541334551226273663853 ],, 
  [ 233367361887571154795195302534011 ], 
  [ 95884334281081116558302465845988393257776729800551717219172612998021 ]
    , [ 409076038970794158467921790799223 ], 
  [ 1074482179831202967069213149 ],, [ 14235978258430798606596082681 ], 
  [ 1383650492075292222414817865675889288494091091 ],,,,, [ 8326348507 ],,
  , [ 101026721767774941696079867 ], 
  [ 215190885134029865229208121261204651403901194607637281 ], 
  [ 144335407147409143772675710358238499097679893 ], 
  [ 12915527969065869951227161 ],,, [ 1440820761134515702489081 ], 
  [ 114653925607977642994625762017 ], [ 432721162323289118692770429804379 ],
  [ 1360923683449986354014265873999590547678287 ],, 
  [ 40432809120702735564488215240436000421411446524423561 ],, 
  [ 29763986190113361376658774306857617743579452016135885307 ],, 
  [ 551808404209 ], [ 3155244457621619641 ],,, 
  [ 8850566363846566316593789726943873142427372251621 ], 
  [ 120190110972929378224214747 ], 
  [ 1200478741600515555536824569665585804501 ],, 
  [ 13505872420199317515833298957913 ], [ 329430425509627283266391 ], 
  [ 10469339279626459 ],, [ 74390816854537 ],, 
  [ 385919474911062674292643496134971464404223 ],,,, 
  [ 11966900311575444618419366603 ],,,, 
  [ 39700750609818731144962992618461399787 ],, 
  [ 1637558195293366651370460617 ],, 
  [ 1513528397153938613397892957824694710252416001571 ],, 
  [ 188126600721978945213833 ],, 
  [ 319987247213247151351933109536813566514745668591915102943440461 ],, 
  [ 124037261779322227779136790127297172523892800260163713 ], 
  [ 37762277401 ],,,,,,,,,,, [ 23541935291138159457090501 ],, 
  [ 7388375170482133996995754909631422113083792732755866187201
      1377527474323230603134876165572641011
      3908366826822932384373046877502536351 ],, 
  [ 1443741697766335479666758244209619861384833 ],,,, 
  [ 16493221683120110038906838276618639037 ],, [ 14750909645059171 ],, 
  [ 692500000130630678254376616001 ],,,,,, 
  [ 45976362700313031362026286537 ],, [ 7041747227633 ],, 
  [ 290142188903491929166606884491514669077872095449033271
      10942491103247615425209548371 ],,,,,, 
  [ 1013265146905361532497532604913621225204305663001 ],, [ 317730878711 ],
  , [ 343033807498208861 ],, [ 104678329940281 ],, 
  [ 165655286563359266204134593 ],,,, [ 42656347565247955729 ],, 
  [ 488757893382881 ],,,, [ 168553827137673844970717215040799773 ],, 
  [ 218053319141073040102277 ],, [ 2251324786159 ],,,,,,,, 
  [ 1325837817200437 ],,,, [ 1095147211751 ],, [ 3601012929240793215997 ],,, 
  [ 15337242751632842476001 ],,,,, [ 22038467178521767137494604072609421 ]
   ,, [ 162625288068679 ],, [ 462539008980626569627997261969 ],, 
  [ 253851920449 ],,,, [ 17400939042884163478939891 ],, 
  [ 24957351539880337537 ],, 
  [ 189794311791030618437019413166347133741488059667548191 ],, 
  [ 289580856012653898985109446081091470713350881514319066218533 ],, 
  [ 28574790256040167 ],, [ 84318922777321 ],,,, 
  [ 34993989944563130153223982069629896163841 ],,,, 
  [ 271502928121204174513009854770561 ],, 
  [ 1047186984135032175429908816375223031393852411374012109710394324351 
     ],, [ 73014410296376927907093654120669 ],,,, [ 760863568771961 ],,,, 
  [ 106026702601 ],,,,,, [ 64572077172313079031904967 ],, 
  [ 175530847817823040785096461 ],,,,,,,,,,,, [ 88556608001202342098241 ],
  ,,, [ 2008580653127739323092312529810369301 ],,,,,, 
  [ 68416512983049148488179918526718687068837885860901554571 ],,,,,,,,,, 
  [ 90058679545510129374056677209901 ],,,,,,,, [ 16979160469 ],,,,,, 
  [ 5893726813201834866295922249 ],,,,,,,,,,,,,,,,,,,,,,,, [ 517814698969 ],
  ,,,,, [ 2159775361 ],,,,,,,,,,,, [ 1401331933 ],,,,,,,,,,,,,,,,,,,,,,,, 
  [ 9480417865926001 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 235688607116079923647749809 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,, [ 24100996561 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,, [ 809638075938451 ] ]);

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