The stated jackpot isn’t just before tax, it’s the future amount that it would be worth after collecting interest for 30 years.