I would imagine that while they made the buyout eligible pool 60k employees, the actual number that they’d allow to agree would be capped somewhere below that.

That’s usually how these voluntary severance packages work.