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

Quelle  brfac91

  Sprache: Text
 

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

BRENTFACTORS[91]:=MakeImmutable([ ,,,,,,,,,,,,,,,, [ 81274502531 ],, 
  [ 13312606859633 ],,,, [ 26146068341542504211307 ],, [ 9610757094901 ], 
  [ 1071254627 ], [ 350429590031329 ], [ 1952985469 ], 
  [ 23827156334694110637 ],, [ 4190196982043 ], [ 28504959521 ],,, 
  [ 45314117509711 ],, [ 54135056178538973886590735333 ],, 
  [ 9338829234767372107 ], [ 927249458321 ],,, 
  [ 1644293514794743547959983980709551 ], [ 2570030717 ],, 
  [ 487981440901001 ], 
  [ 10892902220974112454507306274465235772447209667008994666399 ],, 
  [ 27602680011318628076457931100891121127133289 ], 
  [ 450360496159645143740236999135801 ], [ 92804934157812559 ], 
  [ 199820821574857612741 ], 
  [ 399272724757394509111130813740478005749368999 ],,, 
  [ 41334359556019385865053272793 ], [ 9279415425881151364590643 ], 
  [ 267014542122441957981 ], 
  [ 238893289380581295030877301780387394013504550252930300543 ],, 
  [ 243890064592001102937071502534167326017 ], [ 2229587209902167833643 ],
  , [ 3078426328971515858847105409 ],,, 
  [ 56067649510324954312443384968544192232347 ], 
  [ 239044134734773913844209 ], 
  [ 34604227565087338471104815852695023202751 ],, [ 7548164634852713 ], 
  [ 2465703122689 ],, [ 151499878803120609916595673 ], [ 496475972401 ], 
  [ 5289007165193 ], [ 7881411071689 ],, 
  [ 27708180499277416556367197964829157 ], [ 5623043022413120583860401 ],, 
  [ 3608001090851249 ], 
  [ 5628309399793
      33702092282832834599469053656837175240422390028597394704278109 ],, 
  [ 4492256939334028879253798153391530891 ],,, 
  [ 93271939213831076732100201302604009480627097 ], 
  [ 477796481076076418976235662463
      32362355563484223064436800003780547097267826710200536545907860733004851 
     ], [ 4294800319321801 ], [ 812450839317207889628021 ], 
  [ 2387471146832870617 ], [ 19361294467 ],, 
  [ 96342234111214910650820394651 ], [ 3425257521223479413761 ], 
  [ 907786573651474741456154984377449986051293000687591780474093 ], 
  [ 1973477381415193908914896600393 ], [ 2863085425126226389 ], 
  [ 6301671995415301 ],, [ 230215117547552511469 ],, 
  [ 11173839790361135934159142111317170679362793009 ],, 
  [ 93919990593165564962923689602815558532229739 ], 
  [ 27738420995915162949308524157331658567256045610906664387473 ], 
  [ 160998554585119254183577 ], 
  [ 671956971797957910023710714004783556653
      774708449307069071849001576951883036529 ], 
  [ 47372522554831114912720752469514203706444211 ], 
  [ 64469110929871828362839162621547381242042417 ], 
  [ 1407877360859318302023186143801217 ], 
  [ 409025185518937676912135749496882980301978154395511941584723096489 ], 
  [ 41041688427344618251244832359033977 ], [ 368228776484135422327613849621 ],
  [ 33960398290692953343274543523476943798195457 ], 
  [ 1278076590191082223351231609729980217775249613
      451778669869433421475819 ], 
  [ 3446035516515610353291284752323310542981709659166541 ], 
  [ 338830333980364142505242543 ], [ 2563077379561123448208063466361 ], 
  [ 4227079583212705436253596476444425601681872898438327 ], [ 17833939261 ],
  ,, [ 328818637751 ], [ 14364749908458386939629 ], 
  [ 14128952879398339513313552507 ], 
  [ 94841378571262827566337138597468124714931388755127460670915785729
      249581554366319519739942707201 ],,, [ 1107322806613 ], 
  [ 20344444269795204653867162093 ],,, 
  [ 52955860432055413623933953408425015264813488286664255621 ], 
  [ 1788781001221793159493827956365118497039846399975129729 ], 
  [ 56996091875563091352143657894534006368262514154800289724077 ], 
  [ 41217173698458135898443309227623 ], [ 3030447143338180214299 ], 
  [ 3251431681 ], [ 4606816297493635427858046623920501948491611649197912447 
     ], 
  [ 51318746104653560275013745226718656938285038743096813925070081987738481 
     ],,,, [ 1230512481907997078572958579 ], 
  [ 94093115702958328122348357985490598331
      269117490918694738776547732339138953252979 ], 
  [ 12271034474892782977785629489775752252209661 ], 
  [ 2424103528152105165529469 ],, [ 298694523629 ], 
  [ 699919450974587721837731617995137 ], 
  [ 466272354010631896960370235798452715827498572290953 ],, 
  [ 2847080179984121 ], [ 29645394806821 ],, 
  [ 52486721779752170296474884981949474180377829452536623741342853203
      88976946314839273754386554429727 ], [ 608182405903 ], 
  [ 571327316995211091187982487121825222881 ], 
  [ 6834831096092388850084961 ], 
  [ 38360294033778043846136993455677754663161963480869273934109 ],, 
  [ 70564401970010121044513 ], [ 1778010859110030935281 ], 
  [ 355476787992541 ], [ 64299621691718230566090102784872105249648231 ], 
  [ 4910232397193109239849751457 ], [ 7472158502609590606018021 ], 
  [ 3059843642511529895332174495017231 ], [ 285875746633 ], 
  [ 230690493742594861752876041432126931402119154608064173
      219388810850371973401306585137875610713 ], [ 11931823307549749964119 ], 
  [ 82173626759151944722469301475925603671681627678632251518103093297 ],,, 
  [ 6268270213 ],,, [ 111557801077002893980735021 ],, [ 248639938779232547 ],
  , 
  [ 19125617863554649714026145400036724686753605822377949427953821162714581668\
1 ], [ 10884429268116737528651427121 ], 
  [ 173063394561099264932871877254845593867 ],, 
  [ 
      917150029730158172711346213169396279220049367099004835981697480888842404824\
822501 ], [ 5963063023503981639291570057361315118653843550917763625799 ]
    , [ 1137807113524127147760939152910819221910663449698220175732551 ], 
  [ 402061646916846919164722540277 ], [ 1245896848031800696870621226113 ],, 
  [ 29526807179 ], [ 303709545565770826561225939841459781694250591 ],,, 
  [ 569291009502750599839653050733577487064143 ],, 
  [ 1257479801117919583040140025701962401
      122213491239590733375594767461662771175707001 ],,,, 
  [ 13735893743866740226631924528759751967651581629117999197 ],, 
  [ 14744429813216130338534794836642152237186089 ],, 
  [ 10984724343465745149975935996049598473478884149294036365174993 ],, 
  [ 9276062696210959331544541253427592360188554183207081 ],, 
  [ 1694621611241121760578114603720477367459459216348186834536087921
      12855109192831151421365064603283690039555457
      824099999702450469165644107909618794140224081 ],, 
  [ 1390914152222827562618220667721035513
      2811679144941903286153162532326330832057636083159213547111 ],, 
  [ 20336174254729462569305802010769 ],,,, 
  [ 15835927636656229691629302377506400133521 ], [ 758961476989 ], 
  [ 36134659218751323529281173213003 ],, 
  [ 44768238239692931433198382405569
      44096360927883473387034336365713366028449 ], 
  [ 5111426340182982108956185451 ], 
  [ 29714990612489984461831876289269112704627
      27843200023087221426336644341118960483
      3900128674063844787629611187354749465312700528898190582387 ],, 
  [ 9439516787772675054673596654432617
      3621186537271373374041857125235171713 ],, 
  [ 3687901924621336040227317233594636094417085990499511 ],, 
  [ 7231307365369360551942345865278607130400852409649 ],,,, 
  [ 678000812911075951057 ],, 
  [ 1179735467622969377122416073826343033486320418738843
      2315661549510854806615276190472416423 ],, 
  [ 24283938616326864197480202366262788876905921 ],, 
  [ 3612585882106313091169132073991350657990709473771248079
      2040692733767184870354150894107358959459587 ],, [ 145031836613 ],, 
  [ 1779222941829980629 ],, [ 377309930424439425814409 ],, 
  [ 9780638600501184886466400012291741520581630717094544001 ],, 
  [ 146575568129850357131569296526686771905816669
      281971155954491151599482281448129 ],, 
  [ 177392084305922130400472651975000765105499
      1550477875602792374336999698869103685052422557 ], 
  [ 16562172830881400719412005671944383091 ], 
  [ 37248568336743419156153932992269381959625275768550024172801 ],, 
  [ 14729990011749882749518627147717770103
      43492189986728690157400033640448931293423361518289 ],, 
  [ 81274140950341 ],,,, 
  [ 236583336161846968481180469621733212830217
      101384942614917811765931842414313779549057 ],, 
  [ 157952487461511837111215172010477320965940587911165379788139 ],, 
  [ 22012161049739209927412308305689239249 ],,,,,, 
  [ 19239846533718667131309 ],, 
  [ 236681868140883783331014230724713757105448430821902577813 ],,,, 
  [ 3222045121101701936011318764590333157196213845637285764361 ],, 
  [ 791430571991717933006596814777792753495374597617167 ],, 
  [ 1496380891387279694236521 ],,,, 
  [ 177794054183871825017109702049
      6664869840529028771667032097004421238360823867489
      15831727961777965416158385066166812997752985453921 ],, [ 329794368401 ],
  , [ 2819642521 ],, 
  [ 19418505413354684684807790747809538149089
      32152563135860169754209484405871500445243024981617 ],, 
  [ 189710597297843425526944141529249 ],, [ 4526873117115374197 ],, 
  [ 1339797970938813131264330101 ],,,, [ 182940664123329848144413201 ],, 
  [ 10699357812673338050953583
      2843307007379517361181029542285968322021706669
      219719708661361541440064012483836669908258748410403300927 ],, 
  [ 3868680509417156247214254822485035628353 ],, [ 49962136317391 ],, 
  [ 643802230559268457 ],, [ 30989843565427805136731 ],, [ 63350774189161 ],,,
  , [ 1980391104186881109023139511492249858561 ],,,, 
  [ 1027832561361649256284325852077961 ],,,,,, 
  [ 621225093027147117117192861922407753405063409876232889826264091 ],, 
  [ 25522003993568792227408497 ],,,,,,,, 
  [ 172342294124911605248785175220901 ],,,,,,,,,,,, 
  [ 188937091321250970625281 ],, [ 122224368613 ],, [ 1291161906173 ],,,, 
  [ 631460981881860636328413028005271934233399017521
      6685996122656590940120630668096213648427223459826031528557513921 ],,,,,,
  ,, [ 2703409697 ],, [ 2019492191544204578487177432250448345754513401 ],
  , [ 139762222955022676592164404252089 ],, [ 4314538196462314024696339 ],, 
  [ 1075264332735013605529 ],, 
  [ 428153985115596042777973171916200224606834590522547 ],, 
  [ 28204210314991541172287149374067080736041 ],,,, 
  [ 185957707009687354035642238274113409 ],, [ 155236444744643 ],, 
  [ 410833787198423837 ],, [ 361364991184510267679111 ],, [ 2037688129 ],,,
  , [ 779639685623173 ],, 
  [ 47635669577428661106626106140249097138040907117996095473648433
      366349434737594057 ],,,,,,,,,, [ 490244315292793 ],,,,,,,,,,,, 
  [ 11638762813778523023945124448121887133557943942171478174861
      4984017689883259914423934820411080310963149021 ],,,,,,,,,,,,,,,,,,,,,, 
  [ 1883152481393397011731526253267071018237176030665885388821533 ],,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, [ 4586445601100732985392895602081 ],,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 214074906318110858735316521337827098377233039121 ],,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 460666701175213713614747229196941977691013459266763801 ] ]);

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