A. 天宫大学

传统题

1000ms

256MiB

该比赛已结束，您无法在比赛模式下递交该题目。您可以点击“在题库中打开”以普通模式查看和递交本题。

题目背景

~~经过高中三年的努力学习~~，你终于来到了天宫大学（ $\texttt{Tiangong University}$ ）。

天宫大学的英文名是？

本题无输入。

输出一行一个字符串表示天宫大学的英文名（此事在题目背景亦有记载，注意大小写和空格）。

<no input>

<a string>