#include<bits/stdc++.h>
#define rep(i,a,b) for(int i=a;i<b;i++)
#define rrep(i,a,b) for(int i=a;i>=b;i--)
#define fore(i,a) for(auto &i:a)
#define all(x) (x).begin(),(x).end()
#pragma GCC optimize ("-O3")
using namespace std; void _main(); int main() { cin.tie(0); ios::sync_with_stdio(false); _main(); }
typedef long long ll; const int inf = INT_MAX / 2; const ll infl = 1LL << 60;
template<class T>bool chmax(T &a, const T &b) { if (a<b) { a = b; return 1; } return 0; }
template<class T>bool chmin(T &a, const T &b) { if (b<a) { a = b; return 1; } return 0; }
//---------------------------------------------------------------------------------------------------
/*---------------------------------------------------------------------------------------------------
　　　　　　　　　　　 ∧＿∧  
　　　　　 ∧＿∧ 　（´<_｀ ）　 Welcome to My Coding Space!
　　　　 （ ´_ゝ`）　/　 ⌒i     
　　　　／　　　＼　 　  |　|     
　　　 /　　 /￣￣￣￣/　　|  
　 ＿_(__ﾆつ/　    ＿/ .| .|＿＿＿＿  
　 　　　＼/＿＿＿＿/　（u　⊃  
---------------------------------------------------------------------------------------------------*/


/*

K=0     4
  1     4 9
  2     4 9 9
  3     4 9 9 9
  4     4 


  4 9
  6 11
  8 21
*/




int K;
//---------------------------------------------------------------------------------------------------
void _main() {
    cin >> K;

    rep(c4, 0, 251) rep(c9, 0, 251) rep(c6, 0, 251) {
        int d = K - c4 * c9;
        if ((0 < c6 and 0 < d and d % c6 == 0) or d == 0) {
            int c11 = d / c6;
            int n = c4 + c9 + c6 + c11;
            if (1 <= n and n <= 250) {
                vector<int> ans;
                rep(i, 0, c4) ans.push_back(4);
                rep(i, 0, c9) ans.push_back(9);
                rep(i, 0, c6) ans.push_back(6);
                rep(i, 0, c11) ans.push_back(11);

                printf("%d\n", n);
                rep(i, 0, n) {
                    if (i) printf(" ");
                    printf("%d", ans[i]);
                }
                printf("\n");
                return;
            }
        }
    }
}