)]}' { "id": "64cc5864702558773d62860478695186743e529f", "repo": "r8", "revision": "refs/tags/1.6.76", "path": "src/test/examples/assumenosideeffects1/keep-rules.txt" }