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

Quelle  brfac223

  Sprache: Text
 

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

BRENTFACTORS[223]:=MakeImmutable([ ,,,,,,,,,,,,,,,, [ 49438818584964793 ],, 
  [ 2967137753747 ],, [ 5265616903 ],,, [ 18203256013359617441 ],,, 
  [ 1571050597025809 ],, [ 2639439438803927530124094737863 ],, 
  [ 726170465910551 ], [ 2519109445441 ], [ 11023350311199203407 ], 
  [ 1962495871507 ],,, 
  [ 10940025929683337984701328360490811303370525718101573
      9039083542017584024186663 ],, [ 256577564101 ],,,, [ 760343856646637 ],
  , [ 921354813545957160339421 ],, 
  [ 1434774378876471523197727728820470781179408170199 ], 
  [ 224757020922961 ], [ 121408924689824507 ], [ 4604943995851 ], 
  [ 477194077120310327262485444397139709 ], [ 129757033145627588677237 ], 
  [ 73549313714185248739182057018925991072294574850172657 ],, 
  [ 34299018238252235846731 ], [ 51624716184053644751389313 ], 
  [ 5823808730203313354499867465227393837 ], [ 43792554959 ], 
  [ 25702705287615405402157560383609743 ],, 
  [ 5279363626748811913281042305211
      46383719907364198176832740951373404986284078202942033
      16963589392995964196686575600566437799947866486311435572867 ], 
  [ 3555301101205540408473223 ], [ 4774113435397917493 ], 
  [ 1915649268432608847154050241 ], 
  [ 304372354136381053581920451282852638339499686970939504611 ], 
  [ 1272785140702681 ], [ 171823418038101310009197334426022436719 ],,,, 
  [ 35890055541434332946035491784028021248859
      134708947165961455341835569720781 ], [ 26638651513 ], 
  [ 4627331499935281174576241 ], [ 5676384529682027447191154448606551 ], 
  [ 1456151611512914076085798757985000551 ], 
  [ 3823362995344038738742638082924047437501 ], 
  [ 19294373175087620159909796757478544161156795741992738247954840831 ], 
  [ 2432539054741927 ],, [ 4401579761 ], [ 25161575883139 ], 
  [ 78871273608037141579210406088334466678820184136841 ], 
  [ 88287161650409161409069424255091517255560849219504628827 ], 
  [ 30716996005122403369 ], 
  [ 5186619190511447038730892587661216311235053271679844764094351 ], 
  [ 1904111532385637242874365718212229431253077747954777 ], 
  [ 3237186809881485797420293837
      9737802359745924192776896717458967126009412202397 ], 
  [ 137465163039023199073139648526303608837769 ], 
  [ 44539410514875320373974342851118527
      727262425080748428510511085565330638152739
      4750932134496331228959120094150790623495773655482301 ], 
  [ 94245539958125171126529041 ], 
  [ 18749515739517057996262227153363399791080466747033
      37624043775686010546510099378350202217579862157851 ], 
  [ 29485997549857155919880986257 ], 
  [ 1032341156232791838186011703668704993705599046777615134163121 ], 
  [ 60003258124660041922336979638687039 ], 
  [ 355284933137381249813517669741421208910225863937583365481 ], 
  [ 15506319693285935726337121 ], 
  [ 81652068107193261593661441354980610884234973991
      23576209470718667016257949433 ], 
  [ 4430209622425217959485574990037431392081076101 ], 
  [ 1071254311038602150460912084398114737
      1859550422426877291330712477486697773609394089 ], 
  [ 1441431213011543878173197674797501 ], [ 12038038519346061427180251 ], 
  [ 844390692104851 ], 
  [ 276396365465395232129929150882982841876678582952199069 ], 
  [ 12474901329696139087570225157636972906793 ], 
  [ 5168983536538324064114016224078621521 ], 
  [ 253024393245733353248244103787448021307 ], 
  [ 610864184124126341276590106983596508259503006149 ], 
  [ 1605644360436899701 ], 
  [ 380545007527475511174764840348782579699943186710820662417766895333 ], 
  [ 52513148671511624344386231354747507178401 ], 
  [ 48203599215711993045432124390786791869 ],, 
  [ 1504295325796713433951213 ], [ 2710938858290907849448483447 ], 
  [ 4691199928670231 ], [ 430544956240127895557049648968225633669294255837921 
     ], [ 859151216661427324746421279274932290137790968671806012522218739 
     ], [ 75323485982989568888844946554594536572801481 ],,, 
  [ 43435676202738192177497277 ], [ 191469290033185890750298489 ], 
  [ 5724881618893506774565497282479531 ],, [ 59304113316733309751 ], 
  [ 232959800683 ],,,, 
  [ 78011288962435585912367314474397826005142370492252496468104171 ],,, 
  [ 13281762411210426002227 ], 
  [ 969406571333335172399492852959919984376461513379807 ], 
  [ 7167052095149480664915361 ],, [ 358175274221 ], 
  [ 7453435977837279337525138058537751408967834400769702513840927593 ], 
  [ 6390678739283 ], 
  [ 176436303747337214763221145598916118485676969801079475754139110401 ], 
  [ 47434695700243 ], 
  [ 459305654957946889167387709442747462691224970053033149467581777394058563
     ], [ 528136472607723439274959 ], 
  [ 2476699633883830588337411889502448113363676808870529
      1205957898183156685635537361 ], [ 15561292991753611645341 ], 
  [ 7225421301844658672093472476209065534758761508645095231624674308547 ], 
  [ 7983826625196294411127 ],, [ 5913320946539 ], 
  [ 55536463461087274795458334801 ], [ 624483159061 ], 
  [ 7313078053593713434055461712823761260493479111621638897 ],, 
  [ 30559066641128221099912003337189 ], [ 16004430310515950541946001 ],, 
  [ 93802992126511 ], 
  [ 31026174779587936688863580233089095469147133375126071448244019
      30502036841980790171279446778573566907 ],, [ 1194504057013107473761 ], 
  [ 12316723822324237689695212138933572903210231 ], 
  [ 14793026796271814450672726495715864765523121644583 ], 
  [ 337750988179271640707681950366023 ], 
  [ 27666660611133218857898868915127118614856681
      1615793241058896098176991591369170750375157719005293754301 ],, 
  [ 70851861539 ],, [ 746322265081146147310338974072801 ],, 
  [ 2561698446861155373414308916364627230817116267401697645501 ], 
  [ 2299342267 ], 
  [ 305430529571952119914236624241417816678009
      24423652058377820269478301712717645279535932633269893 ], 
  [ 55817807699441 ], [ 109369885401199 ],, 
  [ 15841796836963467523868030333525888657 ],, [ 7074830230683249049121 ], 
  [ 301529541139946579716704900489413 ], 
  [ 371480837838785247718440643561303380874841701 ], 
  [ 1214059497731411272949911 ], 
  [ 3655058177910432814613758637348274062928855988623
      326147873524097189605108141210141733 ], [ 358451858168888947 ], 
  [ 57175531528302274639288118173489 ], [ 208876964513757161 ], 
  [ 15804225177481725809152694828826586008475831196438683138847 ],, 
  [ 334715021387029867304286317851437653319877174986238294097446310397 ],
  , [ 493405072153171584348993885771245083463854036673116501 ], 
  [ 46414012314259646781129 ], 
  [ 9452292024423916948874199434582483335458601793
      291959476598851275390369837975069889 ],, 
  [ 96028709977729373334928962013303680407725456907416552951801027749 ], 
  [ 371648323812584999980421 ], 
  [ 2343597554734935732466834556747701825829969 ], 
  [ 662539336499858754934131 ],,, 
  [ 80512632420185711583220155434057266782014822425751541181001
      12343686664296763860135248908541004942692214980808067613490801 ],,,, 
  [ 1003664261412494709286973 ],,,, [ 27406202620145641553 ],, 
  [ 14212214722135081879131474299242939750199823118374821557361 ],, 
  [ 99177087777415121 ],,,, [ 2512519832700036144361 ],,,, 
  [ 40062068464152052073151423181 ],, [ 144521511157 ], 
  [ 409989521094963541 ],, [ 18895599451 ],,, [ 18378321805479637 ],, 
  [ 325300014654189181411106861 ],,,,,,,,,, [ 3088907714558161 ],, 
  [ 3803285866734098260581565632742113171229631673 ],, [ 4188187233833 ],,
  ,, [ 344804080681 ],,,,,, [ 217459739071 ],,,, 
  [ 8787625797371232695318122847586751398435353 ],,,,,, [ 5927721361 ],,,, 
  [ 2483100777613 ],,, [ 3382656362926623897879747917817 ], 
  [ 4555096426745089 ],, [ 5729188147157090251 ],, 
  [ 3417617489620656973881460814148608417 ],, [ 111678419601961 ],,,, 
  [ 9284670931196950696222869888023 ], [ 487394521093 ],,, [ 641547696791 ],
  , [ 438991695964811365467589513217 ],, [ 157817043147003819093263531 ],,
  ,,,,,,,, [ 542918937013508519694820008541589801 ],,,, [ 280332579473 ],,, 
  [ 2330719369939164671 ],,, [ 183786753640961 ],, 
  [ 143073309764994471978281 ],, [ 300662433029980066883 ],, 
  [ 206331835081937306951344914433 ],,,, [ 1100923785820488001 ],, 
  [ 10178217581790763 ],,,, 
  [ 333139960420095404478906921211709429960483951971 ],,,,,, 
  [ 1175676409222374894923034007613120971944897 ],, [ 2085935284924217 ]
   ,,,, [ 314711249737 ],,,, 
  [ 6902056580908662139666808540437393793262386417996457389691 ],,,, 
  [ 323091225833478515831465693281147758348035233625373 ],, 
  [ 2546312840688139641515992081 ],,,, [ 1285394599381729 ],, [ 5310949783 ],
  , [ 18282681671197 ],,,,,,,, [ 3821797522181549 ],, [ 606131904120907 ],, 
  [ 77176208097617 ],, [ 2448036636211176181412846051 ],, 
  [ 983071743444164867534775993672377 ],,,, [ 10106381801 ],, 
  [ 4017796399496391584501 ],,,,,,,, [ 418080505590471066667963592655079 ]
   ,, [ 159639259735599818953 ],, [ 3811962961 ],, [ 31884338417 ],,,,,, 
  [ 151742296697 ],, [ 28110956814001839782749194401 ],,,,,,,, 
  [ 30797518303921 ],,,,,,,,,,,, [ 24648718962138038485981109321 ],,,,,,,,,,
  ,,,,,,,,,,,,,,,, 
  [ 63827283019975864637135346790164271948317735288789
      2024147796894881873176485660717580862964111166160825576006924087 ],,
  ,, [ 295572915181746858823073860601 ] ]);

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