{
  "branch": "ONE_SIDED_F_RH_017",
  "version": "1.0",
  "status": "UPPER_AND_LOWER_BARRIERS_SEPARATED",
  "upper_resolution_order": "r~X^nu log X",
  "upper_precision": "per-copy log loss O(X^-nu)",
  "Poisson_window": "2nu<1-tau",
  "next_attack": [
    "UP1_USE_INERTIA_TO_SELECT_A_MAXIMAL_SEPARATED_FAMILY_OF_EXCESS_INTERVALS",
    "UP2_BOUND_THE_PRIME_RICH_FAMILY_WITH_AN_EXTREMAL_INTERVAL_SIEVE_WITHOUT_GLOBAL_X^NU_MOMENTS",
    "UP3_TRACK_ENTROPY_OR_FAMILY_SIZE_COST_DIRECTLY",
    "UP4_COMPARE_RESULTING_C_PLUS_TO_MIN_D_TAU"
  ],
  "hard_rejections": [
    "CLAIM_SELBerg_UPPER_SIEVE_ALREADY_RESOLVES_ONE_PLUS_X_MINUS_NU",
    "USE_ONLY_POLYLOG_MOMENT_ORDER_FOR_A_POWER_EXCEPTIONAL_SAVING",
    "TREAT_LOWER_TAIL_AS_AN_UPPER_FACTORIAL_MOMENT_PROBLEM",
    "ASSUME_RH"
  ]
}