Auction encodes Diego's long-running-process distribution algorithm