2 : 25 5 2 : 50 prlisp.