Ya obtengo el mismo tamaño de salida
Supuestamente ya funciona el estenografeo
Aun no funciona el desestenografeo