{
  "title": "Zeroing the first array element verification example",
  "origin_url": "https://boogie.org/tutorial.html",
  "license_guess": null,
  "code_sha256": "61f62c492b2bb709a8d4b2689f63f4c8227acc1a48a2b1989bf45017976bf09c",
  "added_at": "2025-10-28T10:37:37Z"
}