https://123dok.net/document/y9646knv-enumerating-davenport-schinzel-sequences.html