Statistics for Staff Scheduling During a Pandemic