ACL2のもう一個カテゴリ下のACL優勝チームの扱いはどうなってるんだろう
知っている人いる？