{
  "paper": 53,
  "version": "0.1",
  "entry_state": "v1.43",
  "exit_candidate_state": "v1.44",
  "exact_pesc_mean_square_identity": true,
  "theta_psi_power_equivalence": true,
  "discrete_continuous_power_equivalence": true,
  "mellin_analytic_continuation_proved": true,
  "PESC_kappa_zero_free_strip": true,
  "PESC_1_implies_RH": true,
  "RH_implies_PESC_1": true,
  "Z4": "CLOSED_STRUCTURALLY",
  "PK5_unconditional_endpoint": "OPEN_RH_EQUIVALENT",
  "RH_PROVED": false,
  "RH_DISPROVED": false
}