80% by the end of 2029. Actually 77% but average age at retirement bumps it up to 80%.

That was before the fourth listers retirements get included.