)]}'
{
  "id": "d35d319a680bb3c1c7d8cfd350a150aadcd1cfc4",
  "repo": "mirror",
  "revision": "a0fc640c185b8d021f31b386b4eed0dd06250cdf",
  "path": "Eigen/src/Householder/HouseholderSequence.h"
}