ACLEにもACL2にも出れなくて良いよ。
実力的にベスト16以上にはなれないから。