ACL2は小川、トーマス出れるの？
追加登録が間に合ってなければ、かなり限られたメンバーで予選を戦わないといけない。
疲労蓄積が心配だわ