stearin , 35 ] Jlisp.