You can't know, it's kept in a secret. But given the input data - you just have to assume they do (even if they don't).