Quelle  brfac1499   Sprache: Coq

BRENTFACTORS[1499]:=MakeImmutable(
[ ,,,,,,,,,,,,,,,, [ 17787136721, 22863281437 ],, [ 613117091522752225931 ],,,
  , [ 66225985478173, 1494314498548125437 ],,,,,, 
  [ 527540924413267220870606023624765439 ],, 
  [ 3918324998802059, 4809866431395583 ],,,,,, [ 541660879211737969 ],,,, 
  [ 813769716334795826182271, 29016018032277188898767227, 
      2794181839118273675280182773 ],, 
  [ 254230099816146491393588508852370919 ],,,, [ 857846707269500089696901 ],,,
  ,,, [ 11522344903, 280081859459 ],,,,,, 
  [ 154897117223986242473932238309, 992240566071953873970638812531 ],,,,,,,, 
  [ 98900791315494642917 ],,,,,, 
  [ 1826721335633456154991171, 966061211875325350046254510129 ],,,,,, 
  [ 30696305102321, 15892652628117761 ],,,,,,,,,, [ 1028197103161 ],,,,,,,, 
  [ 78632373326874979536913 ],,,,,, [ 23687008469, 466906354819 ],,,,,, 
  [ 1536682001 ],,,, 
  [ 1236078751, 2401564367, 1276446117421, 136002754867373256430808966382211 ]
   ,,,,,,,,,,,,,, [ 915857834924567494749950853672431 ],,,,,,,,,,,,,,,,,,,,,, 
  [ 9852562123 ],,,,,,,, [ 3242866087 ],,,,,,,,,, [ 2871128872153 ],,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, [ 420007527313961 ],,,,,, 
  [ 3023710677620473 ] ]);