Ao todo, foram liberados R$ 13,976 bilhões que estavam bloqueados