https://123dok.net/document/qmjkjmo9-cache-oblivious-implicit-predecessor-dictionaries-with-working-property.html