doc/sum_p_times_2

   1 0 0.01
   2 1 0.02
   3 2 0.06
   4 3 0.21
   5 4 0.56
   6 5 1.31
   7 6 2.75666666666667
   8 7 5.37
   9 8 9.74333333333333
  10 9 16.8566666666667
  11 10 27.65
  12 11 44.3466666666667
  13 12 68.25
  14 13 102.953333333333
  15 14 150.533333333333
  16 15 214.53
  17 16 300.9
  18 17 418.366666666667
  19 18 567.703333333333