[math-fun] 2017 trivium

When 2017 rolls around, we will be looking for some interesting property of that number. Here's my early submission: It appears that 2^2017 is the largest power of 2 that does not include the substring 53.