Prefixes starting with <+#-#-#-#>

<+#-#-#-# > . <+#-#-#-#> (other) .