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