https://123dok.net/document/yj7r5rwp-length-k-overlap-free-binary-infinite-words.html