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  brfac847

  Sprache: Text
 

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

BRENTFACTORS[847]:=MakeImmutable(
[ ,,,,,,,,,,,,,,,,,, [ 1993184360276542960997 ],,,, 
  [ 48337094749727512749249747231643 ],, [ 56345184017130283610850431751 ]
    , [ 32078836973 ], [ 37386745068199356863911 ], [ 1008319033 ], 
  [ 918725943039419551335637549138124401 ],,,, [ 21188882353 ], 
  [ 5801447041051 ], [ 530142581582728661 ], [ 61431050287837 ],, 
  [ 574242084287 ], [ 6780026961241 ], [ 13650854632081 ], [ 8803400527 ], 
  [ 1009422793 ],, [ 8187226938388439248913 ], 
  [ 5306821246372514792698873601831 ], [ 342234829725632073803673 ], 
  [ 204199085915103394464237 ],, 
  [ 3871617315973660403552962831198861836778289 ], 
  [ 702106904209011413627778208101 ], 
  [ 1495780633271110852679272710734465124296218910175008091 ], 
  [ 8605599241525261 ], 
  [ 133294107493076892225002060292305556832063914560591 ], 
  [ 1236292097892751 ], [ 23953943473911772569864411672898819746298801 ], 
  [ 12500659091333588437948913394489147794049 ], 
  [ 150282137486893543006869616532911212193509076942227 ], 
  [ 180870095217830901430501493 ], [ 18304586731674094485040561535202463 ], 
  [ 1484936161 ],, [ 430553157132973175686838365571313120887257959 ], 
  [ 67100576183333002952003285552249356089387843856721 ],, 
  [ 10416240830431801397393336823901031121421444481940623530871 ],,, 
  [ 6941789861 ], [ 113313547731499244793568440689 ], 
  [ 184075248153720337791 ], [ 138220639440066418976393530315101433 ], 
  [ 1652885209 ], 
  [ 2148390022870171919882180587402932588827
      7972626112779295455609469616153891 ], 
  [ 159485493966000642430268368814830695221179 ], 
  [ 131157259512754159645177285407201505497107723701
      4572705065672718063584881453502101 ], 
  [ 35154307694837592055625327356547264333048490189 ], 
  [ 252668027933717713187757812730221564937329
      197375689349783994404484361 ], [ 4476166751317 ], 
  [ 121367768257433260198655582760617468311629 ], 
  [ 109959435834942789083213643681699038115361787743352968321 ], 
  [ 32744890645313276561644838915293614104015265636921 ], [ 2384338601 ],
  , [ 42275640295218961 ],, 
  [ 413009871124363332275031705823436088639270801801 ], [ 79540813614499 ], 
  [ 183476571295679063528441931382617866602901073154701967915706501161 ], 
  [ 310664646112425200216977371434685548032985107 ], 
  [ 44140731472216908707851 ],,, [ 5760415540656309234592257889 ], 
  [ 132971489770020957548361701233823 ],, [ 27723304140769 ], 
  [ 1541557681698587834351272813619538353 ], 
  [ 202685650094403550635220889759817990719655784111 ], 
  [ 32785334644510919981054591724547448397367743758242831758962559020487 ]
    , [ 3062634757675882546444016941852116921746858280523160401 ],, 
  [ 3592391653192329822287 ],, 
  [ 4423806407177267876331978063829928841337
      628895356206499032942660899059697766217246329001 ], 
  [ 4150032181256163318881 ], 
  [ 48592749809602520408907230966172069786679492312941089
      32671109896212325847858753 ], [ 1163329795577903720027171 ], 
  [ 32843144642507383407229 ], [ 1232729766611655905110437546764283 ], 
  [ 6279600317761907324535181140892416371 ], [ 536505132403144501 ],, 
  [ 2582810039 ], [ 479602681971555403022253497102560271530383648060421 ],, 
  [ 27472840191669713 ],, [ 3348588056087377571033462278305735416815779 ], 
  [ 59321994343334753801 ], [ 8738006318769520138166092681 ], 
  [ 7830849199151739377 ],, 
  [ 1547219768977460806285358947682918464269385323863721 ], 
  [ 335387807227645346234238087229 ], [ 41265224501 ], 
  [ 1403031094456851199302543945071587501399 ], [ 32177763949379459 ], 
  [ 178639431937 ], [ 1141684573 ], [ 187002240814351792270285985231 ], 
  [ 49197526542893 ],,, [ 7291928937747419900742401969 ], 
  [ 2643185434951491442017134591600376426007750596621 ], 
  [ 2574495925715948558225802741770641424712348140175563507921481 ], 
  [ 17846658473428033729 ], [ 28226819362868011 ],,,,,, [ 7289959681 ], 
  [ 1609404011 ], [ 10345115806619733829 ], 
  [ 2266865796734849896974053201141 ], [ 13535745532739241129 ],, 
  [ 55901622655647404744851 ],, [ 1325864219081423536050191847651857524849 ]
   ,, 
  [ 10937395860007
      57148240266135604297058207873561167899714582383754637092892482849131 ], 
  [ 1894550097633417541 ], [ 223014760975490056473332033752460998790333 ],,
  , [ 1580253424412857334295754443868421261 ],,,,, 
  [ 6926664836814730373766742997357233 ], [ 17975429671 ], 
  [ 583186862306623116533946409287263668001129573 ],, 
  [ 5573275005648163871994688692366554513157632632961 ],, [ 43494700927421 ]
   ,, [ 271838995757532857378489713691178759617 ],, 
  [ 1244528314185369855973 ],, [ 413072073041 ],, 
  [ 1366931615914466894946248103659585262610320901 ],, 
  [ 223156498294549582921 ],, 
  [ 3216909351528502651021119540291363587995853816328262717
      2169857064811840803793204551252701217757
      7219773137488976258145325835462125325767660914821 ],, 
  [ 48399908379432139318265123300819000149901855841 ],,,, [ 174682434193 ]
   ,, [ 235453312436111366620419787281 ],, 
  [ 40462953612175208790977163132064531121519211009
      264496594278759692905586208118109058705671140764015034241
      5246437899582183452195338461831553 ],, [ 178103906759733850959121 ], 
  [ 636716989004071 ],,,,,,, 
  [ 107857270973477775526638620232836159437117001852837 ],, 
  [ 29549996293646653835981 ],, [ 25313833735829 ],,,, 
  [ 82602487171787825299373305913496964738539404091
      750897043620715922007421 ],,,,,, 
  [ 1852741080112010511720891402626556873 ],,,, 
  [ 294476579052768641998475040451076541791002519464372230880481 ],, 
  [ 108559894081939917430687497950602572663396748307529 ],, 
  [ 2717010826433 ], [ 2560964876101 ],,, 
  [ 37500677905501579590081410628041 ],,, [ 2749218250549 ],,, 
  [ 202077297085032945577 ],, [ 863088441468183367561171063644652977 ],, 
  [ 3312821450691470623195567
      301032679075308887171539706268196207087141483760707 ],, 
  [ 61136658387601 ],, [ 1659131064823 ],, 
  [ 677350783340131750180811095193 ],, [ 15673144557154717564916077 ],,,, 
  [ 15614881240501430290702941421925154175585938682075501 ],, 
  [ 1163002578340177 ],,,,,,,, [ 1084901231154136515282071061 ],,,,,, 
  [ 1111941713203931168337237721340622207156776819 ],, 
  [ 700376354677265999900277112562349 ],, [ 19357565349198086575233211 ],,,,
  ,,,, [ 16907779170643816387 ],, 
  [ 198051060139230481114590611385652533041 ],,,, 
  [ 1972878421246085529594100771743454077160125668913 ],,,,,,,,,, 
  [ 14610976507164231125392695946473179952403293
      15455320070023711047874391236106900190847501375298160965524409
      68026736179560278231501584362258282860585681653 ],,,, 
  [ 79594066057310926760255752118061644263132191123290064736806857 ],, 
  [ 136194780110116823260110664189520130427744140491046968441101 ],,,,,
  , [ 88476936178018515943582690042694616047 ],,,, 
  [ 126206766124115460728236521 ],,,,,,,, [ 4796723925117991262490925133 ]
   ,, [ 213340464449423041 ],, [ 1501355795437 ],, 
  [ 653600365273265647229774679593 ],,,,,, [ 16186953421 ],,,,,, 
  [ 3560884857734475224602030241 ],,,,,, [ 15900064273 ],,,,,,,, 
  [ 33973065011830482652390170123055366701568910483909199251 ],,,, 
  [ 55276842542915333449 ],,,,,,,,,,,, [ 103458280669 ],,,,,,,,,,,, 
  [ 454820934481327744918531145315885170051459689 ],,,,,,,,,,,,,,,,,, 
  [ 1758404467909489199298439733363507827083068502201 ],,,,,,,,,, 
  [ 54639626175653134257 ],,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 134566793228711470330036691765252921485837552643199580087827 ],,,,,,
  ,,,,,,,,,,,,,,,,,,,,,, [ 7036273399 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,, 
  [ 13800443386910159955590789291991149121533910676719
      31736464893579260627 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,, [ 1683690551341038161485963531155695200132048767 ] ]);

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