Distributions maintained by GARAFOLA