)]}'
{
  "id": "c0765d494be9be955f7306bd78f20d4b5f01fef3",
  "repo": "mirror",
  "revision": "641d968a9a7ed57a3b8a3f45dea43c5ee6717f97",
  "path": "unsupported/Eigen/src/AutoDiff/AutoDiffVector.h"
}