#include <bits/stdc++.h>
using namespace std;
const int MAXN = 2010;
int main() {
  int N, K;
  while (cin >> N >> K) {
    for (int i = 1; i <= 2 * K; ++i) {
      if (i & 1)
        printf("%d %d ", i * 2 - 1, i * 2);
      else
        printf("%d %d ", i * 2, i * 2 - 1);
    }
    for (int i = K * 4 + 1; i <= 2 * N; ++i) {
      printf("%d ", i);
    }
  }
  return 0;
}
