{
  "paper": 58,
  "version": "0.1",
  "entry_state": "v1.48",
  "exit_candidate_state": "v1.49",
  "Euler_positive_coefficients": "LOG_DISTANCE_WALL_CERTIFIED",
  "higher_log_derivatives": "ZERO_SIDE_SIGN_LOSS_CERTIFIED",
  "raw_prime_positivity": "BOUNDARY_BLIND_CERTIFIED",
  "Heath_Brown_componentwise": "NONAMPLIFYING_CERTIFIED",
  "Heath_Brown_joint": "OPEN_HIGH_COST",
  "preferred_frontier": "F-RH-017",
  "RH_PROVED": false,
  "RH_DISPROVED": false
}
