La orden de liberación del expresidente brasileño debe ser autorizada por la juez que se encarga de la ejecución de la sentencia, Carolina Lebbos, aunque la ley no estipula un plazo específico