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