https://123dok.net/document/zx56kxvn-thue-morse-sequence-p-adic-topology-free-monoid.html