#include <algorithm>
#include <cassert>
#include <iostream>
#include <vector>
using namespace std;
int main() {
srand(1234567890);
vector<string> teams = {
"Bayern", "Arsenal", "PSG", "Barcelona",
"Real Madrid", "Napoli", "Manchester City", "Monaco",
"Benfica", "Borussia Dortmund", "Porto", "Juventus",
"Bayer", "Atletico", "Sevilla", "Leicester City"
};
sort(teams.begin(), teams.end());
assert(teams.size() == 16);
int winner = rand() % teams.size();
cout << "The winner of UEFA Champions League 2016/17: " << teams[winner] << endl;
return 0;
}
I2luY2x1ZGUgPGFsZ29yaXRobT4KI2luY2x1ZGUgPGNhc3NlcnQ+CiNpbmNsdWRlIDxpb3N0cmVhbT4KI2luY2x1ZGUgPHZlY3Rvcj4KIAp1c2luZyBuYW1lc3BhY2Ugc3RkOwogCmludCBtYWluKCkgewoJc3JhbmQoMTIzNDU2Nzg5MCk7Cgl2ZWN0b3I8c3RyaW5nPiB0ZWFtcyA9IHsKCQkiQmF5ZXJuIiwgIkFyc2VuYWwiLCAiUFNHIiwgIkJhcmNlbG9uYSIsCgkJIlJlYWwgTWFkcmlkIiwgIk5hcG9saSIsICJNYW5jaGVzdGVyIENpdHkiLCAiTW9uYWNvIiwKCQkiQmVuZmljYSIsICJCb3J1c3NpYSBEb3J0bXVuZCIsICJQb3J0byIsICJKdXZlbnR1cyIsCgkJIkJheWVyIiwgIkF0bGV0aWNvIiwgIlNldmlsbGEiLCAiTGVpY2VzdGVyIENpdHkiCgl9OwoJc29ydCh0ZWFtcy5iZWdpbigpLCB0ZWFtcy5lbmQoKSk7Cglhc3NlcnQodGVhbXMuc2l6ZSgpID09IDE2KTsKCWludCB3aW5uZXIgPSByYW5kKCkgJSB0ZWFtcy5zaXplKCk7Cgljb3V0IDw8ICJUaGUgd2lubmVyIG9mIFVFRkEgQ2hhbXBpb25zIExlYWd1ZSAyMDE2LzE3OiAiIDw8IHRlYW1zW3dpbm5lcl0gPDwgZW5kbDsKCXJldHVybiAwOwp9