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  brfac200

  Sprache: SML
 

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

BRENTFACTORS[200]:=MakeImmutable([ ,,,,,,,,,,,, [ 1947710857 ],,,, 
  [ 17978270543113670551681 ],, [ 55901904577 ],,,, [ 35305951518293111 ],, 
  [ 193041081735509153801 ], [ 4256106193 ],,, 
  [ 391025119343549194685550666674321 ],,, [ 162123499503471553 ], 
  [ 55685919647161 ],,, [ 23683083301 ], [ 267597589879 ],,,, 
  [ 54899627137437315434858452571589896875904595097223 ], [ 8303800849 ],, 
  [ 247384940062559641 ], [ 30655064642325751 ],, 
  [ 108689358325701068460477953173552987178257 ],, 
  [ 1777735630677591334826196782671615223816189191 ],, 
  [ 659352327130031175396973299987527 ], [ 3803211569 ], 
  [ 40394557931391457393788105592281561 ], [ 45454196198107 ], 
  [ 15952954119891849877081 ], [ 15587965121613687929484001 ],, 
  [ 94630512497521117991252616886979 ], 
  [ 241515395536809440987115112626285785719807622968555751200813327 ], 
  [ 1748413561 ], [ 453910283496072117408227959703960279 ], 
  [ 16375173426671496123768088807011031323 ], 
  [ 42563006189249972143378656871 ], [ 73127269249 ], 
  [ 96978088760543115518893039801 ],, [ 2266401497 ], 
  [ 5206756057534570259812545958995553 ], 
  [ 17782985467126325963577592567695009558846306028439 ],, 
  [ 91110070539799 ], [ 44224810329457 ], [ 219524323415406337566449 ], 
  [ 838755161772946081 ], [ 2636733936484840017601 ], 
  [ 1212461137331373936738261874123901548210745072968361 ], 
  [ 1458063296902555729 ], [ 1105431601 ],, 
  [ 675285286402004756813788887351636722582865601 ], 
  [ 138720379698675860419914394711988234101118022449891300625854967689727 
     ], [ 13118119925188935341992962276857576527141320728772897 ], 
  [ 68298849096432049924271 ], [ 5053865797196899846529 ], 
  [ 59804613311560566380908994071 ], 
  [ 607752873430710777214723260369960767131 ], 
  [ 2288350716730752915524445115826237384780608020440284848651061298289 ],
  , [ 18034796758871 ], [ 10538846097011460091 ], 
  [ 469885055641114191426744880031 ], 
  [ 2133137476134117794212837718310740741551734977297241 ],, 
  [ 144276997104619054657 ],, [ 3983566914951601937302876259563226947457 ], 
  [ 1510049536375321 ],, [ 262435663401803497 ], 
  [ 4078663283106014509516011029075701231153701 ],, 
  [ 9350579152273415539557869291 ], [ 51093248881 ], 
  [ 184609961806749900112077569 ], [ 433240561035679159905047469414550351 ],,
  , [ 8861087068218162681376304292617143793 ],, 
  [ 5318191585383613169801966055961926801 ], [ 203421025496884969 ], 
  [ 4622314160730396929793645990172289 ],, [ 5447338757203405201 ], 
  [ 1573428482231 ], 
  [ 1283062417726409032002637083001745942208955064478501779381 ], 
  [ 112632268339311831634831908599 ],, [ 2455720177 ], 
  [ 6318955006926921611785456663503367166801 ],,, 
  [ 7306320124485167269349071 ], 
  [ 1186867489967306615357918937288116981901229
      17259510414910074629843115753766097041 ], 
  [ 1944434830385929564267517623367229993461996633751 ], 
  [ 501434500256861232983101507023332110049732897 ], [ 19461552391 ], 
  [ 233461017744575782416091941243137141920844076336625689551208397569 ]
    , [ 1324314309735039665852890201187182697 ], 
  [ 36912064037197768429884919447279563766959157846990551017479601 ],, 
  [ 1033330264876927619843877257796684521 ],,, [ 5573499555961 ], 
  [ 566000314733960823616496975041 ],, [ 1892118105118781451982078435872979 ],
  [ 133829814103 ], 
  [ 183765505014399735514496184171542121075003877219690061 ],, 
  [ 44069260126767074616740618910998797087275947622003 ],, 
  [ 337605455037207157649281 ], [ 4869393677212918965094896951 ], 
  [ 47268473187205405611379 ],, 
  [ 428454801329222915622212435806955274365082870693
      929116157781975640150193091047610973 ], [ 3806171716393830172700153 ],
  , [ 1092601010144341903 ],,,,, 
  [ 1027842082810794413775913102590111182122229 ], [ 714951458767399793 ], 
  [ 40373642646721 ], [ 2500007201071 ], [ 16795515780161 ], 
  [ 27618837449743 ],, [ 8484565145251919695667027372880729 ], 
  [ 339995747150455748640659857987091185194301046466147752397129
      276350171906262227496595494927720242000769901 ],, 
  [ 6418017593260180316763345776897851961558489 ], [ 20976677854647073799 ],
  [ 3559899845461682336513187974509635841 ],, 
  [ 124778796415844560437145395931381075775611 ], 
  [ 17999353991541814424011217441 ], 
  [ 157203594767864262108900830331266515969
      178690993203520257005795314360284960037866621479138003633 ], 
  [ 1337798204922485087839155657414321 ],, [ 2085049929061751 ], 
  [ 1124972252852814248138051691777 ], [ 1782342898439023 ], 
  [ 343821162542311033171180308310552743893169 ],, 
  [ 76622214611247212773649109392895466644401 ], [ 20702696617683097 ],,, 
  [ 489999177431227441204199043414430709009 ],, 
  [ 130318114836169186797664239401 ],, [ 1155152653 ], 
  [ 175910236111273221728666111 ],,,,, [ 77530376699 ], 
  [ 5210794670250126361 ], [ 54699432402413 ], [ 66989792210839 ], 
  [ 322003281727653617545049 ], [ 9256543463017 ], 
  [ 1643955030372013690863340950032801
      260576578440014852102148458869376243201
      27733329588418554027497045293907315960392899715201 ],,,, 
  [ 489384946800397112220680431931733650965697749675064336658362130117 ],,
  ,,,, [ 619358302016371 ],, [ 1410685630115895601066993867742113685333 ],
  , [ 1310871059104518436183527447073667 ],,,, [ 111415740187 ],,,, 
  [ 96495071636766711388630169588657 ],,, [ 437310685351 ],,, 
  [ 17467387229366617121457131099126396937381446816793070081168935575289
      16322304357465091757364598776079166645209 ],,, [ 7349760727 ], 
  [ 4377325082497 ],, [ 379988637211 ],,,, [ 352357343223050257 ],, 
  [ 959309508218401130337488070271841144676156232728926721 ],,,, 
  [ 25968445177 ],, [ 2855847748499512939561472913601 ],,,,,, 
  [ 45742790536565896388911385856641762872798995731314292214248021
      23767557228740971568467267249576768008642829 ],, 
  [ 3331461813076180561486707 ],,,, [ 431264025261073 ],, 
  [ 94660854823319577781243097967250647846956304141
      5367630988373606661178091754615528210717084155075681109098241
      10375565879589980184765152856157481 ],, [ 12551516363 ],, 
  [ 713822841729677940688111239097714398616613409 ],,,,,,,, 
  [ 2462301761143936819415713 ],,,, 
  [ 2236733084881249095175728529616286610063465284915399220186321062229,
      198157962673059502364149206603565245959267730761505491489132086671989 
     ],, [ 351435764236193305297265262686481 ],, [ 2411805218694245320241 ],
  ,,, 
  [ 10947764287314945990725020125462705566710768677
      568750939515519401460349 ],, [ 183848856543067 ],,,,,, 
  [ 519048231148491551496532689089948613 ],,,,,, [ 11914759284091 ],, 
  [ 195499980162282515114258920152234894832996655706501
      19325071658979817280528401130934835234149206386790010305016063594401 ]
   ,, [ 402348781886044115886737923311393 ],,,,,,,,,,,, [ 31415387662003 ],
  , [ 1956387619994836979303494689674466537 ],, [ 271573213243459 ],,,, 
  [ 21185043678450271201 ],, [ 3275612427717947403325610204141 ],,,,,, 
  [ 2883558777174823146762761393071775212491 ],, 
  [ 450574980226920902899185778676889 ],,,, [ 170976946579415740999169 ],,
  ,, [ 4093270541 ],,,, [ 257448705601 ],,,, 
  [ 38084255242035373895698410234713 ],,,, 
  [ 2298222453135489835633490572888758926984285697 ],, 
  [ 17845316479631455795215449963 ],, 
  [ 132296582539501218113718428119380777 ],, [ 79361022931106651140971 ],
  , [ 268952917010411555113437330559121 ],, [ 27499319539649 ],, 
  [ 250171951607479731011706450879149481 ],,,, 
  [ 6622218881548289241016351137 ],, [ 1432675142264804051 ],, 
  [ 203437434901225393314977196832731878070693 ],,,, [ 4984174033 ],, 
  [ 6900332544180345367929737 ],, 
  [ 110041285893433811269431883874278861830761 ],,,, [ 7682109709506049 ],, 
  [ 4914508008885067 ],, 
  [ 8047025090632153721447257291770432492085982687537009280189 ],,,, 
  [ 19112966744380321 ],,,, [ 9387574185473047098950312970192880001 ],,,, 
  [ 251496667591960801 ],,,,,,,, 
  [ 547552972913272346897111303917979684932497 ],,,, 
  [ 14390945777660705630873 ],,,,,,,, 
  [ 28591606875804119534711094381910134276887686286347418056581 ],,,,,,,,,
  ,,,,,,,,,,,,,,, [ 77220285683412418942591281133409 ],,,,,,,, 
  [ 376543605614789852848294933581 ],,,,,,,, [ 101223511629481 ],, 
  [ 3900134217673 ],,,,,, [ 1210903650419158973815554647184264334109 ],,,,,,
  ,,,,,, [ 5439791041 ],,,,,,,,,,,,,,,,,,,, [ 609661866001369097400683001 ],
  ,,,,,,, [ 28345428935470365101 ],, [ 22332518274212131 ],,,,,, 
  [ 161028199942849 ],,,,,,,, [ 52862790731835817 ],,,,,,,, 
  [ 1073140877332753649129012116804937663822049029 ],,,,,,,,,,,,,,,,,,,,,,
  ,, [ 295032192574949 ],,,,,,,, 
  [ 169610394611377921896534312200273379949869266304464212729407313
      278734465988866569421 ],,,,,,,,,,,,,,,,,,,,,,,, 
  [ 4289974501288721481081899737686159678905132988834926413184521 ],,,,,
  ,,,,,,,,,,,,,,,,,,, [ 30867737061869569 ],,,,,,,, 
  [ 105261712124811470625716294944676120305163652907949281 ],,,,,,,,,,,,,,
  ,, [ 3054326262056053 ],,,,,,,,,,,,,,,,,,,,,,,, [ 27405196194208801 ],,,,,,,
  , [ 104729774918747850193 ],,,,,,,, [ 13830236691918374433 ],,,,,,,, 
  [ 408590794009 ],,,,,,,, [ 108653556533386205787781210396293351711569 ],
  ,,,,,,, [ 19664062779901 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 54299399857195434017717747845049686031372087631287036489749
      11705259119499663649 ],,,,,,,, [ 105527922189932681019404220936541 ]
   ,,,,,,,, 
  [ 306495221576860734739717230359309422918297612555878641192909
      83717625805569991921577 ],,,,,,,, [ 1063833598938930099797 ],,,,,,,,,,
  ,,,,,, [ 26484667409 ],,,,,,,,,,,,,,,, [ 2007797426907903844417 ],,,,,,,, 
  [ 6142000108166809172227038224598812704922933294389637 ] ]);

¤ Dauer der Verarbeitung: 0.14 Sekunden  (vorverarbeitet am  2026-06-05) ¤

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