/*The usual Heapify function, tailored for our use with a heap of scores*/
/*will use array p to keep track of indexes*/
/*The usual Heapify function, tailored for our use with a heap of scores*/
/*will use array p to keep track of indexes*/
popHeap takes the index at position i and pushes it out of the heap
(by pushing it to the bottom of the heap, where it is not noticed)*/
popHeap takes the index at position i and pushes it out of the heap
(by pushing it to the bottom of the heap, where it is not noticed)*/