symsol_reduced.zip