)]}'
{
  "id": "ef456bc3761a528d25169b28d5384ddf17efea20",
  "repo": "sdk.git",
  "revision": "47f7972a2fbb9b906a33d45bb06b10532ca6b41d",
  "path": "pkg/front_end/testcases/patterns/issue51716/test.options"
}