doc/sum_times_1

   1 0 0.0833333333333333
   2 1 0.306666666666667
   3 2 0.766666666666667
   4 3 1.53666666666667
   5 4 2.80666666666667
   6 5 4.59666666666667
   7 6 7.19
   8 7 10.4933333333333
   9 8 15.04
  10 9 20.4233333333333
  11 10 28.2966666666667
  12 11 37.8366666666667
  13 12 49.5766666666667
  14 13 63.53
  15 14 79.2566666666667
  16 15 97.35
  17 16 120.663333333333
  18 17 147.733333333333
  19 18 177.416666666667
  20 19 209.35
  21 20 249.79
  22 21 289.31
  23 22 340.383333333333
  24 23 399.143333333333
  25 24 460.87
  26 25 529.553333333333