#include #include int main() { int n; scanf("%d", &n); printf("30\n"); for (int i = 1; i < 30; i++) { printf("%d ", i); } return 0; }