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