CF114B PFAST Inc.

当小 Petya 长大并进入大学后，他开始参加 ACM 比赛。后来他发现自己并不喜欢 ACM 比赛的组织方式：每支队伍只能有三名成员（他无法带上所有朋友一起参赛，也无法高效地在队员之间分配任务），于是他决定自己组织比赛，成立了 PFAST Inc.（Petr and Friends Are Solving Tasks Corporation）。PFAST Inc. 的规则允许队伍成员数量无限制。 为了让这种比赛形式流行起来，他组织了自己的锦标赛。为了组建一支按照 PFAST Inc. 规则参赛的队伍，他挑选了若干志愿者（最多 16 人），并决定从中组建一支队伍。Petya 很清楚，如果队伍中有两个人合不来，那么队伍的表现会很差。请你帮他组建一支成员尽可能多、且所有成员彼此都能和睦相处的队伍。

第一行包含两个整数 $n$（$1 \leq n \leq 16$）——志愿者人数，以及 $m$（$0 \leq m \leq \frac{n(n-1)}{2}$）——不和睦的志愿者对数。接下来的 $n$ 行，每行一个字符串，表示一位志愿者的名字（每个名字为非空字符串，仅由不超过 10 个大小写拉丁字母组成）。接下来的 $m$ 行，每行包含两个名字，表示一对不和睦的志愿者，名字之间用一个空格隔开。每对不和睦的志愿者只出现一次。字符串区分大小写。所有 $n$ 个名字均不相同。

输出的第一行为整数 $k$，表示所选队伍的成员人数。接下来的 $k$ 行，每行一个名字，按字典序输出所选队伍成员的名字。如果有多种方案，输出任意一种即可。Petya 不一定在所选队伍中。

由 ChatGPT 4.1 翻译