#! /usr/bin/gawk -f # Last edited on 2025-12-25 12:18:39 by stolfi /^[ ]*([#]|$)/ { next; } // { if (NF != 2) { data_error("bad format") } ct = $1; wd = $2 woe = parse_elword_into_okoko_pats(wd) printf "%12.6f %s\n", ct, woe next; }