#include <bits/stdc++.h>
#define int int64_t

using std::cin;
using std::cout;
const char endl = '\n';

void solve() {
  int a, b, c;
  cin >> a >> b >> c;
  cout << 100 << endl;
  for(int i = 1; i <= 50; ++i) cout << a << ' ';
  for(int i = 51; i <= 95; ++i) cout << b << ' ';
  for(int i = 96; i <= 99; ++i) cout << c << ' ';
  cout << c + 1 << endl;
}

int32_t main(){
#ifndef _DEBUG
  std::ios::sync_with_stdio(false);
  std::cin.tie(nullptr);
#endif
  int tc = 1;
  // std::cin >> tc;
  while(tc--) solve();
#ifdef _DEBUG
  std::cout << std::endl;
  std::cout << "Time used: " << clock() << "ms" << std::endl;
  system("pause");
  return 0;
#endif
}