In 2020, Nitai (age 40) contributes 10 percent of his $100,000 annual salary to a Roth 401(k) account sponsored by his employer, AY Inc. AY Inc. matches employee contributions to the employee’s traditional 401(k) account dollar-for-dollar up to 10 percent of the employee’s salary. Nitai expects to earn a 7 percent before-tax rate of return. Assume he leaves the contributions in the Roth 401(k) and traditional 401(k) accounts until he retires in 25 years and that he makes no additional contributions to either account. What are Nitai’s after-tax proceeds from the Roth 401(k) and traditional 401(k) accounts after he receives the distributions, assuming his marginal tax rate at retirement is 30 percent?