#include <bits/stdc++.h>   using namespace std;   int n, k;   int a[120000];   int main() {     cin >> n >> k;     for (int i = 0; i < n * 2; i++) a[i] = i;     for (int i = 0; i < k; i++) {       int now = i * 2;       swap(a[now], a[now + 1]);     }     k = n - k;     for (int i = 0; i < n * 2; i++) {       printf( %d  , a[i] + 1);     }     puts(  );     return 0;   }   