5 : 50 k 5 : 80 pr lisp.;