#include <bits/stdc++.h>
#define rep(i, n) for (ll i = 0; i < n; ++i)
typedef long long ll;
using namespace std;
const int INF = 1e9;

int main() {
    char c[3];
    rep(i, 3) cin >> c[i];

    int idx = 0;
    rep(i, 3) if (c[i] == '?')
        idx = i;

    int a[3];
    rep(i, 3) {
        if (i != idx)
            a[i] = c[i] - '0';
    }

    a[idx] = 1;
    cout << a[0] << " " << a[1] << " " << a[2] << endl;
    if (a[0] != a[1] && a[1] != a[2]) {
        if (a[1] < a[0] && a[1] < a[2])
            cout << 1;
        else if (a[1] > a[0] && a[1] > a[2])
            cout << 1;
    }

    a[idx] = 4;
    if (a[0] != a[1] && a[1] != a[2]) {
        if (a[1] < a[0] && a[1] < a[2])
            cout << 4;
        else if (a[1] > a[0] && a[1] > a[2])
            cout << 4;
    }
    cout << endl;

    return 0;
}