Van Emde Boas tree