Some more discussion: https://news.ycombinator.com/item?id=47914350

Those 5k times are insane - to run a 13:42 5k at 35k in is just mind-blowing….