>>1210967
そうなると、ACL2はターンオーバ。
リーグを最優先にするしか策がない。