)]}'
{
  "id": "a54be8c01bb22c2bb1b9c417825ac005d31aa837",
  "repo": "mirror",
  "revision": "3279e3934013d28b3870dd861eb64aec241a38b7",
  "path": "Eigen/src/Householder/Householder.h"
}