Quelle  brfac31

BRENTFACTORS[31]:=MakeImmutable(
[ ,,,,,,,,,,,,,,,,,,,,,,,,,, [ 1836205027201, 126901881805771 ],, 
  [ 1482570191, 11242578713 ],,,,,,,, 
  [ 152597832677, 257803457371, 386626708057, 52812493022953 ],,,, 
  [ 42481797154433176612759 ],, [ 146982701137 ],,, [ 45414448613 ], 
  [ 3128573142495569, 170942984502845969696543 ],,,, [ 1961163283 ], 
  [ 76037563733, 101686136508893 ], 
  [ 2210276655188599, 1593405992841712852324481273 ],,, [ 36004683284137 ], 
  [ 36068660903683 ], [ 1671541885847 ], [ 125693727758648407613 ],, 
  [ 50848444051, 12712081567468100953, 13578586277937589671409 ], 
  [ 35789156484227 ], [ 75077698123 ],, [ 31035996941, 5979236519649901 ],, 
  [ 447772934301264047325373, 1334574386438395108609084044317 ], 
  [ 224499664484159761 ], [ 2553526979752336381 ],, 
  [ 611127785361198601, 642443809919609072204778169817 ],, 
  [ 122840087453, 197340338942587, 833039147209543 ], 
  [ 969963587051157584202299 ], [ 997936488044528101 ], [ 2491389137 ], 
  [ 23503054499, 16169321243923 ],, [ 32846285357, 9885529552310437 ], 
  [ 136046551681 ],, [ 7066933486329661873 ], 
  [ 74824336159, 51593443404264110239768071673 ], [ 4038949965541 ], 
  [ 391206807721, 21736504684553261 ],, [ 19442411479 ], 
  [ 414407390867564627396249 ], 
  [ 194382021317865834077, 1895009826287880923167 ],, 
  [ 473516688426601, 1122399563430440797573237387545143 ], 
  [ 1955865713101, 23856848059764277 ], 
  [ 15799367012336491417, 583404661652480206661058499237 ],, 
  [ 793926617318201 ], [ 27333034608226177 ], 
  [ 116283302684682499, 30659415876357956268132360096641321155619 ], 
  [ 2932755253 ], 
  [ 36093579787, 294573316951, 215792743120601131, 3763784187326467459 ],, 
  [ 9563980073, 184896218298923, 1599299999412037121, 44399993518101033919 ], 
  [ 2796214962413636917873 ], 
  [ 1278383012006645095427, 228852111433810636140979007219, 
      3269732036867196542633009968685892492461 ], 
  [ 305688893141113, 5603212901768856193 ], [ 39849234924648425393072876341 ],
  [ 19503537629, 88387933035190440551 ], [ 514419457217157248455884625163 ], 
  [ 277477787226853, 91556360840213317 ],,,, [ 3117962927633 ], 
  [ 51677116609, 60124116791, 438407124007, 10693692662134337, 
      146745110362406117 ], [ 98595072158281 ],, [ 646550190571213 ], 
  [ 4618898267815261, 250630033376957433234617073114910871767 ], 
  [ 1048987974531167443121633837864965091749 ],,, 
  [ 11940367581816879572136129274223 ], [ 60290903116166148697 ],,, 
  [ 34869488656026169655830328179287001, 
      3221875713010580184612256701786070501 ], 
  [ 45376431752737, 1652484831253806817 ], 
  [ 3326327007387436647371529196858441, 169916043902473061206008111985174811, 
      116364063240584491858678517699024314664131179153757 ], 
  [ 13768516609, 17777097601059636481, 7231746495781123585793 ], 
  [ 5408368622183010019 ],, 
  [ 50985878321669, 492720843616088468400497945831939180277753459209351199481 
     ], [ 599382278617, 169301958609793153 ], 
  [ 775559048587, 6615999805162252631529700657218371717794350611836567 ], 
  [ 434585936689, 215725957975181, 111558400193618429, 1718795629713735456383 
     ], 
  [ 1344742561, 50358897181, 302533008751, 41572982762295483893808010501 ],, 
  [ 3217167713, 43325612951 ],, [ 12213352142636926185560832820062599 ], 
  [ 77890519715454496560396129461 ], 
  [ 433010935358974054681, 47932062894369771872977 ], 
  [ 1331988009281919919112231122509158475284430963251 ],, 
  [ 18210235769136721 ],, [ 29983589425109912405377 ], 
  [ 6585932048863895071 ], [ 144448803773715099122659251615737 ], 
  [ 31052259438863354797734840533052023885010757862396185779667 ],, 
  [ 4571726737, 33431071634797, 16807320721215137164439, 
      902502388917514064271121799, 493149751025291092907198655658081543 ], 
  [ 99253763473 ], [ 42834601810502407 ],, 
  [ 14046004014701, 608885028530064901 ], [ 141336778441 ], 
  [ 10157984348646112172529341851199, 8541835610596531596427297663871099, 
      5372383863057311316757835923344597314388270902596512521 ], 
  [ 29004567023, 1869794964827 ], 
  [ 131870338724373546822946177, 
      3561723000085796683039939504456245151097965263319 ], 
  [ 8084410241, 12229161229828123152356790761257921 ], 
  [ 986646967222146378724263038241652833546535799844509881 ], 
  [ 3170561214600937, 20561538346557397039189 ], 
  [ 23636833442687642090204656022872483400564004170238143163083 ], 
  [ 2887427517866976061 ],, [ 28344208625200288935832387786094453344539591563 
     ], 
  [ 
      645016210675573705603029646221601276101584877068874720325656790850410689804\
457735038357743 ],, 
  [ 1032424381, 5920504804553, 12391645502426330473763, 
      53144062154237462773639 ], [ 232122807601 ],, 
  [ 2337025631729, 123710288494287399090741372553 ], 
  [ 933943287947919218437631265408294267089 ], 
  [ 208898666650411, 5155437699613779037 ],,, [ 468099896569, 5587992961609 ],
  [ 6940416902143961 ], [ 1513770781, 12229312501398383 ],, 
  [ 225738235182337846036214957194197957911 ], [ 669665808855863 ], 
  [ 130355888546540681503 ], 
  [ 174885889899626761577, 70041456691391954651488935214334019188833 ], 
  [ 22909356601, 301442728121, 38012170787881, 21654345567838721 ], 
  [ 23171696419, 7513329295414649737 ],, 
  [ 12560739661, 773431790375113, 5546061664670771593 ], 
  [ 175189978713624355909, 657178775852071573297 ], 
  [ 235142933140869317522523932575601 ], 
  [ 6950506607842387499857, 423429076053946275503549 ], 
  [ 8874745729, 32191879548814246012327699627696897 ], [ 224810776469 ], 
  [ 4406505331, 410745219271559, 221919942973876941675375096852437 ], 
  [ 617235858721 ],,, [ 24763965905251 ], 
  [ 38253467123, 15417238207544724353051, 35759203106444444074859, 
      1482223332770072934811220038748099 ],,, [ 19380342702211 ], 
  [ 53780507732292545931217 ], [ 2157381990573913, 352607991704483661973 ], 
  [ 290640549491 ],, [ 16798026051215317 ], [ 6060328173121 ], 
  [ 5957505709, 964279537211, 171106718558612865601 ], 
  [ 13454000701, 18396393590821, 350121327433921 ], 
  [ 488399578466226942561033866763081271 ],,, 
  [ 155094227749, 28432105659771938587, 4197143767373257492439 ],, 
  [ 12733754041, 42926963506416779294438166608743110611361841 ], 
  [ 5978703277, 3430295651021 ],,, 
  [ 355802443222817085661, 4221639917326273950250434974921 ], 
  [ 485975954621 ], 
  [ 206950171739821, 29883177024083137, 914842491957911271373186499551 ], 
  [ 248353386469 ], [ 523694468332725375841 ],, 
  [ 1055898946867729, 6555482051012971, 
      603381002763102412489529889101585796017476365695183 ], 
  [ 15861946881000542097924949 ], [ 306232251849987913 ], 
  [ 922840837102986078301 ], [ 24049043219391687361 ], [ 816786763717 ], 
  [ 35029132682927321593, 
      12199090037830259497694286560814872697569514517589941334894537 ], 
  [ 314368909139, 5370529037337777698293, 497460623751980963639777604124549 ],
  [ 21931507729, 903087677909176579, 17123370267331917425544180721 ],, 
  [ 2493308391501436765483081, 37715904042481194672856981 ],, 
  [ 11781795397, 2744226674742050863, 
      188793462783207959556320467022417769811681 ], 
  [ 1347904553, 1646972423, 2573521409 ], 
  [ 362634922081, 69916284426778163281, 864542404017920606719201 ],, 
  [ 639322672850027, 4120259653997496636790424168931159689084668709 ],, 
  [ 9129867406769, 3138190980318677, 20601945976800054632554493, 
      80522563310759344709159766209323530487860741257208170281 ], 
  [ 29220445871, 1325489196571 ], [ 3278946967399 ], 
  [ 1319973929, 9705249971 ], 
  [ 3938289601, 270643850496354846544013607007314897553153 ],,, 
  [ 9510154061, 8638168688383156613, 20620758304317955217273951 ], 
  [ 37323324288470557, 13411579116261593044340941865967010577593 ],, 
  [ 2381039695097759303448380278229415804543905516652862157 ],, 
  [ 7181521717145072083078608601358856159842333085909766829569 ],, 
  [ 190775487976687263834219681558372322789 ],,,, 
  [ 4386282905793741721, 
      113742101847199438523030804493161724658087982584430612950057555043036672\
933 ], [ 610776616029769050409, 56961765068891482189693 ], 
  [ 6542062289677294884725761 ],, 
  [ 2611420465612378154239, 
      2036388914420022444920155074139141488540257514275002112139691567 ],, 
  [ 29680880741, 3508378789510565665283547691676271445309, 
      29721615541760946429045568290816373296349 ],, [ 5730470449021 ], 
  [ 4038231338693, 4140938940246458773037, 17020323595114043966819 ], 
  [ 3266233389553, 19220209997787857, 30405973178114557917497307276721 ],,,, 
  [ 21060989233 ], [ 135856933905724217631385492067 ], 
  [ 99191964029, 5066229717470017450893312307884927170923193, 
      2419526970395801489651318687460290643289007476288279352791930081 ],, 
  [ 2331436501821281, 1740411887732051422580111846883613801 ], 
  [ 41056939787 ], 
  [ 46498537840556983960843, 40212500195692026483824851508412206472937 ], 
  [ 17760940306273537, 9762216747176286483400788240325547 ], 
  [ 27139808789, 118312800797, 2914049253757, 726638628143814149, 
      2272196539108922545108269399621941 ],, 
  [ 161769686049971436885163, 24324654055543532347208267, 
      165583314500736666051635439760761611353664808511258727834207 ],, 
  [ 1829797906352833, 6973516274351266396950406882401117385735315201 ],, 
  [ 95543420591, 
      127233453998548593278206374608579813221732888067928792400440674094240388\
91 ],, 
  [ 74103684225257737, 188869732152531369613, 
      2710514043290461922697493635857377 ], [ 32429660448318350446344509 ], 
  [ 9561579721, 64636178950385134849 ],,,, [ 2664641127365434658583940081 ],, 
  [ 29777432504101, 3501657367414706842740228842877270821401 ],, 
  [ 79670624833, 41040781290761721176501, 430627940874360542582955923, 
      6609655468260368020702618863963858468332903, 
      3763399623865974130967450106775121736839974800719 ],, 
  [ 2693717249, 3366543416577233, 
      23902790312593369108223175840948274849075197177364131937 ],, 
  [ 78198146102753533, 
      1149848550030840109681441458473084046023279470768499643997603 ],,,, 
  [ 26849546845452641, 612582959904673441, 
      84847808038659934575069639759252239711 ], [ 5691933643219 ], 
  [ 115436220433 ],, [ 12726286401278581741 ],, 
  [ 3200946474485438889869872313 ], 
  [ 314840346714632363099380420993969557581 ],,, [ 177285860161 ],, 
  [ 9473287662796931849, 12553064438530403425347011, 
      11644101710432157824512038380551640023352668273296313 ],, 
  [ 32629720213, 32062108610721552110761410711665443052285754421710397 ],, 
  [ 12373857112470697344466465504883, 
      15822550552908200038952460176414892610830890849734536197 ],,,, 
  [ 3173617894921, 13027986803063207491231 ], [ 163167678522657395617903 ], 
  [ 445339451648657, 57891389888239403193187199418536074664373560604946073 ],
  , [ 200882920812465124237835127980279688019066554973 ],, 
  [ 48617978950487107729, 104277841808893792264266721 ],, 
  [ 72292293167200471, 39823019257380797569, 137193458500694845762439948928869
        , 268737610245964286881797550559610011676512357, 
      801327149471644745172154803563120708058953319395497 ],, 
  [ 1246112358468339440180203655945811719561 ],,,,,, 
  [ 405670828879, 530988791937281 ], [ 29320099830838391 ], 
  [ 10438779913, 1602846874753 ], [ 2868724432919 ], [ 2418095051 ],, 
  [ 136344440321, 6766051802154664547351297 ], [ 1797674429773 ], 
  [ 1972952803, 172622989918672123438021 ],, 
  [ 74809603261, 1965111048897982574593, 1982541102045257840214901 ],, 
  [ 48551112257 ], [ 1255387092657696101, 10779016741976863024847 ], 
  [ 1259350392569520313706401, 858421935541395599283570643201, 
      1221447329627064722471534277961, 9667783133425605119410155998541192601 ]
   ,,,, [ 512282817027138260652277, 30166802393724523749665741362793 ],, 
  [ 2537328442871557 ], [ 5399323819 ], 
  [ 2408066513, 31301824241, 1487662250017, 1515842933140177198097, 
      1836839958020962733249 ],, 
  [ 729537904146941, 82231433811238241, 139173404304123698745671, 
      2049403048496149542663091 ],, 
  [ 238369488913, 4227818467118098502032409617, 
      2003699564225548745892877420657, 
      6696881902877346339339237951208306682515373761 ], 
  [ 64663937905831796297 ], [ 8752362848923 ],, 
  [ 7471873838275331998921, 454755618614473491902070839897, 
      786542485583895346384652928099721, 78170098841398740186493689861387617 ]
   ,,, [ 1320236647, 13063574387, 175351725961561 ], 
  [ 27268386181, 312549733680624490635452686781 ],, [ 440346466463 ], 
  [ 261904177675963 ], [ 321034406401, 5591292875270001819199729648513 ],, 
  [ 77208042311, 359009985253 ],, [ 81165624941, 76192570612595933 ], 
  [ 29941246365965400246754591 ], 
  [ 188431581362701, 9708046814116951, 
      597342109473016326462616945691752077270495871 ],, 
  [ 50762136041, 37737969050722454420873 ],, 
  [ 803424450162799, 4040362574645024503, 27400346068326932381 ],, 
  [ 114678696529, 9293745221943733 ],, 
  [ 37736204527919, 16676521975354780663 ],, [ 593742117601 ], 
  [ 1557680491, 42843536137 ], [ 282984154567 ],,,,,, [ 12842210852731378177 ]
   ,, [ 87255650191, 146141009144381 ],, [ 8295811169 ],, [ 1234978860270061 ]
   ,, [ 1404631073, 11014021409, 7480641128031875233 ],,, 
  [ 7934116123, 282711909438510757, 157221058287745731674174689043, 
      8301618743099271925556646140791 ],, 
  [ 168927224394387368659, 182888859176722837496178593 ], 
  [ 153804599150469613, 364506813583932787489 ],, 
  [ 250406079118297, 2285746506783621121 ],,,,,, [ 61265297911 ], 
  [ 3105044681, 4559973967, 155237701543 ], [ 262798661953 ],, 
  [ 1547154449, 37591116739373, 252205554844994564166739, 
      67600716005171456994146170513 ],, [ 737959785460280753569 ],,, 
  [ 9133083420203886755465057 ],,, 
  [ 1170401857, 816848467301387, 132288513197634358891 ], 
  [ 12366913813, 272279176241 ], 
  [ 40649833819213, 3681542984909322075501313, 77833299283352164619405077 ],,,
  , [ 2107875850753, 28546195913899558273, 102910619004244172801 ], 
  [ 105794967264391 ],,, [ 23648465806718506529, 385119537751758936697 ],,,, 
  [ 1348915338405903577, 320412322755203944285620001 ],,,,,, 
  [ 427813176370045109029 ], [ 238770772016186426271823537 ],, 
  [ 39076487041, 7032854624613541, 33771166594377781 ],,, 
  [ 1880289895387859281, 37728054414298007823493, 6044477991266432066612797 ],
  , [ 68128595261, 377849251472362551554891 ],,,,,,,, 
  [ 31771511995653359918349307 ],, 
  [ 330991018976905188481, 11282208020367154665601 ],, 
  [ 1916931353, 39272856487859, 275028298754105878103 ],, 
  [ 8547867857, 6045052521839057, 608118746691712443682529 ],, 
  [ 250520096864154277, 3636085676457841485097717 ], 
  [ 380260554467939, 238088060707451978057 ],,,, 
  [ 14778928747111098460992589925629 ],,,,,,, [ 1212920794478689 ], 
  [ 2437861507, 3709699145817671087 ], [ 5637075001 ],,, 
  [ 4610121757, 812038021517419 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,, 
  [ 320852851939, 1024143471271, 14301952851224827, 6611897901441462103 ],,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 1622215825561, 22847166875905515593801881 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, [ 2964812636681892349 ],,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,, [ 152076492859799, 3980370877236345050213 ],,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, [ 8731223789611 ],,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,, [ 21879339961, 95588479477050616065793801 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 76444602271381, 354161485969741 ] ]);