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

Quelle  brfac62

  Sprache: Text
 

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

BRENTFACTORS[62]:=MakeImmutable([ ,,,,,,,,,,,,,,,,,,,,,, [ 1498683775957 ],,,,
  ,, [ 208674785543017 ],, [ 14227625971784110009028459 ],,,, 
  [ 2037355633053573214411 ],, [ 522479053371529080187 ],,,, 
  [ 256738980771079348012317 ],, [ 32150769420476333670908554141 ],,, 
  [ 482528113723548081169 ],,,,,, [ 5149601882019401 ], 
  [ 11472153287362766680505846294042649 ],, 
  [ 352950380666994125494602011947421 ], [ 1406575633 ], 
  [ 5091519871103611836292311829962802601393971091781212096729059 ],, 
  [ 416346224106125980339 ],, [ 101762349532153102712329052147 ], 
  [ 1439095755817 ],, [ 137160895051425849601 ], 
  [ 700295947157331681109821589178502676764858152353346742238668881 ],,
  , [ 17984142039029887848389 ], [ 83511536971 ],, 
  [ 362334076688874025723238173224132440507920836331906121414643 ], 
  [ 2702358280698841 ], 
  [ 15002131527760627161296581959896690520970593335047052981261413023 ],, 
  [ 63521791686537873901 ],, [ 1646755727 ], [ 22769652960728604466611449 ],
  [ 30686576987461500487973123135869322306056849095584303918347 ], 
  [ 702756123761 ], [ 39637443342413243144143 ], 
  [ 69357692355601940520143869 ], 
  [ 5084763363789669320248131476703380478768485774598013902236094553023,
      37625952989032573239059 ], [ 16610041572588876473 ], 
  [ 127040980157119921820327481111405584388625697567090631 ], 
  [ 3617753307580187 ], [ 162246686977 ], 
  [ 36517397171331972876785532048134744972273 ], 
  [ 13199053338144175145770349341022854370850822171851671
      391689826574751425603556007989114787347055415598644147515432551 ],, 
  [ 742904816473176914849824623356348246013240927629
      23020378940434005357683 ], 
  [ 1767923421312188921573543755744729949975953 ], [ 3664688215777 ], 
  [ 661935645499697587 ], 
  [ 16993401522924713063690857261312799659893503399884878017911638621 ], 
  [ 18508563649 ], 
  [ 41901488059961379986589824520988053182718866828828589483377175805464121 ],
  , 
  [ 1922666530850209128393315099563363543
      292377595463612375537753400744937 ], 
  [ 162877110137856232011997354998140701 ], 
  [ 
      382080092358591833482161945616330330633636021376442371288726187147509301049\
7 ], [ 1944524766733286189728779413 ], 
  [ 1082641920330336717150651439179896327 ], 
  [ 143016744139125426527383848217954815362339741190849
      60805808465796161 ], [ 27746778691396333065598501 ], 
  [ 229728659125376928204499649137957 ], 
  [ 548496248064397702239830987
      3419839886153080498114654569543789875253900385303123 ], 
  [ 5904180951915310990417 ], 
  [ 2245702029778718320791345249574149588831
      1350001473172528306429120579699961
      668554088338002180790819058335389567796132016123 ], 
  [ 199405939766498851 ], [ 1907326897455356094073 ],, 
  [ 33714002298404965862953072940646211261
      46049541465788017120255084609608100141463 ], 
  [ 7292983741261536121433441620469 ], 
  [ 933522924430311074474915402246297472861 ], 
  [ 157613221837123406799572248847723661047970805220221 ], 
  [ 1896892333438085112266180688811770385506157619
      25120634676207057184461982849 ], 
  [ 179184781929556287890007143907540598789283 ], 
  [ 355829278131383990038064047987 ], [ 831768292830604542481 ],, 
  [ 6068357227 ], 
  [ 4230810508316820282834669345703979
      156382840900607340072953126831334329293 ], 
  [ 95230895963531700279110415342045975115440696141373 ], 
  [ 2428440288751 ], [ 233173577696116807301995277816819231 ], 
  [ 47758529911391159662091680342006212585697
      30265953141039295581046558460787585572336615233
      2045059215734849060233192964545345712335555722933273281 ], 
  [ 496110207233 ], [ 6211029650133317212432732295713762228601477 ], 
  [ 1439106922902522842484110155444391 ], 
  [ 470371559451870190950726938136944944743468516113523
      306261432934075439217518591957203
      6242042086952802989398684086197110753506087480380287 ], 
  [ 63780055450291334865259626529 ], [ 7612459278184784400724932049480893 ],
  [ 238181896118874631502446507 ],, [ 112325460754778202756532168878097 ],,, 
  [ 1604217359399 ], [ 16478177813793385891741881 ], 
  [ 9224492413481765869457210242665460103612989717583262469849
      477556470233854756141 ], 
  [ 17804480662997871943604701430151159850525844393531639 ], 
  [ 5442699258004900120373 ], [ 115266659940012411163022833073 ], 
  [ 56500834754011 ], 
  [ 86752070770418407654323135066717951113666080117346530964816143 ], 
  [ 13538920453934232127210192117
      562761455878601411783331486918846445217928037 ], 
  [ 2378776885830520001883557070375567521 ],, [ 275821410175493528801 ], 
  [ 912623603344613 ], 
  [ 22268573674034894901753958554144998691142800447494698874504184649724609 
     ], [ 7321828208899421666783804383 ], 
  [ 194457030112653107153312612329335902807392056883401 ],,, 
  [ 1046621033 ], [ 115072042568909299 ], [ 61498633733959 ], 
  [ 235931669921 ], [ 5036999311 ], 
  [ 44723293315793981214013922413536504838656150599 ],, 
  [ 20398269390189957799204080830318746560753874789921997256573421697645749 ],
  [ 134471558539617693571603722290261410148939108994092681
      870301259405893339864836843187967862721 ], 
  [ 52989101729106515210194439549011743601759814700709914859318170898063 ], 
  [ 1949193806413557263199092855433853502911335911437640143
      3272001839882415487987949276815832712968741446834830010629461 ],, 
  [ 114564690950711 ], [ 37013319838145451148965342603785856169054241 ],, 
  [ 4470678442555246578787475927719982609
      30184606666298386369444337489300431093607810257 ],, 
  [ 4155586132799343243054755452703485693 ], [ 1297283579551 ], 
  [ 6767927475971368062139138176029681427633371458198017
      1080857497075862150589680930924683475965169 ],, [ 51085908509 ],, 
  [ 22867459213410666458561212734293503828655908161 ], 
  [ 133695511717625192447807429 ], 
  [ 317450525696892148852019260280028020337411844687784445501
      54078226680081434033500631244577577 ], 
  [ 1547703977798560207181748141076528698026757119 ],,, 
  [ 12750376633129080752135058306201119 ],, 
  [ 34502230958940315230008031841
      81550648843778789753175629486898609830573 ],, 
  [ 10327505293540041720675696014589893874977427442639139641 ],,,, 
  [ 1706664589489 ], 
  [ 267996914356249347022362060190832110830820801
      331173839200018074308222554852835580314425619433586096766881 ], 
  [ 2528238151433378614585532233 ], 
  [ 34777099511761235301918925308886561702739
      3857353492966439909044188277 ], 
  [ 1127318440248170596032801026268225078280573429094502115511 ], 
  [ 93409031892138921930025516740893 ], [ 1205546895601 ],, 
  [ 5396809435832017805926317975013 ],, 
  [ 1540129893299695225227494600970111646510598213736209166421796215349309 ]
   ,,,, 
  [ 39429474082961
      476429426204790625426233629200592727771202605807617676688809857259656344\
3167377 ],, [ 19705539945949065611279760437453246508999791021 ],, 
  [ 972784747720436964703704964830499846803090047191926962733996635881
      2729467714830970097920709072817871050130202352130455444769 ],, 
  [ 
      722074289116494842374319821288945130786398444528814027671944374612179067572\
7695375487460983 ],, [ 1791438784195291986241 ],, 
  [ 461355473617418336064806959921100313
      393593963786530543430781296309185599654487584838269637772747550656802962\
3270317 ],, [ 4932060645601555289086813261864734221 ],, 
  [ 550794095227995335182063757288124919052083896969 ],, 
  [ 2500890126393943021249 ],, [ 15280304401429 ],, 
  [ 8012262172320131989729251796961
      1131321813230599216570122647766143654672432281 ],, 
  [ 2488676131123517646192844017831
      103087201806817536713021859693459297391 ], 
  [ 16192523198631793336114665450710743440611 ], 
  [ 6272402668912666959169286639220283975583375810971147761
      428587873686013472134384716267361369801774715040044170810529199831689 ],
  , 
  [ 265838420597819148307266510204798157
      355534666535277058928506147463114197 ],, [ 653819194625089 ],, 
  [ 160074598276733009834470635953519494973 ],, 
  [ 43388648407216967998878611953742561681 ],, 
  [ 11032894983078909629369066070666992613860028418707083 ],, [ 9412823869 ],
  , [ 70003855877702937069038660210757326103613822179067 ],, 
  [ 17652440222205531660702513567793535953 ],, 
  [ 266174565775501269733585738948007015501
      95824010512591014793364201905471606428996307839078376001 ],, 
  [ 244552366934092494763300793 ],, [ 42779317541 ],, 
  [ 784417751857080367596289 ],, [ 9365276932280415128720255000788621 ],, 
  [ 863986812145284830874517882165968958440890505254040101 ],, 
  [ 1266668869 ],, [ 9378227906704932048355301763244401761 ],, 
  [ 342054265575980269016516414919283926337 ],, 
  [ 29985993803750894548078075028331633 ],, 
  [ 777714554025295914447802165618711 ],, 
  [ 179948733610388036376148225455366010413010120223121
      16346349065488322185937142716744614811441439313
      528602070583729638305887190686261285192328036497 ],, 
  [ 228034032376327704861708919039828821524764576314270888516875802351
      204499631461961155767963318664682114138330088002779 ],, 
  [ 34911472005758191338499191064233607381077554349430998094452965284229 ],
  , [ 377797009022755171953337301 ],, [ 6786093841379441 ],, 
  [ 3127773615738980591047510737936183181570578333173711
      38442798672541050322160451491907410974739483716159 ],, 
  [ 31673309868390585691830230508141713183926273 ],,,, 
  [ 13014418090228733829067280653599364689853534065425538387667393 ],, 
  [ 554338770119023323082133858654355210911144562742002441136023293391 ]
   ,, [ 5122300501 ],, 
  [ 116393648623339900880345474878886506344949357554638767 ],, 
  [ 94007686969846410097 ],,,, [ 55568213101 ],, [ 1450001963 ],, 
  [ 37929662614544513 ],, 
  [ 218479996489820707123824703918814393879299970320569368615514520723917,
      4907352643240891858925396613127564239494353 ],,,, [ 3679583441 ],,,, 
  [ 6596788026097 ],, [ 7409796410792765860040881 ],, 
  [ 4039986799115112373847 ],,,,,,,, 
  [ 6900090188628167288676614676662831069794265374677 ],,,, 
  [ 2044085774839042822399968998725591
      75372343106275664840052305492369830589734318261 ],,,,,, 
  [ 436860410569501283755300134337
      7027983671627094670478641874301835090367478555662406658657 ],,,, 
  [ 10375379267673401 ],, [ 44020247851 ],,,,,, [ 88220511517 ],, 
  [ 47191628952871901 ],, [ 2274173390369 ],, 
  [ 3152309182950068120519659490338342309127340776073 ],,,,,, 
  [ 3812854308841823813731335869711691871507793017759438770892389514121 ],, 
  [ 342547015589206424551886459109688960631730307060339039911
      155114598214297648645003 ],, [ 816815174449 ],, 
  [ 2029316647625287393111310707719 ],,,, [ 16652465266706383991 ],, 
  [ 8000581159322595977027779496337054005043033
      167030601903700442010876337963855033 ],,,, 
  [ 100440567238313915861893753 ],, [ 29046267307 ],, [ 24864986931031536841 ]
   ,,,, 
  [ 1196636928115439113250152577326041233187086277381249
      211417625741160293225453569 ],, [ 29232514559 ],,,, 
  [ 226887666708311866138086533619259947011141 ],, [ 7460823497 ],, 
  [ 237923361751748491911254809928455631217059217695033 ],,,, 
  [ 14088900964088623 ],, [ 49887876561781765601 ],,,,,,,,,,,,,,,,,,,, 
  [ 1875427448775257703901
      2763265691184570008951821630525379207684926332150197475061 ],,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,, [ 4975399937 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 32077312012211248552896121 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,, [ 196432036726694833 ] ]);

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