#include <bits/stdc++.h>
#include <unistd.h>

signed main() {
  int n, k;
  char s[11];
  scanf("%d %d %s", &n, &k, s);
  size_t len = strlen(s);
  s[len++] = ' ';
  int i = 0;
  for (; i < k; i++) {
    write(STDOUT_FILENO, s, len);
  }
  for (; i < n; i++) {
    write(STDOUT_FILENO, "7 ", 2);
  }
}
