#! /usr/bin/gawk -f 
# Last edited on 2025-05-04 17:06:02 by stolfi

BEGIN {
  print "     count    freq lexeme                 ";
  print "  -------- ------- -----------------------";
}

//{printf "  %8d %7.5f %s\n", $1,$2,$3;}