#include <cstdio>
typedef long long ll;

ll ans[55];
int main()
{
	ll K;scanf("%lld",&K);
	int n=50;
	printf("%d\n",n);
	for(int i=1;i<=n;i++)
		ans[i]=n-1+K/n;
	K%=n;
	for(int i=1;i<=K;i++)
		ans[i]+=n-(K-1);
	for(int i=K+1;i<=n;i++)
		ans[i]-=K;
	for(int i=1;i<=n;i++)
		printf("%lld%c",ans[i],i<n?' ':'\n');
}