Quelle  brfac725

BRENTFACTORS[725]:=MakeImmutable(
[ ,,,,,,,,,,,,,,,,,, [ 23370041395516217341 ],,,,,,,,, [ 3532235477 ], 
  [ 219515089187, 701288032554109237337435507 ],,, [ 32725704958273 ],,,,, 
  [ 9661241285833303, 654619425305441303251, 372269553588022916202796871 ],,, 
  [ 3863794949220121 ], 
  [ 264913598342813811820065173, 541603073212586469005335065919237628751551 ],
  , [ 2435011757029, 277435939371739330827148987013 ],, 
  [ 16979992517016541, 936467717734715041 ], [ 85147903392187 ], 
  [ 76885601797, 1554963207995579 ], [ 10194355393, 679351500913 ],, 
  [ 9977908901 ],, [ 5320320246867384395129667668833 ], 
  [ 21809685586845609522347, 2330068156862084868248444951109007 ], 
  [ 909053935068644821 ], [ 67960901932989290661212820630360241385522213621 ],
  ,, [ 2204290472050196172689 ], 
  [ 848316658449937, 7072727744199913361436041 ], [ 1380742773030781 ],,,, 
  [ 6439973265793, 1857331674109633, 1103480643865373246492161 ], 
  [ 1240887414238041647218335324023557922441, 
      7748697690206674235303216677529051802941 ], [ 2759235007 ],, 
  [ 24046497035069224317859007450348946450426937 ], 
  [ 2255681148460177, 1351063252395514753 ], 
  [ 22672550142761, 115748183336937800111 ], [ 92312265612011251 ], 
  [ 281778106609, 46132628083849 ], [ 327541289354556203 ], 
  [ 1447644235862470299767567963 ], 
  [ 6314996666439301, 11932080491407670981747551 ],, [ 15124743494417789 ], 
  [ 70985612918923, 11644550285690760438313 ],, [ 16734001661877600481 ], 
  [ 3034617006367 ], 
  [ 1286630351821693, 575555256753996283630519, 880875322571946322029403 ], 
  [ 562791088097710991 ], [ 69472849020023989, 614976442104604189 ], 
  [ 366693368253253271 ], 
  [ 34324558732465526897971425843491699641579080853057 ], 
  [ 108114842581140066619, 137230554844400970997963, 138613620700162046418871,
      1210388094046213535745043682611981 ], [ 70249618781010724001 ], 
  [ 27623313522194461 ], [ 7183488735957123991 ], 
  [ 2031266147, 66778292176961, 1082505431042309, 
      32370121313830288527903296768297010779312579204527 ], 
  [ 28204359181257997, 4641997499245538701 ], 
  [ 55970145330613, 418890965728453, 3750961593428873017271593 ], 
  [ 81443646287, 336936247551533807, 1537766941788095467 ],,,,, 
  [ 137596689649, 7491620095583977 ], [ 1348376801 ],, 
  [ 84840222035395439004962488936429 ], [ 2491802637554444527 ], 
  [ 120536212681 ], [ 511362456935814754411, 22442313605213798308681806524731 
     ], [ 99622834891 ],, 
  [ 2925056919313, 90474943505810235591443035591749884322241 ],, 
  [ 413873550641, 9621652546500326641, 24882718599144063327011, 
      18096348140829192279186461 ], [ 3023256044328679 ], 
  [ 28957885194595855681, 8357023454954312117281 ], [ 9693427699 ], 
  [ 26245301895414212014132259872759043769808537777 ], 
  [ 607632103957138291, 5865329363720210492441 ], [ 668076543522505683306593 ]
   ,, [ 2325368653, 2605640055440064103 ], 
  [ 99592012969, 160681243553943354796681 ], [ 8160965547603997321 ], 
  [ 1063755529, 1037938743077022337 ],, 
  [ 230862547687, 23734756844401, 72043328387317873 ], 
  [ 13107802349623049, 5540546788716049661, 142589473256110603729 ], 
  [ 11407213751, 36978140501, 2296350743133751 ], 
  [ 105625020674691034188442938035900969625073 ], [ 2946556424377 ], 
  [ 5415295489, 304872035087840641 ],, 
  [ 844674379137551, 673942498184262955811936283407768218540720411 ], 
  [ 642457834487803376201 ], 
  [ 429248234449, 4439405707621715029, 2323801402181748628129, 
      5221550569373100086703505609 ], [ 3580626561527, 286410865537226123 ], 
  [ 5926708224251483, 27726258388152661 ], [ 1878724486390951 ], 
  [ 5555520172026946716587421161 ],, [ 45568974067 ], [ 6791615517856413449 ],
  [ 19662714815612261, 27710286906290015044836464384274091936771402481 ],, 
  [ 4655196361782484492072523 ],, 
  [ 601334507978704216377195862298862000956912645157793 ],,, 
  [ 1865083662575170593613 ], [ 5705714353 ], [ 4693933544038567 ], 
  [ 4378804418936145237888888416566801, 4386813931802220428142290945300401 ],
  , [ 11451016844191703561 ],, [ 316645440532893445736219227 ],, 
  [ 19449186901, 511572816301 ],, [ 6813496411 ],, [ 14775159552210241 ],, 
  [ 45159795217, 21354948184578021903619658123047 ],, 
  [ 84089332108849, 6470158449713377, 22633694746112844629811752908913 ], 
  [ 659661678293971 ],,, [ 643820565414127264095344250009361 ],,, 
  [ 11010850931943739, 52544690420129407 ],,, [ 62217827532724336926213109 ], 
  [ 24575007811988201 ], [ 8096706641 ],, 
  [ 2866582654253, 320799894834317333, 29311955697171869203039 ],,,, 
  [ 4512699647, 18247492369678875255983941 ],, [ 49509457567169 ],,,, 
  [ 72844447333897 ], [ 1928520469, 48181601731647207853 ],,, 
  [ 5165978497, 36331326153601, 63993339797092609, 56852083102647935878273, 
      20695714331561536292896968057409 ],, [ 198627712279 ], [ 2728619740081 ]
   ,,, [ 39748553659 ],, [ 2514281443927801 ],, 
  [ 708718894420380525676473513971 ],, 
  [ 10173672630469, 832315179132782273878129, 2102280346139949358516057 ],,,, 
  [ 211302271935457, 227521985658195073, 104492955768307375777 ],, 
  [ 6144275551, 68823815125896334928002571841403626121 ],,,,,,,,,, 
  [ 3938371160495948424169301161 ],,,, [ 1169980202497 ],,,, 
  [ 76152221740717, 1055171129338986913105549 ],, [ 6813548453071 ], 
  [ 4201774137182185873 ], [ 249016209415681 ],,,, 
  [ 7000672849, 1605116450513 ],, [ 2109251189986627, 7582172693297688404773 ]
   ,, [ 109105529041, 1815652765640881 ],,,, [ 6151473484577 ],, 
  [ 150160863940429 ],,,, [ 86091069425445751 ],,,, [ 36238896556099 ],,,, 
  [ 5700295603, 155536739899, 573163783330087 ],,, 
  [ 159474439981, 185247400717, 134451093148774219, 17015498975504153331001 ],
  ,,,,,,,,,,,, [ 404348888978832030367 ],, 
  [ 1436162493421, 49636901647721893 ],,,, [ 18603725266561 ],,,,,,,,,, 
  [ 462073314034681 ],,,, [ 44439102598012528197709 ],,,,,, 
  [ 261466015846708699611601, 59100768364036698383639082901 ],,,,,,,,,,,,,,,,,
  ,,, [ 82761839252801 ],,,, 
  [ 26040762726661, 20013532709497417, 207145563558027337 ],,,,,, 
  [ 2674517442401971 ],,,,,,,,,, [ 22530101629270796201 ],,,,,,,,,,,,,,,,,,,,,
  ,,,,, [ 58053690973, 26569750790985931 ],,,,,, [ 3827123353 ],,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, [ 8110298281 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,, [ 3431580301, 18527686418251, 22240310034601, 5103798683304321001 ] ]);