#!/usr/bin/awk
# (c) Copyright 1995 James H. Lowe, Jr.
#$Id: shak_restset_v 1.1 1996/12/21 14:16:52 jhl Exp $

# Reads stdin and copies to stout every header that is
# the latest for a given dump level


BEGIN {
	getline x	
	split (x, arr," ")
        type=arr["7"]
	oldtype=type
	oldline=x
}


{ 
	split ($0, arr," ")
        type=arr["7"]
	if ( type != oldtype ) {
	     print oldline
        }
	oldtype=type
	oldline=$0
}


END {
        print oldline
	exit 0
}


