Quelle  brfac4201   Sprache: Coq

BRENTFACTORS[4201]:=MakeImmutable([ ,,,,,,,,,, [ 13718853721 ],,,,,, 
  [ 6714720663481, 3874407721288393 ],, 
  [ 21183484533250471, 144810715167351018403 ],,,,,,,,,, 
  [ 714072427647140033, 421916171233818120338993, 17894174773145604645601343, 
      894224063104386206532595399583993 ],, [ 8287788065056146037 ],,,,,, 
  [ 24759189640091, 309875754348187451, 147547840612153364113, 
      5521506159440209795694341075141, 
      29627787148511175773763534813121064273052762821 ],,,,,, 
  [ 121349038897, 505432381147 ],,,, [ 49055716739 ],,,,,, 
  [ 414028599737978071396863312638316149, 
      2343364749089161930028842766562711046477 ],,,,,, 
  [ 21442474130018609233 ],, 
  [ 169846470787649, 63563161074911341, 12274246852032555983705669 ],,,,,, 
  [ 2847049627, 1932390152473419151, 13340008525106626068439, 
      213304823533396551682021 ],,,, 
  [ 1189195961617, 1830140539153, 170068991654801711, 5393267862334266512459 ]
   ,, [ 418741217644419304981, 328810484869555204337977 ],,,,,, 
  [ 8938176923161 ],,,,,,,,,,,,,,,,,, [ 4446942638816011 ],,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,, [ 7911272977 ] ]);