#include <bits/stdc++.h>
using namespace std;
int n, k;
int a[120000];
int main() {
  cin >> n >> k;
  for (int i = 0; i < n * 2; i++) a[i] = i;
  for (int i = 0; i < k; i++) {
    int now = i * 2;
    swap(a[now], a[now + 1]);
  }
  k = n - k;
  for (int i = 0; i < n * 2; i++) {
    printf("%d ", a[i] + 1);
  }
  puts("");
  return 0;
}
