)]}'
{
  "id": "7c4f26096d40f25b67d4f38ccc406531704eff1c",
  "repo": "sdk.git",
  "revision": "cc0dbb27bbcd3310d991c960dbd582d2e66ca72c",
  "path": "pkg/front_end/testcases/coverage/digit-separators/folder.options"
}