davenport-schinzel sequence