#include <bits/stdc++.h>
using namespace std;
const int N = 5e7 + 5;
int n, k;
int ar[N];
int main() {
  scanf("%d %d", &n, &k);
  n *= 2;
  for (int i = 1; i <= n; i++) {
    ar[i] = i;
  }
  if (k) {
    for (int i = 0; i < k; i++) {
      swap(ar[i * 2 + 1], ar[i * 2 + 2]);
    }
  }
  for (int i = 1; i <= n; i++) {
    printf("%d ", ar[i]);
  }
  return 0;
}
