#! /usr/bin/gawk -f
# Last edited on 1999-01-05 09:03:39 by stolfi

# Recreate the unit-to-useq table from the INDEX index
# Usage: get-unit-to-useq-table < INDEX > unit-to-useq.tbl

BEGIN { FS=":"; }

(NF>0) {
  if (NF != 8) 
    { printf "line %d, bad format\n" > "/dev/stderr"; exit 1; }
  printf "%s %s\n", $2, $1;
}