  A family of heptagon relations -- algebraic imitations of five-dimensional
Pachner moves -- is constructed, parameterized by simplicial 3-cocycles. These
relations are shown to possess a nontrivial "heptagon cohomology", which yields
invariants of a pair "manifold, its 3rd cohomology class".
