Actually, there’d only be single pixels past digit 225 in the last example, if I understand you correctly.
If we can choose encoding, we can “cheat” by effectively embedding whatever we want to find in the encoding. The existence of every substring in a one of a set of ordinary encodings might not even be a weaker property than a fixed encoding, though, because infinities can be like that.
Actually, there’d only be single pixels past digit 225 in the last example, if I understand you correctly.
If we can choose encoding, we can “cheat” by effectively embedding whatever we want to find in the encoding. The existence of every substring in a one of a set of ordinary encodings might not even be a weaker property than a fixed encoding, though, because infinities can be like that.