Quelle  brfac800

BRENTFACTORS[800]:=MakeImmutable([ ,,,,,,,,,,,,,,,,,, [ 17462701265842577 ],,
  , [ 77401682249 ], [ 2681300297522039 ],,,, [ 12302523361801 ], 
  [ 115740633927661 ], [ 339051572081 ],, [ 11354677914422997897416591 ], 
  [ 16841268229300609 ], [ 20029218199 ],,, [ 9916707169 ], 
  [ 2032284890496795375507734315281433 ], [ 15205620245987867 ], 
  [ 934321334907340113241, 1633283521036994679841 ],, 
  [ 4056478717793, 2191620188151735572669018086020631 ],, 
  [ 7948846535602831, 20076889138436800809160471 ], [ 379432271549 ], 
  [ 218729731321, 216432464061601 ], [ 163339797858666513067 ], 
  [ 1415421263, 16808335584485560235306737 ],,, [ 107021115451 ], 
  [ 570894723956017, 8926343718034745993794818169 ], 
  [ 3224653277, 2430086033701 ], [ 290989087209786313 ], 
  [ 65647308169, 93574327541923 ], [ 7070785591 ], [ 10811470279624561 ],, 
  [ 32998587571, 450391870938425311769 ],, [ 34175604301 ], 
  [ 5767417490800591021849 ], 
  [ 37128593078273, 57841157388011, 5639042845755965287315243 ],, 
  [ 13237717121, 2906490333588353, 125093375800603131446636151041 ],, 
  [ 34801101433765921 ], [ 6698457920306660838079801 ], 
  [ 647728045642944941677, 41337202400540707229682493 ], 
  [ 1217107009, 60344553751, 8524593422096211746617 ], 
  [ 366402844361, 373660898125152401 ], [ 3230114552056831 ],, 
  [ 31661004069067604891311 ], 
  [ 2141457369212841292721, 33240535574628214235016227 ], 
  [ 39541668517021908941226884413481043623401 ], 
  [ 6607280421701497, 2593528458485879299094017946684502913 ], 
  [ 2605553509172723033 ],, 
  [ 3324308839494301848041, 2994912342323712263539927 ], 
  [ 365495396388890130107154721572641 ],,, 
  [ 465047113046487320281, 3345553534250673276737 ], 
  [ 8388200941739275406160937 ],, [ 32093949956159535523 ], [ 199537040401 ], 
  [ 7510597817053046083922614721 ], 
  [ 9422808607, 12756074466601, 22607345575337 ], 
  [ 22187786730973754536240225201 ],, 
  [ 287821548281, 71865694868972297, 8009861638493972703819689, 
      73917479930020980259958753 ],, 
  [ 163174111577, 1435248658734307011979, 169146401855728009772707 ],, 
  [ 1113281473, 5152745482177, 173378395665187777, 8222712940446321217 ], 
  [ 970647055915769 ], [ 1227033011, 35022554393 ], 
  [ 9985737169, 4475920733350855601671 ], 
  [ 340470820825301, 335272939577606735189919478539853727404601 ], 
  [ 31583647583, 33488576535913 ],,,, [ 487178068205139389404636591 ],, 
  [ 110123014993, 1371051368759 ], [ 378006532266118076552018143251448453 ],, 
  [ 72722330619854891450940994089589051 ], [ 20900145601 ], 
  [ 18089096257, 58626607013857, 
      22894474791364718303271832994403047638691997601 ],, 
  [ 1110618667, 2788342137499, 3972324351891730268973571 ], 
  [ 13595243029478401 ], 
  [ 565839156277, 855928804789, 147995952856978622369, 
      24281869979351147843577293306070204015167932849957 ], 
  [ 1982536062551326560799 ],, [ 1177130429380823 ], [ 3532788759361 ],,, 
  [ 3625550935273, 452227404744562327, 1695147185886343297 ], 
  [ 119931640601, 1074134149707317, 
      1746880577820991621146884924341965761133653593212390776823897793 ], 
  [ 18910092844751, 4271651446179421751 ],,, [ 4910714270984498714113 ],, 
  [ 31581722160693251 ],, 
  [ 536498678789452963849, 11129802059172354949426993, 
      197285859883277441255506101433 ],, 
  [ 1377994845037523, 141850117420230645841, 35855282526085443166393 ], 
  [ 11237819311, 146333361931201 ], [ 1283125729 ],, 
  [ 784651914159143299, 119886770661175660382347 ], [ 20968702943 ], 
  [ 58594960261405655921, 2434996293872221779164582126941, 
      2502174560664324231969298516901 ], [ 1117829953 ], 
  [ 144496617163, 229580275751968243, 17329152060449052091 ], [ 33747447449 ],
  [ 144168530113 ],, [ 3572502617, 294321042593, 199275944483641 ],, 
  [ 22736430589, 386301173504413, 6873096143872654719858722366497953072977, 
      821602148931174324008834867771071409587889215033013 ],, [ 8127171001 ],,
  , [ 44210812311271, 55522697597958817 ], 
  [ 3786288543731, 28174764444443, 780868810849051 ], 
  [ 60889640581751, 296047869122390911 ], 
  [ 6111861824980393, 16529719385342434395073, 15745630770589513066185767089 ]
   ,,, [ 4644980209, 8882113945786111 ], [ 10603438615367141923409281 ],,,, 
  [ 1049641657, 584207803457, 4508457375541037, 
      3243003925951292553031476410004317, 
      7138607155585276114097605002134677224276361710598789155953060047081 ], 
  [ 101959811911, 101059200117151, 99357107477738832415321 ],,, 
  [ 236552837473, 162623120080860819954244152500929 ],, 
  [ 5736409771525608645601 ],, 
  [ 3773400605653409, 82131408155084209, 221548392387875743597441, 
      499289893239259950067309, 651614114328248330102745771713, 
      1998865233427168829441464022877967417 ],, [ 147365358093533420239051 ], 
  [ 1471647552339193601, 1698546690316579601 ], [ 988757661321761 ],,,, 
  [ 490572068941, 517669594381, 2947670081821, 133910041947604921, 
      243779541776030099701 ],,,, [ 1661665361, 44313207515173057 ],, 
  [ 47265014281, 39312385172953, 70532560114715201579920988611 ],, 
  [ 1890390197, 588441077008610515825704606313, 
      168525065318781048453739286418541 ], [ 116987314879 ],,, 
  [ 5153880577, 388244750922993793, 1481246502492083926145833692468481 ],, 
  [ 99280539784783926121897 ], [ 1335639026466148561 ], 
  [ 4244342369, 7424013521, 43984938691961 ],, [ 535834575937 ],, 
  [ 20013745374401 ],, [ 3679757422806769, 19108510060396417 ],, 
  [ 1613081545903273, 
      399813301741536086163960674257619921770721494085647018178133471865412689
     ],,,,,, [ 18642038609204835537770770587924400361987971 ],, 
  [ 3029472581, 36571240068716935085657 ],,,, [ 2359132129, 256669747921 ],, 
  [ 77754303213227 ],, 
  [ 1691873041, 1317003026301196877029421, 1420981292612741787256797821, 
      17100539443444860256268169031177228741210381, 
      4250056605886579106953016317304960734906999241, 
      4513372349722813309137196376642296971682910218786069495582139937461 ],,,
  ,, [ 1127394001, 58832313751, 328672360351 ], [ 3864988624406747 ],, 
  [ 404693601181, 1046718880069, 2618012952601, 63100091374668001, 
      30771197365716579524349044528118557895798515022315144951253 ],, 
  [ 8174872778521, 128965946394275411 ], 
  [ 233483675041, 1404988241119, 407647333473106652311 ],,, 
  [ 215520020944580478975757488451 ],, [ 3457064446352597 ],,,,,, 
  [ 1647433104378231289242817 ],, 
  [ 1034979017297, 17273518583385689, 67190892206553733 ],, 
  [ 804062737932313, 1184295263328937 ],,,, [ 2528939857001 ],, 
  [ 459170313337, 9637917989617, 555297413772781, 70738016233982977869697, 
      1421257310599707029125909, 
      21150707591824467903163524837495414654890553309121 ],, [ 8134620257 ],,,
  ,,, 
  [ 19558766925101, 2545429007300506081, 373985956529633195801, 
      11594578644822032244211569341, 195997470703365485397446441941, 
      287590407264518517457994571997964701, 
      2304336221509149202944297041886970619561 ],, 
  [ 10971591649, 76290240227 ],,,,,, [ 475649353198933 ],, 
  [ 135189146881, 32278201895971 ],,,,,, 
  [ 429964478113, 110089718244738360600877 ],, [ 32419472347, 43384570971737 ]
   ,,,,,, [ 2529179041, 416267650577, 3745775676901, 57118381797625307118217 ]
   ,,,, [ 969110339731777 ],,,, [ 3276824158849, 17966860029857 ],, 
  [ 4403944777, 896145083493073 ],,,,,, 
  [ 702573525301, 255246301268469634801, 
      107247698757712687447696826871975051901, 
      4855701779887679783498470682396567754468023216625105483301 ],,,,,, 
  [ 1141700689 ],,,,,, [ 80569699393 ],,,, 
  [ 1503649661, 58230039201781, 41324102161162433 ],, [ 2249992738753 ],,,,,,,
  ,,,,, [ 235419173881, 13368503388254851 ],, 
  [ 1154724072911053, 6149514992041073 ],,,,,,,, 
  [ 2069462023673021, 166722503498711161 ],,,,,,,, 
  [ 102024302137, 15197153433589, 1860212006499719076709 ],, [ 58422491051 ],,
  ,, [ 249003884617 ],,,,,, 
  [ 31531484436481, 47453991924238561, 49251120922502641 ],,,,,, 
  [ 1048503259, 12462600121 ],,,,,, [ 13370663197 ],,,,,,,, 
  [ 10257023461, 244903627021 ],,,, [ 355330013953, 305949969916247809 ],,,, 
  [ 712680571249, 39477315736820209 ],, [ 1368983826601 ],,,,,,,,,,,,,,,,,,,,,
  , [ 5474626772779807157 ],,,,,,,,,,,,,,,, 
  [ 2044175509, 80488713980461, 4891850965700957 ],,,,,,,, 
  [ 784315786249, 2435578603253, 98263958121095941753 ],,,,,,,, 
  [ 753720974329, 4310505904807801, 165306106638462020857 ],,,,,, 
  [ 692248338050851, 22981603743250651, 6570487022474263051 ],, 
  [ 975251320129, 36571074834372225733 ],,,,,,,, [ 1625069141, 52066565101 ],
  , [ 218606212441, 1484160532933849 ],,,,,, [ 1693563169987261 ],,,,,,,, 
  [ 4632858444593, 18705726349633 ],,,,,,,,,,,,,,,, 
  [ 857219361793, 9214586585748469, 3952741841181500209 ],,,,,,,, 
  [ 1756543426156323001 ],,,,,,,,,,,,,,,, 
  [ 20589144073, 1420936249567789, 4732458055448844757 ],,,,,,,, 
  [ 85706305649 ],,,,,,,,,,,,,,,,,,,,,,,, 
  [ 9543760309, 257033546813, 207836136882301801 ],,,,,,,, [ 22742072424649 ],
  ,,,,,,, [ 1454352200857, 2247447310020264637 ],,,, 
  [ 1216437889, 837850202984569553 ],,,, 
  [ 50258392686779993, 15585188069420105137, 13863290321924947346843401 ],,,,,
  ,,, [ 1531257421, 11225191158221 ],,,,,,,,,,,,,,,, 
  [ 91394179049, 16419966474721 ] ]);