binaryheap3