SED - Delete - Delete duplicate, nonconsecutive lines from a file

WARNING: Beware not to overflow the buffer size of the hold space, or else use GNU sed.