Prefixes starting with <+#-#-#>

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