Real hammer prices from 24,792 art lots that closed at auction. Not asking prices, not estimates — what someone paid.