Distributions maintained by FESTY