#include <bits/stdc++.h>
int main() {
  int n, k, i;
  while (scanf("%d %d", &n, &k) != EOF) {
    k++;
    if (k == 1) {
      for (i = 1; i <= 2 * n; i++) {
        printf("%d ", i);
      }
    } else {
      printf("%d ", k);
      printf("1 ");
      for (i = 2; i <= 2 * n; i++) {
        if (i != k) printf("%d ", i);
      }
    }
    printf("\n");
  }
  return 0;
}
