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

<#,#,# #,#,#> .