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