{
  "title": "Unbounded Counter",
  "origin_url": "https://www.mcrl2.org/web/user_manual/language_reference/mucrl.html",
  "license_guess": null,
  "code_sha256": "086ff0647edf0ec989282d2e522a1a52dcdd2c67da76f6b27c1e094e45a5d6f6",
  "added_at": "2026-03-05T10:00:00Z"
}