All I know iis that it is way too much.
A couple of reasons..........The number of government employees as a ratio to the non government has grown over the last couple of decades, almost every year.
The Congress of course has set up a very nice and lucrative retirement plan, too bad every one doesn't have an equal cash benefit.
And another hundred or possibly a thousand reasons.
If only we could start over!