import sys read = sys.stdin.buffer.read readline = sys.stdin.buffer.readline readlines = sys.stdin.buffer.readlines N,K = map(int,read().split()) A = [0,2,1,3] * 6000 A = A[:N-K] A += [A[-1]] * K print(*A)