{
  "ledgers": 5000,
  "shufflesPerLedger": 8,
  "seedFormula": "6000000 + i; shuffle rng Random(seed ^ 0x5bd1e995)",
  "shuffledTrials": 40000,
  "integerOutputMismatches": 0,
  "integerMismatchWilson95": [
    0.0,
    0.00009602724991409927
  ],
  "naiveTrialsBitwiseDifferent": 36336,
  "naiveTrialsDisplayDifferent": 237,
  "naiveLedgersBitwiseDifferentInSomeShuffle": 4736,
  "naiveLedgersDisplayDifferentInSomeShuffle": 64,
  "naiveBitwiseFraction": 0.9084,
  "naiveBitwiseWilson95": [
    0.9055337855300928,
    0.9111877794121773
  ],
  "naiveDisplayFraction": 0.005925,
  "naiveDisplayWilson95": [
    0.005218892173484505,
    0.0067259971535181115
  ]
}