{
  "title": "Simple Counter Machine",
  "origin_url": "https://www.event-b.org/tutorial.html",
  "license_guess": null,
  "code_sha256": "b64c7b59c2c28f8249e2990f50bc65af11f9b29d382ad077fc7c2edebaca1bb1",
  "added_at": "2026-02-07T11:30:55Z"
}