Prefixes starting with <#,#,# #,#>

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