STF pode liberar 3 mil presos