{
  "sage_version": "10.9",
  "arb_precision_bits": 896,
  "half_integer_nonzero_control": "passed",
  "source_entry": "T487#0,2,1",
  "source_number": "3.123030919595692205078465748218145438304251329564707797527152754704441046662802309032711795323143293",
  "target_entry": "Dirichlet_eigenvalues_of_the_classical_planar_domains#annulus-1-2,1",
  "target_number": "9.75332212475071491068952390873",
  "source_interval_endpoint_signs": [
    "positive",
    "negative"
  ],
  "squared_source_interval_inside_target_interval": true,
  "scope": "The linked annulus comparison only; no new certification of the full table."
}