{ if ($1 != size) print ""; size = $1; print $0}
