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  brfac487

  Sprache: Text
 

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

BRENTFACTORS[487]:=MakeImmutable(
[ ,,,,,,,,,,,,,,,,,, [ 6079952374338064609733 ],,, [ 38167820549 ], 
  [ 15066834705953 ],, [ 12692312192048535451 ],, [ 327399777960005503 ],, 
  [ 19494830543944843104601745094234137 ],, [ 68873142743 ],, 
  [ 183428302372114339 ],, [ 2580464214311456887156302131 ],, 
  [ 613851036663176862232440264779046586967479 ],, [ 15365031824429431 ],,,, 
  [ 436033741133527347736917876572128741754257 ], [ 11538242786980141 ], 
  [ 31231143342217103491 ], [ 230986623198284429054077479 ], 
  [ 351532253130638835881 ],, [ 2917967076696916496637922315370237374793 ], 
  [ 42075762151216794309101 ], 
  [ 11100594694184167313822610306124008376487 ], [ 9688092853969661717 ],, 
  [ 22915015731073 ], [ 91393223394952239421 ],, 
  [ 4552002342749774822290550451599 ], [ 3190502574293 ], 
  [ 57855506991460223952689694853576923264010058196355291701932220132197 ],, 
  [ 9847304309581874927243690242041484689 ], 
  [ 165455655055636865267740995708176763450819 ], 
  [ 2144521171929033853859255310433649 ], 
  [ 521558272320119204458551458623371166699092969195536577 ], 
  [ 4476903703049444291 ], [ 5990638542992503736163301 ], 
  [ 255463451223798560753399376593944567163502696595089057
      126461956262754601630511492078699 ], 
  [ 24519987413820258157885418059303857 ], [ 2474532247977331 ], 
  [ 2141069815205641252017121 ], 
  [ 3244567017119138482578210179771707658414680453369
      19777237920898809609756542237621681390241806131747 ], 
  [ 8418080986135641927217 ],, [ 2069019133 ], 
  [ 7828655256172402366513522605280761901801151 ], 
  [ 275975254940948171288466781301294606493943952408687481 ],, 
  [ 90794281452166853497 ], 
  [ 199047310998735579923711155888302311006793783350491839
      2905392361989588361321883950623787239162370765163 ], [ 109491358721 ], 
  [ 35273143521508971173365957780095385260193327864649460872569576597913 ], 
  [ 3401448313196175425799761393243273370744234475563 ], 
  [ 813961146420751981747343 ], [ 1271513977304359083639324961 ], 
  [ 743783058881 ], [ 5779452460412770015367669139047979387399 ],, 
  [ 25932707042176130932578704282369074849440694033 ], 
  [ 35505687955655611323807759567497987 ],, 
  [ 68605438721506781010916983642104731388659757689774859497391
      181732072393654793655950010618641 ], 
  [ 14605787099242613479163613447140713 ],, 
  [ 4291179870734977721863191466442087424937 ],, 
  [ 1031533308497807604782142493867942817 ], [ 323168869765140071359 ],, 
  [ 34551476013794461496296115519 ], 
  [ 23358161268116490140396791248746377301220601233275653040777909401 ], 
  [ 21598963622779167065234533138406967 ], [ 10770069996061 ], 
  [ 44728476769760647269782691563339997257109
      7735298395685404911501187807578249851 ], 
  [ 34654035382877240853226589157572318745516401 ],, 
  [ 397551024506343557993033089 ],, 
  [ 1128353799932723279927893651326251318744967246304485619085573 ], 
  [ 2296944125159877331141 ], [ 504776975671654639722354803499868769600001 ]
    , [ 102477486846432214153071070715537325324838293 ],,, 
  [ 860481481267134260904627674603 ], 
  [ 22581870549921643511456446464274122730856991 ], 
  [ 44751230342492252987336530103028445881
      333399668232322012723778711050255357 ], 
  [ 70274524333659181364968814294121941431074491060368996255427 ], 
  [ 20347623415157246619403 ], [ 31770315373046753964296673 ], 
  [ 1668648776722422264258182176618159400061001 ], [ 9662341987 ],, 
  [ 1422647189377 ], 
  [ 21513825780180237030027342056769398353
      20549856909473902095408115419919217 ],, [ 121846236138985933 ], 
  [ 5425951940303 ], 
  [ 5986376544014040851900444525273359684501261479041
      14868485369771945483957260492557349975285523201 ], 
  [ 2970708562795329567433363135748453 ], 
  [ 12985813065295081733617857135781137541560810657887867710639701 ],, 
  [ 6791210689075379689202543589456684782417592096311921758269761924361 ],
  [ 1319098523 ], [ 3414565704453283250980451 ], [ 255588008311 ],,,, 
  [ 20309325125857 ], 
  [ 168295360812468149180124579705303508826508941
      21875721209301535452295116113501 ], [ 5052709903127924862269797433 ], 
  [ 134094252364490658350797039 ],,, [ 337357722114760920147541 ], 
  [ 966825314476279 ],, 
  [ 952852105317881912904601893957312142717997449220024396711638357 ], 
  [ 3269859996199263360194096191607 ],, 
  [ 710949521994875929690101173194354532592697 ],,,, [ 295109201052661 ], 
  [ 1169313808090741278021499819137395047644737 ], [ 5292596534779 ], 
  [ 4114126561745776323989223517343768444716670473966443661690796011
      11069325100638571985233570879272477128295766247 ], [ 174903734911 ], 
  [ 348366088012311539169079371673687737422165147236121949121 ],, 
  [ 25867950122479081049570485475291492894590775119 ], [ 1252394886093733 ], 
  [ 5391205793455343878938833 ], [ 4644190651 ], 
  [ 4195225295734631710171137857567613429057039867 ],, 
  [ 384950033996541198612214241965019713
      6281382594531136009464146169024337283017 ],, 
  [ 2487915151106216059481759118090386559271279171
      1221479419076275611058670704693395689857464175321973754183541 ],, 
  [ 1459657189972461166296252381361973219227859113786429092430171641 ],
  , 
  [ 16786235497640863191730811256621783012248779548864199787
      1116333763167628215746928385975339 ], [ 4003619551 ], 
  [ 937587004679212944003835504840752412585009918689 ],, 
  [ 14614160493446569312556886336476514111524833571 ],, 
  [ 818260873153924835499103281920401 ],,,, 
  [ 26238915502624958553565548699315104729 ],, 
  [ 54946964011200196954427197377639749579 ],, [ 1602858970357 ], 
  [ 25175132475193 ],,, 
  [ 1462691520120415176833920713397290371324109510764608449 ],, 
  [ 2143382000827 ], [ 1384143057311431 ],, 
  [ 61215411054479277831980813887 ], [ 25850082079758944679452020163 ],, 
  [ 709019413888011127908828302768917373334001 ],,,, [ 35772048732037 ],,,, 
  [ 15945530457443809 ],, [ 248312484134963798063829519640841 ],, 
  [ 30354260014817 ],,,,,,,, [ 86807142411166457584067469692619721 ],, 
  [ 14134347308480383951770603320034311453
      20996592425529546783540541367767 ],,, [ 2031315939013630945469951 ],,,
  , [ 9647041970299168387810506999327205322760664331 ],,,,,,,,, 
  [ 11809981273833531312660029910689859933 ],,, 
  [ 1749301928938373059945357079817 ],,,,,,, 
  [ 1132161169468245625710292202121110380956685186801 ],, 
  [ 1334146680751 ], [ 1001634573491 ], 
  [ 32820960271503714535445274513125727689137250148961479322226277 ],,, 
  [ 213141162190781551 ], [ 174945229647547649 ],, 
  [ 6809864077288194164411 ],,,, [ 77280252237756981087106391603 ],, 
  [ 488888044515553 ],,,,,, [ 73651165965678613320909227779903540713521 ],,,
  , [ 84878741273 ],,,,,, [ 493631882782918545401 ],, 
  [ 7199417419117252801020457675181614439575459782840873 ],, 
  [ 29787937623863212273 ],, [ 12324823369 ],,,,,, 
  [ 132618878092905828387311821 ],, [ 41500774519 ],, [ 8095292689249 ],, 
  [ 10599913165151891657 ],, [ 90923590811431969071301 ],,,,,,,,,, 
  [ 20340967441231616339111 ],,,,,,,, [ 989633548831223816133853138067 ],,
  ,,,,,,,,,,,,,,,, [ 214944973459441 ],,,, [ 27877819943801 ],, 
  [ 3058714279188254862787490349697830403235163 ],,,,,, [ 18397764373 ],,,
  ,,,,,,,,,,,,,,,,,,,,, [ 185317569682429621171055751176393 ],,,,,,,,,,,,,,,
  ,,, [ 111790557267091501117154292040121952156078055191 ],,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 623077812136954021 ],,,,,,,,,,,,,,,,,,,,,,,,, [ 125676913608733 ] ]);

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