ACL2は流石に主力は帯同せんよな？リーグに比べて明らかに価値が低い大会だし。なんなら経験のためにユース主体でいいのでは？