#include<stdio.h>
int main()
{
	printf("14\n2 2 2 2 2 2 2 2 2 2 2 2 3 5\n");
	return 0;
}