success 22 lisp Lisp code 6384279 888931 915376 0.122219900154127 429 800 67323