procedure main() every*cset(n:=1to 1e4)=2&write(n) end