Kevin Atkinson and Shari Holstege's AI Freecell Solver in Common Lisp