How do you know?

It would be relatively obvious from the difference between production and mining output.