Shell Programming and Scripting

I have a data file with over 500,000 records/lines that has the header throughout the file.

SEQ_ID Name Start_Date Ins_date Add1 Add2
1 Harris 04/02/08 03/02/08 333 Main Suite 101
2 Smith 02/03/08 01/23/08 287 Jenkins
SEQ_ID Name Start_Date Ins_date Add1 Add2
3 Norman 03/02/08 03/02/08 14 Florida Suite A
4 Stephen 04/10/08 01/23/08 200 4th St 3rd Floor

There is no particular pattern to where the headers maybe in the file. How would I go about it. I assume it will be a grep then remove the files and deleting the spaces but I am not sure of how to do that as well as getting the loop to stop or do it as a one line command?

Code:

grep -v "SEQ_ID .*" filename

Another one:

Code:

awk '!/SEQ_ID Name Start_Date Ins_date Add1 Add2/' input > output

Code:

grep '^[0-9]' file