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