)]}'
{
  "id": "f77e54f15d75e521c5e27470e3e2dc5c4e3a6383",
  "repo": "mirror",
  "revision": "8290a5529b40e441edc90e4aef59bfbb9c62dc29",
  "path": "Eigen/src/Householder/Householder.h"
}