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

Quelle  brfac30

  Sprache: Text
 

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

BRENTFACTORS[30]:=MakeImmutable([ ,,,,,,,,,,,,,,,,,,,,,, [ 1733583601 ],,,,,,,
  , [ 1085423538431 ],, [ 5829525967 ],, [ 7327690125113779424848911 ],,,,,
  , [ 3012431131 ],, [ 1070496971363806110126786600623517971 ],,, 
  [ 1982852173 ],,, [ 71761730340566743 ],,, [ 41441475557 ], 
  [ 2802794352589111331992062209914431198469 ],, 
  [ 813701450802919119031913911026141 ], [ 6353807261257 ], 
  [ 316011085610449051 ], [ 2184273529970454623 ], 
  [ 7583077905022163873396450207517914198139768945840610067863 ],, 
  [ 293576347161472985831959711811929227218224761617 ], [ 139086132517 ],,
  , [ 135905582691841400650121113389033862431 ],, 
  [ 26401568180223414517611257 ], [ 4045699582131727160261481 ], 
  [ 13778139144016785569740223 ], [ 1825230961 ], 
  [ 7357260409416410663267 ], [ 154589869729 ], [ 500606982978582492107 ],, 
  [ 1864857285124420785258851 ], [ 143248877419359399031533 ], 
  [ 287318044553720707997006617632632214873507338957197977 ],, 
  [ 1050944219653115446686087317466874114874098662910211 ], 
  [ 589750143841 ], [ 25065552102266095813611535125150697982861749583 ],, 
  [ 492473402286599578881876657824360415964211234059 ], [ 78825757964689 ], 
  [ 1072174531490803779684117510489050130363595481 ], 
  [ 33187577337197705392824941 ], [ 157378520197413997838119847 ], 
  [ 252778567915678303049 ],,,, [ 1917622267770443348543908273093 ], 
  [ 151775912594176844272134674363633107025250512489157 ], 
  [ 2348386754555590051440283 ], 
  [ 6174017074330181571560873664378318453826069054900550564468491121 ], 
  [ 17940767041 ], 
  [ 7374756353156384856979189260356203362557532959466841759
      1549925033223620992984607420157017 ],, [ 12003578912542933 ], 
  [ 399749616012441218904701 ], [ 7477880583756995608969 ], 
  [ 42840326829523 ], 
  [ 632841021359241543265898391441412260676945356578631898858572763 ], 
  [ 107081056099692017218763920257 ],, [ 18348714939299408748358195077 ], 
  [ 303210272330739343
      93444729465734468140842015691149860537117241829188715058842443583 ], 
  [ 11004811314110641 ], 
  [ 11145297401662978118639692510816087635750360663419621805165080404081
      731551028948799148140437455525315594459547
      28207978317787299519881883345010831781124600233 ], 
  [ 492541370954042703727521011 ], 
  [ 722690678691858357121997870833498458653 ], 
  [ 87235391377290221578517697 ], 
  [ 23951471486591256140181496117204660079756749 ], [ 60563288311 ], 
  [ 196062896285723348277701180820477325618061328136712881 ], 
  [ 103890778908110740913221769 ], [ 86036254176789331828995917 ],, 
  [ 107207330079361206796711529913111117839332637063721733 ],, 
  [ 24950826607554565758558423379 ], 
  [ 5754549342828866862470636001654375469235641 ], [ 517988878609 ], 
  [ 2872287863311974742836578872916206719364929 ], 
  [ 271346325185703152580365953001
      13789369746767061328728251959014283084604758862221625251 ],,, 
  [ 101588415777329241741439385338098953729 ], 
  [ 179058504238173298334929086329892212798454211613 ], 
  [ 468284941714112167321 ],,, 
  [ 6865104431611543728583477741318131580736036747428989
      240099747876288216058869419581442253110735003 ], 
  [ 20901845291092898827710246155837002088910369
      248498502835922332676119 ], [ 524924313211 ], [ 141264028412449 ], 
  [ 418896459979
      977476385698496817973862036021137943195418288369589296010617093120798914\
89 ], [ 1438075544848062734140313913055733 ], 
  [ 64578827712159588941159235562491655991 ], [ 460980075781 ], 
  [ 28479357671170293972750226199262075585589380867292955783 ], 
  [ 6914384231924331500092352689697439862798457 ], 
  [ 43355123536973593627283103028926100637383312786718136597
      387080038278759101344924776222746453867908749449650043 ],, 
  [ 124345959032807511902142911848069670982799106294017361561 ], 
  [ 61547520138442607651114978667413900828078949549 ], 
  [ 166377007885048092737765545503346957
      563483663756144376846962019676669681 ], [ 95578129560914360450837 ], 
  [ 452699321090468732041598170933 ], [ 1215577980758032711803601 ], 
  [ 27102006394311094113411950488537842784423724143 ], 
  [ 5264760313112048309119336089464585243984154009425456777 ], 
  [ 1398434982555744233593921878903501105053 ], 
  [ 1716691628254562033604744930247038669779 ], 
  [ 52828160336103166308119021569065535443300101 ], [ 2569980556725661 ], 
  [ 317665739633442322972204671008114766729148273594193131
      226083618852899859124589 ], 
  [ 635852187045784830403209410660680328615487061812593459 ], 
  [ 6265942624931470792322790605442497197 ], [ 477541808641 ], 
  [ 110268190655746519292205479920298076429585368351002444854904774669983 ],
  [ 19119643273083268302796603 ],,, 
  [ 5001724485771830019211245611303537423912556718461511174139788361 ], 
  [ 21231131129982786882739291199347250473111 ],, 
  [ 10989837155182485710393149808250008801 ], 
  [ 410511937693225065993819733332837378497071081595081
      3273998910294795279759492337388911137810119676950647 ], 
  [ 13879084661602908680705095215545409593947713426874506895031 ],, 
  [ 5441254865089 ], [ 2759809630553 ],, 
  [ 1487658235486519263799274647742301 ], [ 510424585757153 ], 
  [ 21837040611387714179442004225769329950554740593792831290943339 ], 
  [ 31531735525370832882580261506361 ],, 
  [ 2200625521380361256662120029225761 ], 
  [ 12455145774283047963236099137 ],, [ 1024814749921456372551827441 ], 
  [ 3688950670855397438392848375667399943137953
      182423437296421993495294761731633 ],, [ 87098131837 ],, 
  [ 83412335549324274869980616021618875753 ],, 
  [ 80451911996934444483653727156040931 ], [ 21666723086309057 ],, 
  [ 113699396851018721759056961717947 ], 
  [ 44168893159258515355693484091315456857459586583525432203 ],, 
  [ 709785678173024588977548985928817 ],, [ 1422162335012761 ],, 
  [ 11604504649882929699382801 ], [ 109181564263 ], 
  [ 9022801154695192319323871211706295112261 ], [ 8481902993260330457251 ], 
  [ 11798248890245839048609 ], [ 328530626119725309806517718841 ], 
  [ 29991309813086938989047633084013043718678062577000383 ], 
  [ 4579196311383709974012524881 ], 
  [ 610824628753827802343057
      13530185739126761123422803574829241390551802901331873 ], 
  [ 1302612084973569034669563412361 ], [ 9554202651172828751550897627671 ]
    , [ 1157030317522157078679 ], [ 11477961185449382748540548306269 ], 
  [ 203570377670144483273851 ], 
  [ 924506815976266318184656899559875796114154824935727027 ], [ 7517914031 ],
  , [ 1513928516437251180691577411 ], 
  [ 13591937347741148687783208201617020457478905623145716027 ],, 
  [ 426231181215085942135466511915303270072275921 ], 
  [ 2752131582567217857241388627706717249274729481 ], 
  [ 90271775608933940272344472153509303878096558483707201631 ],, 
  [ 24491795474469192420127508385338427488891233 ],, 
  [ 93729379827419195871900305416635053992463 ], 
  [ 7846935357287042652309791371 ], [ 156083401259120228329 ],,, 
  [ 1740050839707237289 ], [ 94650965056172649922688266124137 ], 
  [ 54196033330996186171 ],,, 
  [ 1131073619403917311181268875348404276363475734561813821679989 ],, 
  [ 140408795952848893 ],, [ 254496343632110375068288218822877105708961 ], 
  [ 345550624339 ], [ 11709307457144983176283903164925268917913915027 ], 
  [ 4351520763111038411752481622148062341807 ], 
  [ 21228782566011310754026815337039292536495013869 ],,, 
  [ 598183165316665163 ], 
  [ 230550075627432961566058526364963521
      57021654964071585971069771390253832603489 ], 
  [ 56514464148529196642183001610600723454170813206658263 ], 
  [ 26302627316632124822275281024782374578524864287903217501 ],, 
  [ 17303301762747633673414669 ],, 
  [ 72147335774707744935637434682931794399661
      65773194838683479372384586920828924741126218335735393339139217 ], 
  [ 4371655525291 ], 
  [ 6140041206258412387929379790105584539491280827718666653771013121 ],, 
  [ 684747531776871040001074376680598733692027 ],, 
  [ 930642602351112551169840131743261 ],, 
  [ 4999010550455125571033915802244690017819025827 ],, 
  [ 6786008887254579649185115903073555833 ],, 
  [ 3323815932354952199708252979450634828083422147091317413567495515092882939 
     ],, [ 974548418550900193578112451814127503821248387217516233409 ],, 
  [ 17285583612465989488119286638522224133513872133296030290591 ],, 
  [ 
      549563030260107762905949994334324366556494277255124833640619188740318688044\
1217 ],, 
  [ 548784071215215374315009319324719793127
      251672840875293654245681315431132008059 ],, 
  [ 138068034191539740056407671790611656149659833208570853308691411574241 
     ],,,, 
  [ 4525570943365305683398045926241
      167028155570166652240209567871707896258513215921 ],, 
  [ 47726646025743072488745317856961129958875980174376065852625802739481163 
     ],, [ 10423916233724290945395330003003170305878637 ],, 
  [ 21244035050412473472466488345464611547547 ],, [ 47425390849 ],, 
  [ 824071962052951 ],, [ 590244647769452210986387617317411660052109 ],, 
  [ 644008436591649675469501699911699007601763885588982873087555517 ],, 
  [ 59383117133770684889 ],, [ 20513520354318375861457889254736485161133 ],, 
  [ 136930216201711991584002028407328713101284435242561831541533876743301 
     ],, [ 9363662915587162204516698424310597831 ],,,, [ 11620847557804483 ]
   ,,,, [ 105242454503804517384551847677118681616125704022537158058007281
      337085230904335220120975027390905360213106543788735686491 ],, 
  [ 27874254505033 ],, 
  [ 663286887036371874669925192561
      238003900868773426446244791352200793047179920717 ],, 
  [ 2836544929166577176150355688840653
      27103145741617455720394350818236664633 ],,,,,, [ 40927210759 ],, 
  [ 2879431305133697011686204557786920693632240410385679093521
      71764097044242146774873334112240405783583077261 ],,,, 
  [ 11943054001746766578212814362740196357577
      6604659132442389445202912033662092427788313 ],, 
  [ 24153934268894331149491887059803833028121 ],, 
  [ 274809646930951857330045754522718559438535893
      91415169245565943072977027051836521
      96979190810193123423664079150429579213 ],, 
  [ 49894264676653313327292151375907616654574997 ],, 
  [ 11143009491426586102975326769058893995226270573145239271666597048801 ],
  , [ 258850055309157625792530628189237095192832723031 ],, 
  [ 10374432241 ],,,, 
  [ 7323116377302727990323079378993542389927217
      2408652684148166125999156181407307327770931038188842881 ],,,, 
  [ 7796442621011588607354400361 ],, [ 166512379951131753028416944901 ],, 
  [ 213137941301473 ],,,, [ 4071089140984211388868132331839430285681 ],,,, 
  [ 111656016170842942214195176165616914541578489281 ],, 
  [ 154508912413471146881588717595583892138915855105371511128196179
      569846141317151393820017 ],, [ 101935328515138847093 ],,,, 
  [ 534455385421558152833 ],,,, 
  [ 2907320876412651580343131174934932241
      500347355636594447174632970348578605769
      15796701645742466996559846847598341179202369 ],, 
  [ 160854871277995202881 ],, 
  [ 150589128121695133645051217513552028333029397308937
      681093268414522955165129 ],,,, [ 236723872814020179440021 ],,,, 
  [ 759467336833 ],, [ 234881073900390941 ],, [ 61196090205137 ],, 
  [ 654137952123984702698190570523721 ],, 
  [ 1427608974974857454510064922320297215980121 ],,,, 
  [ 13128410377365049656141238911314249967623186465303895749 ],,,, 
  [ 101780612400110964521640476016481560656677524401
      79729176727212378111072523721201 ],, 
  [ 1234782397253518964391740838143330208519 ],, 
  [ 398328635894035326730124480360919081 ],, 
  [ 1206336621097342120486572933462113857 ],, [ 3048934786048153 ],, 
  [ 4549695435481201 ],, [ 43250614100298352188494088104441849 ],,,, 
  [ 4713465284433754716193 ],, [ 406349403224381 ],, 
  [ 1641203761617965566946610401216609620993283174545916629319901 ],, 
  [ 95661127745843203 ],,,,,, 
  [ 15967926721181836853099305319457323731159652839656591018245153 ],, 
  [ 1541404231 ],, [ 245791409362492541390874829169569 ],,,, 
  [ 7238859169262872958691855434366500028475261 ],,,, 
  [ 47208471347579097613221452752299443425656731763321 ],, 
  [ 1445451303767719 ],, 
  [ 9213986569339537191736632341893731251803222572081 ],, 
  [ 4758555523168606105160157986999 ],, [ 139542412811306965572509633 ],, 
  [ 264765438725391453601 ],, [ 9874409272729135924568139453569397 ],, 
  [ 207427593743 ],, [ 371446864703901481971649 ],, 
  [ 5169169597110827561307164997 ],, [ 21345949021 ],, 
  [ 264158807854392594991 ],, 
  [ 8009864517204337221116005081029280114732998581835789313 ],, 
  [ 36290358873198014801364257 ],, 
  [ 47378071729110502359688802537744409629
      216009774408796102554270705794929429
      90179227834035373433912434038870982021 ],,,, 
  [ 59214091152416349751296966182792576521 ],, [ 225950364135129974438689 ],
  , [ 31900729259291629795362214554534354461 ],, [ 6179073746374799657 ],,,
  , [ 27937276711197352193902581 ],, [ 11219550906623929 ],,,,,,,, 
  [ 6352384888999171071803072021 ],, 
  [ 1240470160918468824791336571051987 ],,,,,, [ 6371697001 ],,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 1636078501870532326120933963957247239572211062841311462487246361821,
      1551006212418429719902681321 ],,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 4910521634908117579191528470992657 ],,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 123442616320978618909076039233 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 8929068061559182492851412284919974483410148044631122893681
      267225440198547415861 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 106572336166497137621212192508628733818201 ],,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,, [ 11060940420116739556405960493801 ] ]);

¤ 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.