tayloj@monica:~$ PATH=${PATH}:~tayloj/nauty22 clisp
i i i i i i i ooooo o ooooooo ooooo ooooo
I I I I I I I 8 8 8 8 8 o 8 8
I \ `+' / I 8 8 8 8 8 8
\ `-+-' / 8 8 8 ooooo 8oooo
`-__|__-' 8 8 8 8 8
| 8 o 8 8 o 8 8
------+------ ooooo 8oooooo ooo8ooo ooooo 8
Copyright (c) Bruno Haible, Michael Stoll 1992, 1993
Copyright (c) Bruno Haible, Marcus Daniels 1994-1997
Copyright (c) Bruno Haible, Pierpaolo Bernardi, Sam Steingold 1998
Copyright (c) Bruno Haible, Sam Steingold 1999-2002
[1]>
``[1]>'' is the LISP prompt, to which we will give commands. First, load the file by entering ``(load "enumeration.lisp")''.
[1]> (load "enumeration.lisp") ;; Loading file enumeration.lisp ... ;; Loaded file enumeration.lisp T [2]>Now the system is loaded and ready to accept input.