#include <bits/stdc++.h>
using namespace std;

int main(){
    int K;
    scanf("%d",&K);
    int a,b,c,d,e;
    a=0;
    while(!(a*(a-1)/2 <= K && K < a*(a+1)/2)) a++;
    K = K - a*(a-1)/2;;
    if(K >= 10){
        b = 10;
        d = K % 10;
        e = K / 10 - 1;
    } else {
        b = 0;
        d = K;
        e = 0;
    }
    c = 1;
    int N = a+b+c+d+e;
    printf("%d\n",N);
    for(int i=0;i<a;i++){
        printf("1 ");
    }
    for(int i=0;i<b;i++){
        printf("5 ");
    }
    for(int i=0;i<c;i++){
        printf("8 ");
    }
    for(int i=0;i<d;i++){
        printf("11 ");
    }
    for(int i=0;i<e;i++){
        printf("14 ");
    }

}