#include<stdio.h>
int main()
{
	int n, k;
	scanf("%d %d", &n, &k);
	int i;
	printf("%d %d", 2 * k, n + 2 * k - 2);
	for (i = 2; i < n; i++)
		printf(" 1");
	printf("\n");
	return 0;
}