ko- 5 k 5 : 59 prlisp.