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

int main(){
    ll X, Y, Z;
    cin >> X >> Y >> Z;
    swap(Y, Z);
    if(X + Y + Z == 0){
        cout << "3\n0 0 0" << endl;
        return 0;
    }
    
    vector<ll> fib = {0, 1};
    while(fib.back() < 1'000'000'000'000) fib.emplace_back(fib.back() + fib[fib.size() - 2]);
    int L = fib.size(); // 61

    vector<__int128> exfib;
    for(int i = L - 1; i >= 0; i--) exfib.emplace_back(fib[i]);
    for(int i = 1; i < L; i++) exfib.emplace_back(fib[i]);

    vector<ll> ans(200); 
    for(int i = 0; i < 2 * L - 2; i++){
        for(int j = i + 1; j < 2 * L - 2; j++){
            for(int k = j + 1; k < 2 * L - 1; k++){
                __int128 a, b;
                if(exfib[i] * exfib[j + 1] == exfib[j] * exfib[i + 1]){
                    __int128 det = exfib[i] * exfib[k + 1] - exfib[k] * exfib[i + 1];
                    a = X * exfib[k + 1] - Z * exfib[i + 1];
                    b = Z * exfib[i] - X * exfib[k];
                    if(a % det || b % det) continue;
                    a /= det;
                    b /= det;
                }
                else{
                    __int128 det = exfib[i] * exfib[j + 1] - exfib[j] * exfib[i + 1];
                    a = X * exfib[j + 1] - Y * exfib[i + 1];
                    b = Y * exfib[i] - X * exfib[j];
                    if(a % det || b % det) continue;
                    a /= det;
                    b /= det;
                }
                if(a * exfib[i] + b * exfib[i+1] != X) continue;
                if(a * exfib[j] + b * exfib[j+1] != Y) continue;
                if(a * exfib[k] + b * exfib[k+1] != Z) continue;
                if(ans.size() > k - i + 1){
                    vector<ll> s;
                    for(int l = i; l <= k; l++) s.emplace_back(a * exfib[l] + b * exfib[l + 1]);
                    if(*min_element(s.begin(), s.end()) >= 0) ans = s;
                }
            }
        }
    }
    
    cout<<ans.back()<<endl;

    for(int _ = 0; _ < 2; _++){
        exfib.insert(exfib.begin() + L, 0);
        exfib.insert(exfib.begin() + L, 1);
        exfib.insert(exfib.begin() + L, 1);
        for(int i = 0; i < exfib.size(); i++){
            for(int j = i + 1; j < exfib.size(); j++){
                for(int k = j + 1; k < exfib.size(); k++){
                    if(!exfib[i] && X) continue;
                    if(!exfib[j] && Y) continue;
                    if(!exfib[k] && Z) continue;
                    ll a;
                    if(X) a = X / exfib[i];
                    else if(Y) a = Y / exfib[j];
                    else a = Z / exfib[k];
                    if(X != a * exfib[i]) continue;
                    if(Y != a * exfib[j]) continue;
                    if(Z != a * exfib[k]) continue;
                    if(ans.size() > k - i + 1){
                        ans = {};
                        for(int l = i; l <= k; l++) ans.emplace_back(a * exfib[l]);
                    }
                }
            }
        }
    }

    if(ans.size() == 200) cout << -1 << endl;
    else{
        cout << ans.size() << endl;
        for(int i = 0; i < ans.size(); i++) cout << ans[i] << " \n"[i + 1 == ans.size()];
    }
    return 0;
}