// yukicoder: No.478 一般門松列列
// 2019.5.6 bal4u

#include <stdio.h>

#if 1
#define gc() getchar_unlocked()
#define pc(c) putchar_unlocked(c)
#else
#define gc() getchar()
#define pc(c) putchar(c)
#endif
int in()    // 非負整数の入力
{
	int n = 0, c = gc();
	//	while (isspace(c)) c = gc();
	do n = 10 * n + (c & 0xf), c = gc(); while (c >= '0');
	return n;
}

void outs(char *s) { while (*s) pc(*s++); }

char *a[4] = { " 2", " 2 4", " 2 4 1", " 2 4 1 3" };
char *s = "1 3";
char *b[4] = { " 2", " 4", " 1", " 3" };

int main()
{
	int i, n, k;

	n = in()-2, k = in();
	outs(s);
	i = (n-k) >> 2; while (i--) outs(a[3]);
	i = 3;
	if ((n-k) & 3) outs(a[i = ((n-k) & 3) - 1]);
	while (k--) outs(b[i]);
	pc('\n');
	return 0;
}