TeX source:
C ≥ 2625