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