Supercomputador brasiliense já ajudou a ressarcir R$ 22 bilhões aos cofres públicos