)]}'
{
  "id": "775b2f872cf0d8bd7b7b43dee65b3d766e00e2db",
  "repo": "mirror",
  "revision": "751a3334914f71e4e4e328a0d80e7f17e265443e",
  "path": "Eigen/src/Householder/Householder.h"
}