$begingroup$ Certainly, all hash functions do develop output of a set size, whatever the length from the input. This does indicate that there's a theoretic