#! /usr/bin/gawk -f
# Last edited on 2025-12-28 16:14:49 by stolfi

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

// {
  if (NF != 2) { data_error("bad format") }
  ct = $1; woe = $2
  we = woe; gsub(/^[OK!]*[:]/, "", we)
  wa = parse_elword_into_cmc_pats(we)
  printf "%12.6f %s\n", ct, wa
  next;
}