read-num
range1
    2
    thousand
    >=
f3
4
step
25
4
    over
    step
t2
xor
xor
unlines