[deleted] comments on [SEQ RERUN] Sorting Pebbles Into Correct Heaps