#!/usr/bin/awk -f
BEGIN { HDLEN = 9; FTLEN = 3 }
NR < HDLEN - 1 { next }
/^$/ { nl++; next}
/^./ {
	if (nl == HDLEN)
		for (i = 0; i < FTLEN; i++)
			getline;
	else
		while (nl--) print "";
	nl = 0;
}
{ print }
