BRENTFACTORS[6257]:=[ ,,,,,,,,,, [ 16690575089 ],, [ 11947358827 ],,,, 
  [ 11509495220646047 ],, [ 143768228987, 1828111658293 ],,,,,,,,,, 
  [ 1196923439, 1170985441743421, 6939314294469191993468621540387711, 
      96831769588298670858901304952527797 ],, 
  [ 508249662433958793473127359074269736420091, 
      4104574413544585330480261330261022772179072354065651217111323838467049 ]
   ,,,,,, [ 233759740373449 ],,,, [ 535123271966646615384496050806401 ],,,,,, 
  [ 7846228972583891, 60451004967364330489 ],,,,,,,,,,,, 
  [ 9127760287666412719 ],, [ 1629863759 ],,,,,, [ 179862872973946400179 ],,,,
  ,, [ 166113852353, 3981251534455175699, 88262316995128911237687409420919 ],,
  ,,,,,,,, [ 1691226268291867 ],,,,,,,,,,,,,,,,,,,,,,,, [ 12356368561 ],,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, [ 3297412628791 ],,,, 
  [ 348170196486323 ] ];
