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

Quelle  brfac821

  Sprache: C
 

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

BRENTFACTORS[821]:=MakeImmutable([ ,,,,,,,,,, [ 6337447733 ],, [ 2976319477 ],
  ,, [ 1321954001 ], [ 28170840522613 ],,,, [ 113435781350977 ],, 
  [ 147539043946358841433 ],,, [ 1996404463 ], [ 6280108480833193037701387 ],,
  ,, [ 62911252562113961163887906823826197637 ], [ 14133569537 ],, 
  [ 686362139501 ], [ 278109428397314221197951936662243551691 ],, 
  [ 15193750318728809750803350313185484482847054441 ], 
  [ 7205429998355928957905019 ], [ 829922152919553918521723 ],, 
  [ 21054762473854724361889039938811143358663443106970388987099 ], 
  [ 38497856361637 ],, [ 1296786547276808442317 ],, [ 14294525347 ], 
  [ 5077680276979199509625019830732904035821912445626357
      32424686785162173845643899369554367 ],,,, [ 15043547893700959062949 ],, 
  [ 17348824971233413368507727769573587400919
      758148565249595991530836809884181712029493
      35856909452979963272040654093214930380489227730998506964453743 ], 
  [ 17837024832181 ],,, [ 19306832535783062587453127112701 ], 
  [ 955534369178641120435393726471 ], [ 482860053620489 ], [ 3403831844041 ]
   ,, [ 143931859347537473948598778209033 ], [ 641283433057 ], 
  [ 5081902382296977554072869826689 ], 
  [ 4846472709521
      27031992776309878252971035068501331166117196065199653171600161 ], 
  [ 3816724189969259456244630571 ],, [ 33948141229289777571183417528200349 ]
    , [ 37954428650742732092921203938938468995024108970670647431 ], 
  [ 3951446932457641 ], [ 114784417733611 ], [ 30752627929408800361 ], 
  [ 135554458480951110553401640370745848646039158681 ], 
  [ 4656811815611106994259988921795747 ], [ 50033060943751 ], 
  [ 508885583657741430076594948283942797515709 ], 
  [ 46225329291040912180596572552236961755557
      20695723630368063629353243843369098297219832427 ], 
  [ 1348163777096337565261 ], 
  [ 103057634594108725837586895618284937107405533561212717489941351 ], 
  [ 71657711627780503868801 ], 
  [ 39986733744069343402936231
      2273300545178995335312681186277324811778701809 ], 
  [ 1945836699477879772517 ], 
  [ 790901969463424920790156901080067721388987776809458610829411633711
      8713762590461751854254120053121406124212891 ], 
  [ 25194713893652332702673316323282448437 ], 
  [ 1575663191629895695122801796820023994101 ], 
  [ 99838615734773951997390557397636693261978713861688094256612504631 ], 
  [ 2730481136371227617263818428467948617129793
      1468722753798916226480208556251950027659045860899851 ], 
  [ 742543109932971014449 ], [ 34865184023035137125582952023101861140075031 ],
  [ 4239582410745139027193073343511831 ], [ 5656686225996310733614276073 ], 
  [ 21732217622643299419701156765586549795278082495584488997 ], 
  [ 21622797394651706006999809 ], [ 1653716904712559 ], 
  [ 14187259531805578915055987225243511 ], [ 118809091376347911458081 ], 
  [ 2039464756990691547686997229 ], [ 1230204339883 ], 
  [ 1450240053669502744600690324538920990020733029391703
      8352247913216251921081631122687 ], 
  [ 14791326783240540162811947016067398100958955701 ], 
  [ 1119590798943294702616609348274068737944941920713898667210187496757
      850870961301750194548857066310399 ], 
  [ 15886304842755746683239468948730084498252055257076501 ], 
  [ 1193829451711451063834800717096139290893203075179 ], [ 439752534521 ],
  [ 6066477530205118393711 ], 
  [ 18485377316130874070386361299679
      222303897151896591933786447223226107167853903261 ],,,, 
  [ 8114790361234550411782316913773678210031623867966212353951731 ], 
  [ 847452932352369948073342575439 ], [ 56628828351089 ], [ 1531767659 ], 
  [ 374324900595100869105541 ],, 
  [ 11396708704861340506158945897821556722778156851481
      906716856776023771304368212469347401 ], 
  [ 10063314831292867386580175767247233269161 ], 
  [ 852771577402410747642825815880003097287 ],, 
  [ 87358504801304065355441 ],, 
  [ 34215283097613632397608991024115628464809
      2434079158168494570621527408374235469022457 ],, [ 5316796408315237 ],,,
  , [ 4429886629131863228907693816380176898839693101465512112513
      632937766189168936288648117388417
      794264850691542145560463945830842519621249 ], 
  [ 68607695411019849048821 ], [ 260653706626648605646062705417361 ],,, 
  [ 2643734718451 ], 
  [ 80952237126345782279809496428958504156039789996799759 ], 
  [ 540719607483011492652615071291943478346351 ], 
  [ 928909285482356457759957543090985936244383859019273 ],, 
  [ 10170768540835310701070603296285007138308037637890141675757
      168655263195578585076061 ], 
  [ 133755571979167803104848027510435806783 ], 
  [ 69315141544733842175529397663152301
      11055898925405276842382799270423842484104646569281 ], 
  [ 16450027985470099 ], 
  [ 463821476885435971452301547868824278555571707922627 ], 
  [ 231697180859722144146096545250937 ], 
  [ 138197160111102327238529157757735051460477034604829217 ],, 
  [ 197061555193660337353810638746935739249447 ], [ 41195355018511 ], 
  [ 6440956069740826553 ], [ 157859122970357214669593 ], 
  [ 3022022911511703544916651364585541820980401 ],,, [ 52498690797979 ], 
  [ 7377642210118002531812770453266873563396689 ], [ 5236498229108891 ], 
  [ 8560503724913501602935351984049659226259370020804751701 ],, 
  [ 1787864365501 ],, [ 17483880641556445111479841 ],, 
  [ 379003640878912724489499117104513511310224901423329623 ],,, 
  [ 17766496771572274498198122281 ], [ 175498807382217406237 ],, 
  [ 325806124454172499035941039391408811577354560618177920362224318737
      109855857041768877218292389445289 ],, 
  [ 20428703592667143119595277414006411054131 ], 
  [ 43609422072752924589489413131913 ], 
  [ 6243620983141323623880668239177766524053524033448473789 ],, 
  [ 1817667248107826832422831814713927134823823345203
      312283147493696419634352596587583471029452979 ],, 
  [ 220929760491198112329910795216485752313535360525788657 ],, 
  [ 41695631164379 ],, 
  [ 3167919541602442661302131296961196247792882999061
      90691595473106050940087817661 ],, [ 18796824179020058081 ],,,,,,,,,, 
  [ 60805293121 ], [ 6480512325881333 ], [ 2170702279 ],, 
  [ 1117427907250093816133261 ],,,, 
  [ 122153423801426654939911700188175592211646812801 ],, 
  [ 2355835303365972813339543376288908139169 ],, 
  [ 339378001816531137734753409322569595528241 ],, [ 117645780163703107 ],,,
  , [ 46389307070951326509311711062205829214370544590879217528607103411 ],,,
  , [ 559911133739506427247722396499 ],, 
  [ 366887232131634125198463075426601834529 ],, [ 3492076313113 ],,,,,, 
  [ 87279818701359566644993 ],,,, [ 116551325929126441562884199482220369 ], 
  [ 1086226602233 ],, [ 49194125811737349512411891681 ], 
  [ 201372752671263233 ], [ 144770927783 ], [ 159905860935092524374732731 ],
  , [ 5044097040962201 ],,,,,, [ 26300114479 ],, [ 70493457817 ],,,,,,,, 
  [ 158669809085929177 ],,,,,, [ 2762986164755249570815529 ],,,,,, 
  [ 32250802127295708276254033 ],, [ 163094649481163743998573 ],,,, 
  [ 60360993991133113832909657284584199151 ],,,, 
  [ 4742845059111512035530363 ],, [ 267915462016225476501843785101 ],,,,,, 
  [ 22208864317 ],,,, [ 1108009764166691101 ],, 
  [ 19725245569464555766002689573901244865693501795904321 ],, 
  [ 1326996777299248657061 ],,,, 
  [ 114114742897141263956232711077841406061735369249889 ],,,,,, 
  [ 2628609001410295237601 ],,,,,, [ 4304689273375913492730584890013 ], 
  [ 386663734482713504150974307063663 ],,, [ 42438634907686446551 ],,,,,,,, 
  [ 13048333093 ],, [ 2076192641 ],,,,,,,,,, [ 5613634687321 ],,,,,, 
  [ 16998112260193140426105835865931109774366937347329 ],,,,,,,,,,,,,, 
  [ 4884442501151230871770751501 ],,,, [ 19989932445500814757 ],,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,, [ 6523771411 ],,,,,,,,,,,,,,,,,, [ 1469854273 ],,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 4920530895197410090690133650213954134501 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 4269171570311939 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, [ 15474307368721502886528811091693 ],,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,, [ 127025908611098064261664720951 ] ]);

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