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

Quelle  brfac57

  Sprache: Text
 

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

BRENTFACTORS[57]:=MakeImmutable(
[ ,,,,,,,,,,,,,,,,,,,,,,,,,, [ 71981924097760982951439814589 ],, 
  [ 8350808797 ],, [ 531143217997013 ], [ 201191991841 ],, [ 18510511507 ], 
  [ 195169506211 ],,,,, [ 10337608753481 ],, [ 1601766349 ], [ 9776859253207 ]
   ,, [ 41252063491 ], [ 7587913027 ], [ 411240453595115822985214248692439 ]
   ,,, [ 20232369551 ], [ 76629468907726176676157 ], [ 421774848457 ], 
  [ 180613238987 ],, [ 302120875652373244036042554840001 ], [ 4504444337 ], 
  [ 14710826638296122001733445931451 ], [ 145584139403495845451083057 ], 
  [ 14016394011322815034331569493891170982326530185059968803558860351 ],
  , [ 454102852372034133722600077 ],, 
  [ 12593891269117156123693124252215724703 ], [ 159452332908596307521 ], 
  [ 13301694577618115665966979687091 ], [ 2878486159672729 ],, 
  [ 214803153238856568247770253 ],,, [ 655747802615969617 ],, 
  [ 532344548080963337345716658267411 ], 
  [ 86474213757839207926242651317877 ], [ 10709736264690660466529251 ], 
  [ 4145528650566107396586375677 ], [ 24048713221627403 ],, 
  [ 9750545087825532826906770919528413742092483153434381
      566354816610176024524149451699 ], [ 2729573782081 ], 
  [ 139941939223385680687409 ],, 
  [ 670925936486112689920633761890187396814530557184596548342039301423 ],, 
  [ 318436803674534765469421 ], [ 882042621282887 ], [ 1219086369349 ], 
  [ 127911754866734070204606373401 ], 
  [ 151902725301718296225677370736492010650701443058036243
      2312084856902203571949829071875751545527201933 ], [ 6987752066212831 ], 
  [ 1063809319483 ], [ 57128975646649201468449347148779987788960140584137 
     ], [ 6859230354736611421196209792603 ], 
  [ 1750172383016359644832694449517 ], 
  [ 31424454967792513171814364647634314715412162361 ], 
  [ 7170536280399731782369 ], 
  [ 47263998288901291155136694262436819580915123353058550416160783801
      4448647183399877607148509219522441703167063412723 ], 
  [ 34207795734296657611 ], 
  [ 58286329823082136407252337947023894054109073843 ],, 
  [ 54422829914493554387501306421053831837296387260109 ],, 
  [ 240022760142097
      13426535830099223801435866839253418754670653925213020649053153835613 ], 
  [ 1047443218204176704294325557260042009 ], 
  [ 24221906101986952608356260119436009551855957201 ],, 
  [ 47176948549264840769
      65167852747249274520245701107646725461869570742452421988480959302393 ], 
  [ 201187179649 ],,, 
  [ 2048409541126832807789111590823418353496709715974096634197 ], 
  [ 1672974144241 ], 
  [ 6950087124541362958543928339114095218156028455023
      28655293127873188173633193127067439
      4709589800469218743829317106305351377971181882787 ], 
  [ 1645318839721270230934999421 ], [ 791002972932578787033278834708231 ], 
  [ 14231747499210357743180312279690250582407169 ], 
  [ 34280205560409236571141542113976660968961008206111688381667602097 ], 
  [ 4270767921831596893930485278504731083498402051 ], 
  [ 759450459006828134929162393279
      3307537078530365280314623037943066589332523316674501 ],, 
  [ 
      304562699086508988498574834034482140218810114830331769303098750555888348383\
18500691 ], [ 351900339090361876475567320500212815560871346128284471 ], 
  [ 23632020499384310337377552596649034337343268484897377610430119 ], 
  [ 1892515807011335715840663759071736954746461 ],, 
  [ 301848337094969711531515403246567944367 ], 
  [ 6448796825973221055151215044849363439373058120743606975316703047886071 ]
    , [ 7238757811367268222319371600749337849468535689593919873 ], 
  [ 722425148085723584848500153861641895269 ], 
  [ 2639851513186406576262522665813298441 ],, [ 14512779631685107825141 ], 
  [ 110443319711196831191081
      4631644240862352858016386649241610243454520541499
      36188247307393227894317417798458625078689888014074381464411 ], 
  [ 25697164209933139152352352214966339 ], 
  [ 1075192090209112748514313173804719139791
      163795811215690330674932734651 ], 
  [ 43710005409552318268451399659127513715857 ], 
  [ 190725300875093559103302551143420884737976475884976555561663914719
      161920141220691619888621735215029424667 ], 
  [ 1549260946995093318780717114944384074344603 ], 
  [ 1042482762087375978906910772313911051488342757
      31280608901203475982102559507254793 ], [ 6293792821 ], 
  [ 8931722965951336841250901472529477770239034867417 ], 
  [ 2063229456072999094197772048968163678082252126041246013741 ], 
  [ 4136278825490485588310575276872707413984029771 ], 
  [ 132335884563708202747244929 ], [ 10201661480646191 ],, 
  [ 442680816048275423230804920481975634323 ], 
  [ 248347507734984817660931481328918335836759078099790084028628919133 ]
   ,,,, 
  [ 1398609729726443135696609
      6523229087899953813715598867602880218602682651337 ], 
  [ 1902224951362803846023300408702184979889491657
      11068899985709560539168530629831440998205296034752077 ],,, 
  [ 473828132744064133969715982253 ], [ 11045653376638704449967153 ], 
  [ 76155161002253748118050459669072535554999496589883474578781776167 ], 
  [ 1355480407 ], [ 292098598103546415839521 ],, [ 4962413887381 ], 
  [ 3963878196799 ], [ 7889240993 ], [ 36810334441 ], [ 9717450817162931 ],, 
  [ 55247098772660261881 ], [ 3015859169015681 ], 
  [ 87840168555413155111912992190789474915958205031 ], 
  [ 135178714811165981360086151141249 ], 
  [ 273708620694900442324842696556170880459399315237
      2036375866533561788490379352428353568889 ],, 
  [ 65467221511357297204110675408206003449 ], [ 865731397262802001 ], 
  [ 44439261866273076098533611841105739720036222209549958616817 ],, 
  [ 389925467968522598515543800986553450583395787322481819
      2192157171641992171752715420617497503 ], 
  [ 145284492521994407141579467912827547 ], [ 10752110782551361 ],, 
  [ 3932177159 ], [ 23954590214465877408906819310554073037 ], 
  [ 106974692947739112978083001731995024686006881310843553557977 ], 
  [ 2888608628759261 ], 
  [ 1534007676770785124447325622441761493359291
      2219585729408376537533449 ], [ 240068703821 ], 
  [ 82280501880281633346638513317975629449869609826705277 ],, 
  [ 18629410441892052231485782405621 ], 
  [ 161845842515752047941843317136271557489042775183 ], 
  [ 2562959486619658177195688992282395942401 ], [ 3623664167 ], 
  [ 35370195072743391477248479178973929655358991604989789500139520904252171 
     ],, 
  [ 333714365849771952200663442876278910960788027856796692415240380330613 
     ], [ 389753082071365980088691839677623 ], 
  [ 7174622307065805169094105993589460652593533637 ], 
  [ 5520885676855365562063329194695739216927446384231 ],,, 
  [ 16274107943632124003526422723858263166061 ],, 
  [ 101273642520881325605317 ],, 
  [ 412195195311499950643660689332365711755272007 ],, 
  [ 3903536572012597951861732268731649634123371313 ],, 
  [ 58523846936116256488946083601240074162643892411115401 ],, 
  [ 230609385450612936650911989570291127022391754088657 ],, 
  [ 2026177314061 ],, 
  [ 3998813617377663305591170855371084614727339829021113 ],, 
  [ 635927517691116432347043940265699673564394861199792872301399 ],, 
  [ 52527184725418692992355479334323706610914601 ],, 
  [ 1435815637822914829433609909094599267637227211 ],, 
  [ 2388023203759624848602229359536212416123458947937 ], 
  [ 45488726055118036319612887451 ], 
  [ 233263151460051980433591999382056789731657
      4105579990613342440345495424843617200623257748519 ],, 
  [ 54738079659954550729 ],, [ 13841333171223479326069793296741 ], 
  [ 32994471372411792665891994541491115404143045385025173 ], 
  [ 1250523121545973942174505148848657759607929
      6871755333941921518245741227787573207170033 ],, 
  [ 40570891932572834302212163266435829194438820127
      141642971819615169207203235668047 ],,,, 
  [ 1008717361065876798583741358869954767125906788202320289680173136093643 ],
  , 
  [ 4513209872225958543757339828448098801
      11618103815851459944909765307634319841 ],, 
  [ 2859506681695387269215014800589949 ],, [ 247128710349664135790997313 ],, 
  [ 1994207119576588772878972064927508827587821659
      48622871475075214143937364229058803997789 ],, 
  [ 86067138534114493274518459672830303081 ],, 
  [ 1208951141572427627917924050130008552695961481158700303677096251
      113827889849315291873340239061450275251 ],, 
  [ 762833168082814997649619800931254056176814452451316504785953080545057 ],
  , 
  [ 16437091673448923259242084762161861
      119369824211584917018655476197179594949701837 ],, [ 874785960052006657 ]
   ,, [ 59432530851324223479938113110644578258266887786104587424871 ],, 
  [ 39900871721739616214732895470061364747732270011014284361
      304419934553138804821666961451896452180965117682811346350892019341 ],
  , [ 530260616219614889697513310126173664273953072439 ],,,, 
  [ 22828264342968841 ],, 
  [ 707251747294827098500453
      119928534220976765011106444998754614408259009199997 ],, 
  [ 63558456079552028438917231 ],, [ 988281267702481875980674844406430769 ],, 
  [ 3863646831998741821724945520281639301201481
      1216601042562616625232343996369067670710588381 ],, 
  [ 2705810463073104484547060240250804458697196482683606607289 ],, 
  [ 930790060534027742074957398485227521396920104408454165439788479 ],, 
  [ 56736220816711699017801 ],, 
  [ 4115918958757203421355979862491311711223728359892564053
      11986371547367679092746035349348500932013919 ],, 
  [ 135519219744901970661620688171178229787609593 ], 
  [ 90739280878629180887003216721671 ], [ 3287239023641 ],, 
  [ 1122801041428954335285132690990296591569633 ],, 
  [ 867077554168471873269898669723791
      31805827139210888233125757410894981422243045733811 ],, 
  [ 3382847449110240348449633 ],, [ 2812130517652891 ],, [ 19029792641 ],,,
  , [ 7054022310137067706676501 ],,,, [ 7310249044316223569 ],,,, 
  [ 32332931035645241 ],,,, 
  [ 359310359595627857944950794535413543760215417
      4826542605547315899894689516788762195653687640293409 ],, 
  [ 375054277797316967407 ],, [ 78821408133601333 ],, 
  [ 1389942067691428808360357906603 ],, [ 2810875448021683231681 ],, 
  [ 2793021278251 ],, [ 29837738960717581945583641851643793 ],, 
  [ 2733898544731 ],, [ 480875701892359397928025415220681 ],, 
  [ 787019640144064116192811159443232134309477880812598008501
      157709224842118702700936807677575421 ],, 
  [ 181292770974101181554755267927330309 ],, 
  [ 967901283517886473352185338304530343814470653 ],, 
  [ 11569156549127140279218463088641120458770786459826793239105903876017 ],
  , [ 167075782901 ],, [ 1992647521348904210082221 ],, 
  [ 37163252557362042757 ],, [ 3038139423611935711244990037487246473 ],,,, 
  [ 359657557015837 ],, [ 19120472603541547631401 ],, [ 996986405537 ],,,,,, 
  [ 940459520332568283399207161877343695233764855640286324011277 ],, 
  [ 1901121988258812484928954549081
      7869629412095592405118970989578783247957722013561 ],, 
  [ 364511876009110115328488877924777 ],, [ 2550465373 ],,,, 
  [ 481542253967377 ],, [ 9689714967111017472185819431 ],, 
  [ 1413591942853178190240558980379929 ],, [ 14317463566166409529 ],, 
  [ 152483462627644193 ],, [ 414009215026997311 ],, 
  [ 24999005811894171772321 ],, [ 131188884419 ],, [ 86883917359806868993 ],, 
  [ 61450792771176216446327254513598317393 ],,,, 
  [ 2323082414693212802086861
      31463596187048965712524407250117493531231070678939983401 ],,,,,, 
  [ 240804781909957272321036327341 ],,, 
  [ 57128601198125545217745279344412183459771187504674891451205372511 ],,,
  ,,,,,,,,,,,,,,,,,, [ 15761834761 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 1238814001 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 2328404592148203437338336355293070561 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 486324203318581 ] ]);

¤ Dauer der Verarbeitung: 0.14 Sekunden  (vorverarbeitet am  2026-07-02) ¤

*© 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.