Verify race #1

Every value below was published before or during the race. Recompute the whole chain yourself — this page runs the exact same code the site does.