Arrangement

题意翻译

给定 $n$ 和 $m$ 个限制条件（每个条件是一个数对 $a_i,b_i$），求构造一个长度为 $n$ 的排列 $S$，满足 $\forall i,S_{a_i}\le S_{b_i}$。请输出字典序第 $k$ 小的方案，如果方案数不够则输出 `The times have changed`。

题目描述

In the year 2500 the annual graduation ceremony in the German University in Cairo (GUC) has run smoothly for almost 500 years so far. The most important part of the ceremony is related to the arrangement of the professors in the ceremonial hall. Traditionally GUC has $ n $ professors. Each professor has his seniority level. All seniorities are different. Let's enumerate the professors from $ 1 $ to $ n $ , with $ 1 $ being the most senior professor and $ n $ being the most junior professor. The ceremonial hall has $ n $ seats, one seat for each professor. Some places in this hall are meant for more senior professors than the others. More specifically, $ m $ pairs of seats are in "senior-junior" relation, and the tradition requires that for all $ m $ pairs of seats $ (a_{i},b_{i}) $ the professor seated in "senior" position $ a_{i} $ should be more senior than the professor seated in "junior" position $ b_{i} $ . GUC is very strict about its traditions, which have been carefully observed starting from year 2001. The tradition requires that: - The seating of the professors changes every year. - Year 2001 ceremony was using lexicographically first arrangement of professors in the ceremonial hall. - Each consecutive year lexicographically next arrangement of the professors is used. The arrangement of the professors is the list of $ n $ integers, where the first integer is the seniority of the professor seated in position number one, the second integer is the seniority of the professor seated in position number two, etc. Given $ n $ , the number of professors, $ y $ , the current year and $ m $ pairs of restrictions, output the arrangement of the professors for this year.

输入输出格式

输入格式

The first line contains three integers $ n $ , $ y $ and $ m $ ( $ 1<=n<=16,2001<=y<=10^{18},0<=m<=100 $ ) — the number of professors, the year for which the arrangement should be computed, and the number of pairs of seats for which the seniority relation should be kept, respectively. The next $ m $ lines contain one pair of integers each, " $ a_{i} $ $ b_{i} $ ", indicating that professor on the $ a_{i} $ -th seat is more senior than professor on the $ b_{i} $ -th seat ( $ 1<=a_{i},b_{i}<=n,a_{i}≠b_{i} $ ). Some pair may be listed more than once. Please, do not use the %lld specificator to read or write 64-bit integers in С++. It is preferred to use the cin stream (you may also use the %I64d specificator).

输出格式

Print the order in which the professors should be seated in the requested year. If by this year the GUC would have ran out of arrangements, or the given "senior-junior" relation are contradictory, print "The times have changed" (without quotes).

输入输出样例

输入样例 #1

3 2001 2
1 2
2 3

输出样例 #1

1 2 3

输入样例 #2

7 2020 6
1 2
1 3
2 4
2 5
3 6
3 7

输出样例 #2

1 2 3 7 4 6 5

输入样例 #3

10 3630801 0

输出样例 #3

The times have changed

输入样例 #4

3 2001 3
1 2
2 3
3 1

输出样例 #4

The times have changed

说明

In the first example the lexicographically first order of seating is 1 2 3. In the third example the GUC will run out of arrangements after the year 3630800. In the fourth example there are no valid arrangements for the seating. The lexicographical comparison of arrangements is performed by the < operator in modern programming languages. The arrangement $ a $ is lexicographically less that the arrangement $ b $ , if there exists such $ i $ ( $ 1<=i<=n $ ), that $ a_{i}&lt;b_{i} $ , and for any $ j $ ( $ 1<=j&lt;i $ ) $ a_{j}=b_{j} $ .