TeX source:

512=2^9