#!/bin/sh
SCRIPT=`basename $0`
die() {
   echo "Usage: $SCRIPT FILE"
   echo "$*"
   exit 1
}
[ $# -eq 1 ] || die "Found $# ARGS not 1"
[ -f $1 ] || die "No FILE $1"
grep "@@" $1 | sed -e 's/[^@]*@@//' -e 's/@@[^@]*//' | sort | uniq
