print-nonduplicates.pl