Input weight function rdNK has N inputs and K=]logN[ outputs. Its output is the binary encoding of the number of ones in its input. The function is symmetric. Its specification is not reversible.