repair-20261016T061049Z-results.json

back to table · edit · history · where entries came from · files · download

49304 bytes, as of the version from 2026-10-16 06:19 (current). Recorded here, not run.

{
  "tid": "T454",
  "document_sha256": "6b0ad1da02e5dbf7b9daa9d95ae55a2548bcb85209c2bd1dcd2499341e7d96d1",
  "degrees": 34,
  "probabilities": 14,
  "entries": 476,
  "exact_integers": 36,
  "certified_decimal_brackets": 440,
  "working_bits": 768,
  "cdf_radius_bound_bits": 700,
  "controls": 5,
  "symmetry_pairs": 204,
  "five_complements_negative_rows": 170,
  "nist_shared_entries_rounded_to_3dp": 204,
  "nist_header": [
    "0.90",
    "0.95",
    "0.975",
    "0.99",
    "0.995",
    "0.999"
  ],
  "unpaired_probability": "999/1000",
  "omitted_complement": "1/1000",
  "all_checks_passed": true,
  "brackets": [
    {
      "nu": 1,
      "p": "1/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 1,
      "p": "1/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 1,
      "p": "1/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 1,
      "p": "1/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 1,
      "p": "1/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 1,
      "p": "9/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 1,
      "p": "19/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 1,
      "p": "39/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 1,
      "p": "99/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 1,
      "p": "199/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 1,
      "p": "999/1000",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 2,
      "p": "1/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 2,
      "p": "1/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 2,
      "p": "1/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 2,
      "p": "1/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 2,
      "p": "1/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 2,
      "p": "1/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 2,
      "p": "3/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 2,
      "p": "9/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 2,
      "p": "19/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 2,
      "p": "39/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 2,
      "p": "99/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 2,
      "p": "199/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 2,
      "p": "999/1000",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 3,
      "p": "1/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 3,
      "p": "1/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 3,
      "p": "1/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 3,
      "p": "1/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 3,
      "p": "1/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 3,
      "p": "1/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 3,
      "p": "3/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 3,
      "p": "9/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 3,
      "p": "19/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 3,
      "p": "39/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 3,
      "p": "99/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 3,
      "p": "199/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 3,
      "p": "999/1000",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 4,
      "p": "1/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 4,
      "p": "1/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 4,
      "p": "1/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 4,
      "p": "1/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 4,
      "p": "1/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 4,
      "p": "1/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 4,
      "p": "3/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 4,
      "p": "9/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 4,
      "p": "19/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 4,
      "p": "39/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 4,
      "p": "99/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 4,
      "p": "199/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 4,
      "p": "999/1000",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 5,
      "p": "1/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 5,
      "p": "1/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 5,
      "p": "1/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 5,
      "p": "1/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 5,
      "p": "1/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 5,
      "p": "1/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 5,
      "p": "3/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 5,
      "p": "9/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 5,
      "p": "19/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 5,
      "p": "39/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 5,
      "p": "99/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 5,
      "p": "199/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 5,
      "p": "999/1000",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 6,
      "p": "1/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 6,
      "p": "1/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 6,
      "p": "1/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 6,
      "p": "1/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 6,
      "p": "1/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 6,
      "p": "1/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 6,
      "p": "3/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 6,
      "p": "9/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 6,
      "p": "19/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 6,
      "p": "39/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 6,
      "p": "99/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 6,
      "p": "199/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 6,
      "p": "999/1000",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 7,
      "p": "1/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 7,
      "p": "1/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 7,
      "p": "1/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 7,
      "p": "1/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 7,
      "p": "1/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 7,
      "p": "1/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 7,
      "p": "3/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 7,
      "p": "9/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 7,
      "p": "19/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 7,
      "p": "39/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 7,
      "p": "99/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 7,
      "p": "199/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 7,
      "p": "999/1000",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 8,
      "p": "1/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 8,
      "p": "1/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 8,
      "p": "1/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 8,
      "p": "1/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 8,
      "p": "1/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 8,
      "p": "1/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 8,
      "p": "3/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 8,
      "p": "9/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 8,
      "p": "19/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 8,
      "p": "39/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 8,
      "p": "99/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 8,
      "p": "199/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 8,
      "p": "999/1000",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 9,
      "p": "1/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 9,
      "p": "1/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 9,
      "p": "1/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 9,
      "p": "1/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 9,
      "p": "1/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 9,
      "p": "1/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 9,
      "p": "3/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 9,
      "p": "9/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 9,
      "p": "19/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 9,
      "p": "39/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 9,
      "p": "99/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 9,
      "p": "199/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 9,
      "p": "999/1000",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 10,
      "p": "1/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 10,
      "p": "1/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 10,
      "p": "1/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 10,
      "p": "1/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 10,
      "p": "1/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 10,
      "p": "1/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 10,
      "p": "3/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 10,
      "p": "9/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 10,
      "p": "19/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 10,
      "p": "39/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 10,
      "p": "99/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 10,
      "p": "199/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 10,
      "p": "999/1000",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 11,
      "p": "1/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 11,
      "p": "1/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 11,
      "p": "1/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 11,
      "p": "1/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 11,
      "p": "1/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 11,
      "p": "1/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 11,
      "p": "3/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 11,
      "p": "9/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 11,
      "p": "19/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 11,
      "p": "39/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 11,
      "p": "99/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 11,
      "p": "199/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 11,
      "p": "999/1000",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 12,
      "p": "1/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 12,
      "p": "1/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 12,
      "p": "1/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 12,
      "p": "1/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 12,
      "p": "1/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 12,
      "p": "1/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 12,
      "p": "3/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 12,
      "p": "9/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 12,
      "p": "19/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 12,
      "p": "39/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 12,
      "p": "99/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 12,
      "p": "199/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 12,
      "p": "999/1000",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 13,
      "p": "1/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 13,
      "p": "1/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 13,
      "p": "1/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 13,
      "p": "1/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 13,
      "p": "1/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 13,
      "p": "1/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 13,
      "p": "3/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 13,
      "p": "9/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 13,
      "p": "19/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 13,
      "p": "39/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 13,
      "p": "99/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 13,
      "p": "199/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 13,
      "p": "999/1000",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 14,
      "p": "1/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 14,
      "p": "1/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 14,
      "p": "1/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 14,
      "p": "1/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 14,
      "p": "1/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 14,
      "p": "1/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 14,
      "p": "3/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 14,
      "p": "9/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 14,
      "p": "19/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 14,
      "p": "39/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 14,
      "p": "99/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 14,
      "p": "199/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 14,
      "p": "999/1000",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 15,
      "p": "1/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 15,
      "p": "1/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 15,
      "p": "1/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 15,
      "p": "1/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 15,
      "p": "1/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 15,
      "p": "1/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 15,
      "p": "3/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 15,
      "p": "9/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 15,
      "p": "19/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 15,
      "p": "39/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 15,
      "p": "99/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 15,
      "p": "199/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 15,
      "p": "999/1000",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 16,
      "p": "1/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 16,
      "p": "1/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 16,
      "p": "1/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 16,
      "p": "1/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 16,
      "p": "1/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 16,
      "p": "1/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 16,
      "p": "3/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 16,
      "p": "9/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 16,
      "p": "19/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 16,
      "p": "39/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 16,
      "p": "99/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 16,
      "p": "199/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 16,
      "p": "999/1000",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 17,
      "p": "1/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 17,
      "p": "1/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 17,
      "p": "1/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 17,
      "p": "1/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 17,
      "p": "1/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 17,
      "p": "1/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 17,
      "p": "3/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 17,
      "p": "9/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 17,
      "p": "19/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 17,
      "p": "39/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 17,
      "p": "99/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 17,
      "p": "199/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 17,
      "p": "999/1000",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 18,
      "p": "1/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 18,
      "p": "1/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 18,
      "p": "1/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 18,
      "p": "1/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 18,
      "p": "1/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 18,
      "p": "1/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 18,
      "p": "3/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 18,
      "p": "9/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 18,
      "p": "19/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 18,
      "p": "39/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 18,
      "p": "99/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 18,
      "p": "199/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 18,
      "p": "999/1000",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 19,
      "p": "1/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 19,
      "p": "1/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 19,
      "p": "1/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 19,
      "p": "1/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 19,
      "p": "1/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 19,
      "p": "1/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 19,
      "p": "3/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 19,
      "p": "9/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 19,
      "p": "19/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 19,
      "p": "39/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 19,
      "p": "99/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 19,
      "p": "199/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 19,
      "p": "999/1000",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 20,
      "p": "1/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 20,
      "p": "1/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 20,
      "p": "1/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 20,
      "p": "1/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 20,
      "p": "1/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 20,
      "p": "1/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 20,
      "p": "3/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 20,
      "p": "9/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 20,
      "p": "19/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 20,
      "p": "39/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 20,
      "p": "99/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 20,
      "p": "199/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 20,
      "p": "999/1000",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 21,
      "p": "1/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 21,
      "p": "1/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 21,
      "p": "1/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 21,
      "p": "1/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 21,
      "p": "1/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 21,
      "p": "1/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 21,
      "p": "3/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 21,
      "p": "9/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 21,
      "p": "19/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 21,
      "p": "39/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 21,
      "p": "99/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 21,
      "p": "199/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 21,
      "p": "999/1000",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 22,
      "p": "1/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 22,
      "p": "1/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 22,
      "p": "1/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 22,
      "p": "1/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 22,
      "p": "1/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 22,
      "p": "1/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 22,
      "p": "3/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 22,
      "p": "9/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 22,
      "p": "19/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 22,
      "p": "39/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 22,
      "p": "99/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 22,
      "p": "199/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 22,
      "p": "999/1000",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 23,
      "p": "1/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 23,
      "p": "1/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 23,
      "p": "1/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 23,
      "p": "1/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 23,
      "p": "1/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 23,
      "p": "1/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 23,
      "p": "3/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 23,
      "p": "9/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 23,
      "p": "19/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 23,
      "p": "39/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 23,
      "p": "99/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 23,
      "p": "199/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 23,
      "p": "999/1000",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 24,
      "p": "1/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 24,
      "p": "1/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 24,
      "p": "1/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 24,
      "p": "1/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 24,
      "p": "1/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 24,
      "p": "1/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 24,
      "p": "3/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 24,
      "p": "9/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 24,
      "p": "19/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 24,
      "p": "39/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 24,
      "p": "99/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 24,
      "p": "199/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 24,
      "p": "999/1000",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 25,
      "p": "1/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 25,
      "p": "1/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 25,
      "p": "1/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 25,
      "p": "1/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 25,
      "p": "1/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 25,
      "p": "1/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 25,
      "p": "3/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 25,
      "p": "9/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 25,
      "p": "19/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 25,
      "p": "39/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 25,
      "p": "99/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 25,
      "p": "199/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 25,
      "p": "999/1000",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 26,
      "p": "1/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 26,
      "p": "1/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 26,
      "p": "1/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 26,
      "p": "1/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 26,
      "p": "1/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 26,
      "p": "1/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 26,
      "p": "3/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 26,
      "p": "9/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 26,
      "p": "19/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 26,
      "p": "39/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 26,
      "p": "99/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 26,
      "p": "199/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 26,
      "p": "999/1000",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 27,
      "p": "1/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 27,
      "p": "1/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 27,
      "p": "1/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 27,
      "p": "1/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 27,
      "p": "1/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 27,
      "p": "1/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 27,
      "p": "3/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 27,
      "p": "9/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 27,
      "p": "19/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 27,
      "p": "39/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 27,
      "p": "99/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 27,
      "p": "199/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 27,
      "p": "999/1000",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 28,
      "p": "1/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 28,
      "p": "1/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 28,
      "p": "1/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 28,
      "p": "1/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 28,
      "p": "1/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 28,
      "p": "1/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 28,
      "p": "3/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 28,
      "p": "9/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 28,
      "p": "19/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 28,
      "p": "39/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 28,
      "p": "99/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 28,
      "p": "199/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 28,
      "p": "999/1000",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 29,
      "p": "1/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 29,
      "p": "1/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 29,
      "p": "1/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 29,
      "p": "1/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 29,
      "p": "1/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 29,
      "p": "1/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 29,
      "p": "3/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 29,
      "p": "9/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 29,
      "p": "19/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 29,
      "p": "39/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 29,
      "p": "99/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 29,
      "p": "199/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 29,
      "p": "999/1000",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 30,
      "p": "1/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 30,
      "p": "1/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 30,
      "p": "1/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 30,
      "p": "1/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 30,
      "p": "1/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 30,
      "p": "1/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 30,
      "p": "3/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 30,
      "p": "9/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 30,
      "p": "19/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 30,
      "p": "39/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 30,
      "p": "99/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 30,
      "p": "199/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 30,
      "p": "999/1000",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 40,
      "p": "1/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 40,
      "p": "1/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 40,
      "p": "1/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 40,
      "p": "1/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 40,
      "p": "1/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 40,
      "p": "1/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 40,
      "p": "3/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 40,
      "p": "9/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 40,
      "p": "19/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 40,
      "p": "39/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 40,
      "p": "99/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 40,
      "p": "199/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 40,
      "p": "999/1000",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 50,
      "p": "1/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 50,
      "p": "1/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 50,
      "p": "1/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 50,
      "p": "1/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 50,
      "p": "1/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 50,
      "p": "1/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 50,
      "p": "3/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 50,
      "p": "9/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 50,
      "p": "19/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 50,
      "p": "39/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 50,
      "p": "99/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 50,
      "p": "199/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 50,
      "p": "999/1000",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 60,
      "p": "1/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 60,
      "p": "1/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 60,
      "p": "1/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 60,
      "p": "1/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 60,
      "p": "1/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 60,
      "p": "1/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 60,
      "p": "3/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 60,
      "p": "9/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 60,
      "p": "19/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 60,
      "p": "39/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 60,
      "p": "99/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 60,
      "p": "199/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 60,
      "p": "999/1000",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 100,
      "p": "1/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 100,
      "p": "1/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 100,
      "p": "1/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 100,
      "p": "1/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 100,
      "p": "1/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 100,
      "p": "1/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 100,
      "p": "3/4",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 100,
      "p": "9/10",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 100,
      "p": "19/20",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 100,
      "p": "39/40",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 100,
      "p": "99/100",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 100,
      "p": "199/200",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    },
    {
      "nu": 100,
      "p": "999/1000",
      "lower_cdf_less": true,
      "upper_cdf_greater": true
    }
  ]
}