)]}'
{
  "id": "cdd4b86d48174e89b1c8a2a3c5fc702b189765d4",
  "repo": "r8",
  "revision": "7cec45be0c6c08de76fb9c7f6d0cdab41f703197",
  "path": "src/test/examples/assumenosideeffects3/keep-rules-discard.txt"
}