ke- 6 k i : 50 prlisp.