#! /usr/bin/gawk -f
# Last edited on 2004-01-19 14:15:29 by stolfi

/^ *[0-9]+ [0-9][.][0-9]+ / { 
  if (NF != 3) { printf "[ERROR: %s]", $0; next; } 
  printf " %s(%5.3f)", $3, $2;
  next;
}

// { next; }

END { printf "\n"; }