Almost flat R^4 times a compact hyperbolic 7-manifold

Here you can obtain some TeXmacs files, Cadabra scripts, and source code for a C++ search program related to my article arXiv:1103.2732, "d = 11 Supergravity on almost flat R^4 times a compact hyperbolic 7-manifold, and the dip and bump seen in ATLAS-CONF-2010-088."

Here is the C++ source code for a search for solutions in the H^5 x S^2 case.

Here is a TeXmacs file containing part of the investigation of the H^4 x S^3 case. And a Cadabra notebook mentioned in it.