#! /bin/csh -f
# Last edited on 2004-02-23 15:29:18 by stolfi

egrep '[`][0-9]' \
  | sed \
      -e 's/\([^0-9]\)\([`][0-9]\)/\1|\2/g' \
      -e 's/\([^÷]*\)[|]\([^÷]*\)[|]\([^÷]*\)/\1|\2÷\2|\3/g' \
      -e 's/\([^÷]*\)[|]\([^÷]*\)[|]\([^÷]*\)/\1|\2÷\2|\3/g' \
      -e 's/\([^÷]*\)[|]\([^÷]*\)[|]\([^÷]*\)/\1|\2÷\2|\3/g' \
      -e 's/\([^÷]*\)[|]\([^÷]*\)[|]\([^÷]*\)/\1|\2÷\2|\3/g' \
      -e 's/\([^÷]*\)[|]\([^÷]*\)[|]\([^÷]*\)/\1|\2÷\2|\3/g' \
      -e 's/\([^÷]*\)[|]\([^÷]*\)[|]\([^÷]*\)/\1|\2÷\2|\3/g' \
  | tr '÷' '\012' \
  | revbytes \
  | sort -t'|' +1 -2 \
  | revbytes \
  | gawk -v FS='|' \
     ' // { printf "%44s|%s\n", substr($1,length($1)-34), substr($2,1,35); } '