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