Hafre 1 : 8 k 1 : 10 prlisp.