Distributions maintained by GARTH