10 1 / 2 rdr prlisp.