Edgar’s time for the full marathon – 3:53:57