Ex-presidente foi posto em liberdade após Supremo decidir que um condenado só pode ser preso após o trânsito em julgado