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  brfac773

  Sprache: Text
 

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

BRENTFACTORS[773]:=MakeImmutable([ ,,,,,,,,,,,,,,,,,, [ 226615076929 ],, 
  [ 2238281318281 ],, [ 913330927460160524315588920594426146871 ],, 
  [ 123751515499751131628684370301 ], [ 148908122912459 ], 
  [ 20744415737472573315009857 ],,,, 
  [ 102198165152668936778554128593100903816432529726899183489 ], 
  [ 6067693217 ], [ 13687987513420323202133943070181733 ],,,, 
  [ 4786204586077571893469 ], [ 469510644542911711 ],,, 
  [ 4382685161621437483931780452181 ],, [ 5308793219747684564456843 ],, 
  [ 2407562164351 ], [ 227224316117 ], [ 199381577710682327 ], 
  [ 8869310353 ], 
  [ 126188228994532495290020456418542852776464463910156290453201 ], 
  [ 26471715919451851 ], [ 74674966685953040830026090459139 ], 
  [ 9467262137127424033 ],,, [ 4414907221535510551980569981 ], 
  [ 9379719569370529 ], [ 3520731253644806028908315575843693858978269103 ], 
  [ 28166105117 ], [ 49833828759981781 ], [ 28938713748926218981 ],, 
  [ 319757313365056065011693441747360137955467283617 ], 
  [ 1807241926459072835805649602752634572962372411 ], 
  [ 11050997446019550913 ], 
  [ 1323887219071502364587225365023965961304184711351147080248918134155781 ]
   ,, [ 22274156566113799652435339171914092176517643063559706226277 ], 
  [ 3451992138157 ], [ 319776258709 ], [ 11540187160611557268926046751 ], 
  [ 613078267214283371026836704981098291019782960962541687
      10571926246790036721528062412139737598522698310231961362594130372469 ]
   ,,, [ 1149857285540525123 ], [ 239156769751 ],, 
  [ 19753201007561269919778806716277658525633177772245286481891 ], 
  [ 4912884262273870228096922923526411921 ], 
  [ 43178516515055179981185045652425074231129429046135214391 ], 
  [ 36897048017382826165201 ], 
  [ 158913543728969923792024942666591809114811565595481
      945180838919640106001503 ], 
  [ 27298575621184982472046174809535235027162471 ],, [ 495874905709 ], 
  [ 1970025791 ], 
  [ 1163656011971029273200745445287433105370469600412202966183 ], 
  [ 258337153561957799437935358924435605698714855791688455184603 ], 
  [ 12063921819137 ],,, [ 1337995828079 ],, 
  [ 2889525781143913408912652622019 ],, 
  [ 25340056991557546591565689564673482941 ], 
  [ 970443937931961894734004031817276120133801984641 ], [ 3586603887959 ], 
  [ 99891699891147532652644728697887471
      9462489026199357463445202852868481233 ], [ 9917181265267 ], 
  [ 1487745492343281625858182520140355236405904636342141253359701 ], 
  [ 1677729526318138666958298391968833883334696969629134816618911670533 ], 
  [ 136664888048832103 ], [ 70051716457124428561360631274093 ], 
  [ 11597288937858201312562387110944017
      4063523802277592418560364417055148101199377 ],, 
  [ 2398382919973291728016670468912575493132987127468503541413101 ],, 
  [ 11123464321 ], [ 34991802743045538883 ], [ 141470659143210145735021 ], 
  [ 7621872688921125607490060051 ], 
  [ 15301653137572896819031168817225191593517217937
      24778930767812469813228556580314481 ], 
  [ 144325829930713147235483899721 ], 
  [ 11167530741829152806374722878029393715867263 ],, [ 134198668246721417 ], 
  [ 4751655316316830788902371967821104946062999 ], 
  [ 7220584729340028380078593140220381656581 ],,,, 
  [ 2543830349131618694036347 ], [ 2968187685730779736937640710141 ], 
  [ 11955865496010250265925072337477833
      1508764330482114073571883280304259824796809 ],, 
  [ 2924536290003406468519106380195210527525697 ],, [ 53237500692735253121 ], 
  [ 1072409509257900222579497 ], [ 23989849019576629141 ],, 
  [ 659053452679883534272518243915436261335139329408361 ], 
  [ 84023675522216249 ],,, 
  [ 219641923108125308190632704466025457
      2796409900757839189462617788747233032311054033
      11519604391302922586108310583558998420165690751817 ], 
  [ 3291748693031273451247316186610721951 ], 
  [ 27839205389541182670417443079960217
      16737368295369853085567027806338519583019779 ], 
  [ 189874111351544695616494785787739052954176064102463371437603 ],, 
  [ 537715664478654268032086885681304902435327 ], 
  [ 95463189171418636387713963330712917383976799783
      1326419301632495262621944702728339799463773 ],, [ 17921871966961 ],, 
  [ 16777214388735054370557115764543
      4623468046734974761659620156068201012671512206649 ], 
  [ 3090515652135872992164111352307434448786283346173 ],, 
  [ 451255291127861242350626948227 ], 
  [ 1410989910088551210145074999759740804641004201
      367294627025653378640976451 ], [ 594957839528071 ],,, 
  [ 3172303994875754752475792579528697533568181068823
      1807044094720447041248232157457462630739137 ], [ 8880175061 ], 
  [ 5261322675102175445497729421839740909081153
      5760559872744320813397451915710215004133 ],, 
  [ 36557619103916697228679171770381998626223382038456707749915249199 ], 
  [ 6521453053182566916401 ], 
  [ 21625264883515525595366440961461280202186291818468907864937564641 ],, 
  [ 19314037952017418772548547661860296149
      14871576671998268965740665940379553205452611802497 ],,,, 
  [ 12134026969 ],, 
  [ 28220528295139925938282599644011060481
      9413921128633554990539728269658234873 ],, [ 1662959876459459922720661 ],
  ,,,,, [ 3955982801127356443262413430870539366161190948817867617217
      1217593725402112267934779942186971761 ],,,, 
  [ 50275130604414688261436896311823816987184930081 ],, [ 5337291509551 ],, 
  [ 172692059333634729267910087393 ],, 
  [ 718099292834249997529671635466539802199724596484255363 ],, 
  [ 117795895795013135697859646238799184004238221 ], 
  [ 2969485200365794237 ], [ 3984529418953212761 ],, 
  [ 6316173676979141459204055387933402689543781140878372341986772417 ],, 
  [ 180667780099231231911444201 ],, 
  [ 108060223338294741658803468681322475143710610984633 ],, 
  [ 768582523387811931018815147090731513389601499 ],, 
  [ 10285422360340831801 ],, [ 80417008387947667 ],, [ 9827076245113 ],,,,,, 
  [ 217758183301443758258189681
      343201308893377089128800726515366362594285521 ],, [ 388525798109 ],, 
  [ 180807005999749935823848701793645863 ],, 
  [ 27849442897802952957934912643633 ],,,, 
  [ 5430807581172028711526799287099721 ],, 
  [ 302120201728434769610442443275420807223 ],,,, [ 9109689587 ],, 
  [ 478900484160001 ],,,, [ 3565111775168681 ], [ 2095510500901 ], 
  [ 3228375590652431077092445337378471 ],, [ 577089464275371209 ],, 
  [ 6391014239141681902075291518354792647852029081 ],,,, 
  [ 6814949184130363 ],, [ 1024754401319041 ],, [ 98421170269 ],,,, 
  [ 5038505860087950173754694722953872718989381751 ], 
  [ 239160086178747467730157781 ],,, 
  [ 267337882734595310718192491253629251974868883126371119 ],,,,,, 
  [ 2918354556011301039102341681 ],, [ 6751179583 ],, 
  [ 76059259596898871569 ],, [ 26154426845211253 ],, 
  [ 17973571153400041335669 ],,,, [ 3014308897 ],,,,,, [ 292363273379 ],, 
  [ 370615140016693259720123374238612201 ],,,,,, 
  [ 40526010373431217211114325207199652679669214320692936211173719637 ],
  ,,, [ 823163639611 ],, [ 112310208126086110833100401934629099577 ],, 
  [ 565842219437419 ],, [ 620455048581961 ],, [ 1998049933007 ],,,,,,,,,,,,,,,
  ,,,,, [ 461066694619942349755027162529 ],,,,,, [ 1145211925393 ],,,,,, 
  [ 716005599936117101894777584060511 ],,,,,, 
  [ 30959824765633525893339308563409 ],,,,,,,,,,,,,, [ 12526552160851 ],,,, 
  [ 1564503761761981 ],,,,,,,,,,,, [ 5035589773 ],,,,,, [ 1110183759169 ],,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, [ 10637280937 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,, [ 650187810167043871001 ] ]);

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