  We prove that in formal dimension $\leq 20$ the Hilali conjecture holds, i.e.
that the total dimension of the rational homology bounds from above the total
dimension of the rational homotopy for a simply connected rationally elliptic
space.
