#!/bin/sh

sed -n '/^<1>/,$p' | \
awk 'BEGIN {RS = ""} {if (length ($2) == 3) print $1 ":	" $3}' | \
sed -e 's/<[13]>//g' -e 's/\^//' -e 's/(-*[0123456789]*\/-*[0123456789]*)//'