Notes
5-min easy jog warmup (not recorded).
9km @ 4:00 pace, 1km @ 3:45.
5-min easy jog cooldown, slowing to a walk.
On a treadmill (-30 outside, no thank you), so the Garmin paces are off - it always underestimates. Of course, the TM always overestimates, so it's a bit ish. 36 min at TM setting 9.5, 3:50 at 9.8 seemed close enough.