#!/usr/bin/awk -f
!seen[$0]++