#include <stdio.h>

int main()
{
	printf("30\n");
	for (int i = 1; i <= 30; i++)
	{
		printf("%d ", i);
	}

	return 0;
}