{
  "title": "Natural Numbers",
  "origin_url": "https://cseweb.ucsd.edu/~goguen/sys/obj.html",
  "license_guess": null,
  "code_sha256": "a436e4b529e9872f6a586269b4bf345b6ad39b4d86f8777b1c452f4703775970",
  "added_at": "2026-02-13T15:09:11Z"
}