2 : 25 li 2 : 50 prlisp.