Dyadic Encoding

1. REDIRECT bijective numeration

{{R without mention}}

{{R with history}}