Quelle  brfac3803   Sprache: Coq

BRENTFACTORS[3803]:=MakeImmutable([ ,,,,,,,,,, [ 1473880277 ],,,,,, 
  [ 24691562552373559 ],, [ 6896290403087, 943758271589069 ],,,, 
  [ 343796270161 ],,,,,,,, 
  [ 3190644497, 284990998504272201530089, 
      268571375953783130676164813345559905928835536412846257293822510741 ],,,,
  ,, [ 1025143942783482388956986993 ],,,, [ 1132165453141 ],, [ 1896088699 ],,
  ,, [ 1014811687, 638277885606425321 ],,,,,,,,,,,, 
  [ 717581339693, 1418008193401937 ],, [ 1177328725427156379987892903 ],,,,,, 
  [ 53493604001, 205434240499, 413577570278801 ],,,, [ 37296834389228435911 ],
  , [ 1633895031109591 ],,,,,, [ 315166640693, 28457245072338997 ],,,, 
  [ 6836357991523 ],,,,,,,,,,,,,,,,,,,,,,,,,, [ 954167773457 ],,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, [ 4493699095111 ] ]);