{
  "catalog_state": "prototype",
  "generated_by": "scripts/generate_formalization_site.py",
  "generator_version": 2,
  "input_sha256": "2947141f80d09350b8e19dca92bd87005cb314b6bdb949e0ed185684e2377f45",
  "revision": "55b265b15cd60bbc25d2cd1b54546f33642da290",
  "schema_version": 1
}