added vanemdeboas tree as later priority queue replacement, thanks to evan jones