// NOTE: it is recommended to use this even if you don't understand the following code.

#include <stdio.h>
#include <assert.h>

#define MAXN 100000

// input data
int N, K, res, i;
int T[MAXN];

int main() {
//  uncomment the following lines if you want to read/write from files
//  freopen("input.txt", "r", stdin);
//  freopen("output.txt", "w", stdout);

    assert(2 == scanf("%d %d", &N, &K));

    // insert your code here
    T[0] = 42;
    res = 42;


    // print the result
    printf("%d\n", res);
    for (i = 0; i < N; i++) {
        printf("%d ", T[i]);
    }
    puts("\n");

    return 0;
}