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  brfac254

  Sprache: Text
 

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

BRENTFACTORS[254]:=MakeImmutable([ ,,,,,,,,,,,,,,,,,,,,,, [ 129774795523 ],, 
  [ 328853844442083101 ],, [ 8520232889954881 ],, [ 85074859610490358937 ],,,
  , [ 104481482831592772199657 ],, [ 15417102796965270369119621 ],, 
  [ 29603483549557 ], [ 955239356752088659 ],,, 
  [ 37640630085234242815758452553264270431129754753769339 ],, 
  [ 93456055850671390930254095253551118946725518312219594562012227 ],, 
  [ 174606852178811348472102915701 ], [ 2202827643746179 ], 
  [ 811056853713509565711663410856913183507922559501 ],, 
  [ 6611013421062897868133506392587 ],, [ 22314013878734450922967 ], 
  [ 11847479639581 ], 
  [ 211889656907338331201389865457664106256063912734440392761359742307 ],, 
  [ 43732075674871257314415561575587829487750141 ],, 
  [ 9015094851687884686201 ],,,, [ 3128960450654813 ], 
  [ 13621709395358413722237 ],, [ 1244900929 ], 
  [ 19210620315565781707163131 ], [ 291756038773969240142349953 ], 
  [ 97725980422241 ],, 
  [ 154451145716539738151130323137502426950767263695037001 ],, 
  [ 1499193740950332493701433 ],, [ 84952766559154555739081 ], 
  [ 10551656041155214950528363799070511330659 ], 
  [ 42064734600191947822510124158857254220665597451 ], 
  [ 40096387815767834181533469860228009 ],,,, [ 47308043521 ], 
  [ 274475524066033116909777687645324746089889092961
      565907887801094572383681041369211243241 ], 
  [ 83310122197153289409836823167529621 ], [ 49222399349 ], 
  [ 130361943738470235926094721040321 ], 
  [ 4004046427872761277133258586710003395919901
      20590171730560474636576911101 ], [ 244207087925121281290214211 ], 
  [ 347425248972378139 ], [ 6010918483974624895066431158990908351218201 ], 
  [ 4712043811789 ],,, [ 112901794323565537879821177390111109397940833 ],, 
  [ 54057697589783 ], [ 3102554847049134958547864391653381531690101 ], 
  [ 4286622558589651350269404332839452968153377 ],, [ 51726536057491 ],, 
  [ 1165605358901 ],, [ 29281260376945302401268648635524274119896069 ],, 
  [ 11933228667361470900079517082210439919138246483779217 ], 
  [ 157908849155902958374331839921044214391
      1569940873963755420600226435921 ], 
  [ 1553580881014933932442108769417162943089095006288654341024134796083 ], 
  [ 4741487363 ], [ 4909759381881013163483657109989 ],, 
  [ 25308840912704184569502413217964161040869221261 ],, 
  [ 12336760787105160337 ], [ 1601920900835931298280741012077 ], 
  [ 22119751977396499126783989843791015639808987187223 ], 
  [ 21766892314147669866161 ],, [ 41980642914086839 ], 
  [ 23554176710779467584323 ], [ 5658619327494961636536057521533249 ], 
  [ 60361127985015617776288251066361 ], [ 6466577351389 ], 
  [ 7661395954571024813593781 ], [ 117313448653141468891 ], 
  [ 833638955782952481590155896017441487631370887096221
      459628929453614071407013 ], [ 65292058001 ],, [ 7242066289 ], 
  [ 122381451245640485429633 ],, [ 390337506176115689318767824441 ],, 
  [ 1090091582442696109 ],, [ 2373208708169033672682546710263 ],, 
  [ 161278504417 ],, [ 40099352374847076123691 ], [ 1404384833 ],,,, 
  [ 4407626081 ], [ 67739152939328447834505473990385257149137 ], 
  [ 1519253398921468571 ], [ 3910993779074801 ], 
  [ 129841907171840283890117 ], [ 28173746053 ], [ 1359325798779322741 ], 
  [ 2768859420131757940518631144088801113048690530557105467592751 ], 
  [ 280047092273423 ],, [ 10447137354208073203 ],,, [ 25251608478721 ], 
  [ 1681901437 ], [ 1997029953927238940323952964253424568693097033 ], 
  [ 3079948432741 ],, [ 496574528230947293 ],,, 
  [ 460875415879963506721500521 ], 
  [ 4050560052132051561823290704211101357473177578737451 ],, 
  [ 2281845583 ], 
  [ 307319628145803805798241615782911644462663861313
      13621239371139607176921337 ], [ 3201232477 ], 
  [ 90750949341372369960795701 ],, [ 372250971584254136822449 ],, 
  [ 5117515879588834321505902125242277057040101689677817 ], 
  [ 93350735885589439951 ], [ 180176679409 ],, 
  [ 15320976678833826601920017768677533403944122651964987
      2433449457189776436241 ],, 
  [ 2263970720771372226279745386229297742956561800822121 ],, 
  [ 15653808338958791 ], [ 49107608777187907 ],,, 
  [ 159751379269639524161052300171483893 ], [ 33652672523933 ], 
  [ 6079310317 ], [ 104834107333621 ], 
  [ 430194663612757261257317170163703419441 ], [ 90940455259 ], 
  [ 6364283460637633102877867007563252928339713 ], [ 27994457425373 ], 
  [ 29671297934904811050563 ], [ 1443765805157878801 ],,, [ 28991874781 ],, 
  [ 4011263801646350344310728156037468001 ],, [ 3593520613 ],,,,,,,, 
  [ 5913892278211112571833398704414109389099106994750318426751 ],,,,,, 
  [ 2804590272919033232860381748160937193 ],, [ 48489116306330483891 ],, 
  [ 11600023787033401674951041 ],,,,, [ 15630867413673301 ], 
  [ 5869922581762301467 ],, [ 133841759281 ],, [ 12824796753533241120528121 ],
  [ 28577684709421 ], [ 9399564913 ],, [ 347590681890673550396797731863 ],, 
  [ 608502389382322877317408328214962946288173173 ],, [ 341081929360003133 ]
   ,, [ 16099654394258981281 ],,,, [ 743962805161 ],,,,,, 
  [ 6080195628124679537511277723427535623244383303488088001 ],, 
  [ 473482507077221295163110553 ],,, [ 37036359784038258554881 ], 
  [ 459055577804914697829755620353 ],, 
  [ 362027014124777834698432476966901613453 ],,,, 
  [ 70817708677113045632561663690253111 ],,,, [ 12241748279185283241 ],
  , [ 10038889213421678763773 ],, [ 749146698150415701671714922038811 ],, 
  [ 22143814845235243823921 ],,,, [ 1324030516659576452942101 ],, 
  [ 96600861337350397 ],, [ 25294724561 ], 
  [ 117301909928932049173191387976385619 ], 
  [ 34444986574956570161397682996505707931 ],, [ 18666307862484176009 ],, 
  [ 19144914371025087304036511 ],,,,,, [ 6349663868057101 ],,,, 
  [ 35335260040441790910786075189137 ],, [ 66229898975522129 ],, 
  [ 7275197760198268548322895423701 ],,,, [ 318050421569 ],, [ 956163111913 ],
  , [ 2710757280133287758066949 ],, [ 28892628371 ],,,, [ 5676830807 ],, 
  [ 258959661748881940765257 ],, 
  [ 640348115712681720390783890861388004043 ],,,,,, 
  [ 140101455613370068213269293 ],, 
  [ 27030503267897195850502488120849435689591022109381 ],,,, 
  [ 226144041773439552563131 ],, [ 3090866021449 ],, 
  [ 146314952509727249173694985832642699 ],, [ 14531327772529 ],, 
  [ 4643643421 ],, [ 903075854753898841 ],, [ 5654923089229328588048541089 ]
   ,,,, [ 4633359007950873832383 ],,,,,,,,,,,,,, 
  [ 9432636684481116347201116946201 ],, [ 1312561129002647 ],,,,,, 
  [ 55115522578735082727655174353 ],,,,,,,, [ 2365882993508699219081 ],,,
  , [ 1213381420011807040534830001 ],,,, [ 1440148653313 ],, 
  [ 4679829415411321 ],, [ 48610365121772277569 ],,,, 
  [ 299207157089497767342409 ],, [ 22088963524736567 ],,,, 
  [ 901250553358416631 ],, [ 70313891172481601 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,, [ 92838694294401747617336703496345277 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,, [ 357770043139749111273 ],,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 42377529618137713719093443495240483 ] ]);

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