#! /usr/bin/gawk -f
# Last edited on 2000-01-22 23:06:58 by stolfi

//{
  if($9!=s) { if (nf > 0) { prt(); } s = $9; }
  nf = NF-1;
  for (i=1;i<=nf;i++) { n[i] += $(i); }
}

END {
  prt();
}
      
function prt() {
  if (nf > 0) 
    { printf "    ";
      for (i=1;i<=nf;i++) 
        { f = (n[i] == 0 ? "." : sprintf("%d ", n[i]));
          printf "%7s ", f;
        }
      printf " %s\n", s;
      for (i=1;i<=nf;i++) { n[i] = 0; }
    }
}