Also, the termination dates for those who were laid off in January 2023 would be around April 2023 (the layoff news came earlier due to WARN act), so the employee count as of 2023-03-31 might not include those people. This means a difference of ~10000 can be accounted for by the 2023-01-20 round of layoffs.