1 : 20 k 1 : 25 prlisp.