doc/sum_times_4

   1 0 0
   2 1 0.00333333333333333
   3 2 0
   4 3 0.00333333333333333
   5 4 0.00333333333333333
   6 5 0
   7 6 0.00666666666666667
   8 7 0.0133333333333333
   9 8 0.01
  10 9 0.0133333333333333
  11 10 0.0166666666666667
  12 11 0.02
  13 12 0.02
  14 13 0.03
  15 14 0.03
  16 15 0.04
  17 16 0.0433333333333333
  18 17 0.06
  19 18 0.06
  20 19 0.0733333333333333
  21 20 0.0833333333333333
  22 21 0.1
  23 22 0.11
  24 23 0.13
  25 24 0.14
  26 25 0.16
  27 26 0.18
  28 27 0.2
  29 28 0.226666666666667
  30 29 0.26
  31 30 0.283333333333333
  32 31 0.31
  33 32 0.343333333333333
  34 33 0.38
  35 34 0.413333333333333
  36 35 0.46
  37 36 0.49
  38 37 0.54
  39 38 0.596666666666667
  40 39 0.64
  41 40 0.68
  42 41 0.75
  43 42 0.796666666666667
  44 43 0.86
  45 44 0.93
  46 45 1
  47 46 1.06
  48 47 1.16
  49 48 1.21666666666667
  50 49 1.32
  51 50 1.39333333333333
  52 51 1.48666666666667
  53 52 1.57333333333333
  54 53 1.70333333333333
  55 54 1.79666666666667
  56 55 1.93
  57 56 2.02666666666667
  58 57 2.15
  59 58 2.26
  60 59 2.43666666666667
  61 60 2.52
  62 61 2.66
  63 62 2.84
  64 63 2.98333333333333
  65 64 3.14
  66 65 3.32666666666667
  67 66 3.45
  68 67 3.65333333333333
  69 68 3.84666666666667
  70 69 4.06333333333333
  71 70 4.22
  72 71 4.50333333333333
  73 72 4.62666666666667
  74 73 4.86666666666667
  75 74 5.13333333333333
  76 75 5.33666666666667
  77 76 5.57333333333333
  78 77 5.91
  79 78 6.11666666666667
  80 79 6.41333333333333
  81 80 6.69666666666667
  82 81 6.97
  83 82 7.26333333333333
  84 83 7.65
  85 84 7.86333333333333
  86 85 8.2
  87 86 8.56
  88 87 8.96333333333333
  89 88 9.25
  90 89 9.80333333333333
  91 90 10.03
  92 91 10.4633333333333
  93 92 10.8233333333333
  94 93 11.2266666666667
  95 94 11.6733333333333
  96 95 12.23
  97 96 12.5366666666667
  98 97 13.1566666666667
  99 98 13.89
 100 99 14.19
 101 100 14.5466666666667