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