added dotopo.lisp