{
  "tid": "T589",
  "title": "Positive zeros of the Kelvin function $\\operatorname{ber}_0$",
  "findings": [],
  "clean": true
}