{
  "title": "Simple State Machine",
  "origin_url": "https://nusmv.fbk.eu/examples/examples.html",
  "license_guess": null,
  "code_sha256": "596a5722b7eb0181d0ef73028e4f74795aabbb268605513bf23b908440e084e4",
  "added_at": "2026-02-12T11:43:42Z"
}