The Martians have been here. According to a query on Kugou Music, we learned that the intro to Mars Intelligence Agency is "The Martain Has Came" (The Martain Has Came), which is the theme song of the second season of the online variety show "Mars Intelligence Agency". It was composed by Han Xingzhou and written and sung by Xue Zhiqian. Included in the album "Thecrossing".