#include <stdio.h>
#define rep(i, n) for (i = 0; i < n; i++)

int main() {
    int n, k;
    scanf("%d %d", &n, &k);

    int i, table[4] = { 1, 3, 2, 4 };
    rep(i, k + 1) printf("2017 ");
    rep(i, n - k - 1) printf("%d ", table[i % 4]);
    return 0;
}