#!/usr/bin/awk -f
# HP20001208
BEGIN {
  old = ""
}
  
{
  if ($0 != old) {
    printf "%s\n",$0;
    old = $0;
  }
}