#include <bits/stdc++.h>
using namespace std;
int main() {
  int k;
  scanf("%d", &k);
  for (int n = (1); n <= (2000); ++n)
    if (n * 999999 > k) {
      printf("%d\n-1", n + 1);
      for (int i = (1); i <= (n); ++i)
        printf(" %d", i < n ? 1000000 : (n + k) % 1000000 + 1);
      printf("\n");
      return 0;
    }
}
