#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;
}