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

Quelle  brfac127

  Sprache: Text
 

BRENTFACTORS[127]:=MakeImmutable([ ,,,,,,,,,,,, [ 12346432697 ],,,, 
  [ 75755912653 ],, [ 496833428679257 ],,,,,,,,,, [ 36157263917 ],,, 
  [ 1307345761 ], [ 8311112557368919 ], [ 217818765181 ], 
  [ 11025750352252231 ],, [ 190074632153321 ],, [ 650530718917 ], 
  [ 81959617841 ],, [ 1582188133 ], [ 893400363140034775905603783134249 ], 
  [ 118965659297 ], [ 330557521712355361 ], [ 151999984377851 ], 
  [ 332545242174719239866237860155585866066917 ],, 
  [ 18686540212175468877077 ], [ 678846861844951 ], 
  [ 197257147313300803608557 ], [ 6056266006986013973233019606657 ], 
  [ 28893826634216187737210430548227310385386208583037
      217171599055284644648798525834594580991825499758079 ], [ 50151629413 ],,
  , [ 9303725479962216624078161 ],, [ 2000368650011 ],, 
  [ 771057958116765880907920537
      4561764611500668699638496177119953507590109034017
      484659285270119194936449216246169915874829114597769 ], 
  [ 200709171363979361851401383378507 ],,, 
  [ 125510035093415641537856829701861 ],,, [ 724924173209 ], 
  [ 1046515103329777 ],, [ 60282239203857486970163979665542255612936629 ], 
  [ 15912860697361 ], 
  [ 550738207141805105797243
      533425173772574104429601984107242702820555058439453318223
      1725129651497713040037830226803404291644327517360848445643 ],, 
  [ 7923633276284744892863741077201 ], [ 157881497718260297 ], 
  [ 57015888229732851920682171066077 ], [ 12798328272659376877 ], 
  [ 49982089879
      943326956280444762856684055655934358581782075293347450640637871 ],, 
  [ 572390023581131735252202572956880341653229075526433896247633 ], 
  [ 5628878992403 ], 
  [ 2300288493716305880139117680346450029
      11016944003114709651439322162064969767435467830332958331187 ], 
  [ 39916701734466439433009 ], 
  [ 1690385549281805080343298044478481429900888115921 ], 
  [ 28906455934501813 ], [ 446531345211557904785345216551 ], 
  [ 88791100001023313448835367392450257 ], 
  [ 49516449411062572030851112220858620071438349141771916117092087379143599 
     ],,, 
  [ 1628288370892961563750546209535938075851752343641360861
      1428794523798105682660794839523030177653 ],,,, 
  [ 2515603719612228063460334260624417 ], 
  [ 22163061169370963
      2669288262465371351142217904830390312669440703472876824768621 ], 
  [ 52676266890584559569374166011295178895844031939 ], 
  [ 458001535283180431081545736733698903585496262306671
      1679877664122392597217657853 ], [ 437785964121601 ], 
  [ 2813982313947989
      775282272472731718259861326419280186815415282607454895868265815960602934\
39615571539 ], [ 13412391399661175216878946177 ], 
  [ 64093545761111403142877573963000299739613888219 ], 
  [ 13402731828796002509636041 ], 
  [ 736183187881437451782887963621214485585618494964901 ], 
  [ 392556458179 ], 
  [ 4484161342360312416117206517917
      805844980755184303074789047450029080808385302121960517970444522982374628\
442566923 ], [ 4321823454210662138659213 ], 
  [ 685750073759455024199354313705843407505158907947
      108874407713937727722950075070111986884090674751196969269 ], 
  [ 4572981370647096705264191969354381 ], [ 6468487433431571269 ], 
  [ 59342280593220605102449809841139617284659447435451297 ], 
  [ 30204176817799788025723452470147216963683089
      4552333957070516601589535658152869
      140181581203042574337271028133337517940041111878369 ], 
  [ 777113699893201798314943676191 ], [ 1043873401 ], 
  [ 7406646517111443745825826725875173958334200024004489907688698735629 ],
  [ 3617512049125272454501360760769503 ], 
  [ 2899564166194944071462351129467553233651982649 ],, [ 19136240073622081 ]
   ,, [ 146616074576371 ],, [ 117809094527510826152848315167786340753 ],, 
  [ 2745269227661053619938732627355671251074448484998733 ], 
  [ 1320675600886906675359917 ], [ 117704732955486399847937 ], 
  [ 5800583557500683231413251394373 ], 
  [ 1107260852799361132883279514119971 ], 
  [ 2468171798927857957899131620099601755847 ], 
  [ 345863897864282178046971367072948674519487817
      5100797424115693151260211801247879081409 ], [ 13430577007 ], 
  [ 61558453113058971019530251603966002021318451
      16972420984348240592127106032870181432067 ], [ 1558889558911 ], 
  [ 84875797634853323607104983578666306069526290378491492055513049769457 ],
  , [ 8237819623332043 ], 
  [ 32644016004171014927553708918234892713410531082982864482362039 ],, 
  [ 1359566097751142353094433235448957125964397289347 ], 
  [ 1721425193522623 ], [ 342463414723 ], 
  [ 64703291275674348045138635795778666728171554193 ], 
  [ 1143772354118614537766128771 ], [ 4468785319632060206517659 ],, 
  [ 1245295450235759311496898801653 ], [ 5122271924095989840455289 ], 
  [ 717165800010384144451 ], [ 121822452850129141051780820060939 ], 
  [ 7314712870132997062769422390615721
      123489177429385256865056210235185555582434668768522785089 ],, 
  [ 653226990968226816818232608483017321968137660628643 ], [ 93346676692721 ],
  , [ 10982397860297017371027460452991519514688867972656947663 ],, 
  [ 325204193011 ], [ 212986024536641 ],, [ 12257508599461 ], 
  [ 561869887763627191543165806801608951538043614301917805833 ],, 
  [ 7171749158971245611713047994194157316283127023456410261 ], 
  [ 214995244833475455720827452837323 ],, 
  [ 925135505297260647797214639118834169170146038668760259513
      3323719345393995066763045457630894641 ],, 
  [ 14252952571148936775864958076913203865901972668945228961 ], 
  [ 302174569909 ], 
  [ 1951537440694780955316284508390102522154049
      156931199549156315012096125454174778941603760196390801981 ], 
  [ 1209275537 ], [ 16355338811529477670278618991193107846565895663540609 
     ], [ 96198154514644109947355201 ], 
  [ 44594385645083231314087926038209432529 ], [ 13598364759997 ], 
  [ 270828327169 ],,,, [ 24648290394175845671750824654065843 ],, 
  [ 1870878511321593841438607549447744649816778466038433
      322606731896586810213658201048409377 ], [ 29712689398715381 ], 
  [ 61931494279184257033636780297627866291141
      102776509397975997628859239932734268345169 ],, 
  [ 29403087516299747979260822597294184350819089940254216533328937
      662190892773102290726414789574125953699350616316855912513170442210997 
     ], [ 2755246207897 ],, [ 1699016166955310491856340037 ], 
  [ 3632717088822124953824926702452815464649831489
      70715244631149865201047737865820245889 ],,, 
  [ 38377993100222101412138797374531828641 ], 
  [ 89684736245406046532425623224486196296173 ], [ 1832625203 ], 
  [ 9071534539 ], [ 3992162899178697437356415749473971441554431357181 ],,,,
  , [ 1621737779593 ],,,,,, [ 788996205441477324551401 ], 
  [ 2990127956922054333455948401313838513991 ], 
  [ 592979539711185284507761909 ],, [ 360004451434190737645127 ],, 
  [ 5067991496344975394361410658472954055777 ],,,, 
  [ 1482992556099844059613145089071651425360481052801750540661283593906021 ]
   ,, [ 5640607019665507 ], [ 943464199127 ],, [ 24931059301 ], 
  [ 17014206294488681 ], 
  [ 4194236375276438504147979467810364187491509943
      5743752032840057495322307 ], [ 6668335182060043183208917 ], 
  [ 5735374159464480846561545269117193 ],,, [ 157501598575407233906713 ],
  , [ 1222822459350783147532496122672000934729899199949010003
      1391160143870242282259131267 ],,,,,, 
  [ 142398400811654916491681
      10045038748805420182303844296353947753247131918881 ], 
  [ 37032456343792034920992263972339698904526421369513221400318103
      50971151070915036170657889659142580515431341451616361559153101 ], 
  [ 11637794532156143529 ],,,, [ 4495381245874738476922837 ],,,, 
  [ 2582231100125706982557031522208677001 ],, 
  [ 18641017091522338369972159754277123463607705697 ],, 
  [ 267590103252555719351094711525238541798558622809202213
      901120300338848572182407624796150488794476862886791897154669438064262489\
874893794637208428297110791 ], [ 8820779829954011340362540205305397453611 ],
  ,, [ 88273218467894566819 ],, [ 1428711181233080935881 ],,,, 
  [ 16763701681473855369428376416925437828193494205950913
      37219634638919811896238194401539574269847249553732795938167089 ],, 
  [ 11217140297669083 ],,, 
  [ 95185507205906323142940373054577221968077818413 ], 
  [ 452419190088201161989322396050835128199028776758266672281767913310531 
     ], [ 206131905599 ],,,,, [ 9936907723153 ], 
  [ 5980082707571851576495572476220817 ], [ 109712607361273817 ],, 
  [ 131973094681280431758208118708454772014841 ],,, 
  [ 6072207047994512918528179417595113432385923222938123453362989 ], 
  [ 2971454797295309635817733434025335689475957 ],, [ 22090672033 ],, 
  [ 308863604384246123945990454817 ],, 
  [ 4130016731515447365914951540335221 ],, 
  [ 603478627441993493869583983893886915221 ], [ 214905008257 ], 
  [ 98300863924117 ],,,,,,,,,,,,, [ 438100539259963 ], 
  [ 23869469962913325712546072996917 ],,,,, 
  [ 39792781931816853086930148601665005505900217468305798489411 ],,, 
  [ 1501732489 ],, [ 12435326083 ],,,, [ 79618399247086164223922063648943 ],
  ,,, [ 1766529079563481267 ],,,, 
  [ 1280435096491287322509298151111882130090945192261
      153634732962277800922120895395167930091 ], 
  [ 208921568142477869374181578632156125579217852953152219507 ],,,,, 
  [ 23173651091394735059441198101361 ],, [ 1446329104145641 ],, 
  [ 4418216701 ],, [ 2094580952832845091467161829 ],,,, 
  [ 17133545629498128888329 ],, [ 207129790294753 ],,,, [ 4639178088182177 ]
   ,,,,,,,, [ 158944490122972321 ],,,, [ 803689192561529 ],,,, 
  [ 5049584922881 ],, [ 119148190539913938609911 ],, 
  [ 2212291441469551926407046209 ],, [ 18831474091 ],, [ 345551127833 ],, 
  [ 49284252513073416568087 ],,,,,, [ 2275405711193473 ],, [ 613644090967 ],,,
  ,,,,,,, [ 303540749423533513 ],, [ 7502008500832064947715913 ],,,,,,,,,, 
  [ 3240232777 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, [ 544408642801 ],,,,,,,,,, 
  [ 877461628512284112188490851505238509122176251 ],,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,, [ 588714871784161 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 135103531211902136354801 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,, 
  [ 1150734956382120295528491031276781
      257143643357021296867283342728677200521 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 2457194457865417 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 1224035671034695201 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 56433468163458449337105217 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 199739271601 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  , [ 12366820734624576129166399436889853041971136675446943024243201 ],,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,, [ 84269804256118440982626881 ] ]);

¤ Dauer der Verarbeitung: 0.13 Sekunden  (vorverarbeitet am  2026-06-29) ¤

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