#include #include #include #include #include #include #include #include #include #include using namespace std; int k; int main() { scanf("%d", &k); printf("%d\n", k); for (int i = 1; i <= k; i++) printf("%d%c", 1024 - i, i + 1 <= k? ' ': '\n'); return 0; }