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

Quelle  brfac513

  Sprache: Text
 

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

BRENTFACTORS[513]:=MakeImmutable([ ,,,,,,,,,,,,,,,,,,,,,, [ 400206316813 ],, 
  [ 2314715666830300301 ], [ 590972946619927 ], [ 102171310336245330179939 ]
   ,, [ 23469019603100523033401996535745326799687 ],, 
  [ 8732029135398901695440329646887887 ], [ 2171391337171264993 ], 
  [ 751245580617710641 ], [ 103713872783 ], [ 19204997239121 ],, 
  [ 173191195732799150645122272281778883517138572879 ], [ 1595798879185811 ], 
  [ 70117209804333861126172305612975628523 ],, 
  [ 1291836715997391923273540372714120475494464347 ],, 
  [ 182574517115061452449 ], [ 4979914524681167669929 ], 
  [ 4271540086306261 ],, [ 16791494571750059320432618878979 ], 
  [ 1404736167862147249 ], [ 12722218391 ],, 
  [ 62752842913612440089161163911317209556127092807 ], 
  [ 162107108175108268537 ], 
  [ 62597612547741991326066635991975463102557087
      278018573246252254569027453547 ],, [ 54756261747092291 ], 
  [ 241829605485075721 ], 
  [ 275017811171215299203511712525861623069904158557733 ], 
  [ 102182352778859669259050541 ], 
  [ 73516261589118272534571103898581855211500141281610894378299 ],,,,,, 
  [ 67640783548507181417456489939108142237692049779061 ], 
  [ 123368200331439045511 ], [ 1125300779 ], 
  [ 1849417889371734698656389853232173 ], 
  [ 631237750922538846150431708824569505373 ], [ 40993853738346192601 ],, 
  [ 3116571193 ], [ 35893229845455929773 ], 
  [ 17279591414383373326122070658937801722475018846987 ], 
  [ 2009860935372062663251344454819941519801862983817943848151 ],, 
  [ 398585683343 ],, [ 549739710607121704659076417983120341 ], 
  [ 42001198361514091361 ], [ 644223625291 ], 
  [ 66159734475673034366277597400649343 ], [ 95420383623223980019 ], 
  [ 1968206871949849757210288809 ], [ 34818338228840051911 ], 
  [ 166835418978954844996140578607717393297306036906325033721 ], 
  [ 24389155522865231680986545293856448036784470231513239189 ], 
  [ 167366966909205043312239072419516341299198849 ], 
  [ 2919130446666059761294293300803365661771 ],, [ 342442147992634327457 ], 
  [ 218345080649 ], [ 10059743824757251 ],, [ 3829201291 ], 
  [ 15670003139496642336127294925725477867444907800998209 ], 
  [ 59077203786118696792701846923503426171902060049 ], 
  [ 5482784251130761700579777 ],, 
  [ 266669142408000172496504599736902293201036501 ], [ 127030823527 ], 
  [ 3722513257958887801735676997981320426691687601 ],, 
  [ 313708690777112065919856929096030372877488281
      24681659601005446566246545533373772497 ], [ 5616152431 ], 
  [ 238113613773024833593766041713447783478680449039983406098337847 ], 
  [ 332723198314946407554157 ], 
  [ 7343873817136370956320605331610488928684581 ], [ 8915907122233 ], 
  [ 9468368981512541186819454338797927531385554552229528271 ], 
  [ 81195598459733923353233745252609163541 ], 
  [ 109418066546947347977297011014464602010284004551873697 ], 
  [ 6463939617445561852237274909228969 ], 
  [ 36500524574724084980526050749139102477 ], [ 78107733611207240411 ], 
  [ 1058587697439659265715412888661 ], 
  [ 29670556826899547792845199716123778045568439700711 ], 
  [ 5925465166675453241911 ], [ 2115178173700873 ], [ 14533359839255161 ],, 
  [ 2471639237140315132130945389464531 ],, [ 1901215265701 ],, 
  [ 203150361398504563343469245869111811063042387 ],, 
  [ 32962092744972727256128091903292774657 ], 
  [ 1032005175997786952869690240126171518800750092255251 ], 
  [ 300460271411 ], [ 965066951777194303351240470051 ], 
  [ 63480375418696828736375975812544896938546756471718569 ], 
  [ 830365432683361 ], [ 525736122613098925758129212229 ], 
  [ 11925330313384585271492009966991 ], 
  [ 408499579693522362715806993104279666042406433
      909503645665711883734339379445598929074152487146328776797138142713 ],
  , [ 17025516250614043027 ], [ 14518551873731705526544461 ], 
  [ 5663105561122740222151480565662087821
      1771713237423560016092553262013561 ],,,, 
  [ 1979749910892313795469041038901499024321027729 ], [ 2418381460320421 ], 
  [ 1249398007729093238546821766514319011995872802897859 ],,,, 
  [ 212230940020785130624038822594101 ],, [ 41070632252201 ], 
  [ 1892614897 ], [ 1957180457 ],, [ 1222852021 ],, 
  [ 1351440677782429730991 ],,,,,, 
  [ 84431465284132333878618453365210046036093133 ],, [ 6821435238107771 ],, 
  [ 18688112076196081224938689852152000950725229111884636793 ],, 
  [ 967804856984579585161951 ], 
  [ 21244507328503129326624735320355421922093 ],,, 
  [ 26309315202921434642511361682759870891609
      949858746273461544826194298154431 ], 
  [ 9004850285551532262211895751425158098753780113013547752743301 ], 
  [ 12366177132852251459324453871999949934310913 ], [ 39163736509453 ],,, 
  [ 4265709033613352723352281 ],,,, [ 304730170992337 ],, 
  [ 448533412450979347233101839 ],, [ 1017604402937545373 ], 
  [ 3505149492334057834223459869123409 ], [ 244629765891305482718443981 ],,,
  , [ 35274748207 ], [ 378990672228871 ], 
  [ 3383699005475443211852700242947282022889281 ],, 
  [ 48826614178480051401740160061807027696784231 ],, 
  [ 228408444017736333652001 ],, [ 1594152364520677639477 ],, 
  [ 4237410707139221241013 ],,,,,, 
  [ 55325289581113661367428091150967121863390839574419141778308741 ],,,,,
  , [ 1115004529 ],, [ 8443462096963 ],,,, [ 4366733341 ],,,,,, 
  [ 4756351763109723254809137881228357120526146441 ],,,,,,,, 
  [ 997192880172666818760332897 ],, [ 322574529023139632233 ],, 
  [ 1153322641322755268132074408153961488938833359222135524507921 ],, 
  [ 81310957223 ],,,,,,,, [ 1024149510847512452256128489316139301501 ],,,, 
  [ 133843081764679750021301834162997 ],, [ 11254295751654913 ],, 
  [ 26886321643148991768256110888204419 ],, [ 127832026661173898593441 ],,
  ,, [ 53245395193530872144177 ],,,, [ 13589990404577383459898715293 ],, 
  [ 585381972632671 ],, [ 317961769588225058033 ],, [ 9603368840647627996157 ]
   ,,,, [ 2835202738169465973329842997914995531260997 ],, 
  [ 14337474237521 ],, [ 40298881471 ],,, [ 50926000214703527168599751 ], 
  [ 93729592871325083496274981 ],, 
  [ 581777308811055695248748939186089828750629441
      29453376451788265444650942242401 ],,,, [ 880849898544426692333 ],,,,,, 
  [ 102700223953 ],,,,,,,, [ 13060674357877 ],,,,,, 
  [ 15533275693020296032186094186856081141685899493701889 ],,,,,, 
  [ 168108083179 ],, [ 2523674368165218559286721 ],,,,,,,,,,,,,,,, 
  [ 1593532225219378235634358659783713 ],,,, [ 569312417581 ],, 
  [ 516658664701 ],,,,,,,,,,,,,,,,,,,,,,,, [ 2514800137483 ],,,,,,,,,,,,,,,,,,
  ,,,,,, [ 478914394764115736985285859241171 ],,,,,, [ 12766077300241 ],,,,,
  ,,,,,,, [ 19691797273250473821673371686626610530401 ],,,,,,,,,,,, 
  [ 1886716409594941 ] ]);

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