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