#include <iostream>

int main() {
  int n;
  std::cin >> n;

  std::cout << "2000000000";
  for (int i = 0; i != n; i += 1) {
    if (i == 0) {
      std::cout << " " << n + 1;
    } else {
      std::cout << " " << i + 1;
    }
  }
  std::cout << " 2000000000\n";

  return 0;
}