#include <bits/stdc++.h>
using namespace std;
int main() {
  srand((unsigned)time(NULL));
  int n = 1000;
  printf("%d\n", n);
  for (int i = 1; i <= n; i++) printf("%d ", rand() % 10000 + 1);
  return 0;
}
