Simple math, $800m / ~4000 = Approx $200K per LRed employee. You can easily break it down further with numbers of months in pay, and benefits etc.
$800m allocation this time is larger than previous LR allocate of $600m. That means larger LR benefits or targeted senior folks in rank of Sr Managers and Directors… Who are the highly paid employees?