#! /usr/bin/gawk -f
# Last edited on 2025-07-07 23:21:55 by stolfi

BEGIN { nf = 0; }

/^@section 2 {day}/ {  
  nf++;
  printf "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~\n"; 
  printf "#FILE %04d\n", nf;
}

//{ print; next; }

END{ printf "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~\n"; }