File:2-adic_integers_with_dual_colorings.svg loading ...