ChemAxon Chemicalize and Schrodinger Epik to ensure we had not missed states. We also allowed participants to submit additional microstates they might view as important, and received one set of such submissions, which resulted in us adding a microstate with a +1 formal charge to molecules SM31 (SM31_micro002) and SM34 (SM34_micro002). It is unclear why this state was not identified by the tools we used to enumerate microstates.