Symmacs-finalreport2013.pdf