#! /usr/bin/gawk -f
# Last edited on 2026-04-07 13:50:36 by stolfilocal

BEGIN { split("", hist); maxval = -1; totct = 0 }
/[0-9][:]/ {
  ct = $1; val=$2
  gsub(/[:]/, "", ct)
  gsub(/[,].*$/, "", val)
  gsub(/[(]/, "", val)
  ct += 0; val += 0
  while (maxval < val) { maxval++; hist[maxval] = 0 }
  if (hist[val] != 0) { bummer() }
  hist[val] = ct
  totct += ct
  next
}

// { bummer() }

END {
  cumct = 0
  for (val = 0; val <= maxval; val++) {
    cumct += hist[val]
    printf "%6d %8d %8d %6.1f\n", val, hist[val], cumct, 100*cumct/totct
  }
}