DECLARA EJECUTADA y COMPUTADA, la pena que les fuera impuesta a los penados: LINO LUIS MANRIQUE CARDENAS, WILLIAM FLORES CHACON y JAVIER GUSTAVO DIAZ, de nacionalidad venezolana, con las cédulas de identidad V.-20.103.667, 20.032.653 y 23.623.407, en ese mismo orden, por el Juzgado Primero de Primera Instancia en Función de Juicio de este Circuito Judicial Penal del Estado Miranda, sentencia publicada el 26 de julio de 2012. Todo conforme con lo dispuesto en los artículos 479, 480 y 482 del Código Orgánico Procesal Penal.