#include <bits/stdc++.h>
using namespace std;
int main(void) {
  int n, k;
  scanf("%d%d", &n, &k);
  for (int i = 1; i <= k; i++) printf("%d %d ", 2 * i, 2 * i - 1);
  for (int i = k + 1; i <= n; i++) printf("%d %d ", 2 * i - 1, 2 * i);
  printf("\n");
  return 0;
}
