Distributions maintained by GBUDD