)]}' { "id": "a7e2fd14640abe50b1126d0e0d8fa94e5279d9d5", "repo": "plan9", "revision": "b15fd97627767291628309677c40b3f40b868497", "path": "src/cmd/proof/proof.h" }