Z3SMC7.5 PDF File