#! /usr/bin/gawk -f
# Last edited on 2002-02-23 16:06:00 by stolfi

/^[#][#] *[0-9]+[-][0-9]+ *$/{
  n = $2;
  prev = "";
  next;
}

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

//{ 
  gsub(/^[-.0-9A-Za-z]*[ ]/, " ", $0);
  for (i = 1; i <= NF; i++)
    { if ($(i) == prev) { printf "%s %s %s\n", n, $(i), prev; }
      prev = $(i);
    }
}