{
 "order": [
  "Ben",
  "Ana",
  "Cho"
 ],
 "seed": "c24f74ba8573186f6c0435bb8d54311a9eae8929e6b71b2169f7d25b00a81f5a",
 "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."
}