Or the seeds for these PRNGs must be 64-bit? I couldn’t find anything in the original paper that says this.