Após decisão do Supremo Tribunal Federal, juiz manda soltar ex-presidente Lula