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