#include<stdio.h>

void run(void){
  int n,k;
  scanf("%d%d",&n,&k);
  k=n-2-k;

  int p[]={0,3,1,2};
  int d=(k%2==0?0:1);
  printf("%d",p[d]);
  d++;
  int i;
  for(i=1;i<k+1;i++){
    printf(" %d",p[d]);
    d=(d+1)&0x03;
  }
  while(i<n){
    printf(" %d",p[d]);
    p[d]++;
    i++;
  }
  printf("\n");
  return;
}

int main(void){
  run();
  return 0;
}