>>605
awk または gawk で
/^[1-9]+.*$/{
if(!($1 in already_print)){
already_print[$1]=1;
print
}
}

例)a.awkの内容は上記のプログラム通り。余計な改行は入れないこと（動作が変わるので）
gawk -f a.awk a.txt > b.txt