#include <bits/stdc++.h>
using namespace std;
char s[11];
int cmp(char *a, char *b) {
int x = 0, y = 0;
for (int i=0; i<5; ++i) {
if (a[i] == b[i]) { ++x; continue; }
for (int j=0; j<5; ++j) if (a[i] == b[j]) { ++y; break; }
}
return 10 * x + y;
}
char match[8];
int main() {
sprintf(s, "0123456789");
do {
reverse(s+5, s+10);
int cnt = 0;
match[0] = (cmp(s, "76070") == 2 ? '1' : '0'); if (match[0] == '1') ++cnt;
match[1] = (cmp(s, "24112") == 10 ? '1' : '0'); if (match[1] == '1') ++cnt;
match[2] = (cmp(s, "93535") == 11 ? '1' : '0'); if (match[2] == '1') ++cnt;
match[3] = (cmp(s, "67253") == 2 ? '1' : '0'); if (match[3] == '1') ++cnt;
match[4] = (cmp(s, "01497") == 12 ? '1' : '0'); if (match[4] == '1') ++cnt;
match[5] = (cmp(s, "94501") == 12 ? '1' : '0'); if (match[5] == '1') ++cnt;
match[6] = (cmp(s, "25349") == 3 ? '1' : '0'); if (match[6] == '1') ++cnt;
if (cnt >= 6) printf("%c%c%c%c%c: %s\n", s[0], s[1], s[2], s[3], s[4], match);
} while (next_permutation(s, s+10));
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CgpjaGFyIHNbMTFdOwoKaW50IGNtcChjaGFyICphLCBjaGFyICpiKSB7CglpbnQgeCA9IDAsIHkgPSAwOwoJZm9yIChpbnQgaT0wOyBpPDU7ICsraSkgewoJCWlmIChhW2ldID09IGJbaV0pIHsgKyt4OyBjb250aW51ZTsgfQoJCWZvciAoaW50IGo9MDsgajw1OyArK2opIGlmIChhW2ldID09IGJbal0pIHsgKyt5OyBicmVhazsgfQoJfQoJcmV0dXJuIDEwICogeCArIHk7Cn0KCgpjaGFyIG1hdGNoWzhdOwoKaW50IG1haW4oKSB7CglzcHJpbnRmKHMsICIwMTIzNDU2Nzg5Iik7CglkbyB7CgkJcmV2ZXJzZShzKzUsIHMrMTApOwoJCQoJCWludCBjbnQgPSAwOwoJCW1hdGNoWzBdID0gKGNtcChzLCAiNzYwNzAiKSA9PSAgMiA/ICcxJyA6ICcwJyk7IGlmIChtYXRjaFswXSA9PSAnMScpICsrY250OwoJCW1hdGNoWzFdID0gKGNtcChzLCAiMjQxMTIiKSA9PSAxMCA/ICcxJyA6ICcwJyk7IGlmIChtYXRjaFsxXSA9PSAnMScpICsrY250OwoJCW1hdGNoWzJdID0gKGNtcChzLCAiOTM1MzUiKSA9PSAxMSA/ICcxJyA6ICcwJyk7IGlmIChtYXRjaFsyXSA9PSAnMScpICsrY250OwoJCW1hdGNoWzNdID0gKGNtcChzLCAiNjcyNTMiKSA9PSAgMiA/ICcxJyA6ICcwJyk7IGlmIChtYXRjaFszXSA9PSAnMScpICsrY250OwoJCW1hdGNoWzRdID0gKGNtcChzLCAiMDE0OTciKSA9PSAxMiA/ICcxJyA6ICcwJyk7IGlmIChtYXRjaFs0XSA9PSAnMScpICsrY250OwoJCW1hdGNoWzVdID0gKGNtcChzLCAiOTQ1MDEiKSA9PSAxMiA/ICcxJyA6ICcwJyk7IGlmIChtYXRjaFs1XSA9PSAnMScpICsrY250OwoJCW1hdGNoWzZdID0gKGNtcChzLCAiMjUzNDkiKSA9PSAgMyA/ICcxJyA6ICcwJyk7IGlmIChtYXRjaFs2XSA9PSAnMScpICsrY250OwoJCQoJCWlmIChjbnQgPj0gNikgcHJpbnRmKCIlYyVjJWMlYyVjOiAlc1xuIiwgc1swXSwgc1sxXSwgc1syXSwgc1szXSwgc1s0XSwgbWF0Y2gpOwoJCQoJfSB3aGlsZSAobmV4dF9wZXJtdXRhdGlvbihzLCBzKzEwKSk7CglyZXR1cm4gMDsKfQ==