2 : 50 k 2 : 75 prlisp.