{
  "title": "Natural Numbers with Addition and Multiplication",
  "origin_url": "https://www.cse.chalmers.se/~hallgren/Alfa/tutorial/",
  "license_guess": null,
  "code_sha256": "7e6f372564eb394dbc7bfa327c35c0c810a1c8366afccf88af5a26f1a229f8aa",
  "added_at": "2026-03-17T10:00:00Z"
}