>>1509067
ACL2の可能性はある。
ACL2で優勝したらACLEの出場権が取れる。