dirichlet.lisp 3.55 KB