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  brfac788

  Sprache: Text
 

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

BRENTFACTORS[788]:=MakeImmutable([ ,,,,,,,,,,,, [ 4027511333 ],, 
  [ 12571206811 ],, [ 1679519184437189 ],, [ 253628883667 ],,,, 
  [ 432288822741484968345643 ],, [ 172635148351 ],, [ 456978723679 ],, 
  [ 6461463090924593 ],, [ 1169789263493 ], [ 21548590529 ], [ 4764506011 ], 
  [ 105460946429 ], [ 52469860817776614303998793743981 ],, 
  [ 202872018198136372932083 ], [ 77218758045818337985457 ],, 
  [ 2874259003801 ], [ 1637357219695811269611835204133 ], 
  [ 20739664723471 ], [ 326041163538233022932916533846224980665919 ], 
  [ 35292918480657678721 ], [ 12849941268148811013354711599793052709961 ],
  [ 11378051471 ], [ 63037670194271 ],, 
  [ 6682710316965205659812721759613836466997 ], 
  [ 205154512506310077047551 ], [ 206227327183 ], [ 2793887621180813 ], 
  [ 1391560800885879635120879432671913664832542401547290770183682203 ], 
  [ 1935344982725551791186743 ], 
  [ 230877608517856207590111012693924380887686201
      958137767635904927371965846941 ],, [ 18808526309034211 ],, 
  [ 10701531181362803 ], [ 28142094457448472901 ],, 
  [ 4234728961257697822257 ],, [ 108084280971433843014032577 ], 
  [ 18377899777384681224157978422846450830238619157311218937247764849181 ],
  , [ 1416319565630669351856652699541812143144751188595221594845482930437 
     ],, [ 6040600809231733357395710716156867007371674191147 ], 
  [ 1163856319286646611291 ],, [ 16453063657 ], [ 4243622861 ], 
  [ 434137773156068669584354192342426330531 ], 
  [ 9273117001751491574613179926592063622026098266123610742771051 ], 
  [ 258254802472309715154540277137052132555881 ], 
  [ 233104290036543874888607614871 ],, [ 461147299317220787 ], 
  [ 640564576116301233981885201 ], 
  [ 1589050504692514081179924394532353351373 ], 
  [ 3107546130928801873657185019471373080558558765893 ], 
  [ 12061085279892533191 ], [ 1871123101 ], 
  [ 139908528884786817433261110539110028421169186740681 ],,,, 
  [ 1154060766442828113208765076587671402496147 ], 
  [ 1472407861223813351461209953371 ], 
  [ 176347375291182658291796867594167156761059290534601 ], 
  [ 22870510024507349868493 ], [ 26337569938863210233697916819 ], 
  [ 6610535320209983900355795994498369 ], [ 3109007275945171538716921 ],, 
  [ 414415428114113040803 ], [ 4358800097649593187279 ], 
  [ 10036652652763507 ], 
  [ 1499913160012801952829454419925739423014469126626923876026895693701 ],
  [ 5728873540313741798345074882253 ], 
  [ 21070153771685854137977183922056347695521590369851447 ],, 
  [ 1534219632401158910646256152409462377
      871958921618926411071909271795764961673 ], 
  [ 116115306339435197169701726408257575284790511 ],, [ 14807626853 ],, 
  [ 16436145188818703209 ], 
  [ 32398838747426141784742160363728893481248905722289202295737790151 ], 
  [ 20207468723826400903657693408182156580876607207423
      120664761855813083264576749 ], 
  [ 114418124916678894948931633745162908016805884109305232337 ],, 
  [ 34128532489152190997288837928636443002942638972900975440991 ], 
  [ 2529466252057254963316581881 ],, [ 9086094907389714528897612832136881 ],,
  , [ 721316716226035921 ], [ 334613023691 ], [ 13593361703788484599 ],,, 
  [ 6003391264751 ], [ 600653304370912705098921473083061394602233 ], 
  [ 771872665549730065796551260186747 ], 
  [ 3590468061122571736120195034497 ], [ 852846802499469860119 ], 
  [ 12104245849017947627398613101 ],, 
  [ 31128442875670937718883588272493778785373 ],, 
  [ 1730342526126297426593312353217 ],, 
  [ 128263415733987473852416981870708716379609 ], 
  [ 1072294193441599881589 ], 
  [ 4003145399861680267919312794173489177932435226534884322153262127 ],, 
  [ 13471813988737599844588073571427352775088508272275901 ],, 
  [ 2148577043697522143 ], [ 90656706713 ], 
  [ 48497219915440339233425384734828213946147123873
      79851016437733233957572397671473 ],,, [ 103843703905373415439 ], 
  [ 23027787591385039740073 ],, [ 9343550851144071693926111994368125382501 ]
   ,,,, [ 288495506118790997797 ], [ 848867912838122058794423932751 ], 
  [ 124994573062819639351270934511161736200897367462825765402296508053 ],, 
  [ 452886820903725041317748563461724654562093585950217533668082831159 ]
   ,, [ 2725745004699017761 ],, [ 25680371369449051 ],, 
  [ 557344333293673503337 ],,,, 
  [ 158712222492081639728429432616847171337
      115003557647759195663143829791364525231313801914040536754300377 ],, 
  [ 47189765221046501140619541265744626637401 ], 
  [ 2007534890305505809310369092001972015861 ],,, 
  [ 496923962171653500389201 ],, [ 2017059089 ], 
  [ 65783527260951037198067046937556053113280734383806343174937 ], 
  [ 6736413471120714754363800156002289 ],, 
  [ 293973816615578438782279414666617069198420013236328027341
      8469035894748144778616107261 ],, 
  [ 45069243900802153286912911589029437302021093823 ],, 
  [ 4809936984816110343502410571213971953 ],, 
  [ 2033775755377931824343596693583694805827026288777 ],, [ 13294027457 ], 
  [ 320241553023405388663 ], 
  [ 1130925791103820767378771811073953287919791221
      775265253407998253715094358321 ],, [ 1406732996227444709400193 ],, 
  [ 3929220621343 ], [ 516752672281443885146795891740421 ], [ 30050777429 ],
  [ 16066090734555091131413064950815415760631053 ], 
  [ 26573797210950118575231433926311 ],,,, [ 923869348342519 ],, 
  [ 239492701001557 ],,,,,, 
  [ 1129030382015889072311709643496599108488018005320931 ],, 
  [ 2211844065617957 ],,,,,, [ 4444196833 ],,,, 
  [ 561650979429718188744860366933 ],, [ 4227568801 ], 
  [ 702439020116908422735251 ],,, 
  [ 44012474761368918620773610167714614689537 ],,, 
  [ 3262447617671685267267839 ],,, [ 1717146773342911 ],, 
  [ 61202451131718321482753133595947307784433 ],, [ 3741268133 ],, 
  [ 300249924241113990014020721 ],,,, [ 236879010793 ],, 
  [ 4546413350772800025889 ],,,, 
  [ 118235651400459329800165185107837699514525501 ],, [ 110430577657 ],, 
  [ 117034330331767888245777 ],,,,,,,, [ 3041662870049893 ],,,,,, 
  [ 2741922441738967737099820885763563737 ],, 
  [ 77497589710819492014059369403491 ],,,,,,,,,, 
  [ 8616600721913884493620336173389767025586201 ],, 
  [ 11583739394354735369 ],, [ 2338343811117593281 ],, [ 4557811831 ],, 
  [ 750654795981983133687161473 ],,,,,, 
  [ 1143896759671224862899701189139073391151395579055180207 ],, 
  [ 92058386353 ],, [ 2199275855851064069 ],, 
  [ 1394768964301187689089265432014297513003926807368201434964101 ],,, 
  [ 345269839273863326598401 ],,,,,,, [ 8101871224212119727018395053191 ],
  , [ 95244945131725330272641 ],,,,,,,,,,,,,,,,,, [ 18563415178765212031 ],,
  ,,,, [ 26067646081 ],,,,,, [ 10855974673 ],,,,,,,,,,,, [ 12665400011791 ],,,
  ,,,,,,,,,,,,,,,,,,,,, [ 20438335946071 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 72924764953 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 774354915011229588820451 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, [ 55681623044677141921 ],,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 98318332033557616265990215193 ] ]);

¤ 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.