8-puzzle.lsp 01-Mar-1999 19:13 15k 8-puzzle.out 28-Feb-1999 21:07 6k final 01-Mar-1999 19:11 6k output 01-Mar-1999 22:00 6k school-output 28-Feb-1999 22:26 5k