{
  "candidate": "DUCTF{ezzzpzzz_07bcda7bfe81faf43caa}",
  "checksPassed": 26,
  "z3": "5.3.1",
  "uniquenessProven": false
}