1 : 35 k 1 : 40 prlisp.