La secuencia más corta a considerar será la cadena vacía formula_13, es decir: