de_Bruijn_Index