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  brfac348

  Sprache: Text
 

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

BRENTFACTORS[348]:=MakeImmutable([ ,,,,,,,,,,,, [ 25633814907793 ],,,, 
  [ 120312173884429 ],, [ 144871135600223 ],,,, [ 6523450027 ],,,, 
  [ 28960074512857 ],, [ 25167900651588335341 ],,,,,, [ 40783402076971 ],,,,, 
  [ 3117278761 ], [ 19075486129673264696991384057 ],, [ 148801140779 ],, 
  [ 710329649441115083881771 ], [ 21671674501708019 ], 
  [ 7192991262150748260848830141803547607481 ], [ 15944618129809 ], 
  [ 7117255076416266731183148534725411468041846358426958792798446876283 ],
  ,, [ 743446003444561673636179824395671053 ], [ 7107041669942940076321 ], 
  [ 2699005835917 ], 
  [ 5909996891877116609230387092031792302896183407746605331 ],, 
  [ 167363661071296240887936062337148105375833070379769 ], 
  [ 7217941352186517392190973 ], 
  [ 13265566832310744950999167270330417924953
      471489173177293918642101705656123040347 ],, 
  [ 16868301439914602259123116100120089816890843677 ], 
  [ 12614379768425368789 ], [ 10943745773231251246527046869832643000843 ], 
  [ 1442586035171019841164298036544592979649 ], 
  [ 4581376124776224692953505694518382748279349251 ], [ 729704431633 ],,, 
  [ 63529059032090193769 ], [ 6415796335821950981 ], 
  [ 1543002175136031865237929367919206206891565096992355015308803 ], 
  [ 559591631641291452281713 ], [ 7561422199 ], 
  [ 8621058757172164168040060268378204471 ], 
  [ 3626136496915240084265223400090555964670848165551 ],, 
  [ 103426933392024393605578105213 ], [ 156284005727149891672782234131 ], 
  [ 1719523966527599716124449 ], [ 279132379251841 ], 
  [ 1000611129097529028526607187806893199269952698379381 ], [ 76081260173 ],
  [ 13342250031916355310831056213860190853 ],, 
  [ 1629717199214935660885371769315901182337401318450012465591 ], 
  [ 251322164453611127984043649 ],,, 
  [ 122043190315933588331670517737102660494159481092586641 ], 
  [ 21100075211415308721856312177734693971601 ], [ 3690797657 ],, 
  [ 128917800771121683556560852547 ], [ 190795943595250324781 ], 
  [ 1189132212111034386416356186851 ], [ 460511745217197578218990236353 ],
  [ 2377694653 ], [ 25825835524184503333645133420972949203583 ],, 
  [ 62551376380118355963920601742409494676737301 ], 
  [ 665785024649323130665055527771952240208473 ], 
  [ 100977976117186139710644772823522020513413705609 ], [ 509607468991 ], 
  [ 308781493941815752319478480165284945745657353 ], 
  [ 167375648988714343990835837627191 ], 
  [ 94848338195111048812688622022237603590277592471
      4013363892051569399169599980200299591989 ], 
  [ 162127470113354974895021261 ], [ 741912430679684271137763604693 ], 
  [ 10042989288361039 ], [ 6122066611 ],, 
  [ 476869700263909184790759590089009 ],, 
  [ 916111946951153191188436216331510167982093375027 ], 
  [ 111050794217807125013077011 ], 
  [ 449267113074841767789891267285623375538575949277 ], 
  [ 3063219836712333499062587294180389291455407 ], 
  [ 2727266028477252804012250747144593300080229 ], 
  [ 38359795193545983836977 ], [ 456799532692606919461674241 ],,, 
  [ 181132136901785217474473894984301293 ], [ 105004447809585240617 ], 
  [ 82263339115492512996164046843499891251 ], [ 365220758240296701499 ], 
  [ 24535838818243517383942028879 ],, 
  [ 57395066105537221706871987048799361 ], 
  [ 16226441216161451641211172371233626904484847924802676204388061 ], 
  [ 8102130567403 ], [ 879103357920481786071963607847171455405720241 ], 
  [ 50550239753103721 ], [ 2703462074231872762327 ], 
  [ 53127092711052779402518301 ], [ 18346853561695896329989561 ], 
  [ 168718285759 ], [ 113760394292540710449557724809551569476907927202561 ], 
  [ 69887379366892659427087109113 ],, 
  [ 46048339878135736931223794361314432926757 ], 
  [ 67644480527571850262023255774991753292547919129 ],, 
  [ 3489884956917867106794881750523129684287923851038980359505857 ],, 
  [ 173848395803 ],,,, [ 11505507603670522666720783018801 ], 
  [ 945827812564951272279921029876472861 ],,, 
  [ 337282985663666364024560055820873483 ], [ 574585691611 ], 
  [ 781907380935993117154578846597685292156428241 ], [ 3022663730483 ],, 
  [ 33987707077 ], 
  [ 5005611471541823258305613578361528729747773530514151841
      5099449177372847747026196445371808614081 ],,,, [ 76109916552270936217 ],
  [ 77952330186371191 ], [ 2717548690217983 ], [ 1448222867847259285391 ], 
  [ 28588014001666840277549657 ], [ 96601533893583158170043 ], 
  [ 8006397957326553980404117614335635014237715822591 ], 
  [ 6843228664633702096282867 ], 
  [ 11895848531054155458633907748686097717 ], 
  [ 83102833773122758245494150631 ], 
  [ 18048506953951260115784050114556711272390825283
      692774481910885169516105082844583587 ], [ 7366068721901 ],,,,,, 
  [ 10283459971294162324426467179209 ], [ 1396356661383137819 ],,,, 
  [ 1338445155170491 ], [ 16014606414379 ], 
  [ 618320483917917546772000424373089824608057 ],,,,,,,,,,, 
  [ 5537744468278194433 ], [ 6341801538760001 ],, [ 4693546320275089 ],, 
  [ 3051568878145318801046345626839089623985021 ],,,, 
  [ 157653003476910981108539766312897 ],,,, 
  [ 4188665923573186374761629749 ],,,, [ 1290371138128926057647372257 ],,,, 
  [ 3268236401 ],, [ 276201343097225779332339739 ],,,, 
  [ 2023428443212523177084977314652604722637849 ],, [ 935711706126043921 ]
   ,, [ 10164564341865378903033315030776972239721 ],,,, [ 6476394601 ],, 
  [ 51327355461185911493 ],, [ 29377851181013551096852143 ],, 
  [ 45144965993520118346931111521944961229621187478567124817780881 ],,,, 
  [ 2113970270497 ],,,, [ 3984286284121380717975262953 ],, 
  [ 513689226060562424501 ],,,, [ 79735775947231 ],,,, 
  [ 39263578474404546937 ],, [ 201475668941 ],, 
  [ 110348412760862452316264808254866135461017 ],, [ 4122755737 ],, 
  [ 24370909375247961108713984279970473 ],,,,,,,,,, 
  [ 80401305310360315852972583041 ],,,,,, 
  [ 1589345031063731408651014607968610477 ],, [ 831524770649 ],, 
  [ 41974702515677647 ],, [ 127077451208653265417953 ],, [ 10871703571 ],,,, 
  [ 6126640423160107288112555248377352473339501060806967 ],, 
  [ 25529723627771195206826237088113 ],,,,,, [ 2463696483251 ],,,, 
  [ 79279985322228529 ],, [ 618941191914476201 ],, [ 8015677054051 ],, 
  [ 329661910953649 ],, [ 2634115630397281 ],, 
  [ 43942456240069163411977273761 ],,,, [ 42108907876407041 ],, 
  [ 10656508889489401105959272019 ],, [ 6623251023313 ],,,, 
  [ 291105767881111546359045633 ],,,,,,,,,, [ 537382588043783 ],, 
  [ 131460773221 ],, [ 96399004841390426113 ],,,, 
  [ 53269580377687482734267272134719 ],,,, [ 11708825101 ],,,, 
  [ 48596820398827 ],, [ 268239099046944466886334015753959297 ],, 
  [ 2341570846951284049 ],,,,,, [ 270665642521 ],, [ 3798660065995035715417 ],
  ,,, [ 740399304131783641 ],,,, [ 20943787381162509652865221865271 ],, 
  [ 684228011309636190953 ],, [ 2712254106905506297 ],, 
  [ 625668902561927870023981 ],,,, 
  [ 16176985729660417215233261654399637666398188839681 ],,,,,,,, 
  [ 8533912129 ],, [ 1608274117 ],,,,,,,,,,,,,,,,,,,,,,,,,, [ 4100029081 ],,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,, [ 130861798778701 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 636991609691819511531454357073 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, [ 2703866736072113 ],,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 3523117651 ] ]);

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