#! /usr/bin/gawk -f
# Last edited on 2025-12-25 04:35:29 by stolfi

/^[ ]*([#]|$)/ { next; }

// {
  if (NF != 2) { data_error("bad format") }
  ct = $1; wd = $2
  we = parse_word_into_elements(wd)
  printf "%12.6f %s\n", ct, we
  next;
}