Sorry for the weak resolution criteria - open to any suggestions for concrete sources I should consider using. I should have better anticipated a world where there would be a large range in estimates, with no unambiguous authoritative source.

@venki how is this being measured?

@polymathematic I'm not quite sure, I'm going to need to end up finding better sources, open to ideas from commentators.

Estimates seem to range 50k-290k.
I would not by default include buy-outs, but only other cuts or layoffs, that do manage to sustain past any court orders.