Small Triangulations of 4-Manifolds and the 4-Manifold Census | Synapse