Ah! $2^9 = 512 \equiv 512 \mod 25$: $25 \cdot 20 = 500$, $512 - 500 = 12$. - AMAZONAWS 📅 March 6, 2026 👤 scraface Mar 06, 2026