Prefixes starting with <#,#.#>

<#,#.# > . <#,#.#> (other) .