o governo brasileiro gastou R$ 745