#include <stdio.h>
#include <stdlib.h>
#include <time.h>

int gen[501];

int main()
{
    int n, k;
    srand(time(NULL));
    scanf("%d%d", &n,&k);
    freopen(".20.in","w",stdout);
    printf("%d %d\n", n, k);
    for(int i = 0 ; i < n ; i++ ) gen[i] = i+1;
    for(int i = 0 ; i < n ; i++ ){
        int x = rand()%n, y = rand()%n;
        int t = gen[x];
        gen[x] = gen[y];
        gen[y] = t;
    }
    for(int i = 0 ; i < n ; i++ ) printf("%d ", gen[i]);
}