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

// 内部定数
#define D_NUM_MAX		20										// 最大値

// 内部変数
static FILE *szpFpI;											// 入力
static int siNCnt;												// 数値数
static int siFVal;												// 先頭値
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
fDivNum(
	int piNo					// <I> 番目
	, int *pipLVal				// <I> 左側
	, int piLCnt				// <I> 左側数
	, int *pipRVal				// <I> 右側
	, int piRCnt				// <I> 右側数
)
{
	// 選択中
	if (piNo < siNCnt) {

		// 先頭値
		if (piNo == siFVal) {
			fDivNum(piNo + 1, pipLVal, piLCnt, pipRVal, piRCnt);
			return 0;
		}

		// 左側
		if (piNo > siFVal) {
			pipLVal[piLCnt] = piNo;
			fDivNum(piNo + 1, pipLVal, piLCnt + 1, pipRVal, piRCnt);
		}

		// 右側
		pipRVal[piRCnt] = piNo;
		fDivNum(piNo + 1, pipLVal, piLCnt, pipRVal, piRCnt + 1);

		return 0;
	}

	// 右側の最小値
	if (piRCnt < 1) {
		return 0;
	}

	// 左側の最大値
	int liLMax;
	if (piLCnt < 1) {
		liLMax = siFVal;
	}
	else {
		liLMax = pipLVal[piLCnt - 1];
	}

	// 比較
	if (liLMax < pipRVal[0]) {
		return 0;
	}

	// パターン数
	siPCnt++;

	return 0;
}

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

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

	// 数値 - 分割
	int li1LVal[D_NUM_MAX], li1RVal[D_NUM_MAX];
	fDivNum(0, li1LVal, 0, li1RVal, 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;
}