1000
range1
tail
    4
    primes #(4: factor)
    reverse
    is-sorted #(list)
f4
unlines