{
  "evidence_kind": "constructed mathematical examples, not observed preferences",
  "source": "src/compute_counterexamples.py and src/utility_model.py; arithmetic independently checked against supplied fraction oracle in preparation",
  "rows": [
    {
      "family": "worked",
      "draft": "low",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 14.4,
      "fee": 4,
      "chip_gross": 7.5,
      "utility_gross": 11.1,
      "chip_net": 3.5,
      "utility_net": 7.1,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.17500000000000002,
        "call_chips": -15.0,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 7.5,
        "gross": 7.5,
        "net": 3.5,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.17500000000000002,
        "call_chips": -15.0,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 11.1,
        "gross": 11.1,
        "net": 7.1,
        "choice": "VERIFY"
      }
    },
    {
      "family": "worked",
      "draft": "low",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 14.4,
      "fee": 4,
      "chip_gross": 7.5,
      "utility_gross": 3.9000000000000004,
      "chip_net": 3.5,
      "utility_net": -0.09999999999999964,
      "chip_choice": "VERIFY",
      "utility_choice": "SKIP",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.17500000000000002,
        "call_chips": -15.0,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0.0,
        "verified_utility": 7.5,
        "gross": 7.5,
        "net": 3.5,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.17500000000000002,
        "call_chips": -15.0,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 14.4,
        "verified_utility": 18.3,
        "gross": 3.9000000000000004,
        "net": -0.09999999999999964,
        "choice": "SKIP"
      }
    },
    {
      "family": "worked",
      "draft": "high",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 14.4,
      "fee": 4,
      "chip_gross": 7.499999999999986,
      "utility_gross": 3.8999999999999844,
      "chip_net": 3.499999999999986,
      "utility_net": -0.10000000000001563,
      "chip_choice": "VERIFY",
      "utility_choice": "SKIP",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.32500000000000007,
        "call_chips": 15.000000000000014,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 15.000000000000014,
        "verified_utility": 22.5,
        "gross": 7.499999999999986,
        "net": 3.499999999999986,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.32500000000000007,
        "call_chips": 15.000000000000014,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 29.400000000000013,
        "verified_utility": 33.3,
        "gross": 3.8999999999999844,
        "net": -0.10000000000001563,
        "choice": "SKIP"
      }
    },
    {
      "family": "worked",
      "draft": "high",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 14.4,
      "fee": 4,
      "chip_gross": 7.499999999999986,
      "utility_gross": 11.099999999999987,
      "chip_net": 3.499999999999986,
      "utility_net": 7.099999999999987,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.32500000000000007,
        "call_chips": 15.000000000000014,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 15.000000000000014,
        "verified_utility": 22.5,
        "gross": 7.499999999999986,
        "net": 3.499999999999986,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.32500000000000007,
        "call_chips": 15.000000000000014,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 15.000000000000014,
        "verified_utility": 26.1,
        "gross": 11.099999999999987,
        "net": 7.099999999999987,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-0",
      "draft": "low",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 1.8,
      "chip_gross": 3.375,
      "utility_gross": 5.025,
      "chip_net": 1.575,
      "utility_net": 3.2250000000000005,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.2958333333333333,
        "call_chips": -6.750000000000007,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 3.375,
        "gross": 3.375,
        "net": 1.575,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.2958333333333333,
        "call_chips": -6.750000000000007,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 5.025,
        "gross": 5.025,
        "net": 3.2250000000000005,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-0",
      "draft": "low",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 1.8,
      "chip_gross": 3.375,
      "utility_gross": 1.7249999999999996,
      "chip_net": 1.575,
      "utility_net": -0.0750000000000004,
      "chip_choice": "VERIFY",
      "utility_choice": "SKIP",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.2958333333333333,
        "call_chips": -6.750000000000007,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0.0,
        "verified_utility": 3.375,
        "gross": 3.375,
        "net": 1.575,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.2958333333333333,
        "call_chips": -6.750000000000007,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 6.6,
        "verified_utility": 8.325,
        "gross": 1.7249999999999996,
        "net": -0.0750000000000004,
        "choice": "SKIP"
      }
    },
    {
      "family": "full-0",
      "draft": "high",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 1.8,
      "chip_gross": 3.375,
      "utility_gross": 1.7250000000000014,
      "chip_net": 1.575,
      "utility_net": -0.07499999999999862,
      "chip_choice": "VERIFY",
      "utility_choice": "SKIP",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.37083333333333335,
        "call_chips": 6.75,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 6.75,
        "verified_utility": 10.125,
        "gross": 3.375,
        "net": 1.575,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.37083333333333335,
        "call_chips": 6.75,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 13.35,
        "verified_utility": 15.075000000000001,
        "gross": 1.7250000000000014,
        "net": -0.07499999999999862,
        "choice": "SKIP"
      }
    },
    {
      "family": "full-0",
      "draft": "high",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 1.8,
      "chip_gross": 3.375,
      "utility_gross": 5.025,
      "chip_net": 1.575,
      "utility_net": 3.2250000000000005,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.37083333333333335,
        "call_chips": 6.75,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 6.75,
        "verified_utility": 10.125,
        "gross": 3.375,
        "net": 1.575,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.37083333333333335,
        "call_chips": 6.75,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 6.75,
        "verified_utility": 11.775,
        "gross": 5.025,
        "net": 3.2250000000000005,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-1",
      "draft": "low",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 3.6,
      "chip_gross": 6.7499999999999964,
      "utility_gross": 8.399999999999997,
      "chip_net": 3.1499999999999964,
      "utility_net": 4.799999999999997,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.2583333333333333,
        "call_chips": -13.500000000000007,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 6.7499999999999964,
        "gross": 6.7499999999999964,
        "net": 3.1499999999999964,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.2583333333333333,
        "call_chips": -13.500000000000007,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 8.399999999999997,
        "gross": 8.399999999999997,
        "net": 4.799999999999997,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-1",
      "draft": "low",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 3.6,
      "chip_gross": 6.7499999999999964,
      "utility_gross": 5.099999999999996,
      "chip_net": 3.1499999999999964,
      "utility_net": 1.499999999999996,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.2583333333333333,
        "call_chips": -13.500000000000007,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0.0,
        "verified_utility": 6.7499999999999964,
        "gross": 6.7499999999999964,
        "net": 3.1499999999999964,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.2583333333333333,
        "call_chips": -13.500000000000007,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 6.6,
        "verified_utility": 11.699999999999996,
        "gross": 5.099999999999996,
        "net": 1.499999999999996,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-1",
      "draft": "high",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 3.6,
      "chip_gross": 6.7500000000000036,
      "utility_gross": 5.100000000000001,
      "chip_net": 3.1500000000000035,
      "utility_net": 1.5000000000000013,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.40833333333333327,
        "call_chips": 13.499999999999986,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 13.499999999999986,
        "verified_utility": 20.24999999999999,
        "gross": 6.7500000000000036,
        "net": 3.1500000000000035,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.40833333333333327,
        "call_chips": 13.499999999999986,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 20.099999999999987,
        "verified_utility": 25.19999999999999,
        "gross": 5.100000000000001,
        "net": 1.5000000000000013,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-1",
      "draft": "high",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 3.6,
      "chip_gross": 6.7500000000000036,
      "utility_gross": 8.400000000000002,
      "chip_net": 3.1500000000000035,
      "utility_net": 4.8000000000000025,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.40833333333333327,
        "call_chips": 13.499999999999986,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 13.499999999999986,
        "verified_utility": 20.24999999999999,
        "gross": 6.7500000000000036,
        "net": 3.1500000000000035,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.40833333333333327,
        "call_chips": 13.499999999999986,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 13.499999999999986,
        "verified_utility": 21.899999999999988,
        "gross": 8.400000000000002,
        "net": 4.8000000000000025,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-2",
      "draft": "low",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 2.4,
      "chip_gross": 4.5,
      "utility_gross": 6.15,
      "chip_net": 2.1,
      "utility_net": 3.7500000000000004,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.21249999999999997,
        "call_chips": -9.000000000000007,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 4.5,
        "gross": 4.5,
        "net": 2.1,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.21249999999999997,
        "call_chips": -9.000000000000007,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 6.15,
        "gross": 6.15,
        "net": 3.7500000000000004,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-2",
      "draft": "low",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 2.4,
      "chip_gross": 4.5,
      "utility_gross": 2.8499999999999996,
      "chip_net": 2.1,
      "utility_net": 0.44999999999999973,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.21249999999999997,
        "call_chips": -9.000000000000007,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0.0,
        "verified_utility": 4.5,
        "gross": 4.5,
        "net": 2.1,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.21249999999999997,
        "call_chips": -9.000000000000007,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 6.6,
        "verified_utility": 9.45,
        "gross": 2.8499999999999996,
        "net": 0.44999999999999973,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-2",
      "draft": "high",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 2.4,
      "chip_gross": 4.499999999999986,
      "utility_gross": 2.849999999999989,
      "chip_net": 2.099999999999986,
      "utility_net": 0.4499999999999891,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.28750000000000003,
        "call_chips": 9.000000000000014,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 9.000000000000014,
        "verified_utility": 13.5,
        "gross": 4.499999999999986,
        "net": 2.099999999999986,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.28750000000000003,
        "call_chips": 9.000000000000014,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 15.600000000000014,
        "verified_utility": 18.450000000000003,
        "gross": 2.849999999999989,
        "net": 0.4499999999999891,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-2",
      "draft": "high",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 2.4,
      "chip_gross": 4.499999999999986,
      "utility_gross": 6.149999999999986,
      "chip_net": 2.099999999999986,
      "utility_net": 3.7499999999999862,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.28750000000000003,
        "call_chips": 9.000000000000014,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 9.000000000000014,
        "verified_utility": 13.5,
        "gross": 4.499999999999986,
        "net": 2.099999999999986,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.28750000000000003,
        "call_chips": 9.000000000000014,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 9.000000000000014,
        "verified_utility": 15.15,
        "gross": 6.149999999999986,
        "net": 3.7499999999999862,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-3",
      "draft": "low",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 4.8,
      "chip_gross": 9.0,
      "utility_gross": 10.65,
      "chip_net": 4.2,
      "utility_net": 5.8500000000000005,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.17500000000000002,
        "call_chips": -17.999999999999993,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 9.0,
        "gross": 9.0,
        "net": 4.2,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.17500000000000002,
        "call_chips": -17.999999999999993,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 10.65,
        "gross": 10.65,
        "net": 5.8500000000000005,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-3",
      "draft": "low",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 4.8,
      "chip_gross": 9.0,
      "utility_gross": 7.35,
      "chip_net": 4.2,
      "utility_net": 2.55,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.17500000000000002,
        "call_chips": -17.999999999999993,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0.0,
        "verified_utility": 9.0,
        "gross": 9.0,
        "net": 4.2,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.17500000000000002,
        "call_chips": -17.999999999999993,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 6.6,
        "verified_utility": 13.95,
        "gross": 7.35,
        "net": 2.55,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-3",
      "draft": "high",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 4.8,
      "chip_gross": 8.999999999999986,
      "utility_gross": 7.349999999999987,
      "chip_net": 4.199999999999986,
      "utility_net": 2.5499999999999874,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.32500000000000007,
        "call_chips": 18.000000000000014,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 18.000000000000014,
        "verified_utility": 27.0,
        "gross": 8.999999999999986,
        "net": 4.199999999999986,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.32500000000000007,
        "call_chips": 18.000000000000014,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 24.600000000000016,
        "verified_utility": 31.950000000000003,
        "gross": 7.349999999999987,
        "net": 2.5499999999999874,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-3",
      "draft": "high",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 4.8,
      "chip_gross": 8.999999999999986,
      "utility_gross": 10.649999999999984,
      "chip_net": 4.199999999999986,
      "utility_net": 5.8499999999999845,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.32500000000000007,
        "call_chips": 18.000000000000014,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 18.000000000000014,
        "verified_utility": 27.0,
        "gross": 8.999999999999986,
        "net": 4.199999999999986,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.32500000000000007,
        "call_chips": 18.000000000000014,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 18.000000000000014,
        "verified_utility": 28.65,
        "gross": 10.649999999999984,
        "net": 5.8499999999999845,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-4",
      "draft": "low",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 3.0,
      "chip_gross": 5.625,
      "utility_gross": 7.275,
      "chip_net": 2.625,
      "utility_net": 4.275,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.1625,
        "call_chips": -11.25,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 5.625,
        "gross": 5.625,
        "net": 2.625,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.1625,
        "call_chips": -11.25,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 7.275,
        "gross": 7.275,
        "net": 4.275,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-4",
      "draft": "low",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 3.0,
      "chip_gross": 5.625,
      "utility_gross": 3.9749999999999996,
      "chip_net": 2.625,
      "utility_net": 0.9749999999999996,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.1625,
        "call_chips": -11.25,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0.0,
        "verified_utility": 5.625,
        "gross": 5.625,
        "net": 2.625,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.1625,
        "call_chips": -11.25,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 6.6,
        "verified_utility": 10.575,
        "gross": 3.9749999999999996,
        "net": 0.9749999999999996,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-4",
      "draft": "high",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 3.0,
      "chip_gross": 5.625,
      "utility_gross": 3.9750000000000014,
      "chip_net": 2.625,
      "utility_net": 0.9750000000000014,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.23750000000000002,
        "call_chips": 11.25,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 11.25,
        "verified_utility": 16.875,
        "gross": 5.625,
        "net": 2.625,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.23750000000000002,
        "call_chips": 11.25,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 17.85,
        "verified_utility": 21.825000000000003,
        "gross": 3.9750000000000014,
        "net": 0.9750000000000014,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-4",
      "draft": "high",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 3.0,
      "chip_gross": 5.625,
      "utility_gross": 7.274999999999999,
      "chip_net": 2.625,
      "utility_net": 4.274999999999999,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.23750000000000002,
        "call_chips": 11.25,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 11.25,
        "verified_utility": 16.875,
        "gross": 5.625,
        "net": 2.625,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.23750000000000002,
        "call_chips": 11.25,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 11.25,
        "verified_utility": 18.525,
        "gross": 7.274999999999999,
        "net": 4.274999999999999,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-5",
      "draft": "low",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 6.0,
      "chip_gross": 11.25,
      "utility_gross": 12.9,
      "chip_net": 5.25,
      "utility_net": 6.9,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.125,
        "call_chips": -22.5,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 11.25,
        "gross": 11.25,
        "net": 5.25,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.125,
        "call_chips": -22.5,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 12.9,
        "gross": 12.9,
        "net": 6.9,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-5",
      "draft": "low",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 6.0,
      "chip_gross": 11.25,
      "utility_gross": 9.6,
      "chip_net": 5.25,
      "utility_net": 3.5999999999999996,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.125,
        "call_chips": -22.5,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0.0,
        "verified_utility": 11.25,
        "gross": 11.25,
        "net": 5.25,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.125,
        "call_chips": -22.5,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 6.6,
        "verified_utility": 16.2,
        "gross": 9.6,
        "net": 3.5999999999999996,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-5",
      "draft": "high",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 6.0,
      "chip_gross": 11.250000000000014,
      "utility_gross": 9.600000000000016,
      "chip_net": 5.250000000000014,
      "utility_net": 3.6000000000000156,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.27499999999999997,
        "call_chips": 22.499999999999986,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 22.499999999999986,
        "verified_utility": 33.75,
        "gross": 11.250000000000014,
        "net": 5.250000000000014,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.27499999999999997,
        "call_chips": 22.499999999999986,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 29.099999999999987,
        "verified_utility": 38.7,
        "gross": 9.600000000000016,
        "net": 3.6000000000000156,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-5",
      "draft": "high",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 6.0,
      "chip_gross": 11.250000000000014,
      "utility_gross": 12.900000000000013,
      "chip_net": 5.250000000000014,
      "utility_net": 6.900000000000013,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.27499999999999997,
        "call_chips": 22.499999999999986,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 22.499999999999986,
        "verified_utility": 33.75,
        "gross": 11.250000000000014,
        "net": 5.250000000000014,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.27499999999999997,
        "call_chips": 22.499999999999986,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 22.499999999999986,
        "verified_utility": 35.4,
        "gross": 12.900000000000013,
        "net": 6.900000000000013,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-6",
      "draft": "low",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 3.3,
      "chip_gross": 6.1875,
      "utility_gross": 7.8375,
      "chip_net": 2.8875,
      "utility_net": 4.5375000000000005,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.2958333333333333,
        "call_chips": -12.375000000000014,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 6.1875,
        "gross": 6.1875,
        "net": 2.8875,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.2958333333333333,
        "call_chips": -12.375000000000014,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 7.8375,
        "gross": 7.8375,
        "net": 4.5375000000000005,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-6",
      "draft": "low",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 3.3,
      "chip_gross": 6.1875,
      "utility_gross": 4.5375,
      "chip_net": 2.8875,
      "utility_net": 1.2374999999999998,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.2958333333333333,
        "call_chips": -12.375000000000014,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0.0,
        "verified_utility": 6.1875,
        "gross": 6.1875,
        "net": 2.8875,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.2958333333333333,
        "call_chips": -12.375000000000014,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 6.6,
        "verified_utility": 11.1375,
        "gross": 4.5375,
        "net": 1.2374999999999998,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-6",
      "draft": "high",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 3.3,
      "chip_gross": 6.1875,
      "utility_gross": 4.537500000000001,
      "chip_net": 2.8875,
      "utility_net": 1.2375000000000016,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.37083333333333335,
        "call_chips": 12.375,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 12.375,
        "verified_utility": 18.5625,
        "gross": 6.1875,
        "net": 2.8875,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.37083333333333335,
        "call_chips": 12.375,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 18.975,
        "verified_utility": 23.512500000000003,
        "gross": 4.537500000000001,
        "net": 1.2375000000000016,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-6",
      "draft": "high",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 3.3,
      "chip_gross": 6.1875,
      "utility_gross": 7.837499999999999,
      "chip_net": 2.8875,
      "utility_net": 4.537499999999999,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.37083333333333335,
        "call_chips": 12.375,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 12.375,
        "verified_utility": 18.5625,
        "gross": 6.1875,
        "net": 2.8875,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.37083333333333335,
        "call_chips": 12.375,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 12.375,
        "verified_utility": 20.2125,
        "gross": 7.837499999999999,
        "net": 4.537499999999999,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-7",
      "draft": "low",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 6.6,
      "chip_gross": 12.374999999999993,
      "utility_gross": 14.024999999999993,
      "chip_net": 5.774999999999993,
      "utility_net": 7.424999999999994,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.2583333333333333,
        "call_chips": -24.750000000000014,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 12.374999999999993,
        "gross": 12.374999999999993,
        "net": 5.774999999999993,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.2583333333333333,
        "call_chips": -24.750000000000014,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 14.024999999999993,
        "gross": 14.024999999999993,
        "net": 7.424999999999994,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-7",
      "draft": "low",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 6.6,
      "chip_gross": 12.374999999999993,
      "utility_gross": 10.724999999999993,
      "chip_net": 5.774999999999993,
      "utility_net": 4.124999999999993,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.2583333333333333,
        "call_chips": -24.750000000000014,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0.0,
        "verified_utility": 12.374999999999993,
        "gross": 12.374999999999993,
        "net": 5.774999999999993,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.2583333333333333,
        "call_chips": -24.750000000000014,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 6.6,
        "verified_utility": 17.324999999999992,
        "gross": 10.724999999999993,
        "net": 4.124999999999993,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-7",
      "draft": "high",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 6.6,
      "chip_gross": 12.375000000000007,
      "utility_gross": 10.725000000000009,
      "chip_net": 5.7750000000000075,
      "utility_net": 4.125000000000009,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.40833333333333327,
        "call_chips": 24.74999999999997,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 24.74999999999997,
        "verified_utility": 37.12499999999998,
        "gross": 12.375000000000007,
        "net": 5.7750000000000075,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.40833333333333327,
        "call_chips": 24.74999999999997,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 31.349999999999973,
        "verified_utility": 42.07499999999998,
        "gross": 10.725000000000009,
        "net": 4.125000000000009,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-7",
      "draft": "high",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 6.6,
      "chip_gross": 12.375000000000007,
      "utility_gross": 14.025000000000006,
      "chip_net": 5.7750000000000075,
      "utility_net": 7.425000000000006,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.40833333333333327,
        "call_chips": 24.74999999999997,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 24.74999999999997,
        "verified_utility": 37.12499999999998,
        "gross": 12.375000000000007,
        "net": 5.7750000000000075,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.40833333333333327,
        "call_chips": 24.74999999999997,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 24.74999999999997,
        "verified_utility": 38.77499999999998,
        "gross": 14.025000000000006,
        "net": 7.425000000000006,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-8",
      "draft": "low",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 4.4,
      "chip_gross": 8.25,
      "utility_gross": 9.9,
      "chip_net": 3.8499999999999996,
      "utility_net": 5.5,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.21249999999999997,
        "call_chips": -16.500000000000014,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 8.25,
        "gross": 8.25,
        "net": 3.8499999999999996,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.21249999999999997,
        "call_chips": -16.500000000000014,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 9.9,
        "gross": 9.9,
        "net": 5.5,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-8",
      "draft": "low",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 4.4,
      "chip_gross": 8.25,
      "utility_gross": 6.6,
      "chip_net": 3.8499999999999996,
      "utility_net": 2.1999999999999993,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.21249999999999997,
        "call_chips": -16.500000000000014,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0.0,
        "verified_utility": 8.25,
        "gross": 8.25,
        "net": 3.8499999999999996,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.21249999999999997,
        "call_chips": -16.500000000000014,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 6.6,
        "verified_utility": 13.2,
        "gross": 6.6,
        "net": 2.1999999999999993,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-8",
      "draft": "high",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 4.4,
      "chip_gross": 8.249999999999986,
      "utility_gross": 6.599999999999987,
      "chip_net": 3.8499999999999854,
      "utility_net": 2.199999999999987,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.28750000000000003,
        "call_chips": 16.500000000000014,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 16.500000000000014,
        "verified_utility": 24.75,
        "gross": 8.249999999999986,
        "net": 3.8499999999999854,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.28750000000000003,
        "call_chips": 16.500000000000014,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 23.100000000000016,
        "verified_utility": 29.700000000000003,
        "gross": 6.599999999999987,
        "net": 2.199999999999987,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-8",
      "draft": "high",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 4.4,
      "chip_gross": 8.249999999999986,
      "utility_gross": 9.899999999999984,
      "chip_net": 3.8499999999999854,
      "utility_net": 5.499999999999984,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.28750000000000003,
        "call_chips": 16.500000000000014,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 16.500000000000014,
        "verified_utility": 24.75,
        "gross": 8.249999999999986,
        "net": 3.8499999999999854,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.28750000000000003,
        "call_chips": 16.500000000000014,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 16.500000000000014,
        "verified_utility": 26.4,
        "gross": 9.899999999999984,
        "net": 5.499999999999984,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-9",
      "draft": "low",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 8.8,
      "chip_gross": 16.5,
      "utility_gross": 18.15,
      "chip_net": 7.699999999999999,
      "utility_net": 9.349999999999998,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.17500000000000002,
        "call_chips": -32.999999999999986,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 16.5,
        "gross": 16.5,
        "net": 7.699999999999999,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.17500000000000002,
        "call_chips": -32.999999999999986,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 18.15,
        "gross": 18.15,
        "net": 9.349999999999998,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-9",
      "draft": "low",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 8.8,
      "chip_gross": 16.5,
      "utility_gross": 14.85,
      "chip_net": 7.699999999999999,
      "utility_net": 6.049999999999999,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.17500000000000002,
        "call_chips": -32.999999999999986,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0.0,
        "verified_utility": 16.5,
        "gross": 16.5,
        "net": 7.699999999999999,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.17500000000000002,
        "call_chips": -32.999999999999986,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 6.6,
        "verified_utility": 21.45,
        "gross": 14.85,
        "net": 6.049999999999999,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-9",
      "draft": "high",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 8.8,
      "chip_gross": 16.49999999999997,
      "utility_gross": 14.849999999999966,
      "chip_net": 7.699999999999971,
      "utility_net": 6.049999999999965,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.32500000000000007,
        "call_chips": 33.00000000000003,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 33.00000000000003,
        "verified_utility": 49.5,
        "gross": 16.49999999999997,
        "net": 7.699999999999971,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.32500000000000007,
        "call_chips": 33.00000000000003,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 39.60000000000003,
        "verified_utility": 54.449999999999996,
        "gross": 14.849999999999966,
        "net": 6.049999999999965,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-9",
      "draft": "high",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 8.8,
      "chip_gross": 16.49999999999997,
      "utility_gross": 18.14999999999997,
      "chip_net": 7.699999999999971,
      "utility_net": 9.34999999999997,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.32500000000000007,
        "call_chips": 33.00000000000003,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 33.00000000000003,
        "verified_utility": 49.5,
        "gross": 16.49999999999997,
        "net": 7.699999999999971,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.32500000000000007,
        "call_chips": 33.00000000000003,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 33.00000000000003,
        "verified_utility": 51.15,
        "gross": 18.14999999999997,
        "net": 9.34999999999997,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-10",
      "draft": "low",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 5.5,
      "chip_gross": 10.3125,
      "utility_gross": 11.9625,
      "chip_net": 4.8125,
      "utility_net": 6.4625,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.1625,
        "call_chips": -20.625,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 10.3125,
        "gross": 10.3125,
        "net": 4.8125,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.1625,
        "call_chips": -20.625,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 11.9625,
        "gross": 11.9625,
        "net": 6.4625,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-10",
      "draft": "low",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 5.5,
      "chip_gross": 10.3125,
      "utility_gross": 8.6625,
      "chip_net": 4.8125,
      "utility_net": 3.1624999999999996,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.1625,
        "call_chips": -20.625,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0.0,
        "verified_utility": 10.3125,
        "gross": 10.3125,
        "net": 4.8125,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.1625,
        "call_chips": -20.625,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 6.6,
        "verified_utility": 15.2625,
        "gross": 8.6625,
        "net": 3.1624999999999996,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-10",
      "draft": "high",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 5.5,
      "chip_gross": 10.3125,
      "utility_gross": 8.662500000000001,
      "chip_net": 4.8125,
      "utility_net": 3.1625000000000014,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.23750000000000002,
        "call_chips": 20.625,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 20.625,
        "verified_utility": 30.9375,
        "gross": 10.3125,
        "net": 4.8125,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.23750000000000002,
        "call_chips": 20.625,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 27.225,
        "verified_utility": 35.8875,
        "gross": 8.662500000000001,
        "net": 3.1625000000000014,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-10",
      "draft": "high",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 5.5,
      "chip_gross": 10.3125,
      "utility_gross": 11.962499999999999,
      "chip_net": 4.8125,
      "utility_net": 6.462499999999999,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.23750000000000002,
        "call_chips": 20.625,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 20.625,
        "verified_utility": 30.9375,
        "gross": 10.3125,
        "net": 4.8125,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.23750000000000002,
        "call_chips": 20.625,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 20.625,
        "verified_utility": 32.5875,
        "gross": 11.962499999999999,
        "net": 6.462499999999999,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-11",
      "draft": "low",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 11.0,
      "chip_gross": 20.625,
      "utility_gross": 22.275,
      "chip_net": 9.625,
      "utility_net": 11.274999999999999,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.125,
        "call_chips": -41.25,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 20.625,
        "gross": 20.625,
        "net": 9.625,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.125,
        "call_chips": -41.25,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 22.275,
        "gross": 22.275,
        "net": 11.274999999999999,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-11",
      "draft": "low",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 11.0,
      "chip_gross": 20.625,
      "utility_gross": 18.975,
      "chip_net": 9.625,
      "utility_net": 7.975000000000001,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.125,
        "call_chips": -41.25,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0.0,
        "verified_utility": 20.625,
        "gross": 20.625,
        "net": 9.625,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.125,
        "call_chips": -41.25,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 6.6,
        "verified_utility": 25.575,
        "gross": 18.975,
        "net": 7.975000000000001,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-11",
      "draft": "high",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 11.0,
      "chip_gross": 20.62500000000003,
      "utility_gross": 18.975000000000016,
      "chip_net": 9.625000000000028,
      "utility_net": 7.975000000000016,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.27499999999999997,
        "call_chips": 41.24999999999997,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 41.24999999999997,
        "verified_utility": 61.875,
        "gross": 20.62500000000003,
        "net": 9.625000000000028,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.27499999999999997,
        "call_chips": 41.24999999999997,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 47.84999999999997,
        "verified_utility": 66.82499999999999,
        "gross": 18.975000000000016,
        "net": 7.975000000000016,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-11",
      "draft": "high",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 11.0,
      "chip_gross": 20.62500000000003,
      "utility_gross": 22.275000000000027,
      "chip_net": 9.625000000000028,
      "utility_net": 11.275000000000027,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.27499999999999997,
        "call_chips": 41.24999999999997,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 41.24999999999997,
        "verified_utility": 61.875,
        "gross": 20.62500000000003,
        "net": 9.625000000000028,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.27499999999999997,
        "call_chips": 41.24999999999997,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 41.24999999999997,
        "verified_utility": 63.525,
        "gross": 22.275000000000027,
        "net": 11.275000000000027,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-12",
      "draft": "low",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 4.8,
      "chip_gross": 9.0,
      "utility_gross": 10.65,
      "chip_net": 4.2,
      "utility_net": 5.8500000000000005,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.2958333333333333,
        "call_chips": -18.00000000000003,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 9.0,
        "gross": 9.0,
        "net": 4.2,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.2958333333333333,
        "call_chips": -18.00000000000003,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 10.65,
        "gross": 10.65,
        "net": 5.8500000000000005,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-12",
      "draft": "low",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 4.8,
      "chip_gross": 9.0,
      "utility_gross": 7.35,
      "chip_net": 4.2,
      "utility_net": 2.55,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.2958333333333333,
        "call_chips": -18.00000000000003,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0.0,
        "verified_utility": 9.0,
        "gross": 9.0,
        "net": 4.2,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.2958333333333333,
        "call_chips": -18.00000000000003,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 6.6,
        "verified_utility": 13.95,
        "gross": 7.35,
        "net": 2.55,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-12",
      "draft": "high",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 4.8,
      "chip_gross": 9.0,
      "utility_gross": 7.350000000000001,
      "chip_net": 4.2,
      "utility_net": 2.5500000000000016,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.37083333333333335,
        "call_chips": 18.0,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 18.0,
        "verified_utility": 27.0,
        "gross": 9.0,
        "net": 4.2,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.37083333333333335,
        "call_chips": 18.0,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 24.6,
        "verified_utility": 31.950000000000003,
        "gross": 7.350000000000001,
        "net": 2.5500000000000016,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-12",
      "draft": "high",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 4.8,
      "chip_gross": 9.0,
      "utility_gross": 10.649999999999999,
      "chip_net": 4.2,
      "utility_net": 5.849999999999999,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.37083333333333335,
        "call_chips": 18.0,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 18.0,
        "verified_utility": 27.0,
        "gross": 9.0,
        "net": 4.2,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.37083333333333335,
        "call_chips": 18.0,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 18.0,
        "verified_utility": 28.65,
        "gross": 10.649999999999999,
        "net": 5.849999999999999,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-13",
      "draft": "low",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 9.6,
      "chip_gross": 17.999999999999993,
      "utility_gross": 19.64999999999999,
      "chip_net": 8.399999999999993,
      "utility_net": 10.049999999999992,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.2583333333333333,
        "call_chips": -36.000000000000014,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 17.999999999999993,
        "gross": 17.999999999999993,
        "net": 8.399999999999993,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.2583333333333333,
        "call_chips": -36.000000000000014,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 19.64999999999999,
        "gross": 19.64999999999999,
        "net": 10.049999999999992,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-13",
      "draft": "low",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 9.6,
      "chip_gross": 17.999999999999993,
      "utility_gross": 16.349999999999994,
      "chip_net": 8.399999999999993,
      "utility_net": 6.749999999999995,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.2583333333333333,
        "call_chips": -36.000000000000014,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0.0,
        "verified_utility": 17.999999999999993,
        "gross": 17.999999999999993,
        "net": 8.399999999999993,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.2583333333333333,
        "call_chips": -36.000000000000014,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 6.6,
        "verified_utility": 22.949999999999992,
        "gross": 16.349999999999994,
        "net": 6.749999999999995,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-13",
      "draft": "high",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 9.6,
      "chip_gross": 18.000000000000007,
      "utility_gross": 16.35,
      "chip_net": 8.400000000000007,
      "utility_net": 6.750000000000002,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.40833333333333327,
        "call_chips": 35.99999999999997,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 35.99999999999997,
        "verified_utility": 53.99999999999998,
        "gross": 18.000000000000007,
        "net": 8.400000000000007,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.40833333333333327,
        "call_chips": 35.99999999999997,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 42.59999999999997,
        "verified_utility": 58.949999999999974,
        "gross": 16.35,
        "net": 6.750000000000002,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-13",
      "draft": "high",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 9.6,
      "chip_gross": 18.000000000000007,
      "utility_gross": 19.650000000000006,
      "chip_net": 8.400000000000007,
      "utility_net": 10.050000000000006,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.40833333333333327,
        "call_chips": 35.99999999999997,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 35.99999999999997,
        "verified_utility": 53.99999999999998,
        "gross": 18.000000000000007,
        "net": 8.400000000000007,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.40833333333333327,
        "call_chips": 35.99999999999997,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 35.99999999999997,
        "verified_utility": 55.64999999999998,
        "gross": 19.650000000000006,
        "net": 10.050000000000006,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-14",
      "draft": "low",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 6.4,
      "chip_gross": 12.0,
      "utility_gross": 13.65,
      "chip_net": 5.6,
      "utility_net": 7.25,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.21249999999999997,
        "call_chips": -24.00000000000003,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 12.0,
        "gross": 12.0,
        "net": 5.6,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.21249999999999997,
        "call_chips": -24.00000000000003,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 13.65,
        "gross": 13.65,
        "net": 7.25,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-14",
      "draft": "low",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 6.4,
      "chip_gross": 12.0,
      "utility_gross": 10.35,
      "chip_net": 5.6,
      "utility_net": 3.9499999999999993,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.21249999999999997,
        "call_chips": -24.00000000000003,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0.0,
        "verified_utility": 12.0,
        "gross": 12.0,
        "net": 5.6,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.21249999999999997,
        "call_chips": -24.00000000000003,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 6.6,
        "verified_utility": 16.95,
        "gross": 10.35,
        "net": 3.9499999999999993,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-14",
      "draft": "high",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 6.4,
      "chip_gross": 11.999999999999972,
      "utility_gross": 10.349999999999973,
      "chip_net": 5.599999999999971,
      "utility_net": 3.9499999999999726,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.28750000000000003,
        "call_chips": 24.00000000000003,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 24.00000000000003,
        "verified_utility": 36.0,
        "gross": 11.999999999999972,
        "net": 5.599999999999971,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.28750000000000003,
        "call_chips": 24.00000000000003,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 30.60000000000003,
        "verified_utility": 40.95,
        "gross": 10.349999999999973,
        "net": 3.9499999999999726,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-14",
      "draft": "high",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 6.4,
      "chip_gross": 11.999999999999972,
      "utility_gross": 13.64999999999997,
      "chip_net": 5.599999999999971,
      "utility_net": 7.24999999999997,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.28750000000000003,
        "call_chips": 24.00000000000003,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 24.00000000000003,
        "verified_utility": 36.0,
        "gross": 11.999999999999972,
        "net": 5.599999999999971,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.28750000000000003,
        "call_chips": 24.00000000000003,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 24.00000000000003,
        "verified_utility": 37.65,
        "gross": 13.64999999999997,
        "net": 7.24999999999997,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-15",
      "draft": "low",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 12.8,
      "chip_gross": 24.0,
      "utility_gross": 25.65,
      "chip_net": 11.2,
      "utility_net": 12.849999999999998,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.17500000000000002,
        "call_chips": -47.999999999999986,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 24.0,
        "gross": 24.0,
        "net": 11.2,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.17500000000000002,
        "call_chips": -47.999999999999986,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 25.65,
        "gross": 25.65,
        "net": 12.849999999999998,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-15",
      "draft": "low",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 12.8,
      "chip_gross": 24.0,
      "utility_gross": 22.35,
      "chip_net": 11.2,
      "utility_net": 9.55,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.17500000000000002,
        "call_chips": -47.999999999999986,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0.0,
        "verified_utility": 24.0,
        "gross": 24.0,
        "net": 11.2,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.17500000000000002,
        "call_chips": -47.999999999999986,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 6.6,
        "verified_utility": 28.95,
        "gross": 22.35,
        "net": 9.55,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-15",
      "draft": "high",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 12.8,
      "chip_gross": 23.999999999999943,
      "utility_gross": 22.34999999999993,
      "chip_net": 11.199999999999942,
      "utility_net": 9.54999999999993,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.32500000000000007,
        "call_chips": 48.00000000000006,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 48.00000000000006,
        "verified_utility": 72.0,
        "gross": 23.999999999999943,
        "net": 11.199999999999942,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.32500000000000007,
        "call_chips": 48.00000000000006,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 54.60000000000006,
        "verified_utility": 76.94999999999999,
        "gross": 22.34999999999993,
        "net": 9.54999999999993,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-15",
      "draft": "high",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 12.8,
      "chip_gross": 23.999999999999943,
      "utility_gross": 25.64999999999995,
      "chip_net": 11.199999999999942,
      "utility_net": 12.849999999999948,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.32500000000000007,
        "call_chips": 48.00000000000006,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 48.00000000000006,
        "verified_utility": 72.0,
        "gross": 23.999999999999943,
        "net": 11.199999999999942,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.32500000000000007,
        "call_chips": 48.00000000000006,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 48.00000000000006,
        "verified_utility": 73.65,
        "gross": 25.64999999999995,
        "net": 12.849999999999948,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-16",
      "draft": "low",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 8.0,
      "chip_gross": 15.000000000000007,
      "utility_gross": 16.650000000000006,
      "chip_net": 7.000000000000007,
      "utility_net": 8.650000000000006,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.1625,
        "call_chips": -30.0,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 15.000000000000007,
        "gross": 15.000000000000007,
        "net": 7.000000000000007,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.1625,
        "call_chips": -30.0,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 16.650000000000006,
        "gross": 16.650000000000006,
        "net": 8.650000000000006,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-16",
      "draft": "low",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 8.0,
      "chip_gross": 15.000000000000007,
      "utility_gross": 13.350000000000007,
      "chip_net": 7.000000000000007,
      "utility_net": 5.350000000000007,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.1625,
        "call_chips": -30.0,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0.0,
        "verified_utility": 15.000000000000007,
        "gross": 15.000000000000007,
        "net": 7.000000000000007,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.1625,
        "call_chips": -30.0,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 6.6,
        "verified_utility": 19.950000000000006,
        "gross": 13.350000000000007,
        "net": 5.350000000000007,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-16",
      "draft": "high",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 8.0,
      "chip_gross": 15.000000000000021,
      "utility_gross": 13.350000000000016,
      "chip_net": 7.000000000000021,
      "utility_net": 5.350000000000016,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.23750000000000002,
        "call_chips": 30.0,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 30.0,
        "verified_utility": 45.00000000000002,
        "gross": 15.000000000000021,
        "net": 7.000000000000021,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.23750000000000002,
        "call_chips": 30.0,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 36.6,
        "verified_utility": 49.95000000000002,
        "gross": 13.350000000000016,
        "net": 5.350000000000016,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-16",
      "draft": "high",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 8.0,
      "chip_gross": 15.000000000000021,
      "utility_gross": 16.65000000000002,
      "chip_net": 7.000000000000021,
      "utility_net": 8.65000000000002,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.23750000000000002,
        "call_chips": 30.0,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 30.0,
        "verified_utility": 45.00000000000002,
        "gross": 15.000000000000021,
        "net": 7.000000000000021,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.23750000000000002,
        "call_chips": 30.0,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 30.0,
        "verified_utility": 46.65000000000002,
        "gross": 16.65000000000002,
        "net": 8.65000000000002,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-17",
      "draft": "low",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 16.0,
      "chip_gross": 30.0,
      "utility_gross": 31.65,
      "chip_net": 14.0,
      "utility_net": 15.649999999999999,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.125,
        "call_chips": -60.0,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 30.0,
        "gross": 30.0,
        "net": 14.0,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.125,
        "call_chips": -60.0,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 31.65,
        "gross": 31.65,
        "net": 15.649999999999999,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-17",
      "draft": "low",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 16.0,
      "chip_gross": 30.0,
      "utility_gross": 28.35,
      "chip_net": 14.0,
      "utility_net": 12.350000000000001,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.125,
        "call_chips": -60.0,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0.0,
        "verified_utility": 30.0,
        "gross": 30.0,
        "net": 14.0,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.125,
        "call_chips": -60.0,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 6.6,
        "verified_utility": 34.95,
        "gross": 28.35,
        "net": 12.350000000000001,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-17",
      "draft": "high",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 16.0,
      "chip_gross": 30.00000000000003,
      "utility_gross": 28.350000000000023,
      "chip_net": 14.000000000000028,
      "utility_net": 12.350000000000023,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.27499999999999997,
        "call_chips": 59.99999999999997,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 59.99999999999997,
        "verified_utility": 90.0,
        "gross": 30.00000000000003,
        "net": 14.000000000000028,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.27499999999999997,
        "call_chips": 59.99999999999997,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 66.59999999999997,
        "verified_utility": 94.94999999999999,
        "gross": 28.350000000000023,
        "net": 12.350000000000023,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-17",
      "draft": "high",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 16.0,
      "chip_gross": 30.00000000000003,
      "utility_gross": 31.650000000000034,
      "chip_net": 14.000000000000028,
      "utility_net": 15.650000000000034,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.27499999999999997,
        "call_chips": 59.99999999999997,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 59.99999999999997,
        "verified_utility": 90.0,
        "gross": 30.00000000000003,
        "net": 14.000000000000028,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.27499999999999997,
        "call_chips": 59.99999999999997,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 59.99999999999997,
        "verified_utility": 91.65,
        "gross": 31.650000000000034,
        "net": 15.650000000000034,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-18",
      "draft": "low",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 6.3,
      "chip_gross": 11.8125,
      "utility_gross": 13.4625,
      "chip_net": 5.5125,
      "utility_net": 7.1625000000000005,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.2958333333333333,
        "call_chips": -23.62500000000003,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 11.8125,
        "gross": 11.8125,
        "net": 5.5125,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.2958333333333333,
        "call_chips": -23.62500000000003,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 13.4625,
        "gross": 13.4625,
        "net": 7.1625000000000005,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-18",
      "draft": "low",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 6.3,
      "chip_gross": 11.8125,
      "utility_gross": 10.1625,
      "chip_net": 5.5125,
      "utility_net": 3.8625,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.2958333333333333,
        "call_chips": -23.62500000000003,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0.0,
        "verified_utility": 11.8125,
        "gross": 11.8125,
        "net": 5.5125,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.2958333333333333,
        "call_chips": -23.62500000000003,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 6.6,
        "verified_utility": 16.7625,
        "gross": 10.1625,
        "net": 3.8625,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-18",
      "draft": "high",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 6.3,
      "chip_gross": 11.8125,
      "utility_gross": 10.162500000000001,
      "chip_net": 5.5125,
      "utility_net": 3.8625000000000016,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.37083333333333335,
        "call_chips": 23.625,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 23.625,
        "verified_utility": 35.4375,
        "gross": 11.8125,
        "net": 5.5125,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.37083333333333335,
        "call_chips": 23.625,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 30.225,
        "verified_utility": 40.3875,
        "gross": 10.162500000000001,
        "net": 3.8625000000000016,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-18",
      "draft": "high",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 6.3,
      "chip_gross": 11.8125,
      "utility_gross": 13.462499999999999,
      "chip_net": 5.5125,
      "utility_net": 7.162499999999999,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.37083333333333335,
        "call_chips": 23.625,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 23.625,
        "verified_utility": 35.4375,
        "gross": 11.8125,
        "net": 5.5125,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.37083333333333335,
        "call_chips": 23.625,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 23.625,
        "verified_utility": 37.0875,
        "gross": 13.462499999999999,
        "net": 7.162499999999999,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-19",
      "draft": "low",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 12.6,
      "chip_gross": 23.624999999999986,
      "utility_gross": 25.274999999999984,
      "chip_net": 11.024999999999986,
      "utility_net": 12.674999999999985,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.2583333333333333,
        "call_chips": -47.25000000000003,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 23.624999999999986,
        "gross": 23.624999999999986,
        "net": 11.024999999999986,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.2583333333333333,
        "call_chips": -47.25000000000003,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 25.274999999999984,
        "gross": 25.274999999999984,
        "net": 12.674999999999985,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-19",
      "draft": "low",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 12.6,
      "chip_gross": 23.624999999999986,
      "utility_gross": 21.974999999999987,
      "chip_net": 11.024999999999986,
      "utility_net": 9.374999999999988,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.2583333333333333,
        "call_chips": -47.25000000000003,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0.0,
        "verified_utility": 23.624999999999986,
        "gross": 23.624999999999986,
        "net": 11.024999999999986,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.2583333333333333,
        "call_chips": -47.25000000000003,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 6.6,
        "verified_utility": 28.574999999999985,
        "gross": 21.974999999999987,
        "net": 9.374999999999988,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-19",
      "draft": "high",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 12.6,
      "chip_gross": 23.625000000000014,
      "utility_gross": 21.975000000000016,
      "chip_net": 11.025000000000015,
      "utility_net": 9.375000000000016,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.40833333333333327,
        "call_chips": 47.24999999999994,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 47.24999999999994,
        "verified_utility": 70.87499999999996,
        "gross": 23.625000000000014,
        "net": 11.025000000000015,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.40833333333333327,
        "call_chips": 47.24999999999994,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 53.849999999999945,
        "verified_utility": 75.82499999999996,
        "gross": 21.975000000000016,
        "net": 9.375000000000016,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-19",
      "draft": "high",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 12.6,
      "chip_gross": 23.625000000000014,
      "utility_gross": 25.27500000000002,
      "chip_net": 11.025000000000015,
      "utility_net": 12.67500000000002,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.40833333333333327,
        "call_chips": 47.24999999999994,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 47.24999999999994,
        "verified_utility": 70.87499999999996,
        "gross": 23.625000000000014,
        "net": 11.025000000000015,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.40833333333333327,
        "call_chips": 47.24999999999994,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 47.24999999999994,
        "verified_utility": 72.52499999999996,
        "gross": 25.27500000000002,
        "net": 12.67500000000002,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-20",
      "draft": "low",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 8.4,
      "chip_gross": 15.75,
      "utility_gross": 17.4,
      "chip_net": 7.35,
      "utility_net": 8.999999999999998,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.21249999999999997,
        "call_chips": -31.50000000000003,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 15.75,
        "gross": 15.75,
        "net": 7.35,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.21249999999999997,
        "call_chips": -31.50000000000003,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 17.4,
        "gross": 17.4,
        "net": 8.999999999999998,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-20",
      "draft": "low",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 8.4,
      "chip_gross": 15.75,
      "utility_gross": 14.1,
      "chip_net": 7.35,
      "utility_net": 5.699999999999999,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.21249999999999997,
        "call_chips": -31.50000000000003,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0.0,
        "verified_utility": 15.75,
        "gross": 15.75,
        "net": 7.35,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.21249999999999997,
        "call_chips": -31.50000000000003,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 6.6,
        "verified_utility": 20.7,
        "gross": 14.1,
        "net": 5.699999999999999,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-20",
      "draft": "high",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 8.4,
      "chip_gross": 15.749999999999972,
      "utility_gross": 14.099999999999966,
      "chip_net": 7.349999999999971,
      "utility_net": 5.6999999999999655,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.28750000000000003,
        "call_chips": 31.50000000000003,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 31.50000000000003,
        "verified_utility": 47.25,
        "gross": 15.749999999999972,
        "net": 7.349999999999971,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.28750000000000003,
        "call_chips": 31.50000000000003,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 38.10000000000003,
        "verified_utility": 52.199999999999996,
        "gross": 14.099999999999966,
        "net": 5.6999999999999655,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-20",
      "draft": "high",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 8.4,
      "chip_gross": 15.749999999999972,
      "utility_gross": 17.39999999999997,
      "chip_net": 7.349999999999971,
      "utility_net": 8.99999999999997,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.28750000000000003,
        "call_chips": 31.50000000000003,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 31.50000000000003,
        "verified_utility": 47.25,
        "gross": 15.749999999999972,
        "net": 7.349999999999971,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.28750000000000003,
        "call_chips": 31.50000000000003,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 31.50000000000003,
        "verified_utility": 48.9,
        "gross": 17.39999999999997,
        "net": 8.99999999999997,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-21",
      "draft": "low",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 16.8,
      "chip_gross": 31.5,
      "utility_gross": 33.15,
      "chip_net": 14.7,
      "utility_net": 16.349999999999998,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.17500000000000002,
        "call_chips": -63.0,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 31.5,
        "gross": 31.5,
        "net": 14.7,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.17500000000000002,
        "call_chips": -63.0,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 33.15,
        "gross": 33.15,
        "net": 16.349999999999998,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-21",
      "draft": "low",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 16.8,
      "chip_gross": 31.5,
      "utility_gross": 29.85,
      "chip_net": 14.7,
      "utility_net": 13.05,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.17500000000000002,
        "call_chips": -63.0,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0.0,
        "verified_utility": 31.5,
        "gross": 31.5,
        "net": 14.7,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.17500000000000002,
        "call_chips": -63.0,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 6.6,
        "verified_utility": 36.45,
        "gross": 29.85,
        "net": 13.05,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-21",
      "draft": "high",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 16.8,
      "chip_gross": 31.499999999999943,
      "utility_gross": 29.849999999999937,
      "chip_net": 14.699999999999942,
      "utility_net": 13.049999999999937,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.32500000000000007,
        "call_chips": 63.00000000000006,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 63.00000000000006,
        "verified_utility": 94.5,
        "gross": 31.499999999999943,
        "net": 14.699999999999942,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.32500000000000007,
        "call_chips": 63.00000000000006,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 69.60000000000005,
        "verified_utility": 99.44999999999999,
        "gross": 29.849999999999937,
        "net": 13.049999999999937,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-21",
      "draft": "high",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 16.8,
      "chip_gross": 31.499999999999943,
      "utility_gross": 33.14999999999995,
      "chip_net": 14.699999999999942,
      "utility_net": 16.349999999999948,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.32500000000000007,
        "call_chips": 63.00000000000006,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 63.00000000000006,
        "verified_utility": 94.5,
        "gross": 31.499999999999943,
        "net": 14.699999999999942,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.32500000000000007,
        "call_chips": 63.00000000000006,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 63.00000000000006,
        "verified_utility": 96.15,
        "gross": 33.14999999999995,
        "net": 16.349999999999948,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-22",
      "draft": "low",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 10.5,
      "chip_gross": 19.6875,
      "utility_gross": 21.3375,
      "chip_net": 9.1875,
      "utility_net": 10.837499999999999,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.1625,
        "call_chips": -39.375,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 19.6875,
        "gross": 19.6875,
        "net": 9.1875,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.1625,
        "call_chips": -39.375,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 21.3375,
        "gross": 21.3375,
        "net": 10.837499999999999,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-22",
      "draft": "low",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 10.5,
      "chip_gross": 19.6875,
      "utility_gross": 18.0375,
      "chip_net": 9.1875,
      "utility_net": 7.537500000000001,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.1625,
        "call_chips": -39.375,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0.0,
        "verified_utility": 19.6875,
        "gross": 19.6875,
        "net": 9.1875,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.1625,
        "call_chips": -39.375,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 6.6,
        "verified_utility": 24.6375,
        "gross": 18.0375,
        "net": 7.537500000000001,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-22",
      "draft": "high",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 10.5,
      "chip_gross": 19.68749999999997,
      "utility_gross": 18.03749999999996,
      "chip_net": 9.187499999999972,
      "utility_net": 7.537499999999959,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.23750000000000002,
        "call_chips": 39.37500000000003,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 39.37500000000003,
        "verified_utility": 59.0625,
        "gross": 19.68749999999997,
        "net": 9.187499999999972,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.23750000000000002,
        "call_chips": 39.37500000000003,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 45.97500000000003,
        "verified_utility": 64.01249999999999,
        "gross": 18.03749999999996,
        "net": 7.537499999999959,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-22",
      "draft": "high",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 10.5,
      "chip_gross": 19.68749999999997,
      "utility_gross": 21.33749999999997,
      "chip_net": 9.187499999999972,
      "utility_net": 10.83749999999997,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.23750000000000002,
        "call_chips": 39.37500000000003,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 39.37500000000003,
        "verified_utility": 59.0625,
        "gross": 19.68749999999997,
        "net": 9.187499999999972,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.23750000000000002,
        "call_chips": 39.37500000000003,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 39.37500000000003,
        "verified_utility": 60.7125,
        "gross": 21.33749999999997,
        "net": 10.83749999999997,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-23",
      "draft": "low",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 21.0,
      "chip_gross": 39.375,
      "utility_gross": 41.025,
      "chip_net": 18.375,
      "utility_net": 20.025,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.125,
        "call_chips": -78.75,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 39.375,
        "gross": 39.375,
        "net": 18.375,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.125,
        "call_chips": -78.75,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0,
        "verified_utility": 41.025,
        "gross": 41.025,
        "net": 20.025,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-23",
      "draft": "low",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 21.0,
      "chip_gross": 39.375,
      "utility_gross": 37.725,
      "chip_net": 18.375,
      "utility_net": 16.725,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.25,
        "p_bluff": 0.125,
        "call_chips": -78.75,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 0.0,
        "verified_utility": 39.375,
        "gross": 39.375,
        "net": 18.375,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.25,
        "p_bluff": 0.125,
        "call_chips": -78.75,
        "unchecked_action": "FOLD",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 6.6,
        "verified_utility": 44.325,
        "gross": 37.725,
        "net": 16.725,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-23",
      "draft": "high",
      "bonus_action": "CALL",
      "bonus_chip_equivalent": 6.6,
      "fee": 21.0,
      "chip_gross": 39.37500000000006,
      "utility_gross": 37.72500000000005,
      "chip_net": 18.375000000000057,
      "utility_net": 16.72500000000005,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.27499999999999997,
        "call_chips": 78.74999999999994,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 78.74999999999994,
        "verified_utility": 118.125,
        "gross": 39.37500000000006,
        "net": 18.375000000000057,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.27499999999999997,
        "call_chips": 78.74999999999994,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 85.34999999999994,
        "verified_utility": 123.07499999999999,
        "gross": 37.72500000000005,
        "net": 16.72500000000005,
        "choice": "VERIFY"
      }
    },
    {
      "family": "full-23",
      "draft": "high",
      "bonus_action": "FOLD",
      "bonus_chip_equivalent": 6.6,
      "fee": 21.0,
      "chip_gross": 39.37500000000006,
      "utility_gross": 41.02500000000006,
      "chip_net": 18.375000000000057,
      "utility_net": 20.025000000000063,
      "chip_choice": "VERIFY",
      "utility_choice": "VERIFY",
      "final_actions_unchanged": true,
      "chip": {
        "posterior_high": 0.75,
        "p_bluff": 0.27499999999999997,
        "call_chips": 78.74999999999994,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 78.74999999999994,
        "verified_utility": 118.125,
        "gross": 39.37500000000006,
        "net": 18.375000000000057,
        "choice": "VERIFY"
      },
      "utility": {
        "posterior_high": 0.75,
        "p_bluff": 0.27499999999999997,
        "call_chips": 78.74999999999994,
        "unchecked_action": "CALL",
        "verified_low_action": "FOLD",
        "verified_high_action": "CALL",
        "unchecked_utility": 78.74999999999994,
        "verified_utility": 119.775,
        "gross": 41.02500000000006,
        "net": 20.025000000000063,
        "choice": "VERIFY"
      }
    }
  ],
  "all_checked_action_policies_unchanged": true,
  "caveat": "A checking difference can coexist with chip-optimal final actions. This construction alone neither identifies an actual bonus value nor establishes a model objective."
}
