集训共进行了 $m$ 场比赛，共有 $n$ 名同学参加。每场比赛后，每位同学都有一个排名（1 为最好）。教练组根据以下规则评奖： - **优秀奖**：平均排名最靠前的同学（平均排名相同时，取编号小的）。 - **进步奖**：第 $m$ 场排名比第 $1$ 场排名**提升最多**的同学（提升量 = 第1场排名 − 第m场排名，相同取编号小的）。 - **传奇矿工奖**：在所有比赛中"取得过第1名的场次数"最多的同学（相同取编号小的；若无人得过第1名，则无此奖）。 - **拉完了奖**：平均排名最靠后的同学（相同时取编号小的）。 每位同学至多获得一个奖项，按 **优秀奖 → 进步奖 → 传奇矿工奖 → 拉完了奖** 的顺序依次评选，已获奖的同学不再参与后续评选。

第一行两个整数 $n, m$（$4 \le n \le 1000,\ 1 \le m \le 100$）。 第二行 $n$ 个字符串，表示每位同学的名字（长度不超过 10，互不相同）。 接下来 $m$ 行，每行 $n$ 个整数，第 $j$ 个数表示第 $j$ 位同学在这一场比赛中的排名。

按顺序输出四行： ``` xxx获得了优秀奖 xxx获得了进步奖 xxx获得了传奇矿工奖 xxx获得了拉完了奖 ``` 若传奇矿工奖无人获得，则该行输出 `传奇矿工奖空缺`。