)]}'
{
  "id": "d1fa0e3c9a26b7f3bc30dbc694e34e0386efb206",
  "repo": "mirror",
  "revision": "bc5d8974087d5ea745798443cdbc78239dd44b20",
  "path": "contrib/benchmarks/GPU/bench_batching.cpp"
}
