Quelle  brfac2791   Sprache: Coq

BRENTFACTORS[2791]:=MakeImmutable([ ,,,,,,,,,,,,,,,, [ 6683681159863 ],, 
  [ 125337716747, 490035735339772241 ],,,,,,,,,, 
  [ 165843677050907, 21777343688064281, 64677531578795323272831275677507, 
      12971010018303402681163219629207401 ],, 
  [ 756253161058631058527071848629, 
      10205754066881726140529306901325137169651031666799804822743713 ],,,,,, 
  [ 59789018171, 395979123426849319678117, 10587903562231990110477386196327883
        , 448576627907226059012714844922351572819731 ],,,, 
  [ 961719603024520238253942568758212879, 
      29969651564828651187433693366085431263462660941521 ],, 
  [ 95366407851680757979591, 29701127270943908361255545500470562859 ],,,, 
  [ 23708151269083, 99489092373660637, 66346185364239035852489 ],,,,,, 
  [ 32983734967 ],,,,,, 
  [ 3485298977, 2047054641483721, 8581929103861165950712775957 ],,,,,,,, 
  [ 942948180481, 579967286011088947 ],,,,,, [ 9681025817, 7578321205986571 ],
  ,,,,, [ 282472779359 ],,,, [ 9532556011433904048797 ],,,,,, 
  [ 72365190671, 1391714731277211961480771, 142590387498662678639295929 ],,,,,
  ,,, [ 77607557605427, 164743524708090617, 114333295431399962311 ],,,, 
  [ 608342308674783022049057 ],,,,,, 
  [ 10775346191, 42698245141, 6046145779027, 40418857684501, 
      593773007842869769, 1062110443771757131, 5135560728289625731 ],,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 5124622404160292017 ],,,,,, [ 1830486937 ] ]);