Quelle  brfac2161   Sprache: Coq

BRENTFACTORS[2161]:=MakeImmutable([ ,,,,,,,,,,,, [ 232553208688529 ],,,, 
  [ 795414113773 ],, [ 6182572337 ],,,, 
  [ 1057670000016786848027012473, 436997382436113740380075527664111 ],,,,,,,, 
  [ 11651143062319260128094049 ],,,,,, 
  [ 5188236497, 4890242316096100107943640141, 
      40343235266511270489526670818293313, 
      83255630616714918475130170013673574698309403 ],,,, 
  [ 7197237499, 534833158221331, 1644092557683163991567 ],, 
  [ 856554307618232123 ],,,, [ 9417113533681478392390871783 ],,,,,, 
  [ 9203324552923, 901446619982504557607 ],,,,,,,, [ 7000741395059 ],,,,,,,,,,
  ,, 
  [ 961481340066846699277, 1072425816334470381131277408697, 
      40255069233770109871063294468119487 ],,,,,, [ 2352028175481019351 ],,,, 
  [ 815960680695551767 ],,,,,, [ 1061493260399250074719777757 ],,,,,,,,,,,,,, 
  [ 7675368637100699504211058361 ],,,,,,,,,, 
  [ 966822766519, 177423956079050377970274439 ],,,,,,,,,,,,,, 
  [ 28165473923957, 437205601858829, 233243640092761394567 ],,,,,,,,,,,,,,,,,,
  ,,,, [ 830550907139 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 9183880490645519 ] ]);