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

Quelle  brfac137

  Sprache: Text
 

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

BRENTFACTORS[137]:=MakeImmutable([ ,,,,,,,,,,,,,,,,,,,,,, [ 143235060131 ],,,
  , [ 28091709908209 ],,,, [ 6523106243355764473789374432546441 ],, 
  [ 3186086377111219472717 ], [ 57690463234553 ], [ 6146763281 ],, 
  [ 256716037820965228521474255317 ], [ 8436479444494455239 ], 
  [ 1895119279 ], [ 1948605761 ],,, [ 235342910241088535054957 ],, 
  [ 37450808371 ], [ 267301014173069 ], [ 39119889197 ],, 
  [ 15245180870049361148577459158448464973 ], [ 3040503551 ], 
  [ 5308526698504358424858341987 ], [ 144085000541 ], [ 154176674714303 ], 
  [ 8308514899 ], [ 871069931228971480439993618477144451 ], 
  [ 186254121114881 ], [ 139634895124503739887999368411 ],, 
  [ 766132767348481122361212289276062402139772211570413414979299 ],, 
  [ 16222882479589 ],,, [ 3896180039692241910615297 ],,, 
  [ 45602329274798841701111166749131081477
      5074045743371844855885461500087477889427221405977
      27820246807291206869203416901562494427778887035468153 ], 
  [ 422323906614149930704010709 ], 
  [ 128996044963406828187070474331540698427798753 ], 
  [ 1133809805801203992557892185301 ], 
  [ 427767516418981668782297889566258305306722542079964488313 ],,, 
  [ 35748848183 ],,, [ 9100621499318911143020754776404916892539159 ],, 
  [ 4431218839352154326697489719606305102580402925145705358312487099924501 ]
    , [ 69023010221441967504721913389441 ], [ 118576321176845805941051947 ],
  [ 99220957041437292121115829014581 ], 
  [ 595894549318035277944896343293360313864907
      590093773582797206727715859114588143941930340659039865405884651257 ],,, 
  [ 240400043891107101169633164014749937458979987 ],, [ 236139833853089 ], 
  [ 4761177287139581973344721118048538347 ],, 
  [ 1832368930939221450545609818977120332584802185145820481959 ], 
  [ 112409102905715370693751724175991385251127404262781 ], 
  [ 11895896519411075345554920327846539987467920075101 ], 
  [ 56693681391890230639184586063478895503 ], 
  [ 5707629050364405388111956676624337571811336527535028431
      13398408751075101061588040524751668991 ], [ 49652998429470741662881 ],, 
  [ 720255284491787448956169574010296995874619 ], 
  [ 42949623886032618522734661711029 ],, 
  [ 59096385959473322252863423345131220544085958804272900883 ], 
  [ 168934634606425055593 ], [ 36583900921513093460012998724706997356897 ], 
  [ 151656148928416257966668195182521 ], 
  [ 1575858462497726510124172833399472954304275814505890771093711 ], 
  [ 1697643654370502843177193825656989 ], [ 824991217459303115027834583 ], 
  [ 2704492633064977721332742960341 ], 
  [ 18730166806493341168547268117558354413420654093397 ], 
  [ 799326853468984933656900491 ], 
  [ 1531139553331321588611431395201555498868337201
      45742477253024266415184622499209666038827811773587 ], 
  [ 5755739526896074368587323691175335455662784766777040673 ], 
  [ 8630540041014484038588715061910499441029713534147 ], 
  [ 40801452857942931852322621 ],, 
  [ 96681840695714056230954113010275471465369 ], 
  [ 25233768872085378349454113 ], 
  [ 1208594050731941324528399602625881245332603325976008907814016253111 ],, 
  [ 435001932119844286601 ], [ 18838345769 ], 
  [ 65924467487218083383239215991000643541 ], [ 27680996743 ], 
  [ 69257179176907181 ],, [ 49976679892123152115700563006255642817 ], 
  [ 154266537038087623748881823149575114227 ], 
  [ 24477066563865724173182745356998450255458082689
      5277888109196866855178561453869113089 ],, [ 2956299785781553901 ], 
  [ 5789953459 ], [ 1896277473156158465537666638518128023383557 ],, 
  [ 653878630679831171637452967354459325117685899010423203
      37781058136474585145999 ],, 
  [ 148689861005148105729071291201425343280569125030163570530711018155633 ],
  [ 191864444912779722229574894288613271329112787027
      541428835573833831801397911759429467460935879916775610180659
      14502230930480689611402075474137987
      58856107922777924180916774218264191913059583970560747052799 ], 
  [ 1558747749487237165234540923701118641805457335104199009 ], 
  [ 3418858140859385544644752910346450869817843697207
      11084572126745811601508983061 ], [ 39242128035015943817081 ], 
  [ 1816961533568356778187281 ], 
  [ 409288076943209585690920021320305013156230430815499 ], 
  [ 530402764337666031924123 ], [ 2719670888017672894866562470124134689 ],
  , [ 80677072750119544791567197506646957031083 ],, [ 115290027089888094533 ],
  [ 338067716982299925104662984930468220563 ],, 
  [ 890648790373442846584864437 ], [ 58498119511160366282176673914441 ], 
  [ 2831779387455771240322386257 ], 
  [ 48922838581649077786892150657427
      817477481190417310240448554070436740631439594727 ], 
  [ 134907471470373031 ], [ 8514327991451645280144929096929 ], 
  [ 1462359859 ], [ 28622264025681866848103623 ], [ 2299216123159 ], 
  [ 1458263751311375692318625785056907303074611863318241 ], 
  [ 1028353400310354056669244337183 ], [ 7304927982498156850592609 ],, 
  [ 61555384475948926579551029347196309011479087381864766328546412449081 ]
   ,, [ 4222691809631824802704657 ], 
  [ 46877076209374105826512764323065355063988478377 ], 
  [ 6587818609104392243779433 ],, 
  [ 37804332770988966098756758183548164987275411440181 ], 
  [ 88769133155236689361101542939449838337593 ],,,,, 
  [ 47638187127323529097680176149664346464868558625627500353 ], 
  [ 87280954273 ], [ 2084740451287567529049322535908661971 ], 
  [ 2255580365771 ], [ 83441484901 ], [ 10490478728425039 ], 
  [ 236548323265973811312196217016787395610045492847 ],, 
  [ 180703859397001110039761547341154656729103819971866593 ],, 
  [ 126526521135849716792797374944493569
      11130299381524164061100696263095343 ], [ 5518119630108713 ], 
  [ 5953924064144912335247497019921943853757424724875358069
      4548230173557837519935618877585497952473657449 ], [ 9503047009 ], 
  [ 903354013595016355996816271 ],, [ 1347580665739192615355149313 ], 
  [ 85912042496098490679107579954029 ], 
  [ 539820931842719212848300477285295991925653
      359402141680319865393752371013 ],, 
  [ 15092619664760840737740126371894454884884482303077 ],, 
  [ 50827361538585073181820246754191273893094694460914188689019 ], 
  [ 4523239052317 ], [ 26471008365764938601 ],,,,,,,, 
  [ 25517312414392831162865281 ],, [ 180378296488111 ], [ 21112223105089 ], 
  [ 19616334624772997 ],, [ 32320946554450443599 ],, 
  [ 37476129727393015214995361272803932338094295371993 ],,,, 
  [ 30288625123855558466821 ],, [ 11857069779075508911587680751 ],, 
  [ 475755110881 ], [ 1645161232501 ], [ 18711159241 ],,, [ 160072344703573 ],
  [ 16877572494090487181 ], 
  [ 28169733912982769376203189284364311209875987062301019171373
      1718923662003839603593051 ], [ 18962957340898213989958326071401 ],, 
  [ 78795388387 ],,,,,, [ 181820932561 ],, [ 917194206853 ],, [ 1187228849 ],,
  ,, [ 2117056217 ],,, [ 206573923830710315099249777035983461 ], 
  [ 151041464533 ],,,, [ 2466826986649760538434608101546753 ],, 
  [ 4967851530434066968876220975843 ],, 
  [ 86319975196124862958100060616697688826953021 ],,,, [ 1231252003609 ],
  , [ 10406773874493584868328319 ],, [ 4674697373933 ], 
  [ 7353975263254395115583236579394520755261 ], [ 465001184237281291 ],, 
  [ 139921287768310318129 ],, 
  [ 164095915779277849520109367250386303872533
      2993035795579039713159990077177 ],, 
  [ 341301761986057238872718542003673329392073208770286461953 ],, 
  [ 2745877447 ],,,, [ 30019972310517613 ],,,, [ 686070472957871 ],, 
  [ 18966080125675009 ],, [ 6563347768913638772351 ],, [ 16449552535190209 ],,
  ,, [ 134452761689 ],, [ 7012701391 ],, [ 43318636530935044301382470101 ],,,
  , [ 53430341744010289491157529131233329 ],,,,,,, [ 281764515287 ], 
  [ 81820579827831001 ], [ 4108056767 ], [ 74473426787033698408649415243 ],
  , [ 445796102561 ],, [ 8751510414111177168367601 ],,,, 
  [ 29574389471359719792285207809 ],,,,,,,,,,,,,, [ 492665765159233 ],, 
  [ 646030990031745126754229531506667186872531958791742000252693 ],,,, 
  [ 85255045297572202333341144113 ],, [ 27673808320829617 ],, 
  [ 24983431896529124127461019987205304269050053267 ],,,, 
  [ 6525939169051 ],, [ 510151120663949953 ],,,,,, 
  [ 887917399716508454359115960749823 ],, [ 732085992117394593401 ],,,, 
  [ 6817289389 ],,,, [ 822263444881 ],,,,,,,, [ 1303486417697 ],,,, 
  [ 1184154594140575592920522061 ],, [ 9535346636631079443785982101269 ],
  , [ 320581758734690407840069121 ],,,, [ 1122759672449 ],, 
  [ 143727188865127053200700761461744482019694445593451 ],,,, 
  [ 21352985237 ],,,,,, [ 42670667206292401 ],,,,,,,, [ 54979207681 ],,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, [ 2201500703792701 ],,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,, [ 263710694881 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,, [ 156554838721 ] ]);

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