Distributions maintained by DEMMY