And was Leicestershire's 584 the highest total for a side that ended up losing by an innings?