Added dump to tell what the 32-dimensional subspace is,
before projecting down.
Added correction and repeating.
Added tentative corrections for unfanout9.