migrate from hustoj: 从 HustOJ 导入
migrate from vijos: 从 Vijos 导入