Quelle  brfac2081   Sprache: Coq

BRENTFACTORS[2081]:=MakeImmutable([ ,,,,,,,,,,,, [ 30170040161 ],,,, 
  [ 204103037273 ],,,,,,,,,,,, 
  [ 2665334783131, 44630474334836999392986549034978489, 
      116303212267314336172780783343254016605329389 ],, [ 12609285527 ],,,,,, 
  [ 30143330053, 3829520716701986491586827817, 
      1768876374848936410767629345550036718114622359833758274638093547937 ],,,
  , [ 212296347131840718396451393 ],, [ 31780786884715889 ],,,, 
  [ 269998957803758791936101797 ],,,,,, 
  [ 17955571186849, 64107774976226083, 15078639279615159581867, 
      291066760159299317203402950577, 6098468761876764536753699435753, 
      10771784153505941481021417702797331305739391494055103112311 ],,,,,, 
  [ 376283260360780117655437010347, 618751986494932442245668864750079 ],, 
  [ 6496106063 ],,,,,, [ 32299989343597 ],,,, [ 6053504621371 ],, 
  [ 2089552990893349509869017, 3391217804076183878014617173 ],,,,,, 
  [ 431007157318343 ],,,, 
  [ 14245090303, 1024601779942387, 305230073212841390211419 ],,,,,, 
  [ 33824120167, 919331318821, 56780132987429801237, 
      682061426323587444014283294061, 1570547528336437808944752212187541 ],,,,
  ,,,, [ 368913512513697761 ],,,, [ 43803007343519837471761 ],,,,,, 
  [ 2796462816018737, 4417660931676882451 ],, [ 712728606169 ],,,, 
  [ 5459445869805107 ],,,,,,,,,,,,,,,,,, [ 2618947871143, 72996614353708609 ],
  ,,,,,,, [ 122898087379, 33363860422767987109, 4118806225417749624699691 ],,,
  ,,,,,,,,,,,,,,, [ 79950829151 ],,,,,,,,,, [ 1122236327 ],,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, [ 7222383115600758529 ] ]);