ACL2でマルコス復帰できるかな
ユースの2年生も登録されてるらしいからメンバーは総入れ替えしてほしいね