#!/bin/bash

dvi2tty $1 | tr -d "['~]" | head -n 200 | tr '\n' '\t' | sed 's/\* *\t *\*/\n/g' | sed ':a; s/\t[^\n]+\t/\t/g; ta'  | tr -d '\n' | tr '\t' '\n' | grep -o '[A-Z][a-zA-Z 0-9()]*[ .]*[0-9][0-9]*$' |  sed 's/[ .]*\([0-9][0-9]*\)$/\n\1/'