Z3SMC24 PDF File