#include<stdio.h>

int main() {

int n,k,i,flag=0;

while(scanf("%d%d",&n,&k)!=EOF) {

flag=0;

for(i=1;i<=k;i++) {

if(flag==0) {

flag=1;

printf("%d %d",2*i-1,2*i);

}

else

printf(" %d %d",2*i-1,2*i);

}

for(i=k+1;i<=n;i++)  {

if(flag==0) {

flag=1;

printf("%d %d",2*i,2*i-1);

}

else

printf(" %d %d",2*i,2*i-1);

}

printf("\n");

}

return 0;

}