<pre>
ABCDEF=142857 (the digits of the expansion of 1/7).
</pre>
