有这样一个语料库，其中的语料例子如下：
一树春风千万枝，省队高光皆号军
3月2-3日，2024年江苏省省队选拔在南京外国语学校举行。其中，号家军取得了傲人战绩，包揽江苏省A队与全省前7名，并省前10名占据8席，共9人进入江苏省省队（江苏省队共12人）。
这9位同学是：仲煦北（金中河西），陈睿泽（淮阴中学），史家丞（金中河西） ，邱梓轩（南京一中），葛致远（锡山高中），翟鹏昊（中华中学），郭权皞（南京一中），徐佳辰（南京一中），孙海纳（金中河西）。以上9位同学均长期且仅在我处学习。
一枝独放不是春，百花齐放春满园。因有号家军的励精图治，江苏省信息学竞赛渐呈均衡发展，百花齐放的态势。
在百舸争流的今天，我们相信只有扎实学习，勇于创新，高效训练，才能持续领跑。
最爱垄头麦，迎风笑落红。让我们挥别春风得意的今天，谦虚谨慎，踏实练习，用更好的水平迎接夏日的柳动与荷香。
祝贺进入省队的号家军同学，也祝愿江苏队在NOI2024携手共进，共创佳绩。http://usaco.org
- Dec 17-20: First Contest
- Jan 28-31: Second Contest
- Feb 25-28: Third Contest
- Mar 25-28: US Open
- TBD (Late May): Training Camp
- Aug 7-14: IOI 2022 in Indonesia谁在语料库里发表过内容呢？请你列出尽量多 2024.4.3 及以前在语料库里发表过内容的人的名字。
本题没有输入，需要输出若干行，第一行一个正整数表示你输出的人名数量，然后一行一个字符串，每个字符串表示一个人名。输出多了不扣分。若你输出的名字有 $i$ 个正确，则当 $i\le 10$ 时你得到 $i$ 分，否则得到的分数为 $floor(10+S)$，$S$ 为你输出正确名字占所有名字的比例的 90 倍。
注意事项：
- 本题中不区分大小写。例如，样例输出中的 4 个字符串只算一个名字。
- 如果输出中有下划线，应当替换为减号：
-。
样例输出
4
HaobaNews
Haobanews
HaobaNewS
HaobanewS