#include <bits/stdc++.h>
using namespace std;
int N, K;
bool F = false;
void putint(int x) {
  if (F) putchar(' ');
  cout << x;
  F = true;
}
int main() {
  scanf("%d%d", &N, &K);
  int i;
  for (i = 1; i <= K; i++) {
    putint(i * 2);
    putint(i * 2 - 1);
  }
  for (i = K + 1; i <= N; i++) {
    putint(i * 2 - 1);
    putint(i * 2);
  }
  puts("");
}
