read N; echo 400 599 600 799 800 999 1000 1199 1200 1399 1400 1599 1600 1799 1800 1999 | xargs -n2 | tac | cat -n | sed -E 's/(.+)\t(.+) (.+)/seq \2 \3 | paste - <(yes \1 | head -n200)/g' | bash | grep -P "^$N" | awk '{print $2}'