#include <float.h>
#include <limits.h>
#include <math.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <time.h>

// 内部定数
#define D_ON			1										// 汎用フラグ - ON
#define D_OFF			0										// 汎用フラグ - OFF
#define D_NUM_MAX		20										// 最大値

// 内部変数
static FILE *szpFpI;											// 入力
static int siNCnt;												// 数値数
static int siPCnt;												// パターン数

// 内部変数 - テスト用
#ifdef D_TEST
	static int siRes;
	static FILE *szpFpA;
	static int siTNo;
#endif

// 出力
int
fOut(
	char *pcpLine				// <I> １行
)
{
	char lc1Buf[1024];

#ifdef D_TEST
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, pcpLine)) {
		siRes = -1;
	}
#else
	printf("%s", pcpLine);
#endif

	return 0;
}

// 数値 - 選択
int
fSelNum(
	int *pipSel					// <I> 選択
	, int piSCnt				// <I> 選択数
	, int piPre					// <I> １つ前の選択
	, int piDCnt				// <I> 降順数
)
{
	int i;

	// 選択中
	if (piSCnt < siNCnt) {
		for (i = 0; i < siNCnt; i++) {

			// 選択済
			if (pipSel[i] != D_OFF) {
				continue;
			}

			// 降順数
			int liDCnt = piDCnt;
			if (piPre > i) {
				liDCnt++;
				if (liDCnt > 1) {
					continue;
				}
			}

			// 選択
			pipSel[i] = D_ON;

			// 下位へ
			fSelNum(pipSel, piSCnt + 1, i, liDCnt);

			// 選択 - キャンセル
			pipSel[i] = D_OFF;
		}

		return 0;
	}

	// 降順数
	if (piDCnt == 1) {
		siPCnt++;
	}

	return 0;
}

// 実行メイン
int
fMain(
)
{
	char lc1Buf[1024];

	// 数値数・先頭値 - 取得
	int liVal;
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
	sscanf(lc1Buf, "%d%d", &siNCnt, &liVal);

	// 初期選択
	int li1Sel[D_NUM_MAX];
	memset(li1Sel, D_OFF, sizeof(li1Sel));
	li1Sel[liVal - 1] = D_ON;

	// 数値 - 選択
	fSelNum(li1Sel, 1, liVal - 1, 0);

	return 0;
}

// １回実行
int
fOne(
)
{
	int liRet;
	char lc1Buf[1024];

	// データ - 初期化
	siPCnt = 0;													// パターン数

	// 入力 - セット
#ifdef D_TEST
	sprintf(lc1Buf, ".\\Test\\T%d.txt", siTNo);
	szpFpI = fopen(lc1Buf, "r");
	sprintf(lc1Buf, ".\\Test\\A%d.txt", siTNo);
	szpFpA = fopen(lc1Buf, "r");
	siRes = 0;
#else
	szpFpI = stdin;
#endif

	// 実行メイン
	liRet = fMain();

	// 結果 - セット
	sprintf(lc1Buf, "%d\n", siPCnt);

	// 結果 - 出力
	fOut(lc1Buf);

	// 残データ有無
#ifdef D_TEST
	lc1Buf[0] = '\0';
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, "")) {
		siRes = -1;
	}
#endif

	// テストファイルクローズ
#ifdef D_TEST
	fclose(szpFpI);
	fclose(szpFpA);
#endif

	// テスト結果
#ifdef D_TEST
	if (siRes == 0) {
		printf("OK %d\n", siTNo);
	}
	else {
		printf("NG %d\n", siTNo);
	}
#endif

	return 0;
}

// プログラム開始
int
main()
{

#ifdef D_TEST
	int i;
	for (i = D_TEST_SNO; i <= D_TEST_ENO; i++) {
		siTNo = i;
		fOne();
	}
#else
	fOne();
#endif

	return 0;
}