Terminando uma pena imposta a um preso, a soltura é automática quando terminar o cumprimento? Ou o Juiz deve ser provocado para o Alvará?