Z3: Historico e pdf