So do/did these government retirees put in to SS? I know my Aunt (teacher retirement but not a teacher, a county board of education data center worker) and my bosses father in law (US Customs) did not and don’t get SS hence their govt retirement is all they get.
I suspect people that pay into SS are putting more up for far less than those that receive government pensions which in many cases never required any contributions.