#include <bits/stdc++.h>
using namespace std;
const int MAXN = 100000 + 10;
int ans[MAXN];
int main(void) {
  int n, k;
  scanf("%d%d", &n, &k);
  for (int i = 0; i < (int)2 * n; i++) {
    ans[i] = 2 * n - i;
  }
  for (int i = 0; i < (int)k; i++) {
    swap(ans[2 * i], ans[2 * i + 1]);
  }
  for (int i = 0; i < (int)2 * n; i++) {
    printf("%d%c", ans[i], (i == 2 * n - 1) ? '\n' : ' ');
  }
  return 0;
}
