reading the zama script

lean