CN-TST 2023 Problem 10

The set of nonempty integers $A$ is said to be "elegant" if it is for any $a\in A,$ $1\leq k\leq 2023,$ $$\left| \left\{ b\in A:\left\lfloor\frac b{3^k}\right\rfloor =\left\lfloor\frac a{3^k}\right\rfloor\right\}\right| =2^k.$$ Prove that if the intersection of the integer set $S$ and any "elegant" set is not empty $,$ then $S$ contains an "elegant" set.