#include<bits/stdc++.h>
#include<cstdio>
using namespace std;
typedef long long ll;

int main(){
    ll n;
    scanf("%I64d",&n);
    puts("50");
    for(int i=0;i<=49;i++){
        printf("%I64d ",49-i+(49-i+n)/50);
    }
    return 0;
}
