{
  "figure_id": "fig07",
  "trial_definition": "B_R = -E[f * product(1-cos(a*x))]/E[product(1-cos(a*x))]",
  "exhaustive_domain": "nonempty subsets of {1,...,18}",
  "sets_checked": 262143,
  "independent_autocorrelations_checked": 4095,
  "minimum_record": {
    "A": [
      1,
      2,
      3,
      4,
      5,
      7,
      9,
      11,
      13
    ],
    "B": "21/20",
    "Z": "5/128",
    "ratio_squared": "49/400",
    "N": 9
  },
  "minimum_normalized_B": "7/20",
  "minimum_by_size": [
    {
      "A": [
        1
      ],
      "B": "1/2",
      "Z": "1",
      "ratio_squared": "1/4",
      "N": 1
    },
    {
      "A": [
        1,
        2
      ],
      "B": "3/4",
      "Z": "1",
      "ratio_squared": "9/32",
      "N": 2
    },
    {
      "A": [
        1,
        2,
        3
      ],
      "B": "5/6",
      "Z": "3/4",
      "ratio_squared": "25/108",
      "N": 3
    },
    {
      "A": [
        1,
        2,
        3,
        5
      ],
      "B": "7/8",
      "Z": "1/2",
      "ratio_squared": "49/256",
      "N": 4
    },
    {
      "A": [
        1,
        2,
        3,
        5,
        7
      ],
      "B": "9/10",
      "Z": "5/16",
      "ratio_squared": "81/500",
      "N": 5
    },
    {
      "A": [
        1,
        2,
        3,
        4,
        5,
        7
      ],
      "B": "11/12",
      "Z": "3/16",
      "ratio_squared": "121/864",
      "N": 6
    },
    {
      "A": [
        1,
        2,
        3,
        4,
        5,
        7,
        8
      ],
      "B": "11/10",
      "Z": "5/32",
      "ratio_squared": "121/700",
      "N": 7
    },
    {
      "A": [
        1,
        2,
        3,
        4,
        5,
        7,
        9,
        11
      ],
      "B": "21/20",
      "Z": "5/64",
      "ratio_squared": "441/3200",
      "N": 8
    },
    {
      "A": [
        1,
        2,
        3,
        4,
        5,
        7,
        9,
        11,
        13
      ],
      "B": "21/20",
      "Z": "5/128",
      "ratio_squared": "49/400",
      "N": 9
    },
    {
      "A": [
        1,
        2,
        3,
        4,
        5,
        7,
        9,
        11,
        13,
        17
      ],
      "B": "9/8",
      "Z": "3/128",
      "ratio_squared": "81/640",
      "N": 10
    },
    {
      "A": [
        1,
        2,
        3,
        4,
        5,
        7,
        10,
        11,
        13,
        15,
        17
      ],
      "B": "69/56",
      "Z": "7/256",
      "ratio_squared": "4761/34496",
      "N": 11
    },
    {
      "A": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        8,
        9,
        11,
        13,
        17
      ],
      "B": "13/10",
      "Z": "5/512",
      "ratio_squared": "169/1200",
      "N": 12
    },
    {
      "A": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        8,
        9,
        10,
        11,
        13,
        17
      ],
      "B": "13/9",
      "Z": "27/4096",
      "ratio_squared": "13/81",
      "N": 13
    },
    {
      "A": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        9,
        10,
        11,
        13,
        15,
        16,
        17
      ],
      "B": "43/32",
      "Z": "1/256",
      "ratio_squared": "1849/14336",
      "N": 14
    },
    {
      "A": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        8,
        9,
        10,
        11,
        13,
        15,
        16,
        17
      ],
      "B": "229/132",
      "Z": "33/8192",
      "ratio_squared": "52441/261360",
      "N": 15
    },
    {
      "A": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        8,
        10,
        11,
        12,
        14,
        15,
        16,
        17,
        18
      ],
      "B": "485/264",
      "Z": "33/8192",
      "ratio_squared": "235225/1115136",
      "N": 16
    },
    {
      "A": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        8,
        9,
        10,
        11,
        12,
        14,
        15,
        16,
        17,
        18
      ],
      "B": "269/114",
      "Z": "57/16384",
      "ratio_squared": "72361/220932",
      "N": 17
    },
    {
      "A": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        8,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        16,
        17,
        18
      ],
      "B": "2927/808",
      "Z": "101/32768",
      "ratio_squared": "8567329/11751552",
      "N": 18
    }
  ],
  "traversal_sha256": "01f7822be05210417dec12738883d5dc15afd8ae924d109aaeba413f4a86e6b7",
  "scope": "Finite domain only. No unrestricted positive lower bound established.",
  "source": {
    "original_path": "chowla_research/round6/wavephysics_84_89_results.json",
    "sha256": "21e5a0e05bdfdeb5535d6972dfed022efe9ed2705401d0fd04677fec38b7d6f4",
    "role": "Extracted unchanged values from the already checked result file; plot build does not repeat the exhaustive search."
  },
  "plot_rows": [
    {
      "A": [
        1
      ],
      "B": "1/2",
      "Z": "1",
      "ratio_squared": "1/4",
      "N": 1,
      "ratio_approx": 0.5
    },
    {
      "A": [
        1,
        2
      ],
      "B": "3/4",
      "Z": "1",
      "ratio_squared": "9/32",
      "N": 2,
      "ratio_approx": 0.5303300858899106
    },
    {
      "A": [
        1,
        2,
        3
      ],
      "B": "5/6",
      "Z": "3/4",
      "ratio_squared": "25/108",
      "N": 3,
      "ratio_approx": 0.4811252243246881
    },
    {
      "A": [
        1,
        2,
        3,
        5
      ],
      "B": "7/8",
      "Z": "1/2",
      "ratio_squared": "49/256",
      "N": 4,
      "ratio_approx": 0.4375
    },
    {
      "A": [
        1,
        2,
        3,
        5,
        7
      ],
      "B": "9/10",
      "Z": "5/16",
      "ratio_squared": "81/500",
      "N": 5,
      "ratio_approx": 0.40249223594996214
    },
    {
      "A": [
        1,
        2,
        3,
        4,
        5,
        7
      ],
      "B": "11/12",
      "Z": "3/16",
      "ratio_squared": "121/864",
      "N": 6,
      "ratio_approx": 0.37422759959187446
    },
    {
      "A": [
        1,
        2,
        3,
        4,
        5,
        7,
        8
      ],
      "B": "11/10",
      "Z": "5/32",
      "ratio_squared": "121/700",
      "N": 7,
      "ratio_approx": 0.41576092031014994
    },
    {
      "A": [
        1,
        2,
        3,
        4,
        5,
        7,
        9,
        11
      ],
      "B": "21/20",
      "Z": "5/64",
      "ratio_squared": "441/3200",
      "N": 8,
      "ratio_approx": 0.37123106012293744
    },
    {
      "A": [
        1,
        2,
        3,
        4,
        5,
        7,
        9,
        11,
        13
      ],
      "B": "21/20",
      "Z": "5/128",
      "ratio_squared": "49/400",
      "N": 9,
      "ratio_approx": 0.35
    },
    {
      "A": [
        1,
        2,
        3,
        4,
        5,
        7,
        9,
        11,
        13,
        17
      ],
      "B": "9/8",
      "Z": "3/128",
      "ratio_squared": "81/640",
      "N": 10,
      "ratio_approx": 0.3557562367689427
    },
    {
      "A": [
        1,
        2,
        3,
        4,
        5,
        7,
        10,
        11,
        13,
        15,
        17
      ],
      "B": "69/56",
      "Z": "7/256",
      "ratio_squared": "4761/34496",
      "N": 11,
      "ratio_approx": 0.3715050495690302
    },
    {
      "A": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        8,
        9,
        11,
        13,
        17
      ],
      "B": "13/10",
      "Z": "5/512",
      "ratio_squared": "169/1200",
      "N": 12,
      "ratio_approx": 0.37527767497325676
    },
    {
      "A": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        8,
        9,
        10,
        11,
        13,
        17
      ],
      "B": "13/9",
      "Z": "27/4096",
      "ratio_squared": "13/81",
      "N": 13,
      "ratio_approx": 0.40061680838488767
    },
    {
      "A": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        9,
        10,
        11,
        13,
        15,
        16,
        17
      ],
      "B": "43/32",
      "Z": "1/256",
      "ratio_squared": "1849/14336",
      "N": 14,
      "ratio_approx": 0.35913229381982026
    },
    {
      "A": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        8,
        9,
        10,
        11,
        13,
        15,
        16,
        17
      ],
      "B": "229/132",
      "Z": "33/8192",
      "ratio_squared": "52441/261360",
      "N": 15,
      "ratio_approx": 0.4479359526674235
    },
    {
      "A": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        8,
        10,
        11,
        12,
        14,
        15,
        16,
        17,
        18
      ],
      "B": "485/264",
      "Z": "33/8192",
      "ratio_squared": "235225/1115136",
      "N": 16,
      "ratio_approx": 0.45928030303030304
    },
    {
      "A": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        8,
        9,
        10,
        11,
        12,
        14,
        15,
        16,
        17,
        18
      ],
      "B": "269/114",
      "Z": "57/16384",
      "ratio_squared": "72361/220932",
      "N": 17,
      "ratio_approx": 0.5722989748664349
    },
    {
      "A": [
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        8,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        16,
        17,
        18
      ],
      "B": "2927/808",
      "Z": "101/32768",
      "ratio_squared": "8567329/11751552",
      "N": 18,
      "ratio_approx": 0.8538372724971224
    }
  ],
  "important_scope": "Minimum of a trial bound within one finite domain, not minimum of true K and not a universal replacement constant"
}