Submissions for team 电子科技大学-梁育诚 on problem Serval 与 Toxel 与 popcount