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