Verifier Note: Re-timed to 00:42.576 / For future runs don't ADS into a swap , makes it more annoying to time.