lines
left-uncons
pop-a
    sort #(list)
    push-a
    sort #(list)
    =
f4
unlines