{
 "order": [
  "Ben",
  "Ana",
  "Cho"
 ],
 "seed": "81848449eede5af380d463f28c942c2e322ef16013777085296371ed9771ec24",
 "method": "HMAC-SHA256(key = seed bytes, message = 8-byte big-endian counter from 0); each block gives eight 32-bit big-endian words; an integer in [lo, hi] is lo + w mod n for the first word w below the largest multiple of n under 2^32 (words above it are skipped); picks without repeats are a partial Fisher-Yates shuffle from the front."
}