mindre än 412 eller nära en tredjedel uppnått den för andra embetsmän vanligapensionsåldern