#! /bin/csh -fe

set usage = "$0 PUZZLENAME"

set puzzle = $1; shift;

if ( $#argv != 0 ) then
  echo "usage: ${usage}"; exit 1
endif

ls -d [0-9][0-9][0-9][0-9]