>>939765
ACL2優勝はACLEのプレリミナリーステージに出場
これを勝ち進めばACLEに出られるけど敗退したら再度ACL2へ出場になる