If someone had $10k in a Roth 401(k), $10k in a traditional 401(k), and $10k in an after-tax 401(k) (which has $5k in contributions and $5k in earnings), how much money rolls over to a Roth IRA and how much rolls over to a traditional IRA?