Inference of the cold dark matter substructure mass function at z = 0.2 using strong gravitational lenses | Synapse