Prefixes starting with <distri>

<distrib> . <distric> . <distri> (other) .