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  brfac314

  Sprache: Text
 

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

BRENTFACTORS[314]:=MakeImmutable([ ,,,,,,,,,,,,,,,,,, [ 4410610038158899061 ],
  ,,, [ 3589065868807 ],, [ 340747858334701 ],,, [ 240746205180461 ], 
  [ 20420528140888019 ],,,, [ 2873318648225600587 ], [ 2396039864447 ],, 
  [ 2248934581 ], [ 9295601687 ], [ 666920815147 ], 
  [ 113741657007864710207431949962157 ], [ 196135541761 ], 
  [ 25661252225172393731153543 ], [ 64180110667 ],, [ 5342384081 ],,, 
  [ 18423732289 ], [ 1066902241 ], [ 4588819817 ], [ 1556664703435301 ], 
  [ 5366682367 ],,, [ 108997427044531 ], 
  [ 374981205094823437128261944138345488891 ], [ 10451404489 ], 
  [ 50681885428729964884545561470493478160881 ], [ 1629200463263587 ],,, 
  [ 1983893831940913657504547 ], [ 3410919399799 ], [ 14930671905199 ], 
  [ 4188491960750081 ], [ 161611975228573012190462763244716806971 ], 
  [ 7159422098665913539 ],, 
  [ 17493211452236602457227733230763209239798954949 ], 
  [ 45942350619738959134196321159377314429468957 ],,,, [ 9678857863 ], 
  [ 4824138959 ], [ 2307837527092847627172751 ], 
  [ 5353448067028969720005288748709565986469 ],, [ 153209800899386557 ], 
  [ 958037569519 ], [ 18143384024261194561 ], 
  [ 53130687859203783431455470929281961456334287 ], 
  [ 76386698939162309421887703878964657043 ], 
  [ 197502426082717376034858811819 ], [ 237657092983062625069 ], 
  [ 66791026311167093331311676367356309867276957831 ], 
  [ 187233198698170450462747483345190426032889 ], 
  [ 2086846065442911389514337122230247485711177335213727864743956346803 ],
  [ 91418975658755796041154634537 ],,, [ 30036053964247787 ], 
  [ 3469898735592197 ],, [ 22591022832932591016329842619186541 ],,, 
  [ 30066235467205709 ],, [ 2853785723164315480248326792173541 ], 
  [ 8538829530686401745280891232409601 ],, 
  [ 282261845124064327842347751115933 ], [ 82694534741992874554046353069 ], 
  [ 126452691001019772052346930740763984210547977 ], 
  [ 47876329411153123725232608466949690126026741005971 ], 
  [ 303716624093459 ], [ 4510756165102034531 ],, [ 2010080357964575393419 ],
  [ 37823061117142355717971 ], [ 1818902344532833123 ], 
  [ 137326299754673154862944559551334598576114249190541567010686824402817 
     ], [ 9267087287 ], [ 42702810731209076848703377508311 ], 
  [ 2847638253950647852006051 ], [ 27337250201 ], 
  [ 138824368038188230486302939827 ],,,,, 
  [ 50055035289113242392941919582256851995405363051964129579925091423 ],, 
  [ 147214502533759840548186844865340558692001030020893
      4870135937649745901739367369383254548270597598077901 ], 
  [ 245141775111185522870687864431251 ], 
  [ 414824151055957231869532395744553 ],, 
  [ 1714502434573550779446829577441793 ], [ 10771427777776288099127 ],, 
  [ 111942395363 ], [ 136605166633379522475794763689120751827017 ], 
  [ 5986132363 ], [ 16898137508940817067283647937409101601563519 ],, 
  [ 7365046616692377044504725489 ], [ 544270229801 ],,, 
  [ 607809165895869765108449091029911352868897361 ], [ 27000752137 ], 
  [ 407425477121284304883473889850173433493311248180071829374724249
      5659897604368737662121604679353 ],, 
  [ 444021564975440819132923272335681619249
      3315052602907880284569661139540714689 ], 
  [ 93792960792724861416178542580846751690436631904937391 ], 
  [ 3084825402454594342627921862766311985249741 ],, 
  [ 13044639009569890057 ], [ 36366950379537306427385793 ], 
  [ 10040317862605513741800689489193241098193771001 ],,, [ 8734906783 ], 
  [ 1034576341559964127 ],, [ 2371706968058449259629 ], 
  [ 402187747916510295822417 ],, [ 10896706788864326761 ], 
  [ 445147246617833109601 ], [ 29531143264673845913218825590534137697 ],, 
  [ 17096701632096716362911 ], [ 4000192061 ],, 
  [ 2214965174310670796120864179551111948439211111962211673231
      38525161133099052090842693 ], [ 39727065630181 ], 
  [ 109415986308721833403805759514458690847963838313 ], 
  [ 3359793606143643535829 ], [ 14555065248894161 ],,, [ 5499813937 ], 
  [ 78444167967838365968994933139244654049696947693 ], [ 42155296544585351 ]
   ,, [ 2499117296538216702580937699 ], [ 13954844843446893414521 ],, 
  [ 717012605142140029301204524474747661995767489491078345763577761 ], 
  [ 6754988284455667 ], [ 218891058103389491 ], 
  [ 82450196874736804974494351399411959661 ],, [ 112952194631645506661 ], 
  [ 23255375989071487133952813444131821577 ], 
  [ 6638467463339123250753992402898161743091209228982281940611 ], 
  [ 1022053873889 ],,, [ 4019537060533 ], 
  [ 378226623171887492755324629647604116120925815371273079681
      270311046261662837157481162787062893465601 ],, [ 2214821562757043 ],, 
  [ 18979237886953 ], [ 47388283510619833 ], 
  [ 21373476315468062954181693751618491516906984194476199363457
      7371220753023351167269981756915309 ],, [ 255281333525237553601 ],, 
  [ 153613394871712361376716532219 ],,,,,,,, 
  [ 3762678566272652391331466615324490994068650505701 ],,,, 
  [ 390106664776195669186809155026118334583 ],, 
  [ 19881783738925754804929 ],, 
  [ 3390836310112278804937568925157830346897323 ],, 
  [ 83358073261739471737774192057710942121 ],,,, [ 52769465057 ],, 
  [ 5604639767 ],, [ 146195202362454153434653 ],, 
  [ 8473455898185664244784864807631 ],, [ 62563939961 ],,,, 
  [ 107377042931905807285789627739849466009 ],,,, 
  [ 2672598969633611218458661136530001774685123846896577861681 ],, 
  [ 287947067431 ],, [ 25550137963942640273122448840294556579767697 ],, 
  [ 2933956034809263507811482060596218443745314902912044506881896639249 
     ],,,, [ 42450118633501101803159246751 ],, 
  [ 1079136866569362301220640403956588369180044471729 ],,, 
  [ 654367129021528469851158688131568852980413313141 ],,, 
  [ 10003319054660721354172417 ],, [ 2920971390452441 ],, 
  [ 857369167468473089 ],, [ 15080338474926711372065742761962526784039233 ],
  ,,, [ 9293847835715812494016461 ],,,,,,,,,,,, 
  [ 4521617380113790001391611239079366933439484601 ],,,, 
  [ 172178976148858622286675094988156423379655049 ],,,,,, 
  [ 616455261112601146421049303518571 ],, [ 4718868337 ],,,,,,,, 
  [ 1150465620116464374160116090817124555001 ],, 
  [ 4061427673327967177879609078493 ],,,,,,,, 
  [ 1481270148120441779751246331395198461 ],, [ 146367089857 ],,,,,, 
  [ 132828427234596307 ],, [ 18927619215048330945510016961 ],, 
  [ 2816145991 ],, [ 106551359604124766800781897 ],, [ 29206718161 ],, 
  [ 34248713697036488288289288705619130985401749661108972196801
      27213167223833879801 ],, [ 7911327138166546601322824591 ],, 
  [ 503000014541317 ],, [ 21358890851 ],,,,,, [ 801375288792734281 ],, 
  [ 10576023535351 ],,,, [ 2414406732644833 ],, [ 115817160754993 ],, 
  [ 30705791252086508251 ],, [ 205390976410049 ],, [ 1068127033 ],, 
  [ 38620389065990317 ],,,, [ 10382694841 ],, [ 757172284092632963 ],,,, 
  [ 4701478437015297408054822827453 ],, [ 4078220161 ],, [ 236391688721 ],, 
  [ 52780403622687877 ],, [ 47566645089107 ],,,,,, 
  [ 1754367281315574648111462273999510417210447537932108107921 ],, 
  [ 167107578961395643381 ],, [ 330171187358144977496321 ],, 
  [ 2760179037857 ],,,,,, [ 1351267823207233 ],, [ 3923423637911 ],, 
  [ 1258977771757333 ],, [ 1760474197 ],,,,,,,,,,,,,,,,,,,,,, 
  [ 31852413046195141 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,, [ 145813571551 ],,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,, [ 213368752495049247303522147246201 ] ]);

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

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