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

// 内部定数
#define D_COMB_MAX		150										// 最大組み合わせ表数

// 内部変数
static FILE *szpFpI;											// 入力
static int si2Comb[D_COMB_MAX][D_COMB_MAX];						// 組み合わせ表[n][k] = nCk

// 内部変数 - テスト用
#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;
}

// nCk(組み合わせ表[n][k]) - 作成 - パスカルの三角形
int
fMakeComb(
	int piRng					// <I> 範囲
)
{
	int i, j;

	for (i = 0; i <= piRng; ++i) {
		for (j = 0; j <= i; ++j) {
			if (j == 0 || j == i) {
				si2Comb[i][j] = 1;
			}
			else {
				si2Comb[i][j] = si2Comb[i - 1][j - 1] + si2Comb[i - 1][j];
			}
		}
	}

	return 0;
}

// 出力内容 - セット
int
fSetOut(
	char *pcpOut				// <I> セット先
	, int *pipNo				// <IO> 位置
	, int piNum					// <I> 出力数字
	, int piCnt					// <I> セット数
)
{
	int i;

	for (i = 0; i < piCnt; i++) {
		if (*pipNo == 0) {
			sprintf(pcpOut, "%d", piNum);
			*pipNo += 1;
		}
		else {
			sprintf(&pcpOut[*pipNo], " %d", piNum);
			*pipNo += 2;
		}
	}

	return 0;
}

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

	// K - 取得
	int liK;
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
	sscanf(lc1Buf, "%d", &liK);
	if (liK < 1) {
		strcpy(lc1Buf, "1\n");
		fOut(lc1Buf);
		strcpy(lc1Buf, "1\n");
		fOut(lc1Buf);
		return 0;
	}

	// nCk(組み合わせ表[n][k]) - 作成
	fMakeComb(D_COMB_MAX - 1);

	// 1の個数
	int liCnt1 = 0;
	int liVal = 0;
	for (i = 2; ; i++) {
		if (si2Comb[i][2] <= liK) {
			liCnt1 = i;
			liVal = si2Comb[i][2];
		}
		else {
			break;
		}
	}
	liK -= liVal;

	// 3・8のペア数
	int liCnt38 = 0;
	liVal = 0;
	for (i = 1; ; i++) {
		if (i * i <= liK) {
			liCnt38 = i;
			liVal = i * i;
		}
		else {
			break;
		}
	}
	liK -= liVal;

	// 7の個数・24の個数
	int liCnt7 = liK;
	int liCnt24;
	if (liCnt7 > 0) {
		liCnt24 = 1;
	}
	else {
		liCnt24 = 0;
	}

	// 総数
	int liSum = liCnt1;
	liSum += liCnt38 * 2;
	liSum += liCnt7;
	liSum += liCnt24;
	sprintf(lc1Buf, "%d\n", liSum);
	fOut(lc1Buf);

	// 各数字
	int liNo = 0;
	fSetOut(lc1Buf, &liNo, 1, liCnt1);
	fSetOut(lc1Buf, &liNo, 3, liCnt38);
	fSetOut(lc1Buf, &liNo, 8, liCnt38);
	fSetOut(lc1Buf, &liNo, 7, liCnt7);
	fSetOut(lc1Buf, &liNo, 24, liCnt24);
	strcat(lc1Buf, "\n");
	fOut(lc1Buf);

	return 0;
}

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

	// 入力 - セット
#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();

	// 残データ有無
#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;
}