Real hammer prices from 415 real estate lots that closed at auction. Not asking prices, not estimates — what someone paid.