#include<iostream>
using namespace std;
#include<cstdio>
int main()
{
	long long k,n;
	while(scanf("%I64d",&k)!=EOF)
	{
		n=10;
		cout<<n<<endl;
		int j=0;
		if (k<n) j=k;
		long long ans=n*(n-1)+k;
		for (int i=1;i<=9;i++) cout<<(n-j-1)<<" ";
		cout<<ans-(n-1)*(n-1)<<endl;
	}
	return 0;
}