)]}'
{
  "id": "1159f03ed3e7d53cff98ba4103e4ab1c4ee6b7d8",
  "repo": "mirror",
  "revision": "3e73f6036c4f28ae8d11ae43641c213e608529e6",
  "path": "Eigen/src/Householder/HouseholderSequence.h"
}