The dump verified at half the claim, and the other half was manufactured. Counting now requires forensics, not arithmetic.