{
  "campaign_id": "CSM_RH_Campaign_47",
  "version": "0.4",
  "active": "F-RH-024_DYADIC_LOCALIZATION",
  "certified": {
    "balanced_DS": "(-zeta'/zeta-L_V)(zeta M_U-1)",
    "counterterm": "q(n)=M_U log n-M_U L_V-J_U-1",
    "zero_residue": "Res H at rho = multiplicity(rho)",
    "parameter_invariance": "all U,V share the same zeta'/zeta hard core"
  },
  "next_attack": [
    "D1_DYADICALLY_PARTITION_E_AND_K",
    "D2_PARTITION_THE_LOG_AFFINE_COUNTERTERM_COMPATIBLY",
    "D3_COMPUTE_ZERO_RESPONSE_OF_EACH_POLYNOMIAL_FACTOR_BLOCK",
    "D4_IDENTIFY_MINIMAL_CRITICAL_THETA_RANGE_OR_CERTIFY_DISTRIBUTED_PARITY_WALL"
  ],
  "hard_rejections": [
    "OPTIMIZE_U_V_AS_IF_ZERO_POLES_DEPENDED_ON_PARAMETERS",
    "APPLY_GENERIC_TITCHMARSH_POWER_SAVING_TO_H_UV",
    "USE_SMALL_FACTOR_KUBILIUS_TRANSFERENCE_FOR_POLYNOMIAL_BALANCED_FACTORS",
    "ASSUME_RH"
  ]
}