DECRETO Nº 4571: Se otorga el beneficio de jubilación a los ciudadanos y ciudadanas que allí se indican.