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  brfac278

  Sprache: Text
 

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

BRENTFACTORS[278]:=MakeImmutable(
[ ,,,,,,,,,,,,,,,,,, [ 817756981889655256410902193 ],,,, 
  [ 2536225502224698564007759 ],,,,, [ 4939721249 ], 
  [ 712460822178777137311294021231 ],,, [ 889614635280929 ],,, 
  [ 2042070771312023448690831 ],, 
  [ 85030863941463370915634665108226892131312731727 ], 
  [ 10171751472360047809 ], [ 6211936707769364119256303 ], [ 1737419161 ], 
  [ 65479120633623383 ],, 
  [ 2343558641539291973851257762809945662500089508417 ], 
  [ 359232299691536041 ], [ 18211716175591 ], [ 6157484239 ],,, 
  [ 35748375517332170040134884163380166330439717123
      34864945768586687361637 ], [ 1527907619551 ], [ 23736143095801640113 ],
  , [ 1710815573028250109683050293 ], [ 1132787269767548374440923 ], 
  [ 87433686228736408151799718434767259180469106153715480861 ],, 
  [ 177172700933539287734518364715889774325633933 ], 
  [ 301561580966605597809 ], 
  [ 380367484693516190437993231025897738820805670743531 ],,, 
  [ 3438221842111251775172083 ], [ 47387299405485076067366925008159 ], 
  [ 50690586433 ], 
  [ 46321575431966363369166018143522771291364831791
      1557838103041047599897611282031 ], [ 13573781097361 ], 
  [ 1805524360714132722170033200532856450553242724981333 ], 
  [ 9958405539147891091164908189 ], [ 223987254031153 ], 
  [ 1171282896172708034338413251471 ], [ 12880946258088751769813 ], 
  [ 9717205192884114126063978797993 ], [ 5038813060559 ],, 
  [ 4085171708884917403481851 ],, 
  [ 49849624198054297261553580554062413914759001 ], 
  [ 620687296575529385463280428825602771 ], [ 79711313147153 ], 
  [ 225271312180100413444106491402081 ], 
  [ 4120058097209171994148019546522166934578034163 ], 
  [ 53205144598880818595875153875087724617883 ], 
  [ 1238769181037813137918564464032359564820743775147 ],, 
  [ 346737106554713835775651 ], 
  [ 60251275467831500829502955345621164335408019 ],, 
  [ 14188359640019673263528755206583528793 ], [ 6250000259 ], 
  [ 186378356881 ], [ 2754998106419026357080283 ], [ 403400887075679569 ],, 
  [ 82444540806449718049940386593887879 ],, 
  [ 1069003816033119321068573291471694629787980434321269441 ],, 
  [ 62033941190384556203790214932148537405072345251
      2199402663069724560052753 ], [ 18717583516361822567 ], 
  [ 5930065007932301527160045513070004993246956069141801 ], 
  [ 80328322724567292703605255533038233 ], [ 22039701966011503 ], 
  [ 1772665415531890814655531157343882615049624701556661 ], 
  [ 58968324539635415633532335120465249687588208528741959073 ], 
  [ 591232964819970259516980468792091035223229581 ], 
  [ 2118164318511025327950877585952281129
      11371000876548822247910471639219754755056963 ], 
  [ 7705678244514353301161347 ],,, [ 56596910932304421618933221445565938041 ],
  [ 17038441408207201921875724482471565432509857510457
      53777498487022830299587 ], 
  [ 19400491346881194982744935777213836981924348083729 ],, 
  [ 56095959934291 ],,, 
  [ 201317266923704759711635602208728429953071856198359765687 ], 
  [ 2127462828162621650506983129155832217353076857149171
      66412415999848709960236332142713482173 ],, 
  [ 906381241030081192439147501304676514081 ], 
  [ 272646780780126338908751491965311 ], 
  [ 593593777625693515189945127737150531870212890552681349
      4668519547529318216494866812373768394811407 ],, 
  [ 518280067188906490203968513 ],, [ 9151758845476089079765007 ], 
  [ 1152385301 ],, 
  [ 3790828325567431929065534623615110237919492274953417941 ], 
  [ 435359410637794854403915193436592106104840396091 ], 
  [ 29548171378511131832141109652392494557111700173004281571610145943 ],
  [ 223627778330140812790933 ],,, [ 2988905343301 ],, [ 1221284628581 ], 
  [ 17910428187116327561430479244047 ], [ 562197388187943553 ], 
  [ 82914572722815784005368712958111472301921217531808040693862076281 ], 
  [ 11490913682803 ], [ 3715764979 ],, 
  [ 45857763174384170833287492249038063213389280995657665695404089729 ],, 
  [ 20170035092745151450386919265338487 ], [ 33438638797322598841 ], 
  [ 681574722108726557105904424535222803418619337
      229730019536305163825180469541 ], [ 17321402279 ], 
  [ 66271491061481529109624582829553070129048501 ], [ 1678692670001 ],, 
  [ 46358761321 ], [ 1429362273293598571632277782507829329958997 ],, 
  [ 2975819204591134549362469 ], [ 1288366366087 ], [ 6058183524749627 ], 
  [ 20908386845646342435443139651516693574817 ], [ 8803518693121 ],,,, 
  [ 2100929941435141792576952923614094963244028801850946437 ], 
  [ 122409470712271599088080851 ], [ 91172079571 ],, 
  [ 1770006879846150973865787660269929577 ], [ 380986359977809 ], 
  [ 597085315975694531 ],, [ 1108444694972334151616956520572737 ],, 
  [ 19642120483267895812624516146187213561977737750504306788829 ],, 
  [ 125499221575201 ], [ 66042316575511 ],, [ 9576789623 ], 
  [ 29558324304147677356850141 ], [ 87944270609359 ],, 
  [ 245066024503257289 ], [ 147387600441826081764159026901558809513409 ], 
  [ 1465561239119969311 ], [ 309620995990382495927617919423997584849879 ], 
  [ 130752270115510532775981 ], [ 562434260923989615214036770721 ],, 
  [ 72711252013001820859641421921178534412398086082673621173108871 ], 
  [ 9872503143977 ], [ 161346296209056111080743861665564970215544141121 ], 
  [ 9552713354003 ],,,, [ 2211731445246491278359772881852503 ], 
  [ 347219710384378276952375523339208593 ],,,,,, 
  [ 23132538935560924710743258269 ],,,, [ 647307336137079453009 ],, 
  [ 175180388569992551131 ],, [ 89751684019188642861 ],,,,,, 
  [ 80472863071669591 ],, [ 11922883501 ],, 
  [ 8260684293435183041343116792743109 ],,, [ 10421966530093051 ], 
  [ 423200409133388463478618012339654126017 ],, [ 177432160837861 ],, 
  [ 9937394745562891 ], [ 20274149134933 ],,, 
  [ 217025616710597512925103517629798414878504490131021396411708443839 ],
  , [ 12928528498953158857 ],,,, [ 3974310410009761817583013979607761 ],, 
  [ 44206690793 ],, [ 142446346118159252017248192592468881 ],,,, 
  [ 951883146017 ],, [ 450501057001 ],, [ 54932773141 ],, [ 6955055687 ],, 
  [ 60166866412472321 ],, [ 1065951767510504628961 ],, 
  [ 2337847356142473624902332222041 ],,,,,,,, [ 208978020103486169 ],, 
  [ 386065799237423320524134370553292996675182301 ],,,, 
  [ 1377415576620194070797609629564705328811118539 ],, 
  [ 11881789828162667235812233 ],, [ 3524172894698041 ],,,,,,,, 
  [ 140456516328230592124267440337 ],, [ 399118059052417 ],,,, 
  [ 3145641571537 ],,,, [ 7442007141855891433 ],,,,,,,, [ 8152731432913 ],,,, 
  [ 139157200812886873676332082052812939766178276175942288821 ],, 
  [ 12841061801 ],,,,,,,, [ 166035272047 ],, [ 526162508161 ],,,, 
  [ 3422304883009 ],,,, [ 337142048977817330881 ],, [ 9845198551 ],,,,,,,, 
  [ 22563310667 ],,,, [ 4920159060343 ],, [ 80799569681 ],, 
  [ 544159555016743 ],, [ 46142364011015593425231178061 ],, 
  [ 409600153201109088730899051 ],,,,,, [ 6600204963193 ],, 
  [ 17282606786051671 ],, 
  [ 83661473881258563862144946816393406238782579441 ],, 
  [ 42737792414543427012831407 ],,,, [ 249996908182201 ],, 
  [ 210905228040593266561334577777 ],, [ 1109577045601 ],, 
  [ 436313019139860802127378376922023326433348378037 ],, [ 8079809981 ],
  , [ 16031765801 ],, [ 19973584742998167774739 ],,,,,, [ 240380753327233 ],,,
  , [ 17112278718053 ],, [ 41280634497961 ],,,, 
  [ 381015469979580619153596009841909955549 ],,,, [ 323667412193 ],,,,,,,,,
  , [ 874014711237748598626467011371381110565414497 ],,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,, [ 40272261071851 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 3399594328129 ] ]);

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