:: foo ( -- ) :> heap t 0 heap heap-push heap heap-pop . drop t 1 heap heap-push t 1 heap heap-push t 7 heap heap-push heap heap-pop . drop t 2 heap heap-push t 2 heap heap-push t 8 heap heap-push heap heap-pop . drop t 2 heap heap-push t 8 heap heap-push heap heap-pop . drop t 3 heap heap-push t 3 heap heap-push t 9 heap heap-push heap heap-pop . drop t 9 heap heap-push heap heap-pop . drop t 3 heap heap-push t 9 heap heap-push heap heap-pop . drop t 4 heap heap-push t 4 heap heap-push t 10 heap heap-push heap heap-pop . drop t 10 heap heap-push heap heap-pop . drop t 4 heap heap-push t 10 heap heap-push heap heap-pop . drop t 5 heap heap-push t 5 heap heap-push t 11 heap heap-push heap heap-pop . drop t 11 heap heap-push heap heap-pop . drop t 5 heap heap-push t 11 heap heap-push heap heap-pop . drop t 6 heap heap-push t 6 heap heap-push t 12 heap heap-push heap heap-pop . drop t 6 heap heap-push t 12 heap heap-push heap heap-pop . drop t 12 heap heap-push heap heap-pop . drop t 13 heap heap-push heap heap-pop . drop t 13 heap heap-push heap heap-pop . drop t 7 heap heap-push t 7 heap heap-push t 13 heap heap-push heap heap-pop . drop heap heap-pop . drop t 8 heap heap-push t 8 heap heap-push t 8 heap heap-push t 14 heap heap-push heap heap-pop . drop t 14 heap heap-push heap heap-pop . drop heap heap-pop . drop t 9 heap heap-push t 9 heap heap-push t 15 heap heap-push heap heap-pop . drop heap heap-pop . drop t 15 heap heap-push heap heap-pop . drop t 9 heap heap-push t 15 heap heap-push heap heap-pop . drop heap heap-pop . drop t 10 heap heap-push t 10 heap heap-push t 16 heap heap-push heap heap-pop . drop t 10 heap heap-push t 16 heap heap-push heap heap-pop . drop t 10 heap heap-push t 16 heap heap-push heap heap-pop . drop heap heap-pop . drop t 10 heap heap-push heap heap-pop . drop heap heap-pop . drop t 11 heap heap-push heap heap-pop . drop t 17 heap heap-push heap heap-pop . drop t 11 heap heap-push t 17 heap heap-push heap heap-pop . drop t 11 heap heap-push t 17 heap heap-push* :> D0 heap heap-pop . drop heap heap-pop . drop t 17 heap heap-push heap heap-pop . drop t 11 heap heap-push t 17 heap heap-push heap heap-pop . drop heap heap-pop . drop t 18 heap heap-push heap heap-pop . drop t 12 heap heap-push t 12 heap heap-push t 18 heap heap-push heap heap-pop . drop t 18 heap heap-push* :> D1 heap heap-pop . drop t 12 heap heap-push t 12 heap heap-push t 18 heap heap-push heap heap-pop . drop t 12 heap heap-push heap heap-pop . drop D0 heap heap-delete t 12 heap heap-push heap heap-pop . drop t 13 heap heap-push t 13 heap heap-push heap heap-pop . drop heap heap-pop . drop t 13 heap heap-push t 19 heap heap-push* :> D2 heap heap-pop . drop D1 heap heap-delete t 13 heap heap-push heap heap-pop . drop t 13 heap heap-push t 19 heap heap-push heap heap-pop . drop t 13 heap heap-push t 19 heap heap-push heap heap-pop . drop t 13 heap heap-push t 19 heap heap-push heap heap-pop . drop heap heap-pop . drop t 13 heap heap-push t 13 heap heap-push t 19 heap heap-push heap heap-pop . drop D2 heap heap-delete t 14 heap heap-push t 14 heap heap-push t 14 heap heap-push heap heap-pop . drop t 14 heap heap-push t 14 heap heap-push t 20 heap heap-push heap heap-pop . drop heap heap-pop . drop t 14 heap heap-push t 14 heap heap-push t 20 heap heap-push heap heap-pop . drop t 14 heap heap-push heap heap-pop . drop t 14 heap heap-push t 14 heap heap-push heap heap-pop . drop t 14 heap heap-push heap heap-pop . drop t 20 heap heap-push heap heap-pop . drop t 20 heap heap-push heap heap-pop . drop t 14 heap heap-push t 14 heap heap-push heap heap-pop . drop t 14 heap heap-push t 20 heap heap-push heap [ . drop ] slurp-heap ;