Random Seed: **20237331128159211123**

- The random seed is generated by numerous people, including members of the public, rolling ten-sided dice.
- The random seed is used to generate the random sequence of ballots that is audited.
- The seed is used in conjunction with Ron Rivest's (MIT) "sampler.py" pseudo-random number generator and the ballot manifest to generate the publicly verifiable random sample. Observers can reproduce the sample independently, using for example the Pseudo-Random Number Generator using SHA-256 at https://www.stat.berkeley.edu/~stark/Vote/auditTools.htm