Prefixes starting with <#:#:#>

<#:#:# > . <#:#:#> (other) .