#include <bits/stdc++.h>
using namespace std;


int main(){
	int n,k;
	string s ="1324";
	char ch;
	cin >> n >> k;
	for (int i=0; i<n; i++){
		if(i < n-k){
			ch = s[i%4];
		}
		if(i>0) cout << " ";
		cout << ch;
	}
	cout << endl;
	
	return 0;
}