For the first part of this run, I roughly followed a Garmin workout suggestion for sprints, doing 9 x 15sec @ sub-4:00min/mi, with warmup, recoveries, and cooldown. After that, I alternated faster/slower paces for each remaining mile.