{
  "campaign_id": "CSM_RH_Campaign_46_CANDIDATE",
  "version": "0.1",
  "target": "SEEDED_ARITHMETIC_STRIP_GAP_GENERATION",
  "seed_input": "PESC(kappa), equivalently beta_* <= 1-kappa/2",
  "required_output": "PESC(kappa+eta) for some fixed eta>0",
  "equivalent_zero_output": "beta_* <= 1-(kappa+eta)/2",
  "tracks": [
    "SG1_SEEDED_PRINCIPAL_FEJER_POWER_SUPPRESSION",
    "SG2_SEEDED_SHRINKING_THRESHOLD_SHORT_INTERVAL_L2",
    "SG3_SEEDED_ZERO_DETECTOR_WITH_PRIME_SIDE_COERCIVITY",
    "SG4_NEW_ARITHMETIC_CONTRACTION_THEOREM"
  ],
  "hard_rejections": [
    "ANOTHER_EQUIVALENT_CRITERION_WITHOUT_NEW_ESTIMATE",
    "PROJECT_OUT_PRINCIPAL_MODE_WITHOUT_COEFFICIENT_BOUND",
    "USE_ZERO_DENSITY_TO_IGNORE_FINITE_BOUNDARY_ZEROS",
    "PROMOTE_SUBPOWER_TO_FIXED_POWER",
    "ASSUME_BOUNDARY_LINE_IS_ZERO_FREE",
    "ASSUME_PAIR_CORRELATION",
    "ASSUME_RH"
  ]
}