SEQUITUR algorithm