#include <assert.h>
#include <stdio.h>

enum { maxpers = 256 };

int pers;

int main()
{
	int i;
	FILE *f = fopen("lacate.in", "r");
	if(!f) return 1;

	fscanf(f, "%d", &pers);

	fclose(f);
	f = fopen("lacate.out", "w");
	if(!f) return 1;

	fprintf(f, "%d %d\n", pers, 1);
	for(i = 0; i < pers; i++)
		fprintf(f, "%d\n", i + 1);

	fclose(f);
	return 0;
}